Читайте также:
|
Под логической формой выражений языка понимают обычно результат замещения дескриптивных знаков переменными. Конкретные термины, подставляемые вместо этих переменных, представляют "материю" высказываний.
Нам кажется такое представление логической формы неадекватным, если в качестве переменных выступают переменные объектного языка. В таком случае результат замещения дескриптивных терминов переменными даст нам формулу того же языка, а не логическую форму его выражений. Логическая форма выражений некоторого языка не есть формула этого же языка; она должна описываться не в объектном языке, а в его метаязыке.
Если же дескриптивные термины замещать переменными метаязыка, то тогда эти переменные предварительно должны быть отнесены к определенным типам, категориям – в таком случае они просто выполняют роль индексов категорий замещаемых терминов.
Понятие логической формы языковых выражений можно ввести более точным образом, если в основу анализа структуры выражений положить определенную теорию семантических категорий.
Под логической формой первого уровня выражения А будем иметь в виду результат замещения всех примитивных знаков выражения А индексами соответствующих категорий.
Логическую форму первого уровня выражения А удобно изображать в виде графа с произведением индексов, приписанных каждой точке.
Пример:
Для того чтобы логическая форма выражений обосновывала дедуктивные рассуждения – рассуждения по форме – необходима дополнительная информация:
1) О тождестве и различии выражений, входящих в состав данного выражения;
2) О подразделении знаков языка на логические и дескриптивные;
3) О значении констант.
Под логической формой второго уровня, учитывающей значение логических констант, будем иметь в виду граф в виде обобщенного дерева, при вершинах которого стоят индексы категорий соответствующих выражений и при точках, соответствующих логическим константам, кроме того, стоят сами логические константы.
Пример:
Понятие логической формы второго уровня соответствует приведенному выше неуточненному понятию логической формы. Оно учитывает значения логических констант; дескриптивные термины удалены, и следовательно, удалена материя высказывания, но на местах вхождения удаленных терминов стоят показатели их семантического типа – индексы соответствующих семантических категорий.
Дата добавления: 2015-07-16; просмотров: 61 | Нарушение авторских прав
| <== предыдущая страница | | | следующая страница ==> |
| Понятие и критерии синтаксической связанности | | | Основной принцип теории семантических категорий и его роль в анализе искусственных и естественных языков. |