Related categories

390 found
Order:
1 — 50 / 390
  1. Vagueness in Language: The Case Against Fuzzy Logic Revisited.Uli Sauerland - manuscript
    Kamp and Fine presented an influential argument against the use of fuzzy logic for linguistic semantics in 1975. However, the argument assumes that contradictions of the form "A and not A" have semantic value zero. The argument has been recently criticized because sentences of this form are actually not perceived as contradictory by naive speakers. I present new experimental evidence arguing that fuzzy logic still isn't useful for linguistic semantics even if we take such naive speaker judgements at face value. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   11 citations  
  2. Some Strong Conditionals for Sentential Logics.Jason Zarri - manuscript
    In this article I define a strong conditional for classical sentential logic, and then extend it to three non-classical sentential logics. It is stronger than the material conditional and is not subject to the standard paradoxes of material implication, nor is it subject to some of the standard paradoxes of C. I. Lewis’s strict implication. My conditional has some counterintuitive consequences of its own, but I think its pros outweigh its cons. In any case, one can always augment one’s language (...)
    Remove from this list   Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. The Principle of the Impossibility of Contradiction: The Transcendent Philosophy and Fuzzy Logic.Mahdi Yazdi - unknown - Kheradnameh Sadra Quarterly 50.
    In today's academic circles, many are of the opinion that fuzzy logic has brought the age-old principle of contradiction to an end. In this light, objective reality can no longer be reduced to A and non-A, or to zero and one. But is this presumption correct? Does fuzzy logic really violate the principle of contradiction? Is it true that fuzzy logic - in contrast to the Transcendent Philosophy - is based on the assumption that two contradictories can be true and (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  4. How Much Propositional Logic Suffices for Rosser’s Essential Undecidability Theorem?Guillermo Badia, Petr Cintula, Petr Hajek & Andrew Tedder - forthcoming - Review of Symbolic Logic:1-18.
    In this paper we explore the following question: how weak can a logic be for Rosser's essential undecidability result to be provable for a weak arithmetical theory? It is well known that Robinson's Q is essentially undecidable in intuitionistic logic, and P. Hajek proved it in the fuzzy logic BL for Grzegorczyk's variant of Q which interprets the arithmetic operations as non-total non-functional relations. We present a proof of essential undecidability in a much weaker substructural logic and for a much (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5. How Much Propositional Logic Suffices for Rosser's Essential Undecidability Theorem?Guillermo Badia, Petr Cintula, Petr Hajek & Andrew Tedder - forthcoming - Review of Symbolic Logic.
    In this paper we explore the following question: how weak can a logic be for Rosser’s essential undecidability result to be provable for a weak arithmetical theory? It is well known that Robinson’s Q is essentially undecidable in intuitionistic logic, and P. Hájek proved it in the fuzzy logic BL for Grzegorczyk’s variant of Q which interprets the arithmetic operations as nontotal nonfunctional relations. We present a proof of essential undecidability in a much weaker substructural logic and for a much (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  6. Syntactic Characterizations of First-Order Structures in Mathematical Fuzzy Logic.Guillermo Badia, Pilar Dellunde, Vicent Costa & Carles Noguera - forthcoming - Soft Computing.
    This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on classes given by universal and universal-existential sentences. In particular, we prove two amalgamation results using the technique of diagrams in the setting of structures valued on a finite MTL-algebra, from which analogues of the Łoś–Tarski and the Chang–Łoś–Suszko preservation theorems follow.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. A Lindström Theorem in Many-Valued Modal Logic Over a Finite MTL-Chain.Guillermo Badia & Grigory Olkhovikov - forthcoming - Fuzzy Sets and Systems.
    We consider a modal language over crisp frames and formulas evaluated on a finite MTL-chain (a linearly ordered commutative integral residuated lattice). We first show that the basic modal abstract logic with constants for the values of the MTL-chain is the maximal abstract logic satisfying Compactness, the Tarski Union Property and strong invariance for bisimulations. Finally, we improve this result by replacing the Tarski Union Property by a relativization property.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  8. On the Expressive Power of Łukasiewicz Square Operator.Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio & Lluis Godo - forthcoming - Journal of Logic and Computation.
    The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Sorites, Curry and Suitable Models.Bruno Da Ré & Paula Teijeiro - forthcoming - Logic and Logical Philosophy:1.
    In this paper we present two new approaches for dealing with semantic paradoxes and soritical predicates based on fuzzy logic. We show that both of them have conceptual advantages over the more traditional Łukasiewicz approach, and that the second one even avoids standard proofs of ω-nconsistency.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Artificial agents’ explainability to support trust: considerations on timing and context.Guglielmo Papagni, Jesse de Pagter, Setareh Zafari, Michael Filzmoser & Sabine T. Koeszegi - forthcoming - AI and Society:1-14.
    Strategies for improving the explainability of artificial agents are a key approach to support the understandability of artificial agents’ decision-making processes and their trustworthiness. However, since explanations are not inclined to standardization, finding solutions that fit the algorithmic-based decision-making processes of artificial agents poses a compelling challenge. This paper addresses the concept of trust in relation to complementary aspects that play a role in interpersonal and human–agent relationships, such as users’ confidence and their perception of artificial agents’ reliability. Particularly, this (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. In Cash We Trust?Tom Parr - forthcoming - Journal of Applied Philosophy.
    Journal of Applied Philosophy, EarlyView.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12. In Cash We Trust?Tom Parr - forthcoming - Wiley: Journal of Applied Philosophy.
    Journal of Applied Philosophy, EarlyView.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Trust, Science Education and Vaccines.Michael J. Reiss - forthcoming - Science & Education.
    The issue of trust in science has come to the fore in recent years. I focus on vaccines, first looking at what is known about trust in vaccines and then concentrating on whether what science education teaches about vaccines can be trusted. I present an argument to connect the phenomenon of vaccine hesitancy to the issue of trust and then argue for what an education about vaccines in school science might look like that takes seriously the notion of respect for (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. On Monotonic Fuzzy Conditionals, Enviado 2I.E. Trillas & S. Cubillo - forthcoming - Journal of Applied Non-Classical Logics.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  15. Fuzzy Logic.Kazem Sadegh-Zadeh - 2nd ed. 2015 - In Handbook of Analytic Philosophy of Medicine. Springer Verlag.
    Medical knowledge as well as clinical practice are characterized by inescapable uncertainty. There are many reasons this is the case, but foremost among them is that almost everything in medicine is inevitably vague, be it something linguistic such as the term “illness”, or something extra-linguistic such as the condition referred to as illness. If we ask ourselves, then, what the term “illness” means exactly, on the one hand; and how we may precisely delimit the condition illness, on the other; we (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  16. G'3 as the Logic of Modal 3-Valued Heyting Algebras.Marcelo E. Coniglio, Aldo Figallo-Orellano, Alejandro Hernández-Tello & Miguel Perez-Gaspar - 2022 - IfCoLog Journal of Logics and Their Applications 9 (1):175-197.
    In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. Public Trust and Medical Ethics.Elizabeth Lanphier - 2022 - Hastings Center Report 52 (2):58-59.
    Hastings Center Report, Volume 52, Issue 2, Page 58-59, March‐April 2022.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18. Institutional Trust as a Mediator of the Connection of Meta-Values with the Emigration Attitude of Russian Youth.Zhanagul Zhumabekovna Romasheva - 2022 - Известия Саратовского Университета: Новая Серия. Серия Философия. Психология. Педагогика 22 (1):64-69.
    In science, there have been no attempts to study institutional trust as an intermediary between the emigration attitude and meta-values, which actualizes this problem. The purpose of the study: to determine the role of institutional trust in the connection of metavalues with the emigration attitude. Research hypothesis: institutional trust mediates the connection of meta-values Conservation, Openness to change, Self-enhancement Self-transcendence with the emigration attitude. The study was carried out on a sample aged 17 to 35 years, including 78% women, using: (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  19. Degree-Preserving Gödel Logics with an Involution: Intermediate Logics and Paraconsistency.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo - 2021 - In Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Springer Verlag. pp. 107-139.
    In this paper we study intermediate logics between the logic G≤∼, the degree preserving companion of Gödel fuzzy logic with involution G∼ and classical propositional logic CPL, as well as the intermediate logics of their finite-valued counterparts G≤n∼. Although G≤∼ and G≤ are explosive w.r.t. Gödel negation ¬, they are paraconsistent w.r.t. the involutive negation ∼. We introduce the notion of saturated paraconsistency, a weaker notion than ideal paraconsistency, and we fully characterize the ideal and the saturated paraconsistent logics between (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  20. Performance Investigation of AC Servomotor Position Control Using Fuzzy Logic and Observer Based Controllers.Mustefa Jibril, Mesay Tadesse & Elias Alemayehu - 2021 - Report and Opinion Journal 13 (1):1-5.
    An AC servomotor which is mostly a two-phase induction motor with two stator field coils placed 90 electrical degrees apart used for controlling position, speed and acceleration in manufacturing industries. In this paper, a two-phase induction motor has been designed with a fuzzy logic and observer based controllers to improve the performance of the system. Comparison of the AC servomotor with the proposed controllers for tracking a step and a square desired position signal input has been done using Matlab/Simulink toolbox (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  21. Many-Valued Logic and Sequence Arguments in Value Theory.Simon Knutsson - 2021 - Synthese 199 (3-4):10793-10825.
    Some find it plausible that a sufficiently long duration of torture is worse than any duration of mild headaches. Similarly, it has been claimed that a million humans living great lives is better than any number of worm-like creatures feeling a few seconds of pleasure each. Some have related bad things to good things along the same lines. For example, one may hold that a future in which a sufficient number of beings experience a lifetime of torture is bad, regardless (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Communication, Risk, Trust.Barna Kovács - 2021 - Empedocles European Journal for the Philosophy of Communication 12 (1):91-101.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  23. The Social Licence for Data-Intensive Health Research: Towards Co-Creation, Public Value and Trust.Johannes J. M. van Delden, Menno Mostert, Ghislaine J. M. W. van Thiel, Shona Kalkman & Sam H. A. Muller - 2021 - BMC Medical Ethics 22 (1):1-9.
    BackgroundThe rise of Big Data-driven health research challenges the assumed contribution of medical research to the public good, raising questions about whether the status of such research as a common good should be taken for granted, and how public trust can be preserved. Scandals arising out of sharing data during medical research have pointed out that going beyond the requirements of law may be necessary for sustaining trust in data-intensive health research. We propose building upon the use of a social (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. 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 to cognitive modeling, and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  25. Maximality in Finite-Valued Lukasiewicz Logics Defined by Order Filters.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo - 2019 - Journal of Logic and Computation 29 (1):125-156.
  26. Problems of Precision in Fuzzy Theories of Vagueness and Bayesian Epistemology.Nicholas J. J. Smith - 2019 - In Richard Dietz (ed.), Vagueness and Rationality in Language Use and Cognition. Springer Verlag. pp. 31-48.
    A common objection to theories of vagueness based on fuzzy logics centres on the idea that assigning a single numerical degree of truth -- a real number between 0 and 1 -- to each vague statement is excessively precise. A common objection to Bayesian epistemology centres on the idea that assigning a single numerical degree of belief -- a real number between 0 and 1 -- to each proposition is excessively precise. In this paper I explore possible parallels between these (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27. On the Borders of Vagueness and the Vagueness of Borders.Rory Collins - 2018 - Vassar College Journal of Philosophy 5:30-44.
    This article argues that resolutions to the sorites paradox offered by epistemic and supervaluation theories fail to adequately account for vagueness. After explaining the paradox, I examine the epistemic theory defended by Timothy Williamson and discuss objections to his semantic argument for vague terms having precise boundaries. I then consider Rosanna Keefe's supervaluationist approach and explain why it fails to accommodate the problem of higher-order vagueness. I conclude by discussing how fuzzy logic may hold the key to resolving the sorites (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. “Do the Gods Play Dice?”. Sensible Sequentialism and Fuzzy Logic in Plato’s Timaeus.Francesco Fronterotta - 2018 - Discipline Filosofiche 28 (1):13-32.
    In this paper I propose a reconstruction of the onto-cosmological perspective of Plato’s Timaeus and suggest an interpretation of it in the light of some contemporary approaches to ontology and logic, i.e. “ontological sequentialism” and “fuzzy logic”, attempting to use the categories and language of present-day ontology and logic to examine from a different point of view some aspects of the Timaeus onto-cosmology and of its logical scaffolding.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. 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 and to not exist at (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. Fostering Curiosity with Caring Socratic Exemplars: Epistemic Care in Mutual Trust and Cognitive Environments.Kunimasa Sato - 2018 - In L. Watson I. Inan (ed.), The Moral Psychology of Curiosity. New York, NY, USA: pp. 311–322..
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  31. A Unification of Two Approaches to Vagueness: The Boolean Many-Valued Approach and the Modal-Precisificational Approach.Ken Akiba - 2017 - Journal of Philosophical Logic 46 (4):419-441.
    The Boolean many-valued approach to vagueness is similar to the infinite-valued approach embraced by fuzzy logic in the respect in which both approaches seek to solve the problems of vagueness by assigning to the relevant sentences many values between falsity and truth, but while the fuzzy-logic approach postulates linearly-ordered values between 0 and 1, the Boolean approach assigns to sentences values in a many-element complete Boolean algebra. On the modal-precisificational approach represented by Kit Fine, if a sentence is indeterminate in (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32. A Logical Framework for Graded Predicates.Petr Cintula, Carles Noguera & Nicholas J. J. Smith - 2017 - In Alexandru Baltag, Jeremy Seligman & Tomoyuki Yamada (eds.), Logic, Rationality, and Interaction: LORI 2017. Berlin: Springer. pp. 3-16.
    In this position paper we present a logical framework for modelling reasoning with graded predicates. We distinguish several types of graded predicates and discuss their ubiquity in rational interaction and the logical challenges they pose. We present mathematical fuzzy logic as a set of logical tools that can be used to model reasoning with graded predicates, and discuss a philosophical account of vagueness that makes use of these tools. This approach is then generalized to other kinds of graded predicates. Finally, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. Vagueness and Formal Fuzzy Logic: Some Criticisms.Giangiacomo Gerla - 2017 - Logic and Logical Philosophy 26 (4).
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. Fuzzy Sets and Fuzzy Logic in Austria.Erich Peter Klement - 2017 - Archives for the Philosophy and History of Soft Computing 2017 (1).
    We sketch the development of fuzzy sets and fuzzy logic in Austria during the last 50 years which started, after some early traces, in 1976 in Linz with my own work and in Vienna with Klaus-Peter Adlassnig’s work. Therefore we first discuss the history of our research group at the Johannes Kepler University Linz and at the JKU-Softwarepark Hagenberg. Next we have a closer look at the developments at the Vienna University Medical School, at the logic group at the Vienna (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  35. A Brief History of Fuzzy Logic in the Czech Republic and Significance of P. Hájek for Its Development.Vilém Novák - 2017 - Archives for the Philosophy and History of Soft Computing 2017 (1).
    In this paper, we will briefly look at the history of mathematical fuzzy logic in Czechoslovakia starting from the 1970s and extending until 2009. The role of P. Ha ́jek in the development of fuzzy logic is especially emphasized.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  36. Undead Argument: The Truth-Functionality Objection to Fuzzy Theories of Vagueness.Nicholas Smith - 2017 - Synthese 194 (10):1-27.
    From Fine and Kamp in the 70’s—through Osherson and Smith in the 80’s, Williamson, Kamp and Partee in the 90’s and Keefe in the 00’s—up to Sauerland in the present decade, the objection continues to be run that fuzzy logic based theories of vagueness are incompatible with ordinary usage of compound propositions in the presence of borderline cases. These arguments against fuzzy theories have been rebutted several times but evidently not put to rest. I attempt to do so in this (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  37. On How Fuzzy Logic Began in Spain.Enric Trillas - 2017 - Archives for the Philosophy and History of Soft Computing 2017 (1).
    Historically, there have been some problems that initially were philosophically posed, either in mystical or in metaphysical terms but that, latter on and step-by-step, were translated into scientific terms and through a process of successive clarifications allowing to arrive, finally, at a scientific theory in which its more essential treats are clearly defined and facilitates its measuring.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  38. Pavelka-Style Fuzzy Justification Logics.Meghdad Ghari - 2016 - Logic Journal of the IGPL 24 (5):743-773.
    Justification logics provide a framework for reasoning about justifications and evidence. In this article, we study a fuzzy variant of justification logics in which an agent’s justification for a belief has certainty degree between 0 and 1. We replace the classical base of justification logics with Hájek’s rational Pavelka logic. We introduce fuzzy possible world semantics with crisp accessibility relation and also single world models for our logics. We establish soundness and graded-style completeness for both kinds of semantics. We also (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  39. Multiple Criteria Decision Making Method Based on Normal Interval-Valued Intuitionistic Fuzzy Generalized Aggregation Operator.Peide Liu & Fei Teng - 2016 - Complexity 21 (5):277-290.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  40. On the Decidability Status of Fuzzy A ℒ C with General Concept Inclusions.Franz Baader, Stefan Borgwardt & Rafael Peñaloza - 2015 - Journal of Philosophical Logic 44 (2):117-146.
    The combination of Fuzzy Logics and Description Logics has been investigated for at least two decades because such fuzzy DLs can be used to formalize imprecise concepts. In particular, tableau algorithms for crisp Description Logics have been extended to reason also with their fuzzy counterparts. It has turned out, however, that in the presence of general concept inclusion axioms this extension is less straightforward than thought. In fact, a number of tableau algorithms claimed to deal correctly with fuzzy DLs with (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. Handbook of Mathematical Fuzzy Logic - Volume 3.Petr Cintula, Christian Fermüller & Carles Noguera (eds.) - 2015 - College Publications.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  42. Pragmatic Interpretations of Vague Expressions: Strongest Meaning and Nonmonotonic Consequence.Pablo Cobreros, Paul Egré, Dave Ripley & Robert van Rooij - 2015 - Journal of Philosophical Logic 44 (4):375-393.
    Recent experiments have shown that naive speakers find borderline contradictions involving vague predicates acceptable. In Cobreros et al. we proposed a pragmatic explanation of the acceptability of borderline contradictions, building on a three-valued semantics. In a reply, Alxatib et al. show, however, that the pragmatic account predicts the wrong interpretations for some examples involving disjunction, and propose as a remedy a semantic analysis instead, based on fuzzy logic. In this paper we provide an explicit global pragmatic interpretation rule, based on (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  43. Fuzzy Ethics.Michael James Heron & Pauline Belford - 2015 - Acm Sigcas Computers and Society 45 (4):4-6.
    The recent death of a Volkswagen worker at the hand of a factory robot has resulted in a number of editorials and opinion pieces discussing moral responsibility and robots. In this short response piece we outline some of the wider context of this discussion, with reference to the classic ethical study the Case of the Killer Robot. We argue that there is a growing need for the field of computer ethics to consider with some urgency what it means to be (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44. Vague Heuristics.María G. Navarro - 2015 - In Rudolf Seising and Luis Argüelles (ed.), Conjectures, Hypotheses, and Fuzzy Logic. Springer. pp. 281-294.
    Even when they are defined with precision, one can often read and hear judgments about the vagueness of heuristics in debates about heuristic reasoning. This opinion is not just frequent but also quite reasonable. In fact, during the 1990s, there was a certain controversy concerning this topic that confronted two of the leading groups in the field of heuristic reasoning research, each of whom held very different perspectives. In the present text, we will focus on two of the papers published (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  45. Fuzzy Logics in Theories of Vagueness.Nicholas J. J. Smith - 2015 - In Petr Cintula, Christian Fermüller & Carles Noguera (eds.), Handbook of Mathematical Fuzzy Logic - Volume 3. College Publications.
  46. Substructural Fuzzy-Relevance Logic.Eunsuk Yang - 2015 - Notre Dame Journal of Formal Logic 56 (3):471-491.
    This paper proposes a new topic in substructural logic for use in research joining the fields of relevance and fuzzy logics. For this, we consider old and new relevance principles. We first introduce fuzzy systems satisfying an old relevance principle, that is, Dunn’s weak relevance principle. We present ways to obtain relevant companions of the weakening-free uninorm systems introduced by Metcalfe and Montagna and fuzzy companions of the system R of relevant implication and its neighbors. The algebraic structures corresponding to (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. Algebraic Geometry for Mv-Algebras.Lawrence P. Belluce, Antonio di Nola & Giacomo Lenzi - 2014 - Journal of Symbolic Logic 79 (4):1061-1091.
  48. Introduction to the Special Issue Epistemic Aspects of Many-Valued Logics.Timothy Childers & Ondrej Majer - 2014 - Erkenntnis 79 (5):969-970.
    The papers in this special issue are based on presentations delivered at the conference Epistemic Aspects of Many-valued Logics, held at the Institute of Philosophy of the Academy of Sciences of the Czech Republic, in Prague, 2010. All papers consequently revolve around the application of non-classical logical tools—mathematical fuzzy logic and/or probability theory—to epistemological issues.Timothy Williamson employs a modal epistemic logic enriched with probabilities to generalize an argument against the KK-principle. He argues that we can know a proposition even if (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. Logics of Formal Inconsistency Arising From Systems of Fuzzy Logic.Marcelo E. Coniglio, Francesc Esteva & Lluís Godo - 2014 - Logic Journal of the IGPL 22 (6):880-904.
    This article proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this article we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and inconsistency in the style of the so-called Logics of Formal Inconsistency (LFIs). The main novelty of the present approach is the definition of postulates for this type of operators over MTL-algebras, leading to the definition and axiomatization of a family of logics, expansions of (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  50. Radim Belohlavek and George J. Klir , Concepts and Fuzzy Logic.Igor Douven - 2014 - Studia Logica 102 (5):1075-1077.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 390