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