Философская энциклопедия - интенсиональная логика
Интенсиональная логика
ИНТЕНСИОНАЛЬНАЯ ЛОГИКА — область неклассических логик, в которой используется понятие смысла языкового выражения в целях анализа широкого класса контекстов естественного языка. Логический анализ понятия смысла языкового выражения предполагает решение двух взаимосвязанных задач: (1) уточнение (экспликацию) понятия смысла путем построения формализованного языка и его семантики, (2) формализацию класса общезначимых формул языков-экспликаторов смысловых отношений. Если решается первая задача, то термин “интенсиональная логика” употребляется в узком значении — как специальная система представления смысла (формальный синтаксис и формальная семантика). В широком значении термин “интенсиональная логика” используется для обозначения философски ориентированных неклассических логик (см. Философская логика). Традиция различать смысл (англ. — sense, meaning, нем. — Sinn) и значение (англ. — reference, denotation, нем. — Bedeutung) выражения языка восходит к работам Г. Фреге (1892). Первая попытка формализовать понятие смысла была сделана Р. Карнапом (1947). Он провел параллель между принципом, согласно которому смысл выражения должен определять его значение, и свойством функции задавать значение аргумента. В результате им была построена семантическая модель интенсионального языка, в котором смысл выражения, в терминологии Карнапа — интенсионал выражения, интерпретируется как функция, заданная на множестве описаний состояний (возможных мирах) и выделяющая для каждого отдельного описания состояния значение выражения, или экстенсионал в терминологии Карнапа, в данном описании состояния. Другими словами, интенсионал выражения мыслится как всевозможные экстенсионалы, собранные вместе и упорядоченные определенным способом, т. е. как функция, определенная на возможных мирах как аргументах с экстенсионалами в качестве значений. Первая аксиоматическая система, язык которой явно содержит указание на смысл и значение, была разработана А. Черчем (1951). Д. Каплан (1964) предложил для нее семантику в духе Карнапа. Фундаментальное развитие интенсиональная логика получила в трудах Р. Монтегю (60-е гг.), соединившего ее принципы с идеями простой теории типов, лямбда-абстракцией, теорией категорий К.
Айдукевича. В итоге им были разработаны мощные интенсиональные теоретико-типовые языки, обладающие способностью воспроизводить структуры обширных фрагментов естественного языка. Системы интенсиональной логики исследовались в работах М. Крессвела, Н. Кокчиареллы, Д. Галлина, Р. Томасона, Д. Доути, А Ишимото, И. Ружа и др. Лингвистическое направление, связанное с построением формальных грамматик с последующей интерпретацией в терминах интенсиональной логики, развивается Б.
Парта, Р. Купером, М. Беннетом.Иллюстрацией принципов интенсиональной логики может служить модель М = .
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2304 | |
2 | 2257 | |
3 | 1390 | |
4 | 1347 | |
5 | 751 | |
6 | 729 | |
7 | 684 | |
8 | 661 | |
9 | 631 | |
10 | 611 | |
11 | 610 | |
12 | 559 | |
13 | 551 | |
14 | 539 | |
15 | 534 | |
16 | 528 | |
17 | 518 | |
18 | 516 | |
19 | 513 | |
20 | 511 |