Abstract
A basic tenet of situation semantics [Barwise and Perry, 1983; Barwise and Etchemendy, 1987; Barwise, 1989], deriving from Austin’s theory of truth [Austin, 1950], is that every statement is about a situation. To make a statement by uttering the sentence ‘Michel tossed the salad,’ I must also be referring to a specific situation — in this case, an event — which, if my statement is true, is one in which Michel tossed the salad.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J.L. Austin. Truth. Proceedings of the Aristotelian Society, 1950.
J. Barwise. The Situation in Logic, CSLI Publications, Stanford, CA, 1989.
J. Barwise and J. Etchemendy. The Liar: An Essay in Truth and Circularity. Basil Blackwell, Oxford, 1987.
J. Barwise and J. Perry. Situations and Attitudes. The MIT Press, Cambridge, MA, 1983.
P. Blackburn. Nominal tense logic. Notre Dame Journal of Formal Logic, 34:56–83, 1993.
R. Cooper. Persistence and structural determination. In J. Barwise, M.J. Gawron, G. Plotkin, and S. Tutiya, editors, Situation Theory and its Applications, Vol. 2, CSLI Publications, Stanford, CA, 1991.
R. Cooper and H. Kamp. Negation in situation semantics and discourse representation theory. In J. Barwise, M.J. Gawron, G. Plotkin, and S. Tutiya, editors, Situation Theory and its Applications, Vol. 2, CSLI Publications, Stanford, CA, 1991.
T. Fernando. On the logic of situation theory. In R. Cooper, K. Mukai, and J. Perry, editors, Situation Theory and its Applications, Vol. 1, CSLI Publications, Stanford, CA, 1990.
G. Gargov and V. Goranko. Modal logic with names. Journal of Philosophical Logic, 22:607–636, 1993.
S.C. Kleene. Introduction to Metamathematics. North-Holland, Amsterdam, 1952.
T. Langholm. Partiality, Truth and Persistence. CSLI Publications, Stanford, CA, 1988.
T. Langholm. Algorithms for partial logic. COSMOS Report 8, Dept. of Mathematics, Oslo, 1989.
D. Prawitz. Natural Deduction. A Proof-Theoretical Study, volume 3 of Acta Universitatis Stockholmiensis. Almqvist & Wiksell, Stockholm, 1965.
A. Prior. Past, Present and Future. Oxford University Press, 1967.
J. Seligman. A cut-free sequent calculus for elementary situated reasoning. Technical Report HCRC-RP 22, HCRC, Edinburgh, 1991.
J. Seligman. Situated consequence for elementary situation theory. Logic group preprint IULG-92–16, Indiana University, 1992.
J. Seligman and A. ter Meulen. Dynamic aspect trees. In M. Masuch and L. Polos, editors, Applied Logic: How, What and Why, pages 287–320. Kluwer Academic Publishers, Dordrecht, 1994.
D. Westerståhl. Parametric types and propositions in first-order situation theory. In R. Cooper, K. Mukai, and J. Perry, editors, Situation Theory and its Applications, Vol. J, CSLI Publications, Stanford, CA, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Seligman, J. (1997). The Logic of Correct Description. In: de Rijke, M. (eds) Advances in Intensional Logic. Applied Logic Series, vol 7. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8879-9_5
Download citation
DOI: https://doi.org/10.1007/978-94-015-8879-9_5
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4897-4
Online ISBN: 978-94-015-8879-9
eBook Packages: Springer Book Archive