В подобном подходе нет, в общем-то, ничего оригинального. Всякая научная теория представляет собой систему взаимосвязанных утверждений, упорядоченную, иерархическую структуру, налагающую свой отпечаток на каждое утверждение, входящее в нее. Любое из них, будучи вырвано из системы, перестает быть частью того живого организма, каким она является, и теряет тот сложный и разветвленный смысл, каким она наделяет каждый свой элемент.
В рассмотренных до сих пор логических законах простое высказывание берется как единое, неразложимые на части целое. Раздел логики, в котором внутреннее строение простых высказываний не принимается во внимание, называется логикой высказываний и лежит в фундаменте всей логики. Логика высказываний начала складываться еще в античности. Жившие после Аристотеля философы-стоики (Филон, Хрисипп и др.) указали, в частности, такие широко употребляемые законы логики высказываний:
• «Если первое, то второе; первое имеет место; следовательно, второе также имеет место» (например: «Если день, то светло; сейчас день; значит, сейчас светло»);
• «Если первое, то второе; но второго нет; значит, нет и первого» («Если ночь, то темно; неверно, что темно; значит, сейчас не ночь») и др. Однако логика высказываний была сформулирована только в XIX в.
Согласно основному принципу логики правильность рассуждения зависит не от содержания входящих в него утверждений, а только от их логической формы, или структуры. Этот принцип был хорошо известен Аристотелю, им же была построена первая логическая теория – теория категорического силлогизма, называемая иногда просто силлогистикой. В дальнейшем, в течение веков в аристотелевскую силлогистику были внесены лишь незначительные усовершенствования. В полном объеме силлогистика вошла и в современную логику, хотя оказалась не особо существенным ее фрагментом. Поскольку сам термин «силлогизм» до сих пор пользуется широкой популярностью, полезно остановиться на общих принципах построения силлогистики. Это тем более полезно, что в течение двух с лишним тысячелетий силлогистика служила образцом логической теории вообще. Ни древнеиндийская, ни древнекитайская логические теории и близко не подошли к построению логической системы, подобной аристотелевской силлогистике.
Категорические высказывания – это, как уже говорилось, простые высказывания одной из следующих форм: «Все S есть Р», «Некоторые S есть Р». «Все S не есть Р» и «Некоторые S не есть Р».