David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Philosophical Perspectives 7:61-87 (1993)
In this paper I rehearse two central failings of traditional possible world semantics. I then present a much more robust framework for intensional logic and semantics based liberally on the work of George Bealer in his book Quality and Concept. Certain expressive limitations of Bealer's approach, however, lead me to extend the framework in a particularly natural and useful way. This extension, in turn, brings to light associated limitations of Bealer's account of predication. In response, I develop a more general and intuitively more adequate account of the logical form of predication.
|Keywords||intensional logic property theory structured propositions predication|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Christopher Menzel (2011). Knowledge Representation, the World Wide Web, and the Evolution of Logic. Synthese 182 (2):269-295.
Georg Brun (2008). Formalization and the Objects of Logic. Erkenntnis 69 (1):1 - 30.
Similar books and articles
Chris Fox & Shalom Lappin, Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing.
George Bealer (1979). Theories of Properties, Relations, and Propositions. Journal of Philosophy 76 (11):634-648.
George Bealer (1983). Completeness in the Theory of Properties, Relations, and Propositions. Journal of Symbolic Logic 48 (2):415-426.
Edward N. Zalta (1997). The Modal Object Calculus and its Interpretation. In M. de Rijke (ed.), Advances in Intensional Logic. Kluwer 249--279.
Bjørn Jespersen (2008). Predication and Extensionalization. Journal of Philosophical Logic 37 (5):479 - 499.
Chris Fox & Shalom Lappin (2004). An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics. Logic Journal of the Igpl 12 (2):135-168.
E. H. Alves & J. A. D. Guerzoni (1990). Extending Montague's System: A Three Valued Intensional Logic. Studia Logica 49 (1):127 - 132.
Daniel Gallin (1975). Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics. American Elsevier Pub. Co..
Nino Cocchiarella (2013). Predication in Conceptual Realism. Axiomathes 23 (2):301-321.
Added to index2009-01-28
Total downloads29 ( #94,044 of 1,699,805 )
Recent downloads (6 months)8 ( #77,273 of 1,699,805 )
How can I increase my downloads?