Теория ситуации - 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.