Results 61 to 70 of about 1,478 (181)
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
Two New Philosophical Problems for Robo-Ethics
Information, 2018 The purpose of this paper is to describe two new philosophical problems for robo-ethics. When one considers the kinds of philosophical problems that arise in the emerging field of robo-ethics, one typically thinks of issues that concern agency, autonomy,
Jeff Buechner
doaj +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
On the model checking of finite state transducers over semigroups
Труды Института системного программирования РАН, 2018 Sequential reactive systems represent programs that interact with the environment by receiving signals or requests and react to these requests by performing operations with data.
A. R. Gnatenko, V. A. Zakharov
doaj +1 more source
On the Finite Model Property for Kripke Models
Publications of the Research Institute for Mathematical Sciences, 1971 This work is a sequel to Q4]. The familiarity with the results and terminology of T4] is presupposed. It is a well-known fact that the intuitionistic prepositional logic (abbreviated as LJ) has not a finite characteristic model. But, Jaskowski proved that there is a monotonic descending sequence of finite models which converges to LJ.
openaire +3 more sources
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
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