История логики

Логика

Контрольные вопросы по предмету

0


Подпишитесь на бесплатную рассылку видео-курсов:

Текст видеолекции

Лекция 2. История логики 

1.         Античная логика.

2.         Схоластическая логика.

3.         Логика Нового времени.

4.         Современная логика.

Нарождение рабовладельческой формации в Древней Греции, обусловленное ростом производительных сил, привело к возникновению в VI в. до н. э. единой всеобъемлющей науки – философии. К области логики относится попытка пифагорейской школы подвести все существующее под десять категорий. Пифагорейская таблица категорий, подобно категориям индийской логики (школы ньяя и буддийской логики до Дигнаги) не представляет собой системы, построенной на определенном принципе. Это простой перечень пар противоположностей, принимаемых в качестве наивысших понятий: 1) предел и беспредельное, 2) нечет и чет, 3) единство и множество, 4) правое и левое, 5) мужское и женское, 6) покой и движение, 7) прямая линия и кривая, 8) свет и тьма, 9) добро и зло, 10) квадрат и продолговатый четырехугольник.

В элейской школе впервые в Древней Греции мы встречаем логическую форму доказательства в виде цепи дедуктивных умозаключений. Таковы рассуждения Ксенофана и Мелисса, приводимые в псевдо-аристотелевском сочинении «О Мелиссе, Ксенофане и Горгии», такова аргументация Парменида в его поэме «О природе», и особенно тонко разработанной логической формой дедуктивных умозаключений выделяются сочинения Зенона.

В противоположность элейскому учению о вечном, неизменном и неподвижном бытии Гераклит Эфесский выступает с учением о всеобщем движении и изменении, источником которого являются единство и борьба противоположностей. В известном изречении Гераклита говорится, что наш материальный мир единственно существует, кроме него нет другого, потустороннего, мира, мир не создан никем, он всегда был, есть и будет «вечно живым огнем, закономерно воспламеняющимся и закономерно угасающим». Мир Гераклит понимает как единое целое, все части которого находятся во взаимосвязи и взаимозависимости. Это единое сущее находится в непрерывном изменении. Все течет, ничто не пребывает без движения и изменения. Все находится всегда в состоянии перехода в свою противоположность: «Холодное становится теплым, теплое – холодным, влажное – сухим, сухое – влажным».

Старшие софисты – Протагор, Горгий, Продик и Гиппий – были выдающимися учеными своего времени. До софистов философы в основном занимались исследованием природы (космологическая проблема), софисты же делают главным предметом философского исследования человека и его деятельность. На первое место выступают вопросы политики, этики, теории государства и права, начинают разрабатываться риторика, филология, грамматика и т. д. Протагор и Продик первые стали заниматься вопросами научного языкознания; Протагор, Горгий и Трасимах впервые в Греции создали теорию риторики. Эпоха софистов характеризуется господством индивидуализма в общественной жизни.

Разрабатывая теорию красноречия, софисты не могли не затронуть вопросов логики, рассматривая их под углом зрения техники спора. Протагор написал специальное сочинение «Искусство спорить». Исходя из положения, что о всякой вещи есть два противоположных мнения, он первый стал применять диалог, в котором два собеседника в споре защищали два противоположных взгляда. Сам Протагор прославился как большой мастер спорить. Разъезжая по Греции, он устраивал диспуты, привлекавшие многочисленных слушателей. Как сообщает Диоген Лаэрций («Жизнеописание…», 153), Протагор первый стал применять тот способ ведения рассуждений, который позже применял Сократ и который заключался в задавании вопросов собеседнику и показе ошибочности его ответов. С целью научить доказывать выставленный тезис и развивать заданную тему Протагор впервые стал изучать способы выведения умозаключения (об этом сообщает Артемидор в сочинении «Против Хрисиппа»).

Таким образом, Протагор положил начало изучению видов умозаключений в том плане, как они трактуются Аристотелем в его «Топике», т. е. в плане логических приемов в речи оратора.

Против софистов выступил выдающийся мыслитель древности Демокрит (460–370 гг. до н. э.). Будучи последователем атомистики Левкиппа, Демокрит на ее основе создал всеобъемлющую философскую систему, которая заключала в себе учение о бытии, космологию, космогонию, теорию познания, логику, этику, политику, эстетику и ряд специальных областей научного знания: математику, физику, биологию, медицину, антропологию, психологию, филологию, теорию музыки, педагогику. Демокрит был творцом первой системы логики в Древней Греции. Он написал специальный трактат «О логике», или «Канон», в трех книгах. К сожалению, от этого сочинения дошли до нас лишь незначительные отрывки. Как сообщает Аристотель, из философов-«физиков» впервые Демокрит стал оперировать логическими понятиями и определениями.

У Сократа на первый план выдвигается проблема метода. Сократовский метод исходит из идеи, что истинное знание дается общими понятиями. Это истинное знание он мыслит как задачу, которую предстоит еще решить. Поэтому философия для него есть не обладание истиной, а любовь к мудрости, поиски истины, стремление к ней. Сократ говорил: «Я знаю только то, что ничего не знаю».

Платон развил обширную преподавательскую и литературную деятельность, в которой значительное место было отведено вопросам теории познания и логики. Истину и знание, по Платону, следует искать не в данных чувственного восприятия, не в ощущениях, а в чистой деятельности духа. Лишь тот метод исследования, по учению Платона, является строго научным и ведет к истине, в котором оперируют с чистыми понятиями. Диалектика как учение об истинно сущем имеет дело только с чистыми понятиями, с идеями. Отличие знания от мнения, по Платону, заключается в сознании необходимости мыслить вещь именно так, а не иначе. А для этого надо познать основания – почему именно данная мысль истинна. Правильное мнение становится знанием через познание оснований. Только в этом случае мы можем быть уверены, что у нас действительно прочное знание, а не изменчивое мнение.

По некоторым свидетельствам, общее число написанных Аристотелем сочинений приближается к тысяче. Логические сочинения Аристотеля позже были объединены под общим названием «Органон». Сюда вошли:

1. «Категории» – сочинение, которое не всеми исследователями признается подлинным ввиду близости развиваемого там учения взглядам, выраженным Платоном в диалоге «Тимей».

В этом сочинении позднейшими вставками являются главы 10–15, где излагается учение о постпредикаментах; К. Прантль сочинение «Категории» считал подложным;

2. «Об истолковании» – сочинение, вероятно, не принадлежащее самому Аристотелю или по крайней мере подвергшееся искажению и позднейшим вставкам;

3. «Аналитики первая и вторая» – основное классическое произведение Аристотеля по логике, из которых первая излагает силлогистику Аристотеля, а вторая – учение о доказательстве. Эти два сочинения, бесспорно, принадлежат самому Аристотелю;

4. «Топика», содержащая учение о вероятных («диалектических») доказательствах (в ней не принадлежит Аристотелю лишь пятая книга);

5. «О софистических опровержениях» – сочинение, которое иногда считается последней (девятой) книгой «Топики», иногда же принимается за самостоятельное сочинение.

Логика Аристотеля отнюдь не является той формальной логикой, которая замыкается в рамках изучения формальной правильности мышления безотносительно к его истинности. Для Аристотеля истина есть соответствие мыслимого с действительным в отличие от того формальнологического понимания истинности, согласно которому истинность принадлежит всецело сфере самого мышления и не имеет никакого отношения к подлинной действительности. По Аристотелю, логические законы суть первоначально законы бытия и логические формы совпадают с формами самого бытия: формы истинного мышления являются отображением реальных отношений. Основным критерием истины у Аристотеля служит материальный критерий: согласие мыс: ли с самими вещами.

Исходной точкой в развитии философии и логики в Западной Европе было классическое наследие, оставленное древней Грецией и Римом. Под влиянием схоластической логики вошло в обыкновение вести научные диспуты в виде выдвигаемых тезисов и антитезисов и их обоснования в силлогической форме. В доказательствах исходили из авторитетов. «Мы – карлики, сидящие на плечах великанов», – такого мнения о себе были ученые схоластики, считавшие необходимым опираться либо на священное писание, либо на отцов церкви, либо на древних философов, в особенности на Аристотеля. Темы схоластических диспутов часто были такие: сколько духов может поместиться на острие иголки, будут ли люди носить платья в будущей жизни, есть ли душа у женщины, и т. п.

В период Средневековья (V-XV вв.) представители религии стремились превратить логику в инструмент обоснования религиозных представлений о мире. В это время в Европе в основном господствует логика Аристотеля, которая была превращена в безжизненную, бесплодную, формалистическую псевдонауку. Логика все более превращается в схоластическую, приспособленную к нуждам обоснования христианского вероучения, науку. Многие исследователи логики считают, что логическая мысль раннего европейского Средневековья, усваивавшего наследие античности сквозь призму христианского миропонимания, в творческом отношении значительно уступала эллино-римской.

Большое место в логике Средневековья занимали схоластические дискуссии о природе универсалий (общих понятий). Номиналисты И. Росцелин (около 1050 — около 1122), У.

Оккам (1285-1349), И. Скот (около 1266-1308) признавали реально существующими только единичные тела природы, а общие понятия считали лишь именами сходных между собой вещей. Согласно средневековому реализму, общие понятия имеют реальное существование и предшествуют существованию единичных вещей. Реалисты фактически продолжали линию Платона в решении вопроса о соотношении понятия и объективной действительности, общего и единичного. Виднейшими представителями реализма были А. Кентерберийс-кий (1033-1109) и Ф. Аквинский (1225-1274). Промежуточное положение между номиналистами и реалистами занимал представитель концептуализма П. Абеляр (1079-1142).

Одним из первых теологов, кто пытался поставить логику Аристотеля на службу богословия, был византийский богослов и философ И. Дамаскин (около 675 — около 753), который в сочинении "Источник знания" кратко изложил логику Аристотеля. В труде "Диалектика" византийский ученый раскрывает десять аристотелевских категорий, рассматривает суждение и категорический силлогизм. И. Дамаскин разработал четыре метода логики: 1) разделение родов на виды; 2) определение через род и видовое отличие; 3) разделение сложного на простые элементы; 4) связь двух мыслей посредством среднего термина [11, с. 212].

Средневековый философ И. Эриугена (около 810 — около 877) определяет логику как науку о форме познания и о правилах, которым должна подчиняться каждая наука. И. Эриугена рассматривал методы логики как способы деления родов на виды, а также обратные приемы сведения видов к родам. По мнению ученого, от самых высших родов следует идти к средним, а от них к наиболее частным видам. Он считал фундаментальной проблемой логики вопрос об универсалиях, утверждал положение о вечности идей, которые являются первичными причинами реальных вещей.

К XIII в. в Европе окончательно сформировалась схоластическая логика, которая в основном была ориентирована на искусство спора, аргументации.

 

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

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

Ф. Бэкон разработал основы индуктивной логики в своем знаменитом произведении Новый органон. Как показывает само заглавие, Бэкон противопоставляет свою логику логике Аристотеля. Его Новый органон должен заменить старый аристотелевский Органон. Но Бэкон был несправедлив по отношению к Аристотелю, он не знал подлинного Аристотеля, знакомился с его работами в изложении средневековых философов. Заслугой Бэкона является разработка им вопросов научной индукции, целью которой является раскрытие причинных связей между явлениями окружающего мира. Ф. Бэкон разработал методы определения причинной связи между явлениями: метод сходства, метод различия, соединенный метод сходства и различия, метод сопутствующих изменений, метод остатков. Далее, в XIX в., разработка вопросов научной индукции была продолжена Дж. Ст. Миллем и другими логиками.

Немецкий ученый и философ  И. Кант (1724-1804), автор космогонической гипотезы происхождения небесных тел (известной в науке под названием гипотеза Канта Лапласа) различал два типа логики обычную, формальную, которая изучает формы понятия, суждения и умозаключения, отвлекаясь от их содержания, и трансцендентальную, которая исследует в формах мышления то, что сообщает знанию априорный характер и обусловливает возможность всеобщих и необходимых истин. Согласно трансцендентальной логике, логическое мышление, направленное на предметы опыта, дает достоверное и объективное знание.

Кант считал, что знание выражается в форме суждения. Он различал аналитические суждения, которые, не давая нового знания, раскрывают в предикате знание, уже заложенное в субъекте (например: Все тела протяженны), и синтетические суждения, в которых знание, заключенное в предикате, синтезируется со знанием, содержащимся в субъекте (например: Некоторые тела тяжелы). В свою очередь, синтетические суждения Кант делил на апостериорные, в которых связь субъекта с предикатом основывается на опыте (например: Некоторые люди чернокожие), и априорные, в которых эта связь мыслится как предшествующая опыту и даже являющаяся его предпосылкой (например, суждение, выражающее закон причинности: Все, что случится, имеет причину).

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

Самый знаменитый представитель немецкой классической философии Г. В. Ф. Гегель (17701831).Он критиковал Канта, в том числе и по вопросам логики, но его критика осуществлялась с позиций идеалистической диалектики. Логика у Гегеля совпадает с диалектикой. Поэтому, критикуя формальную логику, он отвергает последнюю. Гегель, говоря об отражении в мышлении понятий движения объективного мира, объективный мир понимал идеалистически, а именно как инобытие абсолютной идеи. Критику законов формальной логики Гегель дал во второй книге своего труда Наука логики в разделе Учение о сущности. Рациональное зерно философии Гегеля диалектика. Он разрабатывал проблемы диалектики мышления и диалектической логики.

 

Русские логики, такие, как П. С. Порецкий, Е. Л. Буницкий и многие другие, внесли существенный вклад в развитие логики на уровне мировых логических концепций. Первый трактат по логике появился в России в Х в. Это был перевод философской главы из Диалектики византийского писателя VII в. Иоанна Дамаскина, которая представляла собой изложение работ Аристотеля и его комментариев. Первое систематическое учебное пособие по логике, включавшее аристотелевскую логику и отдельные идеи Гоббса, было подготовлено во второй половине XVII в. Тогда же в России начали распространяться отдельные идеи математической логики.

В XVIII в. в России появляются оригинальные логические результаты. Первым их добивается Михаил Васильевич Ломоносов (1711-1765). Он вносит существенные изменения в традиционную силлогистику, предлагая свою классификацию умозаключений, отграничивает суждение от грамматического предложения и др. Дмитрий Сергеевич Аничков (1733-1788) в трактате Заметки по логике, метафизике и космологии (Annotationes in logicam, metaphisicam et cosmologiam) исследовал модальные суждения, подразделяя их на четыре вида необходимые, невозможные, возможные и не невозможные, сформулировал систему правил для ведения диспутов.

Философ-материалист Александр Николаевич Радищев (1749 1802) одним из первых в мировой литературе поставил проблему необходимости логического анализа отношений, которого нет ни в логике Аристотеля, ни в логике средневековых схоластов. Он писал о суждениях, что они представляют собой сравнение двух понятий или познание отношений, существующих между вещами. А. Н. Радищев дает следующую классификацию умозаключений: 1) рассуждение (т. е. силлогизм); 2) уравнение, т. е. умозаключения равенства, основанные на следующей аксиоме: равные и одинаковые вещи состоят в равном или одинаковом союзе или отношении; 3) умозаключения по сходству.

Русские видные публицисты В. Г. Белинский (18111848), А. И. Герцен (18121870), Н. Г. Чернышевский (18281889), Н. А. Добролюбов (18361861) активно интересовались философскими вопросами, в том числе проблемами логики. Белинский предостерегал от логических ошибок в ходе доказательства тезиса. А. И. Герцен выдвигал лозунг гармонического сочетания теоретического мышления и практической деятельности. Н. Г. Чернышевский утверждал, что понятие относительности знания не означает, что оно иллюзорно или необъективно, а лишь указывает на его незаконченность.

Крупнейшими русскими логиками XIX в. были Михаил Иванович Каринский (1840-1917) и его ученик Леонид Васильевич Рутковский (1859-1920), основные логические работы которых посвящены классификации умозаключений. Основной замысел логической теории Карийского можно характеризовать как стремление построить аксиоматико-дедуктивную систему логики, исходя из основного отношения равенства (т. е. тождества), и в ней описать дедуктивные и индуктивные умозаключения, не используя элементов строгой формализации. Каринский в этой концепции примыкает к идеям Джевонса, что отметили уже его современники.

Подлинную революцию в логических исследованиях вызвало создание во второй половине XIX в. математической логики, которая получила еще название символической и обозначила новый, современный этап в развитии логики. Зачатки этой логики прослеживаются уже у Аристотеля, а также у его последователей, стоиков в виде элементов логики предикатов и теории модальных выводов, а также логики высказываний. Однако систематическая разработка ее проблем относится к гораздо более позднему времени.

Растущие успехи в развитии математики и проникновение математических методов в другие науки уже во второй половине XVII в. настоятельно выдвигали две фундаментальные проблемы. С одной стороны, это применение логики для разработки теоретических оснований математики, а с другой — математизация самой логики как науки. Наиболее глубокую и плодотворную попытку решить вставшие проблемы предпринял крупнейший немецкий философ и математик Г. Лейбниц (1646-1416) Тем самым он стал, по существу, зачинателем математической (символической) логики. Лейбниц мечтал о том времени, когда ученые будут заниматься не эмпирическими исследованиями, а исчислением с карандашом в руках. Он стремился изобрести для этого универсальный символический язык, посредством которого можно было бы рационализировать любую эмпирическую науку. Новое знание, по его мнению, будет результатом логической калькуляции — исчисления.

Идеи Лейбница получили некоторую разработку в XVIII в. и первой половине XIX в. Однако наиболее благоприятные условия для мощного развития символической логики сложились лишь со второй половины XIX в. К этому времени математизация наук достигла особенно значительного прогресса, а в самой математике возникли новые фундаментальные проблемы ее обоснования. Английский ученый, математик и логик Дж. Буль (1815-1864) в своих работах, прежде всего, применял математику к логике. Он дал математический анализ теории умозаключений, выработал логическое исчисление («Булева алгебра»). Немецкий логик и математик Г. Фреге (1848—1925) применил логику для исследования математики. Посредством расширенного исчисления предикатов он построил формализованную систему арифметики. Английский философ, логик и математик Б. Рассел (1872—1970) совместно с А. Уайтхедом (18б 1—1947) в трехтомном фундаментальном труде «Принципы математики» в целях ее логического обоснования попытался осуществить в систематической форме дедуктивно-аксиоматическое построение логики.

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

Значение символических языков в логике трудно переоценить. Г. Фреге сравнивал его со значением телескопа и микроскопа. А немецкий философ Г. Клаус (1912—1974) считал, что создание формализованного языка имело для техники логического вывода такое же значение, какое в сфере производства имел переход от ручного труда к машинному. Возникая на основе традиционной формальной логики, символическая логика, с одной стороны, уточ¬няет, углубляет и обобщает прежние представления о логических законах и формах, особенно в теории выводов, а с другой — все более значительно расширяет и обогащает логическую проблематику. Современная логика — сложнейшая и высокоразвитая система знаний . Она включает в себя множество направлений, отдельных, относительно самостоятельных «логик», все более полно выражающих запросы практики и в конечном счете отражающих многообразие и сложность окружающего мира, единство и многообразие самого мышления об этом мире.

Символическая логика находит все более широкое применение в других науках — не только в математике, но и в физике, биологии, кибернетике, экономике, лингвистике. Она приводит к возникновению новых отраслей знаний (метаматематика). Особенно впечатляюща и наглядна роль современной логики в сфере производства. Открывая возможность как бы автоматизировать процесс рассуждений, она позволяет передать некоторые функции мышления техническим устройствам. Ее результаты находят все более широкое применение в технике: при создании релейно-контактных схем, вычислительных машин, информационно-логических систем и т. д. По образному выражению одного из ученых, современная логика — это не только «инструмент» точной мысли, но и «мысль» точного инструмента, электронного автомата. Специально отметим, что достижения современной логики используются и в правовой сфере. Так, в криминалистике на разных этапах исследования производится логико-математическая обработка собранной информации. Растущие потребности научно-технического прогресса обусловливают дальнейшее интенсивное развитие современной логики.

Остается сказать, что в разработку систем символической логики внесли важный вклад русские ученые. Среди них особенно выделяется П. Порецкий (1846—1907). Так, он первым в России начал чтение лекций по математической логике. Его собственные труды в этой области не только были на уровне трудов современных ему западноевропейских ученых, но и в ряде случаев их превосходили.

 

 

Ключевые слова: логика древнего мира. средневековая логика. логика нового времени, русская логика, символическая логика

Опубликовано: 6 июня 2014 г.


Нарождение рабовладельческой формации в Древней Греции, обусловленное ростом производительных сил, привело к возникновению в VI в. до н. э. единой всеобъемлющей науки – философии. К области логики относится попытка пифагорейской школы подвести все существующее под десять категорий. Пифагорейская таблица категорий, подобно категориям индийской логики (школы ньяя и буддийской логики до Дигнаги) не представляет собой системы, построенной на определенном принципе. Это простой перечень пар противоположностей, принимаемых в качестве наивысших понятий: 1) предел и беспредельное, 2) нечет и чет, 3) единство и множество, 4) правое и левое, 5) мужское и женское, 6) покой и движение, 7) прямая линия и кривая, 8) свет и тьма, 9) добро и зло, 10) квадрат и продолговатый четырехугольник.

В элейской школе впервые в Древней Греции мы встречаем логическую форму доказательства в виде цепи дедуктивных умозаключений. Таковы рассуждения Ксенофана и Мелисса, приводимые в псевдо-аристотелевском сочинении «О Мелиссе, Ксенофане и Горгии», такова аргументация Парменида в его поэме «О природе», и особенно тонко разработанной логической формой дедуктивных умозаключений выделяются сочинения Зенона.

В противоположность элейскому учению о вечном, неизменном и неподвижном бытии Гераклит Эфесский выступает с учением о всеобщем движении и изменении, источником которого являются единство и борьба противоположностей. В известном изречении Гераклита говорится, что наш материальный мир единственно существует, кроме него нет другого, потустороннего, мира, мир не создан никем, он всегда был, есть и будет «вечно живым огнем, закономерно воспламеняющимся и закономерно угасающим». Мир Гераклит понимает как единое целое, все части которого находятся во взаимосвязи и взаимозависимости. Это единое сущее находится в непрерывном изменении. Все течет, ничто не пребывает без движения и изменения. Все находится всегда в состоянии перехода в свою противоположность: «Холодное становится теплым, теплое – холодным, влажное – сухим, сухое – влажным».

Старшие софисты – Протагор, Горгий, Продик и Гиппий – были выдающимися учеными своего времени. До софистов философы в основном занимались исследованием природы (космологическая проблема), софисты же делают главным предметом философского исследования человека и его деятельность. На первое место выступают вопросы политики, этики, теории государства и права, начинают разрабатываться риторика, филология, грамматика и т. д. Протагор и Продик первые стали заниматься вопросами научного языкознания; Протагор, Горгий и Трасимах впервые в Греции создали теорию риторики. Эпоха софистов характеризуется господством индивидуализма в общественной жизни.

Разрабатывая теорию красноречия, софисты не могли не затронуть вопросов логики, рассматривая их под углом зрения техники спора. Протагор написал специальное сочинение «Искусство спорить». Исходя из положения, что о всякой вещи есть два противоположных мнения, он первый стал применять диалог, в котором два собеседника в споре защищали два противоположных взгляда. Сам Протагор прославился как большой мастер спорить. Разъезжая по Греции, он устраивал диспуты, привлекавшие многочисленных слушателей. Как сообщает Диоген Лаэрций («Жизнеописание…», 153), Протагор первый стал применять тот способ ведения рассуждений, который позже применял Сократ и который заключался в задавании вопросов собеседнику и показе ошибочности его ответов. С целью научить доказывать выставленный тезис и развивать заданную тему Протагор впервые стал изучать способы выведения умозаключения (об этом сообщает Артемидор в сочинении «Против Хрисиппа»).

Таким образом, Протагор положил начало изучению видов умозаключений в том плане, как они трактуются Аристотелем в его «Топике», т. е. в плане логических приемов в речи оратора.

Против софистов выступил выдающийся мыслитель древности Демокрит (460–370 гг. до н. э.). Будучи последователем атомистики Левкиппа, Демокрит на ее основе создал всеобъемлющую философскую систему, которая заключала в себе учение о бытии, космологию, космогонию, теорию познания, логику, этику, политику, эстетику и ряд специальных областей научного знания: математику, физику, биологию, медицину, антропологию, психологию, филологию, теорию музыки, педагогику. Демокрит был творцом первой системы логики в Древней Греции. Он написал специальный трактат «О логике», или «Канон», в трех книгах. К сожалению, от этого сочинения дошли до нас лишь незначительные отрывки. Как сообщает Аристотель, из философов-«физиков» впервые Демокрит стал оперировать логическими понятиями и определениями.

У Сократа на первый план выдвигается проблема метода. Сократовский метод исходит из идеи, что истинное знание дается общими понятиями. Это истинное знание он мыслит как задачу, которую предстоит еще решить. Поэтому философия для него есть не обладание истиной, а любовь к мудрости, поиски истины, стремление к ней. Сократ говорил: «Я знаю только то, что ничего не знаю».

Платон развил обширную преподавательскую и литературную деятельность, в которой значительное место было отведено вопросам теории познания и логики. Истину и знание, по Платону, следует искать не в данных чувственного восприятия, не в ощущениях, а в чистой деятельности духа. Лишь тот метод исследования, по учению Платона, является строго научным и ведет к истине, в котором оперируют с чистыми понятиями. Диалектика как учение об истинно сущем имеет дело только с чистыми понятиями, с идеями. Отличие знания от мнения, по Платону, заключается в сознании необходимости мыслить вещь именно так, а не иначе. А для этого надо познать основания – почему именно данная мысль истинна. Правильное мнение становится знанием через познание оснований. Только в этом случае мы можем быть уверены, что у нас действительно прочное знание, а не изменчивое мнение.

По некоторым свидетельствам, общее число написанных Аристотелем сочинений приближается к тысяче. Логические сочинения Аристотеля позже были объединены под общим названием «Органон». Сюда вошли:

1. «Категории» – сочинение, которое не всеми исследователями признается подлинным ввиду близости развиваемого там учения взглядам, выраженным Платоном в диалоге «Тимей».

В этом сочинении позднейшими вставками являются главы 10–15, где излагается учение о постпредикаментах; К. Прантль сочинение «Категории» считал подложным;

2. «Об истолковании» – сочинение, вероятно, не принадлежащее самому Аристотелю или по крайней мере подвергшееся искажению и позднейшим вставкам;

3. «Аналитики первая и вторая» – основное классическое произведение Аристотеля по логике, из которых первая излагает силлогистику Аристотеля, а вторая – учение о доказательстве. Эти два сочинения, бесспорно, принадлежат самому Аристотелю;

4. «Топика», содержащая учение о вероятных («диалектических») доказательствах (в ней не принадлежит Аристотелю лишь пятая книга);

5. «О софистических опровержениях» – сочинение, которое иногда считается последней (девятой) книгой «Топики», иногда же принимается за самостоятельное сочинение.

Логика Аристотеля отнюдь не является той формальной логикой, которая замыкается в рамках изучения формальной правильности мышления безотносительно к его истинности. Для Аристотеля истина есть соответствие мыслимого с действительным в отличие от того формальнологического понимания истинности, согласно которому истинность принадлежит всецело сфере самого мышления и не имеет никакого отношения к подлинной действительности. По Аристотелю, логические законы суть первоначально законы бытия и логические формы совпадают с формами самого бытия: формы истинного мышления являются отображением реальных отношений. Основным критерием истины у Аристотеля служит материальный критерий: согласие мыс: ли с самими вещами.

Исходной точкой в развитии философии и логики в Западной Европе было классическое наследие, оставленное древней Грецией и Римом. Под влиянием схоластической логики вошло в обыкновение вести научные диспуты в виде выдвигаемых тезисов и антитезисов и их обоснования в силлогической форме. В доказательствах исходили из авторитетов. «Мы – карлики, сидящие на плечах великанов», – такого мнения о себе были ученые схоластики, считавшие необходимым опираться либо на священное писание, либо на отцов церкви, либо на древних философов, в особенности на Аристотеля. Темы схоластических диспутов часто были такие: сколько духов может поместиться на острие иголки, будут ли люди носить платья в будущей жизни, есть ли душа у женщины, и т. п.

В период Средневековья (V-XV вв.) представители религии стремились превратить логику в инструмент обоснования религиозных представлений о мире. В это время в Европе в основном господствует логика Аристотеля, которая была превращена в безжизненную, бесплодную, формалистическую псевдонауку. Логика все более превращается в схоластическую, приспособленную к нуждам обоснования христианского вероучения, науку. Многие исследователи логики считают, что логическая мысль раннего европейского Средневековья, усваивавшего наследие античности сквозь призму христианского миропонимания, в творческом отношении значительно уступала эллино-римской.

Большое место в логике Средневековья занимали схоластические дискуссии о природе универсалий (общих понятий). Номиналисты И. Росцелин (около 1050 — около 1122), У.

Оккам (1285-1349), И. Скот (около 1266-1308) признавали реально существующими только единичные тела природы, а общие понятия считали лишь именами сходных между собой вещей. Согласно средневековому реализму, общие понятия имеют реальное существование и предшествуют существованию единичных вещей. Реалисты фактически продолжали линию Платона в решении вопроса о соотношении понятия и объективной действительности, общего и единичного. Виднейшими представителями реализма были А. Кентерберийс-кий (1033-1109) и Ф. Аквинский (1225-1274). Промежуточное положение между номиналистами и реалистами занимал представитель концептуализма П. Абеляр (1079-1142).

Одним из первых теологов, кто пытался поставить логику Аристотеля на службу богословия, был византийский богослов и философ И. Дамаскин (около 675 — около 753), который в сочинении "Источник знания" кратко изложил логику Аристотеля. В труде "Диалектика" византийский ученый раскрывает десять аристотелевских категорий, рассматривает суждение и категорический силлогизм. И. Дамаскин разработал четыре метода логики: 1) разделение родов на виды; 2) определение через род и видовое отличие; 3) разделение сложного на простые элементы; 4) связь двух мыслей посредством среднего термина [11, с. 212].

Средневековый философ И. Эриугена (около 810 — около 877) определяет логику как науку о форме познания и о правилах, которым должна подчиняться каждая наука. И. Эриугена рассматривал методы логики как способы деления родов на виды, а также обратные приемы сведения видов к родам. По мнению ученого, от самых высших родов следует идти к средним, а от них к наиболее частным видам. Он считал фундаментальной проблемой логики вопрос об универсалиях, утверждал положение о вечности идей, которые являются первичными причинами реальных вещей.

К XIII в. в Европе окончательно сформировалась схоластическая логика, которая в основном была ориентирована на искусство спора, аргументации.

 

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

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

Ф. Бэкон разработал основы индуктивной логики в своем знаменитом произведении Новый органон. Как показывает само заглавие, Бэкон противопоставляет свою логику логике Аристотеля. Его Новый органон должен заменить старый аристотелевский Органон. Но Бэкон был несправедлив по отношению к Аристотелю, он не знал подлинного Аристотеля, знакомился с его работами в изложении средневековых философов. Заслугой Бэкона является разработка им вопросов научной индукции, целью которой является раскрытие причинных связей между явлениями окружающего мира. Ф. Бэкон разработал методы определения причинной связи между явлениями: метод сходства, метод различия, соединенный метод сходства и различия, метод сопутствующих изменений, метод остатков. Далее, в XIX в., разработка вопросов научной индукции была продолжена Дж. Ст. Миллем и другими логиками.

Немецкий ученый и философ  И. Кант (1724-1804), автор космогонической гипотезы происхождения небесных тел (известной в науке под названием гипотеза Канта Лапласа) различал два типа логики обычную, формальную, которая изучает формы понятия, суждения и умозаключения, отвлекаясь от их содержания, и трансцендентальную, которая исследует в формах мышления то, что сообщает знанию априорный характер и обусловливает возможность всеобщих и необходимых истин. Согласно трансцендентальной логике, логическое мышление, направленное на предметы опыта, дает достоверное и объективное знание.

Кант считал, что знание выражается в форме суждения. Он различал аналитические суждения, которые, не давая нового знания, раскрывают в предикате знание, уже заложенное в субъекте (например: Все тела протяженны), и синтетические суждения, в которых знание, заключенное в предикате, синтезируется со знанием, содержащимся в субъекте (например: Некоторые тела тяжелы). В свою очередь, синтетические суждения Кант делил на апостериорные, в которых связь субъекта с предикатом основывается на опыте (например: Некоторые люди чернокожие), и априорные, в которых эта связь мыслится как предшествующая опыту и даже являющаяся его предпосылкой (например, суждение, выражающее закон причинности: Все, что случится, имеет причину).

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

Самый знаменитый представитель немецкой классической философии Г. В. Ф. Гегель (17701831).Он критиковал Канта, в том числе и по вопросам логики, но его критика осуществлялась с позиций идеалистической диалектики. Логика у Гегеля совпадает с диалектикой. Поэтому, критикуя формальную логику, он отвергает последнюю. Гегель, говоря об отражении в мышлении понятий движения объективного мира, объективный мир понимал идеалистически, а именно как инобытие абсолютной идеи. Критику законов формальной логики Гегель дал во второй книге своего труда Наука логики в разделе Учение о сущности. Рациональное зерно философии Гегеля диалектика. Он разрабатывал проблемы диалектики мышления и диалектической логики.

 

Русские логики, такие, как П. С. Порецкий, Е. Л. Буницкий и многие другие, внесли существенный вклад в развитие логики на уровне мировых логических концепций. Первый трактат по логике появился в России в Х в. Это был перевод философской главы из Диалектики византийского писателя VII в. Иоанна Дамаскина, которая представляла собой изложение работ Аристотеля и его комментариев. Первое систематическое учебное пособие по логике, включавшее аристотелевскую логику и отдельные идеи Гоббса, было подготовлено во второй половине XVII в. Тогда же в России начали распространяться отдельные идеи математической логики.

В XVIII в. в России появляются оригинальные логические результаты. Первым их добивается Михаил Васильевич Ломоносов (1711-1765). Он вносит существенные изменения в традиционную силлогистику, предлагая свою классификацию умозаключений, отграничивает суждение от грамматического предложения и др. Дмитрий Сергеевич Аничков (1733-1788) в трактате Заметки по логике, метафизике и космологии (Annotationes in logicam, metaphisicam et cosmologiam) исследовал модальные суждения, подразделяя их на четыре вида необходимые, невозможные, возможные и не невозможные, сформулировал систему правил для ведения диспутов.

Философ-материалист Александр Николаевич Радищев (1749 1802) одним из первых в мировой литературе поставил проблему необходимости логического анализа отношений, которого нет ни в логике Аристотеля, ни в логике средневековых схоластов. Он писал о суждениях, что они представляют собой сравнение двух понятий или познание отношений, существующих между вещами. А. Н. Радищев дает следующую классификацию умозаключений: 1) рассуждение (т. е. силлогизм); 2) уравнение, т. е. умозаключения равенства, основанные на следующей аксиоме: равные и одинаковые вещи состоят в равном или одинаковом союзе или отношении; 3) умозаключения по сходству.

Русские видные публицисты В. Г. Белинский (18111848), А. И. Герцен (18121870), Н. Г. Чернышевский (18281889), Н. А. Добролюбов (18361861) активно интересовались философскими вопросами, в том числе проблемами логики. Белинский предостерегал от логических ошибок в ходе доказательства тезиса. А. И. Герцен выдвигал лозунг гармонического сочетания теоретического мышления и практической деятельности. Н. Г. Чернышевский утверждал, что понятие относительности знания не означает, что оно иллюзорно или необъективно, а лишь указывает на его незаконченность.

Крупнейшими русскими логиками XIX в. были Михаил Иванович Каринский (1840-1917) и его ученик Леонид Васильевич Рутковский (1859-1920), основные логические работы которых посвящены классификации умозаключений. Основной замысел логической теории Карийского можно характеризовать как стремление построить аксиоматико-дедуктивную систему логики, исходя из основного отношения равенства (т. е. тождества), и в ней описать дедуктивные и индуктивные умозаключения, не используя элементов строгой формализации. Каринский в этой концепции примыкает к идеям Джевонса, что отметили уже его современники.

Подлинную революцию в логических исследованиях вызвало создание во второй половине XIX в. математической логики, которая получила еще название символической и обозначила новый, современный этап в развитии логики. Зачатки этой логики прослеживаются уже у Аристотеля, а также у его последователей, стоиков в виде элементов логики предикатов и теории модальных выводов, а также логики высказываний. Однако систематическая разработка ее проблем относится к гораздо более позднему времени.

Растущие успехи в развитии математики и проникновение математических методов в другие науки уже во второй половине XVII в. настоятельно выдвигали две фундаментальные проблемы. С одной стороны, это применение логики для разработки теоретических оснований математики, а с другой — математизация самой логики как науки. Наиболее глубокую и плодотворную попытку решить вставшие проблемы предпринял крупнейший немецкий философ и математик Г. Лейбниц (1646-1416) Тем самым он стал, по существу, зачинателем математической (символической) логики. Лейбниц мечтал о том времени, когда ученые будут заниматься не эмпирическими исследованиями, а исчислением с карандашом в руках. Он стремился изобрести для этого универсальный символический язык, посредством которого можно было бы рационализировать любую эмпирическую науку. Новое знание, по его мнению, будет результатом логической калькуляции — исчисления.

Идеи Лейбница получили некоторую разработку в XVIII в. и первой половине XIX в. Однако наиболее благоприятные условия для мощного развития символической логики сложились лишь со второй половины XIX в. К этому времени математизация наук достигла особенно значительного прогресса, а в самой математике возникли новые фундаментальные проблемы ее обоснования. Английский ученый, математик и логик Дж. Буль (1815-1864) в своих работах, прежде всего, применял математику к логике. Он дал математический анализ теории умозаключений, выработал логическое исчисление («Булева алгебра»). Немецкий логик и математик Г. Фреге (1848—1925) применил логику для исследования математики. Посредством расширенного исчисления предикатов он построил формализованную систему арифметики. Английский философ, логик и математик Б. Рассел (1872—1970) совместно с А. Уайтхедом (18б 1—1947) в трехтомном фундаментальном труде «Принципы математики» в целях ее логического обоснования попытался осуществить в систематической форме дедуктивно-аксиоматическое построение логики.

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

Значение символических языков в логике трудно переоценить. Г. Фреге сравнивал его со значением телескопа и микроскопа. А немецкий философ Г. Клаус (1912—1974) считал, что создание формализованного языка имело для техники логического вывода такое же значение, какое в сфере производства имел переход от ручного труда к машинному. Возникая на основе традиционной формальной логики, символическая логика, с одной стороны, уточ¬няет, углубляет и обобщает прежние представления о логических законах и формах, особенно в теории выводов, а с другой — все более значительно расширяет и обогащает логическую проблематику. Современная логика — сложнейшая и высокоразвитая система знаний . Она включает в себя множество направлений, отдельных, относительно самостоятельных «логик», все более полно выражающих запросы практики и в конечном счете отражающих многообразие и сложность окружающего мира, единство и многообразие самого мышления об этом мире.

Символическая логика находит все более широкое применение в других науках — не только в математике, но и в физике, биологии, кибернетике, экономике, лингвистике. Она приводит к возникновению новых отраслей знаний (метаматематика). Особенно впечатляюща и наглядна роль современной логики в сфере производства. Открывая возможность как бы автоматизировать процесс рассуждений, она позволяет передать некоторые функции мышления техническим устройствам. Ее результаты находят все более широкое применение в технике: при создании релейно-контактных схем, вычислительных машин, информационно-логических систем и т. д. По образному выражению одного из ученых, современная логика — это не только «инструмент» точной мысли, но и «мысль» точного инструмента, электронного автомата. Специально отметим, что достижения современной логики используются и в правовой сфере. Так, в криминалистике на разных этапах исследования производится логико-математическая обработка собранной информации. Растущие потребности научно-технического прогресса обусловливают дальнейшее интенсивное развитие современной логики.

Остается сказать, что в разработку систем символической логики внесли важный вклад русские ученые. Среди них особенно выделяется П. Порецкий (1846—1907). Так, он первым в России начал чтение лекций по математической логике. Его собственные труды в этой области не только были на уровне трудов современных ему западноевропейских ученых, но и в ряде случаев их превосходили.

 

Нужно высшее
образование?

Учись дистанционно!

Попробуй бесплатно уже сейчас!

Просто заполни форму и получи доступ к нашей платформе:




Получить доступ бесплатно

Ваши данные под надежной защитой и не передаются 3-м лицам


Лучшее за неделю

Фразеология русского языка
Фразеология русского языка
Русский язык и культура речи
Формы международных расчетов,   применяемые при р...
Формы международных расчетов, применяемые при р...
Кредитование и расчеты
Сферы приложения электронного бизнеса
Сферы приложения электронного бизнеса
Сетевая экономика
Введение в международное право
Введение в международное право
Международное право
Тревожные расстройства
Тревожные расстройства
Клиническая психология