Эпистемическая логика
Доклад - Философия
Другие доклады по предмету Философия
орема, выражающая невозможность противоречивости знания: Кр ~ К ~ р . В скобках после каждого шага доказательства дается обоснование данного шага.
Kp Bp ( постулат КВ1 )
Bp ~ B ~ p (постулат В2)
Kp ~ B ~ p (из 1 и 2 по транзитивности)
K ~ p B ~ p (частный случай постулата КВ1)
~ B ~ p ~ K ~ p (из 4 по контрапозиции)
Kp ~ K ~ p (из 3 и 5 по транзитивности).
То есть, если некто знает, что р, то неверно, что он знает ~ р нельзя одновременно знать как р, так и ~ р , что и требовалось доказать.
Другая интересная теорема, устанавливающая связь между понятиями знания и убеждения, непосредственно следует из постулатов К3 и КВ1: Kp В Kp . Эта теорема по существу говорит о том, что если мы что-то знаем, то мы обязательно должны быть убеждены в самом факте нашего знания.
Философское значение эпистемической логики заключается также в том, что сама постановка вопроса, следует ли принимать в качестве аксиом те или иные эпистемические формулы, способна стимулировать обсуждение соответствующих эпистемологических проблем, в частности проблемы философского обоснования соответствующих эпистемологических принципов. Так например, из вышеприведенных аксиом нельзя вывести следующие формулы: В p КВ p и ~ В p K ~ В p , которые утверждают, что если мы в чем-то убеждены или не убеждены, то сам факт наличия или отсутствия этого убеждения должен быть нам известен. Можно было бы рассмотреть возможность принятия этих формул в качестве дополнительных аксиом. Это, однако, требует предварительного содержательного оправдания данных принципов.
[25] Более подробно проблема критериев рациональности убеждений будет рассмотрена в 9.6, в связи с понятием эпистемического состояния субъекта.
[26] См ., напр . Carnap R. Scheinprobleme in der Philosophie. Das Fremdpsychische und der Realismusstreit. Berlin, 1928.
Список литературы
Для подготовки данной работы были использованы материалы с сайта