Results 81 to 90 of about 24,570,426 (223)
Notes on Models of (Partial) Kripke–Feferman Truth
Studia Logica, 2022 AbstractThis article investigates models of axiomatizations related to the semantic conception of truth presented by Kripke (J Philos 72(19):690–716, 1975), the so-called fixed-point semantics. Among the various proof systems devised as a proof-theoretic characterization of the fixed-point semantics, in recent years two alternatives have received ...
openaire +1 more source
Ratio, EarlyView.ABSTRACT Most naïve realists do not distinguish between perception and consciousness; to say that I perceive the table is akin to saying that I am conscious of the table. Doing so leads many to maintain that if the character of experience is constituted by anything other than the table, I do not perceive it, and so naïve realism fails.
R. P. Koutedakis
wiley +1 more source
Decidable Kripke models of intuitionistic theories
Annals of Pure and Applied Logic, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hajime Ishihara +2 more
openaire +1 more source
On the Limits of Intransitive Coordination
Ratio, EarlyView.ABSTRACT A growing number of authors suggest that concept coordination—the kind of relation we pick out when we say that the concepts of one or more individuals represent something as the same—is not a transitive relation. Here we consider global features of representational systems to break new ground in the assessment of the intransitivity view. From
Víctor M. Verdejo, Joost J. Joosten
wiley +1 more source
Death, Deprivation, and the Symmetry Problem
Ratio, EarlyView.ABSTRACT According to the deprivation account of the badness of death, death is bad for the one who dies because it deprives her of goods she would otherwise have enjoyed. This view faces the so‐called symmetry problem when one considers prenatal nonexistence. Scholars have proposed various solutions to this problem, but all of them encounter their own
Ryota Ishihara
wiley +1 more source
Моделирование и анализ информационных системThis paper uses the model checking method for an exact schedulability test of real-time systems running on multiprocessor platforms. To use this method, we formally describe real-time systems with an abstract scheduler as Kripke models.
Natalia O. Garanina
doaj +1 more source
A Kripke-Kleene Semantics for Logic Programs
The Journal of Logic Programming, 1985 The use of conventional classical logic is misleading for characterizing the behavior of logic programs because a logic program, when queried, will do one of three things: succeed with the query, fail with it, or not respond because it has fallen into ...
Melvin Fitting
semanticscholar +1 more source
Kripke-style models for typed lambda calculus
Annals of Pure and Applied Logic, 1991 As an extension for usual Henkin models, Kripke-style models are defined for typed lambda calculus. As for the relationship between the models and Cartesian closed categories (CCCs), every Kripke model determines a CCC, and every small CCC may be embedded in a Kripke model. Kripke models are Cartesian closed subcategories of the presheaves over a poset.
J. C. Mitchell, MOGGI, EUGENIO
openaire +2 more sources
Ratio, EarlyView.ABSTRACT Descartes' cogito argument is perhaps the most well‐known philosophical argument, the conclusion of which is supposed to be a form of rationalism that allows for contingent a priori knowledge of the world. In this short note, I argue that, in fact, the all important statement, ‘I am, I exist’, should be analysed through the lens of (classical)
Tom Schoonen
wiley +1 more source
Theoria, EarlyView.Abstract This paper argues for the significance of Kaplan's logic LD in two ways: first, by looking at how logic got along before we had LD, and second, by using it to bring out the similarity between David Hume's thesis that one cannot deduce claims about the future on the basis of premises only about the past, and the so‐called "essentiality" of the ...
Gillian Russell
wiley +1 more source