Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АрхитектураБиологияГеографияДругоеИностранные языки
ИнформатикаИсторияКультураЛитератураМатематика
МедицинаМеханикаОбразованиеОхрана трудаПедагогика
ПолитикаПравоПрограммированиеПсихологияРелигия
СоциологияСпортСтроительствоФизикаФилософия
ФинансыХимияЭкологияЭкономикаЭлектроника

Теория семантических категорий

Семиозис | Аспекты семиозиса | Понятие языка с точно заданной структурой | Уточнение понятий разрешимого рекурсивно перечислимого предиката (класса) | Принципы построения теоретической семантики, пути введения семантических понятий | Уточнение классического, аристотелевского понятия истинности. Схема Тарского и ее роль. Проблема адекватности. | Построение синтаксиса языка исчисления классов. Метаязык, адекватный для построения синтаксиса. | Построение семантики языка исчисления классов | Определение понятия истинности | Понятие дедуктивной теории |


Читайте также:
  1. I раздел. Общая теория статистики
  2. VI. Особенности заполнения ДТ в таможенных процедурах реэкспорта или экспорта при завершении действия таможенных процедур СТЗ и свободного склада для отдельных категорий товаров
  3. XV. Требования к объему изучаемого учебного материала для различных категорий сотрудников
  4. А. Налчанджян. Теория адаптации личности.
  5. Альтернативная теория
  6. Атрибутивная теория
  7. Бихевиористская теория депрессии.

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

Исторические предпосылки

Учение о семантических категориях восходит к Фреге и Гуссерлю. Гуссерль связывал введение такого рода категорий именно с анализом языка, а также с обоснованием "чистой логики".

Но наиболее интенсивную разработку оно получило в польской школе логики.

Лесневский использует теорию семантических категорий в исследовании оснований дедуктивных наук. По Лесневскому, типология значений интуитивно очевидный и философски необходимый шаг. Соблюдение правил теории семантических категорий — необходимое условие осмысленности выражений естественных языков. Такой подход выступает именно развитием идей Гуссерля. Как верно отмечают Френкель и Бар-Хиллел, "по Лесневскому, наша интуиция такова, что (почти) все правильно построенные выражения любого языка — как разговорного, так и искусственного — принадлежат одной и только одной из семантических категорий, составляющих потенциально бесконечную и весьма разветвленную иерархию. Иерархия эта состоит из двух основных категорий, а именно категории имен и категории предложений (в число которых всегда включаются и открытые [1])... и бесконечной совокупности функторных категорий, различаемых в зависимости от категорий и числа аргументных выражений функторов, принадлежащих этим категориям, и от категории выражений, получающегося в результате применения этих функторов к аргументам".

Тарский дает классификацию формализованных языков в зависимости от порядка и числа семантических категорий, к которым принадлежат переменные языка.

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

В 60-е гг. идея теории семантических категорий начинает разрабатываться в английской школе логики Монтегю и Крессвеллом.

Понятие семантической категории

Два выражения принадлежат к одной и той же семантической категории, если 1) имеется пропозициональная формула (предложение), содержащая одно из этих выражений, и 2) ни одна пропозициональная формула (предложение), содержащая одно из этих выражений, не теряет характера пропозициональной формулы (предложения), если одно из этих выражений заменить другим. Соответственно понятию "принадлежать к одной и той же семантической категории" все выражения языка разбиваются на непересекающиеся классы — семантические категории (категории значений). При этом смысл предложения или условие истинности предложения при такой замене могут изменяться.

Пример.

"Ручка лежит на столе".

Меняем слово "ручка" на слово "кот", получаем:

"Кот лежит на столе".

Предложение "Кот лежит на столе" также осмысленно, значит, "кот" принадлежит к той же семантической категории, что и ручка.

 

 


Дата добавления: 2015-07-16; просмотров: 48 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Классификация языков по Тарскому (на базе теории семантических категорий).| Понятие и критерии синтаксической связанности

mybiblioteka.su - 2015-2024 год. (0.007 сек.)