Новейший философский словарь - лукасевич
Лукасевич
построил систему модальной логики, в которой наряду с исследованием логических операций над ассерторическими высказываниями (утверждениями и отрицаниями) исследуются так называемые модальные высказывания (сильные и слабые утверждения и отрицания). В 1929 выходят "Элементы математической логики", в 1930 совместный с Тарским труд "Исследование по исчислению высказываний", в 1938 "Логика и ее основные проблемы".
В 1954 Л. разработал четырехзначную систему логики, а затем беско-нечнозначные (n-значные) логические системы, в которых множество истинностных значений счетно-бесконечно или имеет мощность континуума (множества). В качестве истинностных значении выступают рациональные числа из отрезка (О, 1). Моделями бесконечнозначных логик Л.
являются им же разработанные алгебры. Л. разработал способ формализации аристотелевской силлогистики, изложив ее в терминах, принятых современной математической логикой. Фор-мализированная система дает представление силлогистики в виде логического исчисления естественного вывода.В своих логических исследованиях Л. применял разработанную им бесскобочную символику (для исключения из формализованного языка скобок), в которой элементарные высказывания обозначаются малыми буквами латинского алфавита, а логические операторы большими буквами того же алфавита (N-отрицание, К-конъюнкция, А неисключающая дизъюнкция, С импликация, R эквивалентность).
.См. в других словарях
Вопрос-ответ:
Самые популярные термины
1 | 371 | |
2 | 355 | |
3 | 348 | |
4 | 347 | |
5 | 346 | |
6 | 335 | |
7 | 329 | |
8 | 326 | |
9 | 323 | |
10 | 322 | |
11 | 321 | |
12 | 321 | |
13 | 320 | |
14 | 309 | |
15 | 308 | |
16 | 305 | |
17 | 302 | |
18 | 302 | |
19 | 300 | |
20 | 299 |