Введение в логику. Логика 1. Введение в Логику Логика это наука о формах и законах правильного мышления
Скачать 0.87 Mb.
|
Введение в ЛогикуЛогика – это наука о формах и законах правильного мышленияСуществуют три основных формы мышления:Понятие – форма мышления, которая обозначает какой-либо объект или его признак. (стол, улыбка, земля, воздух, ребенок, космос) Суждение – форма мышления, которая состоит из связанных между собой понятий. Суждение обязательно что-нибудь утверждает или отрицает.(Все кошки любят спать. Многие спортсмены получают травмы.) Умозаключение – форма мышления, в которой из двух или нескольких исходных суждений (посылок) вытекает новое суждение (вывод). Законы мышления (законы логики)- это объективные принципы и правила мышления, соблюдение которых всегда приводит рассуждение к правильным выводам.( при условии, что исходные суждения правильны)Закон тождества Закон противоречия Закон исключенного третьего Закон достаточного основания СофизмЛюбой мужчина – человек Женщина – не мужчина ПРИМЕР Следовательно, женщина не человек Понятие – форма мышления, которая обозначает какой-либо объект или его признак. (стол, улыбка, земля, воздух, ребенок, космос)Понятие НЕ= Слово Понятие – мысленное обозначение объекта(мысль о нем) «Форма мышления» Слово – языковое выражение этой мысли. «Форма языка» Суждение – форма мышления, которая состоит из связанных между собой понятий. Суждение обязательно что-нибудь утверждает или отрицает.(Все кошки любят спать. Многие спортсмены получают травмы.) Любое суждение состоит из связанных между собой понятий. Любое суждение выражается в форме предложения. Любое суждение является либо истинным, либо ложным. Суждения бывают простыми и сложными. В Суждении выделяют 4 части: субъект, предикат, связку и квантор Субъект (s) – это то, о чем идет речь в суждении. «Все растения не есть животные» Предикат (P) – это то, что говорится о субъекте. «Все растения не есть животные» Связка – это то, что соединяет субъект и предикат. (есть, является, это и т.п.) «Все растения не есть животные» Квантор – это указатель на объем субъекта. В роли квантора могут быть слова «все, некоторые, каждый второй, половина и т.д.) «Все растения не есть животные» Многие школьники любят математику Умозаключение – форма мышления, в которой из двух или нескольких исходных суждений (посылок) вытекает новое суждение (вывод).Все животные нуждаются в корме Лошади это животные Лошади нуждаются в корме УМОЗАКЛЮЧЕНИЕ Посылки Умозаключения делятся на три вида: дедуктивные, индуктивные и умозаключения по аналогии Дедуктивные умозаключенияВсе хищники едят мясо Лев – это хищник Следовательно, Лев ест мясо. Достоверность выводов Это умозаключения, в которых из общего правила делается вывод для частного случая. Индуктивные умозаключенияэто умозаключения, в которых из нескольких частных случаев выводится общее правило. Катя любит играть Ваня любит играть Настя любит играть Катя, Ваня и Настя – дети. Дети любят играть. Умозаключения по аналогииЭто умозаключения, в которых на основе сходства предметов (объектов) в одних признаках, делается вывод об их сходстве в других признаках. Мотоциклист Ваня обожает свой мотоцикл, быструю езду, ровную дорогу и недолюбливает машины. Мотоциклист Коля обожает свой мотоцикл, быструю езду и ровную дорогу. Вероятно, Коля недолюбливает машины. Закон тождестваЗакон тождества утверждает, что любая мысль должна быть обязательно равна (тождественна) самой себе. Ученики прослушали лекцию учителя.Закон противоречияЗакон противоречия говорит о том, что если одно суждения что-то утверждает, а другое, то же самое, отрицает об одном и том же предмете в одно и то же время и в одном и том же отношении, то они не могут быть одновременно истинными. Закон исключенного третьегоЭтот закон заключается в том, что из двух высказываний – «А» и «не А» – одно обязательно является истинным. Закон достаточного основания Это принцип, согласно которому каждое осмысленное выражение (понятие, суждение) может считаться достоверным только в том случае, если оно было доказано. На улице сильный гололед, (тезис) ведь машины не ездят (основание) Задание:Придумать 5 суждений. Выделить в каждом все части. (2 из них обязательно должны быть с невидимым Квантором) Придумать 3 умозаключения (разного вида) Выделить посылки и умозаключения. Написать тип. |