Начнем? ЛОГИКА. Урок 1:
Главная идея урока
Логика — это про форму рассуждений, а не про то, правда ли сами факты. Рассуждение может быть логически корректным, даже если факты ложные. И наоборот: рассуждение может опираться на правду, но быть логически ошибочным.
Пример
Все люди — кошки.
Сократ — человек.
Следовательно, Сократ — кошка.
По факту это полная ерунда, но формально структура правильная: если принять обе посылки как истинные, вывод обязан быть истинным.
Это и есть суть: логика отделяет форму от содержания.
Два ключевых понятия: истинность и корректность
Истинность — про соответствие реальности: «идёт дождь» либо правда, либо нет.
Корректность (валидность) — про структуру: «если из A и B следует C, и мы приняли A и B, то C обязано быть верным».
Можно иметь:
Истинные посылки + корректное рассуждение = хороший результат.
Ложные посылки + корректное рассуждение = формально верный вывод, но по смыслу — ерунда.
Истинные посылки + некорректное рассуждение = ошибка в выводе.
Post #614
41