Логический анализ языка

Пояснения и определения

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

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

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

(1)

Группа связок, работающих на высказываниях (пропозициональные связки)

отрицание (не, неверно, что)

и

или

если – то

эквивалентно (если и только если, тогда и только тогда)

(2)