Results 1 to 10 of about 2,891 (195)
Archive for Mathematical Logic, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Albert Visser
exaly +5 more sources
Weak Arithmetics and Kripke Models
Mathematical Logic Quarterly, 2002 The paper contains two main results. The first shows that the intuitionistic least number principle for \(\Pi_1\) formulas is equivalent to the intuitionistic induction scheme for \(\Pi_1\) formulas. The other result is a characterization of those linear Kripke structures which decide all \(\Delta_0\)-formulas, and in which forcing and satisfaction for
Morteza Moniri
exaly +3 more sources
A Critical Review of the Mainstream Reading of Kripke’s Wittgenstein: οn Misunderstanding Kripke’s Wittgenstein [PDF]
Journal of Philosophical Investigations, 2023 In this paper, I will argue against certain criticisms of Kripke’s Wittgenstein’s sceptical argument and sceptical solution, made especially by Baker and Hacker, McGinn, and McDowell.
Ali Hosseinkhani
doaj +1 more source
A Study on Philosophical Intuition and Thought Experiment: Kripke's Critical encounter with Reductive Physicalism [PDF]
Journal of Philosophical Investigations, 2021 In philosophy, many reflections and categories were the result of intuition and thought experiments. Intuition is defined as direct, immediate, and non-inferential knowledge accompanied by a sense of certainty.
Ali Sanaee
doaj +1 more source
A Paradox for the Existence Predicate
Bulletin of the Section of Logic, 2022 In this paper, a paradox is shown to arise in the context of classical logic from prima facie highly plausible assumptions for the existence predicate as applied to definite descriptions.
Uwe Meixner
doaj +1 more source
the Open-Question Argument, the paradox of analysis, good, intuition, Kripke, Moore. [PDF]
Pizhūhish/hā-yi Falsafī- Kalāmī, 2019 The open-question argument is a connecting point in contemporary Analytical Ethics, in response to which many new views were addressed as positive or negative reactions to this argument.
Hussein Waleh, reza naghavi
doaj +1 more source
Synthese, 2023 Abstract In causal reasoning literature, the term actual causality is used to refer to the causality of some specific event that actually happened. One of the most prominent approaches for reasoning about actual causality is that of causal models developed by Halpern and Pearl (Pearl, Causality 2009, Halpern, British Journal for the ...
Ruoding Wang +4 more
openaire +4 more sources
El problema de la adopción de reglas lógicas
Análisis Filosófico, 2022 ¿Seguimos reglas de inferencia al razonar? Por más intuitiva que resulte la respuesta positiva a esta pregunta, hay una serie de dificultades para vincular reglas lógicas y prácticas inferenciales.
Romina Padró, Eduardo A. Barrio
doaj +1 more source
What the Adoption Problem Does Not Show
Análisis Filosófico, 2022 Saul Kripke proposed a skeptical challenge that Romina Padró defended and popularized by the name of the Adoption Problem. The challenge is that, given a certain definition of adoption, there are some logical principles that cannot be adopted ...
Camillo Giuliano Fiore
doaj +1 more source
Possibilistic Cost Computation Tree Logic and Related Equivalence, Abstraction Technique
IEEE Access, 2023 Recently, probabilistic Kripke structures have been used to represent uncertain systems; nevertheless, important transition costs were ignored in earlier studies, making it impossible to model some uncertain systems with costs.
Hui Deng, Yuzhe Zhang, Zhilong Huang
doaj +1 more source