Hofweber (Ontology and the ambitions of metaphysics, Oxford University Press, 2016) argues for a thesis he calls “internalism” with respect to natural number discourse: no expressions purporting to refer to natural numbers in fact refer, and no apparent quantification over natural numbers actually involves quantification over natural numbers as objects. He argues that while internalism leaves open the question of whether other kinds of abstracta exist, it precludes the existence of natural numbers, thus establishing what he calls “restricted nominalism” about (...) natural numbers. We argue that Hofweber’s internalism fails to establish restricted nominalism. Not only is his primary argument for restricted nominalism invalid, the analysis of quantification proposed threatens to collapse internalism into either a traditional form of error theory or realism. (shrink)

According to the person-affecting restriction, one distribution of welfare can be better than another only if there is someone for whom it is better. Extant problems for the person-affecting restriction involve variable-population cases, such as the nonidentity problem, which are notoriously controversial and difficult to resolve. This paper develops a fixed-population problem for the person-affecting restriction. The problem reveals that, in the presence of incommensurable welfare levels, the person-affecting restriction is incompatible with minimal (...) requirements of impartial beneficence even in fixed-population contexts. (shrink)

André Gallois’ (1993) modified account of restrictedly rigid designators (RRDs) does indeed block the objection I made to his original account (Gallois 1986; Ramachandran 1992). But, as I shall now show, there is a deeper problem with his approach which his modification does not shake off. The problem stems from the truth of the following compatibility claim: (CC) A term’s restrictedly rigidly designating (RR-designating) an object x is compatible with it designating an object y in a world W (...) where x exists but is distinct from y.1 It follows from (CC) that the necessary (contingent) truth of a sentence of the form “α is identical with β”, where “α” and “β” are RRDs of objects x and y respectively, does not require the necessary (contingent) identity of x and y. This is borne out by Gallois’ original example (see 1986, p. 58-63). Taking W to be the actual world, we have: (1) “Mary is identical with Mary” is necessarily true; yet “Mary” RR- designates Mary and Alice, which are only contingently identical. 1 I leave it to the reader to check that in Gallois’ own example (1986, p. 58), on the view he defends (pp. 62-63), and despite his modified characterisation of restricted rigidity, RDC# (1993, p. xx), “Mary” RR-designates Alice (as well as Mary) in W, but designates Mary and not A/ice in W1. Gallois has accepted this in correspondence. In light of (CC), while I agree with Gallois (1993, p. 153) that: (7) (a=b & ◊(a≠b)) → (∃x)(∃y)(x=y & ◊(x≠y)) is a theorem given RDC#, I dispute his defence of it (on p. 153). For, if (CC) is correct, the antecedent of (7) could be true even though a and b are identical in every world (where either exists)! (shrink)

Two theories of implicit domain restriction have gained considerable prominence over the last two decades. According to von Fintel (Restrictions on quantifier domaines, Ph.D. thesis, University of Massachusetts at Amherst, 1994), quantifiers come with covert restrictors and, as a result of this, induce domain restriction; according to Stanley [in Gerhard and Peter (eds) Logical form and language, Clarendon Press, Oxford, 2002; Stanley and Szabó (Mind Lang 15(2–3):2192–2161, 2000)], by contrast, nouns, as opposed to quantifiers, come with covert restrictors. (...) In this article, I do three things. First, I assess the arguments that have been given for and against these two accounts and show that none of them is conclusive. Second, I advance a novel empirical argument based on the observed pragmatic behaviour of bare nouns, an argument that falsifies Stanley’s theory while providing clear evidence in support of von Fintel’s (1994). Finally, I discuss the relevance of the bare noun data in the context of another important debate—namely, whether domain restriction is a local mechanism only, or whether it can also be achieved by global means. (shrink)

The person-affecting restriction, in its slogan form, states that an outcome can be better than another only if it is better for someone. It has a strong intuitive appeal and several theorists have suggested that it avoids certain counterintuitive implications in population ethics. At the same time, the restriction has highly counterintuitive implications and yields non-transitive orderings in some nonidentity cases. Many theorists have taken this criticism to be decisive. Recently, however, there have been some reformulations of the (...) restriction, suggesting that the restriction survives this “old” criticism. This paper investigates the viability of those reformulations, which are versions of “Comparativism,” and argues that most of them either have counterintuitive implications or are extensionally equivalent with impersonal theories, but that “Soft Comparativism” seems to have an advantage over impersonal theories. (shrink)

Several political theorists argue that states have rights to self-determination and these rights justify immigration restrictions. Call this: the self-determination argument for immigration restrictions. In this article, I develop an objection to the self-determination argument. I argue that if it is morally permissible for states to restrict immigration because they have rights to self-determination, then it can also be morally permissible for states to deport and denationalize their own citizens. We can either accept that it is permissible for states to (...) deport and denationalize their own citizens or reject the self-determination argument. To avoid this implication, we should reject the self-determination argument. That is, we should also reject the conclusion that rights to self-determination can justify any significant immigration restrictions. (shrink)

The still unsettled decision problem for the restricted purely universal formulae 0-formulae) of the first order set-theoretic language based over =, ∈ is discussed in relation with the adoption or rejection of the axiom of foundation. Assuming the axiom of foundation, the related finite set-satisfiability problem for the very significant subclass of the 0-formulae consisting of the formulae involving only nested variables of level 1 is proved to be semidecidable on the ground of a reflection property over the (...) hereditarily finite sets, and various extensions of this result are obtained. When variables are restricted to range only over sets, in universes with infinitely many urelements the set-satisfiability problem is shown to be solvable provided the axiom of foundation is assumed; if it is not, then the decidability of a related derivability problem still holds. That, in turn, suggests the alternative adoption of an antifoundation axiom under which the set-satisfiability problem is also solvable . Turning to set theory without urelements, assuming a form of Boffa's antifoundation axiom, the complement of the set-satisfiability problem for the full class of Δ0-formulae is shown to be semidecidable; a result that is known not to hold, for the set-satisfiability problem itself, even for a very restricted subclass of the Δ0-formulae. (shrink)

Classical results of additive number theory lead to the undecidability of the existence of solutions for diophantine equations in given special sets of integers. Those sets which are images of polynomials are covered by a more general result in the second section. In contrast, restricting diophantine equations to images of exponential functions with natural bases leads to decidable problems, as proved in the third section.

In a recent paper in Astrophysics and Space Science Vol. 364 no. 11 (2019), S. Ershkov & D. Leschenko presented a new solving procedure for Euler-Poisson equations for solving momentum equations of the CR3BP near libration points for uniformly rotating planets having inclined orbits in the solar system with respect to the orbit of the Earth. The system of equations of the CR3BP has been explored with regard to the existence of an analytic way of presentation of the approximated solution (...) in the vicinity of libration points. A new and elegant ansatz has been suggested in their publication whereby, in solving, the momentum equation is reduced to a system two coupled Riccati ODEs. In this paper, we presented a numerical solution of such coupled Riccati ODEs using Mathematica software package. (shrink)

This dissertation investigates the ways in which natural language restricts the domains of quantifiers. Adverbs of quantification are analyzed as quantifying over situations. The domain of quantifiers is pragmatically constrained: apparent processes of "semantic partition" are treated as pragmatic epiphenomena. The introductory Chapter 1 sketches some of the background of work on natural language quantification and begins the analysis of adverbial quantification over situations. Chapter 2 develops the central picture of "semantic partition" as a side-effect of pragmatic processes of anaphora (...) resolution. I argue that the apparent effects of topic/focus articulation and presuppositional information on the interpretation of quantifiers are not the result of a direct and local mechanism of sentence grammar. Instead, I develop an analysis where the link is established via the anaphoric dependence of quantifier domains on the discourse context. Chapter 3 discusses the analysis of conditional clauses as quantifier restrictors, concentrating on the question whether conditional clauses restrict quantifiers directly or indirectly. A treatment is explored which has if-clauses constrain the value of the hidden domain variable of the restricted quantifier. Chapter 4, on unless-clauses, and Chapter 5, on only if- and even if-clauses, present some issues in the compositional analysis of complex conditional clauses. These chapters significantly expand the data coverage of the theory of A-quantification. Building on previous work of mine on exceptives, I analyze unless-clauses as exceptive operators on A-quantifiers. The analysis of only if-clauses, treated as conditional clauses that combine if with the focus adverb only, unearthes some interesting new properties. Chapter 6, finally, examines the phenomenon of donkey-anaphora in the light of the results of the previous chapters. I show that a solution to the proportion problem may become possible once we combine the situation-semantic approach to adverbial quantification with the pragmatic theory developed in Chapter 2 and further elaborated in the analysis of donkey anaphora in complex conditionals. (shrink)

ABSTRACTDrawing upon archival material, this article offers an overview and discussion of the manner in which the topic of representative democracy was addressed during conferences of the Mont Pèlerin Society in the period between 1947 and 1998. I contend that the most common critique of democracy amongst MPS members was that democratic politics has the tendency to lead to interventions in the economy, thus distorting or even destroying the market mechanism. Yet most members were simultaneously convinced that democracy is a (...) necessary condition of individual liberty, which meant that democracy, rather than being either a mere nuisance or an irredeemable obstacle that must be rejected wholesale, posed a genuine problem for them. Whilst at MPS conferences a myriad of solutions to the problem of democracy was explored, one such solution was suggested most often and theorized most thoroughly, namely the imposition of constitutional limits on popular power; a proposal that often amounted to an attempt radically to circumscribe citizens’ influence on the legislature. I conclude by reflecting upon the implications of these findings for the scholarly study of neoliberal thought on democracy. (shrink)

Let ${\cal I}$ be an ideal on ω. By cov${}_{}^{\rm{*}}$ we denote the least size of a family ${\cal B} \subseteq {\cal I}$ such that for every infinite $X \in {\cal I}$ there is $B \in {\cal B}$ for which $B\mathop \cap \nolimits X$ is infinite. We say that an AD family ${\cal A} \subseteq {\cal I}$ is a MAD family restricted to${\cal I}$ if for every infinite $X \in {\cal I}$ there is $A \in {\cal A}$ such that $|X\mathop (...) \cap \nolimits A| = \omega$. Let a$\left$ be the least size of an infinite MAD family restricted to ${\cal I}$. We prove that If $max${a,cov${}_{}^{\rm{*}}\}$ then a$\left = {\omega _1}$, and consequently, if ${\cal I}$ is tall and $\le {\omega _2}$ then a$\left = max$ {a,cov${}_{}^{\rm{*}}\}$. We use these results to prove that if c$\le {\omega _2}$ then o$= \overline o$ and that as$= max${a,non$\}$. We also analyze the problem whether it is consistent with the negation of CH that every AD family of size ω1 can be extended to a MAD family of size ω1. (shrink)

In this paper we carefully study the problem of liberty as it applies to school choice, and whether there ought to be restricted liberty in the case of homeschooling. We examine three prominent concerns that might be brought against homeschooling, viz., that it aggravates social inequality, worsens societal conflict and works against the best interests of children. To examine the tensions that occur between parental liberty, children's interests, and state oversight, we consider the case of homeschooling in the Dutch (...) context. (shrink)

In "A Restriction for Pictures and Some Consequences for a Theory of Depiction", Journal of Aesthetics and Art Criticism 61, 4 (2003): 381-394, Michael Newall defended a resemblance view of depiction. He concentrated on pictures X involving a perpendicular view of the physical surface of another picture Y, and argued that the actual restrictions on what picture X can depict of Y's physical surface are best explained by a strict resemblance or similarity view. But I show that there are (...) many problems with his approach, so that overall it is no more successful than more standard resemblance views of depiction. (shrink)

Various restrictions on transformational grammars have been investigated in order to reduce their generative power from recursively enumerable languages to recursive languages.It will be shown that any restriction on transformational grammars defining a recursively enumerable subset of the set of all transformational grammars, is either too weak (in the sense that there does not exist a general decision procedure for all languages generated under such a restriction) or too strong (in the sense that there exists a recursive language (...) that cannot be generated by any transformational grammar thus restricted). In addition, some related problems will be discussed. (shrink)

Brian Hill argues for a restriction of the Preservation condition that is based on a notion of epistemic, as opposed to logical, consistency. In this reply I consider possible criteria for epistemic consistency and suggest that a natural candidate for one leads to a more severe restriction on the Preservation condition than Hill proposes. I also question whether his proposed restriction is either necessary or sufficient to avoid the impossibility results for the Preservation condition, suggesting that it (...) is the way in which belief expansion is characterized within the AGM framework that is the real source of the problem. Finally, I draw on the notion of belief undermining to support a different resolution of the problem. (shrink)

We introduce a restricted second-order logic $\textrm{SO}^{\textit{plog}}$ for finite structures where second-order quantification ranges over relations of size at most poly-logarithmic in the size of the structure. We demonstrate the relevance of this logic and complexity class by several problems in database theory. We then prove a Fagin’s style theorem showing that the Boolean queries which can be expressed in the existential fragment of $\textrm{SO}^{\textit{plog}}$ correspond exactly to the class of decision problems that can be computed by a non-deterministic Turing (...) machine with random access to the input in time $O^k)$ for some $k \ge 0$, i.e. to the class of problems computable in non-deterministic poly-logarithmic time. It should be noted that unlike Fagin’s theorem which proves that the existential fragment of second-order logic captures NP over arbitrary finite structures, our result only holds over ordered finite structures, since $\textrm{SO}^{\textit{plog}}$ is too weak as to define a total order of the domain. Nevertheless, $\textrm{SO}^{\textit{plog}}$ provides natural levels of expressibility within poly-logarithmic space in a way which is closely related to how second-order logic provides natural levels of expressibility within polynomial space. Indeed, we show an exact correspondence between the quantifier prefix classes of $\textrm{SO}^{\textit{plog}}$ and the levels of the non-deterministic poly-logarithmic time hierarchy, analogous to the correspondence between the quantifier prefix classes of second-order logic and the polynomial-time hierarchy. Our work closely relates to the constant depth quasipolynomial size AND/OR circuits and corresponding restricted second-order logic defined by David A. Mix Barrington in 1992. We explore this relationship in detail. (shrink)

Polygyny, the marriage of a man with more than one woman at the same time is a well-known practiced in human history. Islamic law accepts the institution of polygyny as a substitute provision if it fulfills the certain conditions and reasons, -and limited the maximum number of wives to four. Although polygyny is mubah (permissible) in Islamic law, it is not an absolute right that every man can use arbitrarily. Thus in Islamic law, the legitimacy of polygyny has been attributed (...) to the presence of two basic conditions: the observance of justice among co-wives and providing maintnance. However, the observance of these conditions that is left to the mercy of men leads to the exploitation of the right for practicing to polygyny and victimization of the first spouse. Therefore, inserting some restrictions for using this right has come to the agenda from time to time in Islamic legal history. The first legal arrangements concerning the restriction of the polygyny (taaddud al-zawjāt) in the history of Islamic law were indirectly made with the Family Law Decree of 1917 which was prepared in the last periods of the Ottoman Empire. Among the late Islamic jurists, the issue of the limitation of polygyny by public authority in Islamic law continues to be discussed. The civil laws of contemporary Muslim countries contain different regulations on the issue. In this article, the restriction of polygyny by the public authority in Islamic family law will be focused on.Summary: Polygyny, the marriage of a man with more than one woman at the same time is a well-known practiced in human history. Islamic law accepts the institution of polygyny as a substitute provision if it fulfills the certain conditions and reasons, and limited the maximum number of wives to four. Thus, relevant verses in the Qur’an (al-Nisa 4/3, 129) and the Prophet’s own practice (al-Ahzab 33/50, 51, 59 al-Tahrim 66 / 3-5) show that it is legitimate for a man to marry more than one woman (up to four) at the same time in Islamic law. Although polygyny is legally permissible (mubah) in Islamic law it is not an absolute right that every man can arbitrarily use. Thus in Islamic law, the legitimacy of polygyny has been attributed to the presence of two basic conditions: the observance of justice among co-wives and providing maintenance. On the other hand, there may be some exceptional circumstances permitting polygyny in Islamic law. For example, when female population is much more than male in the society and when a, woman is can not fulfill her family duties due to her cureless illness, polygyny is permitted in Islamic law.As it can be understood from the explanations above, polygyny in Islamic law is not a general and mandatory provision that should be applied by every man who has legal capacity to marry. On the contrary, it is an exceptional provision that is justified if there are certain conditions and justifications. According to this; polygyny is a moral and legal institution that is made up of mutual consent based on individual and social conditions and needs in Islamic law. Therefore, men do not have to marry a second woman on their current wives, as well as women have the right to say “no” to marry a married man as a second wife.When the conditions and rationales indicated in the relevant verses and doctrine are evaluated together, it can be said that in order to be able to legitimize the polygyny in Islamic law, there must be three basic conditions:(1) Observing justice among spouses, (2) Having sufficient financial power to provide maintenance for spouses, (3) Existence of individual or social need or necessity.Therefore, in order to prevent the exploitation of polygyny, which is justified under certain conditions and justifications in Islamic law, the above-mentioned conditions must be fulfilled. Otherwise, polygyny can cause some problems, unrest and injustice for individual, family and society. Hence, in the presence of certain conditions and justifications, polygyny accepted in Islamic law as a moral and legal institution aiming the elimination of individual and social arbitration.Although the legitimacy of polygyny in Islamic law depends on the existence of certain conditions and special circumstances, it is a known fact that they are not always observed in practice. It can be said that the right of polygyny is a subject of abuse in practice. Therefore, the limitation of polygyny by the public authority has come to the fore in Islamic legal history. Today, control of the public authority and inserting some restrictions of polygyny continue to be discussed among the Islamic jurists. In the past, it is possible to say that the control of the exercising of this right has been done relatively by society (social environment). However, nowadays, since the society cannot perform the control mechanism, it is brought up by the state (public authority) on behalf of the society.Among the contemporary Islamic jurists regarding the supervision or limitation of polygyny by the public authority; there are two approaches: “those who accept” and “those who do not accept” such restrictions.Islamic jurists, who accept that public authority is allowed to intervene in polygyny, grounded their views on two perspectives: The first is that the polygyny is legally permissible and the public authority has the authority to limit the permissible (mubah) in Islamic law. The second is that polygyny is restricted with the conditions in the Qur’anic verses such as “husband’s observation supervision of justice among his wives” and “having the power for ensuring the livelihood (nafaqa) of his wives” and it is more appropriate for the benefit of society and the purpose of the legislator (Shari’) to be subject to the control of the public authority whether these conditions are present or not. Islamic jurists, who do not agree that the public authority has the right to intervene in polygyny grounded their views on two perspectives as well: First, polygyny is a legitimate right mentioned in the verses in Islamic law and there is no definite proof that this can be prohibited or restricted by the public authority. Secondly, it is contrary to the verses to prohibit or limit the right that the Qur’an makes legitimate (free).Thus, it is possible to say that the opinion which accepts that the public authority has to limit polygyny is more accurate in terms today’s social conditions. Namely, polygyny is linked to two basic conditions: ”husband’s observance of justice among his wives and having the power to provide maintenance for his wives. Therefore, supervision of the public authority on checking the existence of these conditions is more appropriate for the purpose of the legislator (Shari legitimizing polygyny and social benefit.In fact, the Ottoman Family Law Decree of 1917 indirectly limited the right of the husband to marry more than one woman, giving the woman right to stipulate a condition in her marriage contract that her husband not to marry a second woman. In the 1924 Draft of Family Law Decree, which was prepared after the repeal of the Family Law Decree of 1917, but not enacted, it was proposed that the application of polygyny should be presented to the approval judge.In today’-s Muslim countries, there are three different practices: namely “completely prohibiting polygyny”, ”releasing polygyny” and “giving the court the right to monitor the existence of necessary conditions “. In countries such as Morocco, Algeria, Iraq, Syria, Indonesia, Malaysia (and Pakistan), the validity of polygyny depends on the permission and supervision of the judiciary. Some of these countries which have accepted judicial review have given the judicial control for the requirement of justice, some of them the conditions of justice and maintenance some of them for the conditions of justice, maintenance and a legitimate justification.In sum, in accordance with the provisions of the relevant verses, polygyny in Islamic law is legitimately permissible (mubah). However, the public authority has the right and authority to limit the mubah in Islamic law in the case of the elimination of damage and the necessity of the public interest. On the other hand, the public authority has the right and authority to enact the law in Islamic law by preferring one of the existing ijtihads that meet the needs of the society and conforms to the conditions of the age.According to this, when the public authority made a statutory regulation that links the use of right of polygyny to the permission of the judge, this regulation is binding on society.Therefore, in the event of such a legal arrangement, it is possible for the public authority to allow the men who comply with the conditions and not to allow the ones who are not to comply with the conditions after conducting the necessary investigation. As a matter of fact, now Family Laws of many Muslim countries now include such legal arrangements. It is also worth mentioning here that there may be a necessity for a man to marry more than one woman (up to four) at the same time in terms of social benefits, when the population of male and female in a society is excessively disproportionate. In such circumstances, it is also possible that the public authority encourages, or even mandates, the marriage of men who have fulfilled the conditions to more than one woman. (shrink)

La ressemblance, je dirais, est sournoise. Et s’il est perfide d’associer la ressemblance à la perfidie, c’est encore mieux. Toujours prête à résoudre des problèmes philosophiques et à proposer ses services, la ressemblance est une hypocrite, une imposture, une arnaque. Si elle a, certes, ses lieux et ses usages, on la trouve plus souvent là où elle ne devrait pas être, s’attribuant des pouvoirs qu’elle ne possède pas. Aucune des restrictions que j’appliquerai ici à l’encontre de la ressembla...

Composition, persistence, vagueness, and more constitute an interconnected network of problems. My criticism of Hud Hudson's provocative claims made in a recent paper (Hudson 2002) was focused almost exclusively on the issue of diachronic composition (Balashov 2003). Hudson's response (2003) has highlighted the dangers of such isolationism. But I want to hold to my strategy to the end. Part of the reason is to evade the appalling responsibility of presenting a full-blown theory of all the above phenomena; I must confess (...) that I do not have such a theory. At the same time, I contend that diachronic composition can be profitably carved out from the medley of the surrounding issues more or less at the joints provided by nature itself. And I do subscribe to some sort of realism about the joints of nature. (shrink)

The Fitch paradox poses a serious challenge for anti-realism. This paper investigates the option for an anti-realist to answer the challenge by restricting the knowability principle. Based on a critical discussion of Dummett's and Tennant's suggestions for a restriction desiderata for a principled solution are developed. In the second part of the paper a different restriction is proposed. The proposal uses the notion of uniform formulas and diagnoses the problem arising in the case of Moore sentences in (...) the different status propositional letters receive. The new proposal is able to avoid some of the criticism on its predecessors. (shrink)

The proverb ‘women hold up half the sky’ was created by the Maoist government 64 years ago in order to show that women in ‘New China’ have equal power and rights to their male peers. I selected three photographs for my FLaK zine and called them ‘unwanted girls’, ‘battered wives’ and ‘inglorious women’. To examine the relevance of the proverb in Modern China, I will discuss three women-related problems behind these photographs and analyse their cultural and legal causes. By doing (...) so, I aim to achieve two purposes—first, to help the reader have a better understanding of the problems of women in the region where one-fifth of the global population lives, and second, to argue that seemingly gender neutral law and policy can produce new and greater restrictions on women’s freedom. (shrink)

Some, notably Peter van Inwagen, in order to avoid problems with free will and omniscience, replace the condition that an omniscient being knows all true propositions with a version of the apparently weaker condition that an omniscient being knows all knowable true propositions. I shall show that the apparently weaker condition, when conjoined with uncontroversial claims and the logical closure of an omniscient being's knowledge, still yields the claim that an omniscient being knows all true propositions.

. Dzik [2] gives a direct proof of the axiom of choice from the generalized Lindenbaum extension theorem LET. The converse is part of every decent logical education. Inspection of Dzik’s proof shows that its premise let attributes a very special version of the Lindenbaum extension property to a very special class of deductive systems, here called Dzik systems. The problem therefore arises of giving a direct proof, not using the axiom of choice, of the conditional . A partial (...) solution is provided. (shrink)

In 'The Reference Book' (2012), Hawthorne and Manley observe the following contrast between (1) and (2): -/- (1) In every race John won. (2) In every race, the colt won. -/- The name 'John' in (1) must intuitively refer to the same single individual for each race. However, the description 'the colt' in (2) has a co-varying reading, i.e. a reading where for each race it refers to a different colt. This observation is a prima facie problem for proponents (...) of so-called The-Predicativism which is the view that the name in (1) is really a covert definite description, viz. 'the John'. If the The-Predicativism is correct, (1) and (2) are therefore syntactically equivalent, but this makes it mysterious why only (2) would have a co-varying reading. In a recent paper, Fara (2015) argues that there is a simple and elegant way for proponents of The-Predicativism to explain this contrast. This explanation relies on discerning some subtle syntactic differences between (1) and (2) which in turn are based on assumptions about nominal restrictions a la Stanley and Szabó (2000). In this short paper, I demonstrate that Fara's proposed explanation has a variety of serious shortcomings and hence that the contrast between (1) and (2) remains a significant problem for Predicativism. (shrink)

Consider the following sentences: In every race, the colt won; In every race, John won.John Hawthorne and David Manley say that the difference between these two sentences raises a problem for Predicativism about names. According to the currently more standard version of Predicativism, a bare singular name in argument position, like ‘John’ in , is embedded in a definite description with an unpronounced definite article. The problem is supposed to be that permits a covarying reading that allows for (...) different races to have been won by different colts, while does not permit a covarying reading—it can be true only if there is a single John that won every race. But, the objection runs, if the name ‘John’ is really embedded in a definite description with an unpronounced definite article, then the two sentences are structurally parallel and should not differ with respect to covariation. Appealing to Jason Stanley's ‘Nominal Restriction’ , I show that the difference between the two sentences above not only does not raise a problem for Predicativism but also is actually predicted by it. (shrink)

The problem of closure for the traditional unstructured possible worlds model of attitudinal content is that it treats belief and other cognitive states as closed under entailment, despite apparent counterexamples showing that this is not a necessary property of such states. One solution to this problem, which has been proposed recently by several authors (Schaffer 2005; Yalcin 2018; Hoek forthcoming), is to restrict closure in an unstructured setting by treating propositional attitudes as question-sensitive. Here I argue that this (...) line of response is unsatisfying as it stands because the problem of closure is more general than is typically discussed. A version of the problem recurs for attitudes like wondering, entertaining, considering, and so on, which are directed at questions rather than propositions. For such questioning attitudes, the appeal to question-sensitivity is much less convincing as a solution to the problem of closure. (shrink)

In this paper I discuss two objections raised against von Fintel’s (1994) and Stanley and Szabó’s (2000a) hidden variable approach to quantifier domain restriction (QDR). One of them concerns utterances of sentences involving quantifiers for which no contextual domain restriction is needed, and the other concerns multiple quantified contexts. I look at various ways in which the approaches could be amended to avoid these problems, and I argue that they fail. I conclude that we need a more flexible (...) account of QDR, one that allows for the hidden variables in the LF responsible for QDR to vary in number. Recanati’s (2002; 2004) approach to QDR, which makes use of the apparatus of “variadic functions”, is flexible enough to account successfully for the two phenomena discussed. I end with a few comments on what I take to be the most promising way to construe variadic functions. (shrink)

First I argue that the prohibition of linguistic self-reference as a solution to the antinomy problem contains a pragmatic contradiction and is thus not only too restrictive, but just inconsistent (chap.1). Furthermore, the possibilities of non-restrictive strategies for antinomy avoidance are discussed, whereby the explicit inclusion of the – pragmatically presuposed – consistency requirement proves to be the optimal strategy (chap.2). The central question here is that about the actual reason for antinomic structures. It turns out to be a (...) form of negative self-conditioning (chap.3). This makes it necessary to clarify the status of negative concepts (chap.4). The generalization of these considerations (chap.5) leads to the actual analysis of the antinomic basic structure (chap.6): Decisively for the pragmatics of the concept is that it positively owns a meaning, so that positivity is always constituted by the concept qua concept. Thus a negative concept is characterized by a fundamental ambivalence: From a semantic point of view it has negative character, in its pragmatic status as a concept, however, it has positive character. If the meaning is especially that of a negative self-reference, the ambivalence leads to the antinomic constellation of a negative self-condition – that is the crux of the matter here! The concept thus possesses the property defined by it exactly when it does not possess it and vice versa. A closer analysis shows that the function of reflective structures for the occurrence of antinomies has to be judged much more differentiated than previous opinions suggest. Not only are four forms of reflectivity to be distinguished in this context – ontic, semantic, pragmatic reflectivity, and especially the form of negative self-condition; but it is also apparent that these are intertwined with each other in a way that is difficult to be understood. The astonishing variety of relationships associated with this makes the irritation that has always emanated from the antinomy problem appear more comprehensible. In the developed pragmatic perspective furtheron parallels to the structure of self-consciousness become visible (chap.7). I conclude with considerations about the significance of the antinomic structure for the problem of dialectics, especially for the synthesis formation of mutually exclusive terms (chap.8). ---------- Zunächst wird gezeigt, dass das Verbot sprachlicher Selbstreferenz als Lösung des Antinomienproblems einen pragmatischen Widerspruch enthält und damit nicht nur zu restriktiv, sondern geradezu inkonsistent ist (Kap.1). Ferner werden Möglichkeiten nicht-restriktiver Strategien zur Antinomienvermeidung diskutiert, wobei sich die explizite Einbindung der – pragmatisch präsupponierten – Konsistenzforderung als optimale Strategie erweist (Kap.2). Zentral ist hier die Frage nach dem eigentlichen Grund antinomischer Strukturen. Er erweist sich als eine Form von negativer Selbst-Bedingung (Kap.3). Dies nötigt zu einer Klärung des Status negativer Begriffe (Kap.4). Die Verallgemeinerung dieser Überlegungen (Kap.5) leitet über zur eigentlichen Analyse der antinomischen Grundstruktur (Kap.6): Entscheidend zur Pragmatik des Begriffs gehört, dass ihm eine Bedeutung positiv zukommt, sodass durch den Begriff qua Begriff stets auch Positivität konstituiert ist. Dadurch ist ein negativer Begriff durch eine prinzipielle Ambivalenz gekennzeichnet: In semantischer Hinsicht hat er negativen Charakter, in seinem pragmatischen Status als Begriff hingegen positiven Charakter. Ist die Bedeutung insbesondere die eines negativen Selbstbezugs, führt die Ambivalenz zur antinomischen Konstellation einer negativen Selbst-Bedingung – das ist hier der springende Punkt! Der Begriff besitzt so die durch ihn definierte Eigenschaft genau dann, wenn er sie nicht besitzt und umgekehrt. Die nähere Analyse zeigt, dass hierbei die Funktion reflexiver Strukturen für das Auftreten von Antinomien weitaus differenzierter zu beurteilen ist, als bisherige Auffassungen nahelegen. Nicht nur dass in diesem Kontext vier Formen von Reflexivität – ontische, semantische, pragmatische Reflexivität und insbesondere auch die Form negativer Selbstbedingung – unterschieden werden müssen; es zeigt sich auch, dass diese in schwer durchschaubarer Weise ineinander verschränkt sind. Die damit verbundene erstaunliche Beziehungsvielfalt läßt die Irritation, die seit je vom Antinomienproblem ausging, begreiflicher erscheinen. In der entwickelten pragmatischen Perspektive werden ferner Parallelen zur Struktur von Selbstbewußtsein sichtbar (Kap.7). Ich schließe mit Überlegungen zur Bedeutung der antinomischen Struktur für das Problem der Dialektik, insbesondere zur Synthesebildung einander ausschließender Bestimmungen (Kap.8). (shrink)

Philosophical discussions of akrasia over the last fifteen years have focused on certain skeptical arguments which purport to question the possibility of a kind of akratic action which, following Pears, I call 'last ditch akrasia' (Pears [38]). An agent, succumbing to last ditch akrasia, freely, knowingly, and intentionally performs an action A against his better judgment that an incompatible action B is the better thing to do. (See Audi [1] for a detailed analysis.) Last ditch akrasia is not the only (...) kind that has been discussed. Some philosophers (Mele [32], Scaltas [48]) have been concerned with a more extreme form of akratic action, viz. one in which the agent not only judges that action B is best, but in addition intends (chooses, decides) to B. Some have even questioned whether freely acting against one's better judgment is sufficient for akratic action (Schiffer [49]: 201-3).1 Weaker types of akratic action have been discussed, though to a much lesser extent, since they are thought less problematic. Pears distinguishes last ditch akrasia from what he calls, "motivated irrational action" ([38]: 160). In cases of the latter, the akrates' rebellious desire infects his prior reasoning and thinking in such a way that his contemplated action seems to him warranted, and he acts accordingly. (For a taxonomy of cases of akratic action, see Rorty ([44])). Nor has the discussion of akrasia been restricted to akratic action. Philosophers have discussed whether akrasia can be exhibited in the formation of intentions, wants (See Audi [1]: 181-185), and beliefs (Mele [32]: ch. 8; Heil [19]). The primary focus in this paper is on last ditch akratic action. (shrink)

This paper argues that there is a conflict between two principles informing Locke’s political philosophy, namely his waste restriction and his strong voluntarism. Locke’s waste restriction is proposed as a necessary, enforceable restriction upon rightful private property holdings and it yields arguments to preserve and redistribute natural resources. Locke’s strong voluntarism is proposed as the liberal ideal of political obligations. It expresses Locke’s view that each individual has a natural political power, which can only be transferred to (...) a political body through the individual’s voluntary, actual consent. On this view, the legitimacy of a political power is dependent upon its subjects’ actual consent to its authority. After briefly outlining these two ideas informing Locke’s conception, I argue that we cannot maintain both at the same time. Therefore, contemporary Lockeans must either derive restrictions upon private property concerned with preserving natural resources from other aspects of Locke’s theory or they must accept weak voluntarism as the ideal of political obligations. I argue that both alternatives pose significant problems for the Lockean project. (shrink)

The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. This paper considers the sub-problem of expressing extensional identity and the subset relation in paraconsistent, relevant solutions, in light of a recent proposal from Beall, Brady, Hazen, Priest and Restall [4]. The main result is that the proposal, in the context of an independently motivated formalization of naive set (...) theory, leads to triviality. (shrink)

Traditional ethical theories have paradoxical implications in regards to questions concerning procreation and our moral duties to future people. It has been suggested that the crux of the problem resides in an all too ‘impersonal’ axiology and that the problems of population axiology can be solved by adopting a ‘Person Affecting Restriction’ which in its slogan form states that an outcome can only be better than another if it is better for people. This move has been especially popular (...) in the context of medical ethics where many of the problems of population axiology are actualized. Examples are embryo or egg selection, pre-implantation genetic testing, assisted reproduction programmes, abortion, just to mention a few. I discuss a number of different interpretations of the Restriction and in particular one interpretation which I call Comparativism. According to this view, we should draw a distinction between uniquely and non-uniquely realizable people. The former people only exist in one out of two possible outcomes, whereas the latter exist in both of the compared outcomes. The idea is that we should give more weight to the well-being of non-uniquely realizable people or take it into account in a different way as compared to the well-being of uniquely realizable people. I argue that the different versions of the Person Affecting Restriction and Comparativism either have counterintuitive implications of their own or are compatible with traditional theories such as Utilitarianism. (shrink)

I argue that conventionalists should construe a posteriori necessity as restricted necessity. I take Sidelle’s defence of the conventionalist explanation of a posteriori necessity against the contingency problem as the starting point. Sidelle construes a posteriori necessity as unrestricted necessity and then argues that a posteriori necessity is to be considered under a fixed convention and is thus irrelevant to the contingent nature of our linguistic conventions. I offer a different solution to the contingency problem. I argue that (...) conventionalists should construe a posteriori necessity as restricted necessity based upon a use-based meta-semantic picture. Restricted necessity is contingent in a broader sense and does not conflict with the contingency of conventions. My solution allows conventionalists to explain a posteriori necessity as restricted necessity. I show that the realist’s arguments for a posteriori necessity are unconvincing in regard to real modal features and a posteriori necessity as unrestricted necessity. We thus have good reason to continue to accept a posteriori necessity as restricted necessity under the conventionalist explanation. (shrink)

Recently, Stephan Blatti has argued that a deprivationist view (DV) of death’s harm is incomplete, and he presents a view such that the kind of distinctive harm that death brings to an individual involves the restriction of that individual’s autonomy.2 Not only does death deprivation-harm us, but it also restriction-harms us. Let us label such an account—one that includes both deprivation and restriction as comprising death’s harm—as a ‘deprivationist-restrictionist view’ (or ‘DRV’). Blatti favors DRV because it avoids (...) several worries that beset DV. In this paper, I present several objections to DRV; in particular, I raise some problems for the claim that death restriction-harms us and show that even DRV does not avoid the worries of DV—so there is no reason to prefer DRV over DV. (shrink)

It is a long standing open problem whether or not the Axiom of Countable Choice implies the fragment of Martin's Axiom either in or in. In this direction, we provide a partial answer by establishing that the Boolean Prime Ideal Theorem in conjunction with the Countable Union Theorem does not imply restricted to complete Boolean algebras in. Furthermore, we prove that the latter (formally) weaker form of and the Δ‐system Lemma are independent of each other in.We also answer open (...) questions from Tachtsis [16] which concern the status of restricted to complete Boolean algebras in certain Fraenkel–Mostowski permutation models of and we strengthen some results from the above paper. (shrink)

Animal replaceability is supposed to be a feature of some consequentialist theories, like Utilitarianism. Roughly, an animal is replaceable if it is permissible to kill it because the disvalue thereby caused will be compensated by the value of a new animal’s life. This is specially troubling since the conditions for such compensation seem easily attainable by improved forms of raising and killing animals. Thus, grounding a strong moral status of animals in such theories is somewhat compromised. As is, consequently, their (...) position as an alternative to rights-based theories in animal ethics. Recognising this, some utilitarians tried to disassociate utilitarianism and replaceability. I will here add my voice to this project. However, instead of seeing the culprit in the usual suspects (hedonism, maximisation or the total view), I advance a new proposal. After identifying that the compensating value for a disvaluable action has to be its consequence, I present a restriction on consequences: consequences of sequences of actions cannot be consequences of the isolated actions in the sequences. Given this, the main argument is simple: killing an animal is permissible only if the the value of the new animal’s life is a consequence of the killing; but this value is a consequence of a sequence of actions which involves the killing plus some additional actions; therefore, since, via the restriction, such value is not a consequence of the killing, it is irrelevant to its normative status. I then present two further motivations for the restriction: firstly, it prevents the value of conditional actions from trivially influencing the value of the actions on which they are conditional; secondly, it is useful – even if not a complete solution – to reply other objections to consequentialism: the accordion effect of action and the cluelessness problem. I finally consider a couple of objections. (shrink)

The counterfactual comparative account of harm and benefit has several virtues, but it also faces serious problems. I argue that CCA is incompatible with the prudential and moral relevance of harm and benefit. Some possible ways to revise or restrict CCA, in order to avoid this conclusion, are discussed and found wanting. Finally, I try to show that appealing to the context-sensitivity of counterfactuals, or to the alleged contrastive nature of harm and benefit, does not provide a solution.

The deontic status of tautologies and contradictions is one of the major puzzles for authors of early works on deontic logic. It is well-known that von Wright addresses this problem by adopting a Principle of Deontic Contingency, which says that tautologies are not necessarily obligatory and contradictions are not necessarily forbidden. A more radical solution is proposed by Anderson within a reductionist approach to deontic logic and consists in restricting the range of application of deontic modalities to contingent propositions. (...) Anderson’s solution has not received much attention in the literature, despite reflecting a typical feature of ordinary deontic reasoning, where non-contingent propositions are rarely, if ever, taken into account. In the present article we explore some of its formal consequences, providing a taxonomy of the properties of the Andersonian operators of obligation and permission for contingent propositions, O′ and P′, in the class of normal alethic systems. (shrink)

As it is known, there is no rule satisfying Additivity in the complete domain of bankruptcy problems. This paper proposes a notion of partial Additivity in this context, to be called µ-additivity. We find that µ-additivity, together with two quite compelling axioms, anonymity and continuity, identify the Minimal Overlap rule, introduced by Neill (1982).