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

Accentuation of suicides but not homicides with rising latitudes of Greenland in the sunny months

<p>Abstract</p> <p>Background</p> <p>Seasonal variation in suicides has been shown in many countries. We assessed the seasonality and the variation with latitude in suicides and homicides, and the impact of alcohol on the seasonality in suicides.</p> <p>Methods</p> <p>Official computerized registers on causes of death in all Greenland during 1968–2002 were used. Sales data on beer from one of the major food store chains for July 2005–June 2006 were examined. Seasonal variation was assessed by Rayleigh's test for circular distributions.</p> <p>Results</p> <p>There were a total of 1351 suicides and 308 homicides. The suicides rate varied from 4.2/100 000 person-years in 1971 to 128.4/100 000 person-years in 1987. The homicide rate varied from 2.1/100000 person-years in 1969–1970 to 34.8/100 000 person-years in 1988. Out of the 1351 suicides, 80.5% were committed by men and 19.5% by women. Median age was 25 years (n = 1351; Range 11–84 years). Violent methods of suicide were used in 95% of all cases (n = 1286). Out of the 308 homicide victims, 61% were men and 39% were women, and 13% were killed in multiple homicide events.</p> <p>There was a significant seasonal variation with peaks in June and troughs in the winter in all suicide cases (n = 1351, r = 0.07; Z = 7.58, p < 0.001), in violent suicides (n = 1286; r = 0.07; Z = 6.97; p < 0,001), in suicides in men (n = 1087; r = 0.07; Z = 5.39; p < 0.002) , and in women (n = 264; r = 0.10; Z = 2.36; p < 0.05), but not in homicides nor in consumption of beer. There was a bi-phasic seasonal variation in suicide victims where an alcohol-related condition was included in the death certificate</p> <p>Suicides were more concentrated in the summer months north of the Arctic Circle (n = 577, r = 0.09, Z = 4.45, p < 0.01) than south of it (n = 769, r = 0.07, Z = 3.76, p < 0.002) and most concentrated in North Greenland (n = 33; r = 0.35; Z = 4.11; p < 0.01), where 48% of suicides occurred during the period of constant light. When including astronomical twilight in the constant light period 82% occurred during this time.</p> <p>Conclusion</p> <p>There was a concentration of suicides but not homicides in the summer months in all Greenland. The concentration was most pronounced at high latitudes.</p

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

Forcing-based cut-elimination for Gentzen-style intuitionistic sequent calculus

International audienceWe give a simple intuitionistic completeness proof of Kripke semantics for intuitionistic logic with implication and universal quantification with respect to cut-free intuitionistic sequent calculus. The Kripke semantics is ``simplified'' in the way that the domain remains constant. The proof has been formalised in the Coq proof assistant and by combining soundness with completeness, we obtain an executable cut-elimination procedure. The proof easily extends to the case of the absurdity connective using Kripke models with exploding nodes à la Veldman

Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi

We have recently presented a general method of proving the fundamental logical properties of Craig and Lyndon Interpolation (IPs) by induction on derivations in a wide class of internal sequent calculi, including sequents, hypersequents, and nested sequents. Here we adapt the method to a more general external formalism of labelled sequents and provide sufficient criteria on the Kripke-frame characterization of a logic that guarantee the IPs. In particular, we show that classes of frames definable by quantifier-free Horn formulas correspond to logics with the IPs. These criteria capture the modal cube and the infinite family of transitive Geach logics

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

Verifying transactional requirements of web service compositions using temporal logic templates

Lecture notes in computer science, 2013, vol. 8180 LNCS (Part 1)Ensuring reliability in Web service compositions is of crucial interest as services are composed and executed in long-running, distributed mediums that cannot guarantee reliable communications. Towards this, transactional behavior has been proposed to handle and undo the effects of faults of individual components. Despite significant research interest, challenges remain in providing an easy-to-use, formal approach to verify transactional behavior of Web service compositions before costly development. In this paper, we propose the use of temporal logic templates to specify component-level and composition-level transactional requirements over a Web service composition. These templates are specified using a simple format, configured according to scope and cardinality, and automatically translated into temporal logic. To verify design conformance to a set of implemented templates, we employ model checking. We propose an algorithm to address state space explosion by reducing the models into semantically equivalent Kripke structures. Our approach facilitates the implementation of expressive transactional behavior onto existing complex services, as demonstrated in our experimental study.Scott Bourne, Claudia Szabo, and Quan Z. Shen

Actualism and Modal Semantics

According to actualism, modal reality is constructed out of valuations (combinations of truth values for all propositions). According to possibilism, modal reality consists in a set of possible worlds, conceived as independent objects that assign truth values to propositions. According to possibilism, accounts of modal reality can intelligibly disagree with each other even if they agree on which valuations are contained in modal reality. According to actualism, these disagreements (possibilist disagreements) are completely unintelligible. An essentially actualist semantics for modal propositional logic specifies which sets of valuations are compatible with the meanings of the truth-functional connectives and modal operators without drawing on formal resources that would enable us to represent possibilist disagreements. The paper discusses the availability of an essentially actualist semantics for modal propositional logic. I argue that the standard Kripkean semantics is not essentially actualist and that other extant approaches also fail to provide a satisfactory essentially actualist semantics. I end by describing an essentialist actualist semantics for modal propositional logic

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