|
Abstract : |
Austin's theory of truth is formulated in terms of a relation of correct description holding between a sentence and a situation. A recursive de nition of correct description is provided for rst-order languages containing terms denoting situations and a predicate denoting correct-description. We examine a very strong logic of situations, by restricting our attention to situated consequence between descriptions of omniscient situations, arguing that weaker logics may be obtained using standard methods. Rules of natural deduction for the logic are introduced by way of examples of natural reasoning using spatial indexicals. Finally, a Gentzen-style sequent calculus is oered., |
