References
Chierchia, Gennaro: 1984,Topics in the Syntax and Semantics of Infinitives and Gerunds, Ph.D. dissertation, University of Massachusetts, Amherst.
Chierchia, Gennaro: 1985, ‘Formal Semantics and the Grammar of Predication’,Linguistic Inquiry 16, 417–43.
Cocchiarella, Nino B.: 1986,Logical Investigations of Predication Theory and the Problem of Universals, vol. 2 of Indices, Bibliopolis Press, Naples.
Cocchiarella, Nino B.: 1978, ‘On the Logic of Nominalized Predicates and its Philosophical Interpretations’,Erkenntnis 13, 339–69; corrigendum in vol. 14, pp. 103–04.
Cocchiarella, Nino B.: 1980, ‘The Development of the Theory of Logical Types and the Notion of a Logical Subject in Russell's Early Philosophy’,Synthese 45, 71–115.
Cocchiarella, Nino B.: 1985, ‘Frege's Double Correlation Thesis and Quine's Set Theories NF and ML’,Journal of Philosophical Logic 14, 1–39.
Cocchiarella, Nino B.: 1986b, ‘Frege, Russell and Logicism: A Logical Reconstruction’, in Haaparanta Leila and Jaakko Hintikka (eds.),Frege Synthesized, D. Reidel, Dordrecht, 197–252.
Cocchiarella, Nino B.: 1988, ‘Philosophical Perspectives on Formal Theories of Predication’, inHandbook of Philosophical Logic, vol. IV, Gabbay, Dov and Franz Guenthner (eds.),Handbook of Philosophical Logic, vol. IV, D. Reidel, Dordrecht.
Gallin, Daniel: 1975,Intensional and Higher-Order Modal Logic, North-Holland, Amsterdam.
van Heijenoort, Jean: 1967, ‘Logic as Language and Logic as Calculus’,Synthese 17, 324–30.
Hintikka, Jaakko: 1980, ‘Theories of Truth and Learnable Languages’, in S. Kanger and S. Ohman (eds.),Philosophy and Grammar, D. Reidel, Dordrecht, pp. 37–57.
Hintikka, Jaakko: ‘Semantics: A Revolt Against Frege’, in G. Fløistad (ed.),Contemporary Philosophy: A New Survey, Martinus Nijhoff, The Hague, pp. 57–82.
Montague, Richard: 1974,Formal Philosophy, Selected Papers of Richard Montague, edited and introduction by R. H. Thomason, Yale University Press, New Haven. The papers referred to in this volume are the following: [EFL]: ‘English as a Formal Language’. [PE]: ‘On the Nature of Certain Philosophical Entities’. [PTQ]: ‘The Proper Treatment of Quantification in Ordinary English’. [UG]: ‘Universal Grammar’.
Moravcsik, J.: 1979, ‘Grammar and Meaning’, in I. Niiniluoto and M. B. Provence Hintikka (eds.),Essays in Honour of Jaakko Hintikka, D. Reidel, Dordrecht, pp. 3–15.
Prior, Arthur and Kit Fine: 1977,Worlds, Selves, and Times, Duckworth Press, London.
Quine, W. V. O.: 1968, ‘Replies’, inEssays in Honor of W. V. Quine, Synthese 19.
Simms, John: 1980, ‘A Realist Semantics for Cocchiarella's T*’,Notre Dame Journal of Formal Logic 21, 1–32.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Cocchiarella, N.B. Predication versus membership in the distinction between logic as language and logic as calculus. Synthese 77, 37–72 (1988). https://doi.org/10.1007/BF00869546
Issue Date:
DOI: https://doi.org/10.1007/BF00869546