Results for 'truth-relevant logic'

999 found
Order:
  1. Truthmaker Semantics for Relevant Logic.Mark Jago - 2020 - Journal of Philosophical Logic 49 (4):681-702.
    I develop and defend a truthmaker semantics for the relevant logic R. The approach begins with a simple philosophical idea and develops it in various directions, so as to build a technically adequate relevant semantics. The central philosophical idea is that truths are true in virtue of specific states. Developing the idea formally results in a semantics on which truthmakers are relevant to what they make true. A very natural notion of conditionality is added, giving us (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  2. Meaning, Presuppositions, Truth-Relevance, Gödel's Sentence and the Liar Paradox.X. Y. Newberry - manuscript
    Section 1 reviews Strawson’s logic of presuppositions. Strawson’s justification is critiqued and a new justification proposed. Section 2 extends the logic of presuppositions to cases when the subject class is necessarily empty, such as (x)((Px & ~Px) → Qx) . The strong similarity of the resulting logic with Richard Diaz’s truth-relevant logic is pointed out. Section 3 further extends the logic of presuppositions to sentences with many variables, and a certain valuation is proposed. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  3. Truth and Paradox in Late XIVth Century Logic : Peter of Mantua’s Treatise on Insoluble Propositions.Riccardo Strobino - 2012 - Documenti E Studi Sulla Tradizione Filosofica Medievale 23:475-519.
    This paper offers an analysis of a hitherto neglected text on insoluble propositions dating from the late XiVth century and puts it into perspective within the context of the contemporary debate concerning semantic paradoxes. The author of the text is the italian logician Peter of Mantua (d. 1399/1400). The treatise is relevant both from a theoretical and from a historical standpoint. By appealing to a distinction between two senses in which propositions are said to be true, it offers an (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  4. The Contemporary Relevance of Ancient Logical Theory.John Corcoran - 1982 - Philosophical Quarterly 32 (126):76.
    This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and his (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  5. Truth Analysis of the Gettier Argument.Yussif Yakubu - 2016 - Metaphilosophy 47 (3):449-466.
    Gettier presented the now famous Gettier problem as a challenge to epistemology. The methods Gettier used to construct his challenge, however, utilized certain principles of formal logic that are actually inappropriate for the natural language discourse of the Gettier cases. In that challenge to epistemology, Gettier also makes truth claims that would be considered controversial in analytic philosophy of language. The Gettier challenge has escaped scrutiny in these other relevant academic disciplines, however, because of its façade as (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  6. Logic and Semantics for Imperatives.Nate Charlow - 2014 - Journal of Philosophical Logic 43 (4):617-664.
    In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  7. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  8. Truth, Proof and Gödelian Arguments: A Defence of Tarskian Truth in Mathematics.Markus Pantsar - 2009 - Dissertation, University of Helsinki
    One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  9. Logic for Exact Entailment.Kit Fine & Mark Jago - 2018 - Review of Symbolic Logic:1-21.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  10. Logic: The Stoics (Part Two).Susanne Bobzien - 1999 - In Keimpe Algra, Jonathan Barnes & et al (eds.), The Cambridge History of Hellenistic Philosophy. Cambridge University Press.
    ABSTRACT: A detailed presentation of Stoic theory of arguments, including truth-value changes of arguments, Stoic syllogistic, Stoic indemonstrable arguments, Stoic inference rules (themata), including cut rules and antilogism, argumental deduction, elements of relevance logic in Stoic syllogistic, the question of completeness of Stoic logic, Stoic arguments valid in the specific sense, e.g. "Dio says it is day. But Dio speaks truly. Therefore it is day." A more formal and more detailed account of the Stoic theory of deduction (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  11. Truth, Correspondence, Models, and Tarski.Panu Raatikainen - 2007 - In Approaching Truth: Essays in Honour of Ilkka Niiniluoto. London: College Press. pp. 99-112.
    In the early 20th century, scepticism was common among philosophers about the very meaningfulness of the notion of truth – and of the related notions of denotation, definition etc. (i.e., what Tarski called semantical concepts). Awareness was growing of the various logical paradoxes and anomalies arising from these concepts. In addition, more philosophical reasons were being given for this aversion.1 The atmosphere changed dramatically with Alfred Tarski’s path-breaking contribution. What Tarski did was to show that, assuming that the syntax (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  12. Understanding Epistemic Relevance.Luciano Floridi - 2008 - Erkenntnis 69 (1):69-92.
    Agents require a constant flow, and a high level of processing, of relevant semantic information, in order to interact successfully among themselves and with the environment in which they are embedded. Standard theories of information, however, are silent on the nature of epistemic relevance. In this paper, a subjectivist interpretation of epistemic relevance is developed and defended. It is based on a counterfactual and metatheoretical analysis of the degree of relevance of some semantic information i to an informee/agent a, (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  13. A Logical Approach to Reasoning by Analogy.Todd R. Davies & Stuart J. Russell - 1987 - In John P. McDermott (ed.), Proceedings of the 10th International Joint Conference on Artificial Intelligence (IJCAI'87). Morgan Kaufmann Publishers. pp. 264-270.
    We analyze the logical form of the domain knowledge that grounds analogical inferences and generalizations from a single instance. The form of the assumptions which justify analogies is given schematically as the "determination rule", so called because it expresses the relation of one set of variables determining the values of another set. The determination relation is a logical generalization of the different types of dependency relations defined in database theory. Specifically, we define determination as a relation between schemata of first (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  14. Foundational Holism, Substantive Theory of Truth, and A New Philosophy of Logic: Interview with Gila Sher BY Chen Bo.Gila Sher & Chen Bo - 2019 - Philosophical Forum 50 (1):3-57.
    Gila Sher interviewed by Chen Bo: -/- I. Academic Background and Earlier Research: 1. Sher’s early years. 2. Intellectual influence: Kant, Quine, and Tarski. 3. Origin and main Ideas of The Bounds of Logic. 4. Branching quantifiers and IF logic. 5. Preparation for the next step. -/- II. Foundational Holism and a Post-Quinean Model of Knowledge: 1. General characterization of foundational holism. 2. Circularity, infinite regress, and philosophical arguments. 3. Comparing foundational holism and foundherentism. 4. A post-Quinean model (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. The Power of Naive Truth.Hartry Field - manuscript
    While non-classical theories of truth that take truth to be transparent have some obvious advantages over any classical theory that evidently must take it as non-transparent, several authors have recently argued that there's also a big disadvantage of non-classical theories as compared to their “external” classical counterparts: proof-theoretic strength. While conceding the relevance of this, the paper argues that there is a natural way to beef up extant internal theories so as to remove their proof-theoretic disadvantage. It is (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  16. Many-Valued Logics. A Mathematical and Computational Introduction.Luis M. Augusto - 2020 - London: College Publications.
    2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Some Concerns Regarding Ternary-Relation Semantics and Truth-Theoretic Semantics in General.Ross T. Brady - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):755--781.
    This paper deals with a collection of concerns that, over a period of time, led the author away from the Routley–Meyer semantics, and towards proof- theoretic approaches to relevant logics, and indeed to the weak relevant logic MC of meaning containment.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  18. Semantic Information and the Correctness Theory of Truth.Luciano Floridi - 2011 - Erkenntnis 74 (2):147–175.
    Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  19. Relevant Logics Obeying Component Homogeneity.Roberto Ciuni, Damian Szmuc & Thomas Macaulay Ferguson - 2018 - Australasian Journal of Logic 15 (2):301-361.
    This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  20. The Relevant Logic E and Some Close Neighbours: A Reinterpretation.Edwin Mares & Shawn Standefer - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):695--730.
    This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference. Second, it uses this interpretation, together with Anderson and Belnap’s natural deduc- tion system for E, to generalise E to a range of other systems of strict relevant implication. Routley–Meyer ternary relation semantics for these systems are produced and completeness theorems are proven. -/- .
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  21. A Logical-Pragmatic Perspective on Validity.Adriano C. T. Rodrigues & Claudio E. M. Banzato - 2009 - Dialogues in Philosophy, Mental and Neuro Sciences 2 (2):40-44.
    Background: Despite being often taken as the benchmark of quality for diagnostic and classificatory tools, 'validity' is admitted as a poorly worked out notion in psychiatric nosology. Objective: Here we aim at presenting a view that we believe to do better justice to the significance of the notion of validity, as well as at explaining away some misconceptions and inappropriate expectations regarding this attribute in the aforementioned context. Method: The notion of validity is addressed taking into account its role, the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  96
    Relevance and Conditionals: A Synopsis of Open Pragmatic and Semantic Issues.Niels Skovgaard-Olsen - 2020 - In S. Elqayam, Igor Douven, J. Evans & N. Cruz (eds.), Logic and Uncertainty in the Human Mind: A Tribute to David E. Over. Routledge.
    Recently several papers have reported relevance effects on the cognitive assessments of indicative conditionals, which pose an explanatory challenge to the Suppositional Theory of conditionals advanced by David Over, which is influential in the psychology of reasoning. Some of these results concern the “Equation” (P(if A, then C) = P(C|A)), others the de Finetti truth table, and yet others the uncertain and-to-inference task. The purpose of this chapter is to take a Birdseye view on the debate and investigate some (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Computational Logic. Vol. 1: Classical Deductive Computing with Classical Logic.Luis M. Augusto - 2018 - London: College Publications.
    This is the first of a two-volume work combining two fundamental components of contemporary computing into classical deductive computing, a powerful form of computation, highly adequate for programming and automated theorem proving, which, in turn, have fundamental applications in areas of high complexity and/or high security such as mathematical proof, software specification and verification, and expert systems. Deductive computation is concerned with truth-preservation: This is the essence of the satisfiability problem, or SAT, the central computational problem in computability and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  24. Recent Work in Relevant Logic.Mark Jago - 2013 - Analysis 73 (3):526-541.
    This paper surveys important work done in relevant logic in the past 10 years.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  25. Paths to Triviality.Tore Øgaard - 2016 - Journal of Philosophical Logic 45 (3):237-276.
    This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → (B → C)⊩B → (A → C) trivialize naïve truth theory. The paper also provides some new triviality proofs which utilize the axioms ((A → B)∧ (B → C)) → (A → C) and (A → ¬A) → ¬A, the fusion connective and the (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  26. Wholistic Reference, Truth-Values, Universes of Discourse, and Formal Ontology: Tréplica to Oswaldo Chateaubriand.John Corcoran - 2005 - Manuscrito 28 (1):143-167.
    ABSTRACT: In its strongest unqualified form, the principle of wholistic reference is that in any given discourse, each proposition refers to the whole universe of that discourse, regardless of how limited the referents of its non-logical or content terms. According to this principle every proposition of number theory, even an equation such as "5 + 7 = 12", refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. This principle, its history, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  27.  44
    Does the Lie Contradict the Truth?Wybranie-Skardowska Urszula & Wybraniec-Skardowska Urszula - 2010 - Studies in Logic, Grammar and Rhetoric 20 (33):127-153.
    The considerations presented in this work are an attempt at giving an answer to the arising doubts: it is obvious to philosophers and logicians that such considerations must be grounded on a relevant conception of the truth and the lie, on bringing up one of the most difficult and disturbing philosophical problems, that is the problemate of the truth, on investigating what the lie is. The confusion about the notions related to the ambiguous terms of “the (...)” and “the lie” introduces, in turn, a confusion connected with attempts at answering the questions posed. Thus, in the first part of this paper, we will deal with the very notion itself, or – more precisely – with the notions of the truth; in the second one – with the notions of the lie, and in the third part – we will juxtapose the notions of the truth and the lie in such a way that in each case it should be possible to provide an answer to the question asked in the title of the work. Part four, being the final one, contains certain summary of it, as well as final considerations as a peculiar challenge. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  28. Beyond the Fregean Myth: The Value of Logical Values.Fabien Schang - 2010 - In Piotr Stalmaszczyk (ed.), Objects of Inquiry in Philosophy of Language and Linguistics. Frankfurt: Ontos Verlag. pp. 245--260.
    One of the most prominent myths in analytic philosophy is the so- called “Fregean Axiom”, according to which the reference of a sentence is a truth value. In contrast to this referential semantics, a use-based formal semantics will be constructed in which the logical value of a sentence is not its putative referent but the information it conveys. Let us call by “Question Answer Semantics” (thereafter: QAS) the corresponding formal semantics: a non-Fregean many-valued logic, where the meaning of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  29.  47
    Relevant Logics, Counterfactual Worlds, and the Understanding of Narrative.Luis Galván - 2019 - In Matei Chihaia & Katharina Rennhak (eds.), Relevance and Narrative Research. Lanham, USA / London: Lexington Books. pp. 37-60.
    The aim of this paper is to explore what insights relevant logics may provide for the understanding of literary fictional narrative. To date, hardly anyone has reflected on the intersection of relevant logics and narratology, and some could think that there is good reason for it. On the one hand, relevance has been a prominent issue in pragmatics, in the tradition of Grice, and Sperber and Wilson; thus framed, relevance is highly context-sensitive, so it seems unsuitable for formal (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  30. Greek and Roman Logic.Robby Finley, Justin Vlasits & Katja Maria Vogt - 2019 - Oxford Bibliographies in Classics.
    In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be called “logic,” namely in Hellenistic philosophy, the field includes (among other things) epistemology, normative epistemology, philosophy of language, the theory of truth, and what we call logic today. This entry aims to examine ancient theorizing that makes contact with the contemporary conception. Thus, we will here emphasize the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. Epistemic Friction: An Essay on Knowledge, Truth, and Logic.Gila Sher - 2016 - Oxford: Oxford University Press UK.
    Gila Sher approaches knowledge from the perspective of the basic human epistemic situation—the situation of limited yet resourceful beings, living in a complex world and aspiring to know it in its full complexity. What principles should guide them? Two fundamental principles of knowledge are epistemic friction and freedom. Knowledge must be substantially constrained by the world (friction), but without active participation of the knower in accessing the world (freedom) theoretical knowledge is impossible. This requires a grounding of all knowledge, empirical (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  32. Language and Logic in Wittgenstein's Tractatus Logico-Philosophicus.Daniele Mezzadri - 2010 - Dissertation, University of Stirling
    This thesis discusses some central aspects of Wittgenstein's conception of language and logic in his Tractatus Logico-Philosophicus and brings them into relation with the philosophies of Frege and Russell. The main contention is that a fruitful way of understanding the Tractatus is to see it as responding to tensions in Frege's conception of logic and Russell's theory of judgement. In the thesis the philosophy of the Tractatus is presented as developing from these two strands of criticism and thus (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. A 4-Valued Logic of Strong Conditional.Fabien Schang - 2018 - South American Journal of Logic 3 (1):59-86.
    How to say no less, no more about conditional than what is needed? From a logical analysis of necessary and sufficient conditions (Section 1), we argue that a stronger account of conditional can be obtained in two steps: firstly, by reminding its historical roots inside modal logic and set-theory (Section 2); secondly, by revising the meaning of logical values, thereby getting rid of the paradoxes of material implication whilst showing the bivalent roots of conditional as a speech-act based on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. Aristotle’s Assertoric Syllogistic and Modern Relevance Logic.Philipp Julius6 Steinkrüger - 2015 - Synthese 192 (5):1413-1444.
    This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, and second, that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  35. A Natural Deduction Relevance Logic.Fred Johnson - 1977 - The Bulletin of the Section of Logic 6 (4):164-168.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  36. 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 (...) —formality, strong modal force, generality, topic neutrality, basicness, and (quasi-)apriority, (v) the veridicality of logic and its applicability to science, (v) the normativity of logic, (vi) error, revision, and expansion in/of logic, and (vii) the relation between logic and mathematics. The high explanatory power of the truth-theoretic approach does not rule out an equal or even higher explanatory power of the proof-theoretic approach. But to the extent that the truth-theoretic approach is shown to be highly explanatory, it sets a standard for other approaches to logic, including the proof-theoretic approach. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Relevance Differently Affects the Truth, Acceptability, and Probability Evaluations of “and”, “but”, “Therefore”, and “If–Then”.Niels Skovgaard-Olsen, David Kellen, Hannes Krahl & Karl Christoph Klauer - 2017 - Thinking and Reasoning 23 (4):449-482.
    In this study we investigate the influence of reason-relation readings of indicative conditionals and ‘and’/‘but’/‘therefore’ sentences on various cognitive assessments. According to the Frege-Grice tradition, a dissociation is expected. Specifically, differences in the reason-relation reading of these sentences should affect participants’ evaluations of their acceptability but not of their truth value. In two experiments we tested this assumption by introducing a relevance manipulation into the truth-table task as well as in other tasks assessing the participants’ acceptability and probability (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  38. Are Intellectual Virtues Truth-Relevant?Blake Roeber - 2017 - Episteme 14 (3):381-92.
    According to attributor virtue epistemology (the view defended by Ernest Sosa, John Greco, and others), S knows that p only if her true belief that p is attributable to some intellectual virtue, competence, or ability that she possesses. Attributor virtue epistemology captures a wide range of our intuitions about the nature and value of knowledge, and it has many able defenders. Unfortunately, it has an unrecognized consequence that many epistemologists will think is sufficient for rejecting it: namely, it makes knowledge (...)
    Download  
     
    Export citation  
     
    Bookmark  
  39. The Systems of Relevance Logic.Ryszard Mirek - 2011 - Argument: Biannual Philosophical Journal 1 (1):87-102.
    The system R, or more precisely the pure implicational fragment R›, is considered by the relevance logicians as the most important. The another central system of relevance logic has been the logic E of entailment that was supposed to capture strict relevant implication. The next system of relevance logic is RM or R-mingle. The question is whether adding mingle axiom to R› yields the pure implicational fragment RM› of the system? As concerns the weak systems there (...)
    Download  
     
    Export citation  
     
    Bookmark  
  40. A Three-Valued Interpretation for a Relevance Logic.Fred Johnson - 1976 - The Relevance Logic Newsletter 1 (3):123-128.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  41. Horwich's Minimalist Conception of Truth: Some Logical Difficulties.Sten Lindström - 2001 - Logic and Logical Philosophy 9:161-181.
    Aristotle’s words in the Metaphysics: “to say of what is that it is, or of what is not that it is not, is true” are often understood as indicating a correspondence view of truth: a statement is true if it corresponds to something in the world that makes it true. Aristotle’s words can also be interpreted in a deflationary, i.e., metaphysically less loaded, way. According to the latter view, the concept of truth is contained in platitudes like: ‘It (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. Language, Truth, and Logic and the Anglophone Reception of the Vienna Circle.Andreas Vrahimis - 2020 - In Adam Tamas Tuboly (ed.), The Historical and Philosophical Significance of Ayer’s Language, Truth and Logic. Hampshire: Palgrave. pp. 41-68.
    A. J. Ayer’s Language, Truth, and Logic had been responsible for introducing the Vienna Circle’s ideas, developed within a Germanophone framework, to an Anglophone readership. Inevitably, this migration from one context to another resulted in the alteration of some of the concepts being transmitted. Such alterations have served to facilitate a number of false impressions of Logical Empiricism from which recent scholarship still tries to recover. In this paper, I will attempt to point to the ways in which (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  44. Disjunctive Parts.Mark Jago - forthcoming - In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Outstanding Contributions to Logic: Kit Fine. Springer.
    Fine (2017a) sets out a theory of content based on truthmaker semantics which distinguishes two kinds of consequence between contents. There is entailment, corresponding to the relationship between disjunct and disjunction, and there is containment, corresponding to the relationship between conjunctions and their conjuncts. Fine associates these with two notions of parthood: disjunctive and conjunctive. Conjunctive parthood is a very useful notion, allowing us to analyse partial content and partial truth. In this chapter, I extend the notion of disjunctive (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Logic and Limits of Knowledge and Truth.Patrick Grim - 1988 - Noûs 22 (3):341-367.
    Though my ultimate concern is with issues in epistemology and metaphysics, let me phrase the central question I will pursue in terms evocative of philosophy of religion: What are the implications of our logic-in particular, of Cantor and G6del-for the possibility of omniscience?
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  46. Conservatively Extending Classical Logic with Transparent Truth.David Ripley - 2012 - Review of Symbolic Logic 5 (2):354-378.
    This paper shows how to conservatively extend classical logic with a transparent truth predicate, in the face of the paradoxes that arise as a consequence. All classical inferences are preserved, and indeed extended to the full (truth—involving) vocabulary. However, not all classical metainferences are preserved; in particular, the resulting logical system is nontransitive. Some limits on this nontransitivity are adumbrated, and two proof systems are presented and shown to be sound and complete. (One proof system allows for (...)
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  47. Theories of Truth Based on Four-Valued Infectious Logics.Damian Szmuc, Bruno Da Re & Federico Pailos - 2020 - Logic Journal of the IGPL 28 (5):712-746.
    Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  48. The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1973 - In Hughes Leblanc (ed.), Truth, Syntax, and Modality: Proceedings Of The Temple University Conference On Alternative Semantlcs. Amsterdam: North-Holland Publishing Company. pp. 199-243.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   37 citations  
  49. The Metaphysical Interpretation of Logical Truth.Tuomas Tahko - 2014 - In Penelope Rush (ed.), The Metaphysics of Logic: Logical Realism, Logical Anti-Realism and All Things In Between. Cambridge: Cambridge University Press. pp. 233-248.
    The starting point of this paper concerns the apparent difference between what we might call absolute truth and truth in a model, following Donald Davidson. The notion of absolute truth is the one familiar from Tarski’s T-schema: ‘Snow is white’ is true if and only if snow is white. Instead of being a property of sentences as absolute truth appears to be, truth in a model, that is relative truth, is evaluated in terms of (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  50. What Makes Logical Truths True?Constantin C. Brîncuș - 2016 - Logos and Episteme 7 (3): 249-272.
    The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 999