Философская энциклопедия - трехзначная логика
Трехзначная логика
ТРЕХЗНА́ЧНАЯ ЛО́ГИКА
раздел многозначной логики, в к-ром высказываниям, помимо обычных истинностных значений "истинно" и "ложно", приписывается еще третье значение (напр., "неопределенно", или "нейтрально", или "бессмысленно" и т.п.). Идея трехзначности высказываний восходит к античности: еще Аристотель допускал высказывания, к-рые нельзя считать ни истинными, ни ложными. В истории традиционной (нематематической) логики идеи Т. л. наиболее отчетливо были развиты Н. А. Васильевым (1910–12). Исторически первая система матем. Т. л. была построена Я. Лукасевичем (описание этой системы см. в ст. Многозначная логика). В дальнейшем трехзначные логич. системы для различных целей были построены сов. логиком Д. А. Бочваром, Клини, Рейхенбахом и др. Т. л. получила широкое применение как в логике, так и вне ее: в анализе модальных и нормативных высказываний (см. Модальная логика, Нормативная логика), в анализе парадоксов, в логич. анализе языка квантовой механики (см. Логика квантовой механики), в теории релейных схем и т.д. Она пока остается единств. многознач. логикой, для к-рой найдены интуитивно ясные интерпретации. Т. л. является удобным средством решения методологич. трудностей, возникающих в связи с т.н. неклассич. ситуациями в науке, т.е. когда принцип исключенного третьего не имеет силы (такая ситуация сложилась, напр., в квантовой механике).
Лит. см. при статьях Логика квантовой механики, Многозначная логика.
А. Зиновьев. Москва.
Философская Энциклопедия. В 5-х т. — М.: Советская энциклопедия. Под редакцией Ф. В. Константинова. 1960—1970.
.Вопрос-ответ:
Самые популярные термины
1 | 2311 | |
2 | 2267 | |
3 | 1397 | |
4 | 1353 | |
5 | 764 | |
6 | 734 | |
7 | 689 | |
8 | 667 | |
9 | 648 | |
10 | 622 | |
11 | 618 | |
12 | 563 | |
13 | 558 | |
14 | 546 | |
15 | 543 | |
16 | 535 | |
17 | 533 | |
18 | 526 | |
19 | 517 | |
20 | 516 |