Since at least Hume and Kant, philosophers working on the nature of aesthetic judgment have generally agreed that common sense does not treat aesthetic judgments in the same way as typical expressions of subjective preferences—rather, it endows them with intersubjective validity, the property of being right or wrong regardless of disagreement. Moreover, this apparent intersubjective validity has been taken to constitute one of the main explananda for philosophical accounts of aesthetic judgment. But is it really the case that most people (...) spontaneously treat aesthetic judgments as having intersubjective validity? In this paper, we report the results of a cross‐cultural study with over 2,000 respondents spanning 19 countries. Despite significant geographical variations, these results suggest that most people do not treat their own aesthetic judgments as having intersubjective validity. We conclude by discussing the implications of our findings for theories of aesthetic judgment and the purpose of aesthetics in general. (shrink)

In the remainder of this article, we will disarm an important motivation for epistemic contextualism and interest-relative invariantism. We will accomplish this by presenting a stringent test of whether there is a stakes effect on ordinary knowledge ascription. Having shown that, even on a stringent way of testing, stakes fail to impact ordinary knowledge ascription, we will conclude that we should take another look at classical invariantism. Here is how we will proceed. Section 1 lays out some limitations of previous (...) research on stakes. Section 2 presents our study and concludes that there is little evidence for a substantial stakes effect. Section 3 responds to objections. The conclusion clears the way for classical invariantism. (shrink)

Philosophers have long debated whether, if determinism is true, we should hold people morally responsible for their actions since in a deterministic universe, people are arguably not the ultimate source of their actions nor could they have done otherwise if initial conditions and the laws of nature are held fixed. To reveal how non-philosophers ordinarily reason about the conditions for free will, we conducted a cross-cultural and cross-linguistic survey (N = 5,268) spanning twenty countries and sixteen languages. Overall, participants tended (...) to ascribe moral responsibility whether the perpetrator lacked sourcehood or alternate possibilities. However, for American, European, and Middle Eastern participants, being the ultimate source of one’s actions promoted perceptions of free will and control as well as ascriptions of blame and punishment. By contrast, being the source of one’s actions was not particularly salient to Asian participants. Finally, across cultures, participants exhibiting greater cognitive reflection were more likely to view free will as incompatible with causal determinism. We discuss these findings in light of documented cultural differences in the tendency toward dispositional versus situational attributions. (shrink)

This article examines whether people share the Gettier intuition (viz. that someone who has a true justified belief that p may nonetheless fail to know that p) in 24 sites, located in 23 countries (counting Hong Kong as a distinct country) and across 17 languages. We also consider the possible influence of gender and personality on this intuition with a very large sample size. Finally, we examine whether the Gettier intuition varies across people as a function of their disposition to (...) engage in “reflective” thinking. (shrink)

Does the Ship of Theseus present a genuine puzzle about persistence due to conflicting intuitions based on “continuity of form” and “continuity of matter” pulling in opposite directions? Philosophers are divided. Some claim that it presents a genuine puzzle but disagree over whether there is a solution. Others claim that there is no puzzle at all since the case has an obvious solution. To assess these proposals, we conducted a cross-cultural study involving nearly 3,000 people across twenty-two countries, speaking eighteen (...) different languages. Our results speak against the proposal that there is no puzzle at all and against the proposal that there is a puzzle but one that has no solution. Our results suggest that there are two criteria—“continuity of form” and “continuity of matter”— that constitute our concept of persistence and these two criteria receive different weightings in settling matters concerning persistence. (shrink)

Is behavioral integration a necessary feature of belief in folk psychology? Our data from over 5,000 people across 26 samples, spanning 22 countries suggests that it is not. Given the surprising cross-cultural robustness of our findings, we argue that the types of evidence for the ascription of a belief are, at least in some circumstances, lexicographically ordered: assertions are first taken into account, and when an agent sincerely asserts that p, nonlinguistic behavioral evidence is disregarded. In light of this, we (...) take ourselves to have discovered a universal principle governing the ascription of beliefs in folk psychology. (shrink)

A thriving literature has developed over logical and mathematical pluralism – i.e. the views that several rival logical and mathematical theories can be equally correct. These have unfortunately grown separate; instead, they both could gain a great deal by a closer interaction. Our aim is thus to present some novel forms of abstractionist mathematical pluralism which can be modeled on parallel ways of substantiating logical pluralism (also in connection with logical anti-exceptionalism). To do this, we start by discussing the Good (...) Company Problem for neo-logicists recently raised by Paolo Mancosu (2016), concerning the existence of rival abstractive definitions of cardinal number which are nonetheless equally able to reconstruct Peano Arithmetic. We survey Mancosu’s envisaged possible replies to this predicament, and suggest as a further path the adoption of some form of mathematical pluralism concerning abstraction principles. We then explore three possible ways of substantiating such pluralism—Conceptual Pluralism, Domain Pluralism, Pluralism about Criteria—showing how each of them can be related to analogous proposals in the philosophy of logic. We conclude by considering advantages, concerns, and theoretical ramifications for these varieties of mathematical pluralism. (shrink)

The fact that Gödel's famous incompleteness theorem and the archetype of all logical paradoxes, that of the Liar, are related closely is, of course, not only well known, but is a part of the common knowledge of the community of logicians. Indeed, almost every more or less formal treatment of the theorem makes a reference to this connection. Gödel himself remarked in the paper announcing his celebrated result :The analogy between this result and Richard's antinomy leaps to the eye;there is (...) also a close relationship with the ‘liar’ antinomy, since … we are… confronted with a proposition which asserts its own unprovability.In the light of the fact that the existence of this connection is commonplace it is all the more surprising that very little can be learnt about its exact nature except perhaps that it is some kind of similarity or analogy. There is, however, a lot more to it than that. Indeed, as we shall try to show below, the general ideas underlying the three central theorems concerning internal limitations of formal deductive systems can be taken as different ways to resolve the Liar paradox. More precisely, it will turn out that an abstract formal variant of the Liar paradox, which can almost straightforwardly inferred from its original ordinary language version, is a possible common generalization of Gödel's incompleteness theorem, the theorem of Tarski on the undefinability of truth, and that of Church concerning the undecidability of provability. (shrink)

Minimalism and Trivialism are two recent forms of lightweight Platonism in the philosophy of mathematics: Minimalism is the view that mathematical objects arethinin the sense that “very little is required for their existence”, whereas Trivialism is the view that mathematical statements have trivial truth‐conditions, that is, that “nothing is required of the world in order for those conditions to be satisfied”. In order to clarify the relation between the mathematical and the non‐mathematical domain that these views envisage, it has recently (...) been proposed that both Linnebo's notion of sufficiency and Rayo's “just is”‐operator can, or even should, be interpreted in terms of metaphysicalgrounding. This interpretation makes Minimalism and Trivialism akin to Aristotelianism in the philosophy of mathematics, according to which mathematical entities depend for their existence and their properties on non‐mathematical ones. In this paper we raise a general objection to this interpretation. We highlight a tension – a “Big Picture” Problem – between the metaphysical picture underlying both Minimalism and Trivialism, on the one side, and the metaphysics of Platonism and Aristotelianism on the other. We then consider various ways in which Linnebo and Rayo could respond. We finally argue that Minimalism and Trivialism are closer to Aristotelianism than to Platonism; however, even though these positions are not forms of traditional Platonism, they are not standard forms of Aristotelianism either. (shrink)

How many logics do logical pluralists adopt, or are allowed to adopt, or ought to adopt, in arguing for their view? These metatheoretical questions lurk behind much of the discussion on logical pluralism, and have a direct bearing on normative issues concerning the choice of a correct logic and the characterization of valid reasoning. Still, they commonly receive just swift answers – if any. Our aim is to tackle these questions head on, by clarifying the range of possibilities that logical (...) pluralists have at their disposal when it comes to the metatheory of their position, and by spelling out which routes are advisable. We explore ramifications of all relevant responses to our question: no logic, a single logic, more than one logic. In the end, we express skepticism that any proposed answer is viable. This threatens the coherence of current and future versions of logical pluralism. (shrink)

Foundational projects disagree on whether pure and applied mathematics should be explained together. Proponents of unified accounts like neologicists defend Frege’s Constraint (FC), a principle demanding that an explanation of applicability be provided by mathematical definitions. I reconsider the philosophical import of FC, arguing that usual conceptions are biased by ontological assumptions. I explore more reasonable weaker variants — Moderate and Modest FC — arguing against common opinion that ante rem structuralism (and other) views can meet them. I dispel doubts (...) that such constraints are ‘toothless’, showing they both assuage Frege’s original concerns and accommodate neo-logicist intents by dismissing ‘arrogant’ definitions. (shrink)

What is mathematics about? And if it is about some sort of mathematical reality, how can we have access to it? This is the problem raised by Plato, which still today is the subject of lively philosophical disputes. This book traces the history of the problem, from its origins to its contemporary treatment. It discusses the answers given by Aristotle, Proclus and Kant, through Frege's and Russell's versions of logicism, Hilbert's formalism, Gödel's platonism, up to the the current debate on (...) Benacerraf's dilemma and the indispensability argument. Through the considerations of themes in the philosophy of language, ontology, and the philosophy of science, the book aims at offering an historically-informed introduction to the philosophy of mathematics, approached through the lenses of its most fundamental problem. (shrink)

In Grundgesetze, Vol. II, §91, Frege argues that ‘it is applicability alone which elevates arithmetic from a game to the rank of a science’. Many view this as an in nuce statement of the indispensability argument later championed by Quine. Garavaso has questioned this attribution. I argue that even though Frege's applicability argument is not a version of ia, it facilitates acceptance of suitable formulations of ia. The prospects for making the empiricist ia compatible with a rationalist Fregean framework appear (...) thus much less dim than expected. Nonetheless, those arguing for such compatibility eventually face an hardly surmountable dilemma. (shrink)

Some earlier remarks Michael Dummett made on Gödel’s theorem have recently inspired attempts to formulate an alternative to the standard demonstration of the truth of the Gödel sentence. The idea underlying the non-standard approach is to treat the Gödel sentence as an ordinary arithmetical one. But the Gödel sentence is of a very specific nature. Consequently, the non-standard arguments are conceptually mistaken. In this paper, both the faulty arguments themselves and the general reasons underlying their failure are analysed. The analysis (...) reveals the true nature of the epistemological relation between the Gödel sentence and its numerical instances. (shrink)

The indispensability argument comes in many different versions that all reduce to a general valid schema. Providing a sound IA amounts to providing a full interpretation of the schema according to which all its premises are true. Hence, arguing whether IA is sound results in wondering whether the schema admits such an interpretation. We discuss in full details all the parameters on which the specification of the general schema may depend. In doing this, we consider how different versions of IA (...) can be obtained, also through different specifications of the notion of indispensability. We then distinguish between schematic and genuine IA, and argue that no genuine sound IA is available or easily forthcoming. We then submit that this holds also in the particularly relevant case in which indispensability is conceived as explanatory indispensability. (shrink)

Indispensability arguments for mathematical realism are commonly traced back to Quine. We identify two different Quinean strands in the interpretation of IA, what we label the ‘logical point of view’ and the ‘theory-contribution’ point of view. Focusing on each of the latter, we offer two minimal versions of IA. These both dispense with a number of theoretical assumptions commonly thought to be relevant to IA. We then show that the attribution of both minimal arguments to Quine is controversial, and stress (...) the extent to which this is so in both cases, in order to attain a better appreciation of the Quinean heritage of IA. (shrink)

Recent discussions on Fregean and neo-Fregean foundations for arithmetic and real analysis pay much attention to what is called either ‘Application Constraint’ ($AC$) or ‘Frege Constraint’ ($FC$), the requirement that a mathematical theory be so outlined that it immediately allows explaining for its applicability. We distinguish between two constraints, which we, respectively, denote by the latter of these two names, by showing how$AC$generalizes Frege’s views while$FC$comes closer to his original conceptions. Different authors diverge on the interpretation of$FC$and on whether it (...) applies to definitions of both natural and real numbers. Our aim is to trace the origins of$FC$and to explore how different understandings of it can be faithful to Frege’s views about such definitions and to his foundational program. After rehearsing the essential elements of the relevant debate (§1), we appropriately distinguish$AC$from$FC$(§2). We discuss six rationales which may motivate the adoption of different instances of$AC$and$FC$(§3). We turn to the possible interpretations of$FC$(§4), and advance a Semantic$FC$(§4.1), arguing that while it suits Frege’s definition of natural numbers (4.1.1), it cannot reasonably be imposed on definitions of real numbers (§4.1.2), for reasons only partly similar to those offered by Crispin Wright (§4.1.3). We then rehearse a recent exchange between Bob Hale and Vadim Batitzky to shed light on Frege’s conception of real numbers and magnitudes (§4.2). We argue that an Architectonic version of$FC$is indeed faithful to Frege’s definition of real numbers, and compatible with his views on natural ones. Finally, we consider how attributing different instances of$FC$to Frege and appreciating the role of the Architectonic$FC$can provide a more perspicuous understanding of his foundational program, by questioning common pictures of his logicism (§5). (shrink)

If the professionalization of the social professions is increasingly based on the model of professionalization engineering, what are the imaginaries underlying this movement? How can we understand that the profession of engineer, the one who, at least in the imagination, invents and designs machines with a magically predictable functioning, can be the model for designing training systems for the helping professions? This contribution proposes to explore these questions through two mythological figures often summoned when it comes to engineering and technology (...) : Prometheus and Hephaestus. These two figures will help us to move from the model of professionalization engineering to ingenium. (shrink)

Boolos's proof of incompleteness is extended straightforwardly to yield simple “diagonalization-free” proofs of some classical limitative theorems of logic.

The author of “Evidence, Explanation, Enhanced Indispensability” advances a criticism to the Enhanced Indispensability Argument and the use of Inference to the Best Explanation in order to draw ontological conclusions from mathematical explanations in science. His argument relies on the availability of equivalent though competing explanations, and a pluralist stance on explanation. I discuss whether pluralism emerges as a stable position, and focus here on two main points: whether cases of equivalent explanations have been actually offered, and which ontological consequences (...) should follow from these. (shrink)

N´emeti remarked that the notion of compactness of cylindric of algebras corresponds to the notion of universality of models in logic [5]. The purpose of this paper is to formulate this correspondence in a purely algebraic setting.

HellmanGeoffrey ** and ShapiroStewart. **** Mathematical Structuralism. Cambridge Elements in the Philosophy of Mathematics, RushPenelope and ShapiroStewart, eds. Cambridge University Press, 2019. Pp. iv + 94. ISBN 978-1-108-45643-2, 978-1-108-69728-6. doi: 10.1017/9781108582933.

The algebra of all binary relations on a given set is the most important example of a relation algebra . In this note we will examine the possible isomorphisms within some subclasses of a closely related class ; A is a relation set algebra with base U if its Boolean reduct is a field of sets with unit element 2 U, its universe A contains the identity relation on U and it is closed under the operations −1 and |, where (...) R |S = { : ∈ R, ∈ S for some z} and R−1 = { : ∈ R} for any R, S ⊆ 2 U. The class of all relation set algebras is denoted by Rs. (shrink)

Marx and the question of the concerted plan : a brief retrospective The article proposes a broadbrush rehearsal of the controversy of a socialist accounting, that is, the hypothesis of a method of rational accounting proper to a communitarian economy, which opposed socialists and liberals in the 1920s. The aim is to show that the terms of this somewhat arcane controversy hinge on certain assertions by Marx, in particular regarding the modes of association in the future ; that the debate (...) which, contrary to superficial impressions, is not dead, cannot be formulated without also addressing the question of property. The article’s brief review of the liberal case in the debate enables us to shed light on the Marxian representations of a communitarian association. (shrink)

The recent debate on new realism has been widely influenced by Putnam’s views, especially by the distinction between scientific realism and natural or common seense realism. I locate the discussion on mathematical realism in the context of this wider debate. I suggest that a parallel distinction between science-based arguments for realism and more immediate forms of realism is avaiable for mathematics too. I point to differences between contemporary empiricist and intellectualist positions, and stress what I take to be some of (...) the most relevant aspects on which research in this area shall be pursued in the near future, especially concerning the problem of whether philosophical priority should be given to pure or applied mathematics. (shrink)

A standard understanding of abstraction principles elicits two opposite readings: Intolerant Reductionism, where abstractions are seen as reducing talk of abstract objects to talk about non-problematic domains, and Robustionism, where newly introduced terms genuinely refer to abstract objects. Against this dichotomy between such “austere” and “robust” readings, Dummett suggested ways to steer intermediate paths. We explore different options for intermediate stances, by reviewing metaontological strategies and semantic ones. Based on Dummett’s and Picardi’s understanding of the Context Principle, the paper acknowledges (...) that Frege’s Grundlagen are open to several interpretations of contextual definitions, and argues that the prospects for broadly Fregean intermediate views are all but foreclosed. (shrink)

This book offers a plurality of perspectives on the historical origins of logicism and on contemporary developments of logicist insights in philosophy of mathematics. It uniquely provides up-to-date research and novel interpretations on a variety of intertwined themes and historical figures related to different versions of logicism. The essays, written by prominent scholars, are divided into three thematic sections. The first section focuses on major authors like Frege, Dedekind, and Russell, providing a historical and theoretical exploration of such figures in (...) the philosophical and mathematical milieu in which logicist views were first expounded. Section II sheds new light on the interconnections between these founding figures and a number of influential other traditions, represented by authors like Hilbert, Husserl, and Peano, as well as on the reconsideration of logicism by Carnap and the logical empiricists. Finally, the third section assesses the legacy of such authors and of logicist themes for contemporary philosophy of mathematics, offering new perspectives on highly debated topics--neo-logicism and its extension to accounts of ordinal numbers and set-theory, the comparison between neo-Fregean and neo-Dedekindian varieties of logicism, and the relation between logicist foundational issues and empirical research on numerical cognition--which define the prospects of logicism in the years to come. This book represents a comprehensive account of the development of logicism and its contemporary relevance for the logico-philosophical foundations of mathematics. It will be of interest to graduate students and researchers working in philosophy of mathematics, philosophy of logic, and the history of analytic philosophy. (shrink)

We have identified a sample of 53 societies outside of the classical Himalayan and Marquesean area that permit polyandrous unions. Our goal is to broadly describe the demographic, social, marital, and economic characteristics of these societies and to evaluate some hypotheses of the causes of polyandry. We demonstrate that although polyandry is rare it is not as rare as commonly believed, is found worldwide, and is most common in egalitarian societies. We also argue that polyandry likely existed during early human (...) history and should be examined from an evolutionary perspective. Our analysis reveals that it may be a predictable response to a high operational sex ratio favoring males and may also be a response to high rates of male mortality and, possibly, male absenteeism. Other factors may contribute, but our within-polyandry sample limits analysis. (shrink)

Big Ideas for Little Kids includes everything a teacher, a parent, or a college student needs to teach philosophy to elementary school children from picture books. Written in a clear and accessible style, the book explains why it is important to allow young children access to philosophy during primary-school education. Wartenberg also gives advice on how to construct a "learner-centered" classroom, in which children discuss philosophical issues with one another as they respond to open-ended questions by saying whether they agree (...) or disagree with what others have said. (shrink)

The aim of this study is to explore how nurses perceive patient participations of patients over 75 years old undergoing hemodialysis treatment in dialysis units, and of their next of kin. Ten nurses told stories about what happened in the dialysis units. These stories were analyzed with critical discourse analysis. Three discursive practices are found: (1) the nurses’ power and control; (2) sharing power with the patient; and (3) transferring power to the next of kin. The first and the predominant (...) discursive practice can be explained with an ideology of paternalism, in which the nurses used biomedical explanations and the ethical principle of benefice to justify their actions. The second can be explained with an ideology of participation, in which the nurses used ethical narratives as a way to let the patients participate in the treatment. The third seemed to involve autonomous decision-making and the ethical principle of autonomy for the next of kin in the difficult end-of-life decisions. (shrink)

В статье философия характеризуется на основе дискурсной парадигмы анализа: как текст, интеллектуальная деятельность и коммуникация. Характеризуются два равнозначных аспекта философского дискурса - когнитивный и коммуникативный. Обсуждается феномен философских контроверз, специфика философского спора, выразительные (знаковые) средства философского дискурса, роль мировоззренческого дискурса в современной общественно-политической ситуации в стране.