View topic on PhilPapers for more information
Related categories

20 found
Order:
More results on PhilPapers
  1. added 2019-02-07
    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 complete sequent calculi (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. added 2018-09-18
    Negation on the Australian Plan.Franz Berto & Greg Restall - forthcoming - Journal of Philosophical Logic.
    We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. added 2018-09-13
    Logics for Modelling Collective Attitudes.Daniele Porello - 2018 - Fundamenta Infromaticae 158 (1-3):239-27.
    We introduce a number of logics to reason about collective propositional attitudes that are defined by means of the majority rule. It is well known that majoritarian aggregation is subject to irrationality, as the results in social choice theory and judgment aggregation show. The proposed logics for modelling collective attitudes are based on a substructural propositional logic that allows for circumventing inconsistent outcomes. Individual and collective propositional attitudes, such as beliefs, desires, obligations, are then modelled by means of minimal modalities (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. added 2018-07-24
    Non-Normal Modalities in Variants of Linear Logic.D. Porello & N. Troquard - 2015 - Journal of Applied Non-Classical Logics 25 (3):229-255.
    This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource models (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. added 2018-02-01
    Logically Impossible Worlds.Koji Tanaka - 2018 - Australasian Journal of Logic 15 (2):489.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. added 2017-12-31
    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.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. added 2017-09-12
    Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic.Koji Tanaka - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 15--25.
    Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn the tables on classical logicians (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. added 2017-09-11
    Paraconsistent Dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
    It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in a paraconsistent setting.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. added 2017-04-24
    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.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  10. added 2017-04-22
    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. -/- .
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. added 2017-01-10
    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. It is noted that, given this valuation, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  12. added 2015-04-05
    The Semantics of Entailment.Alasdair Ian Fenton Urquhart - 1973 - Dissertation, University of Pittsburgh
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. added 2014-03-31
    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.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  14. added 2014-03-08
    Paraconsistency: Logic and Applications.Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.) - 2013 - Springer.
    A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. added 2014-03-08
    Non-Normal Worlds and Representation.Francesco Berto - 2012 - In Michal Peliš & Vít Punčochář (eds.), The Logica Yearbook. College Publications.
    World semantics for relevant logics include so-called non-normal or impossible worlds providing model-theoretic counterexamples to such irrelevant entailments as (A ∧ ¬A) → B, A → (B∨¬B), or A → (B → B). Some well-known views interpret non-normal worlds as information states. If so, they can plausibly model our ability of conceiving or representing logical impossibilities. The phenomenon is explored by combining a formal setting with philosophical discussion. I take Priest’s basic relevant logic N4 and extend it, on the syntactic (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. added 2014-01-15
    Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação).Tomás Barrero - 2004 - Dissertation, Universidade Estadual de Campinas
    This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. added 2012-10-28
    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 can be found (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. added 2012-10-28
    Stoic Syllogistic.Susanne Bobzien - 1996 - Oxford Studies in Ancient Philosophy 14:133-92.
    ABSTRACT: For the Stoics, a syllogism is a formally valid argument; the primary function of their syllogistic is to establish such formal validity. Stoic syllogistic is a system of formal logic that relies on two types of argumental rules: (i) 5 rules (the accounts of the indemonstrables) which determine whether any given argument is an indemonstrable argument, i.e. an elementary syllogism the validity of which is not in need of further demonstration; (ii) one unary and three binary argumental rules which (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  19. added 2011-10-30
    Relevance, Relatedness and Restricted Set Theory.Barry Smith - 1991 - In Georg Schurz & Georg Jakob Wilhelm Dorn (eds.), Advances in Scientific Philosophy. Amsterdam: Rodopi. pp. 45-56.
    Relevance logic has become ontologically fertile. No longer is the idea of relevance restricted in its application to purely logical relations among propositions, for as Dunn has shown in his (1987), it is possible to extend the idea in such a way that we can distinguish also between relevant and irrelevant predications, as for example between “Reagan is tall” and “Reagan is such that Socrates is wise”. Dunn shows that we can exploit certain special properties of identity within the context (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. added 2011-02-20
    The Bishop and Priest: Toward a Point-of-View Based Epistemology of True Contradictions.Eric Dietrich - 2008 - Logos Architekton 2 (2):35-58..
    True contradictions are taken increasingly seriously by philosophers and logicians. Yet, the belief that contradictions are always false remains deeply intuitive. This paper confronts this belief head-on by explaining in detail how one specific contradiction is true. The contradiction in question derives from Priest's reworking of Berkeley's argument for idealism. However, technical aspects of the explanation offered here differ considerably from Priest's derivation. The explanation uses novel formal and epistemological tools to guide the reader through a valid argument with, not (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark