КОНТРОЛЬНАЯ РАБОТА
ПО ДИСЦИПЛИНЕ
ЛОГИКА
«ИСТОРИЯ НАУКИ ЛОГИКИ»
Вариант № 1
Выполнила: Лобанкова Я. Н.
Студентка гр. ЗСП-15, 1 курса
Преподаватель: Сидорова И. М.
Подпись преподавателя: __________
Дата: __________
Рыбинск 20___
План
1. Причины возникновения науки логики ……………………………………………….. 3
2. Основные этапы развития логики ………………………………………………………… 5
3. Аристотель – основоположник формальной логики …………………………… 8
4. Ф.Бэкон – основоположник индуктивной логики ……………………………… 10
5. Дедуктивный метод Р.Декарта …………………………………………………………… 13
6. Ф.Гегель – создатель наиболее развитой системы дидактической логики.…………………………………………………………………………………………………. 15
7. Развитие символической (математической) логики………………………….. 17
2-ая часть. Задачи и упражнения ……………………………………………………… 19
Список литературы ……………………………………………………………………………… 26
Причины возникновения науки логики
Основными причинами возникновения логики как науки являются:
1) зарождение и развитие наук. Логика и пыталась выявить и объяснить те требования, которым должно удовлетворять научное мышление, чтобы его результаты соответствовали действительности;
2) развитие ораторского искусства и искусства спора. Основателем логики как науки принято считать Аристотеля. Однако первое систематическое изложение логических проблем было раньше дано другим древнегреческим философом – Демокритом. Среди его многочисленных трудов был и обширный трактат в трех книгах «О логическом, или о канонах» (от греч. canon – «правило, предписание»). В данной работе была раскрыта сущность основных форм познания и критерии истины, показана роль логических рассуждений в познании, дана классификация суждений и предпринята попытка разработать индуктивную логику.
В центре логических размышлений Аристотеля лежит теория дедуктивных умозаключений и доказательства. Он также дал классификацию категорий и близкую к демокритовской классификацию суждений, сформулировал три фундаментальных закона мышления – закон тождества, закон противоречия и закон исключенного третьего.
В Средние века в развитии логики как науки сыграла проблема общих понятий – «универсалий». Суть проблемы заключается в том, что появляется раньше – общие понятия, вытекающие из нашего разума (рационализм), или единичные, фактические предметы (номинализм).
В эпоху Возрождения логика переживала настоящий кризис. Она расценивалась как искусственное мышление и противопоставлялась естественному мышлению, основывающемуся на интуиции и воображении.
Следующий этап в развитии логики начинается с XVII в. Он связан с созданием в ее рамках индуктивной логики, в которой нашли отражение многообразные процессы получения общих знаний на основе накопившегося эмпирического материала. Потребность в таких знаниях наиболее полно осознал и выразил в своих трудах Ф. Бэкон. Он и стал родоначальником интуитивной логики.
Растущие потребности научно-технического прогресса обусловливают дальнейшее развитие современной логики.
Основные этапы развития логики
Выделению логики как особой ветви знания способствовали два обстоятельства:
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 века в логике начинают широко применяться разработанные в математике методы исчисления. Это направление разрабатывается в трудах Д. Буля, У.С. Джевонса, П.С. Порецкого, Г. Фреге, Ч. Пирса. Теоретический анализ дедуктивных рассуждений методами исчисления с использованием формализованных языков получил название математической, или символической логики.
3. Кто является основоположником науки логики?
- аристотель
Логика -- одна из древнейших наук. Точно установить, кто, когда и где впервые обратился к тем аспектам мышле-ния, которые составляют предмет логики, в настоящее время не представляется возможным. Отдельные истоки логическо-го учения можно обнаружить еще в Индии, в конце II тыся-челетия до н. э. Однако если говорить о возникновении логи-ки как науки, то есть о более или менее систематизирован-ной совокупности знаний, то справедливым будет считать родиной логики великую цивилизацию Древней Греции. Именно здесь в V--IV веках до н. э. в период бурного разви-тия демократии и связанного с ним небывалого оживления общественно-политической жизни трудами Демокрита, Со-крата и Платона были заложены основы этой науки.
Родона-чальником же, отцом логики, по праву считается величай-ший мыслитель древности, ученик Платона -- Аристотель (384--322 гг. до н. э.) . Именно он в своих трудах, объединенных общим названием Органон (орудие познания) , впервые обстоятельно проанализировал и описал основные логические формы и правила рассуждений, а именно: формы выводов из так называемых категорических суждений -- категорический силлогизм (Первая аналити-ка) , сформулировал основные принципы научных доказа-тельств (Вторая аналитика) , дал анализ смысла некоторых видов высказываний (Об истолковании) , наметил основ-ные подходы к разработке учения о понятии (Категории) . Серьезное внимание Аристотель уделял также разоблачению различного рода логических ошибок и софистических при-емов в спорах (О софистических опровержениях) .
Основателем логики -- или, как иногда говорят, отцом логи-ки -- принято считать крупнейшего древнегреческого философа и ученого-энциклопедиста Аристотеля (384--322 гг. до н. э. Следует, однако, учитывать, что первое довольно развернутое и системати-ческое изложение логических проблем фактически дал более ран-ний древнегреческий философ и естествоиспытатель Демокрит (460 -- примерно 370 г. до н. э.) . Среди его многочисленных трудов был и обширный трактат в трех книгах О логическом, или О ка-нонах (от греч. kanon -- предписание, правило) Ивлев Ю. Логика для юристов. - М. : БЕК, 2001. - С. 22. Здесь не только были раскрыты сущность познания, его основные формы и крите-рии истины, но и показана огромная роль логических рассужде-ний в познании, дана классификация суждений, подвергнуты ре-шительной критике некоторые виды выводного знания и предпри-нята попытка разработать индуктивную логику -- логику опытного знания.
К сожалению, этот трактат Демокрита, как и все остальные, до нас не дошел. Однако он был широко использован Аристотелем в его разработке грандиозной системы логики. А от нее непосред-ственно ведет начало современная логика.
Аристотелю принадлежит ряд трактатов по логике, объединен-ных позднее под названием Органон от греч. organon -- орудие, инструмент) .
B фокусе всех его логических размышлений -- теория выводного знания -- дедуктивных умозаключений и доказательства. Она разра-ботана с такой глубиной и тщательностью, что прошла сквозь тол-щу столетий и в основном сохранила свое значение до наших дней Аристотель дал также классификацию категорий -- наиболее об-щих понятий и близкую к демокритовской классификацию сужде-ний, сформулировал три фундаментальных закона мышления -- закон тождества, закон противоречия и закон исключенного тре-тьего. Логическое учение Аристотеля замечательно тем, что в заро-дыше оно содержит, по существу, все позднейшие разделы, на-правления и типы логики -- индуктивной, символической, диа-лектической. Правда, сам Аристотель называл созданную им науку не логикой, а прежде всего аналитикой, хотя и употреблял термин логическое. Сам же термин логика вошел в научный оборот несколько позднее, в III в. до н. э. Причем в соответствии с двуеди-ным смыслом древнегреческого слова logos (и слово, и мысль) он объединил и искусство мыслить -- диалектику, и искусство рас-суждать -- риторику. - Основоположником логики как науки является древнегреческий философ и ученый Аристотель (384-322 гг. до н. э.) . Он впервые разработал теорию дедукции, то есть теорию логического вывода. Именно он обратил внимание на то, что в рассуждениях мы из одних утверждений выводим другие, исходя не из конкретного содержания утверждений, а из определенной взаимосвязи между их формами, структурами.
Уже тогда в Древней Греции были созданы школы, в которых люди учились дискутировать. Ученики этих школ учились искусству поиска истины и убеждения других людей в своей правоте. Они учились из множества фактов отбирать нужные, строить цепочки рассуждений, связывающие отдельные факты между собой, делать правильные выводы.
Древнегреческий математик Евклид (330-275 гг. до н. э.) впервые предпринял попытку упорядочить накопившиеся к тому времени обширные сведения по геометрии. Он положил начало осознанию геометрии как аксиоматической теории, а всей математики - как совокупности аксиоматических теорий.
На протяжении многих веков различными философами и целыми философскими школами дополнялось, усовершенствовалась и изменялась логика Аристотеля. Это был первый, доматематический, этап развития формальной логики. Второй этап связан с применением в логике математических методов, начало которому положил немецкий философ и математик Г. В. Лейбниц (1646-1716 гг.) . Он пытался построить универсальный язык, с помощью которого разрешались бы споры между людьми, а затем и вовсе все идеи заменить вычислениями.
Важный период становления математической логики начинается с работы английского математика и логика Джорджа Буля (1815-1864 гг.) Математический анализ логики (1847) и Исследования законов мышления (1854). Он применил к логике методы современной ему алгебры - язык символов и формул, составление и решение уравнений. Им была создана своеобразная алгебра - алгебра логики. В этот период она оформилась, как алгебра высказываний и была значительно развита в работах шотландского логика А. де Моргана (1806-1871 гг.) , английского - У. Джевонса (1835-1882 гг.) , американского - Ч. Пирса и др. Создание алгебры логики явилось заключительным звеном в развитии формальной логики.
Значительный толчок к новому периоду развития математической логики дало создание в первой половине XIX века великим русским математиком Н. И. Лобачевским (1792-1856 гг.) и независимо от него венгерским математиком Я. Бояи (1802-1860 гг.) неевклидовой геометрии. Кроме того, создание анализа бесконечно малых подвело к необходимости обоснования понятия числа как фундаментального понятия всей математики. Довершали картину парадоксы, обнаруженные в конце XIX века в теории множеств: они отчетливо показали, что трудности обоснования математики являются трудностями логического и методологического характера. Таким образом, перед математической логикой встали задачи, которые перед логикой Аристотеля не возникали. В развитии математической логики сформировались три направления обоснования математики, в которых создатели по-разному пытались преодолеть возникшие трудности.
§ 2. Логика как наука
Логика как наука возникла в IV веке до н. э. Ее создателем был древнегреческий философ Аристотель (384-322 гг. до н. э.), который систематизировал и развил логические изыскания своих предшественников в трудах, объединенных общим названием «Органон» («Категории», «Об истолковании», «Первая аналитика», «Вторая аналитика», «Топика», «О софистических опровержениях» 1). Нелишне заметить, что логика была первой из оформившихся в самостоятельную науку отраслей знания.
Логику определяют обычно, как науку о формах правильных рассуждений, имея в виду выявление прежде всего законов и форм правильных выводов и доказательств. В силу чего ее часто называют формальной логикой 2 . При этом выделяется наиболее существенное в содержании этой науки, поскольку выводы (умозаключения) играют наиболее важную роль в процессах теоретического познания. Однако уже у самого Аристотеля круг исследования проблем логического характера был значительно шире. У него анализируются не только основные формы мысли: понятия, суждения, но и многие приемы познавательной деятельности. Учитывая это, точнее было бы дать следующее определение:
Логика есть наука о формах, приемах и методах теоретического познания на ступени абстрактного мышления, имеющих общенаучный характер, о законах, составляющих основу этих методов, а также о языке как средстве познания.
При таком подходе к логике как науке наряду с -мальной логикой в ней выделяются, по крайней мере, такие разделы как логическая семиотика
1 Аристотель. Соч.: В 4 т. - М: Мысль, 1978. - Т. 2.
2 Термин «формальное» трактуют иногда как бессодержательное, фор малистическое и т. п. Но к формальной логике это не имеет никакого отно шения! Дело просто в том, что задачей этого раздела логики как науки яв ляется выявление определенных форм (структур) рассуждений, но при этом учитывается как раз, что сами формы, например, высказываний, по нятий, имеют содержание, а именно логическое содержание. Оно играет очень важную роль для понимания многих познавательных процессов.
(исследование языка как средства познания), а также - тодология (изучение общенаучных методов и приемов познания).
Когда говорят, что логика изучает приемы и методы познавательной деятельности, имеют в виду действия именно логического характера, т. е. такие приемы и методы познания, которые не связаны со специфическим содержанием тех или иных наук. Каждая из конкретных наук имеет в качестве предмета исследования ту или иную область природы или общественной жизни, логика же изучает то, каким образом осуществляется мыслительно-познавательная деятельность в различных науках.
Наряду с исследованием законов и форм выводов и доказательств, представляющих собой процесс получения нового знания из уже имеющегося, в логике анализируются формы выражения знания: возможные виды и логические структуры понятий, высказываний, теорий, а также многообразные операции с понятиями и высказываниями, отношения между ними.
В исследовании же языка как средства познания выясня ется, каким образом выражения языка могут представлять в нашем мышлении те или иные предметы, связи, отношения. В связи с этим рассматриваются такие понятия, как знак, виды знаков, принципы их употребления, смысловое и предметное значение зна-
ков и др. Выделяются естественные и специально создаваемый логикой - так называемые формализованные - языки, которые используются для выяснения ряда существенных логических понятий (законов логики, выводов, доказательств и др.), а также для решения многих задач логико-познавательного характера, играющих важную роль в процессе обучения: совместимы ли те или иные высказывания, является ли какое-либо выражение следствием других и т. д.
Таким образом, видно, что будучи наукой о мыслительной деятельности, логика тесно связана с психологией.
Однако есть существенные различия в их подходе к анализу мышления. Психология рассматривает процесс мышления как естественный процесс. Она исследует типы мышления у людей различных категорий, ее интересуют случаи па-
тологии и их причины, зависимость мышления от интересов и памяти, от психологического состояния личности и многое другое подобного рода. Предметом логики являются истори чески сложившиеся формы и приемы познания, от которых зависит истинность результатов познания. Сами же формы, приемы и методы познания определяются не психическими особенностями личности, ее привычками и наклонностями, а некоторыми наиболее общими свойствами и отношениями вещей объективной деятельности. Дело в том, что, в конечном счете, формы и методы познания являются опосредованными отражениями свойств и отношений объективной реальности.
Логику, в первую очередь, интересует не то, как мыслит человек, а то, как он должен мыслить для решения тех или иных задач логико-познавательного характера, о которых мы говорили выше. Причем, имеется в виду такое решение этих задач, которое бы обеспечивало достижение истинных результатов в процессе познания. В естественных же процессах мышления у нас нередко проявляется склонность к поспешным обобщениям, излишняя доверчивость к интуиции, неопределенность значений употребляемых слов. Предписания логики способствуют сокращению этих и других недостатков естественных рассуждений.
Таким образом, логика имеет не только описательный, но и нормативный (предписывающий) характер. И в этом смысле описание и объяснение мыслительных процедур с точки зрения логики направлено, в первую очередь, на выработку определенных требований и норм, предъявляемых к мыслительным процедурам.
ЛОГИЧЕСКАЯ ФОРМА И ЛОГИЧЕСКОЕ СОДЕРЖАНИЕ МЫСЛИ. ЛОГИЧЕСКИЕ ЗАКОНЫ
Для уяснения специфики предмета логики и особенно специфики изучаемых ею законов необходимо установить понятия логической формы и логического содержания мысли. Это понятия высокого теоретического уровня и сложности. Для точного их определения используются специальные
формализованные языки. Здесь возможно лишь предварительное знакомство с ними.
Рассмотрим понятия логической формы и содержания мысли на примере такого наиболее знакомого читателю вида знания, как высказывания (суждения 1), в которых утверждается наличие иди отсутствие какой-либо ситуации в познаваемой области действительности. Мы имеем, например, такие простые высказывания как «2 - простое число», «Волга впадает в Каспийское море», «Все жидкости упруги», «Некоторые кислоты не содержат кислорода», и сложные: «Луна вращается вокруг Земли, а Земля - вокруг Солнца» «Все кислоты содержат кислород или некоторые не содержат его».
Про высказывания (суждения), как и про понятия, теории говорят (и мы будем говорить), что они являются -бы ми формами знания. «Формы» здесь означают виды знания, то есть речь идет об особых видах знания. Но каждое конкретное суждение (как и понятие), будучи выраженным в некотором языке и при этом достаточно точным образом, наряду с определенной знаковой (языковой) формой, имеет также логическую форму, а наряду с определенным конкретным содержанием, - логическое содержание (здесь, поскольку речь идет о суждении с определенной знаковой формой, естественнее говорить о логической форме и о логическом содержании высказывания). Рассмотрим эти понятия на примере следующих высказываний: «Все металлы суть химически простые вещества» и «Если вода (при нормальном давлении) нагрета до 100°С, то она закипает».
Вопрос о том, каковы здесь знаковые формы, не требует, очевидно, разъяснений. Конкретное содержание мысли в первом случае состоит, как видно, в утверждении, что каждый предмет, который мы характеризуем свойством метал-личности, обладает свойством химической простоты, то есть состоит из однородных атомов. Чтобы выявить логическую
1 Одно и то же суждение может быть выражено в разных языках и даже в разных знаковых формах в пределах одного языка. Когда суждение рассматривается в связи с какой-то конкретной формой его языкового выражения, оно называется «высказыванием». Термин же «суждение» для него мы употребляем, когда отвлекаемся от того, какова именно его знаковая форма.
форму и логическое содержание этого суждения надо отвлечься от того, каковы именно те конкретные предметы, о которых в нем что-то утверждается, и каковы именно те конкретные свойства или отношения, наличие которых у этих предметов утверждается. Отвлекаясь от того, что речь идет здесь о металлах, мы можем обозначить их просто переменной S , а вместо свойства «химически простое вещество» ввести переменную Р. Тогда вместо данного конкретного суждения получаем его логическую форму:
Все 5 суть Р.
Это выражение обладает еще определенным содержанием, оно в определенной степени осмысленно, а именно, в нем утверждается, что всякий предмет, обладающий каким-то свойством 5, имеет свойство Р. Это содержание, которое представляет логическая форма высказывания, и называется логическим содержанием высказывания.
Читатель теперь сам, очевидно, установит, что для того чтобы выявить логическую форму второго из взятых нами высказываний, надо отвлечься от конкретного предмета, а в данном случае воды. Результатом отвлечения будет введение некоторой переменной для его обозначения, например, а. Вместе с тем отвлекаемся от того, о каких именно свойствах этого предмета идет речь, заменяя опять их знаковые формы переменными: «нагретость до 100°С» обозначим P v а «закипает» - Р 2 . В итоге получим:
Если а есть Р,то а есть Р 2 .
Логическое содержание состоит здесь в указании на связь между наличием у предмета одного свойства Р { и наличием другого - Р 2 .
Тут же логическую форму имеет высказывание: «Если сумма цифр числа 353 делится на 3, то само это число делится на 3».
Читатель, наверное, усмотрел уже, что при выявлении логических форм высказываний в приведенных случаях мы допускали определенные огрубления: игнорировали, например, различие между структурами таких свойств, как «нагреть до 100°С» и «закипает». В первом случае налицо некоторое отношение между водой и температурой 100°С. Есть существенная разница между свойствами «делимость суммы
цифр числа на 3» и «делимость самого числа на 3», которую мы также не принимали во внимание. Все дело в том, что логические формы мысли можно выявлять с той или иной степенью точности, с учетом или без учета тех или иных структурных особенностей свойств, отношений, как и самих предметов. Все зависит от того, с какой целью, в каких ситуациях, для решения каких задач нам необходимо выявить логическую форму той или иной мысли. Иногда мы можем вообще отвлекаться от структур высказываний, составляющих другие - сложные - высказывания, и, например, в качестве логической формы вышеприведенных высказываний о делимости числа, о кипении воды получить выражение:
Если р, то q,
где р и q - переменные для высказываний (пропозициональные переменные).
Возьмем высказывание: «Если наш мир лучший из миров, то все люди в нем должны быть счастливы». Рассматривая свойства «лучший из миров» и «всякий человек - в нем -должен быть счастлив» как простые, получим форму данного высказывания, аналогичную предыдущей:
Если а есть Р,то а есть Р 2
Если же учтем структуру второго свойства «Всякий человек, если он живет в нашем мире, то он счастлив», будем иметь: «если а есть Р,то все 5 суть Р 2 (если SRa , то 5 есть О)», где R - отношение «живет». Читателю предлагается теперь самому выявить логическую структуру также первого из указанных свойств и соответственно форму всего высказывания с учетом структуры этого свойства.
Не имея возможности вдаваться здесь во многие подробности (см. гл. И, 6), заметим, однако, что в каждом высказывании мы различаем дескриптивные термины и логические. Дескриптив ные - это термины, обозначающие предметы, свойства, отношения. К числу логических терминов относятся в наших примерах такие знаковые выражения, как «все», «некоторые», «и», «если..., то...» и др. Именно логические термины и определяют логические содержания высказываний и именно наличие логических операций и отношений, которые обозначаются логическими терминами, ха-
рактеризуют специфику воспроизведения действительности в мышлении. Правда, в мышлении не все логические связи фиксируются явным образом посредством специальных логических терминов 1 . Логические термины и являются, в частности, тем инструментарием, с помощью которого осуществляется упоминавшаяся выше синтетическая деятельность мышления. Посредством их происходит соотнесение свойств и отношений, зафиксированных в языке первоначально в отрыве от предметов, с теми или иными определенными предметами. Речь идет о той именно синтезирующей деятельности мышления, которая осуществляется в формах высказываний (суждений).
Несколько упрощенно логическую форму иногда определяют как «способ связи в мысли частей мыслимого содержания». «Мыслимое содержание» здесь, очевидно, конкретное содержание мысли в отличие от логического - связанное со значениями дескриптивных терминов, а сам «способ связи» характеризуется логическими терминами.
Вообще, для того, чтобы точно выявить логическую форму некоторой мысли, необходима точная и полная ее формулировка 2 , содержащая все ее аспекты. Иначе - при выявлении логической формы - может быть не учтена какая-то часть некоторого конкретного содержания, а тем самым и потеряно нечто в логическом содержании.
Неполнота формулировки может иметь место, когда, например, не учитывается сложная структура тех или иных признаков, как это было в одном из приведенных примеров. В высказывании «Всякий человек имеет мать» «имеет» - не отношение; здесь подразумевается утверждение о существовании для каждого человека некоторого другого человека такого, который находится в определенном отношении к первому, а именно в том отношении, которое обозначает слово «мать».
Здесь видны трудности выявления точного смысла и логической формы высказываний в естественном языке. Когда утверждаются какие-то отношения между предметами одного и того же класса, возникает необходимость к общему обозначению предметов этого класса (как в данном случае - «человек») добавлять либо нумерацию (человек^ человек 2 ...), либо вводить специальные сим-
1 Логическую форму имеют, конечно, и такие суждения, как «Луна - холодное небесное тело», «Солнце - раскаленное тело», «Медь - металл», в формулировках которых нет специальных логических терминов, однако, здесь подразумевается наличие логического отношения принадлежности свойства предмету.
2 Точная и полная формулировка мысли нужным образом достигается в специальных, формализованных, определенным образом стандартизиро ванных языках (см. гл. III), в чем и состоит их важное значение для логики.
волы переменных X, Y , ..., употребляя выражения «человек X», «человек У», как это и делается в формализованных языках.
В тех или иных случаях, в зависимости от решаемых задач, мы можем, как уже было сказано, опускать какие-то стороны содержания. Но «опускать» - не значит «вообще не замечать и не учитывать».
Следует добавить также, что, выявляя логическую форму, при замене терминов с конкретным содержанием - знаков предметов, свойств, отношений - мы заменяем их переменными соответствующих типов, то есть знаками, под которыми подразумеваются объекты тех же типов; причем один и тот же термин, если он встречается в выражении не один раз, заменяется одной и той же переменной, а различные - различными. При этом употребляются переменные особого вида, так называемые «переменные - параметры», или, иначе говоря, «фиксированные переменные», в отличие от так называемых «квантифицированных переменных» (см. гл. III, § 10).
Вообще, логические формы высказываний, как и их логические содержания, необходимы для выявления законов логики, лежащих в основе правильных форм рассуждений (умозаключений).
Логические законы представляют собой связи, в частности, между высказываниями того или иного языка, зависящие только от их логических содержаний, а тем самым, от их логических форм. Сами они выражаются обычно также в формах некоторых высказываний того же языка, но с использованием нужных переменных. Законами являются, например:
Если все S суть Р, то ни одно не-Рне есть S ;
Если все S суть Р, то некоторые Р суть S ;
Если неверно, что некоторые S есть Р, то ни одно S не есть Р.
Каждый из указанных законов определяет форму правильного умозаключения. Например, от истинности высказывания вида «Все 5 суть Р» можно с гарантией заключить об истинности высказываний вида «Ни одно не-Р не суть 5» и вида «Некоторые Р суть 5». Так, если вместо 5 и Р использовать, соответственно, «металл» и «электропроводящее вещество», то ясно, что при истинности высказывания «Все металлы суть электропроводящие вещества», обязательно истинными будут и высказывания «Ни одно неэлектропроводящее ве-
щество не есть металл» и «Некоторые электропроводящие вещества есть металлы».
Высказывания, выражающие законы логики, истинны при любых значениях содержащихся в них переменных (именно тех переменных, которые мы вводим, выявляя логические формы высказываний).
ЗАКОНЫ ЛОГИКИ И ПРИНЦИПЫ ПРАВИЛЬНОГО МЫШЛЕНИЯ
Современное понятие закона логики возникло в рамках символической логики; при этом было выяснено, что существует бесконечное множество законов этого типа. Мы подчеркиваем это в противовес распространенному - идущему от традиционной логики - представлению о том, что в формальной логике есть три, а по другому мнению, четыре закона, которые называют при этом «основными» законами (основными и единственными!). Имеются в виду три закона - закон тождества, закон противоречия, закон исключенного третьего, - сформулированные еще Аристотелем, и закон достаточного основания, введенный в логику Г. Лейбницем.
Аристотель сформулировал упомянутые законы, критикуя современные ему философские течения. Еще в V веке до н. э. Гераклит - основоположник диалектики - сформулировал принцип, что в мире нет ничего вечного, постоянного, «все течет, все изменяется». При качественных изменениях обычны не просто переходы явлений из одних качественных состояний в другие, но часто и в свою противоположность. Противоположности добра и зла, полезного и вредного, справедливого и несправедливого, горячего и холодного, отталкивания и притяжения и тому подобные взаимодействия составляют часто лишь различные аспекты одних и тех же явлений, представляют различные тенденции их развития. Из этих взглядов Гераклита и других античных диалектиков были сделаны крайние выводы.
Согласно взглядам философов, которые были названы р е л я т и в и с т а м и (Кратил и др.), в мире все абсолютно относительно и вообще нет ничего определенного, а поэтому
невозможно никакое истинное знание. Аристотель возражал релятивистам так: «Если мы имеем два противоречащих высказывания, то есть таких, в одном из которых (А) что-либо утверждается, а в другом то же самое 1 отрицается (не-А), то по крайней мере одно из них истинно». Иначе говоря, противоречащие высказывания не могут быть оба ложными. Это действительно один из законов логики - з а к о н иск л ю ч е н н о г о третьего.
Другая крайность, которую представляли ф и л о с о ф ы -софисты (Протагор, Горгий и др.), состояла в утверждении, что, наоборот, все, что бы мы ни утверждали или отрицали, является истинным: «И как кому кажется, так оно и есть!» На это Аристотель отвечал, что из двух указанных типов высказываний А и не-А, по крайней мере, одно является ложным или, иначе говоря, противоречащие друг другу высказывания не могут быть оба истинными. Это - тоже закон логики. Он получил название з а к о н п р о т и в о р е ч и я.
Против абсолютизации относительности качественных различий предметов и явлений и изменчивости вещей и явлений Аристотель возражал, что в относительном, изменчивом всегда есть качественно определенное (что именно и является объектом изменения).
Существование определенности в рамках изменчивости хорошо демонстрирует нам современная наука, особенно теория микрочастиц. Известно, что многие частицы «живут» лишь миллионные или даже миллиардные доли секунды. Казалось бы, о них вообще ничего нельзя высказать, поскольку стоит лишь даже произнести первую букву названия частицы, как ее давно уже нет в действительности... Тем не менее физики определяют массы, заряды, моменты вращения, в ряде случаев даже и строение таких частиц, хорошо отличая одни частицы от других. К нашему счастью, наше мышление при рассуждении о вещах «не гоняется» за ними, не идет параллельно их развитию.
1 При определении противоречащих высказываний обычно находят нужным подчеркивать, что в одном из них что-то утверждается, а в другом «то же самое, в том же смысле, о том же предмете, взятом в то же время, в том же отношении» отрицается «то же самое», что в первом, то само собой имеется в виду, что «в том же смысле, о том же предмете» и т. д.
Софистика и релятивизм в процессах познания связаны с неправильным употреблением языка, с неопределенностью значений употребляемых слов и языковых выражений вообще. В действительном процессе мышления всякий человек, указывал Аристотель, вкладывает в свои слова какое-нибудь значение и для себя и для другого. Это необходимо для того, чтобы вообще возможно было рассуждение: «Если же у слов нет определенных значений, тогда утрачена всякая возможность рассуждать друт с другом, а в действительности - и с самим собой, ибо невозможно ничего мыслить, если не мыслишь каждый раз что-нибудь одно...» 1 .
Итак, Аристотель формулирует здесь важное требование к мышлению, необходимое условие его логической правильности: рассуждая о тех или иных предметах и явлениях, необходимо выделять в них нечто качественно определенное, устойчивое, относительно тождественное, придавая таким образом словам, в которых выражаются мысли, определенное предметное значение (см. § 5). Это требование относится, в частности, и к нашим понятиям, которые должны иметь определенное содержание и сохранять свою определенность в процессах рассуждения (не допускать подмены одних понятий другими и смешения слов с различными значениями). Это требование получило в логике название закона тождества 2 .
Как мы уже сказали, появлению в логике «четвертого закона» она обязана Г. Лейбницу. То, что называют - ном достаточного основания, есть также определенное требование, необходимое условие правильности нашего мышления. Оно состоит в том, что в процессе познания можно принимать то или иное суждение, высказывание за истину лишь на достаточном основании. Правда, сам Г. Лейбниц и традиционная логика после него не выяснили, что именно есть достаточное основание для признания истинности некоторого высказывания.
1 Аристотель. Метафизика. - С. 64.
2 Однако имеются различные толкования этого закона, иногда, напри мер, как требование тождества наших понятий в процессе рассуждения, хотя требование определенности понятий в ходе рассуждения отнюдь не означает, что они должны оставаться тождественными при рассуждении, что будет показано в гл. V. К тому же, как увидим, это положение не явля ется законом логики в современном понимании этого термина.
В некоторой мере указание на это содержится в приведенном выше определении истины, в котором мы использовали результаты исследования понятия истины польским логиком А. Тарским (применившем для этого точные методы современной логики): достаточным основанием истинности высказывания является наличие в действительности той ситуации, которую оно описывает и наличие которой утверждает. Другое дело, что сами ситуации бывают весьма сложными и не всегда ясными; к тому же не всегда просто установить наличие или отсутствие какой-либо ситуации. Поэтому требование Г. Лейбница чаще всего приходится понимать как стремление к максимальному обоснованию (подтверждению) выдвигаемых и принимаемых нами утверждений.
Из последнего изложения нетрудно обнаружить, что в традиционной логике смешаны принципиально различные понятия: такие, с одной стороны, как з а к о н ы л о г и к и и, с другой - л о г и ч е с к и е п р и н ц и п ы, логические требования, как необходимые, наиболее общие условия логической правильности нашего мышления.
Законы логики представляют собой объективные, не зависящие от человека связи между мыслями, например, между высказываниями, обусловленные их логическими содержаниями. Сами эти логические содержания являются отражением в мышлении некоторых наиболее общих сторон и аспектов, связей и отношений, реально существующих.
Логические же принципы (требования) - это определенные установки, положения, к осуществлению которых человек должен стремиться, но которые, в конце концов, могут умышленно или неумышленно не выполняться или, как говорят, «нарушаться».
Из перечисленных нами так называемых основных законов логики два первых - исключенного третьего и противоречия - действительно являются законами логики. Что касается законов тождества и достаточного основания - это лишь более или менее определенные требования. Впрочем, в современной логике действительно есть закон тождества. Он - насколько возможно выявить его смысл на данном этапе изложения материала - представляет собой так же, как и другие законы, определенную, хотя в данном случае и тривиальную связь между высказываниями: «Если какое-то высказывание А истинно, то оно истинно».
Ясно, что каждый закон представляет и определенное требование к нашему мышлению, по крайней мере, требование рассуждать в соответствии с этим законом. Законы противоречия и исключенного третьего часто трактовались в логике именно как некоторые требования. Можно сказать, что из закона исключенного третьего вытекает одно из условий 1 (и конечно, требование) определенности нашего мышления. Оно состоит в следующем: «На всякий правильно поставленный вопрос о наличии или отсутствии у предмета тех или иных свойств, о наличии или отсутствии той или иной ситуации в действительности, необходим, в конечном счете, положительный или отрицательный ответ, то есть принятие высказывания А или его отрицания (неверно, что А)».
Из закона противоречия вытекает, очевидно, принцип непротиворечия:
«Утверждая (принимая) некоторое утверждение А, не отвергай (не отрицай) того же самого (если, конечно, не хочешь говорить ложного)».
Это требование к человеку быть последовательным в своих рассуждениях. Нужно сказать, что требование непротиворечивости нашего знания является центральным в научном мышлении и обычно строго выполняется. При возникновении противоречия в том или ином процессе познания или в составе некоторого знания ученые всегда стремятся устранить его. Вместе с тем появление противоречий в процессе познания отнюдь не редкое явление. Почти в каждой более или менее сложной науке возникают так называемые парадоксы, антиномии - противоречия определенных видов. Не свободна от них даже такая точная наука как математика (см., например, парадоксы теории множеств) .
Возникновение противоречий обусловлено зачастую сложностью, многосторонностью предметов, процессов, событий, их связей и отношений в действительности. К противоречиям приводят, в частности, отмеченные выше «противоречия» в самих предметах, их способность проявлять себя противоположным образом в разных ситуациях и даже на-
1 Другим условием определенности мышления естественно считать также и принцип тождества.
личие в них в одно и то же время взаимоисключающих сторон, тенденций. Нельзя не сказать также и о нашем неумении различить в некоторых случаях качественно различные явления, характеристики объектов, учесть все обстоятельства того или иного явления и т. п.
Хороший пример того, как легко впасть в противоречие даже весьма умному человеку, показывает И. С. Тургенев в романе «Рудин». Герой романа Пегасов, как вы помните, будучи человеком оригинального склада ума и особого склада характера, возмущается, что люди претендуют на наличие у них каких-то убеждений, носятся с ними, уважения к ним требуют. К нему обращается Рудин:
Что же, по-вашему, убеждений не существует?
Нет и быть не может!
Это ваше убеждение? -Да!
Вот вам одно на первый случай!
Именно в силу того, что упомянутые нами законы логики в истории логики были истолкованы прежде всего как некоторые требования и в силу важности этих требований, появилась их характеристика как основных законов логики, мы назовем эти требования основными принципами логиче ски правильного мышления. К ним относятся: принцип исклю ченного третьего, принцип непротиворечия, принцип тож дества, как он изложен выше в соответствии с Аристотелем, и принцип достаточного основания.
Значение логической правильности мышления, подчеркнем еще раз, состоит в том, что она является необходимым условием гарантированного получения истинных результатов в решении задач, возникающих в процессе познания. Понятие логической правильности мышления является многосторонним, имеет много аспектов и они найдут отражение в данной книге. Сейчас же важно уяснить наиболее о б -щие черты правильного мышления. К их числу относят определенность мышления, последовательность и доказательность.
Требование определенности мышления включает в себя определенность значений, употребляемых в рассуждениях терминов и связанных с ними понятий, уяснение смысла тех или иных утверждений, точность выдвигаемых положе-
ний, точность формулировок в соответствии с принципом исключенного третьего.
Последовательность мышления означает, что, утверждая что-либо, человек не должен принимать одновременно нечто несовместимое с этими утверждениями, с другой стороны, он должен принимать следствия своих утверждений. Последовательность мышления проявляется также, как умение построить цепочку рассуждения, где каждое последующее звено зависит от предыдущего, то есть выделить его исходные пункты и следствия, вытекающие из них. Непоследовательность же мышления характеризуется нарушением этапности рассуждений, наличием прерывности и несвязуемости в этом процессе.
Доказательность как черта правильного мышления состоит в стремлении доказывать или хотя бы в какой-то мере обосновывать выдвигаемые утверждения, не принимать ничего на веру и в то же время не делать голословных утверждений. Для человека, следующего этому требованию логики, характерно если и не приводить все аргументы в пользу чего-либо, то хотя бы иметь их в виду.
Основоположником науки логики в западной традиции считается Аристо-
тель, который посвятил ей несколько своих работ: «Органон», «Первая ана-
литика» и др. С точки зрения сегодняшнего дня, Аристотель выступает со-
здателем лишь одного из направлений логики - силлогистики. Сам Ари-
стотель считал, что он создал общую теорию вывода одних суждений из
других. Однако сегодня силлогистика выглядит частным случаем такого
вывода. Простой категорический силлогизм, по Аристотелю, включает две
посылки, из которых делается заключение. Например:
Все насекомые - животные.
Все комары - насекомые.
Следовательно, все комары - животные.
Важное событие в истории логики произошло в 1854 г., когда англий-
ский математик Джордж Буль опубликовал работу, в которой он описывал
законы, управляющие мышлением. Согласно Булю, мысли являются утвер-
ждениями или пропозициями, которые могут сочетаться между собой оп-
ределенным образом для получения новых утверждений. Буль предложил
обозначать утверждения символами (например, буквами латинского алфа-
вита - р, q и т.д.). Высказывания могут соединяться между собой различ-
ными коннекторами. Буль рассмотрел несколько таких коннекторов: «и»,
«или», «не».
Каждое утверждение может быть истинным или ложным. Истинность
сложного высказывания, включающего в себя несколько простых, зависит
от истинности этих простых. Например, высказывание «Вильгельм Вундт
был основателем экспериментальной психологии и был негром» истинно
в том и только том случае, если истинны высказывания «Вильгельм Вундт
был основателем экспериментальной психологии» и «Вильгельм Вундт был
негром». Поскольку второе из этих высказываний ложно, то ложно и слож-
ное высказывание, связанное коннектором «и».
В дальнейшем американский философ, логик, математик и естествоиспы-
татель Чарльз Пирс предложил определять коннекторы при помощи так на-
зываемых таблиц истинности. Ниже в качестве примера приводится таблица
для коннектора «и», где 1 обозначает истинное значение, а 0 - ложное.
| ^-^ | 1 | 0 |
| 1 | 1 | 0 |
| 0 | 0 | 0 |
я не распространяется на силлогистику Ари-
стотеля - эти две системы описывают разные случаи умозаключений. Ари-
стотель создал логику отношений между классами объектов, Буль - логи-
ку отношений между высказываниями.
Попытку обобщить систему логики предпринял в конце XIX века не-
мецкий логик, математик и философ Готлоб Фреге. Для этого Фреге при-
менил подход Буля не к высказываниям (пропозициям), а к их элементам.
Пропозиции во всех известных языках строятся по одному принципу: они
включают предикат и аргумент. Предикаты могут быть одно-, двух- или
многоместными. Одноместный предикат относится к одному объекту, на-
зываемому аргументом. Двухместный предикат относится к двум аргумен-
Приложение. Логика
там и т.д. Например, «быть добрым» - одноместный предикат, он описы-
вает один объект: «Л’добрый». «Быть больше» -двухместный предикат (на-
пример, «А больше В»). «Находиться между» - трехместный (например,
Бологое находится между Петербургом и Москвой). Сами по себе преди-
каты еше не составляют суждения о мире; высказывания образуются лишь
при сочетании предиката с аргументом, который выступает при этом в ка-
честве переменной. При определенных значениях переменной (или пере-
менных в случае многоместного предиката) высказывание с данным пре-
дикатом становится истинным, при других- ложным. Например, выска-
зывание с предикатом «быть больше» истинно в случае «Останкинская
башня больше Эйфелевой». Высказывание же «Тула больше Санкт-Петер-
бурга» ложно. Для записи пропозиций в логике используется стандартная
форма, где после предиката в скобках указываются его аргументы. Напри-
мер, для приведенных выше высказываний стандартная форма записи бу-
дет следующей: «Быть больше» (Останкинская башня, Эйфелева башня);
«Быть больше» (Тула, Санкт-Петербург).
Бертран Рассел и Альфред Уайтхед в известном труде «Principia
Mathematica» на основе подхода Фреге осуществили попытку создания
формализованной и аксиоматизированной теории.
Логическое умозаключение выводится не из одной пропозиции, а из не-
скольких, связанных между собой. Причем вывод зависит не от самих про-
позиций, а от отношений между ними. Поэтому для правильного вывода
мы можем заменить любую пропозицию на символическое выражение, при
этом правильность вывода сохранится. Например, возьмем следующее
умозаключение: «Если в Сиднее жарко, то в Москве идет снег. В Сиднее
жарко. Следовательно, в Москве идет снег». Если мы обозначим высказы-
вание о том, что в Сиднее жарко в виде символа р, а высказывание о снеге
в Москве в виде q, то приведенное выше умозаключение можно предста-
вить в виде: Если р, то q. Имеет место р. Следовательно, q. Эта элементар-
ная форма умозаключения получила в логике название modusponens.
Для определения логики необходимо задать несколько вещей. Прежде
всего нужно определить, какие формулы являются допустимыми внутри дан-
ной логики. Для этого необходимо задать: во-первых, набор или алфавит,
символов; во-вторых, правила грамматики, позволяющие объединять сим-
волы в формулы. Логической системе необходимы также и правила вывода,
позволяющие получить новые высказывания из старых. Для того чтобы пра-
вила вывода работали, необходим и некоторый набор исходных аксиом.
Например, исчисление высказываний можно задать следующим способом:
не - отрицание
& - конъюнкция
или - дизъюнкция
-> - импликация (если р, то q)
() - скобки
р, q, r- пропозициональные переменные’
Грамматика
1. Любая переменная есть правильно построенная формула.
2. Если А - правильно построенная формула, то не-А тоже правильно
построенная формула.
3. Если А и В- правильно построенные формулы, то (А&В), (А или В)
и (А -» В) тоже правильно построенные формулы.
2. ((р->(9-»г)) -»((/>->?) -»(/>->/ )))
3. (не-не-р->р)
Правила вывода
1. Если Л-># и формула Л выводима, то и 5 тоже выводимо (modus
ponens).
2. Если имеется правильно построенная формула А, содержащая пере-
менную р, то вместо всех вхождений р в А может быть подставлена любая
формула В (правило подстановки).
Важное для учета психологической реальности логики замечание состо-
ит в том, что в принципе любую логику можно задать множеством спосо-
бов, различающихся набором аксиом и правил вывода.
Изменив исходный
набор аксиом, мы можем компенсировать это изменение за счет приме-
нения иных правил вывода. Эти логические системы будут обладать оди-
наковой мощью в отношении допустимого вывода.
Другой аспект логики заключается в том, что элементарным выражени-
ям приписываются значения истинности, подобно тому, как это делал
Буль. Через таблицы истинности могут быть определены логические опе-
рации. Аспект логики, связанный со значениями истинности ее выраже-
ний, носит название логической семантики.
Если в рамках логической системы может быть доказано любое истин-
ное суждение, то такая система называется полной. Многие системы, на-
пример описанное выше исчисление высказываний, обладают свойством
полноты. Однако попытки сведения математики к логике, т.е. представ-
ления математики в виде логической системы (например, создания фор-
мальной арифметики), обнаружили принципиальную неполноту. В этом
смысл знаменитой второй теоремы Геделя.
Кроме аксиоматического задания логики существует так называемый
натуральный вывод. На практике люди исключительно редко мыслят в со-
ответствии с аксиоматической логикой. Мы часто считаем примером стро-
гости мышления математику. Однако математика не только в ее школьном
виде, но даже и в наиболее высоких ее образцах (скажем, XVIII или XIX
века) не является аксиоматизированной наукой. Попытки аксиоматизации
потребовали уже в XX веке огромных усилий таких умов, как немецкий
математик Давид Гильберт. И сегодня в реальной практике доказательства
математики обращаются к интуиции.
Приложение. Логика
Вывод, который люди применяют и который на практике считают до-
казательным даже в математике, основан на применении схем, являю-
щихся семантически мотивированными аналогами правил вывода. Вот,
например, некоторые из схем вывода, применяемых в исчислении выс-
казываний.
ственный момент состоит в том, что, допуская различ-
ные кванторы и отношения элементов, мы можем получить совершенно
различные логики. Если мы включаем кванторы необходимости, возмож-
ности и т.д., то получаем так называемые модальные логики. Если вводим
квантор намерения, то получаются интенциональные логики. Например,
мы знаем, что Гамлет хотел убить человека, стоящего за шторой. Челове-
ком, стоящим за шторой, был Полоний. Однако из этого не следует, что
возможна подстановка (см. пункт 2 из правил вывода рассмотренного выше
исчисления высказываний). Гамлет не хотел убивать Полония. Гамлет счи-
тал, что за шторой скрывается король и хотел убить короля.
Классическая логика приложима к сфере постоянных, неизменных ис-
тин типа «Два плюс два равно четыре» или «Лебеди - это птицы». Однако
далеко не все истины остаются неизменными. Например, высказывание
«Институт психологии Российской Академии наук расположен по адресу
Москва, Ярославская улица, дом 13» истинно на момент написания этого
учебника. Однако оно не было истинным в начале 1970-х годов, а если Ин-
ститут поменяет адрес, оно может оказаться ложным и в будущим. Также
и высказывание «Не существует общепринятой психологической теории,
описывающей решение логических задач людьми», хотя и является спра-
ведливым в 2001 году, в один прекрасный день, будем надеяться, станет
ложным. Для описания такого рода истин может быть применен аппарат
логик, называемых временными.
Наконец, существует вариант так называемых немонотонных логик,
которые могут использоваться для описания ситуаций, где действуют пра-
вила с исключениями. Именно таких ситуаций подавляющее большинство
в нашей жизни. Например, скорее всего следует признать истинным суж-
дение «Женщины любят получать в подарок цветы». Однако возможно, что
где-нибудь в штате Алабама живет феминистка Мэри Смит, которая счи-
тает, что получать цветы от мужчины означает признавать неравенство по-
лов, и оскорбляется, когда Джон Купер пытается ей их подарить.
Немонотонная логика может быть задана в виде логики «по умолчанию».
В этом случае modus ponens (Если р, то q. Имеет место р. Следовательно,
q.) принимается за правильное умозаключение «по умолчанию», то есть в
том случае, если только q не относится заранее к множеству ложных вы-
сказываний. Тогда, например, из того суждения, что женщины любят цве-
ты и Маша Иванова- женщина, можно будет вывести, что Маше будет
приятно получить цветы, за исключением того случая, когда нам заранее
известно, что Маша цветов не любит. Такое рассуждение выглядит похо-
жим на то, как мы мыслим в реальной жизни.
Приведенное выше разделение наших рассуждений на несколько кате-
горий и соотнесение их с разными типами логик не является единственно
возможным. Однако важный для психологии вывод заключается в том, что
существует не одна, а множество логик, причем эти логики имеют различ-
ные сферы практического приложения.
Традиционная логика - это наука о законах выводного знания. Основоположником ее является величайший мыслитель древности Аристотель (384- 322 до н. э.), которого К. Маркс и Ф. Энгельс называли «исполином мысли» .
Разрабатывая основы науки логики, Аристотель опирался на работы многих предшественников. Известно, что отдельные проблемы логики (индукция, суждение, понятие, определение понятия, правила доказательства и др.) рассматривались в работах греческих мыслителей V и VI вв. до н. э. Уже имелось большое количество работ по философии (Гераклита, Демокрита, Платона и др.), по истории (Геродота, Фукидида, Ксенофонта и др.), по медицине и естествознанию. Все это давало богатейший материал для разработки основных начал науки о логическом мышлении.
Традиционная логика - это первая ступень логики выводного значения, как бы арифметика логики. Она изучает общечеловеческие формы мысли (суждения и понятия) и формы связи мыслей в рассуждении (умозаключении), зафиксированные в формально-логических законах (тождества, противоречия, исключенного третьего и достаточного основания), в которых отобразились объективно существующие общие законы, связи и отношения предметов и явлений материальной действительности. Логические формы и законы есть отражение объективного мира.
Изучение логической формы имеет поэтому важное научное значение. Как и всякая форма, логическая форма есть внутренняя организация содержания, в данном случае организация в сознании человека мыслительных образов предмета и явлений материального мира.
Логическое содержание- это, по выражению К. Маркса, «материальное, пересаженное в человеческую голову и преобразованное в ней» , является динамической, подвижной стороной мыслительного процесса; оно меняется, обогащаясь в процессе практического взаимоотношения человека с окружающей его средой.
Логическая форма, в которой протекает идеальная деятельность общественного субъекта,- это система устойчивых связей суждения, понятий и категорий в ходе мыслительного процесса, в которых, повторяем, также отобразилась объективная действительность со стороны существующих в ней наиболее общих связей и отношений.
Практика человека, «миллиарды раз повторяясь, закрепляется в сознании человека фигурами логики. Фигуры эти имеют прочность предрассудка, аксиоматический характер именно (и только) в силу этого миллиардного повторения» .
Являясь отображением объективного мира, где форма и содержание даны в единстве, логическая форма и логическое содержание также находятся в единстве: в познающем мышлении логическое содержание оформлено в суждениях, понятиях и категориях, а суждения, понятия и категории наполнены содержанием. Но находясь в неразрывном единстве с содержанием, логическая форма, отобразив устойчивые связи и отношения предметов объективного мира, вычленилась из содержания, приняла устойчивые «параметры» и получила относительную самостоятельность. Это выражается уже в том, что в одной и той же форме (например) в форме дедукции, когда мыслительный процесс развивается в направлении от знания общего к знанию частного и единичного) может воплощаться и организоваться в самое различное идеальное содержание (дедуктивно можно сочетать суждения о физических, химических, биологических, социальных и других явлениях и процессах). И во всех случаях, если посылки правильны и к ним безошибочно применены требования дедуктивного умозаключения, то и вывод из посылок будет правильным.
Относительная самостоятельность логической формы выражается также в том, что логическая форма носит принудительный характер, заставляя сделать необходимый вывод из принятых посылок.
Принудительный характер имеет любая логическая форма. Таким образом, все логические формы имеют относительную самостоятельность и принудительный характер.
Значение логики и заключается в том, что она учит, как правильно по форме (структуре) построить рассуждение, чтобы, при условии верного применения формально-логических законов, прийти к истинному выводу из истинных посылок, расширяющему наши знания. Соблюдение требований логики - непременное условие последовательного, непротиворечивого, обоснованного мышления. Неудивительно, что со словом «логика» люди испокон веков привыкли связывать знание важных свойств объективной действительности: отображение в мысли последовательности событий, обоснованности одних явлений другими, причинной связи, системности, порядка и т. п. А. Эйнштейн однажды хорошо выразил это, сказав, что наука «стремится систематизировать наши переживания и уложить их в логическую систему» .
Логическое - это в представлении людей - что-то упорядоченное, само себе не противоречащее, что существует и развивается обоснованно, последовательно и т. д., то, в чем можно быть уверенным, на что можно положиться.
Логика, когда она применяется правильно, приобретает, известный характер критерия познания. Так, нельзя практически проверить, как вселенная сжимается и расширяется, но логически это доказано. «И вообще, в истории науки существовало много истин, которые практически не проверены, но логически доказаны и именно благодаря этому мы считаем, что они проверены... Если бы люди для каждой истины искали практическую проверку, наука и научное творчество замедлили бы свое развитие» . Правда, критерий логики - это критерий второго порядка, ибо критерием первого порядка является практика. Но это нисколько не умаляет значения логики как критерия истины там, где проверка практикой невозможна, и там, где можно обойтись в том или ином конкретном случае без проверки практикой. Дело в том, что в законах и формах логики, как мы уже сказали, зафиксирована практика, миллиарды раз наблюдавшаяся человеком.
Изучение формы (структуры) мыслей и символическое обозначение компонентов формы, начатое еще Аристотелем в IV в. до н. э., продолженное затем Г.В. Лейбницем, Дж. Локком, Дж. Булем, П. С. Порецким, У. С. Джевонсом, Э. Шредером, Г. Фреге, Дж. Пеано, Б. Расселом, Д. Гильбертом, А. Тарским, Я. Лукасевичем, А. Н. Колмогоровым, А. И. Мальцевым, А. А. Марковым, А. Чёрчем, С. Клини и другими математиками и логиками, открыло перспективнейший современный путь исследования материальных объектов, когда, отвлекаясь от внутренней изменчивости этих объектов и их вещественного субстрата, содержание изучаемого явления выражают с помощью относительно жестких, фиксированных элементов его формы. Это дало возможность заменять вывод какого-либо содержательного предложения выводом формулы, его выражающей. Мышление стало исследоваться с помощью формализованных языков (логических исчислений), а формализованные языки послужили основой для разработки информационных языков, которыми пользуются в вычислительных машинах. Формальная логика, как это признают не только специалисты в области исследования логики, но и ученые других отраслей науки, дает средства, позволяющие так записывать алгоритмы решения логических задач и процедуры принятия решений, что их выполнение можно доверить автоматическим ЭВМ .
