This paper extends Kripke’s theory of truth to a language with a variably strict conditional operator, of the kind that Stalnaker and others have used to represent ordinary indicative conditionals of English. It then shows how to combine this with a different and independently motivated conditional operator, to get a substantial logic of restricted quantification within naive truth theory.

May's theorem famously shows that, in social decisions between two options, simple majority rule uniquely satisfies four appealing conditions. Although this result is often cited in support of majority rule, it has never been extended beyond decisions based on pairwise comparisons of options. We generalize May's theorem to many-option decisions where voters each cast one vote. Surprisingly, plurality rule uniquely satisfies May's conditions. This suggests a conditional defense of plurality rule: If a society's balloting procedure collects only a single (...) vote from each voter, then plurality rule is the uniquely compelling electoral procedure. To illustrate the conditional nature of this claim, we also identify a richer informational environment in which approval voting, not plurality rule, is supported by a May-style argument. (shrink)

In this paper I present a range of substructural logics for a conditional connective ↦. This connective was original introduced semantically via restriction on the ternary accessibility relation R for a relevant conditional. I give sound and complete proof systems for a number of variations of this semantic definition. The completeness result in this paper proceeds by step-by-step improvements of models, rather than by the one-step canonical model method. This gradual technique allows for the additional control, lacking in (...) the canonical model method, that is required. (shrink)

We use imperatives to refute a naïve analysis of update potentials (force-operators attaching to sentences), arguing for a dynamic analysis of imperative force as restrictable, directed, and embeddable. We propose a dynamic, non-modal analysis of conditional imperatives, as a counterpoint to static, modal analyses. Our analysis retains Kratzer's analysis of if-clauses as restrictors of some operator, but avoids typing it as a generalized quantifier over worlds (against her), instead as a dynamic force operator. Arguments for a restrictor treatment (but (...) against a quantificational treatment) are mustered, and we propose a novel analysis of update on conditional imperatives (and an independently motivated revision of the standard ordering-semantics for root modals that makes use of it). Finally, we argue that imperative force is embeddable under an operation much like dynamic conjunction. (shrink)

The paper reviews a number of approaches for handling restricted quantification in relevant logic, and proposes a novel one. This proceeds by introducing a novel kind of enthymematic conditional.

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)

This volume explores a central paradox in the evolution of psychoanalytic thought and practice and the ways in which they were used.

It is often possible to know what a speaker intends to communicate without knowing what they intend to say. In such cases, speakers need not intend to say anything at all. Stanley and Szabó's influential survey of possible analysis of quantifier domain restriction is, therefore, incomplete and the arguments made by Clapp and Buchanan against Truth Conditional Compositionality and propositional speaker-meaning are flawed. Two theories should not always be viewed as incompatible when they associate the same utterance with different (...) propositions, as there may be many ways to interpret speakers that are compatible with their intentions. (shrink)

If we want to retain classical logic and standard syntax in light of the liar, we are forced to restrict the T-schema. The traditional philosophical justification for this is sentential – liar sentences somehow malfunction. But the standard formal way of implementing this is conditional, our T-sentences tell us that if “p” does not malfunction, then “p” is true if and only if p. Recently Bacon and others have pointed out that conditional T-restrictions like this flirt with incoherence. (...) If we want to keep the “malfunction” motivation, our only other option is to non-conditionally restrict the T-schema, but Field and others have given powerful philosophical and technical arguments against this kind of approach. Here I argue that if we really take the philosophical motivation for restricting T-sentences seriously, we can explain why conditional restrictions fail, answer Field's argument, and reason in a coherent way about truth using a non-conditional restriction strategy. This cracks the door open for a fully classical response to the liar and related paradoxes. In closing, I argue that, when properly understood, this kind of “restriction” is not really a restriction at all. If this is right, then the holy grail of liar studies (classical logic, naïve truth, and standard syntax) may yet be attainable. (Note for readers: when this paper was first put online, the typesetters had changed some instances of corners to brackets, leading to confusion. The paper has now been corrected online by PPR, so please make sure you have the corrected version before reading or citing.). (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)

Sequel to Armendt 1986, ‘A Foundation for Causal Decision Theory.’ The representation theorem for causal decision theory is slightly revised, with the addition of a new restriction on lotteries and a new axiom (A7). The discussion gives some emphasis to the way in which appropriate K-partitions are characterized by relations found among the agent’s conditional preferences. The intended interpretation of conditional preference is one that embodies a sensitivity to the agent’s causal beliefs.

Despite the lack of evidence for their effectiveness, the use of physical restraints for patients is widespread. The best ethical justification for restraining patients is that it prevents them from harming themselves. We argue that even if the empirical evidence supported their effectiveness in achieving this aim, their use would nevertheless be unethical, so long as well known exceptions to informed consent fail to apply. Specifically, we argue that ethically justifiable restraint use demands certain necessary and sufficient conditions. These conditions (...) are that the physician obtain informed consent for their application, that their application be medically appropriate, and that restraints be the least liberty-restricting way of achieving the intended benefit. It is a further question whether their application is ever medically appropriate, given the dearth of evidence for their effectiveness. (shrink)

The possibility of domain restrictions that allow the consistent use of majority-based aggregators for rankings of objects has been widely explored. This paper extends this exploration to structures in which equivalence relations or classifications are aggregated, and shows that there is very limited scope for such restrictions in the binary structure of Mirkin and in the unary structure of Maniquet and Mongin. We develop a hybrid structure that combines binary and unary conditions on the aggregator, and that allows the use (...) of a majority-based aggregator if and only if each object is eligible for inclusion in no more than two categories out of some greater number. We also show that in many circumstances, the surjectivity requirement of Maniquet and Mongin implicitly introduces binary conditions on the aggregator, and that their structure is entailed by the hybrid structure introduced here. (shrink)

When do objects at different times compose a further object? This is the question of diachronic composition. The universalist answers, ‘under any conditions whatsoever’. Others argue for restrictions on diachronic composition: composition occurs only when certain conditions are met. Recently, some philosophers have argued that restrictions on diachronic compositions are motivated by our best physical theories. In Persistence and Spacetime and elsewhere, Yuri Balashov argues that diachronic compositions are restricted in terms of causal connections between object stages. In a (...) recent article, Nikk Effingham argues that the standard objections to views that endorse restrictions on composition do not apply to a view that restricts composition according to compliance with the laws of nature. On the face of it, such restrictions on diachronic composition preserve our common-sense ontology while eliminating from it scientifically revisionary objects that travel faster than the speed of light. I argue that these attempts to restrict diachronic composition by appealing to either causal or nomological constraints face insurmountable difficulties within the context of special relativity. I discuss how the universalist should best respond to Hudson’s argument for superluminal objects, and in doing so, I present and defend a new sufficient condition for motion that does not entail that such objects are in superluminal motion. 1 Introduction2 Diachronic Composition3 Diachronic Composition and Superluminal Objects4 Restricting Diachronic Composition5 Causal and Nomological Restrictions on Composition in a Relativistic Context6 Superluminal Objects and Motion7 Conclusion. (shrink)

In this paper, we study two companions of a logic, viz., the left variable inclusion companion and the restricted rules companion, their nature and interrelations, especially in connection with paraconsistency. A sufficient condition for the two companions to coincide has also been proved. Two new logical systems—intuitionistic paraconsistent weak Kleene logic (IPWK) and paraconsistent pre-rough logic (PPRL)—are presented here as examples of logics of left variable inclusion. IPWK is the left variable inclusion companion of intuitionistic propositional logic and is (...) also the restricted rules companion of it. PPRL, on the other hand, is the left variable inclusion companion of pre-rough logic but differs from the restricted rules companion of it. We have discussed algebraic semantics for these logics in terms of Płonka sums. This amounts to introducing a contaminating truth value, intended to denote a state of indeterminacy. (shrink)

Anyone who has ever worked with a variety \ of algebras with a reduct in the variety of bounded distributive lattices will know a restricted Priestley duality when they meet one—but until now there has been no abstract definition. Here we provide one. After deriving some basic properties of a restricted Priestley dual category \ of such a variety, we give a characterisation, in terms of \, of finitely generated discriminator subvarieties of \. As an application of our (...) characterisation, we give a new proof of Sankappanavar’s characterisation of finitely generated discriminator varieties of distributive double p-algebras. A substantial portion of the paper is devoted to the application of our results to Cornish algebras. A Cornish algebra is a bounded distributive lattice equipped with a family of unary operations each of which is either an endomorphism or a dual endomorphism of the bounded lattice. They are a natural generalisation of Ockham algebras, which have been extensively studied. We give an external necessary-and-sufficient condition and an easily applied, completely internal, sufficient condition for a finite set of finite Cornish algebras to share a common ternary discriminator term and so generate a discriminator variety. Our results give a characterisation of discriminator varieties of Ockham algebras as a special case, thereby yielding Davey, Nguyen and Pitkethly’s characterisation of quasi-primal Ockham algebras. (shrink)

This paper investigates the meaning of restricted quantification when the embedded conditional is taken as the conditional of some first-order connexive logics. The study is carried out by checking the suitability of RQ for defining a connexive class theory, in analogy to the definition of Boolean class theory by using RQ in classical logic. Negative results are obtained for Wansing’s first-order connexive logic QC and one variant of Priest’s first-order connexive logic QP. A positive result is obtained (...) for another variant of QP. (shrink)

I develop and defend a novel answer to Peter van Inwagen’s ‘Special Composition Question,’ (SCQ) namely, under what conditions do some things compose and object? My answer is that things will compose an object when and only when they exist simultaneously relative to a reference frame (I call this ‘Temporally Restricted Composition’ or TREC). I then show how this view wards off objections given to ‘Unrestricted Mereology’ (UM). TREC, unlike other theories of Restricted Composition, does not fall prey (...) to worries about vagueness, anthropocentrism, or arbitrariness. TREC also has advantages over all the other answers to the SCQ. TREC is an account an A-theorist anti-Eternalist who wants an unrestricted mereology should accept. I also engage in some conceptual hygiene by showing how UM, as it should be used, should not, in itself, entail or contain a commitment to either Eternalism or Four-Dimensionalism. (shrink)

A conversation can be conceived as aiming to circumscribe a set of possibilities that are relevant to the goals of the conversation. This set of possibilities may be conceived as determined by the goals and objective circumstances of the interlocutors and not by their propositional attitudes. An indicative conditional can be conceived as circumscribing a set of possibilities that have a certain property: If the set of relevant possibilities is subsequently restricted to one in which the antecedent holds, (...) then it will be restricted as well to one in which the consequent holds. We will identify a number of desiderata concerning the validity of arguments; we will develop a formally precise semantics for conditionals conceived in this way that satisfies the desiderata, and we will present a deductive calculus that is sound and complete with respect to the semantics. Finally, we will argue that the semantics compares well, both formally and foundationally, with two other semantic theories of indicative conditionals that satisfy the desiderata, namely, those of Gillies and Bledin. (shrink)

I give an account of the compositional semantics of unconditionals that explains their relationship to if -conditionals in the Lewis/Kratzer/Heim tradition. Unconditionals involve an alternative-denoting adjunct that supplies domain restrictions pointwise to a main-clause operator such as a modal. The differences from if -clauses follow from the structure of the adjuncts; both are conditionals in the Lewisian sense. In the course of treating unconditionals, I provide a concrete implementation of conditionals where conditional adjuncts in general are a species of (...) correlative, and show what detaching this hypothesis from if involves. (shrink)

In this paper we consider conditional random quantities (c.r.q.’s) in the setting of coherence. Based on betting scheme, a c.r.q. X|H is not looked at as a restriction but, in a more extended way, as \({XH + \mathbb{P}(X|H)H^c}\) ; in particular (the indicator of) a conditional event E|H is looked at as EH + P(E|H)H c . This extended notion of c.r.q. allows algebraic developments among c.r.q.’s even if the conditioning events are different; then, for instance, we can (...) give a meaning to the sum X|H + Y|K and we can define the iterated c.r.q. (X|H)|K. We analyze the conjunction of two conditional events, introduced by the authors in a recent work, in the setting of coherence. We show that the conjoined conditional is a conditional random quantity, which may be a conditional event when there are logical dependencies. Moreover, we introduce the negation of the conjunction and by applying De Morgan’s Law we obtain the disjoined conditional. Finally, we give the lower and upper bounds for the conjunction and disjunction of two conditional events, by showing that the usual probabilistic properties continue to hold. (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.

Causal selection and priority are at the heart of discussions of the causal parity thesis, which says that all causes of a given effect are on a par, and that any justified priority assigned to a given cause results from causal explanatory interests. In theories of causation that provide necessary and sufficient conditions for the truth of causal claims, status as cause is an either/or issue: either a given cause satisfies the conditions or it does not. Consequently, assessments of causal (...) parity and priority require more resources, which can either be additional or part of the causal analysis itself. While adding resources in terms of a theory of causal explanation has been standard, here we develop a unified conceptual analysis that includes a range of different precise causal concepts that allows for assessments of causal priority in terms of different kinds of causal relevance. (shrink)

Since the earliest formalisation of default logic by Reiter many contributions to this appealing approach to nonmonotonic reasoning have been given. The different formalisations are here presented in a general framework that gathers the basic notions, concepts and constructions underlying default logic. Our view is to interpret defaults as special rules that impose a restriction on the juxtaposition of monotonic Hubert-style proofs of a given logicL. We propose to describe default logic as a logic where the juxtaposition of default proofs (...) is subordinate to a restriction condition . Hence a default logic is a pair (L, ) where properties of the logic , like compactness, can be interpreted through the restriction condition . Different default systems are then given a common characterization through a specific condition on the logicL. We also prove cumulativity for any default logic (L, ) by slightly modifying the notion of default proof. We extend, in fact, the language ofL in a way close to that followed by Brewka in the formulation of his cumulative default system. Finally we show the existence of infinitely many intermediary default logics, depending on and called linear logics, which lie between Reiter's and ukaszewicz' versions of default logic. (shrink)

The practice of medicine frequently involves the unconsented restriction of liberty. The reasons for unilateral liberty restrictions are typically that being confined, strapped down, or sedated are necessary to prevent the person from harming themselves or others. In this paper, we target the ethics of chemical restraints, which are medications that are used to intentionally restrict the mental states associated with the unwanted behaviors, and are typically not specifically indicated for the condition for which the patient is being treated. Specifically, (...) we aim to identify the conditions under which chemical restraints are ethically permissible. It is wrong to assume that what is morally true of physical restraints is also true of chemical restraints. Our aim is thus to identify the conditions under which chemical restraints are permissible while distinguishing these conditions from those of the application of physical restraints. (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)

ABSTRACT Section 1 discusses properties and propositions, and some of the motivation for an account in which property instantiation and propositional truth behave ‘naively’. Section 2 generalizes a standard Kripke construction for naive properties and propositions, in a language with modal operators but no conditionals. Whereas Kripke uses a 3-valued value space, the generalized account allows for a broad array of value spaces, including the unit interval [0,1]. This is put to use in Section 3, where I add to the (...) language a conditional suitable for restricting quantification. The shift from a value space based on the ‘mini-space’ {0,, 1} to one based on the ‘mini-space’ [0,1] leads to more satisfactory results than I was able to achieve in previous work: a vast variety of paradoxical sentences can now be treated very simply. In Section 4 I make a further addition to the language, a conditional modeled on the ordinary English conditional, paying particular attention to how it interacts with the restricted quantifier conditional. This is all done in the [0,1] framework, and two alternatives are considered for how the ordinary conditional is to be handled; one of them results from adding a tweak to a construction by Ross Brady. Section 5 discusses a further alternative, a standard relevance conditional (for the ordinary conditional, perhaps for use with a different quantifier-restricting conditional), but argues that it is not promising. Section 6 discusses the identity conditions of properties and propositions (again in the setting of a value space based on [0,1]); the issue of achieving naivety for coarse-grained properties is seen to be more complicated than some brief remarks in Field [2010] suggested, but a way to get a fair degree of coarse-grainedness is shown. (shrink)

Converging data from different disciplines are showing the role of classical conditioning processes in the elaboration of human and animal behavior to be larger than previously supposed. Restricted views of classically conditioned responses as merely secretory, reflexive, or emotional are giving way to a broader conception that includes problem-solving, and other rule-governed behavior thought to be the exclusive province of either operant conditiońing or cognitive psychology. These new views have been accompanied by changes in the way conditioning is conducted (...) and evaluated. Data from a number of seemingly unrelated phenomena such as relapse to drug abuse by postaddicts, the placebo effect, and the immune response appear to involve classical conditioning processes. Classical conditioning, moreover, has been found to occur in simpler and simpler organisms and recently even demonstrated in brain slices and in utero. This target article will integrate the several research areas that have used the classical conditioning process as an explanatory model; it will challenge teleological interpretations of the classically conditioned CR and offer some basic principles for testing conditioning in diverse areas. (shrink)

The Adams Thesis holds for a conditional → and a probability assignment P if and only if P=P whenever P>0. The restriction ensures that P is well defined by the classical formula P=P/P. Drawing on deep results of Maharam on measure algebras, it is shown that, notwithstanding well-known triviality results, any probability space can be extended to a probability space with a new conditional satisfying the Adams Thesis and satisfying a number of axioms for conditionals. This puts significant (...) limits on how far triviality results can go. (shrink)

The paper begins with the prerequisite assumption that social deprivation is a fragile and porous category. Thus, our hypothesis is, that how people are affected by the restrictions against the spreading of the coronavirus is often discussed in far too general and simplistic terms. It is often taken as a given, that the virus and the restriction measures not only have caused severe difficulties for us all (due to social distancing, fear, affected health, etc.), but that the measures have exacerbated (...) already previously existing forms of social deprivation. Therefore, it is assumed that marginalized groups are particularly affected by these effects of the pandemic. Two major German studies show the alleged effects of the relevant measures on adolescents and emerging adults (COPSY and FIBS) against the backdrop of social and economic deprivation; their results confirmed that social deprivation entails a higher degree of being affected by the pandemic.However, this picture becomes thwarted by considering the results of 10 narrative interviews, that were conducted by us with emerging adults in a German vocational training institute between April and August 2021 and showed variegated forms of experiencing issues related to the pandemic. In our analysis, we used the method of objective hermeneutics. In this paper, we present our considerations by outlining two contrastive experiences with the Covid-19 pandemic, in order to highlight the divergent ways in which the pandemic has been experienced even among individuals who previously had been affected by social deprivation – at least at first glance – in similar ways. The conceptual lens through which we interpret these two examples is, firstly, the one of precariousness and precarity (Butler 2009). And secondly, the concept of recognition derived from Honneth’s pertinent theory and Butler’s account of recognizability will play a pivotal role. While Honneth’s approach allows us to emphasize the normative and existential role of the fulfilment of our basic desire for recognition and the detrimental implications of disregard, Butler provides us with the means to thoroughly analyse the socio-historical conditions of misrecognition and social invisibility. Moreover, Butler focuses specifically on the recognizability of precariousness (Honneth’s triad of love, being respected as a rights bearer and solidarity shows a different focus). Combining qualitative research on precarious live circumstances with a theoretical perspective on recognition can also be found in a stunning research on couples in atypical working relations (Wimbauer and Motakef 2019). Proceeding from these theories and ‘applying’ them to our empirical material, we seek to call into question a too generalizing and hegemonic picture of how people were affected by pertinent restrictions. Qualitative interviews are able to point us to significant differences in the experience of the restrictions.In terms of an outlook, we suggest that a sensitization for previously excluded kinds of experiences forms a crucial basis for a less normalizing, that is, more inclusive account of interpreting the affectedness and needs of variegated social groups; the pandemic has influenced and altered structures of the recognition of vulnerability and, by the same token, made them more explicit. It thus is an occasion for a critical engagement with the recognizability of needs, deprivation, discrimination, and related phenomena. (shrink)

In judgment aggregation, unlike preference aggregation, not much is known about domain restrictions that guarantee consistent majority outcomes. We introduce several conditions on individual judgments su¢ - cient for consistent majority judgments. Some are based on global orders of propositions or individuals, others on local orders, still others not on orders at all. Some generalize classic social-choice-theoretic domain conditions, others have no counterpart. Our most general condition generalizes Sen’s triplewise value-restriction, itself the most general classic condition. We also prove a (...) new characterization theorem: for a large class of domains, if there exists any aggregation function satisfying some democratic conditions, then majority voting is the unique such function. Taken together, our results provide new support for the robustness of majority rule. (shrink)

How does the presence of women’s INGOs relate to restrictions on women’s civil society? Although women’s INGOs may help protect against civil society restrictions in most situations, we contend that the presence of women’s INGOs within a country may lead to increased restrictions on women’s civil society when countries are extremely economically or politically vulnerable. At these times, women’s INGOs are more likely to be seen as an outside instigator, possibly leading to more political or economic change. In an effort (...) to retain power, leaders may use women’s INGOs as scapegoats; attention to them and restrictions on women’s civil society more generally may be a tactic taken by a leader that is politically or economically vulnerable. We test our hypotheses in a cross-national sample of non-OECD countries from 1975 to 2013, using new data on civil society restrictions and the involvement of women’s INGOs. We find evidence in support of our central argument: economic and political vulnerability may condition the relationship between women’s INGOs and future restrictions on women’s civil society. (shrink)

I propose an account of indicative conditionals that combines features of minimal change semantics and information semantics. As in information semantics, conditionals are interpreted relative to an information state in accordance with the Ramsey test idea: “if p then q” is supported at a state s iff q is supported at the hypothetical state s[p] obtained by restricting s to the p-worlds. However, information states are not modeled as simple sets of worlds, but by means of a Lewisian system of (...) spheres. Worlds in the inner sphere are considered possible; worlds outside of it are ruled out, but to different degrees. In this way, even when a state supports “not p”, it is still possible to suppose p consistently. I argue that this account does better than its predecessors with respect to a set of desiderata concerning inferences with conditionals. In particular, it captures three important facts: that a conditional is logically independent from its antecedent; that a sequence of antecedents behaves like a single conjunctive antecedent ; and that conditionals restrict the quantification domain of epistemic modals. I also discuss two ways to construe the role of a premise, and propose a generalized notion of entailment that keeps the two apart. (shrink)

The standard use of the propositional calculus ('P.C.?) in analyzing the validity of inferences involving conditionals leads to fallacies, and the problem is to determine where P.C. may be ?safely? used. An alternative analysis of criteria of reasonableness of inferences in terms of conditions of justification rather than truth of statements is proposed. It is argued, under certain restrictions, that P. C. may be safely used, except in inferences whose conclusions are conditionals whose antecedents are incompatible with the premises in (...) the sense that if the antecedent became known, some of the previously asserted premises would have to be withdrawn. (shrink)

It is natural to ask under what conditions negating a conditional is equivalent to negating its consequent. Given a bivalent background logic, this is equivalent to asking about the conjunction of Conditional Excluded Middle (CEM, opposite conditionals are not both false) and Weak Boethius' Thesis (WBT, opposite conditionals are not both true). In the system CI.0 of consequential implication, which is intertranslatable with the modal logic KT, WBT is a theorem, so it is natural to ask which instances (...) of CEM are derivable. We also investigate the systems CIw and CI of consequential implication, corresponding to the modal logics K and KD respectively, with occasional remarks about stronger systems. While unrestricted CEM produces modal collapse in all these systems, CEM restricted to contingent formulas yields the Alt2 axiom (semantically, each world can see at most two worlds), which corresponds to the symmetry of consequential implication. It is proved that in all the main systems considered, a given instance of CEM is derivable if and only if the result of replacing consequential implication by the material biconditional in one or other of its disjuncts is provable. Several related results are also proved. The methods of the paper are those of propositional modal logic as applied to a special sort of conditional. (shrink)

There are plenty of classic paradoxes about conditional obligations, like the duty to be gentle if one is to murder, and about “supererogatory” deeds beyond the call of duty. But little has been said about the intersection of these topics. We develop the first general account of conditional supererogation, with the power to solve familiar puzzles as well as several that we introduce. Our account, moreover, flows from two familiar ideas: that conditionals restrict quantification and that supererogation emerges (...) from a clash between justifying and requiring reasons. (shrink)

Indicative and subjunctive conditionals are in non-complimentary distribution: there are conversational contexts at which both are licensed (Stalnaker 1975; Karttunen and Peters 1979; von Fintel 1998). This means we can ask an important, but under-explored, question: in contexts which license both, what relations hold between the two? In this paper, I’ll argue for an initially surprising conclusion: when attention is restricted to the relevant contexts, indicatives and subjunctives are co-entailing. §1 introduces the indicative/subjunctive distinction, along with a discussion of (...) the relevant notion of entailment; §2 presents the main argument of the paper, and §3 considers some of the philosophical implications of the argument in §2. Finally, §4 argues that we can reconcile the equivalence of indicatives and subjunctives with apparently conflicting judgements. (shrink)

. 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)