Приемы рационального мышления.

Приемы рационального мышления.

1. Определения - процедура придания точного смысла термину (языковому выражению).

2. Классификация - процедура ступенчатого распределения предметов из класса (в подклассы).

3. Рассуждение - процедура пошагового обоснования некоторого суждения. Простейшая форма - умозаключение.

Умозаключение - это непосредственный перех от одного или нескольких высказываний А1, А2,...Аn к высказыванию В.

А1, А2,...Аn - посылки

---------------------

В - вывод

Пр,: Ни один сумасшедший не допускается к выборам.

Все сыновья Гегеля - сумасшедшие.

-----------------------------------------------------------------------------

Ни один сын Гегеля не допущен до выборов.

4. Доказательство - обоснование истинности суждения.

5. Опровержение - обоснование ложности суждения.

6. Научная полемика.

7. Постановка и решение проблем.

8. Выдвижение и проверка гипотез.

9. Измерение.

10. Эксперимент.

Задача логики - ответ на вопрос, как должен мыслить человек, чтобы достичь истины? Для этого она вырабатывает нормы и критерии правильного мышления.

Принципы правильного мышления (Аристотель)

1. Принцип тождества. Одинаковые языковые выражения в одном и том же контексте должны иметь одно и то же значение. (А=А).

2. Принцип непротиворечия: А и неверно А не могут быть одновременно истинны.

3. Принцип исключенного третьего. А и неверно А не могут быть одновременно ложны.

4. Принцип достаточного основания (Лейбниц):

2. Понятие логической формы. Способы выявления логической формы.

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

Способы выявления логической формы зависят от того (1) учитывается ли внутренняя структура простых высказываний, (2) какие выделяются категории нелогических терминов.

(1) Замена терминов параметрами

(2) С помощью формализованного (искусственного) языка.

3. Понятие логического закона и правильного умозаключения.

Не все истинные высказывания являются законами. Логический закон зависит от формы.

Пр, высказывание " Иванов является отличником или неверно, что Иванов является отличником" истинно в силу формы.

p| p или неверно p

---------------------------

и| и и л

л| л и л

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

Логически ложные высказывания - ложные в силу своей формы.

Те высказывания, которые не являются ни логически истинными, ни логически ложными, называются логически недетерминированныим.

Правильное умозаключение - такое умозаключение, которое гарантирует истинность заключение при условии истинности посылок.

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

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

4. Предложение, суждение и высказывание. Классификация высказываний.

Повествовательное предложение - это некоторый знак, выражающий мысльоб отсутствии или присутствии ситуации.

Суждение - мысль о наличии или отсутствии ситуации.

Значение предложения - истина или ложь

Смысл предложения - суждение.

Одно и то же суждение может быть выражено по-разному. (пр, " Медь электропроводна" и " Свойство электропроводности присуще меди" )

Одно и то же предложение может выражать разные суждение (пр, " " Торпедо" обыграло " Динамо" " )

Высказывание - повествовательное предложение с четко зафиксированным смыслом.

Простые высказывания - в их состав не входят никакие другие высказывания.

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

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

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

Асертарические высказывания константируют ситуацию, сам факт.

Моделизированные к тому же еще дают дополнительную оценку квалифицирующего характера той или иной ситуации (содержат в своем составе мродальности)

5. Сложные высказывания, их виды, условия истиности и ложности.

Виды.

1. Высказывания с внешним отрицанием.

2. Конъюнктивное высказывание.

3. Дизъюнктивное высказывание.

4. Строго дизъюнктивное высказывание.

5. Суждения эквивалентности.

6. Импликативное высказывание.

Модальности.

необходимо

возможно

случайно

6. Понятие формализованного языка. Язык классической логики высказываний.

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

Формализованный язык нужен для:

1. четкой фиксации информации.

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

Построение формализованного языка.

1. Задается алфавит, т. е. исходные символы:

а) нелогические символы

б) логические символы

в) вспомогательные, технические символы

2. Задаются правила образования различных выражений языка.

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

Язык классической логики высказываний. (в нем игнорируется внутренняя структура простых высказываний)

1. Алфавит:

а) нелогические символы - пропозициональные переменные - их количество бесконечно: p, q, r, s...

б) логические символы - знаки функций истинности - пропозициональные связки: *отрицание*, &, V, *импликация*, *тождественое равенство*

в) технические символы - (, ) (скобки)

2. Правила образований языковых выражений. Формулы.

а) всякая пропозициональная переменная является формулой.

б) если А - формула, то *неверно*А - тоже формула.

в) если А и В формулы, то

А& В, АVВ, А*импликация*В, А*тождественно равно*В - тоже формулы.

г) ничто другое формуолй не является.

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

I Язык классической логики высказываний. (в нем игнорируется внутренняя структура простых высказываний)

1. Алфавит:

а) нелогические символы - пропозициональные переменные - их количество бесконечно: p, q, r, s...

б) логические символы - знаки функций истинности - пропозициональные связки: *отрицание*, &, V, *импликация*, *эквиваленция*

в) технические символы - (, ) (скобки)

2. Правила образований языковых выражений. Формулы.

а) всякая пропозициональная переменная является формулой.

б) если А - формула, то *неверно*А - тоже формула.

в) если А и В формулы, то

А& В, АVВ, А*импликация*В, А*эквиваленция*В - тоже формулы.

г) ничто другое формулой не является.

II Правила интерпретации пропозициональных переменных – нелогических символов

Y1 y1 y2

и и и

л и л

л и

л л

III Интерпретация логических символов (строятся таблички истинности для каждой пропозициональной связки)

IV Методы установления логических отношений. (совместимость по истинности/ложности и др)

А1, А2...А n -совместимы по истинности тогда и только тогда, когда (A1& А2...& An) - выполнима

А1, А2...А n -совместимы по ложности тогда и только тогда, когда (A1VА2...VAn) - опровержима

А1, А2...А n - |= тогда и только тогда, когда (A1& А2&...& An) *импликация* В тождественно-истинная формула.

8. Основные типы логических отношений между высказываниями.

Фундаментальные отношения.

1. Совместимость по истинности

2. Несовместимость по истинности

3. Совместимость по ложности.

4. Несовместимость по ложности.

5. Отношение логического следования.

6. Отсутствие отношения логического следования.

Введение Исключение

А, ВА& ВА& В

А& В А В

А В АvВ, ┐ А

АvВ АvВ В

В А > В, А , где С – последнее из неисключенных допущений

С> В В

В, ┐ В┐ ┐ А , где С – последнее из неисключенных допущений

┐ С А

Построение вывода. ……

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

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

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

Отношение выводимости. Из Г выводима А, если существует вывод А из множества допущений Г.

Доказательство формулы А – вывод формулы А из пустого множества допущений.

Теорема. А – теорема, если существует доказательство формулы А.

Язык.

Нелогические термины: S, P, Q, M, S1....

Логические символы: а – всякий есть, i – некоторый есть, е – ни один не есть, о – некоторый не есть

Пропозициональные связки: ┐ (возможны &, v, > )

Термин – 1. Всякий положительный Т – термин

2. Если α – термин, то α ¯ - термин

3. Ни что иное не является термином

Формула – 1. Если α и β – термины, то α a β, α i β, α е β, α о β – формулы

2. Если А – формула, то ┐ А тоже формула

3. ничто иное не является формулой

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

Придать точные значения нелогическим символам

1. Общие термины. Простым терминам в качестве значения сопоставляются непустые и неуниверсальные классы (α ).

Отрицательным – в качестве значения сопоставляется дополнение к этому классу (α ¯ )

2. Формулы. Значение формулы зависит от значений α и β

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

1. α и β – совпадают

2. α и β - α строго включено в β

3. α и β - β строго включено в α

4. α и β – перекрещиваются

5. α и β – есть α, которые не входят в β и есть β, которые не входят в α, и нет таких объектов которые не входят ни туда ни сюда. Их объединение совпадает с универсумом.

6. α и β – нет общих элементов

7. α и β – нет общих элементов, но есть объекты, которые не входят ни в один из этих классов.

α a β – любой объект входящий в объем α входит так же и в объем β (т е истинно – 1 и 2)

α i β – существует, по крайней мере, один объект из α, который входит в β (истинно – с 1 по 5, 6 и 7 – ложны)

α е β – ни один объект из α не сходит в β (1-5 – ложь, 6 и 7 - истина)

α о β – существует, по крайней мере, один объект из α, который не входит в β (истинно – с 3 по 7, 1 и 2 – ложны)

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

Примеры законов: SaS SiSSeS¯

и и и

Логические отношения:

Фундаментальные отношения (во всех теориях):

Совместимость по истинности. Формулы А1, А2, … Аn совместимы по истинности ≡ существует модельная схема, на которой каждая из этих формул принимает значение истина.

Совместимость по ложности. Формулы А1, А2, … Аn совместимы по ложности ≡ существует модельная схема, на которой каждая из этих формул принимает значение ложь.

Логическое следование. Из формул А1, А2, … Аn |= B ≡ не существует модельной схемы, на которой формулы А1, А2, … Аn принимают значение истина, а В – значение ложь. (Трактовка в утвердительном ключе. На всех модельных схемах формулы А1, А2, … Аn принимают значение истина, и В тоже принимает значение истина).

Умозаключение правильно, когда из посылок следует заключение.

2 типа умозаключений в силлогистике:

1. Непосредственные – одна посылка.

2. Опосредованные – из двух или более посылок.