PhilosophyDay
Современная философия
4.5.1 Возникновение и формализация модальных логикДругая философия / Аналитическая философия / 4. Львовско-Варшавская
логическая школа и ее влияние на АФ / 4.5 Многозначные логики Я. Лукасевича / 4.5.1 Возникновение и формализация модальных логикСтраница 6
|
р |
р |
® |
1 |
|
0 | |||
|
1 |
0 |
1 |
1 |
|
0 | |||
|
|
|
|
1 |
1 |
| |||
|
0 |
1 |
0 |
1 |
1 |
1 | |||
|
Ú |
1 |
|
0 |
& |
1 |
|
0 | |
|
1 |
1 |
1 |
1 |
1 |
1 |
|
0 | |
|
|
1 |
|
|
|
|
|
0 | |
|
0 |
1 |
|
0 |
0 |
0 |
0 |
0 |
При этом, формула А – тавтология, если при любом приписывании истинностных значений из множества á1,
, 0 ñ пропозициональным переменным, входящим в формулу А, она принимает значение 1, которое называется выделенным истинностным значением. Множество тавтологий представляет собой трехзначную матричную логику Лукасевича.
Смотрите также
2.3 Философия языка
"Трактата": логика языка versus логика мышления
Логико-философский трактат создавался с 1914 по 1918
год. Его созданию сопутствовали обстоятельства, о которых нельзя не упомянуть,
поскольку они, вероятно, сказались на содержании. Летом ...
Влияние абсурда на человеческое бытие
«Посторонний». Основываясь на принципах «моя свобода», «моя страсть»,
«мой бунт», Камю пишет повесть «Посторонний».
Повесть заставляет задуматься. Вроде бы ничего нет в ней, это история
...
Немецкая классическая философия. Иммануил Кант.
-
основатель теории познания с точки зрения бытия и его сущности- впервые не
характер и структура познаваемой субстанции, а специфика познающего субъекта
рассматр. как главный фактор, определяющий ...