Talk:Situation semantics

	Linguistics portal This article is within the scope of WikiProject Linguistics, a collaborative effort to improve the coverage of linguistics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.LinguisticsWikipedia:WikiProject LinguisticsTemplate:WikiProject LinguisticsLinguistics articles
???	This article has not yet received a rating on the project's importance scale.
	This article is supported by Theoretical Linguistics Task Force.

Philosophy: Logic / Analytic

This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy articles

???

This article has not yet received a rating on the project's importance scale.

Associated task forces:
/
	Logic
	Analytic philosophy

Fact tagging

As noted in the edit summary, needs support. Could be either a reference, or just an explanation of the relation to the ST variant, since there's currently nothing at the linked article of obvious particular relevance (other than the mention of NLP relevance). 72.228.150.44 (talk) 14:28, 21 January 2010 (UTC)[reply]

See that something is said in the Non-well-founded set theory which would be obvious to readers of S&A, in re ZFC, but not clear enough to do something about the above ATM, will try to look into it, when I've caught up with his last works and later day developments. 72.228.150.44 (talk) 14:49, 21 January 2010 (UTC)[reply]

My last edits moot the above (as far as my contributions to the article are concerned). To the other anonymous user below, separated your comment from this thread. 72.228.150.44 (talk) 00:30, 23 January 2010 (UTC)[reply]

I'm going to remove the tag, unless somebody objects here. (If absolutely needed, I could cite HPSG books. Situation semantics is the first semantic theory that was used in HPSG.) -- UKoch (talk) 16:19, 17 August 2011 (UTC)[reply]

I cited the first HPSG book and removed both tags. -- UKoch (talk) 15:44, 13 December 2011 (UTC)[reply]

Comment

Situation semantics was developed as an alternate semantics to possible world semantics. Situation theory is a mathematical ontology developed to support situation semantics. Situation theory was later developed into channel theory by Jon Barwise and Jerry Seligman. Both situation theory and situation semantics has had a broad enough impact in philosophy and logic to warrant inclusion in Wikipedia. They are frequently mentioned in the Stanford Encyclopedia of Philosophy. I plan on writing an entry in the near future. —Preceding unsigned comment added by 69.171.172.148 (talk) 08:19, 22 January 2010 (UTC)[reply]