Results 81 to 90 of about 12,748 (219)
Mathematical Concepts as Natural Kinds
This paper presents an approach to mathematical terms similar to the approach developed by Kripke in order to deal with natural kind terms; in fact, I argue that mathematical terms are natural kind terms in the sense of Kripke. Thus, I suggest that, from
Daniel Arvage Nagase
doaj +1 more source
Kripke vs. Kripke. Eine bescheidene Verteidigung der Kennzeichnungstheorie
Nimtz C. Kripke vs. Kripke. Eine bescheidene Verteidigung der Kennzeichnungstheorie. In: Rami A, Wansing H, eds. Referenz und Realität.
Wansing, Heinrich +2 more
core
This is a review of hypnotic drug risks and benefits, reassessing and updating advice presented to the Commissioner of the Food and Drug Administration (United States FDA).
Daniel F. Kripke
doaj +1 more source
Geometry in Quantum Kripke Frames
Quantum Kripke frames and other related kinds of Kripke frames are introduced. The inner structures of these Kripke frames are studied in detail, and many of them turn out to form nice geometries.
Zhong, Shengyang
core
Kripke, Saul A. Reference and Existence. The John Locke Lectures. [PDF]
Kripke, Saul A. Reference and Existence. The John Locke Lectures. New York: Oxford University Press, 2013.
Barrero, Tomás
core
This is a review of hypnotic drug risks and benefits. Almost every month, new information appears about the risks of hypnotics (sleeping pills). The most important risks of hypnotics include excess mortality (especially overdose deaths, quiet deaths at ...
Daniel F. Kripke
doaj +1 more source
Information sharing among ideal agents [PDF]
Multi-agent systems operating in complex domains crucially require agents to interact with each other. An important result of this interaction is that some of the private knowledge of the agents is being shared in the group of agents.
Lomuscio, A.
core
Bealer to Kripke, On Mental Properties [PDF]
Bealer’s argument against Kripke is presented. We then show how Kripke could counteract it. Our idea that the identity materialist may have the possibility of explaining why type psychophysical identities only appear to be contingent (but are ...
Dinis Pereira, Vitor Manuel
core
The Kripke family : history and memories
This book was compiled by Harley Kripke around 2008 to document the family tree of his father, Sherwin Kripke.
Kripke, Harley
core
Submodels of Kripke Models [PDF]
A Kripke model K is a submodel of another Kripke model M if K is obtained by restricting the set of nodes of M. In this paper we show that the class of formulas of Intuitionistic Predicate Logic that is preserved under taking submodels of Kripke models ...
Albert Visser, Visser, A.
core

