Автор работы: Пользователь скрыл имя, 05 Апреля 2012 в 23:13, контрольная работа
Семантическая категория – это класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметным значением данного типа.
Такими классами являются имена, предикторы, предметные функторы, логические термины, повествовательные предложения.
Имена – слова и словосочетания, являющиеся знаками предметов.
Предикторы – выражения языка (слова и словосочетания), предметными значениями которых являются свойства (одноместные предикторы) и отношения (многоместные предикторы).
Федеральное агентство по образованию
Московский государственный университет
экономики, статистики и информатики
Белгородский филиал
Кафедра менеджмента и маркетинга
Контрольная работа
по дисциплине «Логика»
на тему: Семантические категории
Выполнила ст.гр. Бе – ЗММ - 002
Ильина А.А.
Руководитель: Позднякова Р.Я.
Белгород – 2012
Введение
Логика относится к числу древнейших наук, первые учения которой о формах и способах рассуждений возникли еще в цивилизациях Древнего Востока (Китай, Индия). В западную культуру принципы и методы логики вошли главным образом благодаря усилиям античных греков.
Логика – наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области знания. К общезначимым формам мысли относятся понятия, суждения, умозаключения, а к общезначимым средствам мысли – определения, правила (принципы) образования понятий, суждений и умозаключений, правила перехода от одних суждений или умозаключений к другим как следствиям из первых (правила рассуждений), законы мысли, оправдывающие такие правила, правила связи законов мысли и умозаключений в системы, способы формализации таких систем и т.п.
Логику можно определить как науку о рациональных методах рассуждений, которые охватывают как анализ правил дедукции (вывода заключений из посылок), так и исследование степени подтверждения вероятностных или правдоподобных заключений (гипотез, обобщений, предположений и т.д.).
Традиционная логика сформировалась на основе логического учения Аристотеля. Затем она дополнилась методами индуктивной логики. Именно эта логика в течение долгого времени преподавалась в школах и университетах под именем формальной логики.
Возникновение математической логики коренным образом изменило отношение между дедуктивной и не дедуктивной логиками, которое существовало в традиционной логике. Это изменение было сделано в пользу дедукции. Благодаря символизации и применению математических методов сама дедуктивная логика приобрела строго формальный характер.
Семантические категории
Все выражения, являющиеся знаками, в зависимости от типов их предметных значений могут быть разбиты на классы, называемые семантическими категориями. Семантическая категория – это класс выражений с однотипными предметными значениями, при этом включающий все выражения с предметным значением данного типа.
Такими классами являются имена, предикторы, предметные функторы, логические термины, повествовательные предложения.
Имена – слова и словосочетания, являющиеся знаками предметов.
Предикторы – выражения языка (слова и словосочетания), предметными значениями которых являются свойства (одноместные предикторы) и отношения (многоместные предикторы).
Свойствами в современной логике называют характеристики отдельных предметов («белый», «странный», «иметь спинку», «ходить» и т.п.). Отношения – это связь между двумя и более предметами («находиться между», «быть братом», «быть больше», «знать лучше, чем» и т.п.). Таким образом, отношения представляют собой характеристики не отдельных предметов, а некоторых систем предметов.
Наличие или отсутствие у какого-либо предмета свойства или отношения к другим предметам называется признаком. Признаки – это любые возможные характеристики предмета, все, что можно высказать о предмете.
Предметные функторы – это знаки так называемых предметных функций. Наряду с математическими функциями «синус», «логарифм», «умножение» и т.п. сюда относятся такие особые характеристики предметов, как скорость, плотность, возраст, пол, профессия, агрегатное состояние, место жительства и др. Иногда их называют предметно-функциональными характеристиками.
Логические термины (логические константы) – это знаки логических отношений «и», «или», «если…, то…», «неверно, что» и операций «всякий», «существует» («некоторые»), «тот…, который…».
Знаки первых четырех категорий (имена, предикторы, предметные функторы и логические термины) используются в составе предложений. При этом, в отличие от логических терминов, имена, предикторы и предметные функторы называются дескриптивными (описательными) терминами (рис. 1).
Дескриптивные и логические термины различаются тем, что первые специфичны для различных областей познания и поэтому характеризуют конкретное содержание высказываний той или иной области познания. Логические термины являются общими в высказываниях разных областей познания и определяют те аспекты смыслов высказываний, понятий, теорий, которые называют логическими содержаниями.
Список использованной литературы
1. Гейтманова А.Д. Учебник по логике. Москва 2009. - с 199.
2. Ивлев Ю.В. Курс лекций по логике. Издательство Московского университета 2010. - с 89.
3. Иванов Е.А. Логика. Москва 2009. - с 438.
4. Краткий словарь по логике. Под редакцией Горского. Москва Просвещение 2009 с 456.
5. Зегет В. Элементарная логика. М., 2008. - с 199.
6. Ивин А.А. По законам логики. М., 2010. - с 189.
4