ratel

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

Развитие метода было положено Аристотелем, который достаточно насмотрелся на Афинскую демократию в действии вплоть до захвата полиса более уважаемыми людьми, не мог Аристотель равнодушно смотреть на то, как естественные рабы благодаря численному преимуществу угнетают умных и богатых, и принялся писать труд "Риторика" для описания способов убеждения через речь, что включает в себя этос, пафос и логос. После смерти Македонского-младшего афиняне вспомнили хорошо проверенный способ борьбы с философами, недостойный доверия Аристотель решил не доводить дело до суда, но на всякий случай вскоре отравился артосом по другую сторону Эврипа. Обращение к рассуждению, используемый для выявления и устранения ошибочных аргументов и утверждений, логос, был выделен перипатетиками в отдельный труд «Органон», или «прибор» по-русски.

Труды Аристотеля не пропали зря, книги были переоткрыты и разрекламированы Цицероном, к несчастью, и он неблагополучно скончался из-за малодушия и предательства вольноотпущенного раба Филолога, с тех пор филология стала дисфемизмом герменевтики, а, напротив, логика Аристотеля была развита до уровня пропозициональной логики и далее до предикативной логики, которая является единственным верным методом верификации новых знаний в формальных науках: математике, философии и лингвистике. Дедуктивные умозаключения и есть применение предикативной логики, описываемой всего тремя простейшими аксиомами: ((a.b).c).(a.((a.c).a)) = c, где символ точки обозначает штрих Шеффера, универсальное подтверждение и экзистенциальное обобщение.

Краем глаза взглянув на «Органон» Аристотеля, Бэкон даже не задумался постесняться продемонстрировать публике свой собственный «Органон», а совершенно зря. Мало ли рождается людей, неспособных оперировать соритами, эпихейремами и энтимемами, но индуктивная логика хоть и выходит за рамки idem per idem, но годится лишь для подтверждения теоремы Байеса и не более того, даже тавтологию не вывести в её рамках. К счастью, Пирс-младший формально описал систему абдуктивных логических рассуждений, которая качественно лучше дедуктивной и индуктивной в смысле практического применения и созидательного описания законов нашего прекрасного мира.

И всё-таки, как же дедукция? Этот красивый в простоте метод постоянно царапает нашу культуру, воображение и самомнение, онтологические доказательства существования Бога следуют одно за другим, и теперь современно их делать в модальной логике, кто-то вообще не понимает область применимости дедуктивных рассуждений, ну а мне ближе всего мудрые слова Ревущего Льва: