Логическая грамматика

3. Логическая грамматика.

Из грамматики хорошо известно деление предложений на части речи – существительное, прилагательное, глагол и т. д. Деление языковых выражений на семантические категории, широко используемый в логике, напоминает это грамматическое подразделение и в принципе произошло из него. На этом основании теорию семантических категорий иногда называют «логической грамматикой». Ее задача – предотвращать смешение языковых выражений разных типов, которые ведет к образованию бессмысленных выражений.

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

Именами являются языковые выражения, подстановка которых в форму «S есть P» вместо переменных S и P дает осмысленное предложение.

Предложение (высказывание) – это языковое выражение являющееся истинным или ложным.

Функтор – это языковое выражение, не являющееся ни именем, ни высказыванием и служащее для образования новых имен или высказываний из уже имеющихся.

Имена.

1. Виды имен.

Имена – необходимое средство познания и общения. Обозначая предметы и их совокупности, имена связывают язык с реальным миром. Имена естественны и причинны, как те вещи, с которыми они связаны.

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

Выражение языка является именем, если оно может использоваться в качестве подлежащего «S есть P» (S – подлежащее, P – сказуемое).

2. Отношение между именами.

Содержание имени – это совокупность тех свойств, которые присуще всем предметам, обозначаемым данным именем, и только им.

Объем имени – это совокупность, или класс, тех предметов, которые обладают признаками, входящими в содержание имени.

3. Определение

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

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

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

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

К явным определениям и, в частности, к родо-видовым предъявляются ряд достаточно простых и очевидных требований. Их называют обычно правила определения:

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

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

·         Определение должно быть ясным.

4. Деление.

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

Требования, предъявляемые к делению, достаточно просты:

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

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

·         Члены деления должны взаимно исключать друг друга. Согласно этому правилу, каждый отдельный предмет должен находиться в объеме только одного видимого понятия и не входить в объем других видов понятий.

·         Деление должно быть непрерывным. Это правило требует не делать скачков в делении, переходить от исходного понятия к однопорядочным видам, но не к подвидам одного из таких видов.

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

Классификация – это многоступенчатое, разветвленное деление. Результатом классификации является система соподчиненных имен: делимое имя является родом, новые имена – видами, видами видов (подвидами).

Высказывания.