Содержание1. Семантические категории языка: дескриптивные и логические термины 3
2. Действие закона обратного соотношения объема и содержания понятия 4
3. Логическая характеристика понятий 5
4. Виды определений 7
5. Деление понятий 8
6. Простое суждение 9
7. Сложное суждение 9
8. Истинность суждения 10
9. Простой категорический силлогизм 11
10. Индуктивные умозаключения 11
Список литературы 13Введение1. Семантические категории языка: дескриптивные и логические термины
Выражения (слова и словосочетания) естественного языка, имеющие какой - либо самостоятельный смысл, можно разбить на так называемые семантические категории, к которым относятся:
1) предложения: повествовательные, побудительные, вопросительные;
2) выражения, играющие определенную роль в составе предложений: дескриптивные и логические термины.1
Суждения выражаются в форме повествовательных предложений (например: "Киев - город"). В этих суждениях субъектом является "Киев", а предикатом "город".
К дескриптивным (описательным) терминам относятся:
1. Имена предметов - слова или словосочетания, обозначающие единичные (материальные или идеальные) предметы ("Аристотель", "первый космонавт", "7") или классы однородных предметов (например, "пароход", "книга", "стихотворение" и др.).
В суждении "Енисей - река Сибири" встречаются три имени предмета: "Енисей", "река", "Сибирь". Имя предмета "Енисей" выполняет роль субъекта, а имена "река" и "Сибирь" входят в предикат ("река Сибири") как его две составные части.
2. Предикаторы (знаки предметно-пропозициональных функций) - слова и словосочетания, обозначающие свойства предметов или отношения между предметами (например, "порядочный", "красный", "электропроводный", "есть число" и др.). Предикаторы бывают одноместные и многоместные. Одноместные предикаторы обозначают свойства (например, "талантливый", "горький", "большой"). Многоместные предикаторы обозначают (выражают) отношения. Двухместными предикаторами являются: "равен", "больше", "помнит", "мать" и др. Например: "Площадь земельного участка А равна площади земельного участка В", "Мария Ивановна - мать Сережи". Пример трехместного предикатора - "между" (например: "Город Москва расположен между городами Санкт - Петербург и Ростов - на - Дону").
3. Функциональные знаки (знаки именных функций) - выражения, обозначающие предметные функции, операции ("ctg B", "+" и др.).
Кроме того, в языке встречаются так называемые логические термины (логические постоянные, или логические константы).
В естественном языке имеются слова и словосочетания: "и", "или", "если…то", "равносильно", "кроме" и многие другие, выражающие логические константы (постоянные).
В символической (или математической) логике в качестве таких констант обычно используются конъюнкция, дизъюнкция, отрицание, импликация, эквиваленция, кванторы общности и существования и некоторые другие.
Конъюнкция соответствует союзу "и". Конъюнктивное высказывание обозначается: а ^ в или а & в (например: "Закончились лекции (а), и студенты пошли домой (в)").
Дизъюнкция соответствует союзу "или". Дизъюнктивное суждение обозначается: а v в.
Импликация соответствует союзу "если…то". Условное суждение обозначается: а > в.
Эквиваленция соответствует словам "Если и только если", "Тогда и только тогда, когда".
Отрицание соответствует словам "не", "наверно, что".
Квантор общности - "все", "каждый", "ни один".
Квантор существования - "некоторые", "существует".Литература1. Берков В. Ф.,: Учебное пособие для вузов. - Минск: НТООО "Тетра Системс", 1997, - 416 с.
2. Войшвилло Е. К. Понятия как форма мышления. М., 1989. 321 с.
3. Гетманова А. Д. Логика. - М.: Новая школа, 1995. 416 с.
4. Гладкий А. В. Введение в современную логику. - М., 2001. 192 с.
5. Иванов Е. А. Логика. - Учебник. - М.: Издательство БЕК, 1996. - 309 с.
6. Курбатов В. И. Логика. Учебное пособие для студентов вузов. - Ростов - на- Дону: Феникс, 2001. - 320 с.
7. Кириллов В. И. , Старченко А. А. Логика: Учебник. - М. : Высшая школа, 1982.
|
|
