Теория ситуаций
Теория ситуаций обеспечивает математические основы семантики ситуаций и была разработана такими авторами, как Джон Барвайз и Кейт Девлин, в 1980-х годах. Из-за определенных фундаментальных проблем математика была оформлена в виде необоснованной теории множеств . Можно было бы думать об отношении теории ситуаций к семантике ситуации как об отношении теории типов к семантике Монтегю .
Основные типы
[ редактировать ]Типы в теории определяются путем применения двух форм абстракции типов, начиная с первоначального набора базовых типов.
Основные типы:
- TIM: тип временного местоположения.
- LOC: тип пространственного местоположения.
- IND: тип личности
- RELn: тип n-местного отношения.
- SIT: тип ситуации
- INF: тип информации
- TYP: тип типа
- PAR: тип параметра
- POL: тип полярности (т.е. 0 или 1).
Инфоны состоят из основных типов.Например: если l — местоположение, то l имеет тип LOC, а информация<<типа, l, LOC, 1>>это факт.
См. также
[ редактировать ]Ссылки
[ редактировать ]- Джон Барвайз . «Ситуации и маленькие миры», в: «Ситуация в логике» , номер 17 в конспектах лекций CSLI, стр. 79–92, 1987.
- Кейт Девлин . Логика и информация , стр. 49–51, 1991.
Дальнейшее чтение
[ редактировать ]- Эдвард Н. Залта . «Двадцать пять основных теорем в теории ситуаций и мира», Journal of Philosophical Logic 22 (1993): 385–428.
 | Эта о семантике статья незавершена . Вы можете помочь Википедии, расширив ее . |