Статья 206

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

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

Формальный характер рассуждений. Предложения и высказывания.

Характерной чертой дедуктивных рассуждений является их формальный характер.

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

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