more on this theme     |     more from this thinker


Single Idea 8091

[filed under theme 5. Theory of Logic / A. Overview of Logic / 1. Overview of Logic ]

Full Idea

In many respects, situation theory is an extension of classical logic that takes account of context.

Gist of Idea

Situation theory is logic that takes account of context

Source

Keith Devlin (Goodbye Descartes [1997], Ch. 8)

Book Ref

Devlin,Keith: 'Goodbye Descartes: the end of logic' [Wiley 1997], p.207


A Reaction

John Barwise is cited as the parent of this movement. Many examples show that logical form is very hard to pin down, because word-meaning depends on context (e.g. 'several crumbs' differs from 'several mountains').


The 13 ideas from 'Goodbye Descartes'

Sentences of apparent identical form can have different contextual meanings [Devlin]
How do we parse 'time flies like an arrow' and 'fruit flies like an apple'? [Devlin]
The distinction between sentences and abstract propositions is crucial in logic [Devlin]
Space and time are atomic in the arrow, and divisible in the tortoise [Devlin]
'No councillors are bankers' and 'All bankers are athletes' implies 'Some athletes are not councillors' [Devlin]
Where a conditional is purely formal, an implication implies a link between premise and conclusion [Devlin]
Golden ages: 1900-1960 for pure logic, and 1950-1985 for applied logic [Devlin]
Modern propositional inference replaces Aristotle's 19 syllogisms with modus ponens [Devlin]
Predicate logic retains the axioms of propositional logic [Devlin]
People still say the Hopi have no time concepts, despite Whorf's later denial [Devlin]
Situation theory is logic that takes account of context [Devlin]
Montague's intensional logic incorporated the notion of meaning [Devlin]
Logic was merely a branch of rhetoric until the scientific 17th century [Devlin]