ЛОГИКА – Термин «логика» - от древнегреческого logos, «слово, мысль, понятие, рассуждение, закон». совокупность правил, которым подчиняется процесс мышления Основные формы мышления Понятия СужденияУмозаключения
Понятие – форма мышления, в которой отражаются существенные признаки предмета или класса предметов, отличающие его от других. Вопрос 1. Выражают ли следующие слова и словосочетания одни и те же понятия? ЗапискаШпаргалка Закон Правило СпутникТоварищКомпаньон Годовщина День рождения Юбилей ДубраваЛес Роща
Высказывание (суждение) – - некоторое предложение, которое может быть истинным (верным) или ложным. - мысль, в которой что-либо утверждается или отрицается о предметах. Вопрос 2. Какие предложения являются суждениями ? Рукописи не горят. Всем привет! Да здравствуют каникулы! Незнание не довод. В каком месяце люди меньше всего разговаривают?
Умозаключение – прием мышления, позволяющий на основе одного или нескольких суждений получить новое суждение (знание или вывод) Если ты не глуп как пробка, то не полезешь в бутылку Все гусеницы едят капусту. Я ем капусту. Следовательно, я гусеница. Примеры
I этап (формальная логика) связан с работами ученого и философа Аристотеля (384 – 322 гг. до н.э.) Он пытался найти ответ на вопрос «как мы рассуждаем», изучал правила мышления. Аристотель впервые отделил логические формы мышления от его содержания, дал систематическое изложение логики. Этапы развития логики
Формальная логика связана с анализом наших обычных содержательных умозаключений, выражаемых разговорным языком. Формальная логика позволяет делать заключения о правильности некоторого суждения не по его фактическому содержанию, а только по форме его построения.
Математическая логика – алгебра логики (алгебра высказываний).
Алгебра логики – мощное средство разработки, анализа и совершенствования логических схем, на которых основана вся работа ПК.
I. Закон исключения третьего. 3 закона формальной логики «Во время своих странствований Платон был в Египте ИЛИ не был Платон в Египте». Придумать свой пример и записать в тетрадь. Любое высказывание, имеющее такую форму, всегда будет ИСТИННО.
II. Закон непротиворечивости 3 закона формальной логики «Во время своих странствований Платон был в Египте И не был Платон в Египте». Любое высказывание, имеющее такую форму, всегда будет ЛОЖНО. Придумать свой пример и записать в тетрадь.
III. Закон отрицания отрицания. «Если НЕ ВЕРНО, что Платон НЕ был в Египте, то, значит, Платон был в Египте». 3 закона формальной логики Придумать свой пример и записать в тетрадь.