10 found
Order:
See also
Bogdan Dicher
Universidade de Lisboa
  1.  7
    Variations on Intra-Theoretical Logical Pluralism: Internal Versus External Consequence.Bogdan Dicher - forthcoming - Philosophical Studies:1-20.
    Intra-theoretical logical pluralism is a form of meaning-invariant pluralism about logic, articulated recently by Hjortland :355–373, 2013). This version of pluralism relies on it being possible to define several distinct notions of provability relative to the same logical calculus. The present paper picks up and explores this theme: How can a single logical calculus express several different consequence relations? The main hypothesis articulated here is that the divide between the internal and external consequence relations in Gentzen systems generates a form (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  16
    Hopeful Monsters: A Note on Multiple Conclusions.Bogdan Dicher - forthcoming - Erkenntnis:1-22.
    Arguments, the story goes, have one or more premises and only one conclusion. A contentious generalisation allows arguments with several disjunctively connected conclusions. Contentious as this generalisation may be, I will argue nevertheless that it is justified. My main claim is that multiple conclusions are epiphenomena of the logical connectives: some connectives determine, in a certain sense, multiple-conclusion derivations. Therefore, such derivations are completely natural and can safely be used in proof-theoretic semantics.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3.  9
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  9
    The Original Sin of Proof-Theoretic Semantics.Bogdan Dicher & Francesco Paoli - forthcoming - Synthese:1-26.
    Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  44
    A Proof-Theoretic Defence of Meaning-Invariant Logical Pluralism.Bogdan Dicher - 2016 - Mind 125 (499):727-757.
    In this paper I offer a proof-theoretic defence of meaning-invariant logical pluralism. I argue that there is a relation of co-determination between the operational and structural aspects of a logic. As a result, some features of the consequence relation are induced by the connectives. I propose that a connective is defined by those rules which are conservative and unique, while at the same time expressing only connective-induced structural information. This is the key to stabilizing the meaning of the connectives across (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  26
    On a Generality Condition in Proof‐Theoretic Semantics.Bogdan Dicher - 2017 - Theoria 83 (4):394-418.
    In the recent literature on proof-theoretic semantics, there is mention of a generality condition on defining rules. According to this condition, the schematic formulation of the defining rules must be maximally general, in the sense that no restrictions should be placed on the contexts of these rules. In particular, context variables must always be present in the schematic rules and they should range over arbitrary collections of formulae. I argue against imposing such a condition, by showing that it has undesirable (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7.  24
    Logical Pluralism and the Meaning of the Logical Constants.Bogdan Dicher - 2014 - Dissertation, The University of Melbourne
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. ST, LP and Tolerant Metainferences.Bogdan Dicher & Francesco Paoli - forthcoming - In C. Bașkent & Thomas Ferguson (eds.), Graham Priest on dialetheism and paraconsistency. Springer.
  9. Some Remarks Concerning Legal Objectivity.Bogdan Dicher - 2006 - Studia Philosophica 2.
    In this paper I analyse the claim according to which law is objective. After clarifying the philosophically relevant meaning of this claim , I distinguish several aspects of the thesis, concerning, respectively legal truth , legal error , legal determinacy and the metaphysical status of legal entities . Then, I take into consideration the phenomenology of our legal practice and the apparent support it gives to claims of legal objectivity. Finally, I stress the connection between legal objectivity and normativity and (...)
     
    Export citation  
     
    Bookmark  
  10. Philosophy of Pragmatism. Religious Premises, Moral Issues and Historical Impact.Monica Merutiu, Bogdan Dicher & Adrian Ludusan (eds.) - 2007 - Efes.
    Translate
     
     
    Export citation  
     
    Bookmark