Выделению логики как особой ветви знания способствовали два обстоятельства:
1) еще в древности люди знали, что достоверность выводных знаний зависит не только от истинности
2) чтобы убеждать, надо не только хорошо говорить, но и владеть различными приемами построения умозаключений и доказательств. Поэтому логика использовалась теоретически и практически в повседневной интеллектуально - речевой деятельности и вошла в программу европейских университетов в составе так называемого тривиума - первой ступени высшего образования, куда, кроме логики, входили грамматика и риторика.
Перечислим основных представителей логики как науки (отметим, что имя каждого из них знаменует самостоятельный этап в развитии логики):
- Аристотель (дедуктивная логика, «Органон», 4 век до н. э., основный законы правильного мышления);
- Ф.Бэкон (1561 - 1626) («Новый органон» - манифест индуктивной логики, время экспериментов);
- Гегель (1770-1831) (диалектическая логика, познание мира с точки зрения динамики, текучести, позднее ее применение было расширенно),
- Дж. Буль (1815-1864) - (математическая логика, логика по предмету и математика по методу, обсуждение проблем о возможной формализации мышлений и его практического приложения).
Последний этап развития логики- неклассическая логика.
Как самостоятельная наука логика сложилась болев двух тысяч лет назад, в IV о. до н.э. Ее основателем является древнегреческий философ Аристотель (348- 322 гг. до н.э.). Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики - логики предикатов.
Важным этапом в развитии учения Аристотеля являлась логика античных стоиков. Логика стоиков - основа другого направления математической логики - логики высказываний.
Именем Галена названа 4-я фигуре категорического силлогизма.
Сочинения Боэция которого длительное время служили основными логическими пособиями.
Логика развивалась и в средние века, однако схоластика исказила учение Аристотеля, приспособив ею для обоснования религиозной догматики.
Важнейшим этапом в ее развитии явилась теорий индукции, разработанная английским философом Ф. Бэконам (1561- 1626). Бэкон подверг критике извращенную средневековой схоластикой дедуктивную логику Аристотеля. Разработка индуктивного метода - огромная заслуга Бэкона, однако он неправомерно противопоставил его методу дедукции; в действительности эти методы не 1 исключают, а дополняют друг друга. Бэкон разработал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж.Ст. Миллем (1806-1873)
Эту логику принято называть формальной, так как она возникла и развивалась как наука о формах мышления. Ее называют также традиционной, или аристотелевской логикой.
Дальнейшее развитие логики связано с именами таких выдающихся западно-европейских мыслителей, как Р. Декарт, Г. Лейбниц, И. Кант и др.
Французский философ Р. Декарт (1569-1650) выступил с критикой средневековой схоластики, ей развил идеи дедуктивной логики, сформулировал правил а научного исследования, изложенные в сочинении «Правила для руководства ума»
Г. Лейбниц (1646 - 1716), сформулировал закон достаточного основания, -выдвинувший идею математической логики, которая получила развитие лишь в XIX- XX вв.; немецкий философ И. Кант (1724- 1804) и многие другие западно-европейские философы .и ученые.
Ряд оригинальных идей выдвинул М. В. Ломоносов (1711-1765), А. Н. Радищев (1749-1802), Н. Г. Чернышевский (1828- 1889). Известны своими новаторскими идеями в теории умозаключений русские логики М. И. Карийский (1804- 1917) и Л. В. Рутковский (1859-1920). Одним ид первых начал развивать логику отношений философ и логик С. И. Поварнин (1807- 1952).
Во второй половине XIX века в логике начинают широко применяться разработанные в математике методы исчисления. Это направление разрабатывается в трудах Д. Буля, У.С. Джевонса, П.С. Порецкого, Г. Фреге, Ч. Пирса. Теоретический анализ дедуктивных рассуждений методами исчисления с использованием формализованных языков получил название математической, или символической логики.