Results 21 to 30 of about 16,114 (210)
Robustness of general Triple I method for fuzzy soft sets
International Journal of Computational Intelligence Systems, 2018 The stability and robustness analysis is a vital issue of fuzzy soft inference. In this paper, λ–Triple I inference methods based on the fuzzy soft modus ponens (FSMP) and fuzzy soft modus tollens (FSMT) are presented.
Lu Wang, Keyun Qin
doaj +1 more source
Resolution as intersection subtyping via Modus Ponens [PDF]
Proceedings of the ACM on Programming Languages, 2020 Resolution and subtyping are two common mechanisms in programming languages. Resolution is used by features such as type classes or Scala-style implicits to synthesize values automatically from contextual type information. Subtyping is commonly used to automatically convert the type of a value into another compatible type.
Marntirosian, Koar +3 more
openaire +3 more sources
Towards a mental probability logic
Psychologica Belgica, 2005 We propose probability logic as an appropriate standard of reference for evaluating human inferences. Probability logical accounts of nonmonotonic reasoning with SYSTEM P, and conditional syllogisms (MODUS PONENS, etc.) are explored.
Niki Pfeifer, Gernot D. Kleiter
doaj +1 more source
The Frege–Geach Problem, Modus Ponens, and Legal Language
Problemos, 2018 [full article, abstract in English; only abstract in Lithuanian] This paper proposes a new pragmatic interpretation of the Frege–Geach problem and presents a possible solution using a model of ascriptive legal language.
Vitaly Ogleznev
doaj +1 more source
Fully implicational methods for interval-valued fuzzy reasoning with multi-antecedent rules [PDF]
International Journal of Computational Intelligence Systems, 2011 Based on the fully implicational idea, we investigate the interval-valued fuzzy reasoning with multiantecedent rules. First, we construct a class of interval-valued fuzzy implications by means of a type of implications and a parameter on the unit ...
Hua-Wen Liu, Cheng Li
doaj +1 more source
On the Adoption Problem and Meta-Logical Monism
Análisis Filosófico, 2022 According to the Adoption Problem (AP) certain basic logical principles cannot be adopted. Drawing on the AP, Suki Finn presents an argument against logical pluralism: Modus Ponens (MP) and Universal Instantiation (UI) both govern a general structure ...
Mauro Santelli +2 more
doaj +1 more source
Logical and gnoseological features of diagnosis
Бюллетень сибирской медицины, 2003 A diagnosis, as a type of getting knowledge (alongside with science and education) goes from consequences to a reason (from symptoms to nosological unit), this determines it’s hypothetical character.
A. K. Sukhotin
doaj +1 more source
Symmetry lost: A modal ontological argument for atheism?
Noûs, EarlyView.Abstract The modal ontological argument for God's existence faces a symmetry problem: a seemingly equally plausible reverse modal ontological argument can be given for God's nonexistence. Here, we argue that there are significant asymmetries between the modal ontological argument and its reverse that render the latter more compelling than the former ...
Peter Fritz +2 more
wiley +1 more source
Rebajar el peso de la adopción
Análisis Filosófico, 2022 En el presente trabajo se propone rebajar una de las condiciones para adoptar un principio lógico. La condición a la cual se rebaja tiene que ver con la aceptación del conocimiento proposicional y, por otro lado, con contemplar las consecuencias ...
Ivan Vladimir Gavriloff
doaj +1 more source
Anselm's Temporal‐Ontological Proof
Noûs, EarlyView.ABSTRACT In his Reply to Gaunilo, Anselm presented two additional arguments for the existence of God beyond those that appear in the Proslogion. In “The Logical Structure of Anselm's Argument,” Robert M. Adams isolates each. One, he develops into a modal ontological argument along the lines of other 20th century ontological arguments (e.g., those of ...
Daniel Rubio
wiley +1 more source