The paper explores the idea that some singular judgements about the natural numbers are immune to error through misidentification by pursuing a comparison between arithmetic judgements and first-person judgements. By doing so, the first part of the paper offers a conciliatory resolution of the Coliva-Pryor dispute about so-called “de re” and “which-object” misidentification. The second part of the paper draws some lessons about what it takes to explain immunity to error through misidentification. The lessons are: First, (...) the so-called Simple Account of which-object immunity to error through misidentification to the effect that a judgement is immune to this kind of error just in case its grounds do not feature any identification component fails. Secondly, wh-immunity can be explained by a Reference-Fixing Account to the effect that a judgement is immune to this kind of error just in case its grounds are constituted by the facts whereby the reference of the concept of the object which the judgement concerns is fixed. Thirdly, a suitable revision of the Simple Account explains the de re immunity of those arithmetic judgements which are not wh-immune. These three lessons point towards the general conclusion that there is no unifying explanation of de re and wh-immunity. (shrink)

According to Hartry Field, the mathematical Platonist is hostage of a dilemma. Faced with the request of explaining the mathematicians’ reliability, one option could be to maintain that the mathematicians are reliably responsive to a realm populated with mathematical entities; alternatively, one might try to contend that the mathematical realm conceptually depends on, and for this reason is reliably reflected by, the mathematicians’ (best) opinions; however, both alternatives are actually unavailable to the Platonist: the first one because it is in (...) tension with the idea that mathematical entities are causally ineffective, the second one because it is in tension with the suggestion that mathematical entities are mind-independent. John Divers and Alexander Miller have tried to reject the conclusion of this argument—according to which Platonism is inconsistent with a satisfactory epistemology for arithmetic—by redescribing the second horn of the dilemma in light of Crispin Wright’s notion of judgment-dependent truth; in particular they have contended that once arithmetical truth is conceived in this way the Platonist can have a substantial epistemology which does not conflict with the idea that the mathematical entities exist mind-independently. In this paper I analyze Wright’s notion of judgment-dependent truth, and reject Divers and Miller’s argument for the conclusion that arithmetical truth can be so characterized. In the final part, I address the worry that my argument generalizes very quickly to the conclusion that no area of discourse could be characterized as judgment-dependent. As against this conclusion, I indicate under what conditions—notably not satisfied in Divers and Miller’s case, but possibly satisfied in others—a discourse’s judgment-dependency can be successfully vindicated. (shrink)

Real human agents, even when they are rational by everyday standards, sometimes assign different credences to objectively equivalent statements, such as “George Orwell is a writer” and “Eric Arthur 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” (a form of hyperintensionality). 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 judgment-aggregation theory, where we face similar challenges of defining the “objects of judgment”. (shrink)

This book tells the story of modern ethics, namely the story of a discourse that, after the Renaissance, went through a methodological revolution giving birth to Grotius’s and Pufendorf’s new science of natural law, leaving room for two centuries of explorations of the possible developments and implications of this new paradigm, up to the crisis of the Eighties of the eighteenth century, a crisis that carried a kind of mitosis, the act of birth of both basic paradigms of the two (...) following centuries: Kantian ethics and utilitarianism. The new science of natural law carried a fresh start for ethics, resulting from a mixture of the Old and the New. It was, as suggested by Schneewind, an attempt at rescuing the content of Scholastic and Stoic doctrines on a new methodological basis. The former was the claim of existence of objective and universal moral laws; the latter was the self-aware attempt at justifying a minimal kernel of such laws facing skeptical doubt. What Bentham and Kant did was precisely carrying this strategy further on, even if restructuring it each of them around one out of two alternative basic claims. The nineteenth- and twentieth-century critics of the Enlightenment attacked both not on their alleged failure in carrying out their own projects, but precisely on having adopted Grotius’s and Pufendorf’s project. What counter-enlightenment has been unable to spell out is which alternative project could be carried out facing the modern condition of pluralism, while on the contrary, if we takes a closer look at developments in twentieth-century ethics or at on-going discussions on practical issues, we might feel inclined to believe that Grotius’s and Pufendorf’s project is as up-to-date as ever. -/- Table of Contents -/- Preface I. Fathers of the Reformation and Schoolmen 1.1. Luther: passive justice and the good deeds; 1.2. Calvin: voluntarism and predestination; 1.3. Baroque Scholasticism; 1.4. Casuistry and Institutiones morales -/- II Neo-Platonists, neo-Stoics, neo-Sceptics 2.1. Aristotelian, neo-Platonic, neo-Epicurean and neo-Cynic Humanists; 2.2. Oeconomica and the art of living; 2.3. Neo-Stoics; 2.4. Neo-Sceptics; 2.5. Moralistic literature -/- III Neo-Augustinians 3.l. The Jansenists on natura lapsa, sufficient grace, pure love; 3.2. Nicole on the impossibility of self-knowledge; 3.3. Nicole on self-love and charity; 3.4. Nicole against civic virtue, for Christian civility; 3.5. Malebranche on general laws and necessary evil; 3.6. Malebranche on Neo-Augustinianism and Platonism. -/- IV Grotius, Pufendorf and the new moral science 4.1. Grotius against Aristotle and the sceptics; 4.2. Mersenne and Gassendi; 4.3. Descartes on ethics as the last branch of philosophy’s tree; 4.4. Hobbes on scepticism and the new moral science; 4.5. Spinoza on the new moral science as a descriptive science;4.6. Locke on voluntarism and probabilism; 4.7. Pufendorf on natural law as an exact science; 4.8. Pufendorf on physical and moral entities; 10. Pufendorf on self-preservation -/- V The empiricist version of the new moral science: from Cumberland to Paley 5.1. Cumberland against Hobbesian voluntarism; 5.2. Cumberland and theological consequentialism; 5.3. Cumberland on universal benevolence and self-love; 5.4. Shaftesbury on the moral sense; 5.5. Hutcheson on natural law and moral faculties; 5.6. Gay, Brown, Paley and theological consequentialism. -/- VI The rationalist version of the new moral science: from Cudworth to Price 6.1. The Cambridge Platonists; 6.2. Shaftesbury on the moral sense; 6.3. Butler and a third way between voluntarism and scepticism; 6.4. Price and the rational character of moral truths; -/- VII Leibniz’s compromise between the new moral science and Aristotelianism 1.Leibniz against voluntarism; 2.Leibniz against the division between the physical and the moral good; 3.Leibniz on la place d’autrui and theological consequentialism; 4.Thomasius, Wolff, Crusius -/- VIII French eighteenth-century philosophers without the new moral science 8.1. The genealogy of our ideas of virtue and vice; 8.2. Maupertuis and moral arithmetic 8.3. The philosophes and the harmony of interests; 8.4. Rousseau on corruption, self-love, and virtue; 8.5. Sade on the merits of vice -/- IX Experimental moral science: Hume and Adam Smith 9.1. Mandeville’s paradox; 9.2. Hutcheson on the law of nature and moral faculties; 9.3. Hume on experimental moral philosophy and the intermediate principles; 9.4. Hume’s Law; 9.5. Hume on the fellow-feeling; 9.6. Hume on natural and artificial virtues and disinterested pleasure for utility; 9.7. Adam Smith’s anti-realist metaethics; 9.8. Adam Smith on self-deception and the paradox of happiness; 9.9. Adam Smith on sympathy and the impartial spectator; 9.10. Adam Smith on the twofold criterion for moral judgement and its paradox; 9.11. Reid on the refutation of scepticism and the self-evidence of duty -/- X Kantian ethics 10.1. Kantian metaethics: moral epistemology; 10.2. Kantian metaethics: moral ontology; 10.3. Kantian metaethics: moral psychology; 10.4. Kantian normative ethics; 10.5. Kant on the impracticability of applied ethics; 10.6. Kantian moral anthropology; 10.7. Civilisation and moralisation; 10.8. Theology on a moral basis and the origins of evil; 10.9. Fichte and the transformation of theoretical philosophy into practical philosophy XI Bentham and utilitarianism 11.1. Bentham’s linguistic theory; 11.2. Bentham’s moral ontology, psychology, and theory of action; 11.3. The principle of greatest happiness; 11.4. The critique of religious ethics; 11.5. The new morality; 11.6. Interest and duty; 11.7. Virtues; 11.8. Private ethics and legislation -/- XII Followers of the Enlightenment: liberal Judaism and Liberal Theology 12.1. Mendelssohn; 12.2. Salomon Maimon; 12.3. Haskalā and liberal Judaism; 12.4. Liberal Theology. -/- XIII Counter-Enlighteners 13.1.Romanticism and the fulfilment of individuality as the Summum Bonum; 13.2. Hegel on history as the making of liberty; 13.3. Hegel on the unhappy consciousness and the beautiful soul; 13.4. Hegel on Morality and Sittlichkeit; 13.5. Marx on ideology, alienation, and praxis; 13.6. Schopenhauer on compassion; 13.7. Kierkegaard on faith beyond ethics. -/- XIV Followers of the Enlightenment: intuitionists and utilitarian 14.1 Whewell‘s criticism of utilitarianism; 14.2 Whewell on morality and the philosophy of morality; 14.3 Whewell on the Supreme Norm; 14.4 Whewell on the conflict between duties; 14.5 Mill and the proof of the principle of utility; 14.6 Mill’s eudemonistic utilitarianism; 14.7 Mill on rules -/- XV Followers of the Enlightenment: neo-Kantians and positivists 15.1. French spiritualism; 15.2. Neo-Kantians: the Marburg school; 15.3. Neo-Kantians: the Marburg school; 15.4. Comte’s positivism and the invention of altruism; 15.5. Social Darwinism; 15.6. Wundt and an ethic of humankind -/- XVI Post-enlighteners: Sidgwick 16.1. Criticism of intuitionism; 16.2. On ethical egoism; 16.3. Criticism of utilitarianism -/- XVII Post-enlighteners: Durkheim 17.1. Sociology as physics of customs; 17.2. Morality as physics of customs and as practical science; 17.3. On Kantian ethics and utilitarianism; 17.4. The variability of moralities;17.5. Social solidarity as end and justification of morality; 17.6. Secular morality as “sociodicy”; XVIII Post-enlighteners: Nietzsche 18.1. On the Dionysian; 18.2. On the deconstruction of the world of values 18.3 On the twofold genealogy of moralities; 18.4. On ascetics and nihilism; 18.5. Normative ethics of self-fulfilment -/- Bibliography / Index of names / Index of concepts -/- . (shrink)

(Goodsell, Journal of Philosophical Logic, 51(1), 127-150 2022) establishes the noncontingency of sentences of first-order arithmetic, in a plausible higher-order modal logic. Here, the same result is derived using significantly weaker assumptions. Most notably, the assumption of rigid comprehension—that every property is coextensive with a modally rigid one—is weakened to the assumption that the Boolean algebra of properties under necessitation is countably complete. The results are generalized to extensions of the language of arithmetic, and are applied to answer (...) a question posed by Bacon and Dorr (2024). (shrink)

Philosophers of science since Nagel have been interested in the links between intertheoretic reduction and explanation, understanding and other forms of epistemic progress. Although intertheoretic reduction is widely agreed to occur in pure mathematics as well as empirical science, the relationship between reduction and explanation in the mathematical setting has rarely been investigated in a similarly serious way. This paper examines an important particular case: the reduction of arithmetic to set theory. I claim that the reduction is unexplanatory. In (...) defense of this claim, I offer evidence from mathematical practice, and I respond to contrary suggestions due to Steinhart, Maddy, Kitcher and Quine. I then show how, even if set-theoretic reductions are generally not explanatory, set theory can nevertheless serve as a legitimate foundation for mathematics. Finally, some implications of my thesis for philosophy of mathematics and philosophy of science are discussed. In particular, I suggest that some reductions in mathematics are probably explanatory, and I propose that differing standards of theory acceptance might account for the apparent lack of unexplanatory reductions in the empirical sciences. (shrink)

An arithmetic theory of oppositions is devised by comparing expressions, Boolean bitstrings, and integers. This leads to a set of correspondences between three domains of investigation, namely: logic, geometry, and arithmetic. The structural properties of each area are investigated in turn, before justifying the procedure as a whole. Io finish, I show how this helps to improve the logical calculus of oppositions, through the consideration of corresponding operations between integers.

SEMANTIC ARITHMETIC: A PREFACE John Corcoran Abstract Number theory, or pure arithmetic, concerns the natural numbers themselves, not the notation used, and in particular not the numerals. String theory, or pure syntax, concems the numerals as strings of «uninterpreted» characters without regard to the numbe~s they may be used to denote. Number theory is purely arithmetic; string theory is purely syntactical... in so far as the universe of discourse alone is considered. Semantic arithmetic is a broad (...) subject which begins when numerals are mentioned (not just used) and mentioned as names of numbers (not just as syntactic objects). Semantic arithmetic leads to many fascinating and surprising algorithms and decision procedures; it reveals in a vivid way the experiential import of mathematical propositions and the predictive power of mathematical knowledge; it provides an interesting perspective for philosophical, historical, and pedagogical studies of the growth of scientific knowledge and of the role metalinguistic discourse in scientific thought. (shrink)

Is calculation possible without language? Or is the human ability for arithmetic dependent on the language faculty? To clarify the relation between language and arithmetic, we studied numerical cognition in speakers of Mundurukú, an Amazonian language with a very small lexicon of number words. Although the Mundurukú lack words for numbers beyond 5, they are able to compare and add large approximate numbers that are far beyond their naming range. However, they fail in exact arithmetic with numbers (...) larger than 4 or 5. Our results imply a distinction between a nonverbal system of number approximation and a language-based counting system for exact number and arithmetic. (shrink)

Orthodoxy holds that there is a determinate fact of the matter about every arithmetical claim. Little argument has been supplied in favour of orthodoxy, and work of Field, Warren and Waxman, and others suggests that the presumption in its favour is unjustified. This paper supports orthodoxy by establishing the determinacy of arithmetic in a well-motivated modal plural logic. Recasting this result in higher-order logic reveals that even the nominalist who thinks that there are only finitely many things should think (...) that there is some sense in which arithmetic is true and determinate. (shrink)

In this paper I present reasons for us to accept the hypothesis that suspended judgment has correctness conditions, just like beliefs do. Roughly put, the idea is that suspended judgment about p is correct when both p and ¬p might be true in view of certain facts that characterize the subject’s situation. The reasons to accept that hypothesis are broadly theoretical ones: it adds unifying power to our epistemological theories, it delivers good and conservative consequences, and it allows us to (...) assess processes of reasoning involving attitudes of suspended judgment. (shrink)

The subject of this article is Modal-Epistemic Arithmetic (MEA), a theory introduced by Horsten to interpret Epistemic Arithmetic (EA), which in turn was introduced by Shapiro to interpret Heyting Arithmetic. I will show how to interpret MEA in EA such that one can prove that the interpretation of EA is MEA is faithful. Moreover, I will show that one can get rid of a particular Platonist assumption. Then I will discuss models for MEA in light of the (...) problems of logical omniscience and logical competence. Awareness models, impossible worlds models and syntactical models have been introduced to deal with the first problem. Certain conditions on the accessibility relations are needed to deal with the second problem. I go on to argue that those models are subject to the problem of quantifying in, for which I will provide a solution. (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)

Wright’s judgement-dependent account of intention is an attempt to show that truths about a subject’s intentions can be viewed as constituted by the subject’s own best judgements about those intentions. The judgements are considered to be best if they are formed under certain cognitively optimal conditions, which mainly include the subject’s conceptual competence, attentiveness to the questions about what the intentions are, and lack of any material self-deception. Offering a substantive, non-trivial specification of the no-self-deception condition is one (...) of the main problems for Wright. His solution is to view it as a positive presumption, which is violated only if there is strong evidence to the effect that the subject is self-deceived. In this paper, I will argue that the concern about self-deception in Wright’s account is misplaced and generally unmotivated. (shrink)

The paper considers a generalization of Peano arithmetic, Hilbert arithmetic as the basis of the world in a Pythagorean manner. Hilbert arithmetic unifies the foundations of mathematics (Peano arithmetic and set theory), foundations of physics (quantum mechanics and information), and philosophical transcendentalism (Husserl’s phenomenology) into a formal theory and mathematical structure literally following Husserl’s tracе of “philosophy as a rigorous science”. In the pathway to that objective, Hilbert arithmetic identifies by itself information related to finite (...) sets and series and quantum information referring to infinite one as both appearing in three “hypostases”: correspondingly, mathematical, physical and ontological, each of which is able to generate a relevant science and area of cognition. Scientific transcendentalism is a falsifiable counterpart of philosophical transcendentalism. The underlying concept of the totality can be interpreted accordingly also mathematically, as consistent completeness, and physically, as the universe defined not empirically or experimentally, but as that ultimate wholeness containing its externality into itself. (shrink)

The paper introduces and utilizes a few new concepts: “nonstandard Peano arithmetic”, “complementary Peano arithmetic”, “Hilbert arithmetic”. They identify the foundations of both mathematics and physics demonstrating the equivalence of the newly introduced Hilbert arithmetic and the separable complex Hilbert space of quantum mechanics in turn underlying physics and all the world. That new both mathematical and physical ground can be recognized as information complemented and generalized by quantum information. A few fundamental mathematical problems of the (...) present such as Fermat’s last theorem, four-color theorem as well as its new-formulated generalization as “four-letter theorem”, Poincaré’s conjecture, “P vs NP” are considered over again, from and within the new-founding conceptual reference frame of information, as illustrations. Simple or crucially simplifying solutions and proofs are demonstrated. The link between the consistent completeness of the system mathematics-physics on the ground of information and all the great mathematical problems of the present (rather than the enumerated ones) is suggested. (shrink)

Judgment internalism about evaluative judgments is the view that there is a necessary internal connection between evaluative judgments and motivation understood as desires. The debate about judgment internalism has reached a standoff some time ago. In this paper, I outline a new argument for judgment internalism. This argument does not rely on intuitions about cases, but rather it has the form of an inference to the best explanation. I argue that the best philosophical explanations of how we know what we (...) desire require that judgment internalism is true, which gives us a good reason to believe that judgment internalism is true. (shrink)

The aggregation of individual judgments over interrelated propositions is a newly arising field of social choice theory. I introduce several independence conditions on judgment aggregation rules, each of which protects against a specific type of manipulation by agenda setters or voters. I derive impossibility theorems whereby these independence conditions are incompatible with certain minimal requirements. Unlike earlier impossibility results, the main result here holds for any (non-trivial) agenda. However, independence conditions arguably undermine the logical structure of judgment aggregation. I therefore (...) suggest restricting independence to premises, which leads to a generalised premise-based procedure. This procedure is proven to be possible if the premises are logically independent. (shrink)

A speculative investigation of how Frege's logical views change between Begriffsschrift and Grundgesetze and how this might have affected the formal development of logicism.

The revival of the philosophy of mathematics in the 60s following its post-1931 slump left us with two conflicting positions on arithmetic’s ontological relationship to set theory. W.V. Quine’s view, presented in 'Word and Object' (1960), was that numbers are sets. The opposing view was advanced in another milestone of twentieth-century philosophy of mathematics, Paul Benacerraf’s 'What Numbers Could Not Be' (1965): one of the things numbers could not be, it explained, was sets; the other thing numbers could not (...) be, even more dramatically, was objects. Curiously, although Benacerraf’s article appeared in the heyday of Quine’s influence, it declined to engage the Quinean position squarely, even seemed to think it was not its business to do so. Despite that, in my experience, most philosophers believe that Benacerraf’s article put paid to the reductionist view that numbers are sets (though perhaps not the view that numbers are objects). My chapter will attempt to overturn this orthodoxy. (shrink)

It is argued that in the absence of an algorithm of theory-choice, a role must be played by deliberative judgement in the process of choosing rationally between theories.

In solving judgment aggregation problems, groups often face constraints. Many decision problems can be modelled in terms the acceptance or rejection of certain propositions in a language, and constraints as propositions that the decisions should be consistent with. For example, court judgments in breach-of-contract cases should be consistent with the constraint that action and obligation are necessary and sufficient for liability; judgments on how to rank several options in an order of preference with the constraint of transitivity; and judgments on (...) budget items with budgetary constraints. Often more or less demanding constraints on decisions are imaginable. For instance, in preference ranking problems, the transitivity constraint is often contrasted with the weaker acyclicity constraint. In this paper, we make constraints explicit in judgment aggregation by relativizing the rationality conditions of consistency and deductive closure to a constraint set, whose variation yields more or less strong notions of rationality. We review several general results on judgment aggregation in light of such constraints. (shrink)

Several recent results on the aggregation of judgments over logically connected propositions show that, under certain conditions, dictatorships are the only propositionwise aggregation functions generating fully rational (i.e., complete and consistent) collective judgments. A frequently mentioned route to avoid dictatorships is to allow incomplete collective judgments. We show that this route does not lead very far: we obtain oligarchies rather than dictatorships if instead of full rationality we merely require that collective judgments be deductively closed, arguably a minimal condition of (...) rationality, compatible even with empty judgment sets. We derive several characterizations of oligarchies and provide illustrative applications to Arrowian preference aggregation and Kasher and Rubinsteinís group identification problem. (shrink)

The subject of the first section is Carnapian modal logic. One of the things I will do there is to prove that certain description principles, viz. the ''self-predication principles'', i.e. the principles according to which a descriptive term satisfies its own descriptive condition, are theorems and that others are not. The second section will be devoted to Carnapian modal arithmetic. I will prove that, if the arithmetical theory contains the standard weak principle of induction, modal truth collapses to truth. (...) Then I will propose a different formulation of Carnapian modal arithmetic and establish that it is free of collapse. Noteworthy is that one can retain the standard strong principle of induction. I will occupy myself in the third section with Carnapian epistemic logic and arithmetic. Here too it is claimed that the standard weak principle of induction is invalid and that the alternative principle is valid. In the fourth and last section I will get back to the self-predication principles and I will point to some of the consequences if one adds them to Carnapian Epistemic arithmetic. The interaction of self-predication principles and the strong principle of induction results in a collapse of de re knowability. (shrink)

Neo-Fregean logicists claim that Hume’s Principle (HP) may be taken as an implicit definition of cardinal number, true simply by fiat. A long-standing problem for neo-Fregean logicism is that HP is not deductively conservative over pure axiomatic second-order logic. This seems to preclude HP from being true by fiat. In this paper, we study Richard Kimberly Heck’s Two-Sorted Frege Arithmetic (2FA), a variation on HP which has been thought to be deductively conservative over second-order logic. We show that it (...) isn’t. In fact, 2FA is not conservative over n-th order logic, for all $n \geq 2$. It follows that in the usual one-sorted setting, HP is not deductively Field-conservative over second- or higher-order logic. (shrink)

Moral particularists and generalists alike have struggled over how to incorporate the role of moral salience in ethical reasoning. In this paper, I point to neglected resources in Kant to account for the role of moral salience in maxim formation: Kant's theory of reflective judgment. Kant tasks reflective judgment with picking out salient empirical particulars for formation into maxims, associating it with purposiveness, or intentional activity (action on ends). The unexpected resources in Kantian reflective judgment suggest the possibility of a (...) particularist universalism, where recalcitrant particulars directly inform, and in some cases revise, moral principles. Such an account improves on particularist accounts of moral salience and moral perception: rather than deriving moral sensitivity solely from an agent's upbringing or cultural resources, the reflective dimension is situated alongside the universalist dimension of moral principles typically identified with Kantian ethics, allowing for a critical approach both to moral universals and to the reception of moral particulars. (shrink)

Judgment-aggregation theory has always focused on the attainment of rational collective judgments. But so far, rationality has been understood in static terms: as coherence of judgments at a given time, defined as consistency, completeness, and/or deductive closure. This paper asks whether collective judgments can be dynamically rational, so that they change rationally in response to new information. Formally, a judgment aggregation rule is dynamically rational with respect to a given revision operator if, whenever all individuals revise their judgments in light (...) of some information (a learnt proposition), then the new aggregate judgments are the old ones revised in light of this information, i.e., aggregation and revision commute. We prove an impossibility theorem: if the propositions on the agenda are non-trivially connected, no judgment aggregation rule with standard properties is dynamically rational with respect to any revision operator satisfying some basic conditions on revision. Our theorem is the dynamic-rationality counterpart of some well-known impossibility theorems for static rationality. We also explore how dynamic rationality might be achieved by relaxing some of the conditions on the aggregation rule and/or the revision operator. Notably, premise-based aggregation rules are dynamically rational with respect to so-called premise-based revision operators. (shrink)

In 'On the nature of truth and falsehood' Russell offers both a multiple relation theory of judgment and a correspondence theory of truth. It has been a prevailing understanding of the Tractatus that Wittgenstein rejects Russell’s multiple relation idea but endorses the correspondence theory. Ramsey took the opposite view. In his 'Facts and Propositions', Ramsey endorses Russell’s multiple relation idea, rejects the correspondence theory, and then asserts that these moves are both due to Wittgenstein. This chapter will argue that Ramsey’s (...) ascriptions are both correct. The extent of the agreement between Ramsey and Wittgenstein will be argued, moreover, to count definitively against standard understandings of Ramsey as a redundancy theorist of truth. Wittgenstein is no correspondence theorist and Ramsey is no redundancy theorist; rather, both philosophers offer identity theories of truth. (shrink)

Over the years many mathematicians have voiced a preference for proofs that stay “close” to the statements being proved, avoiding “foreign”, “extraneous”, or “remote” considerations. Such proofs have come to be known as “pure”. Purity issues have arisen repeatedly in the practice of arithmetic; a famous instance is the question of complex-analytic considerations in the proof of the prime number theorem. This article surveys several such issues, and discusses ways in which logical considerations shed light on these issues.

Is there an epistemic analogue of moral motivational internalism? The answer to this question has implications for our understanding of the nature of epistemic normativity. For example, some philosophers have argued from claims that epistemic judgement is not necessarily motivating to the view that epistemic judgement is not normative. This paper examines the options for spelling out an epistemic analogue of moral motivational internalism. It is argued that the most promising approach connects epistemic judgements to doxastic dispositions, which are (...) related to motivation in a fairly tenuous sense. It is also argued that this approach currently lacks a plausible and informative account of the nature and workings of these doxastic dispositions, and, hence, an explanation of the range of phenomena internalist theses typically set out to explain. The most promising route for developing such an account, based on recent expressivist work, is investigated and found inadequate for the task. (shrink)

All existing impossibility theorems on judgment aggregation require individual and collective judgment sets to be consistent and complete, arguably a demanding rationality requirement. They do not carry over to aggregation functions mapping profiles of consistent individual judgment sets to consistent collective ones. We prove that, whenever the agenda of propositions under consideration exhibits mild interconnections, any such aggregation function that is "neutral" between the acceptance and rejection of each proposition is dictatorial. We relate this theorem to the literature.

The new field of judgment aggregation aims to merge many individual sets of judgments on logically interconnected propositions into a single collective set of judgments on these propositions. Judgment aggregation has commonly been studied using classical propositional logic, with a limited expressive power and a problematic representation of conditional statements ("if P then Q") as material conditionals. In this methodological paper, I present a simple unified model of judgment aggregation in general logics. I show how many realistic decision problems can (...) be represented in it. This includes decision problems expressed in languages of classical propositional logic, predicate logic (e.g. preference aggregation problems), modal or conditional logics, and some multi-valued or fuzzy logics. I provide a list of simple tools for working with general logics, and I prove impossibility results that generalise earlier theorems. (shrink)

Doxastic involuntarists have paid insufficient attention to two debates in contemporary epistemology: the permissivism debate and the debate over norms of assertion and belief. In combination, these debates highlight a conception of belief on which, if you find yourself in what I will call an ‘equipollent case’ with respect to some proposition p, there will be no reason why you can’t believe p at will. While doxastic involuntarism is virtually epistemological orthodoxy, nothing in the entire stock of objections to belief (...) at will blocks this route to doxastic voluntarism. Against the backdrop of the permissivism debate and the literature on norms of belief and assertion, doxastic involuntarism emerges as an article of faith, not the obvious truth it’s usually purported to be. (shrink)

Motivational judgement internalists hold that there is a necessary connection between moral judgments and motivation. There is, though, an important lack of clarity in the literature about the types of moral evaluation the theory is supposed to cover. It is rarely made clear whether the theory is intended to cover all moral judgements or whether the claim covers only a subset of such judgements. In this paper I will investigate which moral judgements internalists should hold their theory (...) to apply to. I will argue that the possibility of the supererogation amoralist, someone who makes genuine supererogation judgements but remains unmotivated by them, makes it implausible to be an internalist about moral goodness. As a result, internalists should restrict their claim to moral requirement judgements. I will then argue that this creates an explanatory burden for Internalism. In order for their view to be plausible they must explain why some moral judgements and not others are necessarily connected to motivation. (shrink)

It is well known that Kant connects judgment and feeling in the third Critique. However, the precise relationship between these two faculties remains virtually unexplored, in large part due to the unpopularity of Kant’s faculty psychology. This paper considers why, for Kant, judgment and feeling go together, arguing that he had good philosophical reasons for forging this connection. The discussion begins by situating these faculties within Kant’s mature faculty psychology. While the ‘power of judgment’ [Urteilskraft] is fundamentally reflective, feeling [Gefühl] (...) reveals itself as essentially non-discursive. Their systematic connection emerges through the principle of purposiveness [Zweckmäßigkeit], which the former legislates for the latter. I claim that we must understand this notion in terms of the suitability of the faculties for each other, as displayed in mere reflection. That is, we can only recognize the fitness of two things for each other through feeling, which, in turn, is the only way that we can engage in the activity of merely reflecting judgment. I conclude by gesturing at an even further way in which judgment and feeling are related, based on their mutual role in orienting all of the faculties of the human mind. (shrink)

In response to recent work on the aggregation of individual judgments on logically connected propositions into collective judgments, it is often asked whether judgment aggregation is a special case of Arrowian preference aggregation. We argue for the converse claim. After proving two impossibility theorems on judgment aggregation (using "systematicity" and "independence" conditions, respectively), we construct an embedding of preference aggregation into judgment aggregation and prove Arrow’s theorem (stated for strict preferences) as a corollary of our second result. Although we thereby (...) provide a new proof of Arrow’s theorem, our main aim is to identify the analogue of Arrow’s theorem in judgment aggregation, to clarify the relation between judgment and preference aggregation, and to illustrate the generality of the judgment aggregation model. JEL Classi…cation: D70, D71.. (shrink)

Teachers in vocational education face two problems. (1) Learning involves the ability to transcend and modify learned knowledge to new circumstances. How should vocational education prepare students for future, unknown tasks? (2) Students should strive to produce work of good quality. How does vocational education help them develop their faculty of judgment to differentiate between better and worse quality? These two ques- tions are tightly interwoven. The paper compares the didactics of philosophy and sloyd. Both developed independently, but their solutions (...) to how one advances the capacity for reflective judgment are similar. Central to this capacity is not merely devising efficient means to work towards pre-existing aims, but to reflect in practice on what one’s aim are and should be. This implies reflection on what future problems, as well as solutions to them, demand of us cognitively, socially and morally. (shrink)

In this paper I offer a reading of the 1790 Introduction to the Critique of Judgement intended to show that the Critique of Judgement itself attempts to make good a serious deficit in the argumentation of the Critique of Pure Reason. In effect, the conditions outlined in the Critique of Pure Reason could be fulfilled without experience being constituted. There must therefore be additional conditions for the possibility of experience. And an account of these is to be found in the (...) Critique of Judgement, despite the repeated insistence in the text itself that its strictures operate on the level of a merely 'reflective' judgement, quite distinct from the 'determinant' judgements underwriting the time-determination of logical operations in the first Critique. The new transcendental elements for the condition of possibility of experience turn out, through an analysis of the concept of affinity, to table a novel, transcendental, conception of matter irreducible to the experiential understanding of matter and conditioning its possibility. In conclusion, I suggest that the structure of reflective judgement can itself be understood as a description of the operation of this transcendental matter in the special case of the transcendental spontaneity required by the Kantian subject to constitutive experience. (shrink)

Errol Lord explores the boundaries of epistemic normativity. He argues that we can understand these better by thinking about which mental states are competitors in rationality’s competition. He argues that belief, disbelief, and two kinds of suspension of judgment are competitors. Lord shows that there are non-evidential reasons for suspension of judgment. One upshot is an independent motivation for a certain sort of pragmatist view of epistemic rationality.

Why would we want to develop artificial human-like arithmetical intelligence, when computers already outperform humans in arithmetical calculations? Aside from arithmetic consisting of much more than mere calculations, one suggested reason is that AI research can help us explain the development of human arithmetical cognition. Here I argue that this question needs to be studied already in the context of basic, non-symbolic, numerical cognition. Analyzing recent machine learning research on artificial neural networks, I show how AI studies could potentially (...) shed light on the development of human numerical abilities, from the proto-arithmetical abilities of subitizing and estimating to counting procedures. Although the current results are far from conclusive and much more work is needed, I argue that AI research should be included in the interdisciplinary toolbox when we try to explain the development and character of numerical cognition and arithmetical intelligence. This makes it relevant also for the epistemology of mathematics. (shrink)

Recent debates in political theory display a renewed interest in the problem of judgment. This article critically examines the different senses of judgment that are at play in Jürgen Habermas’ theory of law. The article offers a new critical reading of Habermas’ account of the legitimacy of law, and a revisionary interpretation of the reconstructive approach to political theory that underpins it. Both of these are instrumental to an understanding of what is involved in judging the legitimacy of law that (...) is richer than has been recognized thus far by both critics and defenders of Habermas. (shrink)

We argue that, under the usual assumptions for sufficiently strong arithmetical theories that are subject to Gödel’s First Incompleteness Theorem, one cannot, without impropriety, talk about *the* Gödel sentence of the theory. The reason is that, without violating the requirements of Gödel’s theorem, there could be a true sentence and a false one each of which is provably equivalent to its own unprovability in the theory if the theory is unsound.

This paper addresses the problem of judgment aggregation in science. How should scientists decide which propositions to assert in a collaborative document? We distinguish the question of what to write in a collaborative document from the question of collective belief. We argue that recent objections to the application of the formal literature on judgment aggregation to the problem of judgment aggregation in science apply to the latter, not the former question. The formal literature has introduced various desiderata for an aggregation (...) procedure. Proposition-wise majority voting emerges as a procedure that satisfies all desiderata which represent norms of science. An interesting consequence is that not all collaborating scientists need to endorse every proposition asserted in a collaborative document. (shrink)

Hutto and Myin have proposed an account of radically enactive (or embodied) cognition (REC) as an explanation of cognitive phenomena, one that does not include mental representations or mental content in basic minds. Recently, Zahidi and Myin have presented an account of arithmetical cognition that is consistent with the REC view. In this paper, I first evaluate the feasibility of that account by focusing on the evolutionarily developed proto-arithmetical abilities and whether empirical data on them support the radical enactivist view. (...) I argue that although more research is needed, it is at least possible to develop the REC position consistently with the state-of-the-art empirical research on the development of arithmetical cognition. After this, I move the focus to the question whether the radical enactivist account can explain the objectivity of arithmetical knowledge. Against the realist view suggested by Hutto, I argue that objectivity is best explained through analyzing the way universal proto-arithmetical abilities determine the development of arithmetical cognition. (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)

Are aesthetic judgements cognitive, belief-like states or non-cognitive, desire-like states? There have been a number of attempts in recent years to evaluate the plausibility of a non-cognitivist theory of aesthetic judgements. These attempts borrow heavily from non-cognitivism in metaethics. One argument that is used to support metaethical non-cognitivism is the argument from Motivational Judgement Internalism. It is claimed that accepting this view, together with a plausible theory of motivation, pushes us towards accepting non-cognitivism. A tempting option, then, for (...) those wishing to defend aesthetic non-cognitivism, would be to appeal to a similar argument. However, both Caj Strandberg and Walter Sinnott-Armstong have argued that Internalism is a less plausible claim to make about aesthetic judgements than about moral judgements by raising objections against aesthetic internalism. In this paper, I will argue that both of these objections can be raised against internalism about moral judgements as well. As a result, internalism is no less plausible a claim to make about aesthetic judgements than about moral judgements. I will then show how a theory of internalism about normative judgements in general is capable of avoiding both of these objections. (shrink)

Realists about aesthetic judgment believe something like the following: for an aesthetic judgment of be correct, it must respond to the intrinsic aesthetic properties possessed by the object in question (e.g., Meskin et al., 2013; Kieran 2010). However, Cutting’s (2003) empirical research on aesthetic judgment puts pressure on that position. His work indicates that unconscious considerations extrinsic to an artwork can underpin said judgements. This paper takes Cutting’s conclusion a step further: If philosophers grant that it’s possible to appreciate (...) artwork on the basis of unconscious biases, then we never can be fully confident that our aesthetic judgment is undergirded by the intrinsic aesthetic properties of an artwork. Furthermore, if judgment on the basis of unconscious, external reasons cannot be ruled out, we cannot be confident that our aesthetic judgments are ‘correct’. I argue that Cutting’s research is just the tip of the iceberg regarding the extrinsic, unconscious factors that influence aesthetic judgment. Expectation bias formed via social influence and context greatly influence aesthetic judgments and are unavoidable: we inevitably form expectations based on all kinds of contextual cues independently of any actual exposure to the item in question. Such factors make it terribly difficult to be confident in our aesthetic judgments. Even if there are objective properties that mark out some items as aesthetically superior to others, we cannot be sure that our judgments are responding to those properties. (shrink)

Arendt’s theory of judgment has puzzled her readers for a long time. Beiner and other scholars believe that Arendt has two different kinds of theories of judgment, and they also believe that the theory of judgment in Arendt’s later writings indicates that she has shifted her focus from action to mind. But this view is a misreading of Arendt. Arendt’s working always focus on the question “how can we act morally”, and there is only one theory of judgment for Arendt.

In a recent series of papers, Jane Friedman argues that suspended judgment is a sui generis first-order attitude, with a question as its content. In this paper, I offer a critique of Friedman’s project. I begin by responding to her arguments against reductive higher-order propositional accounts of suspended judgment, and thus undercut the negative case for her own view. Further, I raise worries about the details of her positive account, and in particular about her claim that one suspends judgment about (...) some matter if and only if one inquires into this matter. Subsequently, I use conclusions drawn from the preceding discussion to offer a tentative account: S suspends judgment about p iff S believes that she neither believes nor disbelieves that p, S neither believes nor disbelieves that p, and S intends to judge that p or not-p. (shrink)

This work contributes to the theory of judgement aggregation by discussing a number of significant non-classical logics. After adapting the standard framework of judgement aggregation to cope with non-classical logics, we discuss in particular results for the case of Intuitionistic Logic, the Lambek calculus, Linear Logic and Relevant Logics. The motivation for studying judgement aggregation in non-classical logics is that they offer a number of modelling choices to represent agents’ reasoning in aggregation problems. By studying judgement aggregation in logics that (...) are weaker than classical logic, we investigate whether some well-known impossibility results, that were tailored for classical logic, still apply to those weak systems. (shrink)