Talk:Situation semantics

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)

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)

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)

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)

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

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)