Teorie situace - Situation theory - Wikipedia

Teorie situace poskytuje matematické základy pro situační sémantika, a byl vyvinut spisovateli jako např Jon Barwise a Keith Devlin v 80. letech. Kvůli určitým základním problémům byla matematika formována do a nepodložená teorie množin. Dalo by se uvažovat o vztahu teorie situace k situační sémantice jako o tom teorie typů na Montague sémantika.

Základní typy

Typy v teorii jsou definovány použitím dvou forem abstrakce typů, počínaje počáteční kolekcí základních typů.

Základní typy:

  • TIM: typ dočasného umístění
  • LOC: typ prostorového umístění
  • IND: typ jednotlivce
  • RELn: typ vztahu n-místo
  • SIT: typ situace
  • INF: typ infonu
  • TYP: typ typu
  • PAR: typ parametru
  • POL: typ polarity (tj. 0 nebo 1)

Infony jsou vyrobeny ze základních typů. Například: Pokud l je umístění, pak l je typu LOC a infon << typu, l, LOC, 1 >> je fakt.

Viz také

Reference

  • Jon Barwise. „Situations and small worlds“, in: V situaci v logice, číslo 17 v CSLI Lecture Notes, s. 79–92, 1987.
  • Keith Devlin. Logika a informace, str. 49–51, 1991.

Další čtení

  • Edward N. Zalta. "Dvacet pět základních vět o situaci a světové teorii", Journal of Philosophical Logic 22 (1993): 385–428.