Canonical naming systems

Minds and Machines 15 (2):229-257 (2004)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

2005

DOI

10.1007/s11023-004-6590-1

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,880

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Canonicity in Power and Modal Logics of Finite Achronal Width.Robert Goldblatt & Ian Hodkinson - 2024 - Review of Symbolic Logic 17 (3):705-735.
Constructive canonicity in non-classical logics.Silvio Ghilardi & Giancarlo Meloni - 1997 - Annals of Pure and Applied Logic 86 (1):1-32.
Algorithmic correspondence and completeness in modal logic. IV. Semantic extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2):175-211.
Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 17-51.
A Sahlqvist theorem for distributive modal logic.Mai Gehrke, Hideo Nagahashi & Yde Venema - 2004 - Annals of Pure and Applied Logic 131 (1-3):65-102.
Duality for Double Quasioperator Algebras via their Canonical Extensions.M. Gehrke & H. A. Priestley - 2007 - Studia Logica 86 (1):31-68.
Hypercanonicity, Extensive Canonicity, Canonicity And Strong Completeness Of Intermediate Propositional Logics.Camillo Fiorentini - 2001 - Reports on Mathematical Logic:3-46.
Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 221-240.
Algorithmic correspondence and canonicity for distributive modal logic.Willem Conradie & Alessandra Palmigiano - 2012 - Annals of Pure and Applied Logic 163 (3):338-376.
Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 221-240.

Analytics

Added to PP
2009-01-28

Downloads
61 (#354,025)

6 months
8 (#633,132)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Leon Horsten
Universität Konstanz

Citations of this work

The epistemic significance of numerals.Jan Heylen - 2014 - Synthese 198 (Suppl 5):1019-1045.

Add more citations

References found in this work

Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
Uber Sinn und Bedeutung.Gottlob Frege - 1892 - Zeitschrift für Philosophie Und Philosophische Kritik 100 (1):25-50.
Modalities and quantification.Rudolf Carnap - 1946 - Journal of Symbolic Logic 11 (2):33-64.

View all 17 references / Add more references