Results 51 to 60 of about 21,307,672 (156)
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
An Evaluation of Saul Kripke's Argument for Property Dualism
, 2013 This paper concerns Saul Kripke's argument against type physicalism and for property dualism. My objection to the argument is that it relies upon a premise for which Kripke does not provide adequate support. The unsupported premise is Kripke&
Chambers, Thomas H.
core +1 more source
Winged horses, rascals and discourse referents
Theoria, EarlyView.Abstract This paper discusses some remarks Kaplan made in ‘Bob and Carol and Ted and Alice’ concerning empty names. I show how his objections to a particular view involving descriptions derived from Ramsification can be avoided by a nearby alternative framed in terms of discourse reference.
Andreas Stokke
wiley +1 more source
Modal Logic and Modal Metaphysics: An Avicennian Division of Labour
Theoria, EarlyView.ABSTRACT This paper argues that Avicenna was both a necessitarian and a realist about contingency. The two aspects of his modal metaphysics are reconciled by arguing that Avicenna's modal metaphysics is founded on realism about essences: strictly speaking, an individual has no contingent properties, but a modal distinction can be made between the ...
Jari Kaukua
wiley +1 more source
Kripke Semantics for Fuzzy Logics [PDF]
, 2018 Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic ...
Salehi, Saeed
core +2 more sources
Diabetes, Obesity and Metabolism, Volume 28, Issue 10, Page 9552-9562, October 2026.ABSTRACT Aims Interrupting evening sedentary time with activity breaks in a laboratory setting improves postprandial metabolism and sleep duration. This pilot study aimed to assess if a theory‐informed intervention was able to increase the number of activity breaks performed in the evening at home, and to describe changes in movement patterns ...
Jennifer T. Gale +3 more
wiley +1 more source
A Reflection on Russell's Ramified Types and Kripke's Hierarchy of Truths [PDF]
, 1995 Both in Kripke's Theory of Truth ktt [8] and Russell's Ramified Type Theory rtt [16, 9] we are confronted with some hierarchy. In rtt, we have a double hierarchy of orders and types. That is, the class of propositions is divided into different
Laan, TDL +5 more
core +1 more source
PSG Validation of minute-to-minute scoring for sleep and wake periods in a consumer wearable device.
PLoS ONE, 2020 BackgroundActigraphs are wrist-worn devices that record tri-axial accelerometry data used clinically and in research studies. The expense of research-grade actigraphs, however, limit their widespread adoption, especially in clinical settings.
Joseph Cheung +4 more
doaj +1 more source
Journal of Sleep Research, Volume 35, Issue 5, October 2026.ABSTRACT This systematic literature review evaluated the risks of using benzodiazepine medications for more than 3 months in adults with chronic insomnia. Chronic insomnia is defined as ongoing dissatisfaction with sleep quantity or quality, causing significant distress and impaired functioning during the day.
Dieter Riemann +7 more
wiley +1 more source
, 2009 Nimtz C. Saul Kripke. In: Jordan S, Mojsisch B, eds. Philosophenlexikon.
Mojsisch, Burkard +2 more
core