'

Понятие логики

Понравилась презентация – покажи это...





Слайд 0

Понятие логики


Слайд 1

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


Слайд 2

Похазникова Валерия Из истории возникновения логики Основоположником науки считают древнегреческого мыслителя Аристотеля (384 -322гг. до н. э.). Он пытался найти ответ на вопрос "как мы рассуждаем", изучал правила мышления. Аристотель впервые дал систематическое изложение логики. Он подвергал анализу человеческое мышление, его формы - понятие, суждение, умозаключение, и рассмотрел со стороны строения, структуры, то есть с формальной стороны. Так возникла формальная логика - наука пытавшаяся найти ответ на вопрос, как мы рассуждаем, изучающая логические операции и правила мышления.


Слайд 3

Из истории возникновения логики Рене Декарт (1596-1650). – Внес большой вклад в развитие логики. Он считал, что человеческий разум может постигнуть истину, если будет исходить из достоверных положений, сводить сложные идеи к простым, переходить от известного и доказанного к неизвестному, избегая каких-либо пропусков в логических звеньях исследований. Фактически Декарт рекомендовал науке о мышлении - логике - руководствоваться общепринятыми в математике принципами.


Слайд 4

Из истории возникновения логики Основоположником математической логики считают великого немецкого математика и философа Готфрида Вильгельма Лейбница (1646-1716). Он попытался построить первые логические исчисления: арифметические и буквенно-алгебраические, что можно заменить простые рассуждения действиями со знаками, и привел соответствующие правила. Он одним из первых использовал для решения задач изображения кругов.


Слайд 5

Из истории возникновения логики Метод использования для решения задач изображения кругов развил швейцарский математик Леонард Эйлер (1707—1783). Он долгие годы работал в Петербургской Академии наук. К этому времени относятся его знаменитые «Письма к немецкой принцессе», написанные в период с 1761 по 1768 год. В некоторых из этих «Писем...» Эйлер как раз и рассказывает о своем методе.


Слайд 6

Из истории возникновения логики Графический решения задач метод разрабатывал чешский математик Бернард Больцано(1781—1848). Только в отличие от Эйлера он рисовал не круговые, а прямоугольные схемы. Методом кругов Эйлера пользовался и немецкий математик Эрнест Шредер (1841—1902). Этот метод широко используется в его книге «Алгебра логики». Но наибольшего расцвета графические методы достигли в сочинениях английского логика Джона Венна (1843 —1923). С наибольшей полнотой этот метод изложен им в книге «Символическая логика», изданной в Лондоне в 1881 году. В честь Венна вместо кругов Эйлера соответствующие рисунки называют иногда диаграммами Венна; в некоторых книгах их называют также диаграммами (или кругами) Эйлера-Венна.


Слайд 7

Из истории возникновения логики Джордж Буль (1815 — 1864 г.) создал алгебру, в которой буквами обозначены высказывания, и это привело к алгебре высказываний. Сочинение Джорджа Буля, в котором подробно исследовалась эта алгебра, было опубликовано в 1854 г., то есть почти 150 лет тому назад. Оно называлось «Исследование законов мысли» («Investigation of the Laws of Thought»). Отсюда ясно, что Буль рассматривал свою алгебру как инструмент изучения законов человеческого мышления, то есть законов логики.


Слайд 8

Из истории возникновения логики В конце XIX века, когда стала ясна необходимость обоснования понятий и идей самой математики, определилось главное назначение математической логики. Эти задачи имели логическую природу и, естественно, привели к дальнейшему развитию математической логики. В этом отношении показательны работы немецкого математика Г. Фрёге (1846-1925 г.) и итальянского математика Д. Пеано (1858 -1932 г.), которые применили математическую логику для обоснования арифметики и теории множеств.


Слайд 9

Из истории возникновения логики Лишь в 1938 году выдающийся американский математик и инженер Клод Шеннон обнаружил, что алгебра логики приложима к любым переменным, которые могут принимать только два значения. Например, к состоянию контактов: включено - выключено или напряжению (или току): есть - нет, которыми представляется информация в ЭВМ.


Слайд 10

Логика Суждения Понятия Умозаключение содержание объем общие частные единичные дедукция индукция аналогия


Слайд 11

Понятие Понятие – это форма мышления, в которой отражаются существенные признаки отдельного предмета или класса однородных предметов. Всякое понятие имеет содержание и объем Например, понятие “Красная площадь” – отражает единичный предмет, “Сиамская кошка” – отражает класс сиамских кошек. Содержание понятия – совокупность существенных признаков множества, отраженных в этом понятии. Например, понятие “квадрат” – прямоугольник, имеет равные стороны. Объем понятия – множество предметов, которые мыслятся в понятии. Например, под объемом понятия “лев” подразумевается множество всех львов, которые существовали, существуют и будут существовать.


Слайд 12

Похазникова Валерия Суждения (высказывания) Высказывание (суждение) – повествовательное предложение, о котором можно сказать истинно оно или ложно. Бывают простые и сложные (объединяют несколько простых).


Слайд 13

Суждения (высказывания) Предложения типа "в городе A более миллиона жителей", "у него голубые глаза" не являются высказываниями, так как для выяснения их истинности или ложности нужны дополнительные сведения: о каком конкретно городе или человеке идет речь. Такие предложения называются высказывательными формами.


Слайд 14

Умозаключение это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение). Умозаключения бывают: Дедуктивные (от общего к частному) – Все ученики ходят в школу. Коля – ученик. Коля ходит в школу. Индуктивные (от частного к общему) – Абрикос и персик – сладкие. Значит, все фрукты сладкие на вкус. Аналогия – Наши коровы едят траву и дают молоко. В Австралии есть поля, коровы едят эту траву. Следовательно, австралийские коровы тоже дают молоко.


Слайд 15

Обозначения Логические величины – это понятия выражаемые словами И или Л. Логическая переменная – это символически выраженная логическая величина. Логическое выражение – это простое или сложное высказывание о котором можно сказать И оно или Л.


Слайд 16

Похазникова Валерия Какие из предложений являются высказываниями? Определите их истинность. Число 6 – четное. Посмотрите на доску. Все роботы являются машинами. У каждой собаки есть хвост. Внимание! Кто отсутствует? Есть кошки, которые дружат с собаками. Не все то золото, что блестит. Х2>=0 Некоторые люди являются художниками. Выразите 1 час 15 минут в минутах. Всякий моряк умеет плавать.


Слайд 17

Какие из предложенных высказываний являются общими? Не всякие книги содержат полезную информацию. Кошка является домашним животным. Все солдаты храбрые. Ни один внимательный человек не совершит оплошность. Некоторые ученики двоечники. Все ананасы приятны на вкус. Мой кот страшный забияка. Любой неразумный человек ходит на руках.


Слайд 18

Какие из приведенных высказываний являются частными, единичными? Некоторые мои друзья собирают марки. Все лекарства неприятны на вкус. А – первая буква в алфавите. Некоторые медведи – бурые. Тигр – хищное животное. У некоторых змей нет ядовитых зубов. Многие растения обладают целебными свойствами. Все металлы проводят тепло.


Слайд 19

Укажите для нижеприведенных суждений, составные они или простые, истинные или ложные, общие или частные:


×

HTML:





Ссылка: