3. Предмет и основные задачи логики как науки. (Юлдашева)

Понятия логики:

Первое: логикой называют закономерности в изменении и развитии вещей и явлений объективного мира. Это объективная логика.

Второе: этим словом обозначают особые закономерности в связях и развитии мыслей. Они называются субъективной логикой.

Третье: логикой называют науку о закономерностях в связях и развитии мыслей.

Предмет логики составляют:

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

1)Законы, которым подчиняется мышление в процессе познания объективного мира

2)Формы мыслительного процесса - понятия, суждения и умозаключения

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

4)Способы доказательства истинности полученных знаний: прямое и косвенное доказательство, опровержение и т.д

Задачи логики:

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

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

Все те факты, которые совершаются в наше отсутствие (на­пример, прошедшие и будущие явления), могут быть познаваемы только опосредованно. Я вижу, что дождь идёт, — это факт непосредственного познания.

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

4. Логика как инструмент критического мышления.(Юлдашева)

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

5. Логическая форма и логическое следование.(Шиш ацкий)

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

Коран-пример

1. Если ваши книги согласны с кораном, то они излишни

2. Если ваши книги не согласны с кораном, то вредны

3. Если ваши книги излишни или вредны, то их следует уничтожить

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

Если p, то q

Если неверно, что p, то r

Если q или r, то s

s

Алгоритм выявления логической формы

1. Содержательные высказывания (термины) – 1. Буквенные символы (параметры)

2. Грамматические союзы и связки - 2. Логические знаки (константы, функции)

3. Различные простые высказывания в языковом тексте – 3. Различные параметры

4. Одинаковые простые высказывания – 4. Одинаковые параметры

Логическое следование – отношение между логическими формами высказываний

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

6. Логические законы и логические теории. ( Шиш ацкий)

Логический закон – такая логическая форма высказывания, которая принимает значение «истина» при любой интерпретации параметров, входящих в ее состав

Основные законы логики

1. Закон тождества А=А

2. Закон (не)противоречия ¬ (А ∧ ¬ А)

3. Закон исключенного третьего А ∨ ¬ А

7. Основные формально-логические отношения. (Маевская)

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

Различают следующие группы формально-логических законов:

1) основные формально-логические законы, проявляющиеся во всех формах мышления, — закон тождества, закон противоречия, закон исключенного третьего и закон достаточного основания.

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

Закон тождества.

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

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

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

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

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

Закон противоречия.

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

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

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

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

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

Закон исключенного третьего.

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

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

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