Парадигмы формальной логики.

1. Правильность рассуждения (умозаключения, вывода, доказательства) зависит только от его формы и не зависит то его конкретного содержания.

2. Истинность и правильность мышления суть различных объектов:

• истинность характеризует рассуждение в его отношении к действительности;

• правильность характеризует рассуждение в его отношении к законам и правилам логики.

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

Пример. Все металлы – твердые тела.

Ртуть – не твердое тело.

Ртуть - не металл.

Это правильное умозаключение логично (из-за логики первой посылки).