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

Экспликация понятия логической формы на базе теории семантических категорий.

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


Читайте также:
  1. A. Сигнал и смысл (Общесемиологические понятия)
  2. I. АЛГЕБРАИЧЕСКИЕ ОСНОВЫ ТЕОРИИ ЦИКЛИЧЕСКИХ КОДОВ
  3. I. Разрешение космологической идеи о целокупности сложения явлений в мироздание
  4. I. Союзы причинности и союзы логической связи
  5. I.II.1. Категория оптимальности общественного развития и формы ее реализации в современных общественных моделях.
  6. II. О понятии и генетической теории libido.
  7. II. Разрешение космологической идеи о целокупности деления данного целого в созерцании

 

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

Нам кажется такое представление логической формы неадекватным, если в качестве переменных выступают переменные объектного языка. В таком случае результат замещения дескриптивных терминов переменными даст нам формулу того же языка, а не логическую форму его выражений. Логическая форма выражений некоторого языка не есть формула этого же языка; она должна описываться не в объектном языке, а в его метаязыке.

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

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

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

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

Пример:

Для того чтобы логическая форма выражений обосновывала дедуктивные рассуждения – рассуждения по форме – необходима дополнительная информация:

1) О тождестве и различии выражений, входящих в состав данного выражения;

2) О подразделении знаков языка на логические и дескриптивные;

3) О значении констант.

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

Пример:

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


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


<== предыдущая страница | следующая страница ==>
Понятие и критерии синтаксической связанности| Основной принцип теории семантических категорий и его роль в анализе искусственных и естественных языков.

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