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

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

    8.1 Стандартная семантика Д.Дэвидсона
      Работа Дональда Дэвидсона в философии языка сфокусирована на развитии такого подхода к теории значения, который был бы адекватен естественному языку. Представление Дэвидсона о семантическ ...

    11.2 Гипотеза лингвистической относительности Сепира — Уорфа
      Итак, каково же соотношение детерминированности, конвенциональности каузальности значений — или каков характер их детерминированности или каузальности? Где пределы их альтернативности? Че ...

    5.1 "Лингвистический поворот" в философии ХХ века
      Как пишет В.А.Ладов, "Конечно же, термин "аналитическая философия" очень широк, велико количество тематических и методических "оттенков" в исследованиях тех мысли ...