Теория ситуации

Теория ситуаций обеспечивает математические основы семантики ситуаций и была разработана такими авторами, как Джон Барвайз и Кейт Девлин в 1980-х. Из-за определенных фундаментальных проблем математика была оформлена в рамках недостаточно обоснованной теории множеств. Можно представить себе отношение теории ситуации к семантике ситуации как отношение теории типов к семантике Монтегю.

• 1 Базовые типы
• 2 См. Также
• 3 Ссылки
• 4 Дополнительная литература

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

Основные типы:

• TIM: тип временного местоположения
• LOC: тип пространственного местоположения
• IND: тип индивидуума
• RELn: тип n-местного отношения
• SIT: тип ситуации
• INF: тип информационного сообщения
• TYP: тип тип
• PAR: тип параметра
• POL: тип полярности (т.е. 0 или 1)

Инфоны состоят из базовых типов. Например: если l - местоположение, то l относится к типу LOC, а информация <>- это факт.

• Положение дел (философия)

• Джон Барвайз. «Ситуации и маленькие миры», в: In The Situation in Logic, номер 17 в CSLI Lecture Notes, стр. 79–92, 1987.
• Кейт Девлин. Логика и информация, стр. 49–51, 1991.

• Эдвард Н. Залта. «Двадцать пять основных теорем в теории ситуаций и мира», Journal of Philosophical Logic 22 (1993): 385–428.

.