Results 51 to 60 of about 14,883 (179)
Rule-based and Resource-bounded: A New Look at Epistemic Logic [PDF]
Syntactic logics do not suffer from the problems of logical omniscience but are often thought to lack interesting properties relating to epistemic notions. By focusing on the case of rule-based agents, I develop a framework for modelling resource-bounded
Jago, Mark
core
Effective Choice and Boundedness Principles in Computable Analysis
In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can be continuously or computably transferred into each other?
Brattka +13 more
core +2 more sources
ABSTRACT This article offers a theoretical analysis, grounded in a critical narrative review within the Freudian‐Lacanian tradition, of how platform algorithms shape contemporary forms of subjectivity and raise new questions for psychoanalytic practice.
Mariana Salles Kehl, Heloisa Caldas
wiley +1 more source
Knowledge: Is It Ever Forbidden Fruit? [PDF]
Roll 24. Lodger's Thanksgiving / Gym. Image 1 of 10. ( 30 November, 1952; 2 December, 1952) [PHO 1.24.10]The Boleslaus Lukaszewski (Father Luke) Photographs contain more than 28,000 images of Saint Louis University people, activities, and events between ...
Dyck, Arthur J.
core +2 more sources
Thinking Impossible Things [PDF]
“There is no use in trying,” said Alice; “one can’t believe impossible things.” “I dare say you haven’t had much practice,” said the Queen. “When I was your age, I always did it for half an hour a day.
Lindström, Sten
core
Millican on the Ontological Argument [PDF]
Peter Millican (2004) provides a novel and elaborate objection to Anselm’s ontological argument. Millican thinks that his objection is more powerful than any other because it does not dispute contentious ‘deep philosophical theories’ that underlie the ...
Nagasawa, Yujin
core +2 more sources
ABSTRACT Aim This study aimed to explore newly graduated nurses' lived experiences of transition while participating in a Clinical Nursing Introduction Program and to describe factors that influence personal and professional development. Methodological Design A phenomenological hermeneutic design was used for researching lived experiences.
Anna Kjellsdotter +3 more
wiley +1 more source
Hyperfine-Grained Meanings in Classical Logic [PDF]
This paper develops a semantics for a fragment of English that is based on the idea of `impossible possible worlds'. This idea has earlier been formulated by authors such as Montague, Cresswell, Hintikka, and Rantala, but the present set-up shows how it ...
Muskens, Reinhard
core +2 more sources
Intensional Models for the Theory of Types [PDF]
In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition.
Muskens, Reinhard
core +5 more sources
From Prohibition to Digitalisation: 100 Years of Cameras in the Courtroom
This article traces the shifting relationship between the courts, the public, and the media in England and Wales from the 1925 prohibition on courtroom photography to the contemporary regime of livestreamed and recorded proceedings. It situates the introduction of the ban on courtroom images within the first administrative turn of the judiciary, when ...
Ozan Kamiloglu, Kanika Sharma
wiley +1 more source

