The class of true modal verbs in English is usually understood to include auxiliary verbs conveying possibility and necessity (including predictive future) that lack non-finite morphological forms; from a syntactic perspective, these verbs occur only in finite clauses (as opposed to infinitives or gerunds). Nevertheless the true modals do not inflect for third-person singular agreement, unlike normal present-tense verbs. When they are negated, true modals always precede the negative particle not, regardless of their understood scope relative to negation, and never (...) give rise to do-support. (shrink)

In this article I defend the view that many central aspects of the semantics of tense are determined by independently-motivated principles of syntactic theory. I begin by decomposing tenses syntactically into a temporal ordering predicate (the true tense, on this approach) and two time-denoting arguments corresponding to covert a reference time (RT) argument and an eventuality time (ET) argument containing the verb phrase. Control theory accounts for the denotation of the RT argument, deriving the distinction between main clause and subordinate (...) clause tenses. The theory of covert movement is used to account for the independent/indexical interpretation of relative clause tenses, and for the correlation between independent tense interpretation and a de re construal of the relative clause. A theory of “past polarity”, based on traditional negative polarity theory, accounts both for the simultaneous “sequence of tense” construal of past tenses in subordinate clauses embedded within past tense contexts, and for the obligatory indexical/independent interpretation of present tense in a relative clause embedded within a past tense context. Combined with the copy theory of movement, the polarity theory also provides an account of the semantics of double access sentences, treating them as involving a special kind of reconstruction effect. (shrink)

Appositive relative clauses differ from restrictive relative clauses in a number of ways. The fundamental distinction is semantically based: an appositive relative like that in (1a) conveys an independent assertion about the referent of its associated head; the reference of the head is established independently of the appositive relative. In contrast, a restrictive relative like that in (1b) is interpreted as an intersective predicate modifier, restricting the reference of its head.

What is the meaning of the present and past tenses? The answer to this question depends on what objects these terms refer to. If the question is about the English tense morphemes present and past, we will get one answer; if it is about their Japanese or Russian counterparts, we will get another; and if it is about a semantic categories PRESENT and PAST attributed to the theory of Universal Grammar (UG), we will get still another. In this article, I (...) discuss the semantics (and the syntax) of (English) morphemes, but my theoretical treatment of this exploits temporal categories that I attribute to UG, expressed overtly in some languages and covertly in others. (shrink)

In some languages, such as French and Austrian German, the perfect construction is the standard tense/aspect form used to report past-time events. In many other languages, including English, the perfect construction alternates with other past tense forms, such as the preterit past (English) or the imperfect (French and many other languages), and there is considerable crosslinguistic variation on the precise usage conditions and semantics associated with each type of past tense form. Many of these languages exhibit the have/be alternation in (...) the formation of the perfect, using have with transitive and unergative verbs, and be with unaccusative verbs. Many other languages, including English, use have uniformly. In this article I will seek to identify the syntactic source of the past tense meaning associated with the perfect construction. Because of the problem posed by the cross-linguistic variation in perfect semantics mentioned above, it is perhaps foolhardy to seek a single answer to this question for all languages, and a comprehensive treatment would require a dissertationlength study. For this reason I will focus on the English perfect construction, though I will occasionally rely on comparative evidence, especially with regard to the have/be alternation, and I will suggest the possibility of parametric variation. Even by focusing on the English perfect, we cannot fully avoid the problem of semantic variation, since the perfect construction does not have a uniform semantics in all its uses; according to many accounts, there are at least two, and perhaps as many as five, different uses of the perfect, each with a different tense semantics. For example, Brugger and D’Angelo (1994) have argued that the so-called universal perfect does not convey past tense; this claim is based on a particular set of syntactic/semantic diagnostics for past that they use, and is supported by the fact that many other languages convey the semantics of the universal perfect by means of the present tense.. (shrink)

1 This paper has been presented at the workshop “Time and Modality: A Round Table on Tense, Mood, and Modality”, Paris, December 2005, at a CUNY linguistics colloquium in May 2006, and at the 6th Workshop on Formal Linguistics in Florian´opolis, Brazil, August 2006. We thank the audiences at those presentations, in particular Orin Percus, Tim Stowell, Marcel den Dikken, Anna Szabolcsi, Chris Warnasch, Roberta Pires de Oliveira, Renato Miguel Basso, and Ana M¨uller. We thank Noam Chomsky, Cleo Condoravdi, (...) and Irene Heim for very helpful conversations about this material. We thank Bridget Copley for sharing with us her recent manuscript “What Should Should.. (shrink)

Preface ix 1 Meaning and the Means to an Understanding of Ends 2 Why Is an Eye? 21 3 Adaptationism and Engineering 39 4 On Five "-Isms" 67 5 Function, Selection, and Explanation 87 6 Deflating Function 119 7 Artifacts and Organisms 139 References 167 Index 177.

Abstract The only biologically respectable notion of human nature is an extremely permissive one that names the reliable dispositions of the human species as a whole. This conception offers no ethical guidance in debates over enhancement, and indeed it has the result that alterations to human nature have been commonplace in the history of our species. Aristotelian conceptions of species natures, which are currently fashionable in meta-ethics and applied ethics, have no basis in biological fact. Moreover, because our folk psychology (...) finds this misleading Aristotelian conception highly tempting, we are in fact better off if we refrain from mentioning human nature altogether in debates over enhancement. Content Type Journal Article Category Special Issue Pages 1-16 DOI 10.1007/s13347-012-0063-x Authors Tim Lewens, Department of History and Philosophy of Science, University of Cambridge, Free School Lane, Cambridge, CB2 3RH UK Journal Philosophy & Technology Online ISSN 2210-5441 Print ISSN 2210-5433. (shrink)

This book defends and outlines the key issues surrounding the philosophy of content as demonstrated in Wittgenstein's Philosophical Investigations. The text shows how Wittgenstein's critical arguments concerning mind and meaning are destructive of much recent work in the philosophy of thought and language, including the representationalist orthodoxy. These issues are related to the work of Davidson, Rorty and McDowell among others.

Many authors in ethics, economics, and political science endorse the Lottery Requirement, that is, the following thesis: where different parties have equal moral claims to one indivisible good, it is morally obligatory to let a fair lottery decide which party is to receive the good. This article defends skepticism about the Lottery Requirement. It distinguishes three broad strategies of defending such a requirement: the surrogate satisfaction account, the procedural account, and the ideal consent account, and argues that none of these (...) strategies succeed. The article then discusses and discharges some remaining grounds for resistance to these skeptical conclusions, as well as the possibility of defending a weaker version of a normative lottery principle. The conclusion is that we have no reason to believe that where equal claims conflict, we are morally required to hold a lottery, as opposed to simply picking one of the parties on more subjective grounds or out of pure whim. In addition to the practical consequences of this skeptical view, the article sketches some theoretical implications for debates about saving the greater number and about axiomatic utilitarianism. (shrink)

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is shown that Fitting’s nested calculi naturally arise from their corresponding labelled calculi—for each of the aforementioned logics—via the elimination of structural rules in labelled derivations. The translational correspondence between the two types of systems is leveraged to show that the nested calculi inherit proof-theoretic properties from their associated labelled calculi, such as (...) completeness, invertibility of rules and cut admissibility. Since labelled calculi are easily obtained via a logic’s semantics, the method presented in this paper can be seen as one whereby refined versions of labelled calculi (containing nested calculi as fragments) with favourable properties are derived directly from a logic’s semantics. (shrink)

We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, (...) semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants. (shrink)

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates the (...) semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

When we discuss normative reasons, oughts, requirements of rationality, hypothetical imperatives (or “anankastic conditionals”), motivating reasons and so on, we often use verbs like “believe” and “want” to capture a relevant subject’s perspective. According to the received view about sentences involving these verbs, what they do is describe the subject’s mental states. Many puzzles concerning normative discourse have to do with the role that mental states consequently appear to play in this discourse. This book uses tools from formal semantics and (...) the philosophy of language to develop an alternative account of sentences involving these verbs. According to this view, which is called parentheticalism (in honour of J. O. Urmson), we very commonly use these verbs in a parenthetical sense. Used with this sense, these verbs themselves express backgrounded side-remarks on the contents they embed, and these latter, embedded contents constitute the at-issue contents of our utterances. This means that instead of speaking about the subject’s mental states, we often use sentences involving “believe” and “want” to speak about the world in a way that, in the conversational background, relates our utterances to her point of view. This idea is made precise, and it is used to solve various puzzles concerning normative discourse. The final result is a new, unified understanding of normative discourse, which gets by without postulating conceptual breaks between objective and subjective normative reasons, or normative reasons and rationality, or indeed between the reasons we ascribe to an agent and the reasons she herself can be expected to cite. Instead of being connected to either subjective mental states or objective facts, all of these normative statuses can be adequately articulated by citing worldly considerations from the subject’s point of view. (shrink)

Arguing that issues of both emissions and subsistence should be comprehended within a single framework of justice, the proposal here is that this broader framework be developed by reference to the idea of "ecological space.".

The pressure of oversight and scrutiny in the business-to-business purchasing process has the potential to cause psychological distress in purchasing professionals, giving rise to apprehensions about being ethically inappropriate. Utilizing depth interviews with public sector purchasing professionals in a phenomenological approach, the authors develop the notion of ethical purchasing dissonance to explain the psychological distress. An inductively derived conceptual framework is presented for ethical purchasing dissonance that explores its potential antecedents and consequences; illustrative propositions are presented, and managerial implications are (...) discussed. (shrink)

Brentano’s account of what he called intentionale Inexistenz — what we now call intentionality — is without question one of the most important parts of his philosophy, and one of the most influential ideas in late 19th-century philosophy. Here I will explain how this idea figures in Brentano’s central text, Psychology from an Empirical Standpoint (Brentano 1995a). I will then briefly explain how Brentano’s ideas about intentionality evolved after the first publication of this work in 1874, and how they were (...) then misinterpreted by some influential analytic philosophers. (shrink)

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we (...) show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate. (shrink)

Any empirical physical theory must have implications for observable events at the scale of everyday life, even though that scale plays no special role in the basic ontology of the theory itself. The fundamental physical scales are microscopic for the “local beables” of the theory and universal scale for the non-local beables. This situation creates strong demands for any precise quantum theory. This paper examines those constraints, and illustrates some ways in which they can be met.

Supporters of political realism and republicanism as well as students of political feasibility and non-ideal theory progressively focus on the dimension of power in the political relation. Yet we lack the theoretical framework to represent these features of power. In this essay, I take a first step towards designing the necessary conceptual tools for such a framework by analyzing the relations between the concepts of power and normativity that define the political relation. Adopting a ‘methodological cynicism’, I analyse the reasons (...) that motivate cynics who are only interested in power to obey a norm against force or violence and to seek legitimacy. This allows us to characterize external or mediate relations between power and normativity (such as the relation underlying political theory’s ambition of offering normative guidance for power) and identify internal and immediate relations between power and normativity. (shrink)

Michael and has argued that species have intrinsic essences. This paper rebuts Devitt’s arguments, but in so doing it shores up the anti-essentialist consensus in two ways that have more general interest. First, species membership can be explanatory even when species have no essences; that is, Tamsin’s membership of the tiger species can explain her stripyness, without this committing us to any further claim about essential properties of tigers. Second, even the views of species that appear most congenial to essentialism—namely (...) phenetic and genotypic cluster accounts—do not entail strong forms of intrinsic essentialism. (shrink)

The UK-based deliberations that led up to the legalisation of two new ‘mitochondrial donation’ techniques in 2015, and which continued after that time as regulatory details were determined, featured a division of advisory labour that is common when decisions are made about new technologies. An expert panel was convened by the Human Fertilisation and Embryology Authority, charged with assessing the scientific and technical aspects of these techniques. Meanwhile, the Nuffield Council on Bioethics addressed the ethical issues. While this division of (...) labour was undertaken in the name of thoroughness, I argue here that it can have the unintended consequence that hybrid questions that simultaneously involve ethical and technical aspects—especially questions about where to set evidential thresholds for the acceptance of new technology—do not receive enough attention. (shrink)

The UK-based deliberations that led up to the legalisation of two new ‘mitochondrial donation’ techniques in 2015, and which continued after that time as regulatory details were determined, featured a division of advisory labour that is common when decisions are made about new technologies. An expert panel was convened by the Human Fertilisation and Embryology Authority (HFEA), charged with assessing the scientific and technical aspects of these techniques. Meanwhile, the Nuffield Council on Bioethics addressed the ethical issues. While this division (...) of labour was undertaken in the name of thoroughness, I argue here that it can have the unintended consequence that hybrid questions that simultaneously involve ethical and technical aspects—especially questions about where to set evidential thresholds for the acceptance of new technology—do not receive enough attention. (shrink)

This paper examines the neo-Aristotelian account of species natures as ‘life-forms’, which we owe to Philippa Foot, Michael Thompson and their defenders. I begin by developing two problems for their view: a problem of underdetermination and a problem generated by psychological work on ‘folk essentialism’. I move on to consider their important transcendental argument, which suggests that claims about life-forms are presupposed by all efforts to describe the organic world. In response, I sketch a neo-Kantian projectivist position, which agrees that (...) life-forms are presupposed in these contexts, while denying that such life-forms are real. This position makes a better sense of the phenomena cited in support of the neo-Aristotelian view, while avoiding the problems raised for that view in the first half of this paper. (shrink)

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated (...) labelled calculus. (shrink)

This study investigates the types of misinformation spread on Twitter that evokes scientific authority or evidence when making false claims about the antimalarial drug hydroxychloroquine as a treatment for COVID-19. Specifically, we examined tweets generated after former U.S. President Donald Trump retweeted misinformation about the drug using an unsupervised machine learning approach called the biterm topic model that is used to cluster tweets into misinformation topics based on textual similarity. The top 10 tweets from each topic cluster were content coded (...) for three types of misinformation categories related to scientific authority: medical endorsements of hydroxychloroquine, scientific information used to support hydroxychloroquine’s use, and a comparison group that included scientific evidence opposing hydroxychloroquine’s use. Results show a much higher volume of tweets featuring medical endorsements and use of supportive scientific information compared to accurate and updated scientific evidence, that misinformation-related tweets propagated for a longer time frame, and the majority of hydroxychloroquine Twitter discourse expressed positive views about the drug. Metadata from Twitter accounts found that prominent users within misinformation discourse were more likely to have media or political affiliation and explicitly expressed support for President Trump. Conversely, prominent accounts within the scientific opposition discourse primarily consisted of medical doctors or scientists but had far less influence in the Twitter discourse. Implications of these findings and connections to related social media research are discussed, as well as cognitive mechanisms for understanding susceptibility to misinformation and strategies to combat misinformation spread via online platforms. (shrink)

Explores the role of eliminating fear in Epicurean ethics and physics, focusing on techniques to eliminate the fear of death and the fear of the gods. Includes a taxonomy of types of fear and types of therapy for fear.

What does it matter if the climate changes? This kind of question does not admit of a scientific answer. Natural science can tell us what some of its biophysical effects are likely to be; social scientists can estimate what consequences such effects could have for human lives and livelihoods. But how should we respond? The question is, at root, about how we think we should live—and different people have myriad different ideas about this. The distinctive task of ethics is to (...) bring some clarity and order to these ideas. (shrink)

We employ a recently developed methodology -- called "structural refinement" -- to extract nested sequent systems for a sizable class of intuitionistic modal logics from their respective labelled sequent systems. This method can be seen as a means by which labelled sequent systems can be transformed into nested sequent systems through the introduction of propagation rules and the elimination of structural rules, followed by a notational translation. The nested systems we obtain incorporate propagation rules that are parameterized with formal grammars, (...) and which encode certain frame conditions expressible as first-order Horn formulae that correspond to a subclass of the Scott-Lemmon axioms. We show that our nested systems are sound, cut-free complete, and admit hp-admissibility of typical structural rules. (shrink)

Despite its central role in our cognitive lives, rational belief revision has received relatively little attention from epistemologists. This dissertation begins to fill that absence. In particular, we explore the phenomenon of defeasible epistemic justification, i.e., justification that can be lost as well as gained by epistemic agents. We begin by considering extant theories of defeat, according to which defeaters are whatever cause a loss of justification or things that somehow neutralize one's reasons for belief. Both of these theories are (...) both extensionally and explanatorily inadequate and, so, are rejected. We proceed to develop a novel theory of defeat according to which defeaters are reasons against belief. According to this theory, the dynamics of justification are explained by the competition between reasons for and reasons against belief. We find that this theory not only handles the counter-examples that felled the previous theories but also does a fair job in explaining the various aspects of the phenomenon of defeat. Furthermore, this theory accomplishes this without positing any novel entities or mechanisms; according to this theory, defeaters are epistemic reasons against belief, the mirror image of our epistemic reasons for belief, rather than sui generis entities. (shrink)

Journal of Social Philosophy, EarlyView.

Moral realists can, and should, allow that the truth-conditional content of moral judgments is in part attitudinal. I develop a two-dimensional semantics that embraces attitudinal content while preserving realist convictions about the independence of moral facts from our attitudes. Relative to worlds “considered as counterfactual,” moral terms rigidly track objective, response-independent properties. But relative to different ways the actual world turns out to be, they nonrigidly track whatever properties turn out to be the objects of our relevant attitudes. This theory (...) provides realists with a satisfactory account of Moral Twin Earth cases and an improved response to Blackburn’s supervenience argument. (shrink)

In On Liberty, Mill says that ‘the same causes which make … [a person] a Churchman in London, would have made him a Buddhist or a Confucian in Pekin’. Despite Mill's not having drawn it out, there is an argument implicit in his comments that is germane to both externalist and internalist understandings of the epistemic justification of religious beliefs, even though some of these understandings would not wish to use the term ‘epistemic justification’ to refer to whatever it is (...) that they suggest must be added to true belief for it to count as knowledge. In this paper, we shall articulate this argument; examine how it challenges those religious believers who would wish to claim their religious beliefs as knowledge; and consider what they may do to meet this challenge. (shrink)

Pogge’s proposal for a Global Resources Dividend (GRD) has been criticized because its likely effects would be less predictable than Pogge supposes and could even be counterproductive to the main aim of relieving poverty. The GRD might also achieve little with respect to its secondary aim of promoting environmental protection. This article traces the problems to Pogge’s inadequate conception of natural resources. It proposes instead to conceive of natural resources in terms of ‘ecological space’. Using this conception, redistributive principles follow (...) with a more definite logic from Pogge’s own supporting moral argument. The proposed alternative approach also promises a more direct contribution to Pogge’s secondary aim of resource conservation and environmental protection. I conclude that if any redistributive resource-based tax should be levied on nations, then there are at least four decisive reasons to favour levying a tax related to a nation’s per capita utilization of ecological space rather than the GRD. (shrink)

The idea that psychiatry contains, in principle, a series of levels of explanation has been criticised both as empirically false but also, by Campbell, as unintelligible because it presupposes a discredited pre-Humean view of causation. Campbell’s criticism is based on an interventionist-inspired denial that mechanisms and rational connections underpin physical and mental causation respectively and hence underpin levels of explanation. These claims echo some superficially similar remarks in Wittgenstein’s Zettel. But attention to the context of Wittgenstein’s remarks suggests a reason (...) to reject explanatory minimalism in psychiatry and reinstate a Wittgensteinian notion of level of explanation. Only in a context broader than the one provided by interventionism is the ascription of propositional attitudes, even in the puzzling case of delusions, justified. Such a view, informed by Wittgenstein, can reconcile the idea that the ascription mental phenomena presupposes a particular level of explanation with the rejection of an a priori claim about its connection to a neurological level of explanation. (shrink)

In this paper, I argue that miracles should not be defined as involving violations of natural laws. They should be defined as signs of particular volitions of the deity or of other supernatural agents. I suggest that one may, without any prior belief in the existence of such supernatural agents, reasonably come to believe that one has witnessed miracles.

This volume brings together recent work by leading and up-and-coming philosophers on the topic of virtue epistemology. The prospects of virtue-theoretic analyses of knowledge depend crucially on our ability to give some independent account of what epistemic virtues are and what they are _for_. The contributions here ask how epistemic virtues matter apart from any narrow concern with defining knowledge; they show how epistemic virtues figure in accounts of various aspects of our lives, with a special emphasis on our practical (...) lives. In essence, the essays here put epistemic virtues to work. (shrink)