Логика

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

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

).

Логическая возможность — это внутренняя непротиворечивость высказывания.

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

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

Предикат — это языковое выражение, обозначающее какое-то свойство или отношение

Закон косвенного доказательства позволяет заключить об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечёт противоречие

Редукция к абсурду (приведение к нелепости) — это рассуждение, показывающее ошибочность какого-то положения путём выведения из него абсурда, т.е. логического противоречия

~(A & B) ↔ (~ A v ~ B).

Словами обычного языка этот закон можно выразить так: отрицание конъюнкции эквивалентно дизъюнкции отрицаний

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

Общая схема умозаключения по аналогии:

Объект A имеет признаки а, b, с.

Объект B сходен с A в том, что имеет признаки а и b.

Значит, объект B имеет, вероятно, и признак с.