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

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

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

    Влияние абсурда на человеческое бытие
      «Посторонний». Основываясь на принципах «моя свобода», «моя страсть», «мой бунт», Камю пишет повесть «Посторонний». Повесть заставляет задуматься. Вроде бы ничего нет в ней, это история ...

    Немецкая классическая философия. Иммануил Кант.
    - основатель теории познания с точки зрения бытия и его сущности- впервые не характер и структура познаваемой субстанции, а специфика познающего субъекта рассматр. как главный фактор, определяющий ...