Skip to main content
SpringerLink
Log in

Canonical Naming Systems

  • Published:
Minds and Machines Aims and scope Submit manuscript

Abstract

This paper outlines a framework for the abstract investigation of the concept of canonicity of names and of naming systems. Degrees of canonicity of names and of naming systems are distinguished. The structure of the degrees is investigated, and a notion of relative canonicity is defined. The notions of canonicity are formally expressed within a Carnapian system of second-order modal logic.

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.

Institutional subscriptions

Similar content being viewed by others

References

  • Anderson C.A. (1989), ‘Russellian Intensional Logic’. In: Almog J. et al. (eds). Themes From Kaplan. Oxford University Press, pp. 67–103.

  • R. Carnap (1946) ArticleTitle‘Modalities and Quantification’ Journal of Symblic Logic 11 33–64

    Google Scholar 

  • Carnap R., (1956), Meaning and Necessity. A Study in Semantics and Modal Logic, 3rd edition, University of Chicago Press.

  • A. Church (1943) ArticleTitle‘Review of: Notes on Existence and Necessity, by W.V. Quine (Journal of Philosophy 40(1943))’ Journal of Symbolic Logic 8 45–47

    Google Scholar 

  • Frege G., (1966), ‘Über Sinn und Bedeutung’. (1892) Reprinted in G. Frege, ed., Funktion, Begriff, Bedeutung. Fünf logische Studien. Herausgegeben und eingeleited von Günther Patzig. Vandenhoeck & Ruprecht, pp. 40–65.

  • Gödel K., (1990), ‘Russell’s Mathematical Logic [1944]’. Reprinted, in S. Feferman et al. eds., Kurt Gödel. Collected Works. Part II, Oxford University Press: 119–141.

  • L. Horsten (1997) ArticleTitle‘Provability in Principle and Controversial Constructivistic Principles’ Journal of Philosophical Logic 26 635–660 Occurrence Handle10.1023/A:1017954806119

    Article  Google Scholar 

  • L. Horsten (1998) ArticleTitle‘In defense of Epistemic Arithmetic’ Synthese 116 1–25 Occurrence Handle10.1023/A:1005016405987

    Article  Google Scholar 

  • S. Kripke (1992) ArticleTitle‘Individual Concepts: Their Logic, Philosophy and Some of Their Uses’ Proceedings and Addresses of the APA 66 70–73

    Google Scholar 

  • Martin-Löf P., (1984), Intuitionistic Type Theory, Bibliopolis.

  • Neale S., (2000), ‘On a Milestone of Empiricism’. in A. Orenstein and P. Kotatko eds., Knowledge, Language and Logic, Kluwer: 237–346.

  • W. Reinhardt (1986) ArticleTitle‘Epistemic Theories and the Interpretation of Gödel’s Incompleteness Theorems’ Journal of Philosophical Logic 15 427–474

    Google Scholar 

  • Rogers H., (1987[1967]), Theory of Recursive Functions and Effective Computability, MIT Press.

  • Russell B., Whitehead, A.N., (1980[1910]), Principia Mathematica to *56, Cambridge University Press.

  • Shapiro S. ed., (1985), Intensional Mathematics, North-Holland.

  • Shapiro S., (1991), Foundations Without Foundationalism. A Case for Second-Order Logic, Clarendon-Press.

  • Weiermann A., (2004), ‘Analytic combinatorics and transfinite ordinals’. Manuscript.

Download references

Author information

Authors and Affiliations

  1. Center for Logic, Philosophy of Science & Philosophy at Language, Kardinaal Mercierplein 2, 3000, Leuven, Belgium

    Leon Horsten

Authors
  1. Leon Horsten
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Leon Horsten.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Horsten, L. Canonical Naming Systems. Mind Mach 15, 229–257 (2005). https://doi.org/10.1007/s11023-004-6590-1

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11023-004-6590-1

Keywords

Search

Navigation