Презентация, доклад на тему Основы формальной логики

человеческого мышления.

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

Демокрит

Евклид

Декарт

Аристотель

греческого «logos» и означает «мысль, мышление, речь, разум, смысл…». Основоположником логики считают древнегреческого философа Аристотеля, жившего в 384- 322 г.г. до н.э Он впервые систематизировал формы и правила мышления, обстоятельно исследовал категории «понятие»

Историческая справка

и «суждение», подробно разработал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления.

Аристотель

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

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

Примеры понятий: шапка, цветок, река Обь, Сократ.

Понятие имеет две логические характеристики :
содержание и объём

Понятие

множество электронных устройств, предназначенных для обработки информации куда входят монитор и клавиатура.
Объем понятия – множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятия.
Например: объем понятия ученики 9 г класса – это множество учеников {Иванов Михаил, Петров Артём и т.д.}

Венна

&

I

ученики вашего класса;
А – ученики вашего класса, которые занимаются спортом;
В – ученики вашего класса, которые любят математику;
С – ученики вашего класса, которые учатся без троек

Задание

Возможное решение:

предметах, их свойствах или отношениях между ними.

Примеры суждений:
Сейчас идёт урок информатики.
Все школьники отличники.

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

Например, Петя отличник – простое суждение, а Петя отличник и спортсмен – сложное, состоящее из двух простых.

Суждение (высказывание, утверждение)

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

Например.
Х- человек (предикат 1-го порядка т.к. один из терминов является неопределенным понятием);
У любит Z (предикат 2-го порядка т.к. не определены 2 термина);
В предикатах третьего порядка не определены 3 термина.

несколько
суждений (посылок) может быть получено
новое высказывание (вывод).

Например.
Все металлы проводники.
Железо – металл.
Вывод – железо проводит электрический ток.

общему),
по аналогии (из общности одних свойств, процессов и отношений у сравниваемых объектах следует общность других свойств и отношений ).

Пример1. Все металлы – проводники. Ртуть – металл. Ртуть – проводник.

Пример2. Ртуть – проводник, железо – проводник ит.д. Все металлы – проводники.

Пример3. Химический состав Солнца и Земли схожи. На Земле обнаружен гелий. Значит и на Солнце есть гелий.

В- множество хищников,
С- множество тигров,
D- множество косуль,
E- множество китов.