Имя – это слово или словосочетание, обозначающее какой-либо предмет. Смысл имени – это выраженная в языке информация, которая позволяет отличать предметы, являющиеся значением имени, о всех других предметов.
Лекция №3. 20 сентября 2011 г.
Имена делятся на единичные и общие. Значением единичного имени является единственный предмет. А общее имя обозначает более одного предмета. Множество предметов, являющихся значением имени, называется объемом имени.
Единичное имя – множество, состоящее из одного предмета. Объем мнимого имени – пустое множество.
1. Принцип предметности.В предложениях должно говориться о значениях имен, а не о самих именах. Этот принцип сформулирован как раз, чтобы дать понять, что иногда мы можем говорить об именах.
2. Принцип однозначности
3. Принцип взаимозаменяемости
Выражение, выступающее в качестве единичного имени, должно быть именем единственногопредмета. А в качестве общего – именем предметов одного класса.
Семантика изучает тематические категории выражений языка. Выделяют такие классы категорий:
1. Предложения; они делятся на выражающие осуждение, вопросы, нормы.
2. Части предложений. Среди частей предложений выделяют следующие: 1) логические термины; 2) дескриптивные или нелогические термины. Логические – союзы, кванторные выражения, «есть», «следовательно» и т.д. Дескриптивные – единичные имена, общие имена
1. Простые суждения
2. Сложные суждения
3. Виды отношений между суждениями
4. Отрицание суждений
Суждение – есть мысль, в которой выражается наличие каких-либо ситуаций.Простымназывается суждение, в котором нельзя выделить часть, являющуюся суждением. Основными видами простых суждений являются:
1) Атрибутивные –суждения свойств, их еще называют категорическими. В них выделяются субъекты, предикаты (определения), связки. Они делятся по качеству на утвердительные и отрицательные. По количеству делятся на единичные, общие и частные. Объединенное деление – общеутвердительные (A), общеотрицательные (I), частноутвердительные (E), частноотрицательные (O), единичноутвердительные, единичноотрицательные.
2) Суждения об отношениях – суждения, в которых говорится о том, что определенное отношение имеет место между элементами групп предметов («Москва больше Рязани»)
3) Сложные суждения– можно выделить часть, являющуюся суждением. Образуются при помощи логических союзов. Соединительные – утверждают наличие двух или более ситуаций. «И» - конъюнкция. Суждения с ним – неопределенно конъюнктивные. Две и более ситуаций – последовательно-конъюнктивные. Одновременно-конъюнктивные – одновременно происходят ситуации. Таблица истинности при конъюнкции:
При трехместной дизъюнкции – только один должен быть верен.
Условные суждения – наличие одной ситуации обуславливает наличие другой. Условия могут быть «достаточными, но не необходимыми», «необходимыми, но не достаточными», «необходимыми и достаточными».
Суждение эквивалентности – устанавливается взаимная обусловленность двух ситуаций. Основание – достаточное и необходимое условие.
Суждение с внешним отрицанием – утверждается отсутствие некого положения дел. «Неверно что…»
Модальные суждения (ассерторические) – суждения с неполной информацией. Алетические модальные суждения – характеризуют ситуации в качестве необходимых, случайных, возможных. Делятся на логические (все что не противоречит законам формальной логики) и онтологические (фактические).
Термин в суждении распределен, если и только если о взят в полном объеме, а при решении вопроса об истинности суждения следует исследовать все элементы объема термина.
В общих и личных суждениях распределены субъекты, а в отрицательных – предикаты. Остальные термины не
