Что такое вывод?

Для более точного определения предмета математической логики следовало бы уточнить, что подразумевается под термином логически правильного вывода. Чтобы сформулировать хотя бы одно временное определение, рассмотрим пример вывода. (В соответствии с традиционной формой записывания, предпосылки отделяются от окончательного вывода горизонтальной чертой):

(Предпосылки) Если будет раздача премии, то мы выполнили план.

Будет раздача премии.

(Окончательный вывод) Мы выполнили план.

Если принять правильность предпосылок, то следует принять и правильность окончательного вывода. Другой, аналогичный пример :

Если мне выпадет туз, то я иду ва-банк.

Мне выпал туз.

Я иду ва-банк.

Обычно вместо предложений (мне выпал туз) и (я иду ва-банк) могут быть записаны любые такие изъявительные предложения, значения которых может быть правильно или ложно; следует оставить неизменными только расположение слов «если» и «то» и расположение предположений, то есть структуру вывода. Пусть, А и В обозначает любые заменяющие предложения. Структуру вывода можно выразить следующей схемой;

Если А, то В А.

В Под определением, что данная схема представляет собой (логически правильную) схему выводов, подразумевается следующее. Если вместо, А и В подставить такие предложения, что предпосылки, полученные в результате замены, будут правильными, то и окончательный вывод будет правильным. Любой человек, который понимает значение союзов «если. .. то», поймет, что это правильная схема вывода. В схеме вывода фигурируют несколько слов с постоянным значением, далее несколько символов (букв) с меняющимся значением. Символы с меняющимся значением могут быть переменными разных типов. В соответствии с их типом вместо символов могут быть подставлены разные грамматические формации (например: изъявительные предложения, слова, выражающие свойства, названия предметов и т. д.). В предыдущем примере переменные, А и В заменяются только изъявительными предложениями. На основе «регулярной» замены переменных некоторой (правильной) схемы вывода должен возникать правильный вывод.

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

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

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

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