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

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

    Апокрифическая философия
    Несмотря на жестокую партийно-идоологическую цензуру, среди научной интеллигенции всегда сохранялась оппозиция «кaзенщине в философии», то явная, то скрытая, завуалированная в формулы маркси ...

    Гегель разделил познание на: инструмент (логич мышление) и основную форму (понятие).
    В основе рац познания лежит диалектическая логика.- Переосмыслить природу понятия: Абсолютное понятие (абс идея) – абсолютное тождество субъекта и объекта. Такое понятие – истинная сущность вещества ...

    10.9 Аргументы когерентной теории обоснования и перцептуальные утверждения
      Исходный контраст между когерентными и фундаменталистскими теориями вновь проявляется при столкновении с эпистемической проблемой регресса. Очевидно, что обоснование некоторого полагания ...