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

Логика

Преподаватель : Ирина Евгеньевна Старовойтова(ЦУВП-303- кафедра ф-ии)

Лекция№1 (08.02.)

Логика- что такое? когда возникла?

Название от греч.logos –«многое» - слово,мысль,закон,порядок.

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

История:

1.возникновение – II тыс до н.э.(др.Индия,др.Китай)

V век. До н.э. (др.Греция).

Аристотель– отец, основатель логики (систематизировал логику, первое теоретич.системное описание , написал несколько трактатов напр-я логики . Основоположник дедуктивной логиги)

«Органон»- «орудие» – совокупность логических работ Аристотеля

Дедуктивная логика- рассуждение от общего к частному.

Сформулировал законы логики, помимо основ дедукции.

2.Новое время ( XVI-XVII в.в.) Френсинс Бекон – ф-ф , логик.

«Новый органон» - основное произведение. Был оппонентом дедуктивной логики.

Индуктивная логика – проводит опыты и обобщает их результат.

Декарт (можно записывать мысли с помощью формул)

3. Середина XIX века возникновение математич.логики. «символическая».

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

Логика Естественного Языка

Гегель сравнивая логику с физиологией: «физиология не учит людей переваривать пищу, но знания физиологии позволяет питаться правильно. Логика не учит людей мыслить, но учит мыслить рационально»

Объект логики- мышление.

Основные категории логики:

1Форма мышления( логич.форма) – это структура мысли

Понятие, суждение, умозаключение.

Пр. (Все) слоны толстокожи

(Все) студенты умные

Все S есть P

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

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

Пр. Все эпузы гантируются

Все фемины – эпузы

ð Все фенины гантируются

(правильная мысль)

Все M есть P

Все S есть М

Все S есть P (правильн.мысль)

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

1-я форма мышления – ПОНЯТИЕ

Понятие как форма мышления

Понятие- это форма мышления, в к-й отражены предметы в их существенных признаках.

Предмет – объект мышления

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

Понятия образуются из представлений при помощи :

1. Анализ

2. Сравнение

3. Абстрагирование

4. Синтез

5. Обобщение (объединение предметов на основе их сходства)

Логическая структура понятий

1.содержание- совокупность признаков

2.объем- сов-сть предметов

Языковая форма понятия – имя (слово или словосочетание, обознач. Предмет)

Понятие - это смысл имени

Одно и тоже имя(слово) может быть формой разных понятий, одно и тоже понятие(мысль) может выражаться разными именами.

Понятие не может быть правильным/неправильным, оно может быть или не быть.

Виды понятий:

1. По объему объектов: Пустые непустые     Единичные общие   Регистрирующие(можно сосчитать) нерегистрирующие   2. По характеру признаков Положительные отрицательные Соотносительные безотностельные (опасность)     3.по характеру Конкретные(предметы,явления.процессы) абстрактные(св-ва,отношения)   Собирательные(флот,чел-во) разделительные (объекты ост.)     Положит. – наличие признаков Отриц- отсутствие признаков (без,а)   В соотносительных понятиях мыслятся предметы, не существующ. Без других предметов (брат об.чей-то)   В абстрактных понятиях мыслятся свойства или отношения.   Собирательные – мыслятся совокупности предметов как единое целое

Семинарное занятие1

Контр.работа(4 задачи)

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

Отношения между понятиями

Понятия

Несравнимые(не относятся к общему роду) Сравнимые

Соместимые Несовместимые

1.тождество

А,В

2.перекрещевание(студент, спортсмен)

А В

3.подчинение (родо-видовой отнош

Рне11.Соподчинение(яблоко+груши=фрукты)

А В

2 противоположность(белый-черный=цвет)

А В

3.противоречия(черный-нечерный)

А

В А А

Мужчина-А А,В

Сын-В

Отцец-С С

А-электрон Д С

В-протон

С-ядро А В

Д- элементарная частица

А-участник ВОВ В

В-полковник А

С-генерал С

А-автор романа Война и мир

В-русс.писатель С

С-писатель Д В

Д-философ А

А- населенный пункт А

В- город С

С- деревня В

Д-мегаполис Д

Лекция №2: Логические операции с понятиями.

1. Обобщение;

2. Ограничение;

3. Деление;

4. Определение (дефиниция).

Обобщение – переход от понятия с меньшим объемом к понятию с большим объемом.

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

Ограничение – переход от понятия с большим объемом к понятию с меньшим объемом. Признаки добавляются по одному. Предел ограничения – единичное понятие. Правила ограничения и обобщения: 1. Переходить к ближайшему виду или роду;

2. Не путать отношение рода и вида с отношением целого и части;

Деление– операция разбиения объема родового понятия на видовые понятия.

Структура деления:

1. Делимое понятие;

2. Основание деления;

3. Члены деления;

Виды деления:

1. Деление по видоизменению родового признака;

2. Дихотомическое – это деление на два противоречащих понятия, цель – выделить один предмет рода;

Правила деления понятий:

1. Деление должно быть соразмерным, т.е. объем делимого должен быть равен сумме объемов членов деления. Две ошибки: не полное деление (не все разновидности упомянуты) и деление с лишними членами (лишний элемент);

2. Деление должно производиться по одному основанию. Ошибка: смешение оснований (основание деления ОДНО);

3. Деление должно быть непрерывным, т.е. члены деления должны быть однопорядковыми видами. Ошибка: скачок в делении;

4. Члены деления должны исключать друг друга.

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

Структура определения:

1. Определяемое;

2. Определяющее.

Виды определений.

По цели:

1. Номинальные – договоренность об употреблении слова. В номинальном определении есть слова: «называется», «считается».

2. Реальные – перечисление признаков предмета; раскрывает содержание понятий.

По форме:

Явные Неявные

Через род и Через противоположность 1) Контекстуальные;

видовое отличие. 2) Индуктивные (точные науки).

1) Атрибутивное (свойства);

2) Генетическое (происхождение);

3) Операциональные (дается операция

распознавания данного предмета).

Формула

1. α и β – формулы

2. α Л β

αV β

α β формулы

α β

α

Правила определений:

1. Определения должны быть соразмерными (объем определяемого равен объем определяющего). Ошибка: широкое определение (определяющее больше определяемого), узкое определение, перекрещивающиеся определения.

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

3. Определение, по возможности, не должно быть отрицательным.

4. В определении не должно быть круга.

5. Определение не должно быть избыточным.

6. В определении должен быть правильно указан род.

Лекция№3

Суждение как форма мышления – это форма мышления, которой что то утверждается или отрицается.

Языковая форма суждения – это осмысленное повествовательное предложение или риторический вопрос

Риторический вопрос – языковая форма суждения

Логическая характеристика суждения – Истинностное значение

«И»- истина

«Л» - ложь

Суждения бывают простые и сложные

1) Субъект (S) – это термин суждения. Выражают то, о чем утверждается или отрицается.

2) Предикат (Р) – это термин, что именно утверждается или отрицается

3) Связка – это слова явления -не явл. , есть- не есть

4) Кванторное слово (слова «все» или «некоторые»)

Виды простых суждений

/ | \

По качеству:

По кол-ву

1) единичные

2) общие (все)

3) частные (некоторые)

1) утверждаемые

2) отрицаемые

По характеру предиката (Р)

1) Атрибутивные(св-ва)

2) Релиционные (отношения)

3) Экзистинциальные (существование)

Объединенная классификация (категорические суждения)

А 1) общеутвердительные (все S есть Р)

I 2) частноутверждающие (некоторые S есть Р)

Е 3) общеотрицательные (все S не есть Р)

О 4) частноотрицательные (не S не есть Р)

Affirmo - утверждаю

Nego – отрицаю

Стандартная (логическая) форма суждения.

Привести суждение к стандартному виду – это значит представить S и Р в виде понятий, сформировать связку и кванторное слово

Пример: Порядочному человеку чуждо зазанайство

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

Все –кванторное слово

Порядочные люди – субъект

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

Распределенность терминов

Термин – распределен, если он полностью включает в объем другого термина или полностью из него исключается

Термин – не распределен, если он частично совпадает с объемом другого термина

А:

I:

E:

О:

Правила

1) Субъекты распределимы в общем и нераспределимы в частном суждении

2) Предикат распределим в отрицательном суждении нараспределим в утвердительном, если только он не выделяющ.

Утвердит – не распределен

Отрицат – распределен

Отношения между категорическим и суждениями (логический квадрат)

Если одно истинно то другое ложно

Отношение между суждениями – это отношение между истинностным значением суждений, не зависимо от их конкретного содержания