История логики (краткий экскурс).

Как самостоятельная наука логика сложилась более двух тысяч лет назад, в IV в. до н.э. Ее основателем является древнегреческий философ Аристотель (348–322 гг. до н.э.). В своих логических трудах, получивших общее название «Органон» (греч. «орудия познания»), Аристотель сформулировал основные законы мышления:тождества, противоречия и исключенного третьего, описал важнейшие логические операции, разработал теорию понятия и суждения, обстоятельно исследовал дедуктивное (силлогистическое) умозаключение. Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики – логики предикатов.

Важным этапом в развитии учения Аристотеля явилась логика античных стоиков (Зенон, Хрисипп и др.), дополнившая аристотелевскую теорию силлогизма описанием сложных умозаключений. Логика стоиков – основа другого направления математической ло-, гики – логики высказываний.Среди других античных мыслителей, развивавших и комментирующих логическое учение Аристотеля, следует назвать Галена, именем которого названа 4-я фигура категорического силлогизма; Порфирия, известного разработанной им наглядной схемой, отображающей отношения подчинения между понятиями («древо Порфи-рия»); Боэция, сочинения которого длительное время служили основными логическими пособиями.

Логика развивалась и в средние века, однако схоластика исказила учение Аристотеля, приспособив его для обоснования религиозной догматики.

Значительны успехи логической науки в Новое время. Важнейшим этапом в ее развитии явилась теория индукции, разработанная английским философом Ф. Бэконом (1561–1626). Бэкон подверг критике извращенную средневековой схоластикой дедуктивную логику Аристотеля, которая, по его мнению, не может служить методом научных открытий. Таким методом должна быть индукция, принципы которой изложены в его сочинении «Новый/Органон» (в отличие от старого, аристотелевского «Органона»). Разработка индуктивного метода – огромная заслуга Бэкона, однако он неправомерно противопоставил его методу дедукции; в действительности эти методы не исключают, а дополняют друг друга. Бэкон разработал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж.С. Миллем (1806–1873).

Дедуктивная логика Аристотеля и индуктивная логика Бэкона – Милля составили основу общеобразовательной дисциплины, которая в течение длительного времени была обязательным элементом европейской системы образования и составляет основу логического образования в настоящее время.Эту логику принято называть формальной, так как она возникла и развивалась как наука о формах мышления. Ее называют также традиционной, или аристотелевской логикой.

Дальнейшее развитие логики связано с именами таких выдающихся западно-европейских мыслителей, как Р. Декарт, Г. Лейбниц, И. Кант и др.

Французский философ Р. Декарт (1569–1650) выступил с критикой средневековой схоластики, он развил идеи дедуктивной логики, сформулировал правила научного исследования, изложенные в сочинении «Правила для руководства ума». В 1662 г. в Париже вышла книга «Логика, или Искусство мыслить», написанная последователями Декарта А. Арно и П. Николем, известная также под названием «Логика Пор-Рояля». Книга оказала заметное влияние на всю последующую историю развития логики.

Крупный вклад в исследование логических проблем внесли немецкий философ Г. Лейбниц (1646–1716), сформулировавший закон достаточного основания, выдвинувший идею математической логики, которая получила развитие лишь в XIX–XX вв.; немецкий философ И. Кант (1724–1804) и многие другие западно-европейские философы и ученые.

Значительны заслуги в развитии логики русских философов и ученых. Ряд оригинальных идей выдвинули М.В. Ломоносов (1711– 1765), А.Н. Радищев (1749–1802), Н.Г.Чернышевский (1828– 1889). Известны своими новаторскими идеями в теории умозаключений русские логики М.И. Карийский (1804–1917) и Л.В. Рутков-ский (1859–1920). Одним из первых начал развивать логику отношений философ и логик С.И. Поварнин (1807–1952).

Во второй половине XIX в. в логике начинают широко применять разработанные в математике методы исчисления. Это направление разрабатывается в трудах Д. Буля, У.С. Джевонса, П.С. Порецкого, Г. Фреге, Ч. Пирса, Б. Рассела, Я. Лукасевича и других математиков и логиков. Теоретический анализ дедуктивных рассуждений методами исчисления с использованием формализованных языков получил название математической, или символической, логики3.

Символическая логика – интенсивно развивающаяся область логических исследований, включающая множество разделов, или, как их принято называть, «логик» (например, логика высказываний, логика предикатов, вероятностная логика и т.д.). Большое внимание уделяется разработке многозначной логики, в которой помимо принятых в традиционной логике двух значений истинности – «истинно» и «ложно» – допускается много значений истинности. Так, в разработанной польским логиком Я. Лукасевичем (1878–1956) трехзначной логике вводится третье значение – «возможно» («ней-

Авторы книги были членами религиозной корпорации, обосновавшейся в монастыре Пор-Рояль

 Учитывая европейские традиции, в русле которых в основном развивалась логика в России, мы не останавливаемся здесь на формировании и развитии логических учений в странах Востока, где сложились оригинальные концепции таких мыслителей, как Ибн Сина (Авиценна), Ибн Рушд (Аверроэс) и др.

 Математической логикой называют также особый раздел современной математики, исследующий специфику математических рассуждений и доказательств.

трально»). Им же построена система модальной логики со значениями «возможно», «невозможно», «необходимо» и т.п., а также четырехзначная и бесконечнозначная логики.

Перспективными являются такие разделы, как вероятностная логика, исследующая высказывания, принимающие множество степеней правдоподобия – от 0 до 1, временная логика и многие другие.

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

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

Особенность формальной логики состоит в том, что она рассматривает формы мышления, отвлекаясь от их возникновения, изменения, развития. Эту сторону мышления изучает диалектическая логика, впервые в развернутом виде представленная в объективно-идеалистической философской системе Гегеля (1770– 1831) и с материалистических позиций переработанная в философии марксизма.

Диалектическая логика изучает законы развития человеческого мышления, а также методологические принципы и требования, которые формируются на их основе. К ним относятся объективность и всесторонность рассмотрения предмета, принцип историзма, раздвоение единого на противоположные стороны, восхождение от абстрактного к конкретному, принцип единства исторического и логического и др. Диалектическая логика служит методом познания диалектики объективного мира.

Логика формальная и логика диалектическая изучают один и тот же объект – человеческое мышление, но при этом каждая из них имеет свой предмет исследования. Это значит, что диалектическая логика не заменяет и не может заменить логику формальную. Это две науки о мышлении, они развиваются в тесном взаимодействии, которое отчетливо проявляется в практике научно-теоретического мышления, использующего в процессе познания как формально-логический аппарат, так и средства, разработанные диалектической логикой.

Формальная логика изучает формы мышления, выявляя структуру, общую для различных по содержанию мыслей. Рассматривая, например, понятие, она изучает не конкретное содержание различных понятий (это задача специальных наук), а понятие как форму мышления, независимо от того, какие именно предметы мыслятся в понятиях. Изучая суждение, логика отвлекается от их конкретного содержания, выявляя структуру, общую для различных по содержанию суждений. Формальная логика изучает законы, обусловливающие логическую правильность мышления, без соблюдения которой нельзя прийти к результатам, соответствующим действительности, познать истину.

Мышление, не подчиняющееся требованиям формальной логики, не способно правильно отражать действительность. Поэтому изучение мышления, его законов и форм нужно начинать с формальной логики, изложение основ которой и составляет задачу предлагаемого учебника

 

Логика - доступно для всех