A uniform theory of conditionals is one which compositionally captures the behavior of both indicative and subjunctive conditionals without positing ambiguities. This paper raises new problems for the closest thing to a uniform analysis in the literature (Stalnaker, Philosophia, 5, 269–286 (1975)) and develops a new theory which solves them. I also show that this new analysis provides an improved treatment of three phenomena (the import-export equivalence, reverse Sobel-sequences and disjunctive antecedents). While these results concern central issues in the study (...) of conditionals, broader themes in the philosophy of language and formal semantics are also engaged here. This new analysis exploits a dynamic conception of meaning where the meaning of a symbol is its potential to change an agent’s mental state (or the state of a conversation) rather than being the symbol’s content (e.g. the proposition it expresses). The analysis of conditionals is also built on the idea that the contrast between subjunctive and indicative conditionals parallels a contrast between revising and consistently extending some body of information. (shrink)

The pessimistic induction is built upon the uniformity principle that the future resembles the past. In daily scientific activities, however, scientists sometimes rely on what I call the disuniformity principle that the future differs from the past. They do not give up their research projects despite the repeated failures. They believe that they will succeed although they failed repeatedly, and as a result they achieve what they intended to achieve. Given that the disuniformity principle is useful in certain cases (...) in science, we might reasonably use it to infer that present theories are true unlike past theories. Hence, pessimists have the burden to show that our prediction about the fate of present theories is more likely to be true if we use the uniformity principle than if we use the disuniformity principle. (shrink)

This paper defines the form of prior knowledge that is required for sound inferences by analogy and single-instance generalizations, in both logical and probabilistic reasoning. In the logical case, the first order determination rule defined in Davies (1985) is shown to solve both the justification and non-redundancy problems for analogical inference. The statistical analogue of determination that is put forward is termed 'uniformity'. Based on the semantics of determination and uniformity, a third notion of "relevance" is defined, both (...) logically and probabilistically. The statistical relevance of one function in determining another is put forward as a way of defining the value of information: The statistical relevance of a function F to a function G is the absolute value of the change in one's information about the value of G afforded by specifying the value of F. This theory provides normative justifications for conclusions projected by analogy from one case to another, and for generalization from an instance to a rule. The soundness of such conclusions, in either the logical or the probabilistic case, can be identified with the extent to which the corresponding criteria (determination and uniformity) actually hold for the features being related. (shrink)

This paper presents a uniform general account of regress problems in the form of a pentalemma—i.e., a set of five mutually inconsistent claims. Specific regress problems can be analyzed as instances of such a general schema, and this Regress Pentalemma Schema can be employed to generate deductively valid arguments from the truth of a subset of four claims to the falsity of the fifth. Thus, a uniform account of the nature of regress problems allows for an improved understanding of specific (...) regress objections or arguments, and, correspondingly, of the general logical geography of the debate about infinite regresses. This uniform approach is illustrated by a treatment of the classical epistemological problem of justification, but it encompasses a whole variety of cases including explanation and ontological grounding. Furthermore, this general account is compared and contrasted with the existing literature discussing argument schemata for regress objections, particularly with the work of Jan Willem Wieland. It is shown how such other schemata can be incorporated and superseded by the general Regress Pentalemma Schema. (shrink)

Philosophers often make exotic-sounding modal claims, such as: “A timeless world is impossible”, “The laws of physics could have been different from what they are”, “There could have been an additional phenomenal colour”. Otherwise popular empiricist modal epistemologies in the contemporary literature cannot account for whatever epistemic justification we might have for making such modal claims. Those who do not, as a result of this, endorse scepticism with respect to their epistemic status typically suggest that they can be justified but (...) have yet to develop some distinct, workable theory of how. That is, they endorse a form of non-uniformism about the epistemology of modality, according to which claims about philosophically interesting modal matters need to be justified differently from e.g. everyday or scientific modal claims, but they fail to provide any more detail. This article aims to fill this gap by outlining how such a non-uniformist view could be spelled out and what story about philosophically interesting modal justification it could contain. (shrink)

We propose a natural definition of what it means in a constructive context for a Banach space to be reflexive, and then prove a constructive counterpart of the Milman-Pettis theorem that uniformly convex Banach spaces are reflexive.

In this paper, we propose a new concept named the uniform single valued neutrosophic graph. An illustrative example and some properties are examined. Next, we develop an algorithmic approach for computing the complement of the single valued neutrosophic graph. A numerical example is demonstrated for computing the complement of single valued neutrosophic graphs and uniform single valued neutrosophic graph.

Non-uniformed combat morally infringes on civilians’ fundamental right to immunity and exacts an impermissible form of unofficial conscription that is morally prohibited even if the civilians knowingly consent to it. It is often argued that revolutionary groups burdened by resource disparities relative to the state or who claim alternative sources of political legitimacy (such as national self-determination or the constitution of a political collective) are justified in using unconventional tactics such as non-uniformed combat. Neither those reasons nor the provision of (...) public goods, however, are sufficient to justify such rights violations and this form of conscription, and it calls into question the suitability of current international legal protections for the non-uniformed. (shrink)

Since Saul Kripke’s and Hilary Putnam’s groundbreaking work in the Seventies, the idea has emerged that natural kind terms are semantically special among common nouns. Stephen P. Schwartz, for example, has argued that an artifactual kind term like “pencil” functions very differently from a natural kind term like “tiger.” This, however, blatantly violates a principle that I call Semantic Uniformity. In this paper, I defend the principle. In particular, I outline a picture of how natural kind terms function based (...) on Kripke’s and Putnam’s considerations, and I use it to rebut Schwartz’s arguments, showing that if it works for natural kind terms, it can work for artifactual kind terms too, or at least that Schwartz did not provide good enough reasons to the contrary. (shrink)

We introduce a framework that allows for the construction of sequent systems for expressive description logics extending ALC. Our framework not only covers a wide array of common description logics, but also allows for sequent systems to be obtained for extensions of description logics with special formulae that we call "role relational axioms." All sequent systems are sound, complete, and possess favorable properties such as height-preserving admissibility of common structural rules and height-preserving invertibility of rules.

I argue that it is not acceptable to restrict the claim that linguistic types are concrete entities (type-concretism) to some categories of linguistic types (such as words or proper names), while at the same time conceding that other categories of linguistic types (such as sentence types) are abstract entities. Moreover, I suggest a way in which type-concretism can be extended to every linguistic type, thereby responding to the so-called productivity objection to type-concretism, according to which, whenever tokens of a type (...) t are produced in different, causally isolated circumstances, then t needs to be identified by a certain form or structure. This extension of type-concretism detaches type-concretism from so-called originalism and gives rules a prominent role in type-concretism. (shrink)

Michael Gill has argued that contemporary metaethics proceeds on the assumption that morality is uniform. I apply Gill’s diagnosis to the debate between cognitivism and non-cognitivism. I argue, on the basis of examples, that there is good reason to question the assumption that morality is semantically uniform. I describe the assumption as a symptom of what Wittgenstein has called the philosopher’s “craving for generality‘. I discuss several recent metaethical positions in which the question “Cognitivism or non-cognitivism?‘ appears as a false (...) dilemma. I conclude that these positions are still subject to the craving for generality. I defend a more radically Wittgensteinian approach to metaethics, in which the idea of family resemblances and an emphasis on differences between moral judgments are particularly important If morality is not necessarily to be thought of as semantically uniform, at least one important consequence follows. An omnipresent way of arguing in metaethics, namely arguing for cognitivism by arguing against non-cognitivism, becomes unavailable to the metaethicist. (shrink)

Cognitivists and non-cognitivists in contemporary meta-ethics tend to assume that moral judgments are semantically uniform. That is, they share the assumption that either all moral judgments express beliefs, or they all express non-beliefs. But what if some moral judgments express beliefs and others do not? Then moral judgments are not semantically uniform and the question “Cognitivist or non-cognitivist?” poses a false dilemma. I will question the assumption that moral judgments are semantically uniform. First, I will explain what I mean by (...) the assumption (section 2). I will call this assumption SUM, the semantic uniformity of moral judgments. Second, I will provide some examples in order to illustrate that SUM cannot be taken for granted (section 3). Third, I will try to understand, using ideas from Wittgenstein, why SUM has nevertheless so often been taken for granted (section 4). Fourth, I will discuss some authors in contemporary meta-ethics who have noted the false dilemma between cognitivism and non-cognitivism and evaluate the solutions they propose for overcoming it (section 5). Fifth, I will indicate, again with some help from Wittgenstein, how meta-ethical research about moral judgments is possible without the assumption that morality is semantically uniform (section 6). (shrink)

The goal of this short paper is to show that esthetic adjectives—exemplified by “beautiful” and “elegant”—do not pattern stably on a range of linguistic diagnostics that have been used to taxonomize the gradability properties of adjectives. We argue that a plausible explanation for this puzzling data involves distinguishing two properties of gradable adjectives that have been frequently conflated: whether an adjective’s applicability is sensitive to a comparison class, and whether an adjective’s applicability is context-dependent.

Prezentowany artykuł zajmuje się dwoma dziennikami Маха Frischa, które opisują przeżycia pisarza w czasie jego służby wojskowej w okresie II wojny światowej: Blätter aus dem Brotsack (Kartki z plecaka) pisane w 1939 r. i Dienstbüchlein (Książeczka wojskowa) z 1974 r. Na podstawie porównania obu utworów można prześledzić rozwój światopoglądowy Frischa. Solidarność z grupą, nie komentujące posłuszeństwo wobec przełożonych, patriotyzm i wiara w sens służby wojskowej charakteryzują zapiski Frischa z młodości. Wspomnienia pisane w latach siedemdziesiątych odznaczają się krytycznym dystansem do własnej (...) młodzieńczej naiwności, a przede wszystkim do instytucji armii, która według Frischa swą istotą przeczy idei demokracji. Przeciwko uniformizacji, kolektywnemu myśleniu i zatarciu indywidualności zwraca się Frisch, podobnie jak w Dienstbüchlein, w większości powojennych utworów. (shrink)

Henrich et al.'s conclusion that psychologists ought not assume uniformity of psychological phenomena depends on their descriptive claim that there is no pattern to the great diversity in psychological phenomena. We argue that there is a pattern: uniformity of learning processes (broadly construed), and diversity of (some) mental contents (broadly construed).

Let I be a countable jump ideal in $\mathscr{D} = \langle \text{The Turing degrees}, \leq\rangle$ . The central theorem of this paper is: a is a uniform upper bound on I iff a computes the join of an I-exact pair whose double jump a (1) computes. We may replace "the join of an I-exact pair" in the above theorem by "a weak uniform upper bound on I". We also answer two minimality questions: the class of uniform upper bounds on I (...) never has a minimal member; if ∪ I = L α [ A] ∩ ω ω for α admissible or a limit of admissibles, the same holds for nice uniform upper bounds. The central technique used in proving these theorems consists in this: by trial and error construct a generic sequence approximating the desired object; simultaneously settle definitely on finite pieces of that object; make sure that the guessing settles down to the object determined by the limit of these finite pieces. (shrink)

Since 1968, a brain-based criterion of death has been adopted in medical practice and passed into law or national guidelines in most countries worldwide. In some countries, such as Australia, Spain, and the United States, death can be determined by either the circulatory and respiratory criterion or by the neurological criterion. This practice corresponds to recommendations by the World Health Organization and the World Medical Association. In the USA, the Uniform Determination of Death Act (UDDA) provides that “an individual who (...) has sustained either (1) irreversible cessation of circulatory and respiratory functions or (2) irreversible cessation of all functions of the entire brain, including the brain stem, is dead.” We show that the UDDA contains two conflicting interpretations of the phrase “cessation of functions”. By one interpretation, what matters for the determination of death is the cessation of spontaneous functions only, regardless of their generation by artificial means. By the other, what matters is the cessation of both spontaneous and artificially supported functions. Because each UDDA criterion uses a different interpretation, the law is conceptually inconsistent. A single consistent interpretation would lead to the conclusion that conscious individuals whose respiratory and circulatory functions are artificially supported are actually dead, or that individuals whose brain is entirely and irreversibly destroyed may be alive. We explore solutions to mitigate the inconsistency. (shrink)

In this paper, I argue that the temporal connective prima (‘before’) is a comparative adverb. The argument is based on a number of grammatical facts from Italian, showing that there is an asymmetry between prima and dopo (‘after’). On the ground of their divergent behaviour, I suggest that dopo has a different grammatical status from prima. I propose a semantic treatment for prima that is based on an independently motivated analysis of comparatives which can be traced back to Seuren (in: (...) Kiefer and Ruwet (eds.) Generative grammar in Europe, 1973). Dopo is analyzed instead as an atomic two-place predicate which contributes a binary relation over events to the sentence meaning. The different semantic treatments of the two connectives provide an explanation for the grammatical asymmetries considered at the outset; interestingly, they also shed some light on other asymmetries between prima and dopo, which are known to hold for the English temporal connectives before and after as well: these asymmetries are related to the veridicality properties, the distribution of NPIs, and the logical properties of these connectives first described in Anscombe (Philos Rev 73:3–24, 1964). (shrink)

There is a common assumption in the semantics of modal auxiliaries in natural language; in utterances of MOD φ , where MOD is a modal and φ is the prejacent, context determines the particular flavor of modality expressed by the modal. Such is the standard contextualist semantics of Kratzer and related proposals. This winds up being a problem, because there is a significant class of modals which have constraints on the admissible modal flavor that are not traceable to context. For (...) example, in MUST φ , subsentential properties of φ, like the aspectual class of the predicate in the prejacent, can affect the flavor of MUST. By encoding the above assumption into the semantics, such contextualist accounts fail to be able to explain, much less to predict, this pattern. Worse yet, attempts to exploit the resources of the theory in service of an explanation run afoul of important commitments of the view, like the hypothesis that modals have a uniform semantics. Given these circumstances, these data might seem like a justification for dispensing with the uniformity hypothesis. The present paper lays out the above problem in detail. Against the pessimistic view, I argue that the the contextualist account can in fact explain and predict these patterns while preserving the uniformity hypothesis. This requires adopting an amendment to the semantics of modals based on the work of Valentine Hacquard. Aside from maintaining the contextualist paradigm and preserving uniformity, the proposal also clarifies the role of context in the interpretation of modals. As it will turn out, the role of context ought to be circumscribed in its flavor-determining role for modals. (shrink)

Abstract -/- The indistinction between repose and uniform movement exposed in the principle of inertia marks one of the most famous dissertations: the discussion between Newton and Leibniz. Through their respective conceptions of space, both seek to solve the problem of indistinction. The relational space of Leibniz, supported by the principle of sufficient reason and the identity of indiscernibles leads to the kinematic solution of the problem of inertia. The objective of this paper is to show the contribution of Leibniz, (...) in terms of relations of order, by distinguishing between equality by identity and equality by equivalence. Under a philosophical approach we link identity, equivalence and equality as relations of order with the indiscernibility between different states of movement. We expose first the principle of sufficient reason and the identity of indiscernibles. Under Bernoulli's principle of indifference, we argue that we distinguish between equality in abstract and equality in concrete. As a third part, we present the relationship between the identity of the indiscernibles and the predicate of equality under logical analysis. Finally we present the conclusions. -/- . (shrink)

Proof uses forcing on perfect trees for 2-quantifier sentences in the language of arithmetic. The result extends to exact pairs for the hyperarithmetic degrees.

Given the sharp distinction that follows from Hume’s Fork, the proper epistemic status of propositions of mixed mathematics seems to be a mystery. On the one hand, mathematical propositions concern the relation of ideas. They are intuitive and demonstratively certain. On the other hand, propositions of mixed mathematics, such as in Hume’s own example, the law of conservation of momentum, are also matter of fact propositions. They concern causal relations between species of objects, and, in this sense, they are not (...) intuitive or demonstratively certain, but probable or provable. In this article, I argue that the epistemic status of propositions of mixed mathematics is that of matters of fact. I wish to show that their epistemic status is not a mystery. The reason for this is that the propositions of mixed mathematics are dependent on the Uniformity Principle, unlike the propositions of pure mathematics. (shrink)

Tennis champion Maria Sharapova has a habit of grunting when she plays on the court. Assume that she also has a habit of hitting the ball in a certain way in a certain situation. The habit of on-court grunting might be bad, but can the habit of hitting the ball in a certain way in a certain situation be classified as intelligent? The fundamental questions here are as follows: What is habit? What is the relation between habit and skill? Is (...) there such a thing as intelligent habit? In this paper I expound the nature of habit by developing and defending a Rylean conception of habit, according to which an acquired disposition is a habit if and only if the manifestation of the disposition is repeated, automatic, and uniform. One implication of this conception is that there is no such thing as intelligent habit. A practical application in athletic expertise is that sport coaches can help athletes go beyond repeated, automatic, and uniform dispositions in sport. (shrink)

In a recent article Yvonne Chiu argues that nonuniformed combat is impermissible. However, her argument that by fighting without uniforms nonuniformed guerillas coerce civilians into participating in the armed conflict and thus into surrendering their immunity (their right not to be attacked) fails: there is no coercion, no participation, and no surrendering of immunity. Yet even if this argument of hers were correct, it would still not show that such “coercion” would amount to a rights infringement. Moreover, even if it (...) did, there are examples that show that such an infringement would sometimes be perfectly justified. Finally, if she were right that forcing civilians into a moral position that they have not accepted or chosen is absolutely wrong, then this would affect the moral status of uniformed combatants no less than it would affect the moral status of nonuniformed ones. (shrink)

Inductive conclusions rest upon the Uniformity Principle, that similar events lead to similar results. The principle derives from three fundamental axioms: Existence, that the observed object has an existence independent of the observer; Identity, that the objects observed, and the relationships between them, are what they are; and Continuity, that the objects observed, and the relationships between them, will continue unchanged absent a sufficient reason. Together, these axioms create a statement sufficiently precise to be falsified. -/- Simple enumeration of (...) successful observations is ineffective to support an inductive conclusion. First, as its analytical device, induction uses the contrapositive form of the hypothesis; a successful observation merely represents the denial of the antecedent, from which nothing follows. Second, simple enumeration uses an invalid syllogism that fails to distribute its middle term. -/- Instead, the inductive syllogism identifies its subject by excluding nonuniform results, using the contrapositive form of the hypotheses. The excluded data allows an estimate of the outer boundaries of the subject under examination. But an estimate of outer boundaries is as far as the inductive process may proceed; an affirmative identification of the content of the subject never becomes possible. (shrink)

A uniform construction for sequent calculi for finite-valued first-order logics with distribution quantifiers is exhibited. Completeness, cut-elimination and midsequent theorems are established. As an application, an analog of Herbrand’s theorem for the four-valued knowledge-representation logic of Belnap and Ginsberg is presented. It is indicated how this theorem can be used for reasoning about knowledge bases with incomplete and inconsistent information.

Uniformity in human actions and attitudes incumbent with the ceteris paribus clause of folk psychology lucidly transits moral thoughts into the domain of subject versus object-centric explorations. In Zettel, Wittgenstein argues, “Concepts with fixed limits would demand uniformity of behaviour, but where I am certain, someone else is uncertain. And that is the fact of nature.” (Wittgenstein 2007, 68). Reflecting on the moral principle of “ethical giving” revives a novel stance in modern moral philosophy. An “ethical giving” is (...) a moral position that looks at giving from the context of harmonizing the changing demands of situations with normative ethical principles. Despite giving more prominence to the query of intuition, the chapter brings up the justification of normative moral principles pertaining to their applications and purports. Human activities aimed at decision-making goals conducted by the moral compass are nothing but the sanction of certain ethical norms and rules. In this context, two principles, the normative aspect and the perspective aspect need to be expounded in parallel. The perspective-based principle seeks practical guides to action, whereas the normative aspect principle looks for the concrete moral justification behind it. Normatively based moral decisions hinge on the probabilities and interests of agents that can sometimes lead towards a better choice. Thomas Nagel’s thought sounds more appealing, since his idea of practical conflict bends towards “...conflict between values which are incomparable for reasons apart from uncertainty about the facts.” (Nagel 2013, 128). Positions on moral personality and equality of justice collide with the conception of verities of the agents’ reason that cogitate a minimal aspect on the morally significant properties (range properties), which can hardly be possessed by all human beings equally. This argument sounds reasonable in light of Singer’s thought of “the principle of equal consideration of interests.” (Singer 2003, 21–22) The concern of this section is deliberative about how an agent could balance the demand of moral situations and the spirit of the moral principle devoid of being close to the relative truth. The conception of the moral decision remains capricious in line with the agent’s mood, time, and situation. The germane queries are: (a) How could one get the simpliciter of moral balance in “ethical giving” or offering help to the poor, orphans, and so on, who need helps from the agents and society? (b) Can we find any universalized principle in defense of ethical giving? (shrink)

If the laws of nature are as the Humean believes, it is an unexplained cosmic coincidence that the actual Humean mosaic is as extremely regular as it is. This is a strong and well-known objection to the Humean account of laws. Yet, as reasonable as this objection may seem, it is nowadays sometimes dismissed. The reason: its unjustified implicit assignment of equiprobability to each possible Humean mosaic; that is, its assumption of the principle of indifference, which has been attacked on (...) many grounds ever since it was first proposed. In place of equiprobability, recent formal models represent the doxastic state of total ignorance as suspension of judgment. In this paper I revisit the cosmic coincidence objection to Humean laws by assessing which doxastic state we should endorse. By focusing on specific features of our scenario I conclude that suspending judgment results in an unnecessarily weak doxastic state. First, I point out that recent literature in epistemology has provided independent justifications of the principle of indifference. Second, given that the argument is framed within a Humean metaphysics, it turns out that we are warranted to appeal to these justifications and assign a uniform and additive credence distribution among Humean mosaics. This leads us to conclude that, contrary to widespread opinion, we should not dismiss the cosmic coincidence objection to the Humean account of laws. (shrink)

The idea of the uniformity of nature, as a solution to the problem of induction, has at least two contemporary versions: natural kinds and natural necessity. Then there are at least three alternative ontological ideas addressing the problem of induction. In this paper, I articulate how these ideas are used to justify the practice of inductive inference, and compare them, in terms of their applicability, to see whether each of them is preferred in addressing the problem of induction. Given (...) the variety of contexts in which inductive inferences are made, from natural science to social science and to everyday thinking, I suggest that no singular idea is absolutely preferred, and a proper strategy is probably to welcome the plurality of ideas helpful to induction, and to take pragmatic considerations into account, in order to judge in every single case. (shrink)

This paper presents a uniform semantic treatment of nonmonotonic inference operations that allow for inferences from infinite sets of premises. The semantics is formulated in terms of selection functions and is a generalization of the preferential semantics of Shoham (1987), (1988), Kraus, Lehman, and Magidor (1990) and Makinson (1989), (1993). A selection function picks out from a given set of possible states (worlds, situations, models) a subset consisting of those states that are, in some sense, the most preferred ones. A (...) proposition α is a nonmonotonic consequence of a set of propositions Γ iff α holds in all the most preferred Γ-states. In the literature on revealed preference theory, there are a number of well-known theorems concerning the representability of selection functions, satisfying certain properties, in terms of underlying preference relations. Such theorems are utilized here to give corresponding representation theorems for nonmonotonic inference operations. At the end of the paper, the connection between nonmonotonic inference and belief revision, in the sense of Alchourrón, Gärdenfors, and Makinson, is explored. In this connection, infinitary belief revision operations that allow for the revision of a theory with a possibly infinite set of propositions are introduced and characterized axiomatically. (shrink)

Epistemic states of uncertainty play important roles in ethical and political theorizing. Theories that appeal to a “veil of ignorance,” for example, analyze fairness or impartiality in terms of certain states of ignorance. It is important, then, to scrutinize proposed conceptions of ignorance and explore promising alternatives in such contexts. Here, I study Lerner’s probabilistic egalitarian theorem in the setting of imprecise probabilities. Lerner’s theorem assumes that a social planner tasked with distributing income to individuals in a population is “completely (...) ignorant” about which utility functions belong to which individuals. Lerner models this ignorance with a certain uniform probability distribution, and shows that, under certain further assumptions, income should be equally distributed. Much of the criticism of the relevance of Lerner’s result centers on the representation of ignorance involved. Imprecise probabilities provide a general framework for reasoning about various forms of uncertainty including, in particular, ignorance. To what extent can Lerner’s conclusion be maintained in this setting? (shrink)

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...) principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are predicates (...) in all of their occurrences; they are predicates that are true of their bearers. When a name appears as a bare singular in argument position, it really occupies the predicate position of what in this essay is called a denuded definite description: a definite description with an unpronounced definite article. Sloat provided good evidence for this. The definite article is sometimes pronounced with names in the singular: ‘The Ivan we all love doesn't feel well’. Sloat proposed a disjunctive generalization of when the definite article must be pronounced with a singular name. This essay shows that by slightly revising Sloat's generalization, we arrive at a simple, nondisjunctive, syntactic rule that governs the overt appearance of the definite article with singular names. But Ivan does not necessarily bear the name ‘Ivan’, so one might worry that the sentence “Ivan might not have had ‘Ivan’ as a name” would incorrectly be predicted false. This essay shows that Predicativism does not have this consequence by showing that incomplete definite descriptions in general and incomplete denuded descriptions, such as ‘Øthe Ivan’, in particular are rigid designators. (shrink)

In the last three decades several cosmological principles and styles of reasoning termed 'anthropic' have been introduced into physics research and popular accounts of the universe and human beings' place in it. I discuss the circumstances of 'fine tuning' that have motivated this development, and what is common among the principles. I examine the two primary principles, and find a sharp difference between these 'Weak' and 'Strong' varieties: contrary to the view of the progenitors that all anthropic principles represent a (...) departure from Copernicanism in cosmology, the Weak Anthropic Principle is an instance of Copernicanism. It has close affinities with the step of Copernicus that Immanuel Kant took himself to be imitating in the 'critical' turn that gave rise to the Critique of Pure Reason. I conclude that the fact that a way of going about natural science mentions human beings is not sufficient reason to think that it is a subjective approach; in fact, it may need to mention human beings in order to be objective. (shrink)

This essay argues that current theories of action fail to explain agentive control because they have left out a psychological capacity central to control: attention. This makes it impossible to give a complete account of the mental antecedents that generate action. By investigating attention, and in particular the intention-attention nexus, we can characterize the functional role of intention in an illuminating way, explicate agentive control so that we have a uniform explanation of basic cases of causal deviance in action as (...) well as other defects of agency, explain cases of skilled agency and sharpen questions about the role of thought in agency. This provides for a different orientation in the theory of action. (shrink)

The orthodox view of proper names, Millianism, provides a very simple and elegant explanation of the semantic contribution of referential uses of names–names that occur as bare singulars and as the argument of a predicate. However, one problem for Millianism is that it cannot explain the semantic contribution of predicative uses of names. In recent years, an alternative view, so-called the-predicativism, has become increasingly popular. According to the-predicativists, names are uniformly count nouns. This straightforwardly explains why names can be used (...) predicatively, but is prima facie less congenial to an analysis of referential uses. To address this issue, the-predicativists argue that referential names are in fact complex determiner phrases consisting of a covert definite determiner and a count noun—and so, a referential name is a definite description. In this paper, I will argue that despite the appearance of increased theoretical complexity, the view that names are ambiguous between predicative and referential types is in fact superior to the unitary the-predicativist view. However, I will also argue that to see why this ambiguity view is better, we need to give up the standard Millian analysis. Consequently, I will first propose an alternative analysis of referential names that retains the virtues of Millianism, but provides an important explanatory connection to the predicative uses. Once this analysis of names is adopted, the explanation for why names are systematically ambiguous between referential and predicative types is both simple and elegant. Second, I will argue that the-predicativism has the appearance of being simpler than an ambiguity view, but is in fact unable to account for certain key properties of referential names without making ad hoc stipulations. (shrink)

In a number of recent philosophical debates, it has become common to distinguish between two kinds of normative reasons, often called the right kind of reasons (henceforth: RKR) and the wrong kind of reasons (henceforth: WKR). The distinction was first introduced in discussions of the so-called buck-passing account of value, which aims to analyze value properties in terms of reasons for pro-attitudes and has been argued to face the wrong kind of reasons problem. But nowadays it also gets applied in (...) other philosophical contexts and to reasons for other responses than pro-attitudes, for example in recent debates about evidentialism and pragmatism about reasons for belief. While there seems to be wide agreement that there is a general and uniform distinction that applies to reasons for different responses, there is little agreement about the scope, relevance and nature of this distinction. Our aim in this article is to shed some light on this issue by surveying the RKR/WKR distinction as it has been drawn with respect to different responses, and by examining how it can be understood as a uniform distinction across different contexts. We start by considering reasons for pro-attitudes and emotions in the context of the buck-passing account of value (§1). Subsequently we address the distinction that philosophers have drawn with respect to reasons for other attitudes, such as beliefs and intentions (§2), as well as with respect to reasons for action (§3). We discuss the similarities and differences between the ways in which philosophers have drawn the RKR/WKR distinction in these areas and offer different interpretations of the idea of a general, uniform distinction. The major upshot is that there is at least one interesting way of substantiating a general RKR/WKR distinction with respect to a broad range of attitudes as well as actions. We argue that this has important implications for the proper scope of buck-passing accounts and the status of the wrong kind of reasons problem (§4). (shrink)

In this paper, we claim that, if you justifiably believe that you ought to perform some act, it follows that you ought to perform that act. In the first half, we argue for this claim by reflection on what makes for correct reasoning from beliefs about what you ought to do. In the second half, we consider a number of objections to this argument and its conclusion. In doing so, we arrive at another argument for the view that justified beliefs (...) about what you ought to do must be true, based in part on the idea that the epistemic and practical domains are uniform, in a sense we spell out. We conclude by sketching possible implications of our discussion for the debates over what is wrong with akrasia and pragmatic encroachment on justified belief and knowledge. (shrink)

What motivated an absolutist Erastian who rejected religious freedom, defended uniform public worship, and deemed the public expression of disagreement a catalyst for war to endorse a movement known to history as the champion of toleration, no coercion in religion, and separation of church and state? At least three factors motivated Hobbes’s 1651 endorsement of Independency: the Erastianism of Cromwellian Independency, the influence of the politique tradition, and, paradoxically, the contribution of early-modern practices of toleration to maintaining the public sphere’s (...) religious uniformity. The third factor illustrates how a key function of the emerging private sphere in the early-modern period was to protect uniformity, rather than diversity; it also shows that what was novel was not so much the public/private distinction itself, but the separation of two previously conflated dimensions of publicity – visibility and representativeness – that enabled early-modern Europeans to envisage modes of worship out in the open, yet still private. (shrink)

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

The neurocognitive structure of the acting self has recently been widely studied, yet is still perplexing and remains an often confounded issue in cognitive neuroscience, psychopathology and philosophy. We provide a new systematic account of two of its main features, the sense of agency and the sense of ownership, demonstrating that although both features appear as phenomenally uniform, they each in fact are complex crossmodal phenomena of largely heterogeneous functional and representational levels. These levels can be arranged within a gradually (...) evolving, onto- and phylogenetically plausible framework which proceeds from basic non-conceptual sensorimotor processes to more complex conceptual and meta-representational processes of agency and ownership, respectively. In particular, three fundamental levels of agency and ownership processing have to be distinguished: The level of feeling, thinking and social interaction. This naturalistic account will not only allow to “ground the self in action”, but also provide an empirically testable taxonomy for cognitive neuroscience and a new tool for disentangling agency and ownership disturbances in psychopathology. (shrink)

Substructural approaches to paradoxes have attracted much attention from the philosophical community in the last decade. In this paper we focus on two substructural logics, named ST and TS, along with two structural cousins, LP and K3. It is well known that LP and K3 are duals in the sense that an inference is valid in one logic just in case the contrapositive is valid in the other logic. As a consequence of this duality, theories based on either logic are (...) tightly connected since many of the arguments for and objections against one theory reappear in the other theory in dual form. The target of the paper is making explicit in exactly what way, if any, ST and TS are dual to one another. The connection will allow us to gain a more fine-grained understanding of these logics and of the theories based on them. In particular, we will obtain new insights on two questions concerning ST which are being intensively discussed in the current literature: whether ST preserves classical logic and whether it is LP in sheep’s clothing. Explaining in what way ST and TS are duals requires comparing these logics at a metainferential level. We provide to this end a uniform proof theory to decide on valid metainferences for each of the four logics. This proof procedure allows us to show in a very simple way how different properties of inferences (unsatisfiability, supersatisfiability and antivalidity) that behave in very different ways for each logic can be captured in terms of the validity of a metainference. (shrink)

In recent years, the scientific study of meditation and psychedelic drugs has seen remarkable developments. The increased focus on meditation in cognitive neuroscience has led to a cross-cultural classification of standard meditation styles validated by functional and structural neuroanatomical data. Meanwhile, the renaissance of psychedelic research has shed light on the neurophysiology of altered states of consciousness induced by classical psychedelics, such as psilocybin and LSD, whose effects are mainly mediated by agonism of serotonin receptors. Few attempts have been made (...) at bridging these two domains of inquiry, despite intriguing evidence of overlap between the phenomenology and neurophysiology of meditation practice and psychedelic states. In particular, many contemplative traditions explicitly aim at dissolving the sense of self by eliciting altered states of consciousness through meditation, while classical psychedelics are known to produce significant disruptions of self-consciousness, a phenomenon known as drug-induced ego dissolution. In this article, we discuss available evidence regarding convergences and differences between phenomenological and neurophysiological data on meditation practice and psychedelic drug-induced states, with a particular emphasis on alterations of self-experience. While both meditation and psychedelics may disrupt self-consciousness and underlying neural processes, we emphasize that neither meditation nor psychedelic states can be conceived as simple, uniform categories. Moreover, we suggest that there are important phenomenological differences even between conscious states described as experiences of self-loss. As a result, we propose that self-consciousness may be best construed as a multidimensional construct, and that “self-loss,” far from being an unequivocal phenomenon, can take several forms. Indeed, various aspects of self-consciousness, including narrative aspects linked to autobiographical memory, self-related thoughts and mental time travel, and embodied aspects rooted in multisensory processes, may be differently affected by psychedelics and meditation practices. Finally, we consider long-term outcomes of experiences of self-loss induced by meditation and psychedelics on individual traits and prosocial behavior. We call for caution regarding the problematic conflation of temporary states of self-loss with “selflessness” as a behavioral or social trait, although there is preliminary evidence that correlations between short-term experiences of self-loss and long-term trait alterations may exist. (shrink)

Reductive intellectualists (e.g., Stanley & Williamson 2001; Stanley 2011a; 2011b; Brogaard 2008; 2009; 2011) hold that knowledge-how is a kind of knowledge-that. If this thesis is correct, then we should expect the defeasibility conditions for knowledge-how and knowledge-that to be uniform—viz., that the mechanisms of epistemic defeat which undermine propositional knowledge will be equally capable of imperilling knowledge-how. The goal of this paper is twofold: first, against intellectualism, we will show that knowledge-how is in fact resilient to being undermined by (...) the very kinds of traditional (propositional) epistemic defeaters which clearly defeat the items of propositional knowledge which intellectualists identify with knowledge-how. Second, we aim to fill an important lacuna in the contemporary debate, which is to develop an alternative way in which epistemic defeat for knowledge-how could be modelled within an anti-intellectualist framework. (shrink)

This book surveys research in quantification starting with the foundational work in the 1970s. It paints a vivid picture of generalized quantifiers and Boolean semantics. It explains how the discovery of diverse scope behavior in the 1990s transformed the view of quantification, and how the study of the internal composition of quantifiers has become central in recent years. It presents different approaches to the same problems, and links modern logic and formal semantics to advances in generative syntax. A unique feature (...) of the book is that it systematically brings cross-linguistic data to bear on the theoretical issues, discussing French, German, Dutch, Hungarian, Russian, Japanese, Telugu (Dravidian), and Shupamem (Grassfield Bantu), and pointing to formal semantic literature involving quantification in around thirty languages. -- -/- 1. What this book is about and how to use it; 2. Generalized quantifiers and their elements: operators and their scopes; 3. Generalized quantifiers in non-nominal domains; 4. Some empirically significant properties of quantifiers and determiners; 5. Potential challenges for generalized quantifiers; 6. Scope is not uniform and not a primitive; 7. Existential scope versus distributive scope; 8. Distributivity and scope; 9. Bare numeral indefinites; 10. Modified numerals; 11. Clause-internal scopal diversity; 12. Towards a compositional semantics of quantifier words. (shrink)

Scientific realism is the position that the aim of science is to advance on truth and increase knowledge about observable and unobservable aspects of the mind-independent world which we inhabit. This book articulates and defends that position. In presenting a clear formulation and addressing the major arguments for scientific realism Sankey appeals to philosophers beyond the community of, typically Anglo-American, analytic philosophers of science to appreciate and understand the doctrine. The book emphasizes the epistemological aspects of scientific realism and contains (...) an original solution to the problem of induction that rests on an appeal to the principle of uniformity of nature. (shrink)