Языковая семантика

 

       Тема речь. Язык является универсальным средством выражения содержания мысли.

      §a. Языковые факты. Конкретные акты использования языковой системы называют речью. Процесс употребления языка («узус») сопровождается производством, восприятием звуков устной, письменной речи. Внутренняя речь является уникальным феноменом человеческого мышления. Речь включает употребление языка с целью понимания. Объектами понимания являются информация, сведения, знания об окружающем или внутреннем мире субъекта. Смысловое единство речи выражает волю, эмоции, вопросы, мысли говорящего.

      §b. Анализ предложения. Элементарную единицу речи называют предложением. Предложение – это автономное единство слов и словосочетаний, обладающее смысловой и интонационной законченностью. Организованное единство слов образует синтаксис предложения. Комбинация синтаксических связей формирует простые и сложные предложения (независимые или же основные/подчиненные, относительные).

      Независимые предложения выполняют самостоятельную  назывную функцию. Подчиненные предложения выполняют предикативную функцию, т.е. выражает утверждаемое или отрицаемое понятие относительно субъекта предложения. Сложными называют предложения с несколькими предикативными основами. Предложение, сообщающее о каком-либо факте, действии, событии либо содержащее отрицание их, называют повествовательным. Заключенное в повествовательном предложении утверждение или отрицание отношения предметов и признаков образует суждение. Суждение является утвердительное или отрицательно высказывание об отношении предметов, признаков, предметов и признаков, признаков и предметов.

      Высказывание – одна из категорий, которая употребляется в математической и формальной логике с целью формализации выражения. Примеры высказываний, «Сейчас идёт дождь», «5>3». Такие предложения как «Давай пойдем обедать», «2+3» высказываниями не являются. Для обозначения высказываний принято использовать строчные буквы латинского алфавита. В традиционной логике высказывание обычно имеет только одно логическое значение: истинное или ложное. Многозначность высказываний изучается в неклассических логиках.

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

      § Виды суждений.

      Простые категорические суждения.

      Деление суждений по модальности: алетические (проблематические, ассерторические, аподиктические), нормативные, оценочные, эпистемические, временные.

      Суждения отношения (релятивные суждения).

      Сложные суждения: условные (импликативные) суждения, дизъюнктивные суждения, соединительные (конъюнктивные) суждения, суждения эквивалентности.

      I. Простые категорические суждения.

      § Простые категорические суждения. Суждения, которые состоят из двуместного аргумента, оператора (функтора, связки) представленного, кванторного слова «все» либо «некоторые» - называют суждения являются термины суждения субъект и предикат, связки, кванторы.

      «Суждение – это предложение, утверждающее, что некоторые или все предметы, принадлежащие определенному классу, называемому субъектом, одновременно являются предметами, принадлежащими другому классу, называемому предикатом (ни один предмет принадлежащий классу «субъект» не является принадлежащим классу «предикат» [Л.Кэролл, 11]).» Связка – элемент суждения, соединяющий субъект и предикат. Простые категорические суждения. Терминами простого категорического суждения являются: субъект, предикат, кванторные слова («все», «некоторые»)

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

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

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

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

      § Объединенная классификация простых  категорических суждений по качеству и количеству: общеутвердительные, частноутвердительные, общеотрицательные, частноотрицательные.

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

      Простые категорические суждения вида «Ни одно S не есть (суть) P» называют общеотрицательными.

      Простые категорические суждения вида «Некоторые S есть (суть) P» называют частноутвердительными.

      Простые категорические суждения вида «Некоторые S не есть (суть) P» называют частноотрицательными.

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

      § Распределение терминов в простых  категорических суждениях

      В таблице приведены логические символы суждений по качеству и количеству согласно с их объединенной классификацией по качеству и количеству:

        
 
 
 
 
 
 
 

      Логические  символы, обозначающие вид суждения согласно объединенной логической классификации  суждений взяты из двух латинских  слов «affirmo» (утверждаю) и «nego» (отрицаю)

      § Распределение терминов простом  категорическом суждении. Распределенным называют термин, если он взят в суждении в полном объеме. Надстрочный знак «+» означает, что термин распределен, надстрочный знак «-», что термин нераспределен.

      А

      S – распределен в всем объеме

      P – как правило нераспределен,  или объемы могут совпадать.

      Например, «все прямоугольники с равными сторонами  являются квадратами» (рисунок 2). 

      

        
 
 
 
 
 
 

      Рис.1. Схема распределения объема субъекта и предиката

      в общеутвердительном суждении. Несовпадение объемов. 

        
 
 
 
 
 

      Рис.2. Схема субъекта и предиката в  общеутвердительном суждении. Совпадение объемов.

 

      

      

      E

      S – распределен во всем объеме

      P – распределен во всем объеме 
 
 

      Рис.3. Схема субъекта и предиката в общеотрицательном суждении.

      Несовместимость объемов. 
 

      I

      S – всегда нераспределен

      P – как правило нераспределен

      O

      S – всегда не распределен

      P – всегда распределен 

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

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

      Графическая схема отношений категорических суждений, имеющих одинаковые термины, называют логическим квадратом.

      В.Модальные  суждения.

      §e. Деление суждений по модальностям.  Предложения, предикат которых дополнен значением необходимости, случайности, возможности называются модальными. Модальность выражается различными словами: «действительно», «возможно», «необходимо», «вероятно», «доказуемо», «опровержимо», «разрешено» и т.п. Классы логических модальностей, представляют различные свойства предикатов.

      Алетические (классические, или аристотелевские модальности):

      «необходимо», обозначаемо  ,

      «случайно», обозначаемо  ,

      возможно, обозначаемо  ,

      невозможно, обозначаемо  .

      Эпистемические (относящиеся к познанию):

      «известно посредством i», обозначаемо Ki ,

      «опровержимо»,

      «исключено»,

      «допустимо»,

      «общепринято  в группе G», обозначаемо C_G.

      Деонтические (относящиеся к нравственности):

      «обязательно», обозначаемо O,

      «запрещено», обозначаемо I,

      «позволено», обозначаемо P,

      «необязательно», обозначаемо F.

      Темпоральные (относящиеся ко времени)

      «всегда», обозначаемо *,

      «однажды», обозначаемо ,

      «никогда», обозначаемо  ,

      «завтра», обозначаемо X,

      «вплоть до», бинарный оператор обозначаемый U,

      «отныне», обозначаемо G,

      «когда-нибудь (потом)», обозначаемо F,

      «всегда (тогда)», обозначаемо H,

      «однажды (тогда)», обозначаемо P.

      Доксиатические (относящиеся к верованиям и убеждениям):

      «верю», обозначаемо B.

      Контрафактуальная (относящееся к существующему):

      Если  известно, что A было истинно, то откуда известно, что A не истинно.

      Динамические (эффект воздействия, обозначаемый a):

      Существует  такое исполнение a, что после a, p является истинным, обозначаемо .