Related categories

7369 found
Order:
1 — 50 / 7369
Material to categorize
  1. Arbitrary Public Announcement Logic with Memory.Alexandru Baltag, Aybüke Özgün & Ana Lucia Vargas Sandoval - 2023 - Journal of Philosophical Logic 52 (1):53-110.
    We introduce Arbitrary Public Announcement Logic with Memory (APALM), obtained by adding to the models a ‘memory’ of the initial states, representing the information before any communication took place (“the prior”), and adding to the syntax operators that can access this memory. We show that APALM is recursively axiomatizable (in contrast to the original Arbitrary Public Announcement Logic, for which the corresponding question is still open). We present a complete recursive axiomatization, that includes a natural finitary rule, and study this (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  2. Probability and Symmetric Logic.Michał Gil Sanchez, Zalán Gyenis & Leszek Wroński - 2023 - Journal of Philosophical Logic 52 (1):183-198.
    In this paper we study the interaction between symmetric logic and probability. In particular, we axiomatize the convex hull of the set of evaluations of symmetric logic, yielding the notion of probability in symmetric logic. This answers an open problem of Williams ( 2016 ) and Paris ( 2001 ).
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. The Laws of Thought and the Laws of Truth as Two Sides of One Coin.Ulf Hlobil - 2023 - Journal of Philosophical Logic 52 (1):313-343.
    Some think that logic concerns the “laws of truth”; others that logic concerns the “laws of thought.” This paper presents a way to reconcile both views by building a bridge between truth-maker theory, à la Fine, and normative bilateralism, à la Restall and Ripley. The paper suggests a novel way of understanding consequence in truth-maker theory and shows that this allows us to identify a common structure shared by truth-maker theory and normative bilateralism. We can thus transfer ideas from normative (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Proof Theory of First Order Abduction: Sequent Calculus and Structural Rules.Seyed Ahmad Mirsanei - 2021 - Eighth Annual Conference of Iranian Association for Logic (Ial).
    The logical formalism of abductive reasoning is still an open discussion and various theories have been presented about it. Abduction is a type of non-monotonic and defeasible reasonings, and the logic containing such a reasoning is one of the types of non-nonmonotonic and defeasible logics, such as inductive logic. Abduction is a kind of natural reasoning and it is a solution to the problems having this form "the phenomenon of φ cannot be explained by the theory of Θ" and we (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. Tableau-resolution based description abduction logics: An A-Box Abduction Problem Solver in Artificial Intelligence.Seyed Ahmad Mirsanei - 2023 - In The 9th International TMU Student Philosophy Conference. Tehran: Tarbiat Modares University - Department of Philosophy. pp. 133-137.
    By introducing and extending description logic (DLs) and growing up their application in knowledge representation and especially in OWLs and semantic web scope, many shortcomings and bugs were identified that weren’t resolvable in classical DLs and so logicians and computer scientists intended to non-classical and non-monotonic reasoning tools. In this paper, I discuses about abduction problem solvers, and by introducing A-Box abduction in description logics (DLs), such as ALC, discuss about decidability and complexity in different introduced algorithms, and report shortly (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  6. Non-standard completeness of first-order MTL's extension using single-chain method.S. Ahmad Mirsanei - unknown
    One of the main problems in t-norm fuzzy logic's meta-theorems is that despite the strong completeness of BL’s extensions such as Łukasiewicz (Ł), Gödel (G) and Product (Π) logics (i.e., Multi-valued, Gödel and Product standard algebras on [0,1] interval) in the propositional approach, in the first-order approach, given their standard chains and corresponding algebras, they aren't complete and strongly complete. One solution to this problem is that the first-order approaches of different fuzzy logics are complete and even strongly complete with (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  7. A Teamwork communication model based on spiritual intelligence by fuzzy logic.S. Ahmad Mirsanei, Mohammad Kadkhoda & Jahani Hooriyeh - 2013 - Proceedings of the IEEE 2013:1-6.
    Spiritual Intelligence (S-Intelligence) introduced to achieve higher levels of knowledge and applying hidden knowledge. This intelligence is various in different people. When people work together in a team or set, these diverse influence on their performance. Facilitate the application of spiritual capacities by using abilities of S- intelligence is important to increase productivity teamwork. For this purpose, we provided a model of communication for individuals with different S-intelligence in performing team tasks. First, with the basics S-intelligence analysis and interviews with (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  8. Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic.Yale Weiss - 2022 - Notre Dame Journal of Formal Logic 63 (4):551-579.
    Since McCall (1966), the heterodox principle of propositional logic that it is impossible for a proposition to be entailed by its own negation—in symbols, ¬(¬φ→φ)—has gone by the name of Aristotle’s thesis, since Aristotle apparently endorses it in Prior Analytics 2.4, 57b3–14. Scholars have contested whether Aristotle did endorse his eponymous thesis, whether he could do so consistently, and for what purpose he endorsed it if he did. In this article, I reconstruct Aristotle’s argument from this passage and show that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Grado de dependencia e independencia de los (sub) componentes de Conjuntos Borrosos y Neutrosóficos.Florentin Smarandache - 2019 - Neutrosophic Computing and Machine Learning 5 (1):1-6.
    La introducción del grado de dependencia (y en consecuencia el grado de independencia) entre los componentes del conjunto difuso, y también entre los componentes del conjunto neutrosófico, se introduce por primera vez en la quinta edición del libro de Neutrosofía en el año 2006, basado en los elementos descritos en dicha edición del libro, se comienza a conocer conceptos de conjuntos neutrosóficos de los componentes borrosos así como los grados de dependencia e independencia, Por tal motivo el objetivo del presente (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  10. Degree of Dependence and Independence of the (Sub)Components of Fuzzy Set and Neutrosophic Set.Florentin Smarandache - 2016 - Neutrosophic Sets and Systems 11 (1):95-97.
    We have introduced for the first time the degree of dependence (and consequently the degree of independence) between the components of the fuzzy set, and also between the components of the neutrosophic set in our 2006 book’s fifth edition [1]. Now we extend it for the first time to the refined neutrosophic set considering the degree of dependence or independence of subcomponets.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  11. Nidus Idearum. Scilogs, I: De neutrosophia.Florentin Smarandache - 2016 - Brussels, Belgium: Pons.
    In this first books of scilogs collected from my nest of ideas, one may find new and old questions and solutions, some of them already put at work, others dead or waiting, referring to neutrosophy – email messages to research colleagues, or replies, notes about authors, articles or books, so on.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Nidus Idearum. Scilogs, II: de rerum consectatione.Florentin Smarandache - 2016 - Brussels, Belgium: Pons.
    In this second book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, some of them already put at work, others dead or waiting, referring to many topics (see Topics) in different fields of research – email messages to research colleagues, or replies, notes about authors, articles, or books, so on – in an eager pursuit (consectatio) for meanings, reasons, and purports of (scientific) things (res).
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. Nidus Idearum. Scilogs, III: Viva la Neutrosophia!Florentin Smarandache - 2017 - Brussels, Belgium: Pons.
    In this third book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, referring to topics on NEUTROSOPHY – email messages to research colleagues, or replies, notes about authors, articles, or books, so on. Feel free to budge in or just use the scilogs as open source for your own ideas!
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Nidus Idearum. Scilogs, IV: vinculum vinculorum.Florentin Smarandache - 2019 - Brussels, Belgium: Pons.
    In this fourth book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, referring mostly to topics on NEUTROSOPHY – email messages to research colleagues, or replies, notes about authors, articles, or books, so on. Feel free to budge in or just use the scilogs as open source for your own ideas!
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  15. Nidus Idearum. Scilogs, V: joining the dots.Florentin Smarandache - 2019 - Brussels, Belgium: Pons.
    In this fifth book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, mostly referring to topics on NEUTROSOPHY – email messages to research colleagues, or replies, notes about authors, articles, or books, so on. Feel free to budge in or just use the scilogs as open source for your own ideas!
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16. Nidus Idearum. Scilogs, VI: annotations on neutrosophy.Florentin Smarandache - 2019 - Brussels, Belgium: Pons.
    In this sixth book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, referring to topics on NEUTROSOPHY – email messages to research colleagues, or replies, notes about authors, articles, or books, and so on. Feel free to budge in or just use the scilogs as open source for your own ideas!
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Nidus Idearum. Scilogs, VII: superluminal physics.Florentin Smarandache - 2019 - Brussels, Belgium: Pons.
    In this seventh book of scilogs collected from my nest of ideas, one may find new and old questions and solutions, referring to different scientific topics – email messages to research colleagues, or replies, notes about authors, articles, or books, so on. -/- Exchanging ideas with Akeem Adesina A. Agboola, Muhammad Akram, Octavian Blaga, Said Broumi, Kajal Chatterjee, Vic Christianto, Octavian Cira, Mihaela Colhon, B. Davvaz, Luu Quoc Dat, R. Dhavaseelan, Jean Dezert, Hoda Esmail, Reza Farhadian, Ervin Goldfain, Muhammad Gulistan, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Improved Definition of NonStandard Neutrosophic Logic and Introduction to Neutrosophic Hyperreals (Fifth version).Florentin Smarandache - 2022 - Neutrosophic Sets and Systems 51 (1):1-20.
    In the fifth version of our response-paper [26] to Imamura’s criticism, we recall that NonStandard Neutrosophic Logic was never used by neutrosophic community in no application, that the quarter of century old neutrosophic operators (1995-1998) criticized by Imamura were never utilized since they were improved shortly after but he omits to tell their development, and that in real world applications we need to convert/approximate the NonStandard Analysis hyperreals, monads and binads to tiny intervals with the desired accuracy – otherwise they (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  19. Definición Mejorada de Lógica Neutrosófica No Estándar e Introducción a los Hiperreales Neutrosóficos (Quinta versión). Improved Definition of Non-Standard Neutrosophic Logic and Introduction to Neutrosophic Hyperreals (Fifth Version).Florentin Smarandache - 2022 - Neutrosophic Computing and Machine Learning 23 (1):1-20.
    In the fifth version of our reply article [26] to Imamura's critique, we recall that Neutrosophic Non-Standard Logic was never used by the neutrosophic community in any application, that the quarter-century old (1995-1998) neutrosophic operators criticized by Imamura were never used as they were improved soon after, but omits to talk about their development, and that in real-world applications we need to convert/approximate the hyperreals, monads and bi-nads of Non-Standard Analysis to tiny intervals with the desired precision; otherwise they would (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  20. Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification.Marija Boričić - 2019 - Bulletin of Symbolic Logic 25 (4):446-447.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. What Follows from the Impossible: Everything or Nothing? (An Interpretation of the ‘Avranches Text’ and the Ars Meliduna).Wolfgang Lenzen - 2021 - History and Philosophy of Logic 43 (4):309-331.
    One of the main controversies of the Logic Schools of the 12th century centered on the question: What follows from the impossible? In this paper arguments for two diametrically opposed positions are examined. The author of the ‘Avranches Text’ who probably belonged to the school of the Parvipontani defended the view that from an impossible proposition everything follows (‘Ex impossibili quodlibet’). In particular he developed a proof to show that by means of so-called ‘disjunctive syllogism’ any arbitrary proposition B can (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. From Inconsistency to Incompatibility.Marcelo E. Coniglio & Guilherme V. Toledo - forthcoming - Logic and Logical Philosophy:1-36.
    The aim of this article is to generalize logics of formal inconsistency (LFIs) to systems dealing with the concept of incompatibility, expressed by means of a binary connective. The basic idea is that having two incompatible formulas to hold trivializes a deduction, and as a special case, a formula becomes consistent (in the sense of LFIs) when it is incompatible with its own negation. We show how this notion extends that of consistency in a non-trivial way, presenting conservative translations for (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Poly-Connexivity: Connexive Conjunction and Disjunction.Nissim Francez - 2022 - Notre Dame Journal of Formal Logic 63 (3):343-355.
    This paper motivates the logic PCON, an extension of connexivity to conjunction and disjunction, called poly-connexivity. The motivation arises from differences in intonational stress patterns due to focus, where PCON turns out to be a logic of intentionally stressed connectives in focus.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams.Fausto Barbero & Fan Yang - 2022 - Notre Dame Journal of Formal Logic 63 (3):301-341.
    We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we analyze the expressive power and proof theory of the causal-observational languages over this enriched semantics.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Measuring Inconsistency in Some Logics with Tense Operators.John Grant - 2022 - Notre Dame Journal of Formal Logic 63 (3):415-440.
    This paper starts the systematic study of inconsistency measures for propositional logics enriched with operators involving time. We use Prior’s operators for tense logic: H, G, P, and F; however, we apply different semantics to them. We define two logics. The first one, ATPL, allows formulas with the application of any of the four operators any number of times to propositional logic formulas. The semantics is given in terms of TPL structures. We then show how to measure the inconsistency of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras.Aldo Figallo-Orellano, Miguel Peréz-Gaspar & Juan Manuel Ramírez-Contreras - 2022 - Studia Logica 110 (5):1291-1325.
    The study of the theory of operators over modal pseudocomplemented De Morgan algebras was begun in papers [20] and [21]. In this paper, we introduce and study the class of modal pseudocomplemented De Morgan algebras enriched by a k-periodic automorphism -algebras). We denote by \ the automorphism where k is a positive integer. For \, the class coincides with the one studied in [20] where the automorphism works as a new unary operator which can be considered as a negation. In (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. Inferential Constants.Camillo Fiore, Federico Pailos & Mariela Rubin - forthcoming - Journal of Philosophical Logic: 1 - 26.
    A metainference is usually understood as a pair consisting of a collection of inferences, called premises, and a single inference, called conclusion. In the last few years, much attention has been paid to the study of metainferences—and, in particular, to the question of what are the valid metainferences of a given logic. So far, however, this study has been done in quite a poor language. Our usual sequent calculi have no way to represent, e.g. negations, disjunctions or conjunctions of inferences. (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28. Intuitionistic Propositional Logic with Galois Negations.Minghui Ma & Guiying Li - 2023 - Studia Logica 111 (1):21-56.
    Intuitionistic propositional logic with Galois negations ( \(\mathsf {IGN}\) ) is introduced. Heyting algebras with Galois negations are obtained from Heyting algebras by adding the Galois pair \((\lnot,{\sim })\) and dual Galois pair \((\dot{\lnot },\dot{\sim })\) of negations. Discrete duality between GN-frames and algebras as well as the relational semantics for \(\mathsf {IGN}\) are developed. A Hilbert-style axiomatic system \(\mathsf {HN}\) is given for \(\mathsf {IGN}\), and Galois negation logics are defined as extensions of \(\mathsf {IGN}\). We give the bi-tense (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29. Ramsey's Lost Counterfactual.Caterina Sisti - forthcoming - History and Philosophy of Logic:1-16.
    In contemporary works on conditionals, the Ramsey test is a procedure for the evaluation of conditional sentences. There are several versions of the test, all inspired by a footnote by the British philosopher and mathematician Frank Ramsey, in his General Propositions and Causality. However, no study on Ramsey's own account of conditionals has been put forth so far. Furthermore, the footnote seems to cover indicative conditionals only, and this has led to the belief that no account of counterfactuals can be (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  30. Enumerating teams in first-order team logics.Anselm Haak, Arne Meier, Fabian Müller & Heribert Vollmer - 2022 - Annals of Pure and Applied Logic 173 (10):103163.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. Embedding causal team languages into predicate logic.Fausto Barbero & Pietro Galliani - 2022 - Annals of Pure and Applied Logic 173 (10):103159.
  32. Iterated team semantics for a hierarchy of informational types.Vít Punčochář - 2022 - Annals of Pure and Applied Logic 173 (10):103156.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. On the Presburger fragment of logics with multiteam semantics.Richard Wilke - 2022 - Annals of Pure and Applied Logic 173 (10):103120.
  34. Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence.Rafael Albert & Erich Grädel - 2022 - Annals of Pure and Applied Logic 173 (10):103088.
  35. Three-Dimensional Affine Spatial Logics.Adam Trybus - forthcoming - Logica Universalis:1-18.
    We focus on a branch of region-based spatial logics dealing with affine geometry. The research on this topic is scarce: only a handful of papers investigate such systems, mostly in the case of the real plane. Our long-term goal is to analyse certain family of affine logics with inclusion and convexity as primitives interpreted over real spaces of increasing dimensionality. In this article we show that logics of different dimensionalities must have different theories, thus justifying further work on different dimensions. (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36. Complete Intuitionistic Temporal Logics for Topological Dynamics.Joseph Boudou, Martín Diéguez & David Fernández-Duque - 2022 - Journal of Symbolic Logic 87 (3):995-1022.
    The language of linear temporal logic can be interpreted on the class of dynamic topological systems, giving rise to the intuitionistic temporal logic ${\sf ITL}^{\sf c}_{\Diamond \forall }$, recently shown to be decidable by Fernández-Duque. In this article we axiomatize this logic, some fragments, and prove completeness for several familiar spaces.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. A Logic for Aristotle's Modal Syllogistic.Clarence Lewis Protin - 2022 - History and Philosophy of Logic.
    We propose a new modal logic endowed with a simple deductive system to interpret Aristotle's theory of the modal syllogism. While being inspired by standard propositional modal logic, it is also a logic of terms that admits a (sound) extensional semantics involving possible states-of-affairs in a given world. Applied to the analysis of Aristotle's modal syllogistic as found in the Prior Analytics A8-22, it sheds light on various fine-grained distinctions which when made allow us to clarify some ambiguities and obtain (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38. Automating Reasoning with Standpoint Logic via Nested Sequents.Tim Lyon & Lucía Gómez Álvarez - 2022 - In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. pp. 257-266.
    Standpoint logic is a recently proposed formalism in the context of knowledge integration, which advocates a multi-perspective approach permitting reasoning with a selection of diverse and possibly conflicting standpoints rather than forcing their unification. In this paper, we introduce nested sequent calculi for propositional standpoint logics---proof systems that manipulate trees whose nodes are multisets of formulae---and show how to automate standpoint reasoning by means of non-deterministic proof-search algorithms. To obtain worst-case complexity-optimal proof-search, we introduce a novel technique in the context (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. A Framework for Intuitionistic Grammar Logics.Tim Lyon - 2021 - In Pietro Baroni, Christoph Benzmüller & Yὶ N. Wang (eds.), Lecture Notes in Computer Science. 93413 Cham, Germany: pp. 495-503.
    We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call "intuitionistic path axioms". We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  40. The bounds of transcendental logic. [REVIEW]S. Kovač - forthcoming - History and Philosophy of Logic:1-4.
  41. Computational complexity of hybrid interval temporal logics.Przemysław Andrzej Wałęga - 2023 - Annals of Pure and Applied Logic 174 (1):103165.
  42. A Probabilistic Logic Between $$LPP1$$ L P P 1 and $$LPP2$$ L P P 2.Šejla Dautović - 2022 - Logica Universalis 16 (1-2):323-333.
    An extension of the propositional probability logic \ given in Ognjanović et al. that allows mixing of propositional formulas and probabilistic formulas is introduced. We describe the corresponding class of models, and we show that the problem of deciding satisfiability is in NP. We provide infinitary axiomatization for the logic and we prove that the axiomatization is sound and strongly complete.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43. A Probabilistic Logic Between $$LPP1$$ L P P 1 and $$LPP2$$ L P P 2.Šejla Dautović - 2022 - Logica Universalis 16 (1):323-333.
    An extension of the propositional probability logic \ given in Ognjanović et al. that allows mixing of propositional formulas and probabilistic formulas is introduced. We describe the corresponding class of models, and we show that the problem of deciding satisfiability is in NP. We provide infinitary axiomatization for the logic and we prove that the axiomatization is sound and strongly complete.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44. A Methodological Shift in Favor of (Some) Paraconsistency in the Sciences.María del Rosario Martínez-Ordaz - 2022 - Logica Universalis 16 (1):335-354.
    Many have contended that non-classical logicians have failed at providing evidence of paraconsistent logics being applicable in cases of inconsistency toleration in the sciences. With this in mind, my main concern here is methodological. I aim at addressing the question of how should we study and explain cases of inconsistent science, using paraconsistent tools, without ruining into the most common methodological mistakes. My response is divided into two main parts: first, I provide some methodological guidance on how to approach cases (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  45. Probabilistic Entailment on First Order Languages and Reasoning with Inconsistencies.Soroush Rafiee Rad - forthcoming - Review of Symbolic Logic:1-18.
    We investigate an approach for drawing logical inference from inconsistent premisses. The main idea in this approach is that the inconsistencies in the premisses should be interpreted as uncertainty of the information. We propose a mechanism, based on Kinght’s [14] study of inconsistency, for revising an inconsistent set of premisses to a minimally uncertain, probabilistically consistent one. We will then generalise the probabilistic entailment relation introduced in [15] for propositional languages to the first order case to draw logical inference from (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Paraconsistent Logic Programming in Three and Four-Valued Logics.Kleidson Êglicio Carvalho da Silva Oliveira - 2022 - Bulletin of Symbolic Logic 28 (2):260-260.
  47. Valuation Semantics for First-Order Logics of Evidence and Truth.H. Antunes, A. Rodrigues, W. Carnielli & M. E. Coniglio - 2022 - Journal of Philosophical Logic 51 (5):1141-1173.
    This paper introduces the logic _Q__L__E__T_ _F_, a quantified extension of the logic of evidence and truth _L__E__T_ _F_, together with a corresponding sound and complete first-order non-deterministic valuation semantics. _L__E__T_ _F_ is a paraconsistent and paracomplete sentential logic that extends the logic of first-degree entailment (_FDE_) with a classicality operator ∘ and a non-classicality operator ∙, dual to each other: while ∘_A_ entails that _A_ behaves classically, ∙_A_ follows from _A_’s violating some classically valid inferences. The semantics of _Q__L__E__T_ (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Game Semantics, Quantifiers and Logical Omniscience.Bruno Ramos Mendonça - forthcoming - Logic and Logical Philosophy:1-22.
    Logical omniscience states that the knowledge set of ordinary rational agents is closed for its logical consequences. Although epistemic logicians in general judge this principle unrealistic, there is no consensus on how it should be restrained. The challenge is conceptual: we must find adequate criteria for separating obvious logical consequences from non-obvious ones. Non-classical game-theoretic semantics has been employed in this discussion with relative success. On the one hand, with urn semantics [15], an expressive fragment of classical game semantics that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. History of Relating Logic. The Origin and Research Directions.Mateusz Klonowski - 2021 - Logic and Logical Philosophy 30 (4):579–629.
    In this paper, we present the history of and the research directions in relating logic. For this purpose we will describe Epstein's Programme, which postulates accounting for the content of sentences in logical research. We will focus on analysing the content relationship and Epstein's logics that are based on it, which are special cases of relating logic. Moreover, the set-assignment semantics will be discussed. Next, the Torunian Programme of Relating Semantics will be presented; this programme explores the various non-logical relationships (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. Tableaux for Some Modal-Tense Logics Graham Priest’s Fashion.Juan Carlos Sánchez Hernández - 2022 - Studia Logica 110 (3):745-784.
    The forward convergence constraint is important to time analysis. Without it, given two future moments to the same point, the time branches. This is unacceptable if one assumes that time is linear. Nevertheless, one may wish to consider time-branching in order to discuss future possibilities. One can have both a linear order for the time and branching through the combination of the tense logic semantics with those of an alethic logic which allows the evaluation of the timelines of other possible (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 7369