Skip to main content
SpringerLink
Log in

Some philosophical remarks on the theory of types in intensional logic

  • Published:
Erkenntnis Aims and scope Submit manuscript

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Bibliography

  • Carnap, R.: Meaning and Necessity, The Univ. of Chicago Press, 1956.

  • Church A.: ‘A formulation of the logic of Sense and Denotation’, Structure, Method and Meaning: Essays in Honor of Henry M. Scheffer (éd. P. Henle), New York, Liberal Arts, 1951a.

    Google Scholar 

  • Church, A.: ‘A revised formulation of the logic of Sense and Denotation’, Noûs 7 (1973) (part I) and 8 (1973) (part II).

  • Church, A.: ‘The need for abstract entities in semantic analysis’, Contributions to the Analysis and Synthesis of Knowledge, Proceedings of the American Academy of Arts and Sciences, 80, no 1, 1951b.

  • Church, A.: Introduction to Mathematical Logic, Princeton Univ. Press, 1956.

  • Church A.: ‘Propositions and Sentences’, The Problem of Universals, Notre-Dame Univ. Press, Notre Dame (Indiana), 1956b.

    Google Scholar 

  • Frege, G.: ‘Über Sinn und Bedeutung’, Zeitschrift für Philosophie und Philosophische Kritik, C, 1892.

  • Frege, G.: ‘Der Gedanke: Eine Logische Untersuchung’, Beiträge zur Philosophie des Deutschen Idealismus 1, 1918.

  • Kaplan, D.: ‘How to Russell a Frege-Church’, Journal of Philosophy 72, 1975.

  • Kripke, S.: ‘Semantical considerations on modal logic’, Acta Philosophica Fennica 16, 1963.

  • Kripke S.: ‘Meaning and Necessity’, Semantics of Natural Language (ed. D. Davidson and G. Harman), Dordrecht, D. Reidel, 1972.

    Google Scholar 

  • Lewis D.: ‘General semantics’, Semantics of Natural Language (ed. D. Davidson and G. Harman), Dordrecht, D. Reidel, 1972.

    Google Scholar 

  • Mates B.: ‘Leibnitz on possible worlds’, Logic, Methodology and Philosophy of Science 3 (ed.) Van Rotselaar and Staal', Amsterdam, North-Holland, 1968.

    Google Scholar 

  • Montague R.: ‘English as a formal language’, Linguaggi nella Società e nella Tecnica, Milan, Ed. di Communità, 1970a.

    Google Scholar 

  • Montague, R.: ‘Universal Grammar’, Theoria 36, 1970b.

  • Montague R.: ‘The proper treatment of quantification in ordinary English’, Approaches to Natural Language: Proceedings of the 1970 Stanford Workshop on Grammar and Semantics (ed. K. Hintikka & al.), Dordrecht, D. Reidel, 1973.

    Google Scholar 

  • Plantinga: The Nature of Necessity, Oxford Univ. Press, 1974.

  • Quine W.: From a Logical Point of View, Cambridge, Mass., Harvard Univ. Press, 1961.

    Google Scholar 

  • Russell B.: Introduction to Mathematical Philosophy, London, Allen and Unwin, 1919.

    Google Scholar 

  • Russell, B.: ‘On Denoting’, Mind, 1905.

  • Russell, B.: ‘Mathematical logic as based on the theory of types’, American Journal of Mathematics 30, 1908.

  • Schönfinkel, M.: ‘Uber die Bausteine der mathematischen logik’, Mathematische Annalen 92, 1924.

  • Searle, J. R. and D. Vanderveken, Foundations of Illocutionary Logic (forthcoming).

  • Vanderveken D.: ‘Illocutionary logic and self-defeating speech acts’, Speech-Act Theory and Pragmatics (ed. by J. R. Searle, F. Kiefer and M. Bierwisch), Dordrecht, D. Reidel, 1980.

    Google Scholar 

  • Wittgenstein, L.: Tractatus logico-philosophicus, Routledge & Kegan Paul, 1961.

Download references

Author information

Authors and Affiliations

  1. Université du Québec, Quebéc, Canada

    Daniel Vanderveken

Authors
  1. Daniel Vanderveken
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Vanderveken, D. Some philosophical remarks on the theory of types in intensional logic. Erkenntnis 17, 85–112 (1982). https://doi.org/10.1007/BF00179527

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation