4.5.1 Возникновение и формализация модальных логик
Другая философия / Аналитическая философия / 4.  Львовско-Варшавская логическая школа и ее влияние на АФ / 4.5 Многозначные логики Я. Лукасевича / 4.5.1 Возникновение и формализация модальных логик
Страница 6

р

р

 

®

1

png">

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 3 4 5 6 7

    Смотрите также

    1.2 Логико-семантические идеи Г.Фреге
      Аналитическая философия возникла на волне интереса к формальной логике, которая, обогатившись новыми методами, с середины XIX века начинает бурно развиваться[17]. К этому необходимо добави ...

    Философия Французского Просвещения.- 18 век.
    Проблема человека, гуманизм.- Отвергали дуалистич. трактовку природы человека, говорили о материальном единстве: теснейшая зависимость всех психич процессов от состояния тела. Смерть тела – прекраще ...

    2.3 Философия языка "Трактата": логика языка versus логика мышления
      Логико-философский трактат создавался с 1914 по 1918 год. Его созданию сопутствовали обстоятельства, о которых нельзя не упомянуть, поскольку они, вероятно, сказались на содержании. Летом ...