Но нет имен с одним и тем же смыслом, но разными объемами.

Имена могут быть действительными (в объем которых входит класс действительно существующих предметов (и пустыми, мнимыми.)

В естественных языках некоторые выражения в зависимости от контекста обозначают различные предметы и имеют различный смысл (слово «крыша» в русском языке).

Такая ситуация недопустима в языке науки, который подчиняется трем нормативным принципам:

1) принципу предметности. В высказывании должно утверждаться илиотрицаться нечто о значениях имен, входящих в предложении, а не о самих именах. Так в учебнике А.И. Кравченко «Культурология» есть определение предмета культурологии (с. 10) Предметом культурологии выступает понятие культуры. Здесь явно нарушается принцип предметности. Предметом культурологии является культура как явление (феномен) социального бытия.

2) Принцип однозначности. Выражение, используемое в качестве имени должно быть именем только одного предмета, если это единичное имя, а если это общее имя - обозначать предметы только одного класса. К нарушению этого требования часто прибегали софисты в своих спорах (например, «отец собаки»).

3) Принцип взаимозаменяемости. если в сложном имени заменить часть, являющуюся именем другим именем, то значение, полученного в результате такой замены сложного имени должно быть тем же, что у исходного сложного имени. Пусть дано предложение. «Земля вращается вокруг Солнца.» Заменим имя Солнце на «центральное тело солнечной системы», получим истинное высказывание.

Принцип взаимозаменяемости кажется естественным, но можно привести примеры подстановки имен, которые ему противоречат. Рассмотрим предложение. «Птоломей считал, что Солнце вращается вокруг Земли» Заменим понятие «Солнце» на «центральное тело солнечной системы» имеющее то же значение и получим ложное высказывание. Для Птоломея эти два понятия не совпадали по содержанию. Так как для него центральным телом солнечной системы была Земля. Такие несоответствия принципу взаимозаменяемости называются антиномиями отношений именования. Нечто подобное мывстречали в споре Протагора и Эватла.

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

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

Среди выражений, входящих в предложения и играющих в них самостоятельную роль, выделяют:

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

2)предикаты - слова или словосочетания, обозначающие признаки предметов. Предикаты включают в себя как наличие свойства или отношения так и его отсутствие. «У него нет высшего образования. «нет высшего образования» это предикат, через отрицание указывающий на признак предмета.

3) Функторы - это знаки, которые обозначают качества, выражающие предметно- функциональные характеристики. В естественном языке примером такого рода знаков могут быть слова «скорость», «возраст», «пол», «масса», «национальность». В языке математики – это знаки для обозначения функций lg, sin, арифметические действия.

Кроме того, в языке встречаются так называемые логические постоянные (термины). В естественном языке имеются слова и словосочетания «и», «или», «эквивалентно», «всякий», «не». «Неверно, что», «Если, то..» и др.

В символической логике эти выражения классифицируются и получают символическое выражение.

1) Конъюнкция – знак & или ^ соответствует союзу «и»;

Например, Свидетель не явился на судебное заседание и оно не состоялось. А & В.

2 ) Дизъюнкция – знак v соответствует союзу «или».

Например, По форме вины преступления могут быть либо, умышленными либо по неосторожности. Строгая и нестрогая дизъюнкция. Это строгая, а нестрогая Он свидетель или потерпевший. А v В

3 ) Импликация – знак -> «Если.., то …»

Например, Если установлено, что Б. завладел имуществом Н. с применением насилия, содеянное им подлежит квалифицировать в качестве грабежа или разбоя. А -.> (В v C)

4 ) Отрицание – это знак соответствует словам «не» «неверно», обозначается ~,

Например, Неверно, что это кража.. ~А

5) эквиваленция – знак, соответствует союзу «если и только если …, то…»

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

А < -> В

Кванторы:

1) Квантор существования соответствует словам «некоторые», «существует»;

некоторые преступления совершаются по неосторожности.

2) Квантор общности соответствует словам «всякий», «все». «каждый» «Ни один»

Например, всякое имущество находится в чьей либо собственности.

Ни один адвокат не является прокурором.

Для простых высказываний в сложных используются буквы А, В, С. Д и пр. или p, q, r, s.