Results for 'truth logic'

993 found
Order:
  1.  14
    Truth, logical validity and determinateness: A commentary on field’s saving truth from paradox.P. D. Welch - 2011 - Review of Symbolic Logic 4 (3):348-359.
    We consider notions of truth and logical validity defined in various recent constructions of Hartry Field. We try to explicate his notion of determinate truth by clarifying the path-dependent hierarchies of his determinateness operator.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  9
    Truth, Logical Structure, and Compositionality.Gila Sher - 2001 - Synthese 126 (1-2):195-219.
    In this paper I examine a cluster of concepts relevant to the methodology of truth theories: 'informative definition', 'recursive method', 'semantic structure', 'logical form', 'compositionality', etc. The interrelations between these concepts, I will try to show, are more intricate and multi-dimensional than commonly assumed.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3. Truth-Logics.G. H. Von Wright - 1987 - Logique Et Analyse 30 (20):311.
     
    Export citation  
     
    Bookmark   3 citations  
  4. Truth-logics.Gh Von Wright - 1987 - Logique Et Analyse 30 (120):311-334.
     
    Export citation  
     
    Bookmark  
  5.  4
    Essays on logic and its applications in philosophy.Jan Woleński (ed.) - 2011 - Frankfurt am Main: Peter Lang.
    This is a collection of essays about logic and its applications to various philosophical problems. In general, it is argued that logic constitutes an important device of philosophical analysis. Concerning the nature of logic the author defends the thesis that first-order logic is the logic. Among the philosophical problems to which logic is applied in the essays are: truth, consistency, realism, foundations of semantics, psychologism, undetermination of theories by empirical data, modalities, value concepts, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  6
    Set theory influenced logic, both through its semantics, by expanding the possible models of various theories and by the formal definition of a model; and through its syntax, by allowing for logical languages in which formulas can be infinite in length or in which the number of symbols is uncountable.Truth Definitions - 1998 - Bulletin of Symbolic Logic 4 (3).
  7. Georg Henrik von Wright: Truth-Logics.Von Wright - 1987 - Logique Et Analyse 30.
     
    Export citation  
     
    Bookmark   1 citation  
  8.  38
    The Oxford Handbook of Truth.Michael Glanzberg (ed.) - 2018 - Oxford, United Kingdom: Oxford University Press.
    A team of 36 leading experts present the definitive guide to philosophical issues to do with truth. They survey how the concept of truth has been understood from antiquity to the present; offer critical assessments of the standard theories of truth; and explore the role of truth in logic, language, metaphysics, ethics, science, and mathematics.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  9.  22
    Pluralism × 3: Truth, Logic, Metaphysics.Nikolaj Jang Lee Linding Pedersen - 2014 - Erkenntnis 79 (S2):259-277.
    This paper offers a discussion of metaphysical pluralism, alethic pluralism, and logical pluralism. According to the metaphysical pluralist, there are several ways of being. According to the alethic pluralist, there are several ways of being true, and according to the logical pluralist, there are several ways of being valid. Each of these three forms of pluralism will be considered on its own, but the ambition of the paper is to explore possible connections between them. My primary objective is to present (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  10. Validity as Truth-Conduciveness.Arvid Båve - forthcoming - In Adam Podlaskowski & Drew Johnson (eds.), Truth 20/20. Synthese Library.
    Thomas Hofweber takes the semantic paradoxes to motivate a radical reconceptualization of logical validity, rejecting the idea that an inference rule is valid just in case every instance thereof is necessarily truth-preserving. Rather than this “strict validity”, we should identify validity with “generic validity”, where a rule is generically valid just in case its instances are truth preserving, and where this last sentence is a generic, like “Bears are dangerous”. While sympathetic to Hofweber’s view that strict validity should (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  11. Logic for Exact Entailment.Kit Fine & Mark Jago - 2019 - Review of Symbolic Logic 12 (3):536-556.
    An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  12. Truth, Logic and Experience.Sibnath Sarma - 1997 - In Dilip Kumar Chakraborty (ed.), Perspectives in contemporary philosophy. Delhi: Ajanta Publications. pp. 139.
  13. Cognitive Projects and the Trustworthiness of Positive Truth.Matteo Zicchetti - 2022 - Erkenntnis (8).
    The aim of this paper is twofold: first, I provide a cluster of theories of truth in classical logic that is (internally) consistent with global reflection principles: the theories of positive truth (and falsity). After that, I analyse the _epistemic value_ of such theories. I do so employing the framework of cognitive projects introduced by Wright (Proc Aristot Soc 78:167–245, 2004), and employed—in the context of theories of truth—by Fischer et al. (Noûs 2019. https://doi.org/10.1111/nous.12292 ). In (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  15
    Formal Theories of Truth.Jc Beall, Michael Glanzberg & David Ripley - 2018 - Oxford: Oxford University Press. Edited by Michael Glanzberg & David Ripley.
    Three leading philosopher-logicians present a clear and concise overview of formal theories of truth, explaining key logical techniques. Truth is as central topic in philosophy: formal theories study the connections between truth and logic, including the intriguing challenges presented by paradoxes like the Liar.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  15.  19
    Intensional Logic and the Metaphysics of Intentionality.Edward N. Zalta - 1988 - Cambridge, MA, USA: MIT Press.
    This book tackles the issues that arise in connection with intensional logic -- a formal system for representing and explaining the apparent failures of certain important principles of inference such as the substitution of identicals and existential generalization -- and intentional states --mental states such as beliefs, hopes, and desires that are directed towards the world. The theory offers a unified explanation of the various kinds of inferential failures associated with intensional logic but also unifies the study of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   193 citations  
  16.  3
    Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop.Wiktor Marek, Anil Nerode, V. S. Subrahmanian & Association for Logic Programming - 1991 - MIT Press (MA).
    The First International Workshop brings together researchers from the theoretical ends of the logic programming and artificial intelligence communities to discuss their mutual interests. Logic programming deals with the use of models of mathematical logic as a way of programming computers, where theoretical AI deals with abstract issues in modeling and representing human knowledge and beliefs. One common ground is nonmonotonic reasoning, a family of logics that includes room for the kinds of variations that can be found (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  7
    In defence of a logic for ‘because’.B. Schnieder - 2016 - Journal of Applied Non-Classical Logics 26 (2):160-171.
    The present author developed a calculus for the logic of ‘because’. In a recent paper in this journal, it has been claimed that the central inference rules for the logic are invalid and that the intuition upon which the rules are based is not accounted for. This note criticises these arguments and presents an independent argument in favour of the rules used in the logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  18.  24
    Needs, values, truth: essays in the philosophy of value.David Wiggins - 1987 - New York: Oxford University Press.
    Needs, Values, Truth brings together of some of the most important and influential writings by a leading contemporary philosopher, drawn from twenty-five years of his work in the broad area of the philosophy of value. The author ranges between problems of ethics, meta-ethics, philosophy of mind, and philosophy of logic and language, looking at questions relating to meaning, truth and objectivity in judgements of value. For this third edition he has added a new essay on incommensurability, in (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   71 citations  
  19.  16
    The Revision Theory of Truth.A. Gupta & N. D. Belnap - 1993 - MIT Press.
    In this rigorous investigation into the logic of truth Anil Gupta and Nuel Belnap explain how the concept of truth works in both ordinary and pathological..
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   217 citations  
  20.  14
    A Note on ‘Distributive Terms, Truth, and The Port Royal Logic’.John Neil Martin - 2016 - History and Philosophy of Logic 37 (4):391-392.
    A note correcting some technical terminology from linguistics found in ‘Distributive Terms, Truth, and The Port Royal Logic’, this journal, Jan. 17, 2013, 133–54.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  21.  12
    Experimental Philosophical Logic.David Ripley - 2016 - In Wesley Buckwalter & Justin Sytsma (eds.), Blackwell Companion to Experimental Philosophy. Malden, MA: Blackwell. pp. 521–534.
    This chapter explores the intersection of experimental philosophy and philosophical logic. It considers a distinction between pure and applied logic. It sketches some ways in which experimental results and empirical results more broadly, can inform and have informed debates within philosophical logic. The chapter lays out a way of looking at the situation that makes plain at least one way in which people should expect experimental and logical concerns to overlap. It turns to the phenomenon of vagueness, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  12
    Modal Logic for Philosophers.James W. Garson - 2006 - Cambridge and New York: Cambridge University Press.
    This book on modal logic is especially designed for philosophy students. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dicto (...)
  23.  38
    Games for truth.P. D. Welch - 2009 - Bulletin of Symbolic Logic 15 (4):410-427.
    We represent truth sets for a variety of the well known semantic theories of truth as those sets consisting of all sentences for which a player has a winning strategy in an infinite two person game. The classifications of the games considered here are simple, those over the natural model of arithmetic being all within the arithmetical class of $\Sum_{3}^{0}$.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  24.  99
    The Truth About the Future.Jacek Wawer - 2014 - Erkenntnis 79 (S3):365-401.
    There is a long-standing disagreement among Branching-Time theorists. Even though they all believe that the branching representation accurately grasps the idea that the future, contrary to the past, is open, they argue whether this representation is compatible with the claim that one among many possible futures is distinguished—the single future that will come to be. This disagreement is paralleled in an argument about the bivalence of future contingents. The single, privileged future is often called the Thin Red Line. I reconstruct (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  25.  4
    Probable Truth Versus Partial Truth.Teodor Dima - 2010 - Logos and Episteme 1 (1):31-37.
    The present study reiterates one of the main ideas that we exposed in 1983, in the paper “Din fals rezultă orice” (“From False Follows Anything”), published in the volume Întemeieri raţionale în filosofia ştiinţei (Rational Foundations in the Philosophy of Science) when we referred to the notion of semi-truth, as a third alethic value, placed between „truth” and „falsehood”, thus contributing to the functionality of the trivalent logic. Now we analyze the conceptions of Petre Botezatu, Mario Bunge, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  20
    Truth, fiction, and literature: a philosophical perspective.Peter Lamarque & Stein Haugom Olsen - 1994 - New York: Oxford University Press. Edited by Stein Haugom Olsen.
    This book examines the complex and varied ways in which fictions relate to the real world, and offers a precise account of how imaginative works of literature can use fictional content to explore matters of universal human interest. While rejecting the traditional view that literature is important for the truths that it imparts, the authors also reject attempts to cut literature off altogether from real human concerns. Their detailed account of fictionality, mimesis, and cognitive value, founded on the methods of (...)
  27.  16
    Heidegger’s Concept of Truth.Edward Witherspoon - 2002 - Philosophical Review 111 (3):449-452.
    Given Heidegger’s inflammatory remarks about the intellectual poverty of modern logic, it may come as a surprise to be told that he has something to contribute to the philosophy of logic. One of the rewards of Daniel Dahlstrom’s Heidegger’s Concept of Truth is its argument that Heidegger can illuminate such issues in the philosophy of logic as the character of propositions, the nature of bivalence, and the concept of truth. Dahlstrom focuses on Heidegger’s work in (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  28. Deflationary Truth and Pathologies.Cezary Cieśliński - 2010 - Journal of Philosophical Logic 39 (3):325-337.
    By a classical result of Kotlarski, Krajewski and Lachlan, pathological satisfaction classes can be constructed for countable, recursively saturated models of Peano arithmetic. In this paper we consider the question of whether the pathology can be eliminated; we ask in effect what generalities involving the notion of truth can be obtained in a deflationary truth theory (a theory of truth which is conservative over its base). It is shown that the answer depends on the notion of pathology (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  29. Inference and Correlational Truth.Mark Wilson - 2000 - In André Chapuis & Anil Gupta (eds.), Circularity, Definition and Truth. New Delhi: Sole distributor, Munshiram Manoharlal Publishers.
    This is one of those cases to which Dr. 8 oodhouse's remark applies with all its force, that a method which leads to true results must have its logic — H.S Smith (" On Some of the Methods at Present in Use in Pure Geometry," p. 6) A goodly amount of modern metaphysics has concerned itself, in one form or another, with the question: what attitude should we take in regard to a language whose semantic underpinnings seem less than (...)
     
    Export citation  
     
    Bookmark   10 citations  
  30.  16
    An alternative approach for Quasi-Truth.Marcelo E. Coniglio & Luiz H. Da Cruz Silvestrini - 2014 - Logic Journal of the IGPL 22 (2):387-410.
    In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  31. Consistency, paraconsistency and truth: logic, the whole logic and nothing but the logic.Newton [Y.] Otávio Bueno Da Costa - 1996 - Ideas Y Valores 45 (100):48-60.
  32.  4
    Modal Logic for Philosophers.James W. Garson - 2006 - Cambridge and New York: Cambridge University Press.
    Designed for use by philosophy students, this 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical applications. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, non-rigid designators, definite descriptions, and the de-re de-dictio distinction. Discussion (...)
  33.  8
    Ultimate truth vis- à- vis stable truth.P. D. Welch - 2008 - Review of Symbolic Logic 1 (1):126-142.
    We show that the set of ultimately true sentences in Hartry Field's Revenge-immune solution model to the semantic paradoxes is recursively isomorphic to the set of stably true sentences obtained in Hans Herzberger's revision sequence starting from the null hypothesis. We further remark that this shows that a substantial subsystem of second-order number theory is needed to establish the semantic values of sentences in Field's relative consistency proof of his theory over the ground model of the standard natural numbers: -CA0 (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  34.  12
    Logic, Semantics, Metamathematics: Papers from 1923 to 1938.Alfred Tarski & J. H. Woodger (eds.) - 1983 - New York, NY, USA: Hackett Publishing Company.
    Published with the aid of a grant from the National Endowment for the Humanities. Contains the only complete English-language text of The Concept of Truth in Formalized Languages. Tarski made extensive corrections and revisions of the original translations for this edition, along with new historical remarks. It includes a new preface and a new analytical index for use by philosophers and linguists as well as by historians of mathematics and philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   38 citations  
  35. Gh Von Wright's truth-logics as paraconsistent logics.Ilpo Halonen - 1993 - Logique Et Analyse 143 (143-144):233-243.
     
    Export citation  
     
    Bookmark  
  36. The Congress"'Truth: Logic, Representation and World" will be.M. U. Rivas & L. M. Sagtiillo Fdez-Vega - 1995 - Synthese 102:453-454.
    No categories
     
    Export citation  
     
    Bookmark  
  37.  26
    A computational interpretation of truth logic.R. J. R. Back - 1986 - Synthese 66 (1):15 - 34.
  38.  39
    Two proofs of the algebraic completeness theorem for multilattice logic.Oleg Grigoriev & Yaroslav Petrukhin - 2019 - Journal of Applied Non-Classical Logics 29 (4):358-381.
    Shramko [. Truth, falsehood, information and beyond: The American plan generalized. In K. Bimbo, J. Michael Dunn on information based logics, outstanding contributions to logic...
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  39.  5
    Alternative Ways for Truth to Behave When There’s no Vicious Reference.Stefan Wintein - 2014 - Journal of Philosophical Logic 43 (4):665-690.
    In a recent paper, Philip Kremer proposes a formal and theory-relative desideratum for theories of truth that is spelled out in terms of the notion of ‘no vicious reference’. Kremer’s Modified Gupta-Belnap Desideratum (MGBD) reads as follows: if theory of truth T dictates that there is no vicious reference in ground model M, then T should dictate that truth behaves like a classical concept in M. In this paper, we suggest an alternative desideratum (AD): if theory of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  8
    Logical Form and Truth-Conditions.Andrea Iacona - 2013 - Theoria 28 (3):439-457.
    This paper outlines a truth-conditional view of logical form, that is, a view according to which logical form is essentially a matter of truth-conditions. The main motivation for the view is a fact that seems crucial to logic. As _§_1 suggests, fundamental logical relations such as entailment or contradiction can formally be explained only if truth-conditions are formally represented.§2 spells out the view. _§_3 dwells on its anity with a conception of logical form that has been (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  41. The Logic of God Incarnate by Thomas V. Morris.O. F. M. Thomas Weinandy - 1987 - The Thomist 51 (2):367-372.
    In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS The Logic of God Incarnate. By THOMAS V. MORRIS. Ithaca: Cornell University Press, 1986. Pp. 220. $19.95. Thomas V. Morris, Assistant Professor of Philosophy at the University of Notre Dame, has written a technical yet provocative study on the Incarnation. As a faithful Christian he believes in and desires to defend the traditional Christian doctrine of the Incarnation proclaimed in the New Testament and defined by (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. Natural Deduction for the Sheffer Stroke and Peirce’s Arrow (and any Other Truth-Functional Connective).Richard Zach - 2015 - Journal of Philosophical Logic 45 (2):183-197.
    Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  11
    Logic.Stan Baronett - 2008 - Upper Saddle River, N.J.: Pearson Prentice Hall.
    Logic and truth -- Inferences : assessment, recognition, and reconstruction -- Categorical statements and inferences -- Truth-functional statements -- Truth tables and proofs -- Natural deduction -- The logic of quantifiers -- Logic and language -- Applied inductive analysis.
    Direct download  
     
    Export citation  
     
    Bookmark   13 citations  
  44. Logic, Logical Form, and the Disunity of Truth.Will Gamester - 2019 - Analysis 79 (1):34-43.
    Monists say that the nature of truth is invariant, whichever sentence you consider; pluralists say that the nature of truth varies between different sets of sentences. The orthodoxy is that logic and logical form favour monism: there must be a single property that is preserved in any valid inference; and any truth-functional complex must be true in the same way as its components. The orthodoxy, I argue, is mistaken. Logic and logical form impose only structural (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  45. The Truth Table Formulation of Propositional Logic.Tristan Grøtvedt Haze - forthcoming - Teorema: International Journal of Philosophy.
    Developing a suggestion of Wittgenstein, I provide an account of truth tables as formulas of a formal language. I define the syntax and semantics of TPL (the language of Tabular Propositional Logic), and develop its proof theory. Single formulas of TPL, and finite groups of formulas with the same top row and TF matrix (depiction of possible valuations), are able to serve as their own proofs with respect to metalogical properties of interest. The situation is different, however, for (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  14
    Paraconsistent Logic, Evidence, and Justification.Melvin Fitting - 2017 - Studia Logica 105 (6):1149-1166.
    In a forthcoming paper, Walter Carnielli and Abilio Rodrigues propose a Basic Logic of Evidence whose natural deduction rules are thought of as preserving evidence instead of truth. BLE turns out to be equivalent to Nelson’s paraconsistent logic N4, resulting from adding strong negation to Intuitionistic logic without Intuitionistic negation. The Carnielli/Rodrigues understanding of evidence is informal. Here we provide a formal alternative, using justification logic. First we introduce a modal logic, KX4, in which (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  47.  10
    Nonclassical theories of truth.Jc Beall & David Ripley - 2018 - In Jc Beall & David Ripley (eds.), Oxford Handbook of Truth.
    This chapter attempts to give a brief overview of nonclassical (-logic) theories of truth. Due to space limitations, we follow a victory-through-sacrifice policy: sacrifice details in exchange for clarity of big-picture ideas. This policy results in our giving all-too-brief treatment to certain topics that have dominated discussion in the non-classical-logic area of truth studies. (This is particularly so of the ‘suitable conditoinal’ issue: §4.3.) Still, we present enough representative ideas that one may fruitfully turn from this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  48.  7
    Logic.Paul Tomassi - 1999 - London and New York: Routledge.
    Bringing elementary logic out of the academic darkness into the light of day, Paul Tomassi makes logic fully accessible for anyone attempting to come to grips with the complexities of this challenging subject. Including student-friendly exercises, illustrations, summaries and a glossary of terms, _Logic_ introduces and explains: * The Theory of Validity * The Language of Propositional Logic * Proof-Theory for Propositional Logic * Formal Semantics for Propositional Logic including the Truth-Tree Method * The (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  49.  18
    Logical and analytic truths that are not necessary.Edward N. Zalta - 1988 - Journal of Philosophy 85 (2):57-74.
    The author describes an interpreted modal language and produces some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   43 citations  
  50. Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
    This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 993