There are two ways of representing rational belief: qualitatively as yes-or-no belief, and quantitatively as degrees of belief. Standard rationality conditions are: consistency and logical closure, for qualitative belief, satisfaction of the probability axioms, for quantitative belief, and a relationship between qualitative and quantitative beliefs in accordance with the Lockean thesis. In this paper, it is shown that these conditions are inconsistent with each of three further rationality conditions: fallibilism, open-mindedness, and invariance under independent conceptual expansions. Restrictions of the Lockean (...) thesis that have been suggested in the literature cannot remove the inconsistency. In the outlook we discuss two alternative ways of dealing with this problem: restricting conjunctive closure or going for a dual system account. (shrink)

According to influential accounts of scientific method, such as critical rationalism, scientific knowledge grows by repeatedly testing our best hypotheses. But despite the popularity of hypothesis tests in statistical inference and science in general, their philosophical foundations remain shaky. In particular, the interpretation of non-significant results—those that do not reject the tested hypothesis—poses a major philosophical challenge. To what extent do they corroborate the tested hypothesis, or provide a reason to accept it? Popper sought for measures of corroboration that could (...) adequately answer this question. According to Popper, corroboration is different from probability-raising, and grounded in the predictive success and testability of a hypothesis. As such, corroboration becomes an indicator of the scientific value of a hypothesis and guides our practical preferences over hypotheses that have been subjected to severe tests. This article proves two impossibility results for corroboration measures based on statistical relevance. The generality of these results shows that Popper’s qualitative characterization of corroboration must be misguided. I explore what a more promising and scientifically useful concept of corroboration could look like. (shrink)

If we receive information from multiple independent and partially reliable information sources, then whether we are justified to believe these information items is affected by how reliable the sources are, by how well the information coheres with our background beliefs and by how internally coherent the information is. We consider the following question. Is coherence a separable determinant of our degree of belief, i.e. is it the case that the more coherent the new information is, the more justified we are (...) in believing the new information, ceteris paribus? We show that if we consider sets of information items of any size (Holism), and if we assume that there exists a coherence Ordering over such sets and that coherence is a function of the probability distribution over the propositions in such sets (Probabilism), then Separability fails to hold. (shrink)

Following Lauwers and Van Liedekerke (1995), this paper explores in a model-theoretic framework the relation between Arrovian aggregation rules and ultraproducts, in order to investigate a source of impossibility results for the case of an infinite number of individuals and an aggregation rule based on a free ultrafilter of decisive coalitions.

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model extremely non-ideal agents that (...) are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

Methodological individualists often claim that any social phenomenon can ultimately be explained in terms of the actions and interactions of individuals. Any Nagelian version of methodological individualism requires that there be bridge laws that translate social statements into individualistic ones. We show that Nagelian individualism can be put to logical scrutiny by making the relevant social and individualistic languages fully explicit and mathematically precise. In particular, we prove that the social statement that a group of (at least two) agents performs (...) a deontically admissible group action cannot be expressed in a well-established deontic logic of agency that models every combination of actions, omissions, abilities, and obligations of finitely many individual agents. (shrink)

It is shown that the axioms Cubitt and Sugden (1994; Economic J. 104: 798) impose on a theory of rationally justifiable play (TRJP) do not prevent the possibility that two players necessarily disagree concerning the probability they ascribe to the choice of a third player. This appears to indicate that those axioms are not sufficient for defining a `reasonable' TRJP. In addition, for the case in which a player's beliefs are statistically independent, conditions for a TRJP are suggested under which (...) the existence of a quasi-strict equilibrium is sufficient, but the existence of a consistent n-pair is not, for defining a TRJP meeting those requirements. (shrink)

We show that a set of prima facie plausible assumptions on the relation of meaning resemblance – one of which is a compositionality postulate – is inconsistent. On this basis we argue that either there is no theoretically useful notion of semantic resemblance at all, or the traditional conception of the compositionality of meaning has to be adapted. In the former case, arguments put forward by Nelson Goodman and Paul Churchland in favor of the concept of meaning resemblance are defeated. (...) In the other case, it must be possible to account for 'degrees of compositionality' or for other refinements of compositionality that are compatible with meaning resemblance. (shrink)

Free Choice is the principle that possibly p or q implies and is implied by possibly p and possibly q. A variety of recent attempts to validate Free Choice rely on a nonclassical semantics for disjunction, where the meaning of p or q is not a set of possible worlds. This paper begins with a battery of impossibility results, showing that some kind of nonclassical semantics for disjunction is required in order to validate Free Choice. The paper then provides (...) a positive account of Free Choice, by identifying a family of dynamic semantics for disjunction that can validate the inference. On all such theories, the meaning of p or q has two parts. First, p or q requires that our information is consistent with each of p and q. Second, p or q narrows down our information by eliminating some worlds. It turns out that this second component of or is well behaved: there is a strongest such meaning that p or q can express, consistent with validating Free Choice. The strongest such meaning is the classical one, on which p or q eliminates any world where both p and q are false. In this way, the classical meaning of disjunction turns out to be intimately related to the validity of Free Choice. (shrink)

Suppose that the members of a group each hold a rational set of judgments on some interconnected questions, and imagine that the group itself has to form a collective, rational set of judgments on those questions. How should it go about dealing with this task? We argue that the question raised is subject to a difficulty that has recently been noticed in discussion of the doctrinal paradox in jurisprudence. And we show that there is a general impossibility theorem that (...) that difficulty illustrates. Our paper describes this impossibility result and provides an exploration of its significance. The result naturally invites comparison with Kenneth Arrow's famous theorem (Arrow, 1963 and 1984; Sen, 1970) and we elaborate that comparison in a companion paper (List and Pettit, 2002). The paper is in four sections. The first section documents the need for various groups to aggregate its members' judgments; the second presents the discursive paradox; the third gives an informal statement of the more general impossibility result; the formal proof is presented in an appendix. The fourth section, finally, discusses some escape routes from that impossibility. (shrink)

The ``doctrinal paradox'' or ``discursive dilemma'' shows that propositionwise majority voting over the judgments held by multiple individuals on some interconnected propositions can lead to inconsistent collective judgments on these propositions. List and Pettit (2002) have proved that this paradox illustrates a more general impossibility theorem showing that there exists no aggregation procedure that generally produces consistent collective judgments and satisfies certain minimal conditions. Although the paradox and the theorem concern the aggregation of judgments rather than preferences, they invite (...) comparison with two established results on the aggregation of preferences: the Condorcet paradox and Arrow's impossibility theorem. We may ask whether the new impossibility theorem is a special case of Arrow's theorem, or whether there are interesting disanalogies between the two results. In this paper, we compare the two theorems, and show that they are not straightforward corollaries of each other. We further suggest that, while the framework of preference aggregation can be mapped into the framework of judgment aggregation, there exists no obvious reverse mapping. Finally, we address one particular minimal condition that is used in both theorems – an independence condition – and suggest that this condition points towards a unifying property underlying both impossibility results. (shrink)

In his groundbreaking book, Against Coherence (2005), Erik Olsson presents an ingenious impossibility theorem that appears to show that there is no informative relationship between probabilistic measures of coherence and higher likelihood of truth. Although Olsson's result provides an important insight into probabilistic models of epistemological coherence, the scope of his negative result is more limited than generally appreciated. The key issue is the role conditional independence conditions play within the witness testimony model Olsson uses to establish (...) his result. Olsson maintains that his witness model yields charitable ceteris paribus conditions for any theory of probabilistic coherence. Not so. In fact, Olsson's model, like Bayesian witness models in general, selects a peculiar class of models that are in no way representative of the range of options available to coherence theorists. Recent positive results suggest that there is a way to develop a formal theory of coherence after all. Further, although Bayesian witness models are not conducive to the truth, they are conducive to reliability. (shrink)

While a large social-choice-theoretic literature discusses the aggregation of individual judgments into collective ones, there is much less formal work on the transformation of judgments in group communication. I develop a model of judgment transformation and prove a baseline impossibility theorem: Any judgment transformation function satisfying some initially plausible conditions is the identity function, under which no opinion change occurs. I identify escape routes from this impossibility and argue that the kind of group communication envisaged by deliberative democats (...) must be "holistic": It must focus on webs of connected propositions, not on one proposition at a time, which echoes the Duhem-Quine "holism thesis" on scientific theory testing. My approach provides a map of the logical space in which different possible group communication processes are located. (shrink)

This paper addresses how multiple individual credences on logically related issues should be aggregated into collective binary beliefs. We call this binarizing belief aggregation. It is vulnerable to dilemmas such as the discursive dilemma or the lottery paradox: proposition-wise independent aggregation can generate inconsistent or not deductively closed collective judgments. Addressing this challenge using the familiar axiomatic approach, we introduce general conditions on a binarizing belief aggregation rule, including rationality conditions on individual inputs and collective outputs, and determine which rules (...) (if any) satisfy different combinations of these conditions. Furthermore, we analyze similarities and differences between our proofs and other related proofs in the literature and conclude that the problem of binarizing belief aggregation is a free-standing aggregation problem not reducible to judgment aggregation or probabilistic opinion pooling. (shrink)

Peter G¨ ardenfors proved a theorem purporting to show that it is impossible to adjoin to the AGM -postulates for belief-revision a principle of monotonicity for revisions. The principle of monotonicity in question is implied by the Ramsey test for conditionals. So G¨.

An impossibility result for completely abstract social aggregation rules is presented. It is shown that non-imposition and a new no-veto property (two properties in the spirit of the Pareto principle and non-dictatorship respectively) are incompatible with an inter-profile consistency condition formulated in terms of proximity preservation.

This paper establishes a new impossibility result for welfaristic evaluations when the population varies. We consider a weak version of the repugnant conclusion instead of the commonly used version. It is shown that if a population principle satisfying two reasonable properties avoids the sadistic conclusion, then the weak repugnant conclusion must hold. We use a general variable-population setting where the identities of individuals can matter.

Modal knowledge accounts that are based on standards possible-worlds semantics face well-known problems when it comes to knowledge of necessities. Beliefs in necessities are trivially sensitive and safe and, therefore, trivially constitute knowledge according to these accounts. In this paper, I will first argue that existing solutions to this necessity problem, which accept standard possible-worlds semantics, are unsatisfactory. In order to solve the necessity problem, I will utilize an unorthodox account of counterfactuals, as proposed by Nolan, on which we also (...) consider impossible worlds. Nolan’s account for counterpossibles delivers the intuitively correct result for sensitivity i.e. S’s belief is sensitive in intuitive cases of knowledge of necessities and insensitive in intuitive cases of knowledge failure. However, we acquire the same plausible result for safety only if we reject his strangeness of impossibility condition and accept the modal closeness of impossible worlds. In this case, the necessity problem can be analogously solved for sensitivity and safety. For some, such non-moderate accounts might come at too high a cost. In this respect, sensitivity is better off than safety when it comes to knowing necessities. (shrink)

In this paper, we show that Arrow’s well-known impossibility theorem is instrumental in bringing the ongoing discussion about verisimilitude to a more general level of abstraction. After some preparatory technical steps, we show that Arrow’s requirements for voting procedures in social choice are also natural desiderata for a general verisimilitude definition that places content and likeness considerations on the same footing. Our main result states that no qualitative unifying procedure of a functional form can simultaneously satisfy the requirements (...) of Unanimity, Independence of irrelevant alternatives and Non-dictatorship at the level of sentence variables. By giving a formal account of the incompatibility of the considerations of content and likeness, our impossibility result makes it possible to systematize the discussion about verisimilitude, and to understand it in more general terms. (shrink)

The success of Bovens and Hartmann’s recent “impossibility result” against Bayesian Coherentism relies upon the adoption of a specific set of ceteris paribus conditions. In this paper, I argue that these conditions are not clearly appropriate; certain proposed coherence measures motivate different such conditions and also call for the rejection of at least one of Bovens and Hartmann’s conditions. I show that there exist sets of intuitively plausible ceteris paribus conditions that allow one to sidestep the impossibility (...) result. This shifts the debate from the merits of the impossibility result itself to the underlying choice of ceteris paribus conditions. (shrink)

In recent years, there has been a surge in research addressing the question which properties predictive algorithms ought to satisfy in order to be considered fair. Three of the most widely discussed criteria of fairness are the criteria called equalized odds, predictive parity, and counterfactual fairness. In this paper, I will present a new impossibility result involving these three criteria of algorithmic fairness. In particular, I will argue that there are realistic circumstances under which any predictive algorithm that (...) satisfies counterfactual fairness will violate both other fairness criteria, that is, equalized odds and predictive parity. As will be shown, this impossibility result forces us to give up one of four intuitively plausible assumptions about algorithmic fairness. I will explain and motivate each of the four assumptions and discuss which of them can plausibly be given up in order to circumvent the impossibility. (shrink)

Population axiology concerns how to evaluate populations in regard to their goodness, that is, how to order populations by the relations \is better than" and \is as good as". This eld has been riddled with para- doxes and impossibility results which seem to show that our considered beliefs are inconsistent in cases where the number of people and their welfare varies. All of these results have one thing in common, however. They all involve an adequacy condition that rules out (...) Derek Par t's Repugnant Conclusion. Moreover, some theorists have argued that we should accept the Repugnant Conclusion and hence that avoidance of this conclusion is not a convincing adequacy condition for a population axiology. As I shall show in this chapter, however, one can replace avoid- ance of the Repugnant Conclusion with a logically weaker and intuitively more convincing condition. The resulting theorem involves, to the best of my knowledge, logically weaker and intuitively more compelling con- ditions than the other theorems presented in the literature. As such, it challenges the very existence of a satisfactory population ethics. (shrink)

We study a principle of ‘Non-Interference’ in social welfare judgements. Non-Interference captures aspects of liberal approaches (particularly a Millian approach) to social decision making. In its full generality, Non-Interference produces an impossibility result: together with Weak Pareto Optimality, it implies that a social welfare ordering must be dictatorial. However, interesting restricted versions of Non-Interference are compatible with standard social welfare orderings.

Population axiology concerns how to evaluate populations in regard to their goodness, that is, how to order populations by the relations “is better than ” and “is as good as”. This field has been riddled with paradoxes and impossibility results which seem to show that our considered beliefs are inconsistent in cases where the number of people and their welfare varies. All of these results have one thing in common, however. They all involve an adequacy condition that rules out (...) Derek Parfit’s Repugnant Conclusion. Moreover, some theorists have argued that we should accept the Repugnant Conclusion and hence that avoidance of this conclusion is not a convincing adequacy condition for a population axiology. As I shall show in this chapter, however, one can replace avoidance of the Repugnant Conclusion with a logically weaker and intuitively more convincing condition. The resulting theorem involves, to the best of my knowledge, logically weaker and intuitively more compelling conditions than the other theorems presented in the literature. As such, it. (shrink)

Standard impossibility theorems on judgment aggregation over logically connected propositions either use a controversial systematicity condition or apply only to agendas of propositions with rich logical connections. Are there any serious impossibilities without these restrictions? We prove an impossibility theorem without requiring systematicity that applies to most standard agendas: Every judgment aggregation function (with rational inputs and outputs) satisfying a condition called unbiasedness is dictatorial (or effectively dictatorial if we remove one of the agenda conditions). Our agenda conditions (...) are tight. When applied illustratively to (strict) preference aggregation represented in our model, the result implies that every unbiased social welfare function with universal domain is effectively dictatorial. (shrink)

If coherence is to have justificatory status, as some analytical philosophers think it has, it must be truth-conducive, if perhaps only under certain specific conditions. This paper is a critical discussion of some recent arguments that seek to show that under no reasonable conditions can coherence be truth-conducive. More specifically, it considers Bovens and Hartmann’s and Olsson’s “impossibility results,” which attempt to show that coherence cannot possibly be a truth-conducive property. We point to various ways in which the advocates (...) of a coherence theory of justification may attempt to divert the threat of these results. (shrink)

Two recent papers (Cubitt and Sugden, 1994; Samuelson, 1992) have established impossibility results which cast doubt on the coherence of the assumption of ’common knowledge of rationality'. It is shown that the Cubitt–Sugden result is the more powerful of the two impossibilities. Second, it is proved that the existence of a quasi-strict equilibrium is sufficient to construct sets which satisfy the Cubitt–Sugden axioms. This fact is used to establish that their impossibility result cannot arise in 2-player (...) games. Finally, it is shown that if a weak symmetry postulate is added, a new impossibility result arises for this class of games. (shrink)

Population axiology concerns how to evaluate populations in regard to their goodness, that is, how to order populations by the relations “is better than” and “is as good as”. This field has been riddled with impossibility results which seem to show that our considered beliefs are inconsistent in cases where the number of people and their welfare varies.1 All of these results have one thing in common, however. They all involve an adequacy condition that rules out Derek Parfit’s Repugnant (...) Conclusion: The Repugnant Conclusion: For any perfectly equal population with very high positive welfare, there is a population with very low positive welfare which is better, other things being equal.2 1 The informal Mere Addition Paradox in Parfit (1984), pp. 419ff is the locus classicus. For an informal proof of a similar result with stronger assumptions, see Ng (1989), p. 240. A formal proof with slightly stronger assumptions than Ng’s can be found in Blackorby and Donaldson (1991). For theorems with much weaker assumptions, see my (1999), (2000b), and especially (2000a), (2001), and (2009). 2 See Parfit (1984), p. 388. My formulation is more general than Parfit’s apart from that he doesn’t demand that the people with very high welfare are equally well off. Expressions such as “a population with very high positive welfare”, “a population with very low positive welfare”, etc., are elliptical for the more cumbersome phrases “a population consisting only of lives with.. (shrink)

It is shown that it is impossible for an observer to distinguish all present states of a system in which he or she is contained, irrespective of whether this system is a classical or a quantum mechanical one and irrespective of whether the time evolution is deterministic or stochastic. As a corollary, this implies that it is impossible for an observer to measure the EPR-correlations between himself or herself and an outside system. Implications of the main result are discussed (...) for how we have to conceive of universally valid theories. (shrink)

Theories of content are at the centre of philosophical semantics. The most successful general theory of content takes contents to be sets of possible worlds. But such contents are very coarse-grained, for they cannot distinguish between logically equivalent contents. They draw intensional but not hyperintensional distinctions. This is often remedied by including impossible as well as possible worlds in the theory of content. Yet it is often claimed that impossible worlds are metaphysically obscure; and it is sometimes claimed that their (...) use results in a trivial theory of content. In this paper, I set out the need for impossible worlds in a theory of content; I briefly sketch a metaphysical account of their nature; I argue that worlds in general must be very fine-grained entities; and, finally, I argue that the resulting conception of impossible worlds is not a trivial one. (shrink)

There is an emerging consensus in the literature on probabilistic coherence that such coherence cannot be truth conducive unless the information sources providing the cohering information are individually credible and collectively independent. Furthermore, coherence can at best be truth conducive in a ceteris paribus sense. Bovens and Hartmann have argued that there cannot be any measure of coherence that is truth conducive even in this very weak sense. In this paper, I give an alternative impossibility proof. I provide a (...) relatively detailed comparison of the two results, which turn out to be logically unrelated, and argue that my result answers a question raised by Bovens and Hartmann’s study. Finally, I discuss the epistemological ramifications of these findings and try to make plausible that a shift to an explanatory framework such as Thagard’s is unlikely to turn the impossibility into a possibility. (shrink)

Epistemological accounts that make use of a safety condition on knowledge, historically, face serious problems regarding beliefs that are necessarily true. This is because necessary truths are true in all possible worlds, so such beliefs can be safe even when the bases for the beliefs are epistemically problematic. The existence of such problematically safe beliefs would undermine a major motivation for the condition itself: the ability to evaluate how well a belief tracks the truth. In this paper, we’ll argue that (...) incorporating impossible worlds into the evaluation of beliefs solves this problem, but only if the relevant account of impossible worlds entails that many impossible worlds are incredibly similar to the actual world. Further, we’ll argue that, as a result of including impossible worlds, some philosophical beliefs are unsafe, and many more are potentially unsafe. But, we argue, even if this is the case, we can still make philosophical progress. (shrink)

The theory of possible worlds has permeated analytic philosophy in recent decades, and its best versions have a consequence which has gone largely unnoticed: in addition to the panoply of possible worlds, there are a great many impossible worlds. A uniform ontological method alone should bring the friends of possible worlds to adopt impossible worlds, I argue, but the theory's applications also provide strong incentives. In particular, the theory facilitates an account of counterfactuals which avoids several of the implausible results (...) of David Lewis's account, and it paves the way for the analogues of Kripkean semantics for epistemic and relevant logics. On the theories of possible worlds as abstract objects, worlds bear a strong resemblance to propositions. I contend that if there are distinct necessarily false propositions, then there are likewise distinct impossible worlds. However, one who regards possible worlds as concrete objects must not recognize impossible worlds, in part because concrete worlds cannot misrepresent certain features of reality, as some impossible worlds must. Accordingly, I defend and develop a theory of impossible worlds as maximal impossible states of affairs. Impossible worlds perform admirably in the analysis of counterfactuals with impossible antecedents. I argue that, contrary to standard accounts, not all counterpossibles are trivially true, and I develop a Lewis-style semantics which allows this result. The point is crucial, since many views presuppose that some counterpossibles are substantive philosophical truths. Finally, I show that impossible worlds hold great promise for doxastic and relevant logics. Epistemic logic needs a domain of propositions which is not closed under strict implication to avoid the problem of logical omniscience, and relevant logic needs such a domain to avoid the famous paradoxes of implication. In sum, impossible world theory promises natural, elegant solutions to philosophical problems in numerous areas where possible worlds alone flounder. These solutions come to most possible world theorists at no cost, since the existence of impossible worlds is entailed by theses they already hold. (shrink)

What does it mean to devote yourself wholly to helping others? In Strangers Drowning, Larissa MacFarquhar seeks out people living lives of extreme ethical commitment and tells their deeply intimate stories; their stubborn integrity and their compromises; their bravery and their recklessness; their joys and defeats and wrenching dilemmas. A couple adopts two children in distress. But then they think: If they can change two lives, why not four? Or ten? They adopt twenty. But how do they weigh the needs (...) of unknown children in distress against the needs of the children they already have? Another couple founds a leprosy colony in the wilderness in India, living in huts with no walls, knowing that their two small children may contract leprosy or be eaten by panthers. The children survive. But what if they hadn't? How would their parents' risk have been judged? A woman believes that if she spends money on herself, rather than donate it to buy life-saving medicine, then she's responsible for the deaths that result. She lives on a fraction of her income, but wonders: when is compromise self-indulgence and when is it essential? We honor such generosity and high ideals; but when we call people do-gooders there is skepticism in it, even hostility. Why do moral people make us uneasy? Between her stories, MacFarquhar threads a lively history of the literature, philosophy, social science, and self-help that have contributed to a deep suspicion of do-gooders in Western culture. Through its sympathetic and beautifully vivid storytelling, Strangers Drowning confronts us with fundamental questions about what it means to be human. In a world of strangers drowning in need, how much should we help, and how much can we help? Is it right to care for strangers even at the expense of those we are closest to? Moving and provocative, Strangers Drowning challenges us to think about what we value most, and why. From the Hardcover edition. (shrink)

Utopian dreams of a fundamentally different world would seem to have little place in the de-radicalized political arena of the post-communist age. This article challenges this idea by ethnographically examining three cases of electoral politics in the contemporary United States, which can be seen as a “least likely” context for electoral utopianism. Evidence from these cases – the 2008 Obama campaign, 2016 Sanders campaign, and local organizing work of the Green Party – is used to make three claims: utopianism is (...) present in the US electoral arena; utopianism and electoral instrumentalism are not incompatible and may “need” each other; and the relationship between utopianism and instrumentalism varies, resulting in multiple types of utopian politics. The article’s key contribution is to theorize and illustrate three such types. (shrink)

According to Niklas Luhmann, causality is both an impossibility and a necessity in education. On the one hand, the task of the teacher is an impossible one, because teaching as communication is a closed system that cannot determine the learning of pupils' psychical system in any causal sense. On the other hand, one cannot practice as a teacher without a belief in causality, i.e., in a causal connection between teaching and learning. In his article “The Child as the Medium (...) of Education,” Luhmann focuses on the enablement of education, despite its impossibility. His answer is that one thing that makes education possible is the emergence of the symbolically generalized medium “the child.” In this article, Lars Qvortrup focuses on Luhmann's understanding of causality. According to Luhmann, causality is not a simple, ontological fact, but the result of the attribution of certain causes to certain effects. The conclusion is that causality as an attribution category — and not causality as an ontological fact — is another thing that makes education possible. Qvortrup also concludes, however, that Luhmann is not alone in criticizing the traditional, mechanical concept of causality. Other contemporary philosophers and sociologists have pointed out that in order to analyze causality in complex social systems, one has to select some causal factors and ignore others. While others do this based on seemingly pure scientific and statistical criteria, Luhmann focuses on attribution as a social construction of causality. (shrink)

Impossible Presence brings together new work in film studies, critical theory, art history, and anthropology for a multifaceted exploration of the continuing proliferation of visual images in the modern era. It also asks what this proliferation—and the changing technologies that support it—mean for the ways in which images are read today and how they communicate with viewers and spectators. Framed by Terry Smith's introduction, the essays focus on two kinds of strangeness involved in experiencing visual images in the modern era. (...) The first, explored in the book's first half, involves the appearance of oddities or phantasmagoria in early photographs and cinema. The second type of strangeness involves art from marginalized groups and indigenous peoples, and the communicative formations that result from the trafficking of images between people from vastly different cultures. With a stellar list of contributors, Impossible Presence offers a wide-ranging look at the fate of the visual image in modernity, modern art, and popular culture. Contributors: Jean Baudrillard Marshall Berman Jeremy Gilbert-Rolfe Elizabeth Grosz Tom Gunning Peter Hutchings Fred R. Myers Javier Sanjines Richard Shiff Hugh J. Silverman Terry Smith. (shrink)

This paper argues for a conception of autonomy that takes social oppression seriously without sapping autonomy of its valuable focus on individual self-direction. Building on recent work in relational accounts of autonomy, the paper argues that current conceptions of autonomy from liberal, feminist and critical theorists do not adequately account for the social features of belief formation. The paper then develops an alternative conception of relational autonomy that focuses on how autonomy contains both individualistic and social epistemic features. Rather than (...) consider autonomy to reside in an impenetrable inner citadel, a place immune from external influences, the paper argues that we must acknowledge the hermeneutic relationship between individual and social processes of belief adjudication. Taking such an argument seriously results in the need to alter our conception of autonomy and the schooling needed to foster its growth. (shrink)

This paper argues for a view of free will that I will call the conceptual impossibility of the truth of free will error theory - the conceptual impossibility thesis. I will argue that given the concept of free will we in fact deploy, it is impossible for our free will judgements - judgements regarding whether some action is free or not - to be systematically false. Since we do judge many of our actions to be free, it follows (...) from the conceptual impossibility thesis that many of our actions are in fact free. Hence it follows that free will error theory - the view that no judgement of the form ‘action A was performed freely’ - is false. I will show taking seriously the conceptual impossibility thesis helps makes good sense of some seemingly inconsistent results in recent experimental philosophy work on determinism and our concept of free will. Further, I will present some reasons why we should expect to find similar results for every other factor we might have thought was important for free will. (shrink)

This paper is concerned with the status of mathematical fictions in Leibniz’s work and especially with infinitary quantities as fictions. Thus, it is maintained that mathematical fictions constitute a kind of symbolic notion that implies various degrees of impossibility. With this framework, different kinds of notions of possibility and impossibility are proposed, reviewing the usual interpretation of both modal concepts, which appeals to the consistency property. Thus, three concepts of the possibility/impossibility pair are distinguished; they give rise, (...) in turn, to three concepts of mathematical fictions. Moreover, such a distinction is the base for the claim that infinitesimal quantities, as mathematical fictions, do not imply an absolute impossibility, resulting from self-contradiction, but a relative impossibility, founded on irrepresentability and on the fact that it does not conform to architectural principles. In conclusion, this “soft” impossibility of infinitesimals yields them, in Leibniz view, a presumptive or “conjectural” status. (shrink)

Arrow’s impossibility result not only had a profound influence on welfare economics, but was, as this paper shows, also widely discussed in philosophy of science and in the engineering design literature.

Several theorists have been attracted to the idea that in order to account for counterpossibles, i.e. counterfactuals with impossible antecedents, we must appeal to impossible worlds. However, few have attempted to provide a detailed impossible worlds account of counterpossibles. Berit Brogaard and Joe Salerno’s ‘Remarks on Counterpossibles’ is one of the few attempts to fill in this theoretical gap. In this article, I critically examine their account. I prove a number of unanticipated implications of their account that end up implying (...) a counterintuitive result. I then examine a suggested revision and point out a surprising implication of the revision. (shrink)

A critical analysis of theories of commercial impossibility and frustration of purpose is best undertaken in conjunction with a theoretical analysis of contract in general. Contracts function as a means of transferring social benefit, which can be subcategorised into subjective and objective benefit. Contracts also regulate the transfer or risk, which is inherent in property and hence any contractual relationship. In the light of the transfer of subjective and objective benefit and risk, contracts can be shown to be by (...) definition ex ante Pareto superior for both parties. Frustration of purpose or commercial impossibility is pleaded where the ex post overall benefit differs greatly from the ex ante expected value. This difference results from the manifestation of a risk which one party bears under the terms of the original contractual risk/benefit equilibrium. Considering the various subjective and objective risks and benefits involved in the contract, it is possible to classify frustrating eventualities under eight heads. In at least six cases the importance of the principle of security of exchange clearly precludes the operation of frustration. One of the remaining cases corresponds with the controversial Krell v Henry; there appears to be a temptation to regard frustration as the most socially utilitarian solution. Given however the dynamics of contractual risk and benefit, allowing frustration there would be unworkable because it would entail placing a subjective risk burden on the party which is in a worse position to evaluate it. There should be no place in the law for a doctrine of frustration of contract on the grounds of commercial impossibility orchanged circumstances. (shrink)

Since Kenneth Arrow showed the general possibility theorem, a number of social choice theorists have provided alternative proofs of it. In a recent article, Geanakoplos (Econ Theory 26:211–215, 2005) has constructed a new proof of the theorem. The present article provides alternative proofs of various Arrovian impossibility results from the 1960s to the 1970s by utilizing Geanakoplos’s method. We prove semi-order impossibility theorems, the quasi-transitive veto theorem, the quasi-transitive dictatorship theorem, the triple acyclic veto theorem, and the (...) class='Hi'>impossibility theorem without the Pareto principle. (shrink)

THE CLAIM that even Plato could not say everything at once nor could have thought or worked out everything at once is, of course, a platitude. It is generally acknowledged that there is development in Plato's thought. But what the development is, is still a much fought-over question. For in spite of all scholarly efforts this intriguing question cannot be regarded as settled in a satisfactory way. This is due not only to the fact that we all look at Plato (...) through different eyes. There are just too many unknowns: We do not know when the dialogues were written nor in what order. We do not know what Plato himself regarded as the result of each of the dialogues nor how they are supposed to hang together. We do not know to what extent Plato himself is in agreement with what he lets Socrates say--or any of his partners. Nor do we always know what, precisely, the text itself says. And we do not know when Plato put the dialogues into the form in which they have come down to us. (shrink)

A defining characteristic of a liberal democratic society is the assignment of basic rights and liberties that protect each person’s private sphere. Hence, social choice made in a liberal democratic society must at the very least be consistent with the exercise of each person’s basic rights. However, even when everybody agrees to this basic principle, there could still remain irreconcilable social conflict and disagreement when it comes to the specific assignment of basic rights. This is especially so in a pluralistic (...) society where there is a clash among radically different and incompatible world views. Philosophers have now started to focus on this issue, which now goes by the name “perspectival diversity.” This paper extends the basic social choice theoretic framework of liberal rights by extending the domain to include individual perspectives alongside individual preferences. In this new framework, different individuals are able to see or perceive the same social alternative differently based on their own unique perspectives. The formal results of the paper imply that generating a viable social choice that is consistent with the assignment of basic rights can quickly break down once we start to increase the level of perspectival diversity in society. (shrink)