14 found
Order:
See also
Bogdan Dicher
Universidade de Lisboa
  1.  31
    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   4 citations  
  2.  63
    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   7 citations  
  3. ST, LP and Tolerant Metainferences.Bogdan Dicher & Francesco Paoli - forthcoming - In C. Bașkent & Thomas Ferguson (eds.), Graham Priest on dialetheism and paraconsistency. Springer.
  4.  33
    Variations on Intra-Theoretical Logical Pluralism: Internal Versus External Consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):667-686.
    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   2 citations  
  5.  21
    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 (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  6.  20
    Requiem for Logical Nihilism, Or: Logical Nihilism Annihilated.Bogdan Dicher - forthcoming - Synthese:1-24.
    Logical nihilism is the view that the relation of logical consequence is empty: there are counterexamples to any putative logical law. In this paper, I argue that the nihilist threat is illusory. The nihilistic arguments do not work. Moreover, the entire project is based on a misguided interpretation of the generality of logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7.  33
    Hopeful Monsters: A Note on Multiple Conclusions.Bogdan Dicher - 2020 - Erkenntnis 85 (1):77-98.
    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)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  8.  34
    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   1 citation  
  9.  10
    Correction to: Variations on intra-theoretical logical pluralism: internal versus external consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):687-687.
    In the original publication of the article, in Definition 4, the sixth line which reads as.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  20
    Ask Not What Bilateralist Intuitionists Can Do for Cut, but What Cut Can Do for Bilateralist Intuitionism.Bogdan Dicher - forthcoming - Analysis.
    On a bilateralist reading, sequents are interpreted as statements to the effect that, given the assertion of the antecedent it is incoherent to deny the succedent. This interpretation goes against its own ecumenical ambitions, endowing Cut with a meaning very close to that of tertium non datur and thus rendering it intuitionistically unpalatable. This paper explores a top-down route for arguing that, even intuitionistically, a prohibition to deny is as strong as a licence to assert.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  34
    Logical Pluralism and the Meaning of the Logical Constants.Bogdan Dicher - 2014 - Dissertation, The University of Melbourne
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. ST, LP and Tolerant Metainferences.Bogdan Dicher & Francesco Paoli - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Springer Verlag. pp. 383-407.
    The strict-tolerant approach to paradox promises to erect theories of naïve truth and tolerant vagueness on the firm bedrock of classical logic. We assess the extent to which this claim is founded. Building on some results by Girard we show that the usual proof-theoretic formulation of propositional ST in terms of the classical sequent calculus without primitive Cut is incomplete with respect to ST-valid metainferences, and exhibit a complete calculus for the same class of metainferences. We also argue that the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. 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  
  14. Philosophy of Pragmatism. Religious Premises, Moral Issues and Historical Impact.Monica Merutiu, Bogdan Dicher & Adrian Ludusan (eds.) - 2007 - Efes.
    Translate
     
     
    Export citation  
     
    Bookmark