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

Тезис Смирнова–Бочарова

Положение, выдвинутое московскими логиками В.А. Смирновым и В.А. Бочаровым, согласно которому Аристотель понимал четыре основных введенных им вида атрибутивных высказываний (общеутвердительное, частноутвердительное, общеотрицательное, частноотрицательное) так же, как позже Уильям Оккам, что выражается на языке алгебры множеств формулами (SP)&(SØ), (SPØ), (SP=Ø), (SPØ)(S=Ø), соответственно.

Обоснованию этого тезиса В.А. Бочаров посвятил свою книгу 1984 г. “Аристотель и традиционная силлогистика”. Но, по свидетельству Бочарова, впервые тезис в устной форме был выдвинут В.А. Смирновым.

Альтернативная трактовка силлогистики Аристотеля ранее была предложена польским логиком Я. Лукасевичем (см. Тезис Лукасевича).

Шиян Т.А.

© Автор статьи.