Related

Contents
7500 found
Order:
1 — 50 / 7500
Material to categorize
  1. Three Misrepresentations of Feminist Logic: A Response to Barceló.Franci Mangraviti - 2024 - Social Epistemology Review and Reply Collective 13 (6):44-52.
    Axel A. Barceló takes issue with my discussion of the dominant gender conception—according to which “woman” is the classical negation of “man”—as an example of logic-based hermeneutical injustice. His arguments are embedded in a more general critique of revisionist projects within feminist logic. [...] Barceló’s particular response relies on a number of assumptions which I think are worth pushing back against. In particular, I will argue that feminist logical revisionism does not depend on giving up universality or proving classical logical (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Unjustified untrue "beliefs": AI hallucinations and justification logics.Kristina Šekrst - forthcoming - In Kordula Świętorzecka, Filip Grgić & Anna Brozek (eds.), Logic, Knowledge, and Tradition. Essays in Honor of Srecko Kovac.
    In artificial intelligence (AI), responses generated by machine-learning models (most often large language models) may be unfactual information presented as a fact. For example, a chatbot might state that the Mona Lisa was painted in 1815. Such phenomenon is called AI hallucinations, seeking inspiration from human psychology, with a great difference of AI ones being connected to unjustified beliefs (that is, AI “beliefs”) rather than perceptual failures). -/- AI hallucinations may have their source in the data itself, that is, the (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. 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 counterpart of every (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  4. Swyneshed Revisited.Alexander Sandgren - forthcoming - Ergo: An Open Access Journal of Philosophy.
    I propose an approach to liar and Curry paradoxes inspired by the work of Roger Swyneshed in his treatise on insolubles (1330-1335). The keystone of the account is the idea that liar sentences and their ilk are false (and only false) and that the so-called ''capture'' direction of the T-schema should be restricted. The proposed account retains what I take to be the attractive features of Swyneshed's approach without leading to some worrying consequences Swyneshed accepts. The approach and the resulting (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. Universality, topic-neutrality, monism, and pluralism in logic.Luis F. Bartolo Alegre - forthcoming - South American Journal of Logic.
    The concept of topic-neutrality, though central to contemporary characterisations of logic, lacks a standard formal definition. I propose a formal reconstruction of topic-neutrality in terms of a topical partition of atoms and its applicability across consequence relations. I explore the implications of this reconstruction for logical pluralism and monism, distinguishing between topic-neutral and topic-specific variants of each. I argue that while topic-neutral pluralism posits various applicable consequence relations across domains, topic-specific pluralism holds that some relations are applicable only to specific (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. Beyond semantic pollution: Towards a practice-based philosophical analysis of labelled calculi.Fabio De Martin Polo - forthcoming - Erkenntnis.
    This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for a (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  7. The Logic of Hyperlogic. Part A: Foundations.Alexander W. Kocurek - 2024 - Review of Symbolic Logic 17 (1):244-271.
    Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8. (What) Is Feminist Logic? (What) Do We Want It to Be?Catharine Saint-Croix & Roy T. Cook - 2024 - History and Philosophy of Logic 45 (1):20-45.
    ‘Feminist logic’ may sound like an impossible, incoherent, or irrelevant project, but it is none of these. We begin by delineating three categories into which projects in feminist logic might fall: philosophical logic, philosophy of logic, and pedagogy. We then defuse two distinct objections to the very idea of feminist logic: the irrelevance argument and the independence argument. Having done so, we turn to a particular kind of project in feminist philosophy of logic: Valerie Plumwood's feminist argument for a relevance (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Logic and Trans Philosophy.Franci Mangraviti - manuscript
    The paper is structured as follows. First, I will single out three salient moments of trans philosophy, drawing on both my own experience as a trans person and the various attempts to theorize transness as laid out by Talia Mae Bettcher's "Trapped in the Wrong Theory". From there, I will extrapolate three ways to see the relationship between logic and trans philosophy, and provide for each some examples of both current and possible future work. Finally, in analogy with the literature (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  10. Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.
    This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language. -/- The chapters of which this book is composed discuss the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. 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 agent values (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Logics for AI and Law: Joint Proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, September 8-9 and 11-12, 2023, Hangzhou.Bruno Bentzen, Beishui Liao, Davide Liga, Reka Markovich, Bin Wei, Minghui Xiong & Tianwen Xu (eds.) - 2023 - College Publications.
    This comprehensive volume features the proceedings of the Third International Workshop on Logics for New-Generation Artificial Intelligence and the International Workshop on Logic, AI and Law, held in Hangzhou, China on September 8-9 and 11-12, 2023. The collection offers a diverse range of papers that explore the intersection of logic, artificial intelligence, and law. With contributions from some of the leading experts in the field, this volume provides insights into the latest research and developments in the applications of logic in (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. An Axiomatic Approach to the Quantified Argument Calculus.Matteo Pascucci - 2023 - Erkenntnis 88 (8):3605-3630.
    The present article employs a model-theoretic semantics to interpret a fragment of the language of the Quantified Argument Calculus (Quarc), a recently introduced logical system whose main aim is capturing the structure of natural language sentences in a closer way than does the language of classical logic. The main contribution is an axiomatization for the set of formulas that are valid in all standard interpretations within the employed semantics.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14. John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp. [REVIEW]Bruno Bentzen - 2023 - Bulletin of Symbolic Logic 29 (3):456-457.
  15. Ramsey's Lost Counterfactual.Caterina Sisti - 2022 - History and Philosophy of Logic 44 (3):311-326.
    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 (6 more)  
     
    Export citation  
     
    Bookmark  
  16. Critical Math Kinds: A Framework for the Philosophy of Alternative Mathematics.Franci Mangraviti - forthcoming - Erkenntnis:1-21.
    Mathematics, even more than the other sciences, is often presented as essentially unique, as if it could not be any other way. And yet, prima facie alternative mathematics are all over the place, from non-Western mathematics to mathematics based on nonclassical logics. Taking inspiration from Robin Dembroff’s analysis of critical gender kinds, and from Andrew Aberdein and Stephen Read’s analysis of alternative logics, in this paper I will introduce a practice-centered framework for the study of alternative mathematics based on the (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. The liberation argument for inconsistent mathematics.Franci Mangraviti - 2023 - Australasian Journal of Logic 29 (2):278-315.
    Val Plumwood charged classical logic not only with the invalidity of some of its laws, but also with the support of systemic oppression through naturalization of the logical structure of dualisms. In this paper I show that the latter charge - unlike the former - can be carried over to classical mathematics, and I propose a new conception of inconsistent mathematics - queer incomaths - as a liberatory activity meant to undermine said naturalization.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. Inferential Constants.Camillo Fiore, Federico Pailos & Mariela Rubin - 2022 - Journal of Philosophical Logic 52 (3):767-796.
    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  
  19. Probabilistic Entailment on First Order Languages and Reasoning with Inconsistencies.R. A. D. Soroush Rafiee - 2023 - Review of Symbolic Logic 16 (2):351-368.
    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  
  20. Logic for Exact Entailment.Kit Fine & Mark Jago - 2019 - Review of Symbolic Logic 12 (3):536-556.
    An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion of (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  21. Completeness of the Quantified Argument Calculus on the Truth-Valuational Approach.Hanoch Ben-Yami & Edi Pavlović - 2022 - In Boran Berčić, Aleksandra Golubović & Majda Trobok (eds.), Human Rationality: Festschrift for Nenad Smokrović. Faculty of Humanities and Social Sciences, University of Rijeka. pp. 53–77.
    The Quantified Argument Calculus (Quarc) is a formal logic system, first developed by Hanoch Ben-Yami in (Ben-Yami 2014), and since then extended and applied by several authors. The aim of this paper is to further these contributions by, first, providing a philosophical motivation for the truth-valuational, substitutional approach of (Ben-Yami 2014) and defending it against a common objection, a topic also of interest beyond its specific application to Quarc. Second, we fill the formal lacunae left in the original presentation, which (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  22. The Realism-Antirealism Debate in the Age of Alternative Logics.Mathieu Marion, Shahid Rahman & Laurent Keiff (eds.) - 2012
  23. God and the Problem of Logic.Andrew Dennis Bassford - 2023 - Cambridge University Press.
    Classical theists hold that God is omnipotent. But now suppose a critical atheologian were to ask: Can God create a stone so heavy that even he cannot lift it? This is the dilemma of the stone paradox. God either can or cannot create such a stone. Suppose that God can create it. Then there's something he cannot do – namely, lift the stone. Suppose that God cannot create the stone. Then, again, there's something he cannot do – namely, create it. (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. Against God of the Truth-Value Gaps.T. Parent - forthcoming - Analysis.
    Can God create an unliftable stone? Beall & Cotnoir propose that ‘God can create an unliftable stone’ is a truth-value gap (neither true nor false). However, this yields a revenge paradox on whether God can eschew gaps. Can God avoid gappy ascriptions of power? Either way, God’s power seems to have limits. In response, it may be said that ascribing God the power to avoid gaps is itself gappy—it concerns a power that God neither has nor lacks. Yet this ends (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Conditionals, Support and Connexivity.Hans Rott - manuscript
    In natural language, conditionals are frequently used for giving explanations. Thus the antecedent of a conditional is typically understood as being connected to, being relevant for, or providing evidential support for the conditional's consequent. This aspect has not been adequately mirrored by the logics that are usually offered for the reasoning with conditionals: neither in the logic of the material conditional or the strict conditional, nor in the plethora of logics for suppositional conditionals that have been produced over the past (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  26. Three-Dimensional Affine Spatial Logics.Adam Trybus - 2022 - Logica Universalis 16 (4):603-620.
    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  
  27. "The Bounds of Transcendental Logic" by D. Schulting, Cham, Switzerland, Palgrave Macmillan, 2022. [REVIEW]Srećko Kovač - 2022 - History and Philosophy of Logic 44 (1):107-110.
    In the book, the decisive, foundational role of transcendental apperception for logic and transcendental philosophy in Kant is corroborated. The book contains many implicit connections with modern logic that could help a logician with a philosophical interest to gain a deeper insight into the origins and foundations of concepts such as object, truth, analyticity, identity, contradiction, judgment, existence, reference, quantification and others, as well as into the foundations and possible general features of logic. In distinction to the book, this review (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  28. Arbitrary Public Announcement Logic with Memory.Alexandru Baltag, Aybüke Özgün & Ana Lucia Vargas Sandoval - 2022 - 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  
  29. Probability and Symmetric Logic.Michał Gil Sanchez, Zalán Gyenis & Leszek Wroński - 2022 - 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  
  30. The Laws of Thought and the Laws of Truth as Two Sides of One Coin.Ulf Hlobil - 2022 - 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   2 citations  
  31. 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  
  32. 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  
  33. 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  
  34. 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  
  35. 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   1 citation  
  36. Nāgārjuna’s Tetralemma in Yamauchi Tokuryū’s Philosophy.Romaric Jannel - 2022 - The Eastern Buddhist. Third Series 2.
  37. 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  
  38. 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  
  39. 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  
  40. 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  
  41. 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   1 citation  
  42. 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  
  43. 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  
  44. 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  
  45. 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  
  46. 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  
  47. Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification.Marija Boričić - 2019 - Bulletin of Symbolic Logic 25 (4):446-447.
  48. 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   3 citations  
  49. 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  
  50. 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   2 citations  
1 — 50 / 7500