This essay is dedicated to Jeroen Groenendijk, Martin Stokhof, and Frank Veltman — but not to each of them separately, but to all of them jointly, as a group, or a set, or a mereological sum. This group was an important part of a community of logicians and philosophers at the University of Amsterdam, that had a stimulating influence on my first ventures into formal semantics in the course of th...

The aim of this essay is to show that the subject-matter of ontology is richer than one might have thought. Our route will be indirect. We will argue that there are circumstances under which standard first-order regimentation is unacceptable, and that more appropriate varieties of regimentation lead to unexpected kinds of ontological commitment. Quine has taught us that ontological inquiry—inqu...

We reason that if there are nurnbers, they are abstract and therefore acausal. The question thus arises as to how we have knowledge of these objects. My thesis consists of three parts, each of which explores a response to this question. Charles Parsons has argued that we know about the numbers because we can apprehend (or "intuit") some abstract objects such as expression-types which form a mod...

Abstract Background A growing literature has drawn attention to the central role that schools play in supporting adjustment of resettled refugee youth and promoting their mental health psychosocial wellbeing. In particular, recent proliferation school-based social emotional learning (SEL) initiatives presents an opportunity strengthen supports for adolescents. This participatory research study ...

Grzegorczyk’s modal logic (Grz ) corresponds to the class of upwards well-founded partially ordered Kripke frames, however all known proofs of this fact utilize some form of the Axiom of Choice; G. Boolos asked in [1], whether it is provable in plain ZF . We answer his question negatively: Grz corresponds (in ZF ) to a class of frames, which does not provably coincide with upwards well-founded ...

A universal schema for diagonalization was popularized by N. S. Yanofsky (2003) in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fit more theorems in the universal schema of diagonalization, such a...

Why should Law need automated proof systems? The answer to this question implies an answer to the following question: Is logic needed in Law? In fact it has been argued that logics are useless for Law (see, for example, Kelsen 1989). We believe that logic, and deontic logics in particular — but also modal logics — have a role to play in Law; for example if one wants to study what the relationsh...

the post-thrombolytic era: clinical meaning and value. Clin Cardiol 1997; 20(4): 327–331. 16. Mantel N, Haenszel W. Statistical aspects of the analysis of data from retrospective studies of disease. J Natl Cancer Inst 1959; 22(4): 719–748. 17. DerSimonian R, Laird N. Meta-analysis in clinical trials. Control Clin Trials 1986; 7(3): 177–188. 18. Stroup DF, Berlin JA, Morton SC, Olkin I, Williams...

We read with interest the recently published review article in Asian Pac J Cancer Prev, by Nematbakhsh et al., entitled ‘Cisplatin-Induced Nephrotoxicity; Protective Supplements and Gender Differences’(Nematbakhsh et al., 2017). The authors concluded several suggestions that may provide to reduce Cisplatin (CDDP) induced nephrotoxicity (Nematbakhsh et al., 2017). Here, we would like to add one ...

Author's disclosures of potential conflicts of interest are found at the end of this article. L ung cancer, the second most frequently diagnosed malignancy for men and women in the United States, will account for an estimated 221,200 newly diagnosed cases and 158,040 deaths in 2015 (Siegel, Miller, & Jemal, 2015). The preferred treatment for early-stage non–small cell lung cancer (NSCLC), often...