La teoría de la situación proporciona los fundamentos matemáticos de la semántica de la situación y fue desarrollada por escritores como Jon Barwise y Keith Devlin en la década de 1980. Debido a ciertos problemas fundamentales, las matemáticas se enmarcaron en una teoría de conjuntos no bien fundada . Se podría pensar en la relación de la teoría de la situación con la semántica de la situación como la de la teoría de tipos con la semántica de Montague .
Tipos basicos
Los tipos en la teoría se definen aplicando dos formas de abstracción de tipos, comenzando con una colección inicial de tipos básicos.
Tipos basicos:
- TIM: el tipo de ubicación temporal
- LOC: el tipo de ubicación espacial
- IND: el tipo de individuo
- RELn: el tipo de relación de n lugares
- SIT: el tipo de situación
- INF: el tipo de información
- TYP: el tipo de un tipo
- PAR: el tipo de parámetro
- POL: el tipo de polaridad (es decir, 0 o 1)
Los infons están hechos de tipos básicos. Por ejemplo: si l es una ubicación, entonces l es de tipo LOC, y el infon << of-type, l, LOC, 1 >> es un hecho.
Ver también
Referencias
- Jon Barwise . "Situaciones y mundos pequeños", en: In The Situation in Logic , número 17 en CSLI Lecture Notes, págs. 79–92, 1987.
- Keith Devlin . Lógica e información , págs. 49–51, 1991.
Otras lecturas
- Edward N. Zalta . "Veinticinco teoremas básicos sobre la situación y la teoría del mundo", Journal of Philosophical Logic 22 (1993): 385–428.