Switch to: References

Citations of:

Natural deduction: a proof-theoretical study

Mineola, N.Y.: Dover Publications (1965)

Add citations

You must login to add citations.
  1. Modality and the structure of assertion.Ansten Klev - 2023 - In Igor Sedlár (ed.), Logica Yearbook 2022. London: College Publications. pp. 39-53.
    A solid foundation of modal logic requires a clear conception of the notion of modality. Modern modal logic treats modality as a propositional operator. I shall present an alternative according to which modality applies primarily to illocutionary force, that is, to the force, or mood, of a speech act. By a first step of internalization, modality applied at this level is pushed to the level of speech-act content. By a second step of internalization, we reach a propositional operator validating the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Molecularity in the Theory of Meaning and the Topic Neutrality of Logic.Bernhard Weiss & Nils Kürbis - 2024 - In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 187-209.
    Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for a logical (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Eight Rules for Implication Elimination.Michael Arndt - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 239-273.
    Eight distinct rules for implication in the antecedent for the sequent calculus, one of which being Gentzen’s standard rule, can be derived by successively applying a number of cuts to the logical ground sequent A → B, A ⇒ B. A naive translation into natural deduction collapses four of those rules onto the standard implication elimination rule, and the remaining four rules onto the general elimination rule. This collapse is due to the fact that the difference between a formula occurring (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Intensional Harmony as Isomorphism.Paolo Pistone & Luca Tranchini - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 315-337.
    In the present paper we discuss a recent suggestion of Schroeder-Heister concerning the possibility of defining an intensional notion of harmony using isomorphism in second-order propositional logic. The latter is not an absolute notion, but its definition is relative to the choice of criteria for identity of proofs. In the paper, it is argued that in order to attain a satisfactory account of harmony, one has to consider a notion of identity stronger than the usual one (based on β- and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Routes to relevance: Philosophies of relevant logics.Shawn Standefer - 2024 - Philosophy Compass 19 (2):e12965.
    Relevant logics are a family of non-classical logics characterized by the behavior of their implication connectives. Unlike some other non-classical logics, such as intuitionistic logic, there are multiple philosophical views motivating relevant logics. Further, different views seem to motivate different logics. In this article, we survey five major views motivating the adoption of relevant logics: Use Criterion, sufficiency, meaning containment, theory construction, and truthmaking. We highlight the philosophical differences as well as the different logics they support. We end with some (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Logical Disagreement.Frederik J. Andersen - 2024 - Dissertation, University of St. Andrews
    While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. Chapters 1 and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory.Sara Ayhan - 2023 - Australasian Journal of Logic 20 (3):412-428.
    It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is also (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Uniqueness of Logical Connectives in a Bilateralist Setting.Sara Ayhan - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 1-16.
    In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, the logic 2Int is suitable, for which I introduce a sequent calculus system, displaying - just like the corresponding natural deduction system - a consequence relation for provability as well as one dual to provability. I will propose a modified characterization of uniqueness incorporating such a duality of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Schopenhauers Logikdiagramme in den Mathematiklehrbüchern Adolph Diesterwegs.Jens Lemanski - 2022 - Siegener Beiträge Zur Geschichte Und Philosophie der Mathematik 16:97-127.
    Ein Beispiel für die Rezeption und Fortführung der schopenhauerschen Logik findet man in den Mathematiklehrbüchern Friedrich Adolph Wilhelm Diesterwegs (1790–1866), In diesem Aufsatz werden die historische und systematische Dimension dieser Anwendung von Logikdiagramme auf die Mathematik skizziert. In Kapitel 2 wird zunächst die frühe Rezeption der schopenhauerschen Logik und Philosophie der Mathematik vorgestellt. Dabei werden einige oftmals tradierte Vorurteile, die das Werk Schopenhauers betreffen, in Frage gestellt oder sogar ausgeräumt. In Kapitel 3 wird dann die Philosophie der Mathematik und der (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Quine's challenge and Logical Pluralism.Antonio Negro - 2010 - Dissertation,
    Download  
     
    Export citation  
     
    Bookmark  
  • Frameworks, models, and case studies: a new methodology for studying conceptual change in science and philosophy.Matteo De Benedetto - 2022 - Dissertation, Ludwig Maximilians Universität, München
    This thesis focuses on models of conceptual change in science and philosophy. In particular, I developed a new bootstrapping methodology for studying conceptual change, centered around the formalization of several popular models of conceptual change and the collective assessment of their improved formal versions via nine evaluative dimensions. Among the models of conceptual change treated in the thesis are Carnap’s explication, Lakatos’ concept-stretching, Toulmin’s conceptual populations, Waismann’s open texture, Mark Wilson’s patches and facades, Sneed’s structuralism, and Paul Thagard’s conceptual revolutions. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Bilateral Inversion Principles.Nils Kürbis - 2022 - Electronic Proceedings in Theoretical Computer Science 358:202–215.
    This paper formulates a bilateral account of harmony that is an alternative to one proposed by Francez. It builds on an account of harmony for unilateral logic proposed by Kürbis and the observation that reading the rules for the connectives of bilateral logic bottom up gives the grounds and consequences of formulas with the opposite speech act. I formulate a process I call 'inversion' which allows the determination of assertive elimination rules from assertive introduction rules, and rejective elimination rules from (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Varieties of Relevant S5.Shawn Standefer - 2023 - Logic and Logical Philosophy 32 (1):53–80.
    In classically based modal logic, there are three common conceptions of necessity, the universal conception, the equivalence relation conception, and the axiomatic conception. They provide distinct presentations of the modal logic S5, all of which coincide in the basic modal language. We explore these different conceptions in the context of the relevant logic R, demonstrating where they come apart. This reveals that there are many options for being an S5-ish extension of R. It further reveals a divide between the universal (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Paradoxicality in Kripke’s theory of truth.Lucas Rosenblatt & Camila Gallovich - 2022 - Synthese 200 (2):1-23.
    A lot has been written on solutions to the semantic paradoxes, but very little on the topic of general theories of paradoxicality. The reason for this, we believe, is that it is not easy to disentangle a solution to the paradoxes from a specific conception of what those paradoxes consist in. This paper goes some way towards remedying this situation. We first address the question of what one should expect from an account of paradoxicality. We then present one conception of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Substructural approaches to paradox: an introduction to the special issue.Elia Zardini - 2021 - Synthese 199 (3):493-525.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Advances in Natural Deduction: A Celebration of Dag Prawitz's Work.Luiz Carlos Pereira & Edward Hermann Haeusler (eds.) - 2012 - Dordrecht, Netherland: Springer.
    This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Constructivity and Computability in Historical and Philosophical Perspective.Jacques Dubucs & Michel Bourdeau (eds.) - 2014 - Dordrecht, Netherland: Springer.
    Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity and linear logic, this comprehensive new work clarifies the relationship between computability on the one hand and constructivity on the other. The authors argue that even though constructivists have largely shed Brouwer’s solipsistic attitude to logic, there remain points of disagreement to this day. Focusing on the growing pains computability experienced as it was forced to address the demands of rapidly expanding applications, the content maps the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules.Nils Kürbis - 2021 - Synthese 199 (5-6):14223-14248.
    This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal form and that deductions (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A Note on Paradoxical Propositions from an Inferential Point of View.Ivo Pezlar - 2021 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2020. College Publications. pp. 183-199.
    In a recent paper by Tranchini (Topoi, 2019), an introduction rule for the paradoxical proposition ρ∗ that can be simultaneously proven and disproven is discussed. This rule is formalized in Martin-Löf’s constructive type theory (CTT) and supplemented with an inferential explanation in the style of Brouwer-Heyting-Kolmogorov semantics. I will, however, argue that the provided formalization is problematic because what is paradoxical about ρ∗ from the viewpoint of CTT is not its provability, but whether it is a proposition at all.
    Download  
     
    Export citation  
     
    Bookmark  
  • Proofs, Grounds and Empty Functions: Epistemic Compulsion in Prawitz’s Semantics.Antonio Piccolomini D’Aragona - 2021 - Journal of Philosophical Logic 51 (2):249-281.
    Prawitz has recently developed a theory of epistemic grounding that differs in many respects from his earlier semantics of arguments and proofs. An innovative approach to inferences yields a new conception of the intertwinement of the notions of valid inference and proof. We aim at singling out three reasons that may have led Prawitz to the ground-theoretic turn, i.e.: a better order in the explanation of the relation between valid inferences and proofs; a notion of valid inference based on which (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Idempotent Variations on the Theme of Exclusive Disjunction.L. Humberstone - 2021 - Studia Logica 110 (1):121-163.
    An exclusive disjunction is true when exactly one of the disjuncts is true. In the case of the familiar binary exclusive disjunction, we have a formula occurring as the first disjunct and a formula occurring as the second disjunct, so, if what we have is two formula-tokens of the same formula-type—one formula occurring twice over, that is—the question arises as to whether, when that formula is true, to count the case as one in which exactly one of the disjuncts is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Normalisation and subformula property for a system of classical logic with Tarski’s rule.Nils Kürbis - 2021 - Archive for Mathematical Logic 61 (1):105-129.
    This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a general introduction rule for implication. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Aspectos metafísicos na física de Newton: Deus.Bruno Camilo de Oliveira - 2011 - In Luiz Henrique de Araújo Dutra & Alexandre Meyer Luz (eds.), Coleção rumos da epistemologia. pp. 186-201.
    CAMILO, Bruno. Aspectos metafísicos na física de Newton: Deus. In: DUTRA, Luiz Henrique de Araújo; LUZ, Alexandre Meyer (org.). Temas de filosofia do conhecimento. Florianópolis: NEL/UFSC, 2011. p. 186-201. (Coleção rumos da epistemologia; 11). Através da análise do pensamento de Isaac Newton (1642-1727) encontramos os postulados metafísicos que fundamentam a sua mecânica natural. Ao deduzir causa de efeito, ele acreditava chegar a uma causa primeira de todas as coisas. A essa primeira causa de tudo, onde toda a ordem e leis (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)The original sin of proof-theoretic semantics.Francesco Paoli & Bogdan Dicher - 2018 - Synthese 198 (1):615-640.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Definite Descriptions in Intuitionist Positive Free Logic.Nils Kürbis - 2020 - Logic and Logical Philosophy 30:1.
    This paper presents rules of inference for a binary quantifier I for the formalisation of sentences containing definite descriptions within intuitionist positive free logic. I binds one variable and forms a formula from two formulas. Ix[F, G] means ‘The F is G’. The system is shown to have desirable proof-theoretic properties: it is proved that deductions in it can be brought into normal form. The discussion is rounded up by comparisons between the approach to the formalisation of definite descriptions recommended (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Shadows of Syntax: Revitalizing Logical and Mathematical Conventionalism.Jared Warren - 2020 - New York, USA: Oxford University Press.
    What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...)
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • Sketch of a Proof-Theoretic Semantics for Necessity.Nils Kürbis - 2020 - In Nicola Olivetti, Rineke Verbrugge & Sara Negri (eds.), Advances in Modal Logic 13. Booklet of Short Papers. Helsinki: pp. 37-43.
    This paper considers proof-theoretic semantics for necessity within Dummett's and Prawitz's framework. Inspired by a system of Pfenning's and Davies's, the language of intuitionist logic is extended by a higher order operator which captures a notion of validity. A notion of relative necessary is defined in terms of it, which expresses a necessary connection between the assumptions and the conclusion of a deduction.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Proof-Theoretic Approaches to the Paradoxes: Problems of Undergeneration and Overgeneration in the Prawitz-Tennant Analysis.Seungrak Choi - 2019 - Dissertation, Korea University
    In this dissertation, we shall investigate whether Tennant's criterion for paradoxicality(TCP) can be a correct criterion for genuine paradoxes and whether the requirement of a normal derivation(RND) can be a proof-theoretic solution to the paradoxes. Tennant’s criterion has two types of counterexamples. The one is a case which raises the problem of overgeneration that TCP makes a paradoxical derivation non-paradoxical. The other is one which generates the problem of undergeneration that TCP renders a non-paradoxical derivation paradoxical. Chapter 2 deals with (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Verifikation, Manifestation und Verstehen: Bemerkungen zum Manifestationsargument.Thorsten Sander - 2006 - Philosophisches Jahrbuch 113:336-358.
    Dem "Manifestationsargument" zufolge steht eine realistische Semantik der Wahrheitsbedingungen im Widerspruch zu dem Gedanken, dass das Verstehen von Sätzen eine Fähigkeit ist, die sich im Handeln manifestieren können muss. – Der Aufsatz zeigt, dass sowohl Realisten als auch Anti-Realisten die These aufzugeben haben, dass das Verstehen eines Satzes im Erfassen der jeweiligen Wahrheitsbedingungenbesteht. Die realistische Annahme der Existenz verifikationstranszendenter Wahrheiten steht – unabhängig vom Manifestationsprinzip – im Widerspruch zu einer wahrheitskonditionalen Semantik. Die von heutigen Anti-Realisten vertretenen Theorien des Verstehens sind (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On Different Ways of Being Equal.Bruno Bentzen - 2020 - Erkenntnis 87 (4):1809-1830.
    The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Inferences by Parallel Reasoning in Islamic Jurisprudence: Al-Shīrāzī’s Insights Into the Dialectical Constitution of Meaning and Knowledge.Shahid Rahman, Muhammad Iqbal & Youcef Soufi - 2019 - Cham, Switzerland: Springer Verlag.
    This monograph proposes a new way of studying the different forms of correlational inference, known in the Islamic jurisprudence as qiyās. According to the authors’ view, qiyās represents an innovative and sophisticated form of dialectical reasoning that not only provides new epistemological insights into legal argumentation in general but also furnishes a fine-grained pattern for parallel reasoning which can be deployed in a wide range of problem-solving contexts and does not seem to reduce to the standard forms of analogical reasoning (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Non-Constructive Procedural Theory of Propositional Problems and the Equivalence of Solutions.Ivo Pezlar - 2019 - In Igor Sedlár & Martin Blicha (eds.), The Logica Yearbook 2018. College Publications. pp. 197-210.
    We approach the topic of solution equivalence of propositional problems from the perspective of non-constructive procedural theory of problems based on Transparent Intensional Logic (TIL). The answer we put forward is that two solutions are equivalent if and only if they have equivalent solution concepts. Solution concepts can be understood as a generalization of the notion of proof objects from the Curry-Howard isomorphism.
    Download  
     
    Export citation  
     
    Bookmark  
  • Inferential Expressivism and the Negation Problem.Luca Incurvati & Julian J. Schlöder - forthcoming - Oxford Studies in Metaethics 16.
    We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Weak Assertion.Luca Incurvati & Julian J. Schlöder - 2019 - Philosophical Quarterly 69 (277):741-770.
    We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • (1 other version)Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2014 - Cham, Switzerland: Springer.
    This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Normality, Non-contamination and Logical Depth in Classical Natural Deduction.Marcello D’Agostino, Dov Gabbay & Sanjay Modgil - 2020 - Studia Logica 108 (2):291-357.
    In this paper we provide a detailed proof-theoretical analysis of a natural deduction system for classical propositional logic that (i) represents classical proofs in a more natural way than standard Gentzen-style natural deduction, (ii) admits of a simple normalization procedure such that normal proofs enjoy the Weak Subformula Property, (iii) provides the means to prove a Non-contamination Property of normal proofs that is not satisfied by normal proofs in the Gentzen tradition and is useful for applications, especially in formal argumentation, (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..
    We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Bilateralism: Negations, Implications and some Observations and Problems about Hypotheses.Nils Kürbis - 2017 - In Thomas Piecha & Jean Fichot (eds.), Beyond Logic. Proceedings of the Conference held in Cerisy-la-Salle, 22-27 May 2017.
    This short paper has two loosely connected parts. In the first part, I discuss the difference between classical and intuitionist logic in relation to different the role of hypotheses play in each logic. Harmony is normally understood as a relation between two ways of manipulating formulas in systems of natural deduction: their introduction and elimination. I argue, however, that there is at least a third way of manipulating formulas, namely the discharge of assumption, and that the difference between classical and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Strong Normalization via Natural Ordinal.Daniel Durante Pereira Alves - 1999 - Dissertation,
    The main objective of this PhD Thesis is to present a method of obtaining strong normalization via natural ordinal, which is applicable to natural deduction systems and typed lambda calculus. The method includes (a) the definition of a numerical assignment that associates each derivation (or lambda term) to a natural number and (b) the proof that this assignment decreases with reductions of maximal formulas (or redex). Besides, because the numerical assignment used coincide with the length of a specific sequence of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • On the explanatory power of truth in logic.Gila Sher - 2018 - Philosophical Issues 28 (1):348-373.
    Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful. The paper demonstrates the considerable explanatory power of a truth-based approach to logic by showing that and how it can provide (i) an explanatory characterization —both semantic and proof-theoretical—of logical inference, (ii) an explanatory criterion for logical constants and operators, (iii) an explanatory account of logic’s role (function) in knowledge, as well as explanations of (iv) the characteristic features of logic —formality, strong modal force, generality, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Compositionality and the Prospect of a Pluralistic Semantic Theory.Adam C. Podlaskowski - 2019 - Australasian Journal of Philosophy 97 (2):325-339.
    A semantic theory is committed to semantic monism just in case every particular semantic property posited by the theory is a member of the same kind. The commitment to semantic monism appears to draw some support from the need to provide a compositional semantics, since taking a single kind of semantic property as key to a semantic theory affords a uniform pattern on the basis of which the meaning of any given sentence can be compositionally determined. This line of support (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Double-line Harmony in a Sequent Setting.Gratzl Norbert & Orlandelli Eugenio - 2017 - In Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016. College Publications.
    This paper concentrates on how to capture harmony in sequent calculi. It starts by considering a proposal made by Tennant and some objections to it which have been presented by Steinberger. Then it proposes a different analysis which makes use of a double-line presentation of sequent calculi in the style of Dosen and it shows that this proposal is able to dismiss disharmonious operators without thereby adopting any global criterion.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Justification of Identity Elimination in Martin-Löf’s Type Theory.Ansten Klev - 2019 - Topoi 38 (3):577-590.
    On the basis of Martin-Löf’s meaning explanations for his type theory a detailed justification is offered of the rule of identity elimination. Brief discussions are thereafter offered of how the univalence axiom fares with respect to these meaning explanations and of some recent work on identity in type theory by Ladyman and Presnell.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016. College Publications. pp. 141-155.
    Dummett’s justification procedures are revisited. They are used as background for the discussion of some conceptual and technical issues in proof-theoretic semantics, especially the role played by assumptions in proof-theoretic definitions of validity.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Small Steps and Great Leaps in Thought: The Epistemology of Basic Deductive Rules.Joshua Schechter - 2019 - In Magdalena Balcerak Jackson & Brendan Jackson (eds.), Reasoning: New Essays on Theoretical and Practical Thinking. Oxford University Press.
    We are justified in employing the rule of inference Modus Ponens (or one much like it) as basic in our reasoning. By contrast, we are not justified in employing a rule of inference that permits inferring to some difficult mathematical theorem from the relevant axioms in a single step. Such an inferential step is intuitively “too large” to count as justified. What accounts for this difference? In this paper, I canvass several possible explanations. I argue that the most promising approach (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • (1 other version)Inferentialism.Florian Steinberger & Julien Murzi - 2017 - In Steinberger Florian & Murzi Julien (eds.), Blackwell Companion to Philosophy of Language. pp. 197-224.
    This article offers an overview of inferential role semantics. We aim to provide a map of the terrain as well as challenging some of the inferentialist’s standard commitments. We begin by introducing inferentialism and placing it into the wider context of contemporary philosophy of language. §2 focuses on what is standardly considered both the most important test case for and the most natural application of inferential role semantics: the case of the logical constants. We discuss some of the (alleged) benefits (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Full intuitionistic linear logic.Martin Hyland & Valeria de Paiva - 1993 - Annals of Pure and Applied Logic 64 (3):273-291.
    In this paper we give a brief treatment of a theory of proofs for a system of Full Intuitionistic Linear Logic. This system is distinct from Classical Linear Logic, but unlike the standard Intuitionistic Linear Logic of Girard and Lafont includes the multiplicative disjunction par. This connective does have an entirely natural interpretation in a variety of categorical models of Intuitionistic Linear Logic. The main proof-theoretic problem arises from the observation of Schellinx that cut elimination fails outright for an intuitive (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Capturing naive validity in the Cut-free approach.Eduardo Barrio, Lucas Rosenblatt & Diego Tajer - 2016 - Synthese 199 (Suppl 3):707-723.
    Rejecting the Cut rule has been proposed as a strategy to avoid both the usual semantic paradoxes and the so-called v-Curry paradox. In this paper we consider if a Cut-free theory is capable of accurately representing its own notion of validity. We claim that the standard rules governing the validity predicate are too weak for this purpose and we show that although it is possible to strengthen these rules, the most obvious way of doing so brings with it a serious (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations