История возникновения науки «Логика.
Логика как наука возникла в конце V – начале IV веков в Древней Греции (Афины) и много столетий считалась критерием образованности. Основателем логики считают древнегреческого философа Аристотеля. Предшественниками Аристотеля в развитии логической науки в Древней Греции были Парменид, Зенон Элейский, Сократ и Платон. Аристотель же впервые систематизировал доступные знания о логике, обосновал формы и правила логического мышления. В его трудах «Органон» («Орудия познания») были сформулированы основные законы мышления, такие как закон тождества, противоречия и исключенного третьего. Он также разработал теорию понятия и суждения, исследовал дедуктивное и силлогистическое умозаключения.
Выдееляют две основных причины возникновения логики как науки:
1) зарождение и первоначальное развитие философии и науки, прежде всего математики.
Этот процесс относится к VI в. до н. э. и получает наиболее полное развитие в Древней Греции. Рождаясь в борьбе с мифологией и религией, философия и наука основывались на теоретическом мышлении, предполагающем умозаключения и доказательства. Отсюда – необходимость исследования природы самого мышления как формы познания.
Логика возникла, прежде всего, как попытка выявить и объяснить те требования, которым должно удовлетворять рациональное научное мышление, чтобы его результаты соответствовали действительности.
2) развитие ораторского искусства, в том числе судебного, которое расцвело в условиях древнегреческой демократии. От логической доказательности речи обвиняемого или обвинителя часто зависело решение суда – особенно в сложных и запутанных правовых ситуациях. Неумение четко и ясно формулировать свои мысли, изобличать подвохи и «ловушки» своих оппонентов могло стоить оратору очень дорого. Этим пользовались так называемые софисты – платные учителя мудрости. Непросвещенной публике они могли «доказать», что белое – это черное, а черное – это белое, после чего за большие деньги обучали своему искусству всех желающих.
После Аристотеля в Древней Греции логика также разрабатывалась представителями школы стоиков. Большой вклад в развитие этой науки внесли оратор Цицерон и древнеримский теоретик ораторского искусства Квинтилиан.
В начале XIX века Г.В.Ф. Гегель указал на ее ограниченность и недостаточность с точки зрения отражения процесса движения мысли. Он отметил, что такая логика отражает не движение содержания мысли, а форму мыслительного процесса. Для компенсации этого недостатка Гегель создал новую диалектическую логику, а существовавшую до нее назвал формальной.
Предметом изучения диалектической логики служат законы развития человеческого мышления и основанные на них методологические принципы (объективность, всесторонность рассмотрения предмета, принцип историзма, раздвоение единого на противоположные стороны, восхождение от абстрактного к конкретному и др.).
Диалектическая логика - это один из способов познания диалектики реальности.
Формальная логика, использующая математические методы изучения реальности, в начале XX века получила название «логистика», означающее искусство вычисления. Теперь данный термин почти вышел из употребления, уступив место терминам «математическая логика» или «символическая логика».
Формальная логика изучает форму как нечто отдельное,обособленное от содержания.
Предметом изучения формальной логики служит форма мышления.
Формальная логика - это наука об общих структурах правильного мышления в его языковой форме, раскрывающая лежащие в его основе закономерности.
Логическими формами называются различные соединения мыслей, рассматриваемые как структурные образования мышления.
Логические формы состоят из мыслей, в том числе, например, из других логических форм и различных способов их связи, или так называемых связок. Три вида логических форм, таких как понятие, суждение, умозаключение, состоят из мыслей и средств их связи,связок.
Общая логика представляет собой учение о трех логических формах: понятии, суждении, умозаключении.
Логика (от древнегреч.) означает "понятие", "разум", "рассуждение". В современном языке это слово употребляется в следующих основных значениях.
Первое. Логикой называют закономерности в изменении и развитии вещей и явлений объективного мира. Это объективная логика.
Второе. Этим словом обозначают особые закономерности в связях и развитии мыслей. Они называются субъективной логикой.
Третье. Логикой называют науку о закономерностях в связях и развитии мыслей. Основы этой науки рассматриваются в данном учебнике.
Логика -- это наука о мышлении. Науками о мышлении являются также психология, физиология высшей нервной деятельности, теория познания и ряд других. Что же в мышлении составляет предмет изучения логики?
Прежде чем отвечать на этот вопрос, охарактеризуем особенности познания мира посредством абстрактного мышления.
Значение логики для юристов.
Специфика работы юриста заключается в постоянном применении особых логических приемов и методов: определений и классификаций, аргументаций и опровержений и др. Степень владения этими приемами, методами и иными логическими средствами -- показатель уровня логической культуры юриста.
Существует мнение, что умение логично рассуждать присуще людям от природы. Оно ошибочно.
Но если логическая культура не дается человеку от природы, то как же она формируется?
Логической культурой мышления овладевают в ходе общения, учебы в школе и вузе, в процессе чтения литературы. Встречаясь неоднократно с теми или иными способами рассуждения, мы постепенно их усваиваем и начинаем понимать, какие из них правильные, а какие -- нет. Логическая культура юриста повышается в процессе его профессиональной деятельности.
Указанный путь формирования логической культуры можно назвать стихийным. Он не является наилучшим, так как люди, не изучившие логику, как правило не владеют теми или иными логическими приемами, и, кроме того, у них разная логическая культура, что не способствует взаимопониманию.
Виды логики:
а) Формальная логика.
Это наука о формах мышления, о формально-логических законах и других связях и отношениях между мыслями по их логическим формам.
б) Математическая.
Или еще ей называют символической, в начале XX века она стала основой кибернетики.
в) Диалектическая.
Определить объем и содержание понятий
«логика»- общее, логика - наука о правилах мышления;
«Аристотель» - единичное, Аристотель - древнегреческий философ, живший в 348-322 гг. до н.э., автор «Органона»;
«наука» - общее, наука - теоретическое знание.
§ 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 Другим условием определенности мышления естественно считать также и принцип тождества.
личие в них в одно и то же время взаимоисключающих сторон, тенденций. Нельзя не сказать также и о нашем неумении различить в некоторых случаях качественно различные явления, характеристики объектов, учесть все обстоятельства того или иного явления и т. п.
Хороший пример того, как легко впасть в противоречие даже весьма умному человеку, показывает И. С. Тургенев в романе «Рудин». Герой романа Пегасов, как вы помните, будучи человеком оригинального склада ума и особого склада характера, возмущается, что люди претендуют на наличие у них каких-то убеждений, носятся с ними, уважения к ним требуют. К нему обращается Рудин:
Что же, по-вашему, убеждений не существует?
Нет и быть не может!
Это ваше убеждение? -Да!
Вот вам одно на первый случай!
Именно в силу того, что упомянутые нами законы логики в истории логики были истолкованы прежде всего как некоторые требования и в силу важности этих требований, появилась их характеристика как основных законов логики, мы назовем эти требования основными принципами логиче ски правильного мышления. К ним относятся: принцип исклю ченного третьего, принцип непротиворечия, принцип тож дества, как он изложен выше в соответствии с Аристотелем, и принцип достаточного основания.
Значение логической правильности мышления, подчеркнем еще раз, состоит в том, что она является необходимым условием гарантированного получения истинных результатов в решении задач, возникающих в процессе познания. Понятие логической правильности мышления является многосторонним, имеет много аспектов и они найдут отражение в данной книге. Сейчас же важно уяснить наиболее о б -щие черты правильного мышления. К их числу относят определенность мышления, последовательность и доказательность.
Требование определенности мышления включает в себя определенность значений, употребляемых в рассуждениях терминов и связанных с ними понятий, уяснение смысла тех или иных утверждений, точность выдвигаемых положе-
ний, точность формулировок в соответствии с принципом исключенного третьего.
Последовательность мышления означает, что, утверждая что-либо, человек не должен принимать одновременно нечто несовместимое с этими утверждениями, с другой стороны, он должен принимать следствия своих утверждений. Последовательность мышления проявляется также, как умение построить цепочку рассуждения, где каждое последующее звено зависит от предыдущего, то есть выделить его исходные пункты и следствия, вытекающие из них. Непоследовательность же мышления характеризуется нарушением этапности рассуждений, наличием прерывности и несвязуемости в этом процессе.
Доказательность как черта правильного мышления состоит в стремлении доказывать или хотя бы в какой-то мере обосновывать выдвигаемые утверждения, не принимать ничего на веру и в то же время не делать голословных утверждений. Для человека, следующего этому требованию логики, характерно если и не приводить все аргументы в пользу чего-либо, то хотя бы иметь их в виду.
Мы рассуждаем каждый день. Наши знания о мире рождаются в процессе рассуждений. Да и вся наша жизнь - следствие тех решений, которые мы принимаем в результате рассуждений. Важность рассуждений верна на всех уровнях человеческой деятельности: начиная от того, как ученые строят сложнейшие научные теории или экономисты оценивают выгоду и риски потенциальных инвестиций - и заканчивая расследованием, с кем по ночам переписывается ваша бывшая девушка. Но что значит «рассуждать правильно»? Для ответа на этот вопрос существует специальная наука - логика.
Логика: бытовое и точное значение
Значение термина «логика» слишком размылось в повседневной речевой практике, а ведь на деле логика - одна из старейших наук. Долгое время она воспринималась как инструмент для правильного научного познания. Корпус посвященных логике работ Аристотеля - создателя первой логической теории - называли термином «органон» («инструмент» на древнегреческом).
В основном логику изучают на математических и философских факультетах, а также на факультетах, где занимаются компьютерными науками и всем, что связано с созданием искусственного интеллекта (здесь ее изучают наиболее фундаментально).
Но не обязательно быть математическим гением, чтобы заниматься логикой. Она берет свое начало в философии и до сих пор остается одной из самых активно развивающихся именно философских наук - несмотря на то, что на определенном этапе своей долгой истории обогатилась значительным числом математических методов.
Так что логика - одна из важнейших гуманитарных дисциплин, которая входит в образовательные стандарты и по многим другим специальностям в высших учебных заведениях: юриспруденция, психология, политология, журналистика, социология, история, лингвистика и т. д.
Чем занимается логика как наука
Логика изучает, какие рассуждения правильные, а какие нет. Кроме того, в ней вырабатываются критерии правильного рассуждения, то есть она может рассказать как надо рассуждать. Почти все используемые нами рассуждения уже давно классифицированы и изучены профессиональными логиками. Известны границы применимости многих методов, изучена степень правдоподобности различных видов рассуждений. Все это систематизировано, но большинство людей абсолютно не владеет этими знаниями.
Как логика смотрит на обобщения
Вы возвращаетесь вечером домой, по дороге вспоминаете, что у вас закончилось молоко и идете в ближайший супермаркет. Перед вами - большой холодильник, все полки которого заставлены бутылками с молоком. Вы подходите к полкам и начинаете выбирать.
Допустим, что там две такие полки и на них выставлено в общей сложности сорок бутылок. Обычно мы ищем максимально свежее молоко, то есть такое, у которого дата производства максимально приближена к дню покупки.
Если сегодня 20-е число, а вы достаете одну бутылку и видите, что оно было произведено 18-го, то достаете другую бутылку - и опять 18-е. «Наверное, на второй полке может быть посвежее», - и вы берете бутылку со второй полки - 17-е число, еще одну - 17-е, еще - 18-е. Потом вы протягиваете руку вглубь полки и достаете еще одну бутылку, и она тоже произведена 18-го числа. После этого вы, скорее всего, сделаете вывод, что молоко, которое произвели 18-го числа - это самое свежее молоко из представленных и пойдете на кассу с ним.
Этот пример иллюстрирует применение не самого достоверного рассуждения: так называемой неполной индукции . Ваш вывод о том, что молоко, произведенное 18-го числа - самое свежее из представленных, носит лишь вероятностный характер, поскольку вы не перебрали все бутылки, а осуществили вывод, основываясь только на некоторой минимальной выборке, которую посчитали достаточной, после чего совершили так называемое индуктивное обобщение. И даже если вы оказались правы, и там действительно не было более свежего молока, это неважно. Само рассуждение, сам способ, при помощи которого вы пришли к такому заключению, считается логикой ненадежным.
Это весело и забавно, когда речь идет о выборе молока в магазине, но так ли это весело и забавно, когда люди, используя похожие рассуждения, анализируют результаты каких-нибудь экономических реформ и на этом основании планируют новые или выявляют общественное мнение по какому-то важному вопросу?
Каждый раз, когда по телевизору или в интернете вы натыкаетесь на результаты очередного социологического опроса, скажем, с выводом «россияне считают, что США представляют для них угрозу», - вы имеете дело с результатом такой же индукции, которая основана точно не на мнении всех россиян, и, более того, не на мнении большинства россиян. В подобных исследованиях количество участников вообще не играет почти никакой роли. Эти рассуждения основаны на характере той выборки людей, которые проходят данный опрос; в качестве основания принимается их возраст, пол, род деятельности, сексуальная ориентация и всё, что угодно. Само число участников зачастую в сотни тысяч раз меньше, чем реальное число россиян. Чтобы в этом убедиться, достаточно открыть любой отчет по статистике.
А теперь вы можете сравнить степень правдоподобности такого метода рассуждений и того, как полученные таким способом результаты влияют на общественное мнение, циркулируя в топах информационных агентств, новостных лент и т. п. Именно поэтому логику и стоит изучать.
Главные правила логики
Самое главное - осознать, что существует два основных вида рассуждений: одни из них - самые надежные, а другие - не очень. Первые называют дедуктивными рассуждениями, вторые - правдоподобными. Как ни парадоксально, обычные люди почему-то больше предпочитают использовать правдоподобные, а не дедуктивные рассуждения.
Есть ряд дедуктивных рассуждений, которые просто необходимо усвоить.
1. Условно-категорические умозаключения
Modus ponens. Такое рассуждение имеет следующую структуру:
«если А , то B »;
«А » значит «B ».
Логиков интересует именно сама структура этих рассуждений, в реальности же они не всегда предстают перед нами именно в таком обличии и могут принимать разные языковые и риторические формы. На человеческом языке оно может выглядеть так:
«если сборная России выиграет у Испании, то я сделаю татуировку»;
«сборная России выиграла у Испании» - значит «я сделаю татуировку».
Modus tollens. Это рассуждение выглядит так:
«если А , то B »;
«не-B » значит «не-А ».
Опять переведем:
«если сборная России выиграет у Испании, то я сделаю татуировку»,
«я не сделал татуировку» - значит «сборная России не выиграла у Испании».
Оно может выглядеть и немного по-другому: «если А , то B » - значит «если не-B , то не-А ». В таком виде его называют «контрапозицией».
Вот для примера на недавнем Международном экономическом форуме в Санкт-Петербурге во время панельной дискуссии Алексей Кудрин использовал упомянутый modus tollens для демонстрации того, что антироссийские санкции - один из существенных факторов, влияющих на темп экономического роста российской экономики, притом что правительство ставит достаточно амбициозные задачи по его увеличению. Кудрин замечает: «Сейчас после последней волны санкций их влияние увеличилось примерно до 0,5 % ВВП. Здесь мы тоже должны видеть, что наши задачи и планы уменьшаются вот такими внешнеполитическими рисками». В рамках этой реплики можно реконструировать пресловутую «контрапозицию», благодаря которой Кудрин пришел к такому мнению: если экономические санкции применяются в отношении к России, то рост ее экономики снижается; следовательно, если экономическая политика направлена на увеличение экономического роста, то экономические санкции не должны применяться в отношении к России. И правильно сделал!
Очень часто многие из нас ошибаются и используют следующие неправильные условно-категорические рассуждения:
«если А, то B»; «B», следовательно, «А». И «если А, то B»; «не-А», следовательно, «не-B».
В качестве примера можно привести ошибочное рассуждение Алексея Венедиктова во время выпуска его программы «Особое мнение», в рамках которого он дискутировал с Ксенией Собчак. В этом фрагменте Собчак рассказывает о том, какие реформы судебной власти она будет проводить в случае своей победы на президентских выборах. В ответ на это Венедиктов утверждает, что после этого выступления электорат в лице «судей и членов их семей» не проголосует за Собчак.
Рассуждение Венедиктова можно реконструировать в следующем виде: «если Ксения Собчак выступает с привлекательными для избирателей предложениями, то эти избиратели проголосуют за Собчак»; «Собчак выступает не с привлекательными для избирателей предложениями», следовательно, «эти избиратели за нее не проголосуют».
На первый взгляд может показаться, что это рассуждение не противоречит никакой логике, однако это не так.
Дело в том, что дедуктивные рассуждения имеют существенную характеристику, которая и делает их очень надежными: в них из истинных посылок с необходимостью следует истинное заключение. Другими словами, для правильного дедуктивного рассуждения не существует такой ситуации, при которой его посылки окажутся истинными , а заключение - ложным . Для того типа рассуждения, которое в данном случае использует Венедиктов, такая ситуация с истинными посылками и ложным заключением существует.
Чтобы в этом удостовериться, нам нужно привести контрпример. Например, вот две посылки: «если сборная России выиграет у Хорватии , то я сделаю татуировку », «сборная России не выиграла у Хорватии » - из этих двух посылок совершенно не следует, что «я не сделал татуировку », поскольку я мог сделать эту татуировку совершенно по другим причинам: из гордости за ногу Акинфеева, из сожаления за его правую руку, которая чуть было не отбила один из одиннадцатиметровых ударов и т. п. Действительно, обе посылки являются истинными высказываниями, однако заключение в таком случае оказывается ложным.
У многих могут возникнуть сомнения, выдержат ли подобную проверку на вшивость уже упомянутые правильные типы рассуждений: modus ponens и modus tollens. Что ж, попробуйте подобрать к ним контрпримеры (в логике есть более точные и удобные методы для проверки правильности рассуждений, но, к сожалению, их невозможно рассмотреть в рамках этой статьи).
2. Сведение к абсурду и рассуждение «от противного»
В логике существуют и другие способы рассуждений: это так называемые непрямые умозаключения. Среди них есть две классные техники, они называются «сведение к абсурду» и «доказательство от противного» (они фактически представляют собой одно и то же).
Сведение к абсурду. Мы хотим опровергнуть некоторое утверждение «А». Вооружившись техникой «сведения к абсурду», мы должны предположить, что утверждение «А» является истинным - и затем стараться использовать какие-то рассуждения, чтобы продемонстрировать, что это предположение приводит к противоречию. Если нам удается прийти к противоречию, значит, наше исходное предположение было неверным. Таким образом, мы опровергаем утверждение «А».
Доказательство «от противного». Оно строится немного иначе: первоначальной целью является не опровергнуть «А», а обосновать «А». Для достижения этой цели сначала предполагается, что «А» является ложным, а дальше всё то же самое: выводится противоречие, которое позволяет обосновать неправильность исходного предположения.
Люди частенько используют эти две техники рассуждения. Рассмотрим например метод «от противного».
Будем считать, что вы допрашиваете подозреваемого в убийстве человека. Преступление было совершено при помощи пистолета, который был найден в квартире у подозреваемого.
Последний, естественно, отрицает свою причастность и понятия не имеет, кто на самом деле был убийцей. Кроме того, он утверждает, что весь тот злополучный день он провел дома. С целью усилить свою аргументацию в пользу вины подозреваемого, вы предполагаете , что пистолет действительно не его. Из этого допущения можно заключить, что пистолет ему подкинули. Но в таком случае подозреваемый должен быть знаком с убийцей или отсутствовать дома в какой-то момент времени в день убийства. Обе эти альтернативы противоречат показаниям подозреваемого, значит, ваше допущение о том, что пистолет ему не принадлежит, неверное. Следовательно, пистолет все-таки принадлежит подозреваемому.
Как изучить логику
К сожалению, число хороших учебников по логике, которые нацелены на широкую аудиторию и написаны простым для всех языком, очень мало. Зачастую этот «простой для всех язык» сразу сказывается на качестве теоретической составляющей.
Учебники либо доступные и некачественные - либо очень специализированные, но качественные. В такой ситуации лучше сделать выбор в пользу вторых, потому что главное - это качество образования:
- Бочаров В.А., Маркин В.И. Введение в логику. М., 2011.
- Бочаров В.А., Маркин В.И. Основы логики. М., 2008.
- Войшвилло Е.К. Понятие как форма мышления. М., 1989.
Что касается интернет-ресурсов, то здесь тоже надо быть избирательными, однако есть и очень ценные экспонаты. Серия видеороликов, созданных силами БФУ им. И. Канта совместно со специалистами из других российских научных и учебных центров:
- Серия бесед двух профессоров логики - Д. В. Зайцева (МГУ) и И. Б. Микиртумова (СПбГУ).
- Серия бесед двух специалистов по теории аргументации - Д. В. Зайцева (МГУ) и Д. В. Хизанишвили (БФУ).
В открытом доступе лежат полноформатные видеозаписи курса лекций по дедуктивной логике, который периодически читается на философском факультете МГУ. Там есть специальная практика под названием «межфакультетский курс»: преподаватели на разных факультетах предлагают свои учебные курсы, на которые в соответствии со своим выбором записываются студенты с других факультетов. Это очень интересная практика, которая стимулирует появление учебных курсов на доступном для студентов разных направленностей языке.
Кроме того, существуют различные открытые научно-популярные мероприятия, например ежегодный Фестиваль науки , который проходит в том числе и на философском факультете МГУ, где логическая проблематика всегда представлена. Приходите, интересуйтесь и спрашивайте.
Логика научит вас точнее выражать свои мысли, и это в целом скажется на вашем стиле общения с людьми и умении разбираться в людях.
Когда вы начнете требовать от людей такой же точности, то обнаружите, что далеко не все способны общаться подобным образом. Но если вы увидите человека, который может грамотно излагать свои мысли и вести корректную полемику, то это многое скажет вам об уровне его логической культуры - да и вообще о личности в целом.
Логика - многообразное понятие, плотно вошедшее в нашу жизнь и культуру речи. В этой статье мы с вами рассмотрим с научной точки зрения, что такое логика. Определение, виды, законы логики и историческая справка нам в этом помогут.
Общая характеристика
Итак, что такое логика? Определение логики очень многогранно. В переводе с греческого она означает «мысль», «разум», «слово» и «закономерность». В современной интерпретации данное понятие используется в трех случаях:
- Обозначение взаимосвязей и закономерностей, объединяющих поступки людей или события в объективном мире. В этом смысле часто используют такие понятия, как «логическая цепочка», «логика фактов», «логика вещей» и так далее.
- Обозначение строгой последовательности и закономерности процесса мышления. В таком случае употребляются выражения типа: «логика рассуждения», «логика мышления», «логика речи» и так далее.
- Обозначение особой науки, изучающей логические формы и операции, а также связанные с ними законы мышления.
Задачи логики
Как можно заметить, в каждой конкретной ситуации может быть как минимум один из нескольких ответов на вопрос: «Что такое логика?» Определение задач логики менее объемно. Главная задача - прийти к выводу на основе предпосылок и получить знание о предмете рассуждения, чтобы глубже проникнуться его соотношениями с другими аспектами рассматриваемого явления. В любой науке одним из главных инструментов является логика. Она не только является важным подразделом философии, но и затрагивает некоторые математические учения. "Алгебра логики" - определение, известное в математических кругах. Иногда его путают с которая является основой информатики, но это не совсем верно.
Неформальная логика
Главным образом логику классифицируют на:
- Неформальную.
- Формальную.
- Символическую.
- Диалектическую.
Неформальная логика - это исследование аргументации в первоначальном языке. Данный термин наиболее распространен в англоязычной литературе. Таким образом, главная задача неформальной логики - изучение логических ошибок в речи. Вывод, который сделан на естественном языке, может обладать чисто формальным содержанием, в случае если можно проиллюстрировать, что он является не иначе как частным применением универсального правила.
Формальная и символическая логика
Анализ вывода, раскрывающий то самое формальное содержание, и называется формальной логикой. Что же касается символической логики, то она исследует символические абстракции, фиксирующие формальный состав логического вывода.
Диалектическая логика
Диалектической логикой называют науку о мышлении, дающую знание об образе рассуждения, который расширяет возможности формального вывода. В этом случае понятие логики может быть использовано как в собственном логическом смысле, так и в виде некой метафоры.
Диалектическое рассуждение частично опирается на формальные законы логики. Вместе с тем, анализируя динамику перехода понятий в их противоположность, оно допускает совпадение противоположностей, а значит, ориентируется на диалектические законы.
Объект логики
Определение логики как науки подразумевает, что ее объектом является человеческое является сложным, многосторонним процессом, предполагающим обобщенное отражение человеком вещей и отношений окружающего мира. Данный процесс изучается разными науками: философией, психологией, генетикой, языкознанием, и кибернетикой. Философия рассматривает происхождение и суть мышления, а также его отождествление с материальным миром и познанием. Психология контролирует условия нормальной работы мышления и его развития, а также влияния на него окружающей среды. Генетика стремится к изучению механизма наследования способностей к размышлению. Языкознание ищет связи между мышлением речью. Ну а кибернетики пытаются построить технические модели человеческого мозга и мышления. Сама же логика смотрит на процесс мышления с точки зрения структуры мыслей, а также верности или неверности рассуждений, отвлекаясь при этом от содержания и развития мыслей.
Предмет логики
Предметом данной области знаний является логическая форма, связанные с ней операции и законы мышления. Лучше всего рассматривать предмет изучения логики, через процесс познания окружающего мира человеком. Познанием называют процесс, во время которого индивид получает знания о мире. Есть два способа получения знаний:
- Чувственное познание. Осуществляется с помощью органов чувств или приборов.
- Рациональное познание. Осуществляется с помощью абстрактного мышления.
Познания основывается на теории отражения. Согласно этой теории, суждения, вещи и явления объективного мира могут воздействовать на органы чувств человека и активизировать работу системы передачи информации в мозг, а также активизировать сам мозг, в результате чего в мышлении человека создаются образ этих самых вещей и явлений.
Чувственное познание
Чувственными образом называют знание о внешних свойствах тех или иных вещей и явлений. Чувственное познание может протекать в трех формах:
- Ощущение . Отражает отдельные свойства предмета.
- Восприятие . Отражает предмет в целом, представляет собой его целостный образ.
- Представление . Это образ предмета, сохранившийся в памяти.
На стадии чувственного познания, человеку не всегда доступна сущность вещей и процессов, их внутренние свойства. Маленький принц из одноименного рассказа Экзюпери говорил: «Самого главного глазами не увидишь». Разум или абстрактное мышление приходят на помощь органам чувств в таких случаях.
Рациональное познание
Абстрактное мышление отражает действительность с точки зрения основных свойств и отношений. Познание мира через абстрактное мышление происходит опосредовано, а не явно. Оно не предполагает обращение к наблюдениям и практике, а строится на основе более глубоких рассуждений о свойствах и взаимоотношениях предметов и явлений. К примеру, по следам преступника можно воссоздать картину происшествия, по термометру можно узнать, какая погода на улице, и так далее.
Важной особенностью абстрактного мышления является его тесная связь с языком. Каждая мысль оформляется с помощью слов и словосочетаний, проговариваясь посредством внутренней или внешней речи. Мышление не только помогает человеку описать окружающий мир, но и позволяет сформулировать новые идеи, абстракции, прогнозы и предвидения, то есть решает многочисленные логические задачи. Определения «логика» и «мышление» в этой связи тесно связаны друг с другом. Мышление, независимости от того, абстрактное оно или рациональное, может протекать в трех главных формах: понятие, суждение и умозаключение. Рассмотрим их отдельно.
Понятие
Представляет собой форму мышления, с помощью которой человек создает мысленные образы о предметах, их характеристиках и взаимоотношениях. Понятие невозможно без определения. Но правила определений в логике мы рассмотрим немного ниже. В процессе формирования понятий индивид занимается анализом интересующего его предмета, сравнением его с другими предметами, выделением его основных отличительных черт, абстрагированием от несущественных черт и обобщением разных предметов на основе этих признаков. В результате создаются мысленные образы предметов, их свойств и отношений.
Понятия играют важную роль в познавательной деятельности человека. Благодаря им можно обобщать то, что в реальности существует по отдельности. В объективном мире нет таких понятий, как студент, ученик, клерк, спортсмен и т. д., все они представляют собой обобщенные образы, которые могут существовать только в идеальном мире, то есть в голове человека.
Открывает возможность получения знаний о предметах и явлениях на основе основных свойств класса подобных предметов или явлений. О том, каким был бы мир, если люди не оперировали понятиями в общении друг с другом, повествует Джонатан Свифт в своем рассказе о путешествиях Гулливера. Согласно рассказу, однажды мудрец посоветовал людям в разговоре использовать не понятия о предметах, а непосредственно предметы. Многие последовали его рекомендации, но для того чтобы нормально поговорить с собеседником, им приходилось носить на плечах мешки с разными вещами. Разумеется, такая беседа с демонстрацией предметов даже у владельцев самых больших мешков была очень скудна.
Понятие не может существовать без определения. В разных науках определение может трактоваться с некоторыми отличиями. Определение понятий в логике - это процесс закрепления конкретного смысла за неким языковым термином. По своей сути понятие бесконечно, так как оно вырабатывается универсальным разумом. Определение конечно, так как оно представляет собой итог рассудочной (логической) деятельности. Согласно Гегелю, определение не соответствует Абсолюту и соотносится с представлением. состоит в том, чтобы перевести понятия в представления, избавившись от конечных определений.
В понятии заключается смысл. А определение понятий в логике представляет собой действие, нацеленное на выявление этого смысла. Таким образом, понятием можно назвать слово, которое через логические умозаключения получило определение. Следовательно, без определения слово не является понятием, даже если оно имеет распространение. Дать определение понятию - значит описать его значение, уточнив все основные нюансы. Причем если сделать это за пределами рамок определенной системы знаний, то могут возникнуть ошибки в определениях. Логика у каждого своя, ровно как и понимание того или иного слова. Поэтому, говоря на философские темы, важно определять понятия.
Виды определений в логике представлены весьма широко. Определение бывает: интенсиональным, реальным, аксиоматическим, номинальным, явным, неявным, генетическим, контекстуальным, индуктивным и остенсивным.
Суждение
На основе понятий о предметах человек может высказывать относительно них суждения и делать умозаключения. Суждением называют форму мышления, в рамках которой в адрес предмета мысли что-то утверждается или отрицается. Из одного суждения можно получать другое. К примеру, на основе факта, что все люди смертны, можно сделать вывод, что тот, кто умер - человек. Во время построения понятий, суждений и умозаключений каждый может допустить ошибки как сознательные, так и бессознательные. Чтобы их избежать, нужно знать основы правильного мышления.
Правильным называют мышление, в рамках которого из истинных знаний получаются новые истинные знания. Результатом неправильного мышления могут стать также ложные знания. К примеру, есть два суждения: «Если Иван совершил грабеж - он преступник» и «Иван не совершал грабеж». Суждение «Иван не преступник», полученное на основе этой информации, может быть ложным, так как факт того, что он не совершал грабеж, не свидетельствует о том, что он не совершал других преступлений.
Умозаключения
Говоря о правильности умозаключений, ученые подразумевают соблюдение правил их построения и взаимосвязи. Именно на этом базируется определение законов логики как науки о мышлении. Формальная логика абстрагируется от конкретного содержания и развития мыслей. Вместе с тем она делает акцент на истинности и ложности этих мыслей. Часто называют логичным, делая акцент на названии науки, изучающей определенную сторону мышления.
Вопрос истинности или ложности суждений и умозаключений - это вопрос о соответствии или несоответствии того что в них говорится, объективному миру. В истинном суждении объективно отражается положение вещей в объективной реальности. Ложное суждение, наоборот, не соответствует действительности. Вопросом о том, что такое истина и как чувственное познание соотносится с абстрактным мышлением, занимается уже не логика, а философия.
Заключение
Сегодня мы с вами узнали, что такое логика. Определение этого понятия весьма емкое и многогранное, оно затрагивают широкую область знаний. Такое многообразие проявлений логики иллюстрирует ее взаимосвязь с другими науками, некоторые из которых вполне материалистичны. Также в статье были рассмотрены основные аспекты человеческого мышления: умозаключения, суждения, понятия и определения (в логике). Примеры из жизни помогли нам легче усвоить этот материал.
