Словарь по логике

Тезис Лукасевича

ППоложение, выдвинутое польским логиком Я. Лукасевичем, согласно которому Аристотель понимал четыре основных введенных им вида атрибутивных высказываний (общеутвердительное, частноутвердительное, общеотрицательное, частноотрицательное) так же, как в традиционной учебной, “аристотелевской” логике, что на языке алгебры множеств и при условии непустоты всех терминов языка выражается формулами (S

P), (S

Ø), (S

P=Ø), (SP

Ø), соответственно.

Тезис положен в основу формализации такой силлогистической теории, представленной Лукасевичем в книге 1951 г. “Аристотелевская силлогистика с точки зрения современной формальной логики”.

Альтернативная трактовка силлогистики Аристотеля позже была предложена и обоснованна советскими логиками В.А. Смирновым и В.А. Бочаровым (см. Тезис Смирнова–Бочарова).

Шиян Т.А.