Abstract
Facilitating the precise interpretation of statements first made in natural language — this has been the role of mathematical notations like predicate calculus and lambda calculus. Their use has been for the clarification of argument. They were faulted for inadequate precision or the introduction of paradox, never for forcing too much precision. Formal languages are precise, but selective in what can be easily expressed. It has always been understood that quantifiers like ∀ and ∃ only modeled some aspects of a system of natural language quantifiers. However, they captured the most useful properties very neatly.
Ken Church, Lowell Hawkinson, Mitchell Marcus, Peter Szolovits, and Lucia Vaina read an earlier version of this manuscript and made many helpful comments. Ellen Lewis and Anne Schmitt did an excellent job of preparing the manuscript and figures. This research was supported by the Defense Advance Research Projects Agency and monitored by the Office of Naval Research under contract no. N00014-75-C-0661.
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
Benacerraf, P.: 1965, ‘What Numbers Could Not Be’, The Philosophical Review 74, 47–73.
Brachman, R. J.: 1978, ‘On the Epistemological Status of Semantic Networks’, in N. V. Findler (ed.), Associative Networks — The Representation and Use of Knowledge in Computers, Academic Press, New York.
Carnap, R.: 1950, ‘Empiricism, Semantics, and Ontology’, Revue Internationale de Philosophie 11 reprinted in L. Linsky (ed.), Semantics and the Philosophy of Language, Univ. of Illinois Press, Urbana, Ill.
Cole, P.: 1978, ‘On the Origins of Referential Opacity’, in Syntax and Semantics: Pragmatics, Vol. 9, P. Cole (ed.), Academic Press, New York.
Donnellan, K.: 1966, ‘Reference and Definite Descriptions’, The Philosophical Review 75, 281–304.
Eaton, R. M.: 1924, Symbolism and Truth, An Introduction to the Theory of Knowledge, Harvard Univ. Press, Cambridge.
Ejerhed, Eva I.: 1980, ‘Tense as a Source of Intensional Ambiguity’, in Frank Heny (ed.), Ambiguities in Intensional Contexts, Reidel, Dordrecht, The Netherlands.
Fahlman, S. E.: 1979, ‘A System for Representing and Using Real World Knowledge’, MIT Computer Science PhD thesis, to be published by MIT Press, Cambridge, Mass.
Goldstein, I. P. and Roberts, B. R.: 1977, ‘NUDGE — A Knowledge Based Scheduling Program’, Proceedings of 5th IJCAI, available from Dept. of Computer Science, Carnegie-Mellon Univ., Pittsburg, Pa.
Hayes, P. J.: 1977, ‘On Semantic Nets, Frames and Associations’, Proceedings of 5th IJCAI, available from Dept. of Computer Science, Carnegie-Mellon Univ., Pittsburgh, PA.
Hendrix, G.: 1978, ‘Encoding Knowledge in Partitioned Networks’, N. V. Findler (ed.), Associative Networks — The Representation and Use of Knowledge in Computers, Academic Press, New York.
Hintikka, K. J. J.: 1976, ‘Quantifiers in Logic and Quantifiers in Natural Languages’, in S. Korner (ed.), Philosophy of Logic, Basil Blackwell, Oxford, pp. 208–232.
Karp, D. J.: 1975, ‘General Ontology’, MIT Philosophy PhD. Thesis.
Martin, W. A.: 1979, ‘Descriptions and the Specialization of Concepts’, in P. Winston (ed.), Artificial Intelligence, An MIT Perspective, MIT Press, Cambridge, Mass.
Minsky, M.: 1975, ‘A Framework for Representing Knowledge’, in The Psychology of Computer Vision, P. H. Winston (ed.), McGraw-Hill, New York.
Moore, R. C.: 1973, ‘D-SCRIPT: A Computational Theory of Descriptions’, Advance Papers of the Third International Joint Conference on Artificial Intelligence, pp. 223–229.
Moore, R. C.: 1975, ‘Reasoning About Knowledge and Action’, MIT Computer Science PhD thesis.
Partee, B. H.: 1972, ‘Opacity, Co-Reference, and Pronouns’ in Semantics of Natural Language, D. Davidson and G. Harman (eds.), D. Reidel, Dordrecht, Holland.
Partee, B. H.: 1978, ‘Bound Variables and Other Anaphors’ in Proceedings of Theoretical Issues in Natural Language Processing — 2, available from ACM.
Quine, W. V. O.: 1970, Philosophy of Logic, Prentice-Hall, Englewood Cliffs, New Jersey.
Russell, B.: 1905, ‘On Denoting’ in H. Feigl and W. Sellars (eds.), Readings in Philosophical Analysis, pp. 85–102, Appleton-Century-Crofts, New York, 1949.
Sag, I.: 1976, ‘Deletion and Logical Form’, MIT Linguistics PhD Thesis, available through Indiana University Linguistics Club.
Strawson, P. F.: 1959, Individuals: An Essay in Descriptive Metaphysics, Anchor Books Edition (1963).
Tarski, A.: 1944, ‘The Semantic Conception of Truth’, Philosophical and Phenomenological Research 4, reprinted in L. Linsky (ed.), Semantics and the Philosophy of Language, Univ. of Illinois Press, Urbana, Ill.
Van Lehn, K. A.: 1978, ‘Determining the Scope of English Quantifiers’, MIT Artificial Intelligence Laboratory Report AI-TR-483.
Webber, B. L.: 1978, ‘A Formal Approach to Discourse Anaphora’, Bolt Beranek and Newman, Inc. Research Report No. 3761.
Woods, W.: 1977, ‘Semantics and Quantification in Natural Language Question Answering’, Bolt Beranek and Newman Report 3687.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Martin, W.A. (1984). A Logical Form Based on the Structural Descriptions of Events. In: Vaina, L., Hintikka, J. (eds) Cognitive Constraints on Communication. Synthese Language Library, vol 18. Springer, Dordrecht. https://doi.org/10.1007/978-94-010-9188-6_11
Download citation
DOI: https://doi.org/10.1007/978-94-010-9188-6_11
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-277-1949-2
Online ISBN: 978-94-010-9188-6
eBook Packages: Springer Book Archive