Этот метод ругали все, кому не лень, за то что он предполагает постоянное, неизменное состояние объекта. Но ведь это всегда правильно: говоря о некоторой вещи, мы должны считать ее одной и той же! Слово «метафизика» (от греч. «после физики») придумал Андроник Александрийский, который взялся систематизировать все труды Аристотеля. Трактаты о природе он назвал «физикой», а трактаты об основаниях и причинах соответственно «метафизикой». Основанием метафизического метода мышления стала формальная логика («форма» — внешность, «логос» — слово) великого мыслителя античности Аристотеля. Он создал учение о правильных формах мышления, которые не зависят от содержания наших мыслей. О чем бы мы ни рассуждали, если мы будем следовать правилам, то результаты наших рассуждений будут правильными.
Аристотель сформулировал принципы формальной логики. Принципами называют исходные положения или аксиомы, которые принимаются без доказательств. Это первоначальные правила. Их в формальной логике три.
Принцип тождества: нельзя говорить одно и то же о разном; рассуждая, говори всегда об одном и том же предмете.
Принцип непротиворечия: нельзя говорить разное об одном и том же; нельзя что-то утверждать и это же отрицать одновременно.
Принцип исключенного третьего: говорить надо что-то одно: либо «да», либо «нет». Что сверх того — то от Лукавого!
Прекрасные правила! Если бы они работали…
Увы! Еще в древности обнаружились парадоксы (от греч. paradoxos — неожиданный, странный). Самый знаменитый — парадокс Лжеца. «Все Критяне — лжецы», — сказал критянин Эпименид. Но, поскольку он сам критянин, он солгал. Следовательно, критяне — не лжецы. Но тогда Эпименид сказал правду, и, следовательно, все критяне — лжецы, и т. д.
Этот парадокс разрешается легко: некоторые критяне — не лжецы. Но когда появилась математическая теория множеств Георга Кантора и в ней обнаружился знаменитый парадокс Рассела, то стало понятно: в математике не все правильно! Не будем обращаться к формулам теории множеств, но приведем следующий пример. В воинской части служит парикмахер, которому отдан приказ: он обязан брить тех и только тех военнослужащих, которые не бреются сами. Вопрос: должен ли он брить самого себя? Нет ответа. Парадокс Рассела!
К исследованиям проблемы парадоксов прибавились исследования таких знаменитых логиков, как Джон Буль и Джон Стюарт Милль. Они создали модальные и многозначные логики. Далее можно говорить о тысячах математиков и логиков, которые сделали логику частью математики, а математику превратили в логику.
