Decidability of quantified propositional intuitionistic logic and S4 on trees

Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers \forall p, \exists p over propositions. In the context of Kripke semantics, a proposition is a subset of the worlds in a model structure which is upward closed. Kremer (1997) has shown that the quantified propositional intuitionistic logic H\pi+ based on the class of all partial orders is recursively isomorphic to full second-order logic. He raised the question of whether the logic resulting from restriction to trees is axiomatizable. It is shown that it is, in fact, decidable. The methods used can also be used to establish the decidability of modal S4 with propositional quantification on similar types of Kripke structures.Comment: v2, 9 pages, corrections and additions; v1 8 page

Context Dependence, MOPs,WHIMs and procedures Recanati and Kaplan on Cognitive Aspects in Semantics

After presenting Kripke’s criticism to Frege’s ideas on context dependence of thoughts, I present two recent attempts of considering cognitive aspects of context dependent expressions inside a truth conditional pragmatics or semantics: Recanati’s non-descriptive modes of presentation (MOPs) and Kaplan’s ways of having in mind (WHIMs). After analysing the two attempts and verifying which answers they should give to the problem discussed by Kripke, I suggest a possible interpretation of these attempts: to insert a procedural or algorithmic level in semantic representations of indexicals. That a function may be computed by different procedures might suggest new possibilities of integrating contextual cognitive aspects in model theoretic semanti

Teleological Essentialism

Placeholder essentialism is the view that there is a causal essence that holds category members together, though we may not know what the essence is. Sometimes the placeholder can be filled in by scientific essences, such as when we acquire scientific knowledge that the atomic weight of gold is 79. We challenge the view that placeholders are elaborated by scientific essences. On our view, if placeholders are elaborated, they are elaborated Aristotelian essences, a telos. Utilizing the same kinds of experiments used by traditional essentialists—involving superficial change (study 1), transformation of insides (study 2), acquired traits (study 3) and inferences about offspring (study 4)—we find support for the view that essences are elaborated by a telos. And we find evidence (study 5) that teleological essences may generate category judgments

Theories of Reference: What Was the Question?

The new theory of reference has won popularity. However, a number of noted philosophers have also attempted to reply to the critical arguments of Kripke and others, and aimed to vindicate the description theory of reference. Such responses are often based on ingenious novel kinds of descriptions, such as rigidified descriptions, causal descriptions, and metalinguistic descriptions. This prolonged debate raises the doubt whether different parties really have any shared understanding of what the central question of the philosophical theory of reference is: what is the main question to which descriptivism and the causal-historical theory have presented competing answers. One aim of the paper is to clarify this issue. The most influential objections to the new theory of reference are critically reviewed. Special attention is also paid to certain important later advances in the new theory of reference, due to Devitt and others

Greater incidence of depression with hypnotic use than with placebo

Abstract Background Although it has been claimed that insomnia causes an increased risk for depression, adequate controlled trials testing this hypothesis have not been available. This study contrasted the incidence of depression among subjects receiving hypnotics in randomized controlled trials versus those receiving placebo. Methods The incidence of depression among patients randomized to hypnotic drugs or placebo was compiled from prescribing information approved by the United States Food and Drug Administration (FDA) and from FDA New Drug Application documents. Available data for zolpidem, zaleplon, eszopiclone, and ramelteon were accessed. Results Data for 5535 patients randomized to a hypnotic and for 2318 randomized to placebo were compiled. The incidence of depression was 2.0% among participants randomized to hypnotics as compared to 0.9% among those randomized in parallel to placebo (p Conclusion Modern hypnotics were associated with an increased incidence of depression in data released by the FDA. This suggests that when there is a risk of depression, hypnotics may be contra-indicated. Preventive treatments such as antidepressant drugs, cognitive-behavioral therapy, or bright light might be preferred. Limitations in the FDA data prevented a formal meta-analysis, and there was a lack of information about drop-out rates and definitions of depression. Trials specifically designed to detect incident depression when treating insomnia with hypnotic drugs and better summarization of adverse events in trials submitted to the FDA are both necessary.</p

Blind Rule-Following and the Regress of Motivations

Normativists about belief hold that belief formation is essentially rule- or norm-guided. On this view, certain norms are constitutive of or essential to belief in such a way that no mental state not guided by those norms counts as a belief, properly construed. In recent influential work, Kathrin Glüer and Åsa Wikforss develop novel arguments against normativism. According to their regress of motivations argument, not all belief formation can be rule- or norm-guided, on pain of a vicious infinite regress. I argue that the regress of motivations argument is unsuccessful: an appeal to the notion of blind rule-following, drawn from a plausible interpretation of Ludwig Wittgenstein’s remarks on rule-following, stops the regress of motivations in its tracks

Bright green light treatment of depression for older adults [ISRCTN69400161]

BACKGROUND: Bright white light has been successfully used for the treatment of depression. There is interest in identifying which spectral colors of light are the most efficient in the treatment of depression. It is theorized that green light could decrease the intensity duration of exposure needed. Late Wake Treatment (LWT), sleep deprivation for the last half of one night, is associated with rapid mood improvement which has been sustained by light treatment. Because spectral responsiveness may differ by age, we examined whether green light would provide efficient antidepressant treatment in an elder age group. METHODS: We contrasted one hour of bright green light (1,200 Lux) and one hour of dim red light placebo (<10 Lux) in a randomized treatment trial with depressed elders. Participants were observed in their homes with mood scales, wrist actigraphy and light monitoring. On the day prior to beginning treatment, the participants self-administered LWT. RESULTS: The protocol was completed by 33 subjects who were 59 to 80 years old. Mood improved on average 23% for all subjects, but there were no significant statistical differences between treatment and placebo groups. There were negligible adverse reactions to the bright green light, which was well tolerated. CONCLUSION: Bright green light was not shown to have an antidepressant effect in the age group of this study, but a larger trial with brighter green light might be of value