Switch to: References

Citations of:

Conservativeness and uniqueness

Theoria 51 (3):159 (1985)

Add citations

You must login to add citations.
  1. Busting a Myth about Leśniewski and Definitions.Rafal Urbaniak & K. Severi Hämäri - 2012 - History and Philosophy of Logic 33 (2):159-189.
    A theory of definitions which places the eliminability and conservativeness requirements on definitions is usually called the standard theory. We examine a persistent myth which credits this theory to Leśniewski, a Polish logician. After a brief survey of its origins, we show that the myth is highly dubious. First, no place in Leśniewski's published or unpublished work is known where the standard conditions are discussed. Second, Leśniewski's own logical theories allow for creative definitions. Third, Leśniewski's celebrated ‘rules of definition’ lay (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Definitional Reflection and Basic Logic.Peter Schroeder-Heister - 2013 - Annals of Pure and Applied Logic 164 (4):491-501.
    In their Basic Logic, Sambin, Battilotti and Faggian give a foundation of logical inference rules by reference to certain reflection principles. We investigate the relationship between these principles and the principle of Definitional Reflection proposed by Hallnäs and Schroeder-Heister.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Are Uniqueness and Deducibility of Identicals the Same?Alberto Naibo & Mattia Petrolo - 2014 - Theoria 81 (2):143-181.
    A comparison is given between two conditions used to define logical constants: Belnap's uniqueness and Hacking's deducibility of identicals. It is shown that, in spite of some surface similarities, there is a deep difference between them. On the one hand, deducibility of identicals turns out to be a weaker and less demanding condition than uniqueness. On the other hand, deducibility of identicals is shown to be more faithful to the inferentialist perspective, permitting definition of genuinely proof-theoretical concepts. This kind of (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Weak disharmony: Some lessons for proof-theoretic semantics.Bogdan Dicher - 2016 - Review of Symbolic Logic (3):1-20.
    A logical constant is weakly disharmonious if its elimination rules are weaker than its introduction rules. Substructural weak disharmony is the weak disharmony generated by structural restrictions on the eliminations. I argue that substructural weak disharmony is not a defect of the constants which exhibit it. To the extent that it is problematic, it calls into question the structural properties of the derivability relation. This prompts us to rethink the issue of controlling the structural properties of a logic by means (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations