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, которое называется выделенным истинностным значением. Множество тавтологий представляет собой трехзначную матричную логику Лукасевича.
Смотрите также
1.2 Логико-семантические идеи Г.Фреге
Аналитическая
философия возникла на волне интереса к формальной логике, которая, обогатившись
новыми методами, с середины XIX века начинает бурно развиваться[17]. К этому необходимо добави ...
Философия Французского Просвещения.- 18 век.
Проблема человека, гуманизм.- Отвергали дуалистич. трактовку природы человека,
говорили о материальном единстве: теснейшая зависимость всех психич процессов
от состояния тела. Смерть тела – прекраще ...
2.3 Философия языка
"Трактата": логика языка versus логика мышления
Логико-философский трактат создавался с 1914 по 1918
год. Его созданию сопутствовали обстоятельства, о которых нельзя не упомянуть,
поскольку они, вероятно, сказались на содержании. Летом ...