Протокол № 10 от 24 мая 2011 года
МОСКОВСКИЙ ГУМАНИТАРНО-ЭКОНОМИЧЕСКИЙ ИНСТИТУТ
КАЛУЖСКИЙ ФИЛИАЛ
ЛОГИКА
Пособие для самостоятельной работы
Тюрина Ю.Э.
Калуга, 2011
Тюрина Ю.Э.
Пособие для самостоятельной работы. – Калуга: КФ МГЭИ, 2011.
Одобрено кафедрой общегуманитарных дисциплин КФ МГЭИ.
Протокол № 10 от 24 мая 2011 года
СОДЕРЖАНИЕ
1. Логика как наука о мышлении.
2. Законы формальной логики.
3. Понятие как форма мышления
4. Суждение как форма мышления.
5. Умозаключение как форма мышления
6. Логические основы доказательства.
1. ЛОГИКА КАК НАУКА О МЫШЛЕНИИ
Логика как наука о правильном мышлении видит свою главную цель в постижении мыслительных законов и правил достижения истинного выводного знания. При этом термин “логика” употребляется в двух основных смыслах.
Во – первых, для обозначения умения, навыка, искусства ясно, четко, убедительно и последовательно рассуждать, доказывать и опровергать различные положения. То есть, логика помогает искусно доказывать и опровергать положения, формулировать и разрешать смысл задачи, видеть существо ошибок и уловок в споре, избегать софистических ухищрений.
Во – вторых, логика это особая наука, которая изучает формы мышления с точки зрения их структуры, а также законы и правила получения выводного знания. При этом логику интересует форма построения мыслей, и она отвлекается от конкретного содержания, заключенного в них.
Формальная логика– наука о законах и формах мышления.
Термин «логика» имеет свое происхождение от греческого logos, что
означает «мысль», «слово», «разум», «закон».
Логика исследует логические формы, отвлекаясь от их конкретного содержания, анализирует мышление со стороны его формальной правильности. Формальная правильность означает соответствие мышления (рассуждения, доказательства) известным фиксированным правилам, соблюдение которых обеспечивает правильность перехода от одних высказываний к другим.
Предметом логикиявляется выводное знание, т. е. знание, полученное из ранее проверенных истин в соответствии с определенными законами. Логику не интересует в каждом отдельном случае истинная характеристика исходного знания. Ее задача заключается в том, чтобы установить, следует ли вывод из определенных посылок с необходимостью либо вероятно.
Другой задачей, вытекающей из уже указанной, является формализация и систематизация правильных способов рассуждений.
В своем развитии логика прошла три этапа, сосуществующих на сегодняшний день.
Традиционнаялогика – это первая ступень логики выводного знания. Она изучает общечеловеческие формы мысли (понятия, суждения), формы связи мыслей в рассуждении (умозаключения), зафиксированные в системе формально-логических законов (тождества, противоречия, исключенного третьего и достаточного основания).
Основоположником традиционной логики считается Аристотель (384–322 гг. до н. э.). Ему принадлежит заслуга разработки основных
логических категорий и законов, а также систематического и последовательного изложения логического учения.
Изучение форм мышления и символическое обозначение их элементов, начатое ещё Аристотелем в IV в. до н. э., было продолжено затем Г. В. Лейбницем, Дж. Локком, Дж. Булем, П. Порецким, Г. Фреге, Б. Расселом, Д. Гильбертом, А. Тарским, Я. Лукасевичем и другими математиками и логиками. Мышление стало исследоваться с помощью формализованных языков (логических исчислений), а формализованные языки послужили основой для разработки языков, которыми пользуются в вычислительных машинах.
Математическая логика– вторая после традиционной логики ступень в развитии формальной логики, применяющая математические методы и специальный аппарат символов и исследующая мышление с помощью исчислений (формализованных языков). С помощью логического аппарата и найденных законов логического следования математическая логика дала возможность по-новому осмыслить законы и правила традиционной логики и решить такие проблемы, которые долгое время оставались нерешёнными.
Значение логики заключается в том, что она учит, как правильно по форме построить рассуждение, чтобы при условии верного применения формально-логических законов из истинных посылок прийти к истинному выводу, расширяющему наши знания.
2. ЗАКОНЫ ФОРМАЛЬНОЙ ЛОГИКИ.
1. Понятие логического закона.
2. Содержание и формы логических законов.
Для природы и общества характерна взаимосвязь предметов и явлений. Эти связи могут быть объективными и субъективным, случайными и необходимыми, общими и частными. Наиболее объективные, устойчивые, необходимые и существенные связи носят название закона. Законы природы фиксируют то наиболее прочное, повторяемое, что остается в явлении. Человек в своем развитии приобрел способность познавать окружающий мир, субъективный образ которого должен совпадать с реальностью.
Во – первых, все законы объективны в том смысле, что отражают одну и ту же реальность и не могут противоречить друг другу. Законы мышления и законы развития объективной реальности неразрывно связаны друг с другом.
Во – вторых, законы мышления это, прежде всего, внутренняя, устойчивая, существенная связь между мыслями. Ведь если человек не способен связать и уяснить свои мысли, то он не придет к верному выводу, и его не поймут люди. Законы мышления имеют внеисторический и общечеловеческий характер и с успехом применяются в обычных и рассуждениях.
Для формальной логики наибольшее значение имеют четыре основных логических закона: непротиворечивости, исключенного третьего, тождества и достаточного основания. Содержание и формулировка первых трех законов развивалась в трудах Платона и Аристотеля. Разработка четвертого принадлежит Г.Лейбницу. Основные логические законы выделяют важные свойства правильного мышления: определенность, непротиворечивость, выбор’’или – или”, в некоторых жестких ситуациях, обоснованность. Они носят нормативный характер, поскольку только их соблюдение говорит о правильности мышления. Нарушение законов приводит к логическим противоречиям и невозможности отличить истину от лжи. Четвертый закон менее нормативен и имеет ограниченное применение.
Закон непротиворечия выражает требование непротиворечивости мышления и отражает качественную определенность объектов. Это означает, что объект не может обладать взаимоисключающими свойствами, то есть невозможно, одновременно, наличие и отсутствие у предмета какого-либо свойства.
Формула закона гласит: неверно, что А и не А одновременно истинны. Так не могут быть одновременно истины суждения: этот человек хороший специалист – этот человек плохой специалист.
В то же время противоположные суждения могут быть истинными в следующих случаях:
1. Если речь идет о разных признаках одного предмета. Например, отсутствие следа преступления уже след.
2. Если речь идет о разных предметах с одним признаком.
3. Если речь идет об одном предмете, но рассматривается он в разное время и разных отношениях.
Закон исключенного третьего предъявляет, более сильные требования к суждениям и требует, не уклоняться от признания истинности одного из противоречащих высказываний и не искать между ними нечто третье. “Один из членов противоречия должен быть истинным”, - отмечал Аристотель.
Закон исключенного третьего требует ясных, четких формулировок с указанием на невозможность решения вопроса в одном и том же смысле: и “да” и “нет”. Его смысл в том, что истина либо в высказывании, либо в его отрицании по правилам классической двузначной логики.
Закон тождества устанавливает требование определенности мышления: употребляя в процессе размышлениятермин, мы должны понимать под ним нечто определенное. Поэтому, в рассуждениях необходимо оставлять понятия и суждения теми же самыми по содержанию и смыслу.
Закон тождества требует, чтобы понятия и суждения носили однозначный характер, без неопределенностей и двусмысленностей. В разговорах, спорах и дискуссиях, нередко, одно и то же слово употребляется для выражения различных мыслей, когда родные и близкие по смыслу понятия выражаются одинаковыми словами или словосочетаниями.
Это ведет к употреблению их в разных значениях, где что требование закона нарушается, при допущении следующих ошибок.
Закон достаточного основания требует, чтобы всякая истинная мысль была обоснована другими истинными мыслями. Ложные мысли не могут быть обоснованы.
Всякое положение, которое необходимо считать достоверным, должно быть доказано. Для этого должны быть известны достаточные основания, в силу которых оно считается истинным. Достаточным основанием могут быть: мысль, которая проверена практикой, научные определения и аксиомы, достоверные факты и личный опыт.
3. ПОНЯТИЕ КАК ФОРМА МЫШЛЕНИЯ
1. Сущность и структура понятия.
2. Закон обратного соотношения содержания и объема понятия.
3. Виды понятий.
4. Отношения между понятиями.
5. Основные операции с понятиями.
Понятие – это такая форма мышления, в которой отражаются существенные признаки единичного предмета или группы однородных предметов.
Признаками называются черты сходства или несходства (различия) предметов. Термин “признак” обозначает то, в чем предметы связаны друг с другом или отличны один от другого. Существенные признаки – это такие признаки, каждый из которых необходим, а вместе они достаточны для того, чтобы выделить данный предмет из группы остальных и объединить однородные предметы в класс.
Понятие, как логическая форма мышления, имеет свою структуру, которая включает два основных элемента: содержание и объем. Содержание понятия это его главная логическая характеристика или мысленное отражение совокупных признаков, которые отличают предмет или класс предметов. Объем понятия – это число подразумеваемых под данным понятием предметов.
Содержание и объем понятия находятся в обратном соотношении. Если увеличивается объем понятия, то соответственно уменьшается его содержание и наоборот.
Взаимосвязь предметов материального мира влияет и на отношения понятии. Те понятия у которых нет общих признаков называются несравнимыми.