ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be equivalent; (...) but, when regarded as consequence systems (ibid., p. 157), one diverges from the others in a fashion which suggests that two standard measures of semantic complexity may not be as closely linked as previously thought. -/- This 1974 paper uses the linear notation for natural deduction presented in [2]: each two-dimensional deduction is represented by a unique one-dimensional string of characters. Thus obviating need for two-dimensional trees, tableaux, lists, and the like—thereby facilitating electronic communication of natural deductions. The 1969 paper presents a (modal, sentential) logic which may be thought of as a partial systematization of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of this logic coincides those of standard formalizations of Lewis’s S4. Among the paper's innovations is its treatment of modal logic in the setting of natural deduction systems--as opposed to axiomatic systems. The author’s apologize for the now obsolete terminology. For example, these papers speak of “a proof of a sentence from a set of premises” where today “a deduction of a sentence from a set of premises” would be preferable. 1. Corcoran, John. 1969. Three Logical Theories, Philosophy of Science 36, 153–77. J P R -/- 2. Corcoran, John and George Weaver. 1969. Logical Consequence in Modal Logic: Natural Deduction in S5 Notre Dame Journal of Formal Logic 10, 370–84. MR0249278 (40 #2524). 3. Weaver, George and John Corcoran. 1974. Logical Consequence in Modal Logic: Some Semantic Systems for S4, Notre Dame Journal of Formal Logic 15, 370–78. MR0351765 (50 #4253). (shrink)

The United States Fish and Wildlife Service in Alaska, USA, conducted a species status assessment for a petition to list the Alexander Archipelago wolf (Canis lupus ligoni) under the Endangered Species Act in 2020-2022. This federal undertaking could not be adequately prepared without including the knowledge of Indigenous People who have a deep cultural connection with the subspecies. Our objective is to communicate the authoritative expertise and voice of the Indigenous People who partnered on the project by demonstrating how (...) their knowledge contributed to the species status assessment. The Indigenous knowledge applied in the assessment is the cultural and intellectual property of those who have shared it. We employed rapid appraisal research to expeditiously develop a preliminary and qualitative understanding of Indigenous People's cultural and ecological knowledge of Alexander Archipelago wolves. We used semi-directed interviewing and inductive coding from grounded theory for text analysis. Indigenous knowledge contributed to the agency's understanding of the Alexander Archipelago wolf in Southeast Alaska and helped the agency with their classification decision. Indigenous research partners explained the rich cultural significance and position of wolves in Tlingit society and described human–wolf relationships and ecological interactions. The agency used a single-species assessment approach based in species ecology and conservation biology, whereas the Indigenous wolf experts applied a multi-species, community ecology approach based in a sociocultural context of balance and respect. The Indigenous wolf experts successfully addressed knowledge gaps identified by the agency. The partners were challenged by a short regulatory timeframe that did not allow for comprehensive study of Indigenous knowledge and constrained review and feedback by Indigenous experts. The United States Fish and Wildlife Service learned that its assessment framework was not designed to account for an Indigenous worldview. To level the playing field, the agency and Indigenous experts should discuss how to co-develop an assessment framework that equitably applies both perspectives. (shrink)

This presentation includes a complete bibliography of John Corcoran’s publications relevant on Aristotle’s logic. The Sections I, II, III, and IV list respectively 23 articles, 44 abstracts, 3 books, and 11 reviews. Section I starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article—from Corcoran’s Philadelphia period that antedates his discovery of Aristotle’s natural deduction system—and the Journal of Symbolic Logic article—from his Buffalo period first reporting his original results. It ends with works published in (...) 2015. Some items are annotated as listed or with endnotes connecting them with other work and pointing out passages that, in retrospect, are seen to be misleading and in a few places erroneous. In addition, Section V, “Discussions”, is a nearly complete secondary bibliography of works describing, interpreting, extending, improving, supporting, and criticizing Corcoran’s work: 10 items published in the 1970s, 24 in the 1980s, 42 in the 1990s, 60 in the 2000s, and 70 in the current decade. The secondary bibliography is also annotated as listed or with endnotes: some simply quoting from the cited item, but several answering criticisms and identifying errors. Section VI, “Alternatives”, lists recent works on Aristotle’s logic oblivious of Corcoran’s research and, more generally in some cases, even of the Łukasiewicz-initiated tradition. As is evident from Section VII, “Acknowledgements”, Corcoran’s publications benefited from consultation with other scholars, most notably George Boger, Charles Kahn, John Mulhern, Mary Mulhern, Anthony Preus, Timothy Smiley, Michael Scanlan, Roberto Torretti, and Kevin Tracy. All of Corcoran’s Greek translations were done in collaboration with two or more classicists. Corcoran never published a sentence without discussing it with his colleagues and students. (shrink)

Concordance of the poetic works of Giorgos Seferis which presents all the principal “words” of the texts in an alphabetical list, stating how often each word occurs, giving a precise location and a relevant piece of text for each occurrence. We found ca. 9500 different Greek words in 39000 different occurrences, so our concordance has 50.000 lines of text. The technical procedure required four main steps: text entry and tagging, production of the concordance, correction of the contexts, formatting for (...) print. (shrink)

It has been noticed that self-referential, ambiguous definitional formulas are accompanied by complementary self-referential antinomy formulas, which gives rise to contradictions. This made it possible to re-examine ancient antinomies and Cantor’s Diagonal Argument (CDA), as well as the method of nested intervals, which is the basis for evaluating the existence of uncountable sets. Using Georg Cantor’s remark that every real number can be represented as an infinite digital expansion (usually decimal or binary), a simplified system for verifying the definitions of (...) real numbers, subsets, and strings was created - the Cantor Criterion, which allows faulty definitions to be pointed out. For the CDA, the connection of formulas defining objects (real numbers, subsets, strings) from outside the list with supplementary formulas was demonstrated - their indirect and indispensable nature testifies to the lack of unambiguity and gives rise to contradictions for Cantor’s antinomic formulas. Thus, Cantor’s theorem about the higher power of the set of all subsets, using the reductio ad absurdum proof, lost its power and it was indicated that it is necessary to correct the scheme of the Axiom of Specification, which was introduced precisely to exclude antinomies from set theory by excluding from the use of self-referential antinomies and ambiguous supplementary formulas coupled with them identified by the H hypothesis. The method of nested intervals was investigated and it was shown that every real number can be defined by the limit of nested intervals and a countable list of real numbers obtained from a countable pool of all Jules Richard’s texts. (shrink)

Martin Heidegger as Interrogator: The Final Paradigm By Daniel Fidel Ferrer. Copyright©2024 Daniel Fidel Ferrer. All rights reserved. Attribution-NonCommercial-NoDerivs CC BY-NC-ND. Imprint 1.0. 2024. All Rights are reserved. Intended copies of this work can be used for research and teaching. No change in the content and must include my full name, Daniel Fidel Ferrer. Enjoying reading and disagreeing. Publisher: Kuhn von Verden Verlag. Language: English and German. Includes bibliographical references and an index. Pages 1-316. Index total pages is 524. Ontology. (...) 2. Metaphysics. 3. Philosophy, German. 4. Thought and thinking. 5. Kant, Immanuel, 1724-1804. 6. Schelling, Friedrich Wilhelm Joseph von, 1775-1854. 7. Hegel, Georg Wilhelm Friedrich, 1770-1831. 10. Philosophy, Modern -- 20th century. 11. Philosophy, Modern -- 19th century. 12. Practice (Philosophy). 13. Philosophy and civilization. 14. Postmodernism. 15. Nietzsche, Friedrich Wilhelm, 1844-1900. 16. Heidegger, Martin, 1889-1976. 17. Ferrer, Daniel Fidel. Table of Contents Mottos Division I. Discussion of the title pages 2-6 Prologue pages 7-14 Heidegger, what do we know about him? page 15-22 Early Heidegger pages 23-41 What are the periods in Heidegger’s thought? pages 42-51 Preface and Setting the Stage pages 52-65 Introduction pages 66-82 Heidegger on Questioning pages 83-94 The Crisis or Krisis in philosophy? pages 95-106 Does Heidegger have a philosophy? pages 107-127 Heidegger about the Nature of Teaching pages 128-132 Heidegger against philosophy as a worldview or the standpoint of standpointlessness pages 133-137 Heidegger’s world-famous book Being and Time (Sein und Zeit, SuZ, 1927) pages 138-153 Heidegger’s second attempt Beiträge zur Philosophie (Vom Ereignis) (1936-1938) pages 154-162 Heidegger on the image of the Bridge pages 163-170 Conclusion pages 171-188 -/- Division II. Engagement with Heidegger on history of philosophy (metaphysics). Reinigung as cleaning, purifying pages 189-191 What is Heidegger’s Metahistory of philosophy? pages 192-243 Appendix A. Reconstruction of a partial letter from Martin Heidegger to Dieter Sinn. Dated. 24 August 1964. pages 244-248 Appendix B. Martin Heidegger's Dialogue and Critical Debate with Hegel. pages 249-253 Appendix C. Heidegger on Pain (Schmerz) pages 254-257 Appendix D. Update: 2023 Oct 24. Daniel Fidel Ferrer replies to Professor Thomas Sheehan (Sein question) pages 258-269 Appendix E. Five Habilitations done with Martin Heidegger. Habilitationsschrift pages 270-272 Heidegger Bibliography Individual Lectures Vortrag or Vorträge. Detailed pages 273-294 Heidegger‘s Gesamtausgabe (HGA or GA). Note GA 72 has yet to be published (2024). pages 295-299 Letters. Briefe. Briefwechsel. Not complete pages 300-303 Heidegger Studies / Heidegger Studien / Etudes Heideggeriennes (list of Heidegger texts) pages 304-305 Jahresgaben der Martin-Heidegger-Gesellschaft (from the internet) (list of Heidegger texts) pages 306-308 Additional References (bibliographies) pages 309-310 Heidegger Index Projects by Daniel Fidel Ferrer page 311 -/- Martin Heidegger Audio Recordings pages 312-313 -/- Additional acknowledgements pages 314-315 -/- Letter from Hermann Heidegger to Daniel Ferrer den 5.2.2002. In German. Hermann Heidegger’s response to the Barbara Fiand collection being in the USA. -/- One of the thesis: there is no Heidegger philosophy. Read more… -/- “What always counts in the lecture-courses is the manner of proceeding - the sequence of steps - not a claim to final truths. The lecture-courses never wrap up in a completeness and in seemingly "finishing off" the works interpreted, but rather in the inner fullness of the hidden dynamics of questioning.” GA 66. Besinnung (1938/39). GA 66: 421. (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 aim of this exploratory paper is to review an under-appreciated parallel between group agency and artificial intelligence. As both phenomena involve non-human goal-directed agents that can make a difference to the social world, they raise some similar moral and regulatory challenges, which require us to rethink some of our anthropocentric moral assumptions. Are humans always responsible for those entities’ actions, or could the entities bear responsibility themselves? Could the entities engage in normative reasoning? Could they even have rights and (...) a moral status? I will tentatively defend the (increasingly widely held) view that, under certain conditions, artificial intelligent systems, like corporate entities, might qualify as responsible moral agents and as holders of limited rights and legal personhood. I will further suggest that regulators should permit the use of autonomous artificial systems in high-stakes settings only if they are engineered to function as moral (not just intentional) agents and/or there is some liability-transfer arrangement in place. I will finally raise the possibility that if artificial systems ever became phenomenally conscious, there might be a case for extending a stronger moral status to them, but argue that, as of now, this remains very hypothetical. (shrink)

This is an edited transcript of a conversation to be included in the collection "Conversations on Rational Choice". The conversation was conducted in Munich on 7 and 9 February 2016.

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)

I argue that free will and determinism are compatible, even when we take free will to require the ability to do otherwise and even when we interpret that ability modally, as the possibility of doing otherwise, and not just conditionally or dispositionally. My argument draws on a distinction between physical and agential possibility. Although in a deterministic world only one future sequence of events is physically possible for each state of the world, the more coarsely defined state of an agent (...) and his or her environment can be consistent with more than one such sequence, and thus different actions can be “agentially possible”. The agential perspective is supported by our best theories of human behaviour, and so we should take it at face value when we refer to what an agent can and cannot do. On the picture I defend, free will is not a physical phenomenon, but a higher-level one on a par with other higher-level phenomena such as agency and intentionality. (shrink)

This paper generalises the classical Condorcet jury theorem from majority voting over two options to plurality voting over multiple options. The paper further discusses the debate between epistemic and procedural democracy and situates its formal results in that debate. The paper finally compares a number of different social choice procedures for many-option choices in terms of their epistemic merits. An appendix explores the implications of some of the present mathematical results for the question of how probable majority cycles (as in (...) Condorcet's paradox) are in large electorates. (shrink)

This paper sketches a new and somewhat heterodox metaphysical theory of consciousness: the “many-worlds theory”. It drops the assumption that all conscious subjects’ experiences are features of one and the same world and instead associates different subjects with different “first-personally centred worlds”. We can think of these as distinct “first-personal realizers” of a shared “third-personal world”, where the latter is supervenient, in a sense to be explained. This is combined with a form of modal realism, according to which different subjects’ (...) first-personally centred worlds are all real, though only one of them is present for each subject. The theory offers a novel way of capturing the irreducibly subjective nature of conscious experience without lapsing into solipsism. The paper also looks at some scientific theories of consciousness, such as integrated information theory, through the proposed lens and reconsiders the hard problem of consciousness. (shrink)

It is often argued that higher-level special-science properties cannot be causally efficacious since the lower-level physical properties on which they supervene are doing all the causal work. This claim is usually derived from an exclusion principle stating that if a higher-level property F supervenes on a physical property F* that is causally sufficient for a property G, then F cannot cause G. We employ an account of causation as difference-making to show that the truth or falsity of this principle is (...) a contingent matter and derive necessary and sufficient conditions under which a version of it holds. We argue that one important instance of the principle, far from undermining non-reductive physicalism, actually supports the causal autonomy of certain higher-level properties. (shrink)

The existence of group agents is relatively widely accepted. Examples are corporations, courts, NGOs, and even entire states. But should we also accept that there is such a thing as group consciousness? I give an overview of some of the key issues in this debate and sketch a tentative argument for the view that group agents lack phenomenal consciousness. In developing my argument, I draw on integrated information theory, a much-discussed theory of consciousness. I conclude by pointing out an implication (...) of my argument for the normative status of group agents. (shrink)

Much recent philosophical work on social freedom focuses on whether freedom should be understood as non-interference, in the liberal tradition associated with Isaiah Berlin, or as non-domination, in the republican tradition revived by Philip Pettit and Quentin Skinner. We defend a conception of freedom that lies between these two alternatives: freedom as independence. Like republican freedom, it demands the robust absence of relevant constraints on action. Unlike republican, and like liberal freedom, it is not moralized. We show that freedom as (...) independence retains the virtues of its liberal and republican counterparts while shedding their vices. Our aim is to put this conception of freedom more firmly on the map and to offer a novel perspective on the logical space in which different conceptions of freedom are located. (shrink)

Political theorists have offered many accounts of collective decision-making under pluralism. I discuss a key dimension on which such accounts differ: the importance assigned not only to the choices made but also to the reasons underlying those choices. On that dimension, different accounts lie in between two extremes. The ‘minimal liberal account’ holds that collective decisions should be made only on practical actions or policies and that underlying reasons should be kept private. The ‘comprehensive deliberative account’ stresses the importance of (...) giving reasons for collective decisions, where such reasons should also be collectively decided. I compare these two accounts on the basis of a formal model developed in the growing literature on the ‘discursive dilemma’ and ‘judgment aggregation’ and address several questions: What is the trade-off between the (minimal liberal) demand for reaching agreement on outcomes and the (comprehensive deliberative) demand for reason-giving? How large should the ‘sphere of public reason’ be? When do the decision procedures suggested by the two accounts agree and when not? How good are these procedures at truthtracking on factual matters? What strategic incentives do they generate for decision-makers? My discussion identifies what is at stake in the choice between minimal liberal and comprehensive deliberative accounts of collective decisionmaking, and sheds light not only on these two ideal-typical accounts themselves, but also on many characteristics that intermediate accounts share with them. (shrink)

Political science is divided between methodological individualists, who seek to explain political phenomena by reference to individuals and their interactions, and holists (or nonreductionists), who consider some higher-level social entities or properties such as states, institutions, or cultures ontologically or causally significant. We propose a reconciliation between these two perspectives, building on related work in philosophy. After laying out a taxonomy of different variants of each view, we observe that (i) although political phenomena result from underlying individual attitudes and behavior, (...) individual-level descriptions do not always capture all explanatorily salient properties, and (ii) nonreductionistic explanations are mandated when social regularities are robust to changes in their individual-level realization. We characterize the dividing line between phenomena requiring nonreductionistic explanation and phenomena permitting individualistic explanation and give examples from the study of ethnic conflicts, social-network theory, and international-relations theory. (shrink)

We offer a new argument for the claim that there can be non-degenerate objective chance (“true randomness”) in a deterministic world. Using a formal model of the relationship between different levels of description of a system, we show how objective chance at a higher level can coexist with its absence at a lower level. Unlike previous arguments for the level-specificity of chance, our argument shows, in a precise sense, that higher-level chance does not collapse into epistemic probability, despite higher-level properties (...) supervening on lower-level ones. We show that the distinction between objective chance and epistemic probability can be drawn, and operationalized, at every level of description. There is, therefore, not a single distinction between objective and epistemic probability, but a family of such distinctions. (shrink)

In this paper, I argue that no theory of consciousness can simultaneously respect four initially plausible metaphysical claims – namely, ‘first-person realism’, ‘non-solipsism’, ‘non-fragmentation’, and ‘one world’ – but that any three of the four claims are mutually consistent. So, theories of consciousness face a ‘quadrilemma’. Since it will be hard to achieve a consensus on which of the four claims to retain and which to give up, we arrive at a landscape of competing theories, all of which have pros (...) and cons. I will briefly indicate which kinds of theories correspond to the four horns of the quadrilemma. (shrink)

Are groups ever capable of bearing responsibility, over and above their individual members? This chapter discusses and defends the view that certain organized collectives – namely, those that qualify as group moral agents – can be held responsible for their actions, and that group responsibility is not reducible to individual responsibility. The view has important implications. It supports the recognition of corporate civil and even criminal liability in our legal systems, and it suggests that, by recognizing group agents as loci (...) of responsibility, we may be able to avoid “responsibility gaps” in some cases of collectively caused harms for which there is a shortfall of individual responsibility. The chapter further asks whether the view that certain groups are responsible agents commits us to the view that those groups should also be given rights of their own and gives a qualified negative answer. (shrink)

The aim of this paper is to discuss a seemingly straightforward argument against physicalism which, despite being implicit in much of the philosophical debate about consciousness, has not received the attention it deserves (compared to other, better-known “epistemic”, “modal”, and “conceivability” arguments). This is the argument from the non-supervenience of the first-personal (and indexical) facts on the third-personal (and non-indexical) ones. This non-supervenience, together with the assumption that the physical facts (as conventionally understood) are third-personal, entails that some facts – (...) namely, first-personal, phenomenal ones – do not supervene on the physical facts. Unlike other arguments against physicalism, the first-personal argument, if successful, refutes not only physicalism but also other third-personal metaphysical pictures, including standard versions of dualism. (shrink)

In this paper, I introduce the emerging theory of judgment aggregation as a framework for studying institutional design in social epistemology. When a group or collective organization is given an epistemic task, its performance may depend on its ‘aggregation procedure’, i.e. its mechanism for aggregating the group members’ individual beliefs or judgments into corresponding collective beliefs or judgments endorsed by the group as a whole. I argue that a group’s aggregation procedure plays an important role in determining whether the group (...) can meet two challenges: the ‘rationality challenge’ and the ‘knowledge challenge’. The rationality challenge arises when a group is required to endorse consistent beliefs or judgments; the knowledge challenge arises when the group’s beliefs or judgments are required to track certain truths. My discussion seeks to identify those properties of an aggregation procedure that affect a group’s success at meeting each of the two challenges. (shrink)

This paper offers a comparison of three different kinds of collective attitudes: aggregate, common, and corporate attitudes. They differ not only in their relationship to individual attitudes—e.g., whether they are “reducible” to individual attitudes—but also in the roles they play in relation to the collectives to which they are ascribed. The failure to distinguish them can lead to confusion, in informal talk as well as in the social sciences. So, the paper’s message is an appeal for disambiguation.

We offer a critical assessment of the “exclusion argument” against free will, which may be summarized by the slogan: “My brain made me do it, therefore I couldn't have been free”. While the exclusion argument has received much attention in debates about mental causation (“could my mental states ever cause my actions?”), it is seldom discussed in relation to free will. However, the argument informally underlies many neuroscientific discussions of free will, especially the claim that advances in neuroscience seriously challenge (...) our belief in free will. We introduce two distinct versions of the argument, discuss several unsuccessful responses to it, and then present our preferred response. This involves showing that a key premise – the “exclusion principle” – is false under what we take to be the most natural account of causation in the context of agency: the difference-making account. We finally revisit the debate about neuroscience and free will. (shrink)

Can there be a global demos? The current debate about this topic is divided between two opposing camps: the “pessimist” or “impossibilist” camp, which holds that the emergence of a global demos is either conceptually or empirically impossible, and the “optimist” or “possibilist” camp, which holds that the emergence of a global demos is conceptually as well as empirically possible and an embryonic version of it already exists. However, the two camps agree neither on a common working definition of a (...) global demos, nor on the relevant empirical facts, so it is difficult to reconcile their conflicting outlooks. We seek to move the debate beyond this stalemate. We argue that existing conceptions of a demos are ill-suited for capturing what kind of a global demos is needed to facilitate good global governance, and we propose a new conception of a demos that is better suited for this purpose. We suggest that some of the most prominent conceptions of a demos have focused too much on who the members of a demos are and too little on what functional characteristics the demos must have in order to perform its role in facilitating governance within the relevant domain. Our new proposal shifts the emphasis from the first, “compositional” question to the second, “performative” one, and provides a more “agency-based” account of a global demos. The key criterion that a collection of individuals must meet in order to qualify as a demos is that it is not merely demarcated by an appropriate membership criterion, but that it can be organized, democratically, so as to function as a state-like agent. Compared to the existing, predominantly “compositional” approaches to thinking about the demos, this agency-based approach puts us into a much better position to assess the empirical prospects for the emergence of a global demos that can facilitate good global governance. (shrink)

Suppose several individuals (e.g., experts on a panel) each assign probabilities to some events. How can these individual probability assignments be aggregated into a single collective probability assignment? This article reviews several proposed solutions to this problem. We focus on three salient proposals: linear pooling (the weighted or unweighted linear averaging of probabilities), geometric pooling (the weighted or unweighted geometric averaging of probabilities), and multiplicative pooling (where probabilities are multiplied rather than averaged). We present axiomatic characterisations of each class of (...) pooling functions (most of them classic, but one new) and argue that linear pooling can be justified procedurally, but not epistemically, while the other two pooling methods can be justified epistemically. The choice between them, in turn, depends on whether the individuals' probability assignments are based on shared information or on private information. We conclude by mentioning a number of other pooling methods. (shrink)

The aim of this expository paper is to give an informal overview of a plausible naturalistic case for free will. I will describe what I take to be the main naturalistically motivated challenges for free will and respond to them by presenting an indispensability argument for free will. The argument supports the reality of free will as an emergent higher-level phenomenon. I will also explain why the resulting picture of free will does not conflict with the possibility that the fundamental (...) laws of nature are deterministic, and I will address some common objections. (shrink)

In normative political theory, it is widely accepted that democracy cannot be reduced to voting alone, but that it requires deliberation. In formal social choice theory, by contrast, the study of democracy has focused primarily on the aggregation of individual opinions into collective decisions, typically through voting. While the literature on deliberation has an optimistic flavour, the literature on social choice is more mixed. It is centred around several paradoxes and impossibility results identifying conflicts between different intuitively plausible desiderata. In (...) recent years, there has been a growing dialogue between the two literatures. This paper discusses the connections between them. Important insights are that (i) deliberation can complement aggregation and open up an escape route from some of its negative results; and (ii) the formal models of social choice theory can shed light on some aspects of deliberation, such as the nature of deliberation-induced opinion change. (shrink)

At the core of republican thought, on Philip Pettit’s account, lies the conception of freedom as non-domination, as opposed to freedom as noninterference in the liberal sense. I revisit the distinction between liberal and republican freedom and argue that republican freedom incorporates a particular rule-of-law requirement, whereas liberal freedom does not. Liberals may also endorse such a requirement, but not as part of their conception of freedom itself. I offer a formal analysis of this rule-of-law requirement and compare liberal and (...) republican freedom on its basis. While I agree with Pettit that republican freedom has broader implications than liberal freedom, I conclude that we face a trade-off between two dimensions of freedom (scope and robustness) and that it is harder for republicans to solve that trade-off than it is for liberals. Key Words: freedom • republicanism • liberalism • noninterference • non-domination • rule of law • robustness • liberal paradox. (shrink)

On the orthodox view in economics, interpersonal comparisons of utility are not empirically meaningful, and "hence" impossible. To reassess this view, this paper draws on the parallels between the problem of interpersonal comparisons of utility and the problem of translation of linguistic meaning, as explored by Quine. I discuss several cases of what the empirical evidence for interpersonal comparisonsof utility might be and show that, even on the strongest of these, interpersonal comparisons are empirically underdetermined and, if we also deny (...) any appropriate truth of the matter, indeterminate. However, the underdetermination can be broken non-arbitrarily (though not purely empirically) if (i) we assign normative significance to certain states of affairs or (ii) we posit a fixed connection between certain empirically observable proxies and utility. I conclude that, even if interpersonal comparisons are not empirically meaningful, they are not in principle impossible. (shrink)

Majority cycling and related social choice paradoxes are often thought to threaten the meaningfulness of democracy. But deliberation can prevent majority cycles – not by inducing unanimity, which is unrealistic, but by bringing preferences closer to single-peakedness. We present the first empirical test of this hypothesis, using data from Deliberative Polls. Comparing preferences before and after deliberation, we find increases in proximity to single-peakedness. The increases are greater for lower versus higher salience issues and for individuals who seem to have (...) deliberated more versus less effectively. They are not merely a byproduct of increased substantive agreement. Our results both refine and support the idea that deliberation, by increasing proximity to single-peakedness, provides an escape from the problem of majority cycling. (shrink)

Past research has identified a number of asymmetries based on moral judgments. Beliefs about what a person values, whether a person is happy, whether a person has shown weakness of will, and whether a person deserves praise or blame seem to depend critically on whether participants themselves find the agent's behavior to be morally good or bad. To date, however, the origins of these asymmetries remain unknown. The present studies examine whether beliefs about an agent's “true self” explain these observed (...) asymmetries based on moral judgment. Using the identical materials from previous studies in this area, a series of five experiments indicate that people show a general tendency to conclude that deep inside every individual there is a “true self” calling him or her to behave in ways that are morally virtuous. In turn, this belief causes people to hold different intuitions about what the agent values, whether the agent is happy, whether he or she has shown weakness of will, and whether he or she deserves praise or blame. These results not only help to answer important questions about how people attribute various mental states to others; they also contribute to important theoretical debates regarding how moral values may shape our beliefs about phenomena that, on the surface, appear to be decidedly non-moral in nature. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...) course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (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)

Can we design a perfect democratic decision procedure? Condorcet famously observed that majority rule, our paradigmatic democratic procedure, has some desirable properties, but sometimes produces inconsistent outcomes. Revisiting Condorcet’s insights in light of recent work on the aggregation of judgments, I show that there is a conflict between three initially plausible requirements of democracy: “robustness to pluralism”, “basic majoritarianism”, and “collective rationality”. For all but the simplest collective decision problems, no decision procedure meets these three requirements at once; at most (...) two can be met together. This “democratic trilemma” raises the question of which requirement to give up. Since different answers correspond to different views about what matters most in a democracy, the trilemma suggests a map of the “logical space” in which different conceptions of democracy are located. It also sharpens our thinking about other impossibility problems of social choice and how to avoid them, by capturing a core structure many of these problems have in common. More broadly, it raises the idea of “cartography of logical space” in relation to contested political concepts. (shrink)

This paper constructs a model of metaphysical indeterminacy that can accommodate a kind of ‘deep’ worldly indeterminacy that arguably arises in quantum mechanics via the Kochen-Specker theorem, and that is incompatible with prominent theories of metaphysical indeterminacy such as that in Barnes and Williams (2011). We construct a variant of Barnes and Williams's theory that avoids this problem. Our version builds on situation semantics and uses incomplete, local situations rather than possible worlds to build a model. We evaluate the resulting (...) theory and contrast it with similar alternatives, concluding that our model successfully captures deep indeterminacy. (shrink)

Pettit (2006) argues that deferring to majority testimony is not generally rational: it may lead to inconsistent beliefs. He suggests that “another ... approach will do better”: deferring to supermajority testimony. But this approach may also lead to inconsistencies. In this paper, I describe conditions under which deference to supermajority testimony ensures consistency, and conditions under which it does not. I also introduce the concept of “consistency of degree k”, which is weaker than full consistency by ruling out only “blatant” (...) inconsistencies in an agent’s beliefs while permitting less blatant ones, and show that, while super-majoritarian deference often fails to ensure full consistency, it is a route to consistency in this weaker sense. (shrink)

This paper argues that decision theory presupposes free will. Although decision theorists seldom acknowledge this, the way decision theory represents, explains, or rationalizes choice behaviour acquires its intended interpretation only under the assumption that decision-makers are agents capable of making free choices between alternative possibilities. Without that assumption, both normative and descriptive decision theory, including the revealed-preference paradigm, would have to be reinterpreted in implausible ways. The hypothesis that decision-makers have free will is therefore explanatorily indispensable for decision theory. If (...) we regard explanatory indispensability as an indicator of reality in science, decision theorists should embrace the idea of free will. (shrink)

Real human agents, even when they are rational by everyday standards, sometimes assign different credences to objectively equivalent statements, such as ‘Orwell is a writer’ and ‘E.A. Blair is a writer’, or credences less than 1 to necessarily true statements, such as not-yet-proven theorems of arithmetic. Anna Mahtani calls this the phenomenon of ‘opacity’. Opaque credences seem probabilistically incoherent, which goes against a key modelling assumption of probability theory. I sketch a modelling strategy for capturing opaque credence assignments without abandoning (...) probabilistic coherence. I draw on ideas from judgement-aggregation theory, where we face similar challenges of defining the ‘objects of judgement’. (shrink)

This study provides a unified theory of properties, relations, and propositions (PRPs). Two conceptions of PRPs have emerged in the history of philosophy. The author explores both of these traditional conceptions and shows how they can be captured by a single theory.

Decision-making typically requires judgments about causal relations: we need to know the causal effects of our actions and the causal relevance of various environmental factors. We investigate how several individuals' causal judgments can be aggregated into collective causal judgments. First, we consider the aggregation of causal judgments via the aggregation of probabilistic judgments, and identify the limitations of this approach. We then explore the possibility of aggregating causal judgments independently of probabilistic ones. Formally, we introduce the problem of causal-network aggregation. (...) Finally, we revisit the aggregation of probabilistic judgments when this is constrained by prior aggregation of qualitative causal judgments. (shrink)

Michael S. Moore defends the ideas of free will and responsibility, especially in relation to criminal law, against several challenges from neuroscience. I agree with Moore that morality and the law presuppose a commonsense understanding of humans as rational agents, who make choices and act for reasons, and that to defend moral and legal responsibility, we must show that this commonsense understanding remains viable. Unlike Moore, however, I do not think that classical compatibilism, which is based on a conditional understanding (...) of the ability to do otherwise, provides a sufficiently robust account of free will, even when it is amended as Moore suggests. I argue that free will and responsibility can be defended more robustly by observing that, at the level of agency, there can be alternative possibilities and mental causation in a stronger sense than recognized by classical compatibilism, even if physical determinism is true. Moore’s arguments could thus be strengthened by embracing this compatibilist libertarian position. At the same time, I note that, although the idea of responsibility is robustly defensible, there are independent reasons for rejecting a retributivist approach to punishment. (shrink)

It is common to ascribe agency to some organized collectives, such as corporations, courts, and states, and to treat them as loci of responsibility, over and above their individual members. But since responsibility is often assumed to require free will, should we also think that group agents have free will? Surprisingly, the literature contains very few in-depth discussions of this question. The most extensive defence of corporate free will that I am aware of (Hess [2014], “The Free Will of Corporations (...) (and Other Collectives)”, Philosophical Studies 168 (1): 241–260) rests on a compatibilist understanding which takes reasons-responsiveness and acting from one’s own ‘actional springs’ as key conditions for free will but says little about a condition that free-will libertarians emphasize: the possibility of doing otherwise. In this paper, I will argue that group agents can have free will not only in a (less demanding) compatibilist sense, but also in a recognizably libertarian sense, which includes the possibility of doing otherwise. In developing this account of corporate free will, I will bring together recent work on group agency and recent work on free will. (shrink)

We ordinarily think that we human beings have agency: we have control over our choices and make a difference to our environments. Yet it is not obvious how agency can fit into a physical world that is governed by exceptionless laws of nature. In particular, it is unclear how agency is possible if those laws are deterministic and the universe functions like a mechanical clockwork. In this short paper, I first explain the apparent conflict between agency and physical determinism (referring (...) to recent work by Helen Steward on "agency incompatibilism"), then review some salient responses one might give to this conflict, and finally sketch a response that rests on a distinction between “physical” and “agential possibilities.” Agency, I suggest, is a higher-level phenomenon, which comes with its own level-specific notion of possibility, and it cannot be adequately analyzed in physical terms alone or just through the lens of physical possibility. (The paper was written as an informal position paper for a symposium on "Possibilities".). (shrink)

The paper begins with a clarification of the notions of intuition (and, in particular, modal intuition), modal error, conceivability, metaphysical possibility, and epistemic possibility. It is argued that two-dimensionalism is the wrong framework for modal epistemology and that a certain nonreductionist approach to the theory of concepts and propositions is required instead. Finally, there is an examination of moderate rationalism’s impact on modal arguments in the philosophy of mind -- for example, Yablo’s disembodiment argument and Chalmers’s zombie argument. A less (...) vulnerable style of modal argument is defended, which nevertheless wins the same anti-materialist conclusions sought by these other arguments. (shrink)

The topic of a priori knowledge is approached through the theory of evidence. A shortcoming in traditional formulations of moderate rationalism and moderate empiricism is that they fail to explain why rational intuition and phenomenal experience count as basic sources of evidence. This explanatory gap is filled by modal reliabilism -- the theory that there is a qualified modal tie between basic sources of evidence and the truth. This tie to the truth is then explained by the theory of concept (...) possession: this tie is a consequence of what, by definition, it is to possess (i.e., to understand) one’s concepts. A corollary of the overall account is that the a priori disciplines (logic, mathematics, philosophy) can be largely autonomous from the empirical sciences. (shrink)

Logik ist nach dem traditionellen Verständnis eine ars iudicandi, eine Kunst, die Gültigkeit von Schlüssen zu prüfen. Da mit die normalen Mittel der modernen Logik zu diesem Zweck eingesetzt werden können, müssen erst Formeln an die Stelle von Sätzen treten: umgangssprachliche Schlüsse müssen adäquat formalisiert werden. Die richtige Formel entwickelt ein theoretisches Konzept des Formalisierens und praktisch anwendbare Adäquatheitskriterien für Formalisierungen. Dabei werden zentrale Fragen der Philosophie der Logik unter dem Gesichtspunkt des Zusammenspiels von Umgangssprache und Formalismus untersucht. Die ausführliche (...) und systematische Diskussion von Formalisierungstests bietet eine wichtige Ergänzung zu den traditionellen Logiklehrbüchern. (shrink)

Debate on free will with Christian List, Gregg Caruso, and Cory Clark. The exchange is focused on Christian List's book Why Free Will Is Real.

This paper provides a defense of two traditional theses: the Autonomy of Philosophy and the Authority of Philosophy. The first step is a defense of the evidential status of intuitions (intellectual seemings). Rival views (such as radical empiricism), which reject the evidential status of intuitions, are shown to be epistemically self-defeating. It is then argued that the only way to explain the evidential status of intuitions is to invoke modal reliabilism. This theory requires that intuitions have a certain qualified modal (...) tie to the truth. This result is then used as the basis of the defense of the Autonomy and Authority theses. The paper closes with a defense of the two theses against a potential threat from scientific essentialism. (shrink)