Switch to: References

Add citations

You must login to add citations.
  1. Anything Goes.David Ripley - 2015 - Topoi 34 (1):25-36.
    This paper consider Prior's connective Tonk from a particular bilateralist perspective. I show that there is a natural perspective from which we can see Tonk and its ilk as perfectly well-defined pieces of vocabulary; there is no need for restrictions to bar things like Tonk.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • (1 other version)Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • LK, LJ, Dual Intuitionistic Logic, and Quantum Logic.Hiroshi Aoyama - 2004 - Notre Dame Journal of Formal Logic 45 (4):193-213.
    In this paper, we study the relationship among classical logic, intuitionistic logic, and quantum logic . These logics are related in an interesting way and are not far apart from each other, as is widely believed. The results in this paper show how they are related with each other through a dual intuitionistic logic . Our study is completely syntactical.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • The philosophy of alternative logics.Andrew Aberdein & Stephen Read - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press. pp. 613-723.
    This chapter focuses on alternative logics. It discusses a hierarchy of logical reform. It presents case studies that illustrate particular aspects of the logical revisionism discussed in the chapter. The first case study is of intuitionistic logic. The second case study turns to quantum logic, a system proposed on empirical grounds as a resolution of the antinomies of quantum mechanics. The third case study is concerned with systems of relevance logic, which have been the subject of an especially detailed reform (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)Conceptual (and Hence Mathematical) Explanation, Conceptual Grounding and Proof.Francesca Poggiolesi & Francesco Genco - 2023 - Erkenntnis 88 (4):1481-1507.
    This paper studies the notions of conceptual grounding and conceptual explanation (which includes the notion of mathematical explanation), with an aim of clarifying the links between them. On the one hand, it analyses complex examples of these two notions that bring to the fore features that are easily overlooked otherwise. On the other hand, it provides a formal framework for modeling both conceptual grounding and conceptual explanation, based on the concept of proof. Inspiration and analogies are drawn with the recent (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On the Universality of Atomic and Molecular Logics via Protologics.Guillaume Aucher - 2022 - Logica Universalis 16 (1):285-322.
    After observing that the truth conditions of connectives of non–classical logics are generally defined in terms of formulas of first–order logic, we introduce ‘protologics’, a class of logics whose connectives are defined by arbitrary first–order formulas. Then, we introduce atomic and molecular logics, which are two subclasses of protologics that generalize our gaggle logics and which behave particularly well from a theoretical point of view. We also study and introduce a notion of equi-expressivity between two logics based on different classes (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Subatomic Inferences: An Inferentialist Semantics for Atomics, Predicates, and Names.Kai Tanter - 2021 - Review of Symbolic Logic:1-28.
    Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and Greg Restall’s (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Conceptual (and Hence Mathematical) Explanation, Conceptual Grounding and Proof.Francesca Poggiolesi & Francesco Genco - 2021 - Erkenntnis:1-27.
    This paper studies the notions of conceptual grounding and conceptual explanation (which includes the notion of mathematical explanation), with an aim of clarifying the links between them. On the one hand, it analyses complex examples of these two notions that bring to the fore features that are easily overlooked otherwise. On the other hand, it provides a formal framework for modeling both conceptual grounding and conceptual explanation, based on the concept of proof. Inspiration and analogies are drawn with the recent (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Cut Elimination and Normalization for Generalized Single and Multi-Conclusion Sequent and Natural Deduction Calculi.Richard Zach - 2021 - Review of Symbolic Logic 14 (3):645-686.
    Any set of truth-functional connectives has sequent calculus rules that can be generated systematically from the truth tables of the connectives. Such a sequent calculus gives rise to a multi-conclusion natural deduction system and to a version of Parigot’s free deduction. The elimination rules are “general,” but can be systematically simplified. Cut-elimination and normalization hold. Restriction to a single formula in the succedent yields intuitionistic versions of these systems. The rules also yield generalized lambda calculi providing proof terms for natural (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.
    Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Is multiset consequence trivial?Petr Cintula & Francesco Paoli - 2016 - Synthese 199 (Suppl 3):741-765.
    Dave Ripley has recently argued against the plausibility of multiset consequence relations and of contraction-free approaches to paradox. For Ripley, who endorses a nontransitive theory, the best arguments that buttress transitivity also push for contraction—whence it is wiser for the substructural logician to go nontransitive from the start. One of Ripley’s allegations is especially insidious, since it assumes the form of a trivialisation result: it is shown that if a multiset consequence relation can be associated to a closure operator in (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Proof‐theoretic semantics of natural deduction based on inversion.Ernst Zimmermann - 2021 - Theoria 87 (6):1651-1670.
    The article presents a full proof‐theoretic semantics for natural deduction based on an extended inversion principle: the elimination rule for an operator q may invert the introduction rule for q, but also vice versa, the introduction rule for a connective q may invert the elimination rule for q. Such an inversion—extending Prawitz' concept of inversion—gives the following theorem: Inversion for two rules of operator q (intro rule, elim rule) exists iff a reduction of a maximum formula for q exists. The (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Propositional superposition logic.Athanassios Tzouvaras - 2018 - Logic Journal of the IGPL 26 (1):149-190.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Natural Deduction for Quantum Logic.K. Tokuo - 2022 - Logica Universalis 16 (3):469-497.
    This paper presents a natural deduction system for orthomodular quantum logic. The system is shown to be provably equivalent to Nishimura’s quantum sequent calculus. Through the Curry–Howard isomorphism, quantum $$\lambda $$ -calculus is also introduced for which strong normalization property is established.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Subatomic Inferences: An Inferentialist Semantics for Atomics, Predicates, and Names.Kai Tanter - 2023 - Review of Symbolic Logic 16 (3):672-699.
    Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and Greg Restall’s (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Complexity of the Universal Theory of Residuated Ordered Groupoids.Dmitry Shkatov & C. J. Van Alten - 2023 - Journal of Logic, Language and Information 32 (3):489-510.
    We study the computational complexity of the universal theory of residuated ordered groupoids, which are algebraic structures corresponding to Nonassociative Lambek Calculus. We prove that the universal theory is co $$\textsf {NP}$$ -complete which, as we observe, is the lowest possible complexity for a universal theory of a non-trivial class of structures. The universal theories of the classes of unital and integral residuated ordered groupoids are also shown to be co $$\textsf {NP}$$ -complete. We also prove the co $$\textsf {NP}$$ (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Naive Structure, Contraction and Paradox.Lionel Shapiro - 2015 - Topoi 34 (1):75-87.
    Rejecting structural contraction has been proposed as a strategy for escaping semantic paradoxes. The challenge for its advocates has been to make intuitive sense of how contraction might fail. I offer a way of doing so, based on a “naive” interpretation of the relation between structure and logical vocabulary in a sequent proof system. The naive interpretation of structure motivates the most common way of blaming Curry-style paradoxes on illicit contraction. By contrast, the naive interpretation will not as easily motivate (...)
    Download  
     
    Export citation  
     
    Bookmark   18 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  
  • Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
    This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory. The field of proof-theoretic semantics has existed for almost 50 years, but the term (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Provably total functions of Basic Arithemtic.Saeed Salehi - 2003 - Mathematical Logic Quarterly 49 (3):316.
    It is shown that all the provably total functions of Basic Arithmetic BA, a theory introduced by Ruitenburg based on Predicate Basic Calculus, are primitive recursive. Along the proof a new kind of primitive recursive realizability to which BA is sound, is introduced. This realizability is similar to Kleene's recursive realizability, except that recursive functions are restricted to primitive recursives.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Generality and existence 1: Quantification and free logic.Greg Restall - 2019 - Review of Symbolic Logic 12 (1):1-29.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Substructural heresies.Bogdan Dicher - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    The past decades have seen remarkable progress in the study of substructural logics, be it mathematically or philosophically oriented. This progress has a somewhat perplexing effect: the more subst...
    Download  
     
    Export citation  
     
    Bookmark  
  • Lattice Logic, Bilattice Logic and Paraconsistent Quantum Logic: a Unified Framework Based on Monosequent Systems.Norihiro Kamide - 2021 - Journal of Philosophical Logic 50 (4):781-811.
    Lattice logic, bilattice logic, and paraconsistent quantum logic are investigated based on monosequent systems. Paraconsistent quantum logic is an extension of lattice logic, and bilattice logic is an extension of paraconsistent quantum logic. Monosequent system is a sequent calculus based on the restricted sequent that contains exactly one formula in both the antecedent and succedent. It is known that a completeness theorem with respect to a lattice-valued semantics holds for a monosequent system for lattice logic. A completeness theorem with respect (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Alternative Multilattice Logics: An Approach Based on Monosequent and Indexed Monosequent Calculi.Norihiro Kamide - 2021 - Studia Logica 109 (6):1241-1271.
    Two new multilattice logics called submultilattice logic and indexed multilattice logic are introduced as a monosequent calculus and an indexed monosequent calculus, respectively. The submultilattice logic is regarded as a monosequent calculus version of Shramko’s original multilattice logic, which is also known as the logic of logical multilattices. The indexed multilattice logic is an extension of the submultilattice logic, and is regarded as the logic of multilattices. A completeness theorem with respect to a lattice-valued semantics is proved for the submultilattice (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A novel approach to equality.Andrzej Indrzejczak - 2021 - Synthese 199 (1-2):4749-4774.
    A new type of formalization of classical first-order logic with equality is introduced on the basis of the sequent calculus. It serves to justify the claim that equality is a logical constant characterised by well-behaved rules satisfying properties usually regarded as essential. The main feature of this approach is the application of sequents built not only from formulae but also from terms. Two variants of sequent calculus are examined, a structural and a logical one. The former is defined in accordance (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Logicality, Double-Line Rules, and Modalities.Norbert Gratzl & Eugenio Orlandelli - 2019 - Studia Logica 107 (1):85-107.
    This paper deals with the question of the logicality of modal logics from a proof-theoretic perspective. It is argued that if Dos̆en’s analysis of logical constants as punctuation marks is embraced, it is possible to show that all the modalities in the cube of normal modal logics are indeed logical constants. It will be proved that the display calculus for each displayable modality admits a purely structural presentation based on double-line rules which, following Dos̆en’s analysis, allows us to claim that (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Nested Sequents for Intuitionistic Logics.Melvin Fitting - 2014 - Notre Dame Journal of Formal Logic 55 (1):41-61.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Logical Form and the Limits of Thought.Manish Oza - 2020 - Dissertation, University of Toronto
    What is the relation of logic to thinking? My dissertation offers a new argument for the claim that logic is constitutive of thinking in the following sense: representational activity counts as thinking only if it manifests sensitivity to logical rules. In short, thinking has to be minimally logical. An account of thinking has to allow for our freedom to question or revise our commitments – even seemingly obvious conceptual connections – without loss of understanding. This freedom, I argue, requires that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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   11 citations  
  • Constantes logiques et décision.Saloua Chatti - 2015 - Philosophia Scientiae 19:229-250.
    Dans cet article, j'analyse le problème des significations des constantes logiques. Ces significations sont-elles fixées conventionnellement comme le suggèrent Carnap et Wittgenstein, ou bien doivent-elles s'imposer à tous et ne pas dépendre de décisions préalables? Après avoir examiné le conventionnalisme de Wittgenstein et Carnap et l'anti-conventionnalisme de Peacocke selon lequel les sens des constantes logiques reposent sur des conceptions implicites, je montre que les deux thèses sont également critiquables. La première ne résiste pas à l'incohérence du connecteur « tonk », (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Logical Expressivism and Logical Relations.Lionel Shapiro - 2018 - In Ondřej Beran, Vojtěch Kolman & ‎Ladislav Koreň (eds.), From rules to meanings. New essays on inferentialism. New York, NY, USA: Routledge. pp. 179-95.
    According to traditional logical expressivism, logical operators allow speakers to explicitly endorse claims that are already implicitly endorsed in their discursive practice — endorsed in virtue of that practice’s having instituted certain logical relations. Here, I propose a different version of logical expressivism, according to which the expressive role of logical operators is explained without invoking logical relations at all, but instead in terms of the expression of discursive-practical attitudes. In defense of this alternative, I present a deflationary account of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Epistemology Versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Peter Dybjer, Sten Lindström, Erik Palmgren & Göran Sundholm (eds.) - 2012 - Dordrecht, Netherland: Springer.
    This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice. This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Autonomous Systems and the Place of Biology Among Sciences. Perspectives for an Epistemology of Complex Systems.Leonardo Bich - 2021 - In Gianfranco Minati (ed.), Multiplicity and Interdisciplinarity. Essays in Honor of Eliano Pessa. Springer. pp. 41-57.
    This paper discusses the epistemic status of biology from the standpoint of the systemic approach to living systems based on the notion of biological autonomy. This approach aims to provide an understanding of the distinctive character of biological systems and this paper analyses its theoretical and epistemological dimensions. The paper argues that, considered from this perspective, biological systems are examples of emergent phenomena, that the biological domain exhibits special features with respect to other domains, and that biology as a discipline (...)
    Download  
     
    Export citation  
     
    Bookmark