Skip to main content
Log in

Predication versus membership in the distinction between logic as language and logic as calculus

  • Published:
Synthese Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  • Chierchia, Gennaro: 1984,Topics in the Syntax and Semantics of Infinitives and Gerunds, Ph.D. dissertation, University of Massachusetts, Amherst.

    Google Scholar 

  • Chierchia, Gennaro: 1985, ‘Formal Semantics and the Grammar of Predication’,Linguistic Inquiry 16, 417–43.

    Google Scholar 

  • Cocchiarella, Nino B.: 1986,Logical Investigations of Predication Theory and the Problem of Universals, vol. 2 of Indices, Bibliopolis Press, Naples.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Cocchiarella, Nino B.: 1985, ‘Frege's Double Correlation Thesis and Quine's Set Theories NF and ML’,Journal of Philosophical Logic 14, 1–39.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Gallin, Daniel: 1975,Intensional and Higher-Order Modal Logic, North-Holland, Amsterdam.

    Google Scholar 

  • van Heijenoort, Jean: 1967, ‘Logic as Language and Logic as Calculus’,Synthese 17, 324–30.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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’.

    Google Scholar 

  • 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.

    Google Scholar 

  • Prior, Arthur and Kit Fine: 1977,Worlds, Selves, and Times, Duckworth Press, London.

    Google Scholar 

  • 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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00869546

Navigation