4.Учение логики об именах.

Учение об именах,называемое теорией именования,относительно полно разработано немецким ученым Фреге.Основным понятием теории именования стало имя. Имя-это слово или словосочетание,обозначающее какой-либо предмет. Поскольку имя является знаком,оно имеет смысл и значение. Значение имени-это предмет,обозначаемый этим именем.Смысл-это информация о предметах,которую выражает имя.

Различают имена  двух типов. Имя,относящееся к первому типу(ЕДИНИЧНЫЕ),обозначает один предмет.Имя второго типа(ОБЩИЕ) является общим для предметов некоторого класса. Класс,который составляют предметы,являющиеся значениями имени,называется объемом имени. Объем единичного имени-класс,состоящий из одного предмета.Общие имена могут быть универсальными. Также имена могут обозначать несуществующие предметы,мнимые(русалка,самая удаленная точка Вселенной)

5.Основные семантические категории выражений языка.

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

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

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

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

К дескриптивным  терминам относятся:1)единичные имена 2)общие имена 3)знаки свойств и  отношений 4)знаки признаков 5) знаки  предметных функций.

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

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

Отношение «Больший,чем»-двухместное,так как для получения истинного или ложного предложения его необходимо отнести в мыслях к паре предметов.Отношение «расположенный между»-трехместное,его необходимо отнести к тройке предметов,чтобы получить истинное или ложное предложение. 

6. Суждение. Простое суждение.:атрибутивные и суждения об отношениях.

Суждение-это мысль,в которой утверждается наличие или отсутствие свойств у предметов,отношений между предметами,связей между ситуациями. В языке суждение ,как правило, выражается повествовательным предложением и может оцениваться в качестве истинного или ложного.

Примеры суждений: «Луна светит отраженным светом»,»некоторые люди думают,что они живут, а на самом деле им это только кажется».

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

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

В каждом атрибутивном суждении есть :

1) Субъект логическое  подлежащее

     Субъект  – термин, указывающий на предмет  мысли (города)

2) Предмет сказуемое – термин, указывающий на то, что говориться о примете мысли.

3) Связка – термин, указывающий на наличие или  отсутствие свойств или отношения.

Связка всегда есть, но не всегда явно отражена

Связка может быть:

1) утвердительной

2) Отрицательной

На предлоги падает логическое ударение.

4) Кванторы – термины,  дающие количественную квалификацию.

-Квантор общности  – . Утверждение относится к каждому предмету класса. «каждый», «всякий», «любой», «все», «ни один».

              -Квантор существования З «существуют», «найдётся», «большинство», «многие».

Атрибутивные суждения делятся на виды «по качеству»  и по «количеству»:

По качеству:

• Утвердительные

• Отрицательные

По количеству

• Единичное(принадлежность/непринадлежность предмета классу предметов,например:»Австрия-европейская страна»)

• Частное(в них выражается частичное включение/невключение класса предметов в класс предметов например:Некоторые философы являются ораторами»)

• Общее(включение/невключение класса предметов в класс,пример:»Ни одна звезда не является обитаемой»)

 

Общие утверждения

• Все S есть Р

Обще-утвердительные суждения

• Некоторые S есть Р

Общее – отрицательные суждения

• Ни один S не есть Р

Частно - отрицательные  суждения

• Некоторые S не есть Р

Единично-утвердительные суждения

• А есть Р

Единично-отрицательные

• А не есть Р

 

Суждение об отношениях-суждения, в которых говорится о том,что определенные отношения имеют/не имеют место между элементами пар,троек и т.д. предметов. Например:»Москва больше Рязани»

Суждения об отношениях делятся по 1)качеству на

-утвердительные(в них говорится о том ,что предметы находятся в определенном отношении)

-отрицательные(в них говорится о том,что предметы не находятся в определенном отношении)

                                                                      по 2)количеству на

-единично-единичные(«Иванов выше Петрова»)

-обще-общее(«Каждый студент нашей группы знает каждого преподавателя нашего факультета»)

-частно-частное(«Некоторые студенты нашей группы знают некоторых чемпионов мира»)

-единично-общее(«Иванов знает каждого студента первого курса филологического факультета»)

-единично-частное(«Иванов изучает некоторые науки»)

-обще-единичные(«Все студенты нашей группы изучают английский язык»)

-частно-единичное(«Некоторые студенты нашего курса изучают франц. Язык»)

-обще-частные(«Каждый студент нашей группы знает какого-нибудь академика»)

-частно-общее(«Некоторые студенты нашей группы знают каждого футболиста московского»Динамо»)