PhilosophyDay
Современная философия
4.5.1 Возникновение и формализация модальных логикДругая философия / Аналитическая философия / 4. Львовско-Варшавская
логическая школа и ее влияние на АФ / 4.5 Многозначные логики Я. Лукасевича / 4.5.1 Возникновение и формализация модальных логикСтраница 6
|
р |
р |
® |
1 |
|
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, которое называется выделенным истинностным значением. Множество тавтологий представляет собой трехзначную матричную логику Лукасевича.
Смотрите также
Немецкая классическая философия. Иммануил Кант.
-
основатель теории познания с точки зрения бытия и его сущности- впервые не
характер и структура познаваемой субстанции, а специфика познающего субъекта
рассматр. как главный фактор, определяющий ...
10.3 Дефляционная
теория истины
В
рамках концепции значения как условий истинности может предполагаться, что T-теории трактуются дефляционным
способом — так, чтобы они не отсылали к объекту (предмету) или состоянию дел.
...
10.6 Релятивистский
подход к теории истины
Использование в концепции значения как
условий истинности представлений об относительной истинности привлекательно
прежде всего тем, что может позволить выразить базовую для семантики
ест ...