Switch to: References

Add citations

You must login to add citations.
  1. Logical pluralism and semantic information.Patrick Allo - 2007 - Journal of Philosophical Logic 36 (6):659 - 694.
    Up to now theories of semantic information have implicitly relied on logical monism, or the view that there is one true logic. The latter position has been explicitly challenged by logical pluralists. Adopting an unbiased attitude in the philosophy of information, we take a suggestion from Beall and Restall at heart and exploit logical pluralism to recognise another kind of pluralism. The latter is called informational pluralism, a thesis whose implications for a theory of semantic information we explore.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Objectual aboutness.Dan Marshall - 2024 - Inquiry: An Interdisciplinary Journal of Philosophy 67 (6):1640-1715.
    A de re objectual subject matter is a subject matter of the form how a1, a2 … are, whereas a de dicto objectual subject matter is a subject matter of the form how Fs are. An objectual subject matter is either a de re or de dicto objectual subject matter. This paper provides a systematic theory of aboutness towards objectual subject matters which, if correct, illuminates both the nature of intrinsicality and the general nature of aboutness. In addition to the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Pursuit of the concept of validity: A dialogue.Cesare Cozzo - 2024 - Theoria 90 (5):479-491.
    This is a dialogue between Lisa and Max on Dag Prawitz's work concerning the concept of deductive validity. Lisa first explains Prawitz's criticisms of the presently prevailing non‐epistemic analyses of validity. Then Lisa describes three different ways in which Prawitz attempted to develop an epistemic concept of validity. Max asks questions for clarification, raises some objections and compares Prawitz's three approaches with other lines of thought. Two inference rules are specially discussed: disjunction introduction and ex contradictione quodlibet. Max and Lisa (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Stratified Restricted Universals.Michael Calasso & Shay Allen Logan - 2023 - Asian Journal of Philosophy 2 (2):44.
    Jc Beall has made several contributions to the theory of restricted quantification in relevant logics. This paper examines these contributions and proposes an alternative account of restricted universals. The alternative is not, however, a theory of relevant restricted universals in any real sense. It is, however, a theory of restricted universals phrased in the most plausible general quantificational theory for relevant logics—Kit Fine’s stratified semantics. The motivation both for choosing this semantic framework and for choosing the particular theory of restricted (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Unified Interpretation of the Semantics of Relevance Logic.Rea Golan - 2023 - Mind 132 (528).
    I introduce a novel and quite intuitive interpretation of the ternary relation that figures in the relational semantics of many relevance logics. Conceptually, my interpretation makes use only of incompatibility and parthood relations, defined over a set of states. In this way, the proposed interpretation—of the ternary relation and the conditional—extends Dunn’s and Restall’s works on negation and the Routley star operator. Therefore, the interpretation is unified, and hence not only intuitive but also parsimonious. Additionally, the interpretation provides us with (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.
    There appears to be few, if any, limits on what sorts of logical connectives can be added to a given logic. One source of potential limitations is the motivating ideology associated with a logic. While extraneous to the logic, the motivating ideology is often important for the development of formal and philosophical work on that logic, as is the case with intuitionistic logic. One family of logics for which the philosophical ideology is important is the family of relevant logics. In (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Substructural approaches to paradox: an introduction to the special issue.Elia Zardini - 2021 - Synthese 199 (3):493-525.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Identity in Mares-Goldblatt Models for Quantified Relevant Logic.Shawn Standefer - 2021 - Journal of Philosophical Logic 50 (6):1389-1415.
    Mares and Goldblatt, 163–187, 2006) provided an alternative frame semantics for two quantified extensions of the relevant logic R. In this paper, I show how to extend the Mares-Goldblatt frames to accommodate identity. Simpler frames are provided for two zero-order logics en route to the full logic in order to clarify what is needed for identity and substitution, as opposed to quantification. I close with a comparison of this work with the Fine-Mares models for relevant logics with identity and a (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • From Hilbert proofs to consecutions and back.Tore Fjetland Øgaard - 2021 - Australasian Journal of Logic 18 (2):51-72.
    Restall set forth a "consecution" calculus in his "An Introduction to Substructural Logics." This is a natural deduction type sequent calculus where the structural rules play an important role. This paper looks at different ways of extending Restall's calculus. It is shown that Restall's weak soundness and completeness result with regards to a Hilbert calculus can be extended to a strong one so as to encompass what Restall calls proofs from assumptions. It is also shown how to extend the calculus (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Conjunctive paraconsistency.Franca D’Agostini - 2021 - Synthese 199 (3-4):6845-6874.
    This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Hyperintensionality.Francesco Berto & Daniel Nolan - 2021 - Stanford Encyclopedia of Philosophy.
    An overview of hyperintensionality is provided. Hyperintensional languages have expressions with meanings that are more fine-grained than necessary equivalence. That is, the expressions may necessarily co-apply and yet be distinct in meaning. Adequately accounting for theories cast in hyperintensional languages is important in the philosophy of language; the philosophy of mind; metaphysics; and elsewhere. This entry presents a number of areas in which hyperintensionality is important; a range of approaches to theorising about hyperintensional matters; and a range of debates that (...)
    Download  
     
    Export citation  
     
    Bookmark   21 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  
  • A Contextualist Defence of the Material Account of Indicative Conditionals.Matheus Silva - manuscript
    The material account of indicative conditionals faces a legion of counterexamples that are the bread and butter in any entry about the subject. For this reason, the material account is widely unpopular among conditional experts. I will argue that this consensus was not built on solid foundations, since these counterexamples are contextual fallacies. They ignore a basic tenet of semantics according to which when evaluating arguments for validity we need to maintain the context constant, otherwise any argumentative form can be (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Directional Bias.Matheus Silva - manuscript
    There is almost a consensus among conditional experts that indicative conditionals are not material. Their thought hinges on the idea that if indicative conditionals were material, A → B could be vacuously true when A is false, even if B would be false in a context where A is true. But since this consequence is implausible, the material account is usually regarded as false. It is argued that this point of view is motivated by the grammatical form of conditional sentences (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Deep Fried Logic.Shay Allen Logan - 2020 - Erkenntnis 87 (1):257-286.
    There is a natural story about what logic is that sees it as tied up with two operations: a ‘throw things into a bag’ operation and a ‘closure’ operation. In a pair of recent papers, Jc Beall has fleshed out the account of logic this leaves us with in more detail. Using Beall’s exposition as a guide, this paper points out some problems with taking the second operation to be closure in the usual sense. After pointing out these problems, I (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Deflationism About Logic.Christopher Blake-Turner - 2020 - Journal of Philosophical Logic 49 (3):551-571.
    Logical consequence is typically construed as a metalinguistic relation between sentences. Deflationism is an account of logic that challenges this orthodoxy. In Williamson’s recent presentation of deflationism, logic’s primary concern is with universal generalizations over absolutely everything. As well as an interesting account of logic in its own right, deflationism has also been recruited to decide between competing logics in resolving semantic paradoxes. This paper defends deflationism from its most important challenge to date, due to Ole Hjortland. It then presents (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Introduction: Logical Pluralism and Translation.Francesca Ervas, Antonio Ledda, Francesco Paoli & Giuseppe Sergioli - 2019 - Topoi 38 (2):263-264.
    Download  
     
    Export citation  
     
    Bookmark  
  • Theories of Aboutness.Peter Hawke - 2018 - Australasian Journal of Philosophy 96 (4):697-723.
    Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...)
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • Explosion and the Normativity of Logic.Florian Steinberger - 2016 - Mind 125 (498):385-419.
    Logic has traditionally been construed as a normative discipline; it sets forth standards of correct reasoning. Explosion is a valid principle of classical logic. It states that an inconsistent set of propositions entails any proposition whatsoever. However, ordinary agents presumably do — occasionally, at least — have inconsistent belief sets. Yet it is false that such agents may, let alone ought to, believe any proposition they please. Therefore, our logic should not recognize explosion as a logical law. Call this the (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • The Relevance of a Relevantly Assertable Disjunction for Material Implication.Liza Verhoeven - 2007 - Journal of Philosophical Logic 36 (3):339-366.
    In this paper Grice's requirements for assertability are imposed on the disjunction of Classical Logic. Defining material implication in terms of negation and disjunction supplemented by assertability conditions, results in the disappearance of the most important paradoxes of material implication. The resulting consequence relation displays a very strong resemblance to Schurz's conclusion-relevant consequence relation.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On Artifacts and Truth-Preservation.Shawn Standefer - 2015 - Australasian Journal of Logic 12 (3):135-158.
    In Saving Truth from Paradox, Hartry Field presents and defends a theory of truth with a new conditional. In this paper, I present two criticisms of this theory, one concerning its assessments of validity and one concerning its treatment of truth-preservation claims. One way of adjusting the theory adequately responds to the truth-preservation criticism, at the cost of making the validity criticism worse. I show that in a restricted setting, Field has a way to respond to the validity criticism. I (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Aristotle on the Non-Cause Fallacy.Luca Castagnoli - 2016 - History and Philosophy of Logic 37 (1):9-32.
    When in classical formal logic the notions of deduction, valid inference and logical consequence are defined, causal language plays no role. The founder of western logic, Aristotle, identified ‘non-cause’, or ‘positing as cause what is not a cause’, as a logical fallacy. I argue that a systematic re-examination of Aristotle's analysis of NCF, and the related language of logical causality, in the Sophistical Refutations, Topics, Analytics and Rhetoric, helps us to understand his conception of. It reveals that Aristotle's syllogismhood is (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Sentence connectives in formal logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Modality in Brandom's Incompatibility Semantics.Giacomo Turbanti - 2011 - In María Inés Crespo, Dimitris Gakis & Galit Weidman-Sassoon (eds.), Proceedings of the Amsterdam Graduate Conference - Truth, Meaning, and Normativity. ILLC Publications.
    In the fifth of his John Locke Lectures, Robert Brandom takes up the challenge to define a formal semantics for modelling conceptual contents according to his normative analysis of linguistic practices. The project is to exploit the notion of incompatibility in order to directly define a modally robust relation of entailment. Unfortunately, it can be proved that, in the original definition, the modal system represented by Incompatibility Semantics (IS) collapses into propositional calculus. In this paper I show how IS can (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Indicative conditionals, conditional probabilities, and the “defective truth-table”: A request for more experiments.Peter Milne - 2012 - Thinking and Reasoning 18 (2):196-224.
    While there is now considerable experimental evidence that, on the one hand, participants assign to the indicative conditional as probability the conditional probability of consequent given antecedent and, on the other, they assign to the indicative conditional the “defective truth-table” in which a conditional with false antecedent is deemed neither true nor false, these findings do not in themselves establish which multi-premise inferences involving conditionals participants endorse. A natural extension of the truth-table semantics pronounces as valid numerous inference patterns that (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The role of rationales for and criticisms of ethical decisions in the development of meta-moral cognitive skills.Reena Cheruvalath, Emmanuel Manalo & Hiroaki Ayabe - forthcoming - Ethics and Behavior.
    Meta-moral cognitive skills consist of identifying reasons behind ethical decisions, potential criticisms for such reasons, and constructing counterarguments for these criticisms. We assessed the relationship among these three elements of ethical judgment justification using ethical dilemmas. A mixed-methods research design was used to investigate university students from India and Japan. Critical thinking skills, knowledge of professional ethics, discipline, perspective-taking, common sense, and culture influenced the respondents’ meta-moral cognitive skills. There was a correlation between the number/strength of reasons and criticisms and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Final Cut.Elia Zardini - 2022 - Journal of Philosophical Logic 51 (6):1583-1611.
    In a series of works, Pablo Cobreros, Paul Égré, David Ripley and Robert van Rooij have proposed a nontransitive system (call it ‘_K__3__L__P_’) as a basis for a solution to the semantic paradoxes. I critically consider that proposal at three levels. At the level of the background logic, I present a conception of classical logic on which _K__3__L__P_ fails to vindicate classical logic not only in terms of structural principles, but also in terms of operational ones. At the level of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Translations between linear and tree natural deduction systems for relevant logics.Shawn Standefer - 2021 - Review of Symbolic Logic 14 (2):285 - 306.
    Anderson and Belnap presented indexed Fitch-style natural deduction systems for the relevant logics R, E, and T. This work was extended by Brady to cover a range of relevant logics. In this paper I present indexed tree natural deduction systems for the Anderson–Belnap–Brady systems and show how to translate proofs in one format into proofs in the other, which establishes the adequacy of the tree systems.
    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  
  • What Would a Phenomenology of Logic Look Like?James Kinkaid - 2020 - Mind 129 (516):1009-1031.
    The phenomenological movement begins in the Prolegomena to Husserl’s Logical Investigations as a philosophy of logic. Despite this, remarkably little attention has been paid to Husserl’s arguments in the Prolegomena in the contemporary philosophy of logic. In particular, the literature spawned by Gilbert Harman’s work on the normative status of logic is almost silent on Husserl’s contribution to this topic. I begin by raising a worry for Husserl’s conception of ‘pure logic’ similar to Harman’s challenge to explain the connection between (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.
    This article introduces, studies, and applies a new system of logic which is called ‘HYPE’. In HYPE, formulas are evaluated at states that may exhibit truth value gaps and truth value gluts. Simple and natural semantic rules for negation and the conditional operator are formulated based on an incompatibility relation and a partial fusion operation on states. The semantics is worked out in formal and philosophical detail, and a sound and complete axiomatization is provided both for the propositional and the (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Cogency and Context.Cesare Cozzo - 2019 - Topoi 38 (3):505-516.
    The problem I address is: how are cogent inferences possible? In § 1 I distinguish three senses in which we say that one is “compelled” by an inference: automatic, seductive-rhetorical and epistemic compulsion. Cogency is epistemic compulsion: a cogent inference compels us to accept its conclusion, if we accept its premises and we aim at truth. In §§ 2–3 I argue that cogency is intelligible if we consider an inference as a compound linguistic act in which several component acts are (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Three Misrepresentations of Logic.Brian MacPherson - 1999 - Informal Logic 19 (2):185–199.
    Three misrepresentations of informal and formal logic by two feminist writers are discussed. Andrea Nye's criticism that the semantics for formal logic abstracts from context is a misrepresentation of formal logic because Nye ignores the development of intensional logics. Second, Nye's criticism that informaIlogicians ignore the origins of arguments is a misrepresentation of fallacy theory. Prominent writers in the field specifiy numerous cases where the origins of an argument are relevant to its evaluation. Third, Valerie Plumwood's criticism that negation in (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Disjunction and Disjunctive Syllogism.Peter Milne - 1998 - Canadian Journal of Philosophy 28 (1):21 - 32.
    The validity of argument by disjunctive syllogism has been denied by proponents of relevant and paraconsistent logic. DS is stigmatised for its role in inferences — most notably C.I. Lewis's derivation of that fallacy of irrelevance ex falso quodlibet — that involve both it and other rules of inference governing disjunction, or, to speak more precisely, other rules of inference taken to apply to the very same disjunction that obeys DS. In avoiding these inferences the road less travelled is to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.
    Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Truth, Warrant and Superassertibility.Paul Tomassi - 2006 - Synthese 148 (1):31-56.
    In a recent paper on Truth, Knowability and Neutrality Timothy Kenyon sets out to defend the coherence of a putative anti-realist truth-predicate, superassertibility, due to Wright (1992, 1999), against a number of Wright’s critics. By his own admission, the success of Kenyon’s defensive strategies turns out to hinge upon a realist conception of absolute warrant which conflicts with the anti-realist character of the original proposal, based, as it was, on a notion of defeasible warrant. Kenyon’s potential success in resisting Wright’s (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Relevance of Premises to Conclusions of Core Proofs.Neil Tennant - 2015 - Review of Symbolic Logic 8 (4):743-784.
    The rules for Core Logic are stated, and various important results about the system are summarized. We describe its relationship to other systems, such as Classical Logic, Intuitionistic Logic, Minimal Logic, and the Anderson–Belnap relevance logicR. A precise, positive explication is offered of what it is for the premises of a proof to connect relevantly with its conclusion. This characterization exploits the notion of positive and negative occurrences of atoms in sentences. It is shown that all Core proofs are relevant (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Conceivability, intensionality, and the logic of Anselm's modal argument for the existence of God.Dale Jacquette - 1997 - International Journal for Philosophy of Religion 42 (3):163-173.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)Relevance logic.Edwin Mares - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Relevant Consequence Relations: An Invitation.Guillermo Badia, Libor Běhounek, Petr Cintula & Andrew Tedder - 2024 - Review of Symbolic Logic 17 (3):762-792.
    We generalize the notion of consequence relation standard in abstract treatments of logic to accommodate intuitions of relevance. The guiding idea follows the use criterion, according to which in order for some premises to have some conclusion(s) as consequence(s), the premises must each be used in some way to obtain the conclusion(s). This relevance intuition turns out to require not just a failure of monotonicity, but also a move to considering consequence relations as obtaining between multisets. We motivate and state (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A substructural analysis of embedded conditionals.Pilar Terrés Villalonga - 2020 - Synthese 199 (Suppl 3):571-595.
    The aim of this paper is to give a general solution to the paradoxes of the material conditional, including the paradoxes generated by embedded conditionals. The solution consists in a pragmatic reinterpretation of the formal languages of classical logic LK and relevant logic LR as presented in Paoli. In particular I argue that the material conditional in the classical logic LK captures the truth conditions of “if...then”, but ignores certain pragmatic enrichments that are associated to it, while relevant logic LR (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • From Speech Acts to Semantics.Jim Mackenzie - 2014 - Studies in Logic, Grammar and Rhetoric 36 (1):121-142.
    Frege introduced the notion of pragmatic force as what distinguishes statements from questions. This distinction was elaborated by Wittgenstein in his later works, and systematised as an account of different kinds of speech acts in formal dialogue theory by Hamblin. It lies at the heart of the inferential semantics more recently developed by Brandom. The present paper attempts to sketch some of the relations between these developments.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
    We introduce a logic BI in which a multiplicative (or linear) and an additive (or intuitionistic) implication live side-by-side. The propositional version of BI arises from an analysis of the proof-theoretic relationship between conjunction and implication; it can be viewed as a merging of intuitionistic logic and multiplicative intuitionistic linear logic. The naturality of BI can be seen categorically: models of propositional BI's proofs are given by bicartesian doubly closed categories, i.e., categories which freely combine the semantics of propositional intuitionistic (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Relevant entailment and logical ground.Pierre Saint-Germier, Peter Verdée & Pilar Terrés Villalonga - 2024 - Philosophical Studies 181 (9).
    According to an intuitive picture of relevant entailment, an entailment is relevant if all the formulas it contains contribute to its validity. In this paper, we provide a ground-theoretic analysis of this notion of contribution, and as a result of relevant entailment. We build a system of bilateral logical grounding within which we can derive classical entailment and analyze the contribution of premises and conclusions, in terms of a certain type of connection between their respective logical grounds. The resulting framework (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A plea for KR.Alison Duncan Kerr - 2019 - Synthese 198 (4):3047-3071.
    There is a strong case to be made for thinking that an obscure logic, KR, is better than classical logic and better than any relevant logic. The argument for KR over relevant logics is that KR counts disjunctive syllogism valid, and this is the biggest complaint about relevant logics. The argument for KR over classical logic depends on the normativity of logic and the paradoxes of implication. The paradoxes of implication are taken by relevant logicians to justify relevant logic, but (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Relevance for the Classical Logician.Ethan Brauer - 2020 - Review of Symbolic Logic 13 (2):436-457.
    Although much technical and philosophical attention has been given to relevance logics, the notion of relevance itself is generally left at an intuitive level. It is difficult to find in the literature an explicit account of relevance in formal reasoning. In this article I offer a formal explication of the notion of relevance in deductive logic and argue that this notion has an interesting place in the study of classical logic. The main idea is that a premise is relevant to (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Translating Logical Terms.Stewart Shapiro - 2019 - Topoi 38 (2):291-303.
    The is an old question over whether there is a substantial disagreement between advocates of different logics, as they simply attach different meanings to the crucial logical terminology. The purpose of this article is to revisit this old question in light a pluralism/relativism that regards the various logics as equally legitimate, in their own contexts. We thereby address the vexed notion of translation, as it occurs between mathematical theories. We articulate and defend a thesis that the notion of “same meaning” (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Albert of Saxony's View of Complex Terms in Categorical Propositions and the ‘English-Rule’.Michael Joseph Fitzgerald - 2016 - History and Philosophy of Logic 37 (4):347-374.
    The essay first makes some observations on the general interrelationship between the logical writings of Albert and Buridan. Second, it gives an account of a ‘semantic logical model’ for analyzing complex subject terms in some basic categorical propositions which is defended by Albert of Saxony, and briefly recounts Buridan's criticisms of that model. Finally, the essay maintains that the Albertian model is typically compatible with, and a further development of, what is called by a late-fourteenth century anonymous scholar ‘the English-Rule’ (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Linear logic.Roberto Di Cosmo & Dale Miller - unknown - Stanford Encyclopedia of Philosophy.
    , from Stanford Encyclopaedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Moore′s paradox generalized.Claudio de Almeida - 2022 - Theoria 88 (6):1111-1127.
    Moore′s paradox came of age when John N. Williams gave us a simple paradoxical argument according to which the Moorean believer must hold false belief while believing contingent propositions. Simplicity was key; it was groundbreaking for the topic. On Williams′s account, given only the notions of inconsistency and self‐refutation, the thesis that belief distributes over conjunction, and a tiny bit of classical logic, we can derive a paradox from the Moorean propositional schemata. But, as argued here, it′s easy to overestimate (...)
    Download  
     
    Export citation  
     
    Bookmark