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

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

Законы мышления (законы логики)

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

( при условии, что исходные суждения правильны)

Закон тождества
Закон противоречия
Закон исключенного третьего
Закон достаточного основания

Софизм

Любой мужчина – человек
Женщина – не мужчина ПРИМЕР
Следовательно, женщина не человек

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

Понятие НЕ= Слово
Понятие – мысленное обозначение объекта(мысль о нем) «Форма мышления»
Слово – языковое выражение этой мысли. «Форма языка»

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

В Суждении выделяют 4 части: субъект, предикат, связку и квантор

Субъект (s) – это то, о чем идет речь в суждении. «Все растения не есть животные»
Предикат (P) – это то, что говорится о субъекте. «Все растения не есть животные»
Связка – это то, что соединяет субъект и предикат. (есть, является, это и т.п.) «Все растения не есть животные»
Квантор – это указатель на объем субъекта. В роли квантора могут быть слова «все, некоторые, каждый второй, половина и т.д.) «Все растения не есть животные»

Многие школьники любят математику

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

Все животные нуждаются в корме
Лошади это животные
Лошади нуждаются в корме

УМОЗАКЛЮЧЕНИЕ

Посылки

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

Дедуктивные умозаключения

Все хищники едят мясо
Лев – это хищник
Следовательно, Лев ест мясо.

Достоверность выводов

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

Индуктивные умозаключения

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

Катя любит играть
Ваня любит играть
Настя любит играть
Катя, Ваня и Настя – дети.
Дети любят играть.

Умозаключения по аналогии

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

Мотоциклист Коля обожает свой мотоцикл, быструю езду и ровную дорогу.
Вероятно, Коля недолюбливает машины.

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

Закон тождества утверждает, что любая мысль должна быть обязательно равна (тождественна) самой себе.

Ученики прослушали лекцию учителя.

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

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

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

Этот закон заключается в том, что из двух высказываний – «А» и «не А» – одно обязательно является истинным.

Закон достаточного основания

Это принцип, согласно которому каждое осмысленное выражение (понятие, суждение) может считаться достоверным только в том случае, если оно было доказано.

На улице сильный гололед, (тезис) ведь машины не ездят (основание)

Задание:

Придумать 5 суждений. Выделить в каждом все части. (2 из них обязательно должны быть с невидимым Квантором)
Придумать 3 умозаключения (разного вида) Выделить посылки и умозаключения. Написать тип.