Abstract
We want to contribute to the development of a logical machinery for processing structurally opaque languages (e.g., natural languages) by refining the instruments of Situation Theory (Barwise and Perry, 1983; Barwise and Cooper, 1994). We think that previous ventures, such as Discourse Representation Theory (DRT) (Kamp, 1981), and File Change Semantics (Heim, 1982; 1983), have certain shortcomings that Situation Theory may overcome.
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
Aczel, P.: 1989, Non-well Founded Sets, CSLI Lecture Notes 1
Aczel, P. and Lunnon R.: 1991, “Universes with Parameters”, in: Barwise et al. (eds), Sitation Theory and Its Applications. Vol 2. CLSI
Asher, N.: 1986, “Belief Sentences in Discourse Representation Theory”, Journal of Philosophical Logic 5 pp. 127–189
Asher, N. and Kamp, H.: 1988, “Self-Reference, Attitudes and Paradox”, in: G. Chirechia et al. (eds), Properties, Types and Meaning vol 1, Dordrecht: Kluwer, pp. 85–159
Asher, N.: 1993, Reference to Abstract Objects in Discourse, Dordrecht: Kluwer
Barwise, J.: 1983, Situation in Logic 1, CSLI report
Barwise, J.: 1985, Situation in Logic 2: Conditionals and Conditional Information, CSLI report
Barwise, J.: 1985, Situation in Logic 3: Situations Sets and Axiom of Foundation, CSLI report
Barwise, J.: 1988, Situation in Logic 4, CSLI report
Barwise, J. and Cooper, R.: 1991, “Simple Situation Theory and its Graphical Representation”, DYANA delivearable R2.1C
Barwise,J. and Etchemendy, J.: 1986, The Liar, Oxford University Press
Barwise, J. and Moss, L.: 1991, Situation Theory, Saarbrücken Lecture Notes
Barwise, J. and Perry, J.: 1983, Situations And Attitudes, MIT Press, A Bradford Book
Devlin, K.: 1991, Logic and Information, Cambridge University Press
Goldberg, J., Kaiman, L. and Szabó, Z.: 1991, Presentation on the Dyana Workshop on Presuppositions in Nijmegen
Groenendijk, J. and Stokhof, M.: 1988, “Dynamic Predicate Logic”, Linguistics and Philosophy 14 , pp. 39–100
Groenendijk, J. and Stokhof, M.: 1990, “Dynamic Montague Grammar” in: Kaiman, L, and Polos, L. (eds), Papers from the Second Symposium on Logic and Language, Budapest: Akademiai Kiadö, pp. 3–48
Heim, I.: 1982, The semantics of Definite and Indefinite Noun Phrases, PhD. diss. UMass
Heim, I.: 1983, “File Change Semantics and the familiarity theory of definites”, in: Buerle, R. et. al., Meaning, Use and Interpretation of Language, Berlin: De Gruyter
Kamp, H.: 1981, “A Theory of Truth and Semantic Representation”, in: Groenendijk, J. et al., Formal Methods in the Study of Language, Mathematical Centre Amsterdam, Amsterdam, pp. 277–322
Kamp, H. and Reyle, U.: 1993, From Discourse to Logic, Dordrecht: Kluwer
Káimán, L. and Pólos L. and Szabó, Z.: 1989, Can Representations Solve Problems?, ALL Technical Report
Káimán, L. and Pólos L. (eds): 1990, Papers from the Second Symposium on Logic and Language, Budapest: Akademiai Kiadó
Landman, F.: 1986, “On Pegs and Alecs”, in: Landman, F. , Towards a Theory of Information, PhD. Diss. Universiteit van Amsterdam
Landman, F.: 1987, A Handful versions of DRT, ms. Cornell University
Lunnon, R.: 1991, Generalized Universes, PhD. Diss. University of Manchester
Partee, B.: 1984, “Nominal and Temporal Anaphora”, Linguistics and Philosophy 7 pp. 243–286
Polos, L.: 1987, “Structured Domains in DRT (Typed or type free?)” in: Ruzsa I. and Szabolcsi A., Proceedings of Symposion on Logic and Language, Budapest: Akademiai Kiadó
Polos, L. and Masuch, M.: 1993, Updated Situation Semantics. Amsterdam: CCSOM, Working Paper 93–109
Tarski, A.: 1956, Logic, Semantics Metamathematics, Oxford University Press
van Eijck, J.: 1985, Quantification in Natural Language, PhD. Diss. Rijkuniversiteit Groningen
Veltman, F.: 1989, Update Semantics, ms. Universiteit van Amsterdam
Veltman, F.: 1994, “Defaults in Update Semantics”, Journal of Philosophical Logic, forthcoming
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Polós, L., Masuch, M. (1995). Information States in Situation Theory. In: Pólos, L., Masuch, M. (eds) Applied Logic: How, What and Why. Synthese Library, vol 247. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8533-0_8
Download citation
DOI: https://doi.org/10.1007/978-94-015-8533-0_8
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-4536-2
Online ISBN: 978-94-015-8533-0
eBook Packages: Springer Book Archive