Великий мыслитель древности Аристотель в IV веке до нашей эры подверг детальному исследованию правила мышления, формы суждений и умозаключений и тем самым создал науку логики.
Аристотель сформулировал главные законы правильного мышления и разработал правила выведения заключений из принятых исходных положений — посылок — то, что в логике называется дедукцией. Аристотеля называют «отцом логики». Аристотель рассматривал логику уже не как простое искусство спора, хотя занимался и этими вопросами, а как орудие научного познания, изучения действительности. Логика Аристотеля имела своей задачей удовлетворение потребностей науки, научного знания, в том виде и в тех пределах, в каких оно создавалось и развивалось в античном мире, в условиях рабовладельческого строя.
В средние века аристотелева логика имела очень широкое распространение, и ученые средневековья детально разработали различные приёмы логики; им принадлежит целый ряд объемистых, громоздких, кропотливо составленных трудов по логике. Но средневековая логика отличалась схоластичностью, она во многом означала шаг назад по сравнению с логикой Аристотеля. Аристотель разрабатывал логику как систему правил научного мышления, чтобы достигнуть познания мира. Средневековая логика от этой правильной цели отклонилась и пошла по пути схоластики.
Слово «схоластика» происходит от латинского слова «схола», что означает школа. Названием схоластики обозначали философию, преподававшуюся в средневековых школах. В связи с характером этой философии и её преподавания схоластикой стали называть мышление формальное, нежизненное, оторванное от действительности. В то время философия занимала положение «служанки богословия», задачи свои усматривала не в познании мира, а в приведении различных областей знания в соответствие с догматами католической религии. Поэтому логика в средние века разрабатывала правила мышления, при помощи которых обосновывались различные церковные догматы. Средневековая схоластика восприняла аристотелеву логику только с её формальной стороны и выбросила из неё всё то ценное, что в ней было, именно — направленность на познание мира, и подчинила эту логику задачам богословия. В этом и заключалась классовая сущность средневековой схоластической логики — обслуживать богословие, укреплять религию и подчинять ей науку. Сама религия в средние века представляла основное идеологическое средство в руках класса феодалов для укрепления феодальных общественных отношений, для подчинения феодалам крестьянских масс, для препятствования свободному научному исследованию, которое могло поколебать авторитет церкви. Логика в тех условиях обслуживала богословие, обосновывая церковные догматы и развивая выводы, которые из них вытекали для поведения людей. Таково было в средние века положение логики и её отношение к католической церкви, представлявшей мощную и влиятельную организацию феодального класса.
С развитием буржуазных общественных отношений и буржуазной идеологии и с ростом потребностей буржуазного общества стали возникать течения, рассматривавшие логические законы как средство научного исследования в различных областях знания (главным образом в математике и естествознании). В этом отношении большое значение имели исследования философа Декарта (1596—1650), особенно его «Рассуждение о методе». В янсенистской[10] корпорации Пор-Рояль последователями Декарта было разработано руководство «Логика, или искусство мыслить», представлявшее в то время ценное исследование (его обычно называют «Логикой Пор-Рояля»). В дальнейшем логика разрабатывалась в идеалистических философских системах Лейбница, Канта и др. Логика в трудах этих философов отличалась чертами крайнего формализма, особенно у Канта, который рассматривал формальную логику как науку о формах мышления, безразличных к содержанию мышления и к истинности самих мыслей, связываемых по правилам логики.
В начале XIX века буржуазная концепция формальной логики приобрела вполне определенный вид.
Формальная логика трактуется как наука о голых формах мышления, не только не связанных с содержанием мышления, но и независимых от объективного мира, от закономерностей природы и общества. Законы логики трактуются как законы, имеющие основу только в самой мысли, не определяемые и не обусловленные объективной действительностью. Иными словами, формальная логика понимается в смысле логики формалистической.
10
Янсенизм — оппозиционное по отношению к официальной католической церкви религиозное течение XVII века, служившее в то время идеологическим оружием французской буржуазии.