Теория ситуации - Википедия - Situation theory

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

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

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

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

  • ТИМ: тип временной локации
  • LOC: тип пространственного положения
  • IND: тип человека
  • RELn: тип n-местного отношения
  • Сидеть: тип ситуации
  • INF: тип инфона
  • TYP: тип типа
  • PAR: тип параметра
  • POL: тип полярности (т.е. 0 или 1)

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

Смотрите также

Рекомендации

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

дальнейшее чтение

  • Эдуард Н. Залта. "Двадцать пять основных теорем в теории ситуаций и мира", Журнал философской логики 22 (1993): 385–428.