Формы мышления в логике

Основные этапы

развития логики

Формальная логика

Математическая логика

Математическая логика

(Булева алгебра)

Далее

Основатель – Аристотель -

(384-322 г. до н. э.)

ввел основные формы абстрактного мышления.

Назад

Основатель - немецкий ученый и философ Лейбниц (1642-1716) – предпринял попытку логических вычислений.

Назад

Основатель – английский математик Дж. Буль (1815-1864) – ввел алфавит, орфографию и грамматику для математической логики.

Назад

Начало

Далее

Форма мышления, в которой отражаются существенные признаки отдельного предмета или класса однородных предметов.

Назад

совокупность существенных признаков, отраженных в понятии.

Назад

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

( отношение понятий по объёму )

Тождество

Исключение

В

А

А

В

Подчинение

В

А

Соподчинение

Пересечение

С

А

В

А

В

Назад

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

не соответствует реальной действительности

связь понятий в нем правильно отражает свойства и отношения реальных вещей

Назад

Употребляемые в обычной речи слова и словосочетания

"не", "и", "или", "если... , то",  "тогда и только тогда" и другие позволяют из уже заданных высказываний строить новые высказывания.

Такие слова и словосочетания называются

логическими связками .

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

• Завтра будет хорошая погода.
• Мы хотим пойти за грибами.
• Я видел Мишу в школе.
• Он скоро окончит институт
• Он будет учиться в аспирантуре.

Примеры сложных высказываний:

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

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

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

Назад

Общее

Частное

Общее

Частное

Посылками умозаключения по правилам логики могут быть только истинные высказывания.

верные умозаключения :

неверные умозаключения:

Все зебра полосаты.

Все люди смертны.

Это животное полосато.

Сократ – человек.

Сократ смертен.

Это животное – зебра.

Все школьники – отличники.

Все граждане России имеют

право на отдых.

Вовочка – школьник.

Я – гражданин России.

Вовочка – отличник.

Я имею право на отдых.

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

Назад