Статья 284

В настоящее время в силу различных причин и в частности, в связи с некоторыми задачами в области компьютерных наук значительно возрос интерес именно к таким естественным рассуждениям. При этом довольно часто традиционная, аристотелевская логика противопоставляется современным методам построения логических систем. В частности, высказывается мнение, что исчисление предикатов является слишком неестественным способом логического анализа содержательных рассуждений, оно навязывает слишком жесткие формальные структуры символического языка и в силу этого лишь очень косвенно отражает и даже искажает ход естественных рассуждений, применяемых в практических и в научных целях. Такое противопоставление традиционной и современной символической логики не имеет серьезных оснований.

частности

частности


Можно показать, что силлогистика является фрагментом первопорядкового исчисления предикатов, хотя долгое время вопрос о соотношении этих двух способов формализации логического следования действительно оставался открытым.