This paper offers an explanation for why some parts of philosophy have made no progress. Philosophy has made no progress because it cannot make progress. And it cannot because of the nature of the phenomena philosophy is tasked with explaining—all of it involves consciousness. Here, it will not be argued directly that consciousness is intractable. Rather, it will be shown that a specific version of the problem of consciousness is unsolvable. This version is the Problem of the Subjective and Objective. (...) Then it is argued that the unsolvability of this latter problem is why there are other unsolvable philosophy problems. (shrink)

Except for a patina of twenty-first century modernity, in the form of logic and language, philosophy is exactly the same now as it ever was; it has made no progress whatsoever. We philosophers wrestle with the exact same problems the Pre-Socratics wrestled with. Even more outrageous than this claim, though, is the blatant denial of its obvious truth by many practicing philosophers. The No-Progress view is explored and argued for here. Its denial is diagnosed as a form of anosognosia, a (...) mental condition where the affected person denies there is any problem. The theories of two eminent philosophers supporting the No-Progress view are also examined. The final section offers an explanation for philosophy 's inability to solve any philosophical problem, ever. The paper closes with some reflections on philosophy 's future. (shrink)

What is consciousness? Of course, each of us knows, privately, what consciousness is. And we each think, for basically irresistible reasons, that all other conscious humans by and large have experiences like ours. So we conclude that we all know what consciousness is. It's the felt experiences of our lives. But that is not the answer we, as cognitive scientists, seek in asking our question. We all want to know what physical process consciousness is and why it produces this very (...) strange, almost mysterious, phenomenon of felt experience. (shrink)

Advocates of dynamic systems have suggested that higher mental processes are based on continuous representations. In order to evaluate this claim, we first define the concept of representation, and rigorously distinguish between discrete representations and continuous representations. We also explore two important bases of representational content. Then, we present seven arguments that discrete representations are necessary for any system that must discriminate between two or more states. It follows that higher mental processes require discrete representations. We also argue that discrete (...) representations are more influenced by conceptual role than continuous representations. We end by arguing that the presence of discrete representations in cognitive systems entails that computationalism (i.e., the view that the mind is a computational device) is true, and that cognitive science should embrace representational pluralism. (shrink)

This paper argues for a noncognitiveist computationalism in the philosophy of mind. It further argues that both humans and computers have intentionality, that is, their mental states are semantical -- they are about things in their worlds.

This brief commentary has three goals. The first is to argue that ‘‘framework debate’’ in cognitive science is unresolvable. The idea that one theory or framework can singly account for the vast complexity and variety of cognitive processes seems unlikely if not impossible. The second goal is a consequence of this: We should consider how the various theories on offer work together in diverse contexts of investigation. A final goal is to supply a brief review for readers who are compelled (...) by these points to explore existing literature on the topic. Despite this literature, pluralism has garnered very little attention from broader cognitive science. We end by briefly considering what it might mean for theoretical cognitive science. (shrink)

There is a prevalent notion among cognitive scientists and philosophers of mind that computers are merely formal symbol manipulators, performing the actions they do solely on the basis of the syntactic properties of the symbols they manipulate. This view of computers has allowed some philosophers to divorce semantics from computational explanations. Semantic content, then, becomes something one adds to computational explanations to get psychological explanations. Other philosophers, such as Stephen Stich, have taken a stronger view, advocating doing away with semantics (...) entirely. This paper argues that a correct account of computation requires us to attribute content to computational processes in order to explain which functions are being computed. This entails that computational psychology must countenance mental representations. Since anti-semantic positions are incompatible with computational psychology thus construed, they ought to be rejected. Lastly, I argue that in an important sense, computers are not formal symbol manipulators. (shrink)

It is possible to survey humankind and be proud, even to smile, for we accomplish great things. Art and science are two notable worthy human accomplishments. Consonant with art and science are some of the ways we treat each other. Sacrifice and heroism are two admirable human qualities that pervade human interaction. But, as everyone knows, all this goodness is more than balanced by human depravity. Moral corruption infests our being. Why?

Sometimes analogy researchers talk as if the freshness of an experience of analogy resides solely in seeing that something is like something else -- seeing that the atom is like a solar system, that heat is like flowing water, that paint brushes work like pumps, or that electricity is like a teeming crowd. But analogy is more than this. Analogy isn't just seeing that the atom is like a solar system; rather, it is seeing something new about the atom, an (...) observation enabled by 'looking' at atoms from the perspective of one's understanding of solar systems. The question for analogy researchers then is this: Where does this new knowledge about atoms come from? How can an analogy provide new knowledge and new understanding? (shrink)

The computational paradigm, which has dominated psychology and artificial intelligence since the cognitive revolution, has been a source of intense debate. Recently, several cognitive scientists have argued against this paradigm, not by objecting to computation, but rather by objecting to the notion of representation. Our analysis of these objections reveals that it is not the notion of representation per se that is causing the problem, but rather specific properties of representations as they are used in various psychological theories. Our analysis (...) suggests that all theorists accept the idea that cognitive processing involves internal information-carrying states that mediate cognitive processing. These mediating states are a superordinate category of representations. We discuss five properties that can be added to mediating states and examine their importance in various cognitive models. Finally, three methodological lessons are drawn from our analysis and discussion. (shrink)

Recently, on the History Channel, artificial intelligence (AI) was singled out, with much wringing of hands, as one of the seven possible causes of the end of human life on Earth. I argue that the wringing of hands is quite inappropriate: the best thing that could happen to humans, and the rest of life of on planet Earth, would be for us to develop intelligent machines and then usher in our own extinction.

It is shown that the Fodor's interpretation of the frame problem is the central indication that his version of the Modularity Thesis is incompatible with computationalism. Since computationalism is far more plausible than this thesis, the latter should be rejected.

This paper examines three cases of the clash between science and philosophy: Zeno’s paradoxes, the Frame Problem, and a recent attempt to experimentally refute skepticism. In all three cases, the relevant science claims to have resolved the purported problem. The sciences, construing the term broadly, are mathematics, artificial intelligence, and psychology. The goal of this paper is to show that none of the three scientific solutions work. The three philosophical problems remain as vibrant as ever in the face of robust (...) scientific attempts to dispel them. The paper concludes by examining some consequences of this persistence. (shrink)

Flipping convention on its head, Eric Dietrich argues that science uncovers awe-inspiring, enduring mysteries, while religion, regarded as the source for such mysteries, is a biological phenomenon. Just like spoken language, Dietrich shows that religion is an evolutionary adaptation. Science is the source of perplexing yet beautiful mysteries, however natural the search for answers may be to human existence. _Excellent Beauty_ undoes our misconception of scientific inquiry as an executioner of beauty, making the case that science has (...) won the battle with religion so thoroughly it can now explain why religion persists. The book also draws deep lessons for human flourishing from the very existence of scientific mysteries. It is these latter wonderful, completely _public_ truths that constitute some strangeness in the proportion, revealing a universe worthy of awe and wonder. (shrink)

The sciences occasionally generate discoveries that undermine their own assumptions. Two such discoveries are characterized here: the discovery of apophenia by cognitive psychology and the discovery that physical systems cannot be locally bounded within quantum theory. It is shown that such discoveries have a common structure and that this common structure is an instance of Priest’s well-known Inclosure Schema. This demonstrates that science itself is dialetheic: it generates limit paradoxes. How science proceeds despite this fact is briefly discussed, as is (...) the connection between our results and the realism-antirealism debate. We conclude by suggesting a position of epistemic modesty. (shrink)

Analogical reminding in humans and machines is a great source for chance discoveries because analogical reminding can produce representational change and thereby produce insights. Here, we present a new kind of representational change associated with analogical reminding called packing. We derived the algorithm in part from human data we have on packing. Here, we explain packing and its role in analogy making, and then present a computer model of packing in a micro-domain. We conclude that packing is likely used in (...) human chance discoveries, and is needed if our machines are to make their own chance discoveries. (shrink)

The purpose of this paper is to present two kinds of analogical representational change, both occurring early in the analogy-making process, and then, using these two kinds of change, to present a model unifying one sort of analogy-making and categorization. The proposed unification rests on three key claims: (1) a certain type of rapid representational abstraction is crucial to making the relevant analogies (this is the first kind of representational change; a computer model is presented that demonstrates this kind of (...) abstraction), (2) rapid abstractions are induced by retrieval across large psychological distances, and (3) both categorizations and analogies supply understandings of perceptual input via construing, which is a proposed type of categorization (this is the second kind of representational change). It is construing that finalizes the unification. (shrink)

The perennial nature of some of philosophy’s deepest problems is a puzzle. Here, one problem, the realism–anti-realism debate, and one type of explanation for its longevity, are examined. It is argued that realism and anti-realism form a dialetheic pair: While they are in fact each other’s logical opposite, nevertheless, both are true (and both false). First, several reasons why one might think such a thing are presented. These reasons are merely the beginning, however. In the following sections, the dialetheic conclusion (...) is directly argued for by showing how realism and anti-realism satisfy Priest’s “inclosure schema”. In the last section and the conclusion, the conscious mind’s role in creating realism and anti-realism is discussed. This role further supports the conclusion that realism and anti-realism form a dialetheic pair. (shrink)

Under the Superstition Mountains in central Arizona toil those who would rob humankind o f its humanity. These gray, soulless monsters methodically tear away at our meaning, our subjectivity, our essence as transcendent beings. With each advance, they steal our freedom and dignity. Who are these denizens of darkness, these usurpers of all that is good and holy? None other than humanity’s arch-foe: The Cognitive Scientists -- AI researchers, fallen philosophers, psychologists, and other benighted lovers of computers. Unless they are (...) stopped, humanity -- you and I -- will soon be nothing but numbers and algorithms locked away on magnetic tape. (shrink)

True contradictions are taken increasingly seriously by philosophers and logicians. Yet, the belief that contradictions are always false remains deeply intuitive. This paper confronts this belief head-on by explaining in detail how one specific contradiction is true. The contradiction in question derives from Priest's reworking of Berkeley's argument for idealism. However, technical aspects of the explanation offered here differ considerably from Priest's derivation. The explanation uses novel formal and epistemological tools to guide the reader through a valid argument with, not (...) just true, but eminently acceptable premises, to an admittedly unusual conclusion: a true contradiction. The novel formal and epistemological tools concern points of view and changes in points of view. The result is an understanding of why the contradiction is true. (shrink)

What is it about serial killers that grips our imaginations? They populate some of our most important literature and art, and to this day, Jack the Ripper intrigues us. In this paper, we examine this phenomenon, exploring the idea that serial killers in part represent something in us that, if not good, is at least admirable. To get at this, we have to peel off layers of other causes of our attraction, for our attraction to serial killing is complex (it (...) mixes with repulsion, too). For example, part of the attraction is curiosity associated with the pragmatic desire to understand serial killers. Another part is the allure of safe violence, the very same allure that causes us to slow down to look at traffic accidents and that makes movies like Saw box office gold. Once we are through the initial layers of attraction, we expose the one we are interested in. Humans are not really Homo sapiens (the wise human), but rather Homo oboediens (the rule‐following human), and these rules can become oppressive. Serial killers, properly sanitized, show us something, albeit in a twisted way, that we long for – a life unfettered by rules, a life where we can do exactly what we want. We close by noting the paradox that an actual serial killer is not free at all. (shrink)

Beginning with the paradoxes of zombie twins, we present an argument that dualism is both true and false. We show that avoiding this contradiction is impossible. Our diagnosis is that consciousness itself engenders this contradiction by producing contradictory points of view. This result has a large effect on the realism/anti-realism debate, namely, it suggests that this debate is intractable, and furthermore, it explains why this debate is intractable. We close with some comments on what our results mean for metaphysics and (...) philosophy, in general. (shrink)

The open-domain Frame Problem is the problem of determining what features of an open task environment need to be updated following an action. Here we prove that the open-domain Frame Problem is equivalent to the Halting Problem and is therefore undecidable. We discuss two other open-domain problems closely related to the Frame Problem, the system identification problem and the symbol-grounding problem, and show that they are similarly undecidable. We then reformulate the Frame Problem as a quantum decision problem, and show (...) that it is undecidable by any finite quantum computer. (shrink)

Understanding humans requires viewing them as mechanisms of some sort, since understanding anything requires seeing it as a mechanism. It is science’s job to reveal mechanisms. But science reveals much more than that: it also reveals enduring mystery—strangeness in the proportion. Concentrating just on the scientific side of Selinger’s and Engström’s call for a moratorium on cyborg discourse, I argue that this strangeness prevents cyborg discourse from diminishing us.

I find it interesting that AI researchers don't use concepts very often in their theorizing. No doubt they feel no pressure to. This is because most AI researchers do use representations which allow a system to chunk up its environment, and basically all we know about concepts is that they are representations which allow a system to chunk up its environment.

Good sciences have good metaphors. Indeed, good sciences are good because they have good metaphors. AI could use more good metaphors. In this editorial, I would like to propose a new metaphor to help us understand intelligence. Of course, whether the metaphor is any good or not depends on whether it actually does help us. (What I am going to propose is not something opposed to computationalism -- the hypothesis that cognition is computation. Noncomputational metaphors are in vogue these days, (...) and to date they have all been equally plausible and equally successful. And, just to be explicit, I do not mean “IQ” by “intelligence.” I am using “intelligence” in the way AI uses it: as a semi-techical term referring to a general property of all intelligent systems, animal (including humans), or machine, alike.). (shrink)

Mostly philosophers cause trouble. I know because on alternate Thursdays I am one -- and I live in a philosophy department where I watch all of them cause trouble. Everyone in artificial intelligence knows how much trouble philosophers can cause (and in particular, we know how much trouble one philosopher -- John Searle -- has caused). And, we know where they tend to cause it: in knowledge representation and the semantics of data structures. This essay is about a recent case (...) of this sort of thing. One of the take-home messages will be that AI ought to redouble its efforts t o understand concepts. (shrink)

We again press the case for computationalism by considering the latest in ill- conceived attacks on this foundational idea. We briefly but clearly define and delimit computationalism and then consider three authors from a new anti- computationalist collection.

In mid-May of 2001, I attended a fascinating workshop at Cold Spring Harbor Labs. The conference was held at the lab's Banbury Center, an elegant mansion and its beautiful surrounding estate, located on Banbury Lane, in the outskirts of Lloyd Harbor, overlooking the north shore of Long Island in New York. The estate was formerly owned by Charles Sammis Robertson. In 1976, Robertson donated his estate, and an endowment for its upkeep, to the Lab. The donation included the Robertson's mansion, (...) now called Robertson House, and a large, seven-car garage that would become the actual conference center. The Center was opened on Sunday, June 14, 1977, by Francis Crick who gave a talk entitled "How Scientists Work." For us, Banbury was an idyllic location with great food where we could talk about the most difficult problem in all o f science: what is the nature and cause of consciousness? (shrink)

Years ago, when I was an undergraduate math major at the University of Wyoming, I came across an interesting book in our library. It was a book of counterexamples t o propositions in real analysis (the mathematics of the real numbers). Mathematicians work more or less like the rest of us. They consider propositions. If one seems to them to be plausibly true, then they set about to prove it, to establish the proposition as a theorem. Instead o f setting (...) out to prove propositions, the psychologists, neuroscientists, and other empirical types among us, set out to show that a proposition is supported by the data, and that it is the best such proposition so supported. The philosophers among us, when they are not causing trouble by arguing that AI is a dead end or that cognitive science can get along without representations, work pretty much like the mathematicians: we set out to prove certain propositions true on the basis of logic, first principles, plausible assumptions, and others' data. But, back to the book of real analysis counterexamples. If some mathematician happened t o think that some proposition about continuity, say, was plausibly true, he or she would then set out to prove it. If the proposition was in fact not a theorem, then a lot of precious time would be wasted trying to prove it. Wouldn't it be great to have a book that listed plausibly true propositions that were in fact not true, and listed with each such proposition a counterexample to it? Of course it would. (shrink)

The purpose of this paper is to present two kinds of analogical representational change, both occurring early in the analogy-making process, and then, using these two kinds of change, to present a model unifying one sort of analogy-making and categorization. The proposed unification rests on three key claims: (1) a certain type of rapid representational abstraction is crucial to making the relevant analogies (this is the first kind of representational change; a computer model is presented that demonstrates this kind of (...) abstraction), (2) rapid abstractions are induced by retrieval across large psychological distances, and (3) both categorizations and analogies supply understandings of perceptual input via construing, which is a proposed type of categorization (this is the second kind of representational change). It is construing that finalizes the unification. (shrink)

For many years now, Harnad has argued that transduction is special among cognitive capacities -- special enough to block Searle's Chinese Room Argument. His arguments (as well as Searle's) have been important and useful, but not correct, it seems to me. Their arguments have provided the modern impetus for getting clear about computationalism and the nature of computing. This task has proven to be quite difficult. Which is simply to say that dealing with Harnad's arguments (as well as Searle's) has (...) been difficult. Turing, it turns out, only got us started. But Harnad's (and Searle's) arguments ultimately fail. Turing, it turns out, was on the right track. (shrink)

Objections to AI and computational cognitive science are myriad. Accordingly, there are many different reasons for these attacks. But all of them come down to one simple observation: humans seem a lot smarter that computers -- not just smarter as in Einstein was smarter than I, or I am smarter than a chimpanzee, but more like I am smarter than a pencil sharpener. To many, computation seems like the wrong paradigm for studying the mind. (Actually, I think there are deeper (...) and darker reasons why AI, especially, is so often the brunt of polemics, see Dietrich, 2000.) But the truth is this: AI is making exciting progress, and will one day make a robot as intelligent as a person; indeed the robot will be conscious. And all this is because of another truth: the computational paradigm is the best thing to come down the pike since the wheel. (shrink)

David Chalmers' dancing qualia argument is intended to show that phenomenal experiences, or qualia, are organizational invariants. The dancing qualia argument is a reductio ad absurdum, attempting to demonstrate that holding an alternative position, such as the famous inverted spectrum argument, leads one to an implausible position about the relation between consciousness and cognition. In this paper, we argue that Chalmers' dancing qualia argument fails to establish the plausibility of qualia being organizational invariants. Even stronger, we will argue that the (...) gap in the argument cannot be closed. (shrink)

The perceptual symbol system view assumes that perceptual representations have a role-argument structure. A role-argument structure is often incorporated into amodal symbol systems in order to explain conceptual functions like abstraction and rule use. The power of perceptual symbol systems to support conceptual functions is likewise rooted in its use of structure. On Barsalou's account, this capacity to use structure (in the form of frames) must be innate.

When Charles Darwin died in April, 1882, he left behind a world changed forever. Because of his writings, most notably, of course, The Origin of Species, by 1882, evolution was an almost universally acknowledged fact. What remained in dispute, however, was how evolution occurred. So because of Darwin’s work, everyone accepted that new species emerge over time, yet few agreed with him that it was natural selection that powered the change, as Darwin hypothesized. Chalmers’ book, The Conscious Mind , reminds (...) me of The Origin of Species . I have talked t o many people about The Conscious Mind and watched many philosophy students read it, and after they are done, they all take consciousness more seriously than they did before and they are all struck by its deep mystery, yet few accept Chalmers’ specific theory of consciousness and his explanation of its odd nature. (shrink)

The new kid on the block in cognitive science these days is dynamic systems. This way of thinking about the mind is, as usual, radically opposed to computationalism - - the hypothesis that thinking is computing. The use of dynamic systems is just the latest in a series of attempts, from Searle's Chinese Room Argument, through the weirdnesses of postmodernism, to overthrown computationalism, which as we all know is a perfectly nice hypothesis about the mind that never hurt anyone.

Agents are often assumed to have degrees of belief (“credences”) and also binary beliefs (“beliefs simpliciter”). How are these related to each other? A much-discussed answer asserts that it is rational to believe a proposition if and only if one has a high enough degree of belief in it. But this answer runs into the “lottery paradox”: the set of believed propositions may violate the key rationality conditions of consistency and deductive closure. In earlier work, we showed that this problem (...) generalizes: there exists no local function from degrees of belief to binary beliefs that satisfies some minimal conditions of rationality and non-triviality. “Locality” means that the binary belief in each proposition depends only on the degree of belief in that proposition, not on the degrees of belief in others. One might think that the impossibility can be avoided by dropping the assumption that binary beliefs are a function of degrees of belief. We prove that, even if we drop the “functionality” restriction, there still exists no local relation between degrees of belief and binary beliefs that satisfies some minimal conditions. Thus functionality is not the source of the impossibility; its source is the condition of locality. If there is any non-trivial relation between degrees of belief and binary beliefs at all, it must be a “holistic” one. We explore several concrete forms this “holistic” relation could take. (shrink)

We give a review and critique of jury theorems from a social-epistemology perspective, covering Condorcet’s (1785) classic theorem and several later refinements and departures. We assess the plausibility of the conclusions and premises featuring in jury theorems and evaluate the potential of such theorems to serve as formal arguments for the ‘wisdom of crowds’. In particular, we argue (i) that there is a fundamental tension between voters’ independence and voters’ competence, hence between the two premises of most jury theorems; (ii) (...) that the (asymptotic) conclusion that ‘huge groups are infallible’, reached by many jury theorems, is an artifact of unjustified premises; and (iii) that the (nonasymptotic) conclusion that ‘larger groups are more reliable’, also reached by many jury theorems, is not an artifact and should be regarded as the more adequate formal rendition of the ‘wisdom of crowds’. (shrink)

Behaviourism is the view that preferences, beliefs, and other mental states in social-scientific theories are nothing but constructs re-describing people's behaviour. Mentalism is the view that they capture real phenomena, on a par with the unobservables in science, such as electrons and electromagnetic fields. While behaviourism has gone out of fashion in psychology, it remains influential in economics, especially in ‘revealed preference’ theory. We defend mentalism in economics, construed as a positive science, and show that it fits best scientific practice. (...) We distinguish mentalism from, and reject, the radical neuroeconomic view that behaviour should be explained in terms of brain processes, as distinct from mental states. (shrink)

We introduce a “reason-based” framework for explaining and predicting individual choices. It captures the idea that a decision-maker focuses on some but not all properties of the options and chooses an option whose motivationally salient properties he/she most prefers. Reason-based explanations allow us to distinguish between two kinds of context-dependent choice: the motivationally salient properties may (i) vary across choice contexts, and (ii) include not only “intrinsic” properties of the options, but also “context-related” properties. Our framework can accommodate boundedly rational (...) and sophisticatedly rational choice. Since properties can be recombined in new ways, it also offers resources for predicting choices in unobserved contexts. (shrink)

Which rules for aggregating judgments on logically connected propositions are manipulable and which not? In this paper, we introduce a preference-free concept of non-manipulability and contrast it with a preference-theoretic concept of strategy-proofness. We characterize all non-manipulable and all strategy-proof judgment aggregation rules and prove an impossibility theorem similar to the Gibbard--Satterthwaite theorem. We also discuss weaker forms of non-manipulability and strategy-proofness. Comparing two frequently discussed aggregation rules, we show that “conclusion-based voting” is less vulnerable to manipulation than “premise-based voting”, (...) which is strategy-proof only for “reason-oriented” individuals. Surprisingly, for “outcome-oriented” individuals, the two rules are strategically equivalent, generating identical judgments in equilibrium. Our results introduce game-theoretic considerations into judgment aggregation and have implications for debates on deliberative democracy. (shrink)

Living organisms are exposed to numerous influencing factors. This holds also true for their infrastructures that are processing and transducing information like endocrine networks or nerval channels. Therefore, the ability to compensate for noise is crucial for survival. An efficient mechanism to neutralise disturbances is instantiated in form of parallel complementary communication channels exerting antagonistic effects at their common receivers. Different signal processing types share the ability to suppress noise, to widen the system’s regulation capacity, and to provide for variable (...) gains while leaving the transferred signal to a large extent unchanged. (shrink)

Foundational theories of mental content seek to identify the conditions under which a mental representation expresses, in the mind of a particular thinker, a particular content. Normativists endorse the following general sort of foundational theory of mental content: A mental representation r expresses concept C for agent S just in case S ought to use r in conformity with some particular pattern of use associated with C. In response to Normativist theories of content, Kathrin Glüer-Pagin and Åsa Wikforss propose a (...) dilemma, alleging that Normativism either entails a vicious regress or falls prey to a charge of idleness. In this paper, I respond to this argument. I argue that Normativism can avoid the commitments that generate the regress and does not propose the sort of explanation required to charge that its explanation has been shown to be problematically idle. The regress-generating commitment to be avoided is, roughly, that tokened, contentful mental states are the product of rule-following. The explanatory task Normativists should disavow is that of explaining how it is that beliefs and other contentful mental states are produced. I argue that Normativism, properly understood as a theory of content, does not provide this kind of psychological explanation, and therefore does not entail that such explanations are to be given in terms of rule-following. If this is correct, Normativism is not the proper target of the dilemma offered by Glüer-Pagin and Wikforss. Understanding why one might construe Normativism in the way Glüer-Pagin and Wikforss must, and how, properly understood, it avoids their dilemma, can help us to appreciate the attractiveness of a genuinely normative theory of content and the importance of paying careful attention to the sort of normativity involved in norm-based theories of content. (shrink)

The widely discussed "discursive dilemma" shows that majority voting in a group of individuals on logically connected propositions may produce irrational collective judgments. We generalize majority voting by considering quota rules, which accept each proposition if and only if the number of individuals accepting it exceeds a given threshold, where different thresholds may be used for different propositions. After characterizing quota rules, we prove necessary and sufficient conditions on the required thresholds for various collective rationality requirements. We also consider sequential (...) quota rules, which ensure collective rationality by adjudicating propositions sequentially and letting earlier judgments constrain later ones. Sequential rules may be path-dependent and strategically manipulable. We characterize path-independence and prove its essential equivalence to strategy-proofness. Our results shed light on the rationality of simple-, super-, and sub-majoritarian decision-making. (shrink)

In the theory of judgment aggregation, it is known for which agendas of propositions it is possible to aggregate individual judgments into collective ones in accordance with the Arrow-inspired requirements of universal domain, collective rationality, unanimity preservation, non-dictatorship and propositionwise independence. But it is only partially known (e.g., only in the monotonic case) for which agendas it is possible to respect additional requirements, notably non-oligarchy, anonymity, no individual veto power, or implication preservation. We fully characterize the agendas for which there (...) are such possibilities, thereby answering the most salient open questions about propositionwise judgment aggregation. Our results build on earlier results by Nehring and Puppe (2002), Nehring (2006), Dietrich and List (2007a) and Dokow and Holzman (2010a). (shrink)

Plato argues that four political arts—politics, kingship, slaveholding, and household-management—are the same. His argument, which prompted Aristotle’s reply in Politics I, has been universally panned. The problem is that the argument clearly identifies household-management with slaveholding, and household-management with politics, but does not fully identify kingship with any of the others. I consider and reject three ways of saving the argument, and argue for a fourth. On my view, Plato assumes that politics is identical with kingship, just as he does (...) elsewhere, but he begs no questions because the point of his argument is to identify the public arts of politics and kingship with the private arts of household-management and slaveholding. He does this successfully by answering three reasons why one might distinguish the private from the public arts. His argument leaves room for Aristotle to propose other reasons. One of them—involving differences among men and women and slaves—is unfortunate, but another is more promising. The Aristotelian can assume that political expertise is a matter of know-how gathered by experience of the particular actions which differ in the public and private arts. But Plato might well be right to reject this, and to insist that the essential difference between the expert and non-expert—the dividing line between good and bad rule—is not in experience but in their grasp of their goals. (shrink)

Arguments from disagreement against moral realism begin by calling attention to widespread, fundamental moral disagreement among a certain group of people. Then, some skeptical or anti-realist-friendly conclusion is drawn. Chapter 2 proposes that arguments from disagreement share a structure that makes them vulnerable to a single, powerful objection: they self-undermine. For each formulation of the argument from disagreement, at least one of its premises casts doubt either on itself or on one of the other premises. On reflection, this shouldn’t be (...) surprising. These arguments are intended to support very strong metaphysical or epistemological conclusions about morality. They must therefore employ very strong metaphysical or epistemological premises. But, given the pervasiveness of disagreement in philosophy, especially about metaphysics and epistemology, very strong premises are virtually certain to be the subject of widespread, intractable disagreement—precisely the sort of disagreement that proponents of these arguments think undermine moral claims. Thus, these arguments undermine their own premises. If Chapter 2’s argument is sound, it provides realists with a single, unified strategy for responding to any existing or forthcoming arguments from disagreement. (shrink)