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, которое называется выделенным истинностным значением. Множество тавтологий представляет собой трехзначную матричную логику Лукасевича.
Смотрите также
Древнегреческая философия
Милетская школа. Фалес, Анаксимандр, Анаксимен. Общие черты: -
Древнегреч философия зародилась в 6 веке до н.э. - Формирование нового способа
духовного самовыражения, кот имеет стройную логическую ...
8.1
Стандартная семантика Д.Дэвидсона
Работа
Дональда Дэвидсона в философии языка сфокусирована на развитии такого подхода к
теории значения, который был бы адекватен естественному языку. Представление
Дэвидсона о семантическ ...
7.4 Молекуляризм М.Даммита
Возможные
аргументы против холистической семантики будут направлены прежде всего на само
понимание природы связи между истиной и значением. Возможна позиция, состоящая
в том, что метафизи ...