Эпистемическая логика

| Категория реферата: Рефераты по философии
| Теги реферата: реферат на тему вода, реферат на тему безопасность
| Добавил(а) на сайт: Malyshev.

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.