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

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

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

    10.3 Дефляционная теория истины
      В рамках концепции значения как условий истинности может предполагаться, что T-теории трактуются дефляционным способом — так, чтобы они не отсылали к объекту (предмету) или состоянию дел. ...

    10.6 Релятивистский подход к теории истины
      Использование в концепции значения как условий истинности представлений об относительной истинности привлекательно прежде всего тем, что может позволить выразить базовую для семантики ест ...