more on this theme | more from this thinker
Full Idea
In 'situation semantics' individuals, properties, facts, and events are treated as abstractions from situations.
Gist of Idea
In 'situation semantics' our main concepts are abstracted from situations
Source
Edwin D. Mares (Negation [2014], 6.1)
Book Ref
'Bloomsbury Companion to Philosophical Logic', ed/tr. Horsten,L/Pettigrew,R [Bloomsbury 2014], p.204
A Reaction
[Barwise and Perry 1983 are cited] Since I take the process of abstraction to be basic to thought, I am delighted to learn that someone has developed a formal theory based on it. I am immediately sympathetic to situation semantics.
Related Idea
Idea 18792 Situation semantics for logics: not possible worlds, but information in situations [Mares]
| 18781 | Inconsistency doesn't prevent us reasoning about some system [Mares] |
| 18780 | Standard disjunction and negation force us to accept the principle of bivalence [Mares] |
| 18782 | The connectives are studied either through model theory or through proof theory [Mares] |
| 18783 | Many-valued logics lack a natural deduction system [Mares] |
| 18786 | Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares] |
| 18785 | Consistency is semantic, but non-contradiction is syntactic [Mares] |
| 18784 | In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares] |
| 18787 | Three-valued logic is useful for a theory of presupposition [Mares] |
| 18788 | For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares] |
| 18789 | Intuitionist logic looks best as natural deduction [Mares] |
| 18790 | Intuitionism as natural deduction has no rule for negation [Mares] |
| 18791 | In 'situation semantics' our main concepts are abstracted from situations [Mares] |
| 18792 | Situation semantics for logics: not possible worlds, but information in situations [Mares] |
| 18793 | Material implication (and classical logic) considers nothing but truth values for implications [Mares] |