PhilosophyDay
Современная философия
Логика высказыванийДругая философия / Логика высказываний
- Определение формулы исчисления высказываний
- Алгебра высказываний
- Равносильность формул исчисления высказываний. конъюнктивная нормальная форма
- Дизъюнктивная нормальная форма. Проблема разрешимости
- Совершенная дизъюнктивная нормальная форма. Совершенная конъюнктивная нормальная форма
Смотрите также
10.8 Различение
между истинностью и обоснованностью знания
Мы
можем знать некоторый факт только в том случае, если мы имеем истинное
полагание о нем. Однако, поскольку не все, а только некоторые истинные
полагания являются знанием, то один из цен ...
Древнегреческая философия. Демокрит, Анаксагор. Демокрит
. - признавал бытие и небытие. Из чувств. опыта: сущ тела и пустота, отделяющая
их друг от друга, след-но бытие множественно, не едино. - Все происходящее –
движение атомов разной формы и величины, ...
10.9 Аргументы
когерентной теории обоснования и перцептуальные утверждения
Исходный
контраст между когерентными и фундаменталистскими теориями вновь проявляется
при столкновении с эпистемической проблемой регресса. Очевидно, что обоснование
некоторого полагания ...