Results for 'non-classical logic'

958 found
Order:
  1. Meta-Classical Non-Classical Logics.Eduardo Barrio, Camillo Fiore & Federico Pailos - forthcoming - Review of Symbolic Logic:1-26.
    Recently, it has been proposed to understand a logic as containing not only a validity canon for inferences but also a validity canon for metainferences of any finite level. Then, it has been shown that it is possible to construct infinite hierarchies of "increasingly classical" logics—that is, logics that are classical at the level of inferences and of increasingly higher metainferences—all of which admit a transparent truth predicate. In this paper, we extend this line of investigation by (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. Non-classical Metatheory for Non-classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.
    A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  3. Judgement aggregation in non-classical logics.Daniele Porello - 2017 - Journal of Applied Non-Classical Logics 27 (1-2):106-139.
    This work contributes to the theory of judgement aggregation by discussing a number of significant non-classical logics. After adapting the standard framework of judgement aggregation to cope with non-classical logics, we discuss in particular results for the case of Intuitionistic Logic, the Lambek calculus, Linear Logic and Relevant Logics. The motivation for studying judgement aggregation in non-classical logics is that they offer a number of modelling choices to represent agents’ reasoning in aggregation problems. By studying (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. A non-classical logical foundation for naturalised realism.Emma Ruttkamp-Bloem, Giovanni Casini & Thomas Meyer - 2015 - In Pavel Arazim & Michal Dancak (eds.), Logica Yearbook 2014. College Publications. pp. 249-266.
    In this paper, by suggesting a formal representation of science based on recent advances in logic-based Artificial Intelligence (AI), we show how three serious concerns around the realisation of traditional scientific realism (the theory/observation distinction, over-determination of theories by data, and theory revision) can be overcome such that traditional realism is given a new guise as ‘naturalised’. We contend that such issues can be dealt with (in the context of scientific realism) by developing a formal representation of science based (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. Topics in the Proof Theory of Non-classical Logics. Philosophy and Applications.Fabio De Martin Polo - 2023 - Dissertation, Ruhr-Universität Bochum
    Chapter 1 constitutes an introduction to Gentzen calculi from two perspectives, logical and philosophical. It introduces the notion of generalisations of Gentzen sequent calculus and the discussion on properties that characterize good inferential systems. Among the variety of Gentzen-style sequent calculi, I divide them in two groups: syntactic and semantic generalisations. In the context of such a discussion, the inferentialist philosophy of the meaning of logical constants is introduced, and some potential objections – mainly concerning the choice of working with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  6. Recapture Results and Classical Logic.Camillo Fiore & Lucas Rosenblatt - 2023 - Mind 132 (527):762–788.
    An old and well-known objection to non-classical logics is that they are too weak; in particular, they cannot prove a number of important mathematical results. A promising strategy to deal with this objection consists in proving so-called recapture results. Roughly, these results show that classical logic can be used in mathematics and other unproblematic contexts. However, the strategy faces some potential problems. First, typical recapture results are formulated in a purely logical language, and do not generalize nicely (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Non‐Classical Knowledge.Ethan Jerzak - 2017 - Philosophy and Phenomenological Research 98 (1):190-220.
    The Knower paradox purports to place surprising a priori limitations on what we can know. According to orthodoxy, it shows that we need to abandon one of three plausible and widely-held ideas: that knowledge is factive, that we can know that knowledge is factive, and that we can use logical/mathematical reasoning to extend our knowledge via very weak single-premise closure principles. I argue that classical logic, not any of these epistemic principles, is the culprit. I develop a consistent (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  8. Towards the Inevitability of Non-Classical Probability.Giacomo Molinari - 2023 - Review of Symbolic Logic 16 (4):1053-1079.
    This paper generalises an argument for probabilism due to Lindley [9]. I extend the argument to a number of non-classical logical settings whose truth-values, seen here as ideal aims for belief, are in the set $\{0,1\}$, and where logical consequence $\models $ is given the “no-drop” characterization. First I will show that, in each of these settings, an agent’s credence can only avoid accuracy-domination if its canonical transform is a (possibly non-classical) probability function. In other words, if an (...)
    Download  
     
    Export citation  
     
    Bookmark  
  9. G. Priest's An Introduction to Non-Classical Logic (2001). [REVIEW]Hans-Peter Leeb - 2003 - History and Philosophy of Logic 24:65-66.
    The review gives a short description of the content of the book and discusses the treatment of conditionals in it.
    Download  
     
    Export citation  
     
    Bookmark  
  10. Non classical concept representation and reasoning in formal ontologies.Antonio Lieto - 2012 - Dissertation, Università Degli Studi di Salerno
    Formal ontologies are nowadays widely considered a standard tool for knowledge representation and reasoning in the Semantic Web. In this context, they are expected to play an important role in helping automated processes to access information. Namely: they are expected to provide a formal structure able to explicate the relationships between different concepts/terms, thus allowing intelligent agents to interpret, correctly, the semantics of the web resources improving the performances of the search technologies. Here we take into account a problem regarding (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Dynamic Non-Classicality.Matthew Mandelkern - 2020 - Australasian Journal of Philosophy 98 (2):382-392.
    I show that standard dynamic approaches to the semantics of epistemic modals invalidate the classical laws of excluded middle and non-contradiction, as well as the law of epistemic non-contradiction. I argue that these facts pose a serious challenge.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  12. The (Greatest) Fragment of Classical Logic that Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework).Damian E. Szmuc - 2021 - Bulletin of the Section of Logic 50 (4):421-453.
    We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this (...). The semantics is defined in terms of a \-matrix built on top of a 5-valued extension of the 3-element weak Kleene algebra, whereas the calculus is defined in terms of a Gentzen-style sequent system where the left and right negation rules are subject to linguistic constraints. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Computational logic. Vol. 1: Classical deductive computing with classical logic. 2nd ed.Luis M. Augusto - 2022 - London: College Publications.
    This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and (...) deduction with the classical first-order predicate calculus with a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Many-Valued And Fuzzy Logic Systems From The Viewpoint Of Classical Logic.Ekrem Sefa Gül - 2018 - Tasavvur - Tekirdag Theology Journal 4 (2):624 - 657.
    The thesis that the two-valued system of classical logic is insufficient to explanation the various intermediate situations in the entity, has led to the development of many-valued and fuzzy logic systems. These systems suggest that this limitation is incorrect. They oppose the law of excluded middle (tertium non datur) which is one of the basic principles of classical logic, and even principle of non-contradiction and argue that is not an obstacle for things both to exist (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. Against Classical Paraconsistent Metatheory.Koji Tanaka & Patrick Girard - 2023 - Analysis 83 (2):285-294.
    There was a time when 'logic' just meant classical logic. The climate is slowly changing and non-classical logic cannot be dismissed off-hand. However, a metatheory used to study the properties of non-classical logic is often classical. In this paper, we will argue that this practice of relying on classical metatheories is problematic. In particular, we will show that it is a bad practice because the metatheory that is used to study a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  16. LP, K3, and FDE as Substructural Logics.Lionel Shapiro - 2017 - In Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016. College Publications.
    Building on recent work, I present sequent systems for the non-classical logics LP, K3, and FDE with two main virtues. First, derivations closely resemble those in standard Gentzen-style systems. Second, the systems can be obtained by reformulating a classical system using nonstandard sequent structure and simply removing certain structural rules (relatives of exchange and contraction). I clarify two senses in which these logics count as “substructural.”.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  17. Theories of truth for countable languages which conform to classical logic.Seppo Heikkilä - forthcoming - Nonlinear Studies.
    Every countable language which conforms to classical logic is shown to have an extension which has a consistent definitional theory of truth. That extension has a consistent semantical theory of truth, if every sentence of the object language is valuated by its meaning either as true or as false. These theories contain both a truth predicate and a non-truth predicate. Theories are equivalent when sentences of the object lqanguage are valuated by their meanings.
    Download  
     
    Export citation  
     
    Bookmark  
  18. Supposition and desire in a non-classical setting.J. Robert G. Williams - unknown
    *These notes were folded into the published paper "Probability and nonclassical logic*. Revising semantics and logic has consequences for the theory of mind. Standard formal treatments of rational belief and desire make classical assumptions. If we are to challenge the presuppositions, we indicate what is kind of theory is going to take their place. Consider probability theory interpreted as an account of ideal partial belief. But if some propositions are neither true nor false, or are half true, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  19. 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. Dordrecht, Netherland: 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  20. A Hierarchy of Classical and Paraconsistent Logics.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2020 - Journal of Philosophical Logic 49 (1):93-120.
    In this article, we will present a number of technical results concerning Classical Logic, ST and related systems. Our main contribution consists in offering a novel identity criterion for logics in general and, therefore, for Classical Logic. In particular, we will firstly generalize the ST phenomenon, thereby obtaining a recursively defined hierarchy of strict-tolerant systems. Secondly, we will prove that the logics in this hierarchy are progressively more classical, although not entirely classical. We will (...)
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  21. Non-transitive counterparts of every Tarskian logic.Damian E. Szmuc - 2024 - Analysis 84 (2):320-326.
    The aim of this article is to show that, just as in recent years Cobreros, Egré, Ripley and van Rooij have provided a non-transitive counterpart of classical logic (i.e. one in which all classically acceptable inferences are valid but Cut and other metainferences are not), the same can be done for every Tarskian logic, with full generality. To establish this fact, a semantic approach is taken by showing that appropriate structures can be devised to characterize a non-transitive (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. Semantic Interpretation of the Classical / Intuitionist Logical Divide Through the Language of Scientific Theories.Antonino Drago - manuscript
    Double negations are easily recognised in both the so-called “negative literature” and the original texts of some important scientific theories. Often they are not equivalent to the corresponding affirmative propositions. In the case the law of double negation fails they belong to non-classical logic, as first, intuitionist logic. Through a comparative analysis of the theories including them the main features of a new kind of theoretical organization governed by intuitionist logic are obtained. Its arguing proceeds through (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23.  16
    Complementary Logics for Classical Propositional Languages.Achille C. Varzi - 1992 - Kriterion - Journal of Philosophy 1 (4):20-24.
    In previous work, I introduced a complete axiomatization of classical non-tautologies based essentially on Łukasiewicz’s rejection method. The present paper provides a new, Hilbert-type axiomatization (along with related systems to axiomatize classical contradictions, non-contradictions, contingencies and non-contingencies respectively). This new system is mathematically less elegant, but the format of the inferential rules and the structure of the completeness proof possess some intrinsic interest and suggests instructive comparisons with the logic of tautologies.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  24. The Non-Categoricity of Logic (II). Multiple-Conclusions and Bilateralist Logics (In Romanian).Constantin C. Brîncuș - 2023 - Probleme de Logică (Problems of Logic) (1):139-162.
    The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. Depicting Negation in Diagrammatic Logic: Legacy and Prospects.Fabien Schang & Amirouche Moktefi - 2008 - Diagrammatic Representation and Inference: Proceedings of the 5th International Conference Diagrams 2008 5223:236-241.
    Here are considered the conditions under which the method of diagrams is liable to include non-classical logics, among which the spatial representation of non-bivalent negation. This will be done with two intended purposes, namely: a review of the main concepts involved in the definition of logical negation; an explanation of the epistemological obstacles against the introduction of non-classical negations within diagrammatic logic.
    Download  
     
    Export citation  
     
    Bookmark  
  26. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Modeling the interaction of computer errors by four-valued contaminating logics.Roberto Ciuni, Thomas Macaulay Ferguson & Damian Szmuc - 2019 - In Rosalie Iemhoff, Michael Moortgat & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation. Folli Publications on Logic, Language and Information. pp. 119-139.
    Logics based on weak Kleene algebra (WKA) and related structures have been recently proposed as a tool for reasoning about flaws in computer programs. The key element of this proposal is the presence, in WKA and related structures, of a non-classical truth-value that is “contaminating” in the sense that whenever the value is assigned to a formula ϕ, any complex formula in which ϕ appears is assigned that value as well. Under such interpretations, the contaminating states represent occurrences of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  28. A Mid-blue Logic.Danilo Suster - 2022 - In Boran Berčić, Aleksandra Golubović & Majda Trobok (eds.), HUMAN RATIONALITY Festschrift for Nenad Smokrović. Rijeka: University of Rijeka, Faculty of Humanities and Social Sciences. pp. 211-228.
    I discuss Smokrović’s work on the normativity of logic (Smokrović 2017, Smokrović 2018). I agree that the classical formal logic is not an adequate model for real-life reasoning. But I present some doubts about his notion of deductive logic and his proposal to model such reasoning in non-monotonic logic. No branch of formal logic by itself is likely to capture real-life inferential links (reasoned-inference). I use the logic of relevance as my case study (...)
    Download  
     
    Export citation  
     
    Bookmark  
  29. Logic. of Descriptions. A New Approach to the Foundations of Mathematics and Science.Joanna Golińska-Pilarek & Taneli Huuskonen - 2012 - Studies in Logic, Grammar and Rhetoric 27 (40):63-94.
    We study a new formal logic LD introduced by Prof. Grzegorczyk. The logic is based on so-called descriptive equivalence, corresponding to the idea of shared meaning rather than shared truth value. We construct a semantics for LD based on a new type of algebras and prove its soundness and completeness. We further show several examples of classical laws that hold for LD as well as laws that fail. Finally, we list a number of open problems. -/- .
    Download  
     
    Export citation  
     
    Bookmark  
  30. (1 other version)Towards a Feminist Logic: Val Plumwood’s Legacy and Beyond.Maureen Eckert & Charlie Donahue - 2020 - In Dominic Hyde (ed.), Noneist Explorations II: The Sylvan Jungle - Volume 3 (Synthese Library, 432). Dordrecht: pp. 424-448.
    Val Plumwood’s 1993 paper, “The politics of reason: towards a feminist logic” (hence- forth POR) attempted to set the stage for what she hoped would begin serious feminist exploration into formal logic – not merely its historical abuses, but, more importantly, its potential uses. This work offers us: (1) a case for there being feminist logic; and (2) a sketch of what it should resemble. The former goal of Plumwood’s paper encourages feminist theorists to reject anti-logic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. 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 theory (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. The square of opposition and the four fundamental choices.Antonino Drago - 2008 - Logica Universalis 2 (1):127-141.
    . Each predicate of the Aristotelian square of opposition includes the word “is”. Through a twofold interpretation of this word the square includes both classical logic and non-classical logic. All theses embodied by the square of opposition are preserved by the new interpretation, except for contradictories, which are substituted by incommensurabilities. Indeed, the new interpretation of the square of opposition concerns the relationships among entire theories, each represented by means of a characteristic predicate. A generalization of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  56
    Tractable depth-bounded approximations to some propositional logics. Towards more realistic models of logical agents.A. Solares-Rojas - 2022 - Dissertation, University of Milan
    The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  34. O logici i metafizici vremena [On the logic and metaphysics of time].Srećko Kovač - 2009 - In Damir Barbarić (ed.), Vrijeme metamorfoza: uz 'Metamorfoze metafizike' Marijana Cipre [The Time of Metamorphoses : on the 'Metamorphoses of Metaphysics' by Marijan Cipra]. Matica hrvatska. pp. 33-59.
    The basic principles of Cipra's metaphysics (according to his book "Metamorphoses of Metaphysics") are analyzed with respect to Cipra's request for the revision of classical logical principles (of identity, excluded middle and contradiction). In Cipra's metaphysics, the principle of identity holds for being, necessity and past only, the principle of excluded middle does not hold for coming-to-be, possibility and present, and the principle of contradiction does not hold for the actuality, reality (freedom) and future. A propositional and first-order temporal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. The Logic of Opacity.Andrew Bacon & Jeffrey Sanford Russell - 2017 - Philosophy and Phenomenological Research 99 (1):81-114.
    We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  36. Translations between logical systems: a manifesto.Walter A. Carnielli & Itala Ml D'Ottaviano - 1997 - Logique Et Analyse 157:67-81.
    The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  37. Hyperintensionality in Relevant Logics.Shawn Standefer - 2023 - In Natasha Alechina, Andreas Herzig & Fei Liang (eds.), Logic, Rationality, and Interaction: 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings. Springer Nature Switzerland. pp. 238-250.
    In this article, we present a definition of a hyperintensionality appropriate to relevant logics. We then show that relevant logics are hyperintensional in this sense, drawing consequences for other non-classical logics, including HYPE and some substructural logics. We further prove results concerning extensionality in relevant logics. We close by discussing related concepts for classifying formula contexts and potential applications of these results.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. What is a Paraconsistent Logic?Damian Szmuc, Federico Pailos & Eduardo Barrio - 2018 - In Walter Carnielli & Jacek Malinowski (eds.), Contradictions, from Consistency to Inconsistency. Cham, Switzerland: Springer.
    Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a (...) is paraconsistent if it invalidates either the inferential or the meta-inferential notion of Explosion. We show the non-triviality of this criterion by discussing a number of logics. On the one hand, logics which validate and invalidate both versions of Explosion, such as classical logic and Asenjo–Priest’s 3-valued logic LP. On the other hand, logics which validate one version of Explosion but not the other, such as the substructural logics TS and ST, introduced by Malinowski and Cobreros, Egré, Ripley and van Rooij, which are obtained via Malinowski’s and Frankowski’s q- and p-matrices, respectively. (shrink)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  39. Paraconsistency: Logic and Applications.Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.) - 2013 - Dordrecht, Netherland: 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  40. Substructural logics, pluralism and collapse.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2018 - Synthese 198 (Suppl 20):4991-5007.
    When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  41. The Logicality of Language: A new take on Triviality, “Ungrammaticality”, and Logical Form.Guillermo Del Pinal - 2017 - Noûs 53 (4):785-818.
    Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  42. Actual Issues for Relevant Logics.Shawn Standefer - 2020 - Ergo: An Open Access Journal of Philosophy 7.
    In this paper, I motivate the addition of an actuality operator to relevant logics. Straightforward ways of doing this are in tension with standard motivations for relevant logics, but I show how to add the operator in a way that permits one to maintain the intuitions behind relevant logics. I close by exploring some of the philosophical consequences of the addition.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  43. 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 relevant implication. I (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  44. 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 theories (...)
    Download  
     
    Export citation  
     
    Bookmark  
  45. Logics Based on Linear Orders of Contaminating Values.Roberto Ciuni, Thomas Macaulay Ferguson & Damian Szmuc - 2019 - Journal of Logic and Computation 29 (5):631–663.
    A wide family of many-valued logics—for instance, those based on the weak Kleene algebra—includes a non-classical truth-value that is ‘contaminating’ in the sense that whenever the value is assigned to a formula φ⁠, any complex formula in which φ appears is assigned that value as well. In such systems, the contaminating value enjoys a wide range of interpretations, suggesting scenarios in which more than one of these interpretations are called for. This calls for an evaluation of systems with multiple (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  46. Logical Maximalism in the Empirical Sciences.Constantin C. Brîncuș - 2021 - In Parusniková Zuzana & Merritt David (eds.), Karl Popper's Science and Philosophy. Cham, Switzerland: Springer. pp. 171-184.
    K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. Independence of the Grossone-Based Infinity Methodology from Non-standard Analysis and Comments upon Logical Fallacies in Some Texts Asserting the Opposite.Yaroslav D. Sergeyev - 2019 - Foundations of Science 24 (1):153-170.
    This paper considers non-standard analysis and a recently introduced computational methodology based on the notion of ①. The latter approach was developed with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework and in all the situations requiring these notions. Non-standard analysis is a classical purely symbolic technique that works with ultrafilters, external and internal sets, standard and non-standard numbers, etc. In its turn, the ①-based methodology does not use any of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Dialectical Contradictions and Classical Formal Logic.Inoue Kazumi - 2014 - International Studies in the Philosophy of Science 28 (2):113-132.
    A dialectical contradiction can be appropriately described within the framework of classical formal logic. It is in harmony with the law of noncontradiction. According to our definition, two theories make up a dialectical contradiction if each of them is consistent and their union is inconsistent. It can happen that each of these two theories has an intended model. Plenty of examples are to be found in the history of science.
    Download  
     
    Export citation  
     
    Bookmark  
  49. Epistemic Paradox and the Logic of Acceptance.Michael J. Shaffer - 2013 - Journal of Experimental and Theoretical Artificial Intelligence 25:337-353.
    Paradoxes have played an important role both in philosophy and in mathematics and paradox resolution is an important topic in both fields. Paradox resolution is deeply important because if such resolution cannot be achieved, we are threatened with the charge of debilitating irrationality. This is supposed to be the case for the following reason. Paradoxes consist of jointly contradictory sets of statements that are individually plausible or believable. These facts about paradoxes then give rise to a deeply troubling epistemic problem. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  50. Dissolving the paradoxicality paradox.William Nava - 2022 - Australasian Journal of Logic 19 (4):133-146.
    Non-classical solutions to semantic paradox can be associated with conceptions of paradoxicality understood in terms of entailment facts. In a K3-based theory of truth, for example, it is prima facie natural to say that a sentence φ is paradoxical iff φ ∨ ¬φ entails an absurdity. In a recent paper, Julien Murzi and Lorenzo Rossi exploit this idea to introduce revenge paradoxes for a number of non-classical approaches, including K3. In this paper, I show that on no understanding (...)
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 958