Логика (от греч. логос, означающего слово и смысл) – наука о законах, формах и операциях правильного мышления

Введение. Логика – это наука о формах и законах правильного мышления

Логика – это наука о формах и законах правильного мышления. Она появилась приблизительно в IV веке до н. э. в Древней Греции. Ее создателем считается знаменитый древнегреческий философ и ученый Аристотель. Как видим, логике примерно 2,5 тысячи лет. Однако она до сих пор сохраняет свое практическое значение. Многие науки и искусства Древнего мира навсегда ушли в прошлое и представляют для нас только «музейное» значение, интересны исключительно как памятники старины, но некоторые из них пережили века, и в настоящее время мы продолжаем ими пользоваться. К их числу относятся геометрия Евклида (в школе мы изучаем именно ее) и логика Аристотеля, которая также называется традиционной логикой . В XIX веке появилась и стала быстро развиваться символическая (или математическая) логика. В традиционной логике для исследования правильного мышления используется естественный язык (тот, на котором мы говорим, пишем, читаем), а в символической логике – искусственный язык, или язык символов, подобный языку математики. Символическая логика – достаточно специфическая и непростая наука, ее можно рассматривать как раздел математики и информатики. Аристотелевская логика, напротив, будучи более широкой, представляет собой своего рода универсальную науку: ее освоение одинаково полезно и даже необходимо каждому человеку, независимо от того, какие области знания и предметы являются для него более близкими – социально-гуманитарные, естественно-математические или технические. Поэтому наша книга посвящена аристотелевской, или традиционной, логике.

Так зачем нам нужна логика, какую роль она играет в нашей жизни? Логика помогает нам правильно строить свои мысли и верно их выражать, убеждать других людей и лучше понимать собеседника, объяснять и отстаивать свою точку зрения, избегать ошибок в рассуждениях.

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

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

Приведем простой пример. Рассмотрим три высказывания: Все караси – это рыбы; Все треугольники – это геометрические фигуры; Все стулья – это предметы мебели. Несмотря на различное содержание, у этих высказываний есть нечто общее, что-то их объединяющее. Что же это? Их объединяет форма. Отличаясь по содержанию, они сходны по форме, ведь каждое из трех высказываний строится по форме Все А – это В, где А и В – какие-либо объекты. Понятно, что само высказывание Все А – это В лишено всякого содержания. Это высказывание представляет собой чистую форму, которую можно наполнить любым содержанием, например: Все сосны – это деревья; Все города – это населенные пункты; Все школы – это учебные заведения; Все тигры – это хищники и т. п.

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

Логика не интересуется содержанием мышления (им занимаются другие науки), она изучает только формы мышления; ее интересует не то, что мы мыслим, а то, как мы мыслим, поэтому она часто называется формальной логикой . Например, если по содержанию высказывание Все комары – это насекомые является нормальным, а высказывание Все Чебурашки – это инопланетяне – абсурдным, то для логики эти два высказывания равноценны, так как она занимается формами мышления, а форма у этих высказываний одна и та же: Все А – это В.

Как видим, форма мышления – это способ выражения мыслей, или схема их построения. Существует три формы мышления: понятие, суждение и умозаключение.

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

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

Умозаключение – это форма мышления, в которой из двух или нескольких исходных суждений (посылок) вытекает новое суждение (вывод).

В логике принято располагать посылки и вывод друг под другом и отделять вывод от посылок (в книге это сделано с помощью знака =>).

Примеры умозаключений:

Все планеты движутся.

Юпитер – это планета.

=> Юпитер движется.

Железо электропроводно.

Медь электропроводна.

Ртуть электропроводна.

Железо, медь, ртуть – металлы.

=> Все металлы электропроводны.

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

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

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

Движение вечно.

Хождение в школу – это движение.

=> Хождение в школу вечно.

Ложный вывод получается из-за употребления слова движение в разных значениях: в первом суждении оно употребляется в широком, философском смысле, а во втором – в узком, механическом. Однако найти ошибку в рассуждении не всегда просто. Рассмотрим такой пример:

Все мои друзья знают английский язык.

Нынешний президент Америки знает английский язык.

=> Нынешний президент Америки – мой друг.

Понятно, что в этом рассуждении что-то не так. Но что именно? Тот, кто знаком с логикой, скажет, что в данном случае допущена ошибка, которая называется «нераспределенность среднего термина в простом силлогизме». Пусть вас не пугает это незнакомое и на первый взгляд, сложное выражение: в процессе дальнейшего чтения книги вы убедитесь, что ничего сложного, а тем более непонятного здесь нет.

Или такой пример:

Во всех городах за Полярным кругом бывают белые ночи.

Санкт-Петербург не лежит за Полярным кругом.

=> В Санкт-Петербурге не бывает белых ночей.

Как видим, из двух истинных суждений вытекает ложный вывод. В этом рассуждении тоже есть ошибка. Вряд ли не знакомый с логикой человек сможет сразу же ее найти. А тот, кто владеет логической культурой, немедленно установит причину: «расширение большего термина в простом силлогизме». Не пугайтесь: в скором времени мы узнаем, что это такое.

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

МЕТОДИЧЕСКОЕ ПОСОБИЕ ПО ПРЕДМЕТУ

«ЛОГИКА»

Для студентов очной формы обучения


СОСТАВИТЕЛИ:

© КАЗАРОВА Д.С., КАНДИДАТ ПСИХОЛОГИЧЕСКИХ НАУК, ДОЦЕНТ

ОБЩЕЮРИДИЧЕСКОГО ФАКУЛЬТЕТА

© ПОПОВ С.Е. КАНДИТАТ ЮРИДИЧЕСКИХ НАУК, НАЧАЛЬНИК

ЛИПЕЦКОГО ФИЛИАЛА ВОРОНЕЖСКОГО ИНСТИТУТА МВД РФ

РЕЦЕНЗЕНТЫ:

ПОЛЯКОВА И.П., КАНДИДАТ ФИЛОСОВСКИХ НАУК, ДОЦЕНТ

КАФЕДРЫ ФИЛОСОФИИ ЛГТУ

ТАТАРКИНА Н.И., КАНДИДАТ ПЕДАГОГИЧЕСКИХ НАУК, ДОЦЕНТ

КАФЕДРЫ ЭКОНОМИЧЕСКИХ И СОЦИАЛЬНО-ГУМАНИТАРНЫХ

ДИСЦИПЛИН ЛФ ВИ МВД РОССИИ

КЛИМОВА И.В.,. КАНДИДАТ ПСИХОЛОГИЧЕСКИХ НАУК,

ДОЦЕНТ КАФЕДРЫ ПСИХОЛОГИИ, ЛГТУ

РЕДАКТОР

КОРОТАЕВА А.Ш., МЕТОДИСТ УМЦ

Теоретический курс и задания к семинарским и практическим занятиям по курсу ЛОГИКА. – Липецк: Липецкий филиал ВИ МВД РФ, 2005 - стр. 72.

Логика содействует формированию связной и ясной речи, что необходимо юристу.

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

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

ИТС УМЦ, 2005

ТЕМАТИЧЕСКИЙ ПЛАН И РАСПРЕДЕЛЕНИЕ ВРЕМЕНИ

ПО ДИСЦИПЛИНЕ «ЛОГИКА»

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

Тема 1. Введение, предмет и значение логики.

Основные этапы развития логики. Логика и язык

Логика интуитивна и общеизвестна, поскольку законы логики лежат в основе нашего мышления. Всякое движение мысли опирается на эти законы, и без них невозможно

Что же такое «логика »?

Логикой называют науку о законах правильного мышления.

Логика – наука о правильных формах мышления.

Логика – наука о законах и операциях правильного мышления.

Логика – наука, исследующая структуру мышления, раскрывает лежащие в его основе закономерности движения к истине.

Кстати: слово «логика» многозначно. Нередко говорят о логике событий, логике характера и т.п. Здесь имеется в виду определенная последовательность и взаимозависимость событий и поступков. Слово «логика» употребляется и в связи с процессами мышления (отнюдь не подразумевая их научность), например: “Логично?”

Определение должно быть четким, полным и ясным.

Логика - наука о формах мышления, законах и правилах рассуждения

Что понимается под мышлением?

Прежде всего – правильное мышление, которое соответствует требованиям:

а) определенности

б) последовательности

в) доказательности

Определенное – мышление точное, свободное от всякой сбивчивости.

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

Доказательное – мышление, не просто формулирующее истину, но вместе с тем и указывающее основания, по которым она необ­ходимо должна быть признана истиной.

Мышление всегда осуществляется по определенным формам.

Например : “День был дождливый”, “Совершение преступления считается уголовно наказуемым деянием”, и т.д.

Форма – это способ связи составных частей мыслимого содержания

Без изучения и исследования форм, мышление станет безотчетным, потеряет точность, последовательность и доказательность.

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

Каждая форма мышления – это рассуждение, содержащее определенный способ связи мыслей между собой. Формы различаются по сложности.

Простейшая форма – понятие

Из понятий образуется суждение (высказывание)

Из суждений можно уже построить умозаключение, позволяющее вывести какое-то новое знание из известных суждений.

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

Например: “Функтор”, “Квантор”, “$х”, “"х” P, Q, и так далее.

Язык логики относится к искусственным языкам, которые создаются спе­циально для выполнения определенных задач. А всякий язык состоит из знаков.

Знаком называется материальный объект, который для некоторого интерпретатора (субъекта) выступает в качестве представителя какого-то другого предмета. Знак может быть представлен в любой форме (графической, икони­ческой, вербальной и других).

Языковыми знаками являются значащие слова, а в искусственных языках еще и значащие символы.

Например: слово «старше» – знак определенного возрастного отношения, символ «+» – знак операции сложения в языке арифметики.

Важнейшими характеристиками знака являются смысл и значение .

Значение знака (экстенсионал ) – предмет, представляемый данным знаком

Смысл знака (интенсионал ) – информация о предмете, которую содержит сам знак, или которая связывается с этим знаком в процессе человеческого общения или познания

Знаки могут быть пустыми и непустыми, описательными и неописательными.

Например: “гора выше Эвереста” – пустой знак (в множестве гор планеты знак не имеет значения); “студент” – неописательный знак (нет описательных (содер­жательных) терминов, в данном случае: «учащийся высшего учебного заведения»).

Логические символы – выражения языка, не имеющие самостоятельного содержания, но в сочетании с одним или несколькими содержательными выраже­ниями образующие сложные выражения с самостоятельным содержанием.

Логические символы называются также логическими постоянными .

Имена – слово или словосочетание, обозначающее какой-либо предмет мысли и используемое в качестве логического подлежащего или логического сказуемого в высказываниях типа «А есть В».

Высказывания – предложение, выражающее мысль, которая является либо истинной, либо ложной. Истинность или ложность явля­ются логическими значениями высказывания.

Логические связки – логические символы, позволяющие из одних выска­зываний образовывать новые высказывания (и, или, если…то…, и т.д.).

Логические переменные – символы, позволяющие отвлечься от содержания рассуждения с целью выявления логической фор­мы (буквы латинского алфавита, специальные значки логических операций: ∩, U, другие)

План семинарских занятий по теме:Предмет и значение логики.

1. Что собой представляет форма мысли и как она выявляется?

2. Язык как знаковая система

3. Что изучает формальная логика?

4. Что такое знак? Основные характеристики знаков.

5. Основные виды имен.

6. Каковы принципы употребления имен?

7. Что такое антиномии отношения именования?

Упражнения и задачи:

1. Укажите, к какой категории символов относятся следую­щие выражения:

а) глагол,

б) имя существительное,

в) человек, первым побывавший на Северном полюсе,

г) Китай - азиатская страна,

д) в том и только том случае, если,

е) Ф. Тютчев - современник И. Тургенева,

ж) большой, круглый стеклянный предмет,

з) игра на публику,

и) тогда и только тогда, когда,

к) если и только если,

л) хорошо, когда наступает лето,

м) сообщение по секрету,

н) пассажиры уведомляются о том, что поезд опаздывает,

о) сделав добро, не надо хвастаться этим,

п) посоветуйте ему подумать,

р) некоторые предметы,

т) холодный и пустынный дом,

у) его болезнь - аппендицит,

ф) не расточайте неумеренных похвал.

2. Какие из следующих имен являются конкретными, а ка­кие абстрактными:

а) водород,

б) получеловек-полулошадь,

в) белизна,

г) белый, круглый, светящийся предмет,

д) симпатия,

е) привлекательность,

ж) человечность,

з) химический элемент,

и) конкретность,

к) река, не впадающая ни в морс, ни в озеро,

л) число, равное отношению длины окружности к ее диа­метру,

м) гигантский летающий ящер мелового периода,

н) округлость форм и линий,

о) суффикс,

п) круг полномочий какого-либо органа или должностного лица,

р) главенствующая идея,

с) восхождение на труднодоступные вершины,

т) кабинет министров,

у) электричество,

ф) оркестр Большого театра.

3. Укажите, какие ошибки допускаются в следующих де­лениях:

а) Комедия делится на комедию ситуаций, комедию характеров, черную комедию, слезливую комедию, комедию идей и комедию нравов.

б) Умозаключения делятся на дедуктивные, индуктивные и аналогию.

в) Грамматические предложения делятся на простые, слож­носочиненные и сложносочиненные.

г) Леса делятся на хвойные и лиственные.

д) Международные договоры делятся на устные, письмен­ные, справедливые и несправедливые.

е) Числа делятся на простые, четные и нечетные.

ж) Электрические приборы делятся на измеряющие силу то­ка и измеряющие напряжение.

4. Постарайтесь прочесть все спрятанные предложения

тутутутумананнааннннаддллулулулугомомомммомрарааарарассеялсяяяяяякаааккаакккакккктоооотттолькохвзошлососососососсолнцеиприририр

паупаупаукскскскссссплеллеререереерсвсвсвоюпаупаууупппаутинуввввуглулулукомнатыыыыыы

ТЕСТ

1. Почему законы мышления в классической (формальной) логике получили название формальных законов?

1) поскольку они обращают внимание на формы, в которых протекают мыслительные операции;

2) так как они нацелены на раскрытие закономерностей мышления;

3) в силу того, что они обращены на содержание мышления.

2. Под логической формой понимают:

1) определенный порядок, в котором высказываются те или иные мысли;

2) способ организации или способ связи входящих в состав конкретной мысли ее элементов;

3) способ изложения мыслей.

3. Логика – это наука …

1) об умении вести дискуссию, спор.

2) о формальности человеческого мышления;

3) о формах и законах правильного мышления;

4.Что понимается под логическими законами?

1) это – требования, нормы, которым наше мышление должно подчинятся;

2) они ставят целью изобразить как совершается мышление;

3) они дают нам истинное знание при любых обстоятельствах.

5. В процессе рассуждения возможна логическая ошибка, поскольку:

1) из–за того, что само мышление человека является малоизученной областью.

2) человек в принципе не может познать мир;

3) субъект намеренно или ненамеренно нарушает правила мышления;

6. Логические парадоксы …

1) являются досадным недоразумением

2) свидетельствуют о принципиальной невозможности постижения мира;

3) способствуют дальнейшей выработке эффективных способов постижения и объяснения действительности.

7. Почему необходимо изучать логику?

1) чтобы побеждать в любых спорах;

2) чтобы доказательно рассуждать, не совершать логических ошибок;

3) чтобы уклоняться от неприятных дискуссий и не вступать в спор с вышестоящими органами.

8. Что понимается под логической культурой?

1) умение оперировать понятиями и суждениями, умозаключать и доказывать;

2) умение красиво излагать свои мысли;

3) доказать что угодно и где угодно.

9. Логическая культура личности определяется:

1) окружающей человека средой.

2) только биологическими факторами, т.е. врожденным потенциалом человека;

3) врожденным потенциалом человека, окружающей социальной средой;

10. В чем заключается существенное отличие формально-логических законов от законов природы?

1) в том, что законы природы объективны, а законы логики – субъективны;

2) законы природы в принципе не нарушаемы, а законы мышления нарушаются;

3) в том, что законы природы действуют сами по себе, а логические законы зависят от людей.

Тема 2. Этапы развития логики как науки.

Основные направления современной символической логики

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

Развитие науки логики на протяжении ряда столетий протекало по двум направлениям. Одно из них начиналось с древнегреческой логики (в особенности с логики Аристотеля), на основе которой развивалась логика в Древнем Риме, затем в Византии, Грузии, Армении, арабоязычных странах Ближнего Востока, в Западной Европе и России. Другое направление имело своим истоком индийскую логику, на основе которой развивалась логика в Китае, Тибете, Монголии, Корее, Японии, Индонезии, на Цейлоне.

Немецкий математик и логик Готтлоб Фреге (1848 - 1925) предпринял попытку свести математику к логике. Фреге определяет число, принадлежащее понятию, как объем этого понятия. Два понятия считаются равночисленными, если множества, выражающие их объемы, можно поставить во взаимнооднозначное соответствие друг с другом. Например, понятие «вершина треугольника» равночисленно понятию «сторона треугольника», и каждому из них принадлежит одно и то же число 3, являющееся объемом понятия «вершина треугольника». Г. Фреге предпринял попытку сведения довольно значительной части арифметики к логике, произвел некоторую математизацию логики. Символические обозначения, принятые им, очень громоздки. Фреге полагал, что он логически определил число и точно перечислил логические правила, с помощью которых можно определять новые понятия и доказывать теоремы, и что таким образом он и сделал арифметику частью логики. Фреге не подозревал, что предложенная им система не только не представляла собой логического обоснования содержательной арифметики, но была даже противоречивой. Это противоречие в системе Фреге обнаружил Бертран Рассел (1902), он их назвал парадоксами.

МНОГОЗНАЧНЫЕ ЛОГИКИ

В двузначной логике высказывание бывает истинным или ложным, то в многозначных логиках число значений истинности аргументов и функций может быть любым конечным и даже бесконечным, В настоящем приложении отрицание обозначается через Nx или , коньюкция – через Кху или х у, нестрогая дизъюкция – через Аху или х v у материальная импликация – через Сху или х → у. Значение функции от аргумента а будем записывать так: [а]. Тавтологией (или общезначимой) называется формула, которая при любых комбинациях значений входящих в нее переменных принимает значение «истина» (чаще всего в рассматриваемых системах «истина» обозначается цифрой 1).

Трехзначная система Лукасевича (1920)

В ней «истина» обозначается 1, «ложь» - 0, «нейтрально» - ½. В качестве основных функций взяты отрицание (обозначается nx) и импликация (Сху); производными являются конъюкция (Кху) и дизъюкция (Аху). Тавтология принимает значение 1.

Отрицание импликация соответственно определяют матрицами и равенствами:


1) = l - [х];

2) [Сху] = 1, если [х]<[у];

3) [Сху] = 1 - [х] + [у], если [х]> [у], или в общем виде:

4) [Сху] = min (1,1 - [х] + [у])

Конъюкция определяется как минимум значении аргументов:

[Кху] = min ([х],[у])

Дизъюкция - как максимум значений х и у: [Аху] = max ([х], [у])

На основе данных определений отрицания, конъюкция и дизъюкция в системе Лукасевича не будут тавтологиями (законами логики). Поэтому логика Лукасевича не является отрицанием двузначной логики.

В двухзначной логике из закона исключенного третьего выводятся:

В системе Рейтинга импликация и отрицание отличаются от
определений этих операций у Лукасевича лишь в одном случае. «Истина»
обозначается 1, «ложь» - 0, «неопределенность» - ½. Тавтология принимает
значение 1.


1) [Сху] = 1, если [х]≤[у];

2) [Сху] = [у], если [х]> [у]/

Конъюкция и дизъюкция определены обычным способом как минимум и максимум значений аргументов.

Трехзначная система Бочвара

Система советского логика Д.А. Бочвара построена на разделении высказываний на имеющие смысл (т.е. истинные или ложные) и бессмысленные. Бочвар выделяет внешние формы (или функции) и внутренние. Внутренние формы Бочвар называет классическими содержательными функциями переменных высказываний, а внешние формы - неклассическими. У Бочвара «истина» обозначается R, «ложь» - F, «бессмысленность» - S Тавтология принимает значение 1; а,b,с... обозначают переменные высказывания.

Противоречиями являются следующие формулы:

Здесь знак « ≡ » означает внешнюю равнозначность (эквивалентность), знак «↔» - внешнюю равносильность.

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

ИНТУИЦИОНИСТСКАЯ ЛОГИКА

Интуиционистская логика построена в связи с развитием интуиционистской математики. Интуиционистская школа основана в 1907 г. голландским математиком и логиком Л. Браурэром (1881 -1966).

Интуиционизм - философское направление в математике и логике, отказывающееся от использования абстракции актуальной бесконечности, отвергающее логику как науку, предшествующую математике, и рассматривающее интуитивную ясность и убедительность («интуицию») как последнюю основу математики и логики. Интуиционисты свою интуиционистскую математику строят с помощью финитных (конечных) средств на основе системы натуральных чисел, которая считается известной из интуиции. Интуиционизм включает в себя две стороны - 1. математическую и 2. философскую. Если первая сторона имеет рациональную часть (речь идет об интуиционистской математике или интуиционистской логике, а не об интуиционизме), то вторая сторона интуиционизма (его методологические, идеологические, философские основы) совершенно не приемлема.

Особенности интуиционистской логики вытекают из характерных признаков интуиционистской математики.

В нашей стране, проблемами интуиционистской логики занимаются К.Н. Суханов, М.И. Панов, А.Л. Никифоров, и др.

КОНСТРУКТИВНЫЕ ЛОГИКИ

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

ОТЛИЧИЯ МЕЖДУ КОНСТРУКТИВНОЙ И ИНТУЦИОНИСТСКОЙ

ЛОГИКАМИ

1. Различные объекты исследования

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

В основу интуиционистской логики, включающейся логикой интуиционистской математики, положена идея «свободно становящейся последовательности» (т.е. последовательности, строящейся не по алгоритму), которую интуциониеты считают интуитивно ясной.

2. Обоснование дается с помощью идеалистически истолкованной интуиции, а обоснование конструктивной математики и логики дается на базе научного математического понятия алгоритма или эквивалентного ему понятия ресурсной функции.

3. Различные методологические основы. Методологической основой
конструктивного направления в математике отечественные исследователи считают положения материализма, с позиций которого критерием истинности познания (в том числе и научного) является практика.

4. Различные интерпритации.

5. Отличия ряда логических средств. Принцип: конструктивного направления - если имеется алгоритмический процесс и удалось опровергнуть, что он продолжается бесконечно, то, следовательно, процесс закончится. Интуиционистской логики - не признают этот принцип.

n – значная система Поста

Система Поста является обобщением двузначной логики, ибо при n = 2 в качестве частного случая мы получаем двузначную логику. Своей системе Пост дал интерпретацию. Значение истинности суть 1,2, ..., n (при n = 2), где n - конечное число. Тавтологией является формула, которая всегда принимает такое значение i, что l≤i≤S, l≤S≤n – 1; значения 1, ..., S называются выделенными или отмеченными; возможно, что S > 2.

Пост вводит два вида отрицания (N 1 х и N 2 х), соответственно называемые циклическим и симметричным. Они определяются путем матриц и посредством равенств.

Первое отрицание определяется двумя равенствами:

1. = [х] +1 при [х]≤n – 1

Второе отрицание определяется одним равенством:

N - [х] + 1

Матрица, определяющая первое и второе отрицание, имеет вид:


Характерной особенностью двух отрицаний Поста является то, что при n = 2 эти отрицания совпадают между собой и с отрицанием двузначной логики, что подтверждает тезис: многозначная система Поста есть обобщение двузначной логики.

Конъюнкция и дизъюнкция определяются соответственно как максимум минимум значений аргументов.

Трехзначная система Поста (Р 3) имеет следующую форму

q p р 3 q 1 2 3 рv 3 q 1 2 3 p 3 q 1 2 3 p 3 q 1 2 3
1 2 3 2 2 3 3 3 3 1 1 1 1 2 2 1 2 3 1 2 3 1 2 2 1 1 1 1 2 3 2 2 2 3 2 1
Пояснения Max (p 1 q) Min(p 1 q) ( 3 q)v 3 q (p 3 q)/\ 3 (q 3 p)

В этих таблицах приняты обозначения, введенные Постом при n =3: первое отрицание обозначается через (~ 3 р), второе отрицание - через (~ 3 р), конъюнкция – через (р" 3 q), дизъюнкция - через (р 3 q), импликация - через (р 3 q), эквиваленция - через (р ≡ 3 q).

Если в качестве значений истинности взяты лишь 1 «истина» и 3 «ложь», то из таблиц системы Поста вычленяют таблицы для отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции двузначной логики.

В системе Поста тавтология принимает значение 1; закон исключенного третьего не является тавтологией ни для первого, ни для второго отрицания Поста, но является тавтологией закон исключенного четвертого для первого отрицания.

БЕСКОНЕЧНОЗНАЧНАЯ ЛОГИКА КАК ОБОБЩЕНИЕ

МНОГОЗНАЧНОЙ СИСТЕМЫ ПОСТА

Исходя, из системы Поста можно построить бесконечнозначную систему Значениями истинности являются 1 («истина»), 0 («ложь») и все дробные числа в интервале от 1 до 0, построенные в форме (½) k и в форме (½) k · (2 k – 1), где k - целочисленный показатель. Это числа: 1; ½; ¼; ¾; ⅛; ⅞; (½) k · (½) k · (2 k – 1), …, 0.

Операции: отрицание, дизъюнкция, импликация и эквиваленция в - определены следующими равенствами:

1. Отрицание: [~ хо р] = 1 – [р]

2. Дизъюнкция: = max ([p], [q])

3. Конъюкция: = min ([p], [q])

4. Импликация: = [ x o pvx o q]

5. Эквиваленция: = [(p x o q) /\x o (q x o p)]

Тавтологией, например, является формула, гласящая, что отрицание р, повторенное два раза, даст первоначальное значение р:

МОДАЛЬНЫЕ ЛОГИКИ

В классической двузначной логики рассматривались простые и сложные ассерторические суждения, т.е. такие, в которых не установлен характер связи между субъектом и предикатом. Например: «Морская вода - соленая» или «Дождь то начинал хлестать теплыми крупными каплями, то переставал».

В модальных суждениях раскрывается характер связи между субъектом и предикатом или между отдельными простыми суждениями в сложном модальном суждении. Например: «Необходимо соблюдать правила уличного движения» или «Если будет дуть попутный ветер, то, возможно, мы приплывем в гавань до наступления темноты».

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

ПОЛОЖИТЕЛЬНЫЕ ЛОГИКИ

Это логики, построенные без операции отрицания. Их можно разделить на два вида: 1. Положительные логики в широком смысле слова, или квазипозитивные логики. Они построены без операции отрицания, но отрицание может быть выражено средствами этой логической системы; 2. Положительные логики в узком смысле слова, т.е. логики, построенные без операции отрицания, причем отрицание не может быть выражено средствами этой системы

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


Похожая информация.



Понятие закона мышления. Под законами мышления понимаются такие законы, которым наше мышление должно подчиняться для того, чтобы оно было логическим, т. е. истинным. Если сказать, что существуют такие законы, которым должно подчиняться мышление для того, чтобы сделаться истинным, то многим кажется, что нужно только знать, в чём заключаются эти законы, и применять их в процессе мышления для того, чтобы избежать ошибок мышления. Но такое мнение совершенно несправедливо, потому что так называемые законы мышления не суть законы, которые мы должны применять сознательно, преднамеренно, а это - законы, которыми мы пользуемся бессознательно. Так как преднамеренное пользование законами мышления невозможно, то многие думают, что эти законы не имеют никакого практического значения для нашего мышления. По их мнению, они могли бы иметь значение только в том случае, если бы мы могли ими пользоваться для достижения истины, а раз они такой цели служить не могут, то их следует отвергнуть, как совершенно бесполезные.
Чтобы определить действительное значение законов мышления, нам следует вспомнить то, что было сказано выше о различии между психологией и логикой. Мы видели, что психология, как и естественные науки, имеет целью описывать процессы мышления так, как они совершаются в действительности. В этом смысле естествознание формулирует общие положения, которые и называются законами природы; таким же образом и психология формулирует общие положения, служащие для выражения того, как совершается мышление, и эти общие положения можно назвать законами мышления. Логические законы мышления не поставляют своею целью изобразить, как совершается мышление вообще, но имеют целью изобразить, как должно совершаться то мышление, которое приводит к достижению истины. Поэтому законы мышления мы должны называть законами мышления не в том смысле, в каком обыкновенно закон природы называется законом, именно, как формулирование того, что совершается фактически, но они суть законы в том смысле, что представляют собою известные требования, которым мысль наша должна подчиняться; мысль, чтобы быть правильной, должна следовать этим требованиям. Обыкновенно признают четыре закона мышления, именно: «закон тождества», «закон противоречия», «закон исключённого третьего» и «закон достаточного основания». Закон тождества. Закон тождества можно формулировать: «А есть А», т. е. всякий предмет есть то, что он есть. На первый взгляд кажется, что эта формула содержит в себе нечто само собой разумеющееся и потому практически не имеющее никакой ценности. Но в действительности этот закон содержит весьма важное требование, а именно, чтобы в процессе нашего мышления каждая мыслимая вещь или представление мыслимой вещи, которое мы обозначим символически при помощи А, сохраняло своё тождество. Если в нашем мышлении возникает представление какой-либо вещи (А), то оно и в дальнейших процессах мышления должно мыслиться с тем же содержанием, с каким мыслилось вначале. То, что мы мыслим в данный момент о той или Другой вещи, мы должны мыслить и спустя известное время, т. е. мы должны мыслить с тем же самым содержанием, с каким мыслили раньше. Логическая мысль не могла бы осуществиться, если бы я, сказав, что А есть В, при повторении этого суждения думал уже не об Л, а о чём-нибудь другом. Ее ли бы я, например, высказывая суждение, что «поваренная соль состоит из хлора и натрия», думал о поваренной соли, при повторении же суждения стал думать о какой-нибудь другой соли, то процесс мышления привёл бы меня к ложным результатам. Необходимо, чтобы я вторично, при повторении суждения «поваренная соль состоит из хлора и натрия», думал именно о поваренной соли, а не о какой-либо другой соли. Нужно, чтобы в процессе мышления каждая мыслимая вещь оставалась тождественной самой себе. Без соблюдения этого требования не может осуществиться логическое мышление, т. е. истинное мышление.
Таким образом, по закону тождества, всё то, что мы мыслим, должно оставаться тождественным самому себе. Этот закон применяется главным образом к понятиям и представлениям. Они в процессе мышления должны оставаться тождественными самим себе, иначе будет нарушена правильность мышления.
Когда же мы начинаем соединять представления, другими словами, когда мы начинаем составлять суждения, то является неосадимость применять ещё три закона, именно: закон противоречия, закон исключённого третьего и закон достаточного основания.

Еще по теме О ЗАКОНАХ МЫШЛЕНИЯ:

  1. ОСНОВНЫЕ ЗАКОНЫ МЫШЛЕНИЯ В ДИАЛЕКТИЧЕСКОЙ И ФОРМАЛЬНОЙ ЛОГИКАХ
  2. 11.3. Теории мышления в отечественной психологии Структурная организация процессов мышления 1.
  3. 31. ПРОЦЕССЫ, ФОРМЫ, СВОЙСТВА МЫШЛЕНИЯ. ВООБРАЖЕНИЕ, ТВОРЧЕСКОЕ МЫШЛЕНИЕ
  4. 8. Мышление и интеллект 8.1. Мышление как психический процесс

Логика – наука о формах и законах правильного мышления.

Эта наука появилась приблизительно в V в. до н. э. в Древней Греции. Её создателем считается знаменитый древнегреческий философ и учёный Аристотель. Логике 2,5 тысячи лет, однако она до сих пор сохраняет своё практическое значение. Многие науки и искусства Древнего мира навсегда ушли в прошлое и представляют для нас только «музейное» значение, интересны исключительно как памятники старины, но некоторые из них пережили века, и в настоящее время мы продолжаем ими пользоваться. К их числу относится геометрия Евклида (в школе мы изучаем именно её) и логика Аристотеля. В XIX в. появилась и стала быстро развиваться символическая (математическая, современная) логика, которая является разделом высшей математики. Однако наша книга посвящена исключительно аристотелевской логике.

Так зачем нам нужна логика, какую роль она играет в нашей жизни? Логика помогает нам правильно строить свои мысли и верно их выражать, убеждать других людей и лучше понимать собеседника, объяснять и отстаивать свою точку зрения, избегать ошибок в рассуждениях.

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

Приведём простой пример. Рассмотрим три совершенно различных по содержанию высказывания: «Все караси – это рыбы», «Все треугольники – это геометрические фигуры», «Все стулья – это предметы мебели» . Несмотря на различное содержание, у этих высказываний есть нечто общее, что-то их объединяющее. Что? Их объединяет форма. Отличаясь по содержанию, они сходны по форме – каждое из трёх высказываний строится по форме: «Все A – это B», где A и B – какие-либо предметы. Понятно, что само высказывание: «Все A – это B», – лишено всякого содержания. Это высказывание представляет собой чистую форму, которую можно наполнить любым содержанием, например: «Все сосны – это деревья», «Все города – это населённые пункты», «Все школы – это учебные заведения», «Все тигры – это хищники ».

Другой пример: возьмём три различных по содержанию высказывания: «Если наступает осень, то опадают листья», «Если завтра пройдёт дождь, то на улице будут лужи», «Если вещество – металл, то оно электропроводно» . Будучи непохожими друг на друга по содержанию, эти высказывания сходны между собой тем, что строятся по одной и той же форме: «Если A, то B». Понятно, что к этой форме можно подобрать огромное количество различных содержательных высказываний, например: «Если не подготовиться к контрольной работе, то можно получить двойку», «Если взлётная полоса покрыта льдом, то самолёты не могут взлетать», «Если слово стоит в начале предложения, то его надо писать с большой буквы» .

Логика не интересуется содержанием мышления (им занимаются другие науки), она изучает только формы мышления; её интересует не то, что мы мыслим, а то, как мы мыслим, поэтому она часто называется формальной логикой . Аристотелевскую (формальную) логику также часто называют традиционной.

Форма мышления – это способ выражения мыслей, или схема их построения.

Существует всего три формы мышления:

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

2. Суждение – это форма мышления, которая состоит из понятий, связанных между собой, и что-либо утверждает или отрицает. Примеры суждений: «Все планеты являются небесными телами», «Некоторые школьники – это двоечники», «Все треугольники не являются квадратами ».

3. Умозаключение – это форма мышления, в которой из двух или нескольких исходных суждений (посылок) вытекает новое суждение (вывод).

В логике принято располагать посылки и вывод друг под другом и отделять посылки от вывода чертой.

Примеры умозаключений:


Все планеты движутся.

Юпитер – это планета.

Юпитер движется.


Железо электропроводно.

Медь электропроводна.

Ртуть электропроводна.

Железо, медь, ртуть – это металлы.

Все металлы электропроводны.


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

Помимо форм мышления логика также занимается законами мышления. Законы мышления – объективные принципы или правила мышления, соблюдение которых всегда приводит рассуждение (независимо от его содержания) к истинным выводам при условии истинности исходных суждений.

Основных законов мышления (или законов логики) четыре. Здесь они будут только перечислены: это законы: тождества; противоречия; исключённого третьего; достаточного основания. Подробно каждый из них будет рассмотрен после изучения форм мышления. Нарушение этих законов приводит к различным логическим ошибкам, как правило, к ложным выводам. Иногда законы логики нарушают непроизвольно, по незнанию, но иногда это делают преднамеренно, с целью запутать собеседника и доказать ему какую-нибудь ложную мысль. Такие преднамеренные нарушения логических законов для внешне правильного доказательства ложных мыслей называются софизмами .

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


Движение вечно.

Хождение в школу – это движение.

Следовательно, хождение в школу вечно.


Ложный вывод получается из-за употребления слова «движение» в разных значениях: в первом суждении оно употребляется в широком, философском смысле, а во втором – в узком, механическом. Однако найти ошибку в рассуждении не всегда просто. Рассмотрим такой пример:


Все мои друзья знают английский язык.

Нынешний президент Америки тоже знает английский язык.

Следовательно, нынешний президент Америки – мой друг.


Понятно, что в этом рассуждении что-то не так. Но что именно? Тот, кто знаком с логикой, скажет, что в данном случае допущена ошибка, которая называется «нераспределённость среднего термина в простом силлогизме». Или такой пример:


Во всех городах за полярным кругом бывают белые ночи.

Санкт-Петербург не лежит за полярным кругом.

Следовательно, в Санкт-Петербурге не бывает белых ночей.


Как видим, из двух истинных суждений вытекает ложный вывод. В этом рассуждении тоже есть ошибка. Вряд ли не знакомый с логикой человек сможет сразу же её найти. А тот, кто владеет логической культурой, немедленно установит эту ошибку. Она называется «расширение большего термина в простом силлогизме».

Итак, здравого смысла и жизненного опыта, как правило, достаточно для того, чтобы ориентироваться в различных затруднительных ситуациях. Но если к нашему здравому смыслу и жизненному опыту добавить ещё и логическую культуру, то мы от этого только выиграем. Конечно, логика никогда не решит всех проблем, но помочь в жизни она, несомненно, может. Давайте же познакомимся с основными положениями этой древней и в то же время всегда молодой науки.


Проверьте себя:

1. Что такое логика?

2. Что такое содержание и форма мышления? Почему логику часто называют формальной логикой?

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

4. Что такое законы логики? Какую роль они играют в нашем мышлении? Что такое софизмы?

5. Когда и где появилась логика? Кто считается её создателем? Какая ещё существует логика, кроме аристотелевской?

6. Как вы думаете, зачем нужна человеку логика? Какую роль она играет в нашей жизни? Можно ли, на ваш взгляд, без неё обойтись?

ЛОГИКА КАК НАУКА


1. Предмет логики

2. Возникновение и развитие логики

3. Язык логики

4. Формы и законы мышления


1. Предмет логики

Ключевые слова: логика, мышление, чувственное познание, абстрактное мышление.

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

Формы и приемы мышления, способствующие познанию истины. Знание о явлениях мира человек приобретает в процессе активного целенаправленного познания: субъект - объектного взаимодействия человека с фрагментами реальности. Познание представлено несколькими уровнями, рядом форм и приемов, приводящих исследователя к правильным выводам, когда истинность исходных знаний предполагает истинность выводов.

Нам известно, что первым уровнем выступает чувственное познание. Оно осуществляется на основе органов чувств, их осмысления и синтеза. Напомним основные формы чувственного познания:

1) ощущение;

2) восприятие;

3) представление.

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

а) понятие;

б) суждение;

в) умозаключение.

Прибегая к данным формам познания, человек руководствуется такими приемами как абстрагирование, обобщение, отвлечение от частного, выделение существенного, выведение нового знания из ранее известного и пр.

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

Абстрактное мышление неразрывно связано с языком. Язык – основное средство фиксации мысли. В языковой форме излагаются не только смыслы содержательные, но и логические. С помощью языка человек формулирует, выражает и передает мысли, фиксирует знание.

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

Значение логики в познании вытекает из возможностей выведения достоверного знания не только формально-логическим путем, но и диалектическим.

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

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

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

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

Задачи и упражнения

1. Один и тот же кубик, на гранях которого расположены цифры (0, 1, 4, 5, 6, 8), находится в трёх различных положениях.

0
4
0
4
5

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

2. Светлана, Лариса и Ирина изучают в вузе разные иностранные языки: немецкий, английский и испанский. На вопрос, какой язык изучает каждая из них, их подруга Марина робко ответила: «Светлана изучает английский, Лариса не изучает английский, а Ирина не изучает немецкий». Оказалось, что в этом ответе лишь одно утверждение является истинным, а два – ложным. Какой язык изучает каждая девушка?

3. Иванов, Петров, Степанов и Сидоров – жители г.Гродно. Их профессии – кассир, врач, инженер и милиционер. Иванов и Пертов – соседи, они всегда ездят на работу вместе на автомобиле. Петров старше Сидорова. Иванов всегда обыгрывает Степанова в шахматы. Кассир всегда ходит на работу пешком. Милиционер не живёт рядом с врачом. Инженер и милиционер встречались единственный раз, когда первый оштрафовал второго за нарушение правил дорожного движения. Милиционер старше врача и инженера. Кто есть кто?

4. Друзья-мушкетёры Атос, Портос, Арамис и д’Артаньян решили позабавиться перетягиванием каната. Портос с д’Артаньяном легко перетянули Атоса с Арамисом. Но когда Портос стал вместе с Атосом, то они одержали более трудную победу над д’Артаньяном и Арамисом. А когда Портос с Арамисом боролись против Атоса с д’Артаньяном, то никто не смог перетянуть канат. Как по силе распределяются мушкетёры?

Составьте логическую схему взаимосвязи уровней и форм познания.

2. Возникновение и развитие логики

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

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

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

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

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

Развитие логического знания. Дальнейшим развитием античной логики стало учение философов-стоиков, которые вместе с философско-этической проблематикой логику считают «проистечением мирового логоса», его земной, человеческой формой. Стоики Зенон (333 – 262 гг. до н.э.), Хрисипп (ок.281 – 205 до н.э.) и др. дополняют логику системой высказываний (пропозиций) и выводов из них предложили схемы умозаключений на основе сложных суждений, обогатили категориальный аппарат и язык науки. К этому времени (3 в. До н.э.) относится возникновение самого термина «логика». Логическое знание преподносилось стоиками несколько шире классического воплощения. Оно соединило в себе учение о формах и операциях мышления, искусство ведения дискуссии (диалектика), мастерство публичных выступлений (риторика) и учение о языке.