We discuss the one–many problem as it appears in the Philebus and find that it is not restricted to the usually understood problem about the identity of universals across particulars that instantiate them (the Hylomorphic Dispersal Problem). In fact some of the most interesting aspects of the problem occur purely with respect to the relationship between Forms. We argue that contemporary metaphysicians may draw from the Philebus at least three different one–many relationships between universals themselves: instantiation, subkind and part, and (...) thereby construct three new ‘problems of the one and the many’ (an Eidetic Dispersal Problem, a Genus–Species Problem, and an Eidetic Combination Problem), which are as problematic as the version generally discussed. We then argue that this taxonomy sheds new and interesting light on certain discussions of higher-order universals in recent Australian analytic philosophy. (shrink)

“Probably Peirce’s best-known works are the first two articles in a series of six that originally were collectively entitled Illustrations of the Logic of Science and published in Popular Science Monthly from November 1877 through August 1878. The first is entitled ‘The Fixation of Belief’ and the second is entitled ‘How to Make Our Ideas Clear.’ In the first of these papers Peirce defended, in a manner consistent with not accepting naive realism, the superiority of the scientific method over other (...) methods of overcoming doubt and ‘fixing belief.’” — Robert Burch, “Charles Sanders Peirce,” entry in the Stanford Encyclopedia of Philosophy (2021 revision) -/- “Pragmatist epistemologies often explore how we can carry out inquiries in a self-controlled and fruitful way. (Where much analytic epistemology centres around the concept of knowledge, considered as an idealised end-point of human thought, pragmatist epistemology centres around the concept of inquiry, considered as the process of knowledge-seeking and how we can improve it.) So pragmatists often provide rich accounts of the capacities or virtues that we must possess in order to inquire well, and the rules or guiding principles that we should adopt. A canonical account is Peirce’s classic early paper ‘The Fixation of Belief‘. Here Peirce states that inquiry is a struggle to replace doubt with “settled belief“, and that the only method of inquiry that can make sense of the fact that at least some of us are disturbed by inconsistent beliefs, and will subsequently reflect upon which methods of fixing belief are correct is the Method of Science, which draws on the Pragmatic Maxim described above. This contrasts with three other methods of fixing belief: i) refusing to consider evidence contrary to one’s favored beliefs (the Method of Tenacity), ii) accepting an institution’s dictates (the Method of Authority), iii) developing the most rationally coherent or elegant-seeming belief-set (the A Priori Method).“ — Catherine Legg, “Pragmatism,” entry in the Stanford Encyclopedia of Philosophy (2021 revision). (shrink)

This entry explores Charles Peirce's account of truth in terms of the end or ‘limit’ of inquiry. This account is distinct from – and arguably more objectivist than – views of truth found in other pragmatists such as James and Rorty. The roots of the account in mathematical concepts is explored, and it is defended from objections that it is (i) incoherent, (ii) in its faith in convergence, too realist and (iii) in its ‘internal realism’, not realist enough.

This paper addresses some apparent philosophical tensions between realism and enactivism by means of Charles Peirce’s pragmatism. Enactivism’s Mind-Life Continuity thesis has been taken to commit it to some form of anti-realist ‘world-construction’ which has been considered controversial. Accordingly, a new realist enactivism is proposed by Zahidi (_Phenomenology and the Cognitive Sciences,_ _13_(3), 461–475, 2014 ), drawing on Ian Hacking’s ‘entity realism’, which places subjects in worlds comprised of the things that they can successfully manipulate. We review this attempt, and (...) argue that whilst Zahidi rightly urges enactivists towards ‘internal realism’, he cannot sustain a non-negotiable aspect of realism that is crucial for scientific progress – the claim that multiple subjects inhabit _the same world_. We explore Peirce’s pragmatism as an alternative solution, foregrounding his distinction between existence and reality, and his inquiry-based account of cognition. These theoretical innovations, we argue, fruitfully generalize Zahidi’s _manipulation-based_ enactivist realism to a richer, _inquiry-based_ enactivist realism. We explore how this realism’s pan-species monism about truth encourages and supports the investigation of non-human animal cognition, and conclude by considering some implications of our discussion for long-standing realism debates within pragmatism. (shrink)

This paper contrasts the scholastic realisms of David Armstrong and Charles Peirce. It is argued that the so-called 'problem of universals' is not a problem in pure ontology (concerning whether universals exist) as Armstrong construes it. Rather, it pertains to which predicates should be applied where, issues which Armstrong sets aside under the label of 'semantics', and which from a Peircean perspective encompass even fundamentals of scientific methodology. It is argued that Peirce's scholastic realism not only presents a more nuanced (...) ontology (distinguishing existence and reality) but also illuminates why scholastic realism is a position worth fighting for. (shrink)

Value capture occurs when an agent’s values are rich and subtle; they enter a social environment that presents simplified — typically quantified — versions of those values; and those simplified articulations come to dominate their practical reasoning. Examples include becoming motivated by FitBit’s step counts, Twitter Likes and Re-tweets, citation rates, ranked lists of best schools, and Grade Point Averages. We are vulnerable to value capture because of the competitive advantage that such crisp and clear expressions of value have in (...) our private reasoning and our public justification. There is, however, a price. In value capture, we take a central component of our autonomy — our ongoing deliberation over the exact articulation of our values — and we outsource it. And the metrics to which we outsource usually engineered for the interests of some external force, like a large-scale institution’s interest in cross-contextual comprehensibility and quick aggregability. That outsourcing cuts off one of the key benefits to personal deliberation. In value capture, we no longer adjust our values and their articulations in light of own rich experience of the world. Our values should often be carefully tailored to our particular selves or our small-scale communities, but in value capture, we buy our values off the rack. In some cases – like decreasing CO2 emissions – the costs of non-tailored values are outweighed by the benefit of precise collective coordination. In other cases, like in our aesthetic lives, they are not. This suggests that we should want different values suited to different scales. We should want value federalism. Some values are perhaps best pursued at the largest-scale level, others at smaller scales. The problem occurs when we exhibit an excess preference for the largest-scale values – when we consistently let the universal metrics swamp our quieter interests. (shrink)

Charles Peirce's diagrammatic logic — the Existential Graphs — is presented as a tool for illuminating how we know necessity, in answer to Benacerraf's famous challenge that most ‘semantics for mathematics’ do not ‘fit an acceptable epistemology’. It is suggested that necessary reasoning is in essence a recognition that a certain structure has the particular structure that it has. This means that, contra Hume and his contemporary heirs, necessity is observable. One just needs to pay attention, not merely to individual (...) things but to how those things are related in larger structures, certain aspects of which relations force certain other aspects to be a certain way. (shrink)

In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive or (...) localized a faculty to register them. We defend the perception of necessity against such Humeanism, drawing on examples from mathematics. (shrink)

According to most accounts of trust, you can only trust other people (or groups of people). To trust is to think that another has goodwill, or something to that effect. I sketch a different form of trust: the unquestioning attitude. What it is to trust, in this sense, is to settle one’s mind about something, to stop questioning it. To trust is to rely on a resource while suspending deliberation over its reliability. Trust lowers the barrier of monitoring, challenging, checking, (...) and questioning. Trust sets up open pipelines between yourself and parts of the external world. Trust permits external resources to have a similar relationship to one as one’s internal cognitive faculties. This creates efficiency, but at the price of exquisite vulnerability. We must trust in this way because we are cognitively limited beings in a cognitively overwhelming world. Crucially, we can hold the unquestioning attitude towards objects and technologies. When I trust my climbing rope, I stop worrying about its reliability. When I trust my online calendaring system, I simply go to the events indicated, without question. But, one might worry, how could one ever hold such a normatively loaded attitude as trust towards mere objects? How could it ever make sense to feel betrayed by an object? Trust is our engine for expanding and outsourcing our agency — for binding external processes into our practical selves. Thus, we can be betrayed by our smartphones in the same way that we can be betrayed by our memory. When we trust, we try to make something a part of our agency, and we are betrayed when our part lets us down. To unquestioningly trust something is to let it in—to attempt to bring it inside one’s practical functioning. This suggests a new form of gullibility: agential gullibility, which occurs when agents too hastily and carelessly integrate external resources into their own agency. (shrink)

Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g. Brown, Shin, Giaquinto) to take diagrams seriously - as more than a mere “heuristic aid” to proof, but either proofs themselves, or irreducible components of such. However what exactly is a diagram in logic? Does this constitute a semiotic natural kind? The paper will argue that such a natural kind does (...) exist in Charles Peirce’s conception of iconic signs, but that fully understood, logical diagrams involve a structured array of normative reasoning practices, as well as just a “picture on a page”. (shrink)

Recent conversation has blurred two very different social epistemic phenomena: echo chambers and epistemic bubbles. Members of epistemic bubbles merely lack exposure to relevant information and arguments. Members of echo chambers, on the other hand, have been brought to systematically distrust all outside sources. In epistemic bubbles, other voices are not heard; in echo chambers, other voices are actively undermined. It is crucial to keep these phenomena distinct. First, echo chambers can explain the post-truth phenomena in a way that epistemic (...) bubbles cannot. Second, each type of structure requires a distinct intervention. Mere exposure to evidence can shatter an epistemic bubble, but may actually reinforce an echo chamber. Finally, echo chambers are much harder to escape. Once in their grip, an agent may act with epistemic virtue, but social context will pervert those actions. Escape from an echo chamber may require a radical rebooting of one's belief system. (shrink)

Mainstream philosophy has seen a recent flowering in discussions of intellectualism which revisits Gilbert Ryle’s famous distinction between ‘knowing how’ and ‘knowing that’, and challenges his argument that the former cannot be reduced to the latter. These debates so far appear not to have engaged with pragmatist philosophy in any substantial way, which is curious as the relation between theory and practice is one of pragmatism’s main themes. Accordingly, this paper examines the contemporary debate in the light of Charles Peirce’s (...) habit-based epistemology. We argue both that knowing-that can be understood as a particularly sophisticated form of knowing-how, and that all bodily competencies—if sufficiently deliberately developed—can be analysed as instantiating propositional structure broadly conceived. In this way, intellectualism and anti-intellectualism are seen to be not opposed, and both true, although Peirce’s original naturalistic account of propositional structure does lead him to reject what we shall call ‘linguistic intellectualism’. (shrink)

Enactivism has influentially argued that the traditional intellectualist ‘act-content’ model of intentionality is insufficient both phenomenologically and naturalistically, and minds are built from world-involving bodily habits – thus, knowledge should be regarded as more of a skilled performance than an informational encoding. Radical enactivists have assumed that this insight must entail non-representationalism concerning at least basic minds. But what if it could be shown that representation is itself a form of skilled performance? I sketch the outline of such an account (...) from the perspective of Peirce’s pragmatist semiotics, which theorises signs as habits of associating specific cues with appropriate acts and schemas of ensuing experience. Within this framework, I argue, a naturalistic account of propositional structure can be constructed which transcends the symbolic – and in some instances even the linguistic – sphere, and offers new insights regarding the Information Processing Challenge, and the Hard Problem of Content. (shrink)

Pragmatism’s heartening recent revival (spearheaded by Richard Rorty’s bold intervention into analytic philosophy Philosophy and the Mirror of Nature) has coalesced into a distinctive philosophical movement frequently referred to as ‘neopragmatism’. This movement interprets the very meaning of pragmatism as rejection of metaphysical commitments: our words do not primarily serve to represent non-linguistic entities, but are tools to achieve a range of human purposes. A particularly thorough and consistent version of this position is Huw Price’s global expressivism. We here critically (...) appraise Price’s understanding of a commitment to pragmatism as a rejection of metaphysics, and argue that such rejection is not as easy or desirable as Price claims. First we argue that Price’s global expressivism itself draws on significant metaphysical assumptions (a ‘word-world’ dualism, and a nominalism concerning the meaning of general terms). Then we seek to resolve neopragmatist anxieties about metaphysics by arguing that metaphysics is indispensable for pragmatist philosophizing insofar as it seeks ways for human beings to realise themselves through practices of understanding reality and their place in it. If, as we argue, metaphysics consists in a maximally general inquiry into the nature and structure of reality, to try to block it seems a puzzling exercise in epistemic self-harm. (shrink)

Charles Peirce famously divided all signs into icons, indices and symbols. The past few decades have seen mainstream analytic philosophy broaden its traditional focus on symbols to recognise the so-called essential indexical. Can the moral now be extended to icons? Is there an “essential icon”? And if so, what exactly would be essential about it? It is argued that there is and it consists in logical form. Danielle Macbeth’s radical new “expressivist” interpretation of Frege’s logic and Charles Peirce’s existential graphs (...) are mobilized in support of this claim. (shrink)

Philosophical discussion of truthmaking has flourished in recent times, but what exactly does it mean to ‘make’ a truth-bearer true? I argue that ‘making’ is a concept with modal force, and this renders it a problematic deployment for truthmaker theorists with nominalist sympathies, which characterises most current theories. I sketch the outlines of what I argue is a more genuinely realist truthmaker theory, which is capable of answering the explanatory question: In virtue of what does each particular truthmaker make its (...) particular truthbearer(s) true? I do this by drawing on recent work by Frederik Stjernfelt on Charles Peirce’s account of the proposition as having a ‘particular double structure’, according to which a proposition not only depicts certain characters of an object, it also depicts itself claiming those characters to pertain to the object. This double structure, I shall argue, also resolves important issues in analytic philosophers’ truthmaker theory, including the proper distinction between reference and truthmaking, and a dilemma concerning an infinite regress of truthmaking. (shrink)

Charles S. Peirce’s semiotics uniquely divides signs into: i) symbols, which pick out their objects by arbitrary convention or habit, ii) indices, which pick out their objects by unmediated ‘pointing’, and iii) icons, which pick out their objects by resembling them (as Peirce put it: an icon’s parts are related in the same way that the objects represented by those parts are themselves related). Thus representing structure is one of the icon’s greatest strengths. It is argued that the implications of (...) scaffolding education iconically are profound: for providing learners with a navigable road-map of a subject matter, for enabling them to see further connections of their own in what is taught, and for supporting meaningful active learning. Potential objections that iconic teaching is excessively entertaining and overly susceptible to misleading rhetorical manipulation are addressed. (shrink)

Much mainstream analytic epistemology is built around a sceptical treatment of modality which descends from Hume. The roots of this scepticism are argued to lie in Hume’s (nominalist) theory of perception, which is excavated, studied and compared with the very different (realist) theory of perception developed by Peirce. It is argued that Peirce’s theory not only enables a considerably more nuanced and effective epistemology, it also (unlike Hume’s theory) does justice to what happens when we appreciate a proof in mathematics.

Much discussion of meaning by philosophers over the last 300 years has been predicated on a Cartesian first-person authority (i.e. “infallibilism”) with respect to what one’s terms mean. However this has problems making sense of the way the meanings of scientific terms develop, an increase in scientific knowledge over and above scientists’ ability to quantify over new entities. Although a recent conspicuous embrace of rigid designation has broken up traditional meaning-infallibilism to some extent, this new dimension to the meaning of (...) terms such as “water” is yet to receive a principled epistemological undergirding (beyond the deliverances of “intuition” with respect to certain somewhat unusual possible worlds). Charles Peirce’s distinctive, naturalistic philosophy of language is mined to provide a more thoroughly fallibilist, and thus more realist, approach to meaning, with the requisite epistemology. Both his pragmatism and his triadic account of representation, it is argued, produce an original approach to meaning, analysing it in processual rather than objectual terms, and opening a distinction between “meaning for us”, the meaning a term has at any given time for any given community and “meaning simpliciter”. the way use of a given term develops over time (often due to a posteriori input from the world which is unable to be anticipated in advance). This account provocatively undermines a certain distinction between “semantics” and “ontology” which is often taken for granted in discussions of realism. (shrink)

Neopragmatism has been accused of having ‘an experience problem’. This paper begins by outlining Hume's understanding of perception according to which ideas are copies of impressions thought to constitute a direct confrontation with reality. This understanding is contrasted with Peirce's theory of perception according to which percepts give rise to perceptual judgments which do not copy but index the percept (just as a weather-cock indicates the direction of the wind). Percept and perceptual judgment thereby mutually inform and correct one another, (...) as the perceiver develops mental habits of interpreting their surroundings, so that, in this theory of perception, as Peirce puts it: “[n]othing at all…is absolutely confrontitional”. Paul Redding has argued that Hegel’s “idealist understanding of logical form” ran deeper than Kant’s in recognising that Mind is essentially embodied and located, and therefore perspectival. Peirce’s understanding arguably dives deeper still in distributing across the space of reasons (and thus Being) not just Mind’s characteristic features of embodiedness and locatedness, but also its infinite corrigibility. (shrink)

This piece explores the meaning of the following quote from Charles Peirce (1902), ". . . the main reason logic is unsettled is that thirteen different opinions are current as to the true aim of the science. Now this is not a logical difficulty, but an ethical difficulty; for ethics is the science of aims. Secondly, it is true that ethics has been, and always must be, a theatre of discussion for the reason that its study consists in the gradual (...) development of a distinct recognition of a satisfactory aim. It is a science of subtleties, no doubt; but it is not logic, but the development of the ideal, which really creates and resolves the problems of ethics.". (shrink)

Wittgenstein's discussion of rule-following is widely regarded to have identified what Kripke called "the most radical and original sceptical problem that philosophy has seen to date". But does it? This paper examines the problem in the light of Charles Peirce's distinctive "scientific hierarchy". Peirce identifies a phenomenological inquiry which is prior to both logic and metaphysics, whose role is to identify the most fundamental philosophical categories. His third category, particularly salient in this context, pertains to general predication. Rule-following scepticism, the (...) paper suggests, results from running together two questions: "How is it that I can project rules?", and, "What is it for a given usage of a rule to be right?". In Peircean terms the former question, concerning the irreducibility of general predication (to singular reference), must be answered in phenomenology, while the latter, concerning the difference between true and false predication, is answered in logic. A failure to appreciate this distinction, it is argued, has led philosophers to focus exclusively on Wittgenstein's famous public account of rule-following rightness, thus overlooking a private, phenomenological dimension to Wittgenstein's remarks on following a rule which gives the lie to Kripke's reading of him as a sceptic. (shrink)

Although certain recent developments in mendacious political manipulation of public discourse are horrifying to the academic mind, I argue that we should not panic. Charles Peirce’s pragmatist epistemology with its teleological arc, long horizon, and rare balance between robust realism and contrite fallibilism offers guidance to weather the storm, and perhaps even see it as inevitable in our intellectual development. This paper explores Peirce’s classic “four methods of fixing belief”, which takes us on an entertaining and still very pertinent tour (...) through tenacity, authority and a priori speculation to the method of science – the only method which is both public and self-correcting. Although in the West we (mostly) proudly self-conceive as living in a ‘scientific age’, I argue that this is premature. Precisely insofar as we treat the misbehavior of governments as a harbinger of doom, we remain trapped in authoritarian modes of thinking which Peirce identified with medievalism, although modernity is increasingly quickening around us in worldwide information-sharing practices that are shaped entirely by mutual help. With this framework in mind, many tactics of recent media are most helpfully seen as belonging not to a post-truth, but a pre-truth stage of human intellectual development. Advice on this is sought from Plato, who of course also faced a world that was ‘pre-academic’. (shrink)

Peirce wrote that Hume’s argument against miracles (which is generally liked by twentieth century philosophers for its antireligious conclusion) "completely misunderstood the true nature of" ’abduction’. This paper argues that if Hume’s argumentative strategy were seriously used in all situations (not just those in which we seek to "banish superstition"), it would deliver a choking epistemological conservatism. It suggests that some morals for contemporary naturalistic philosophy may be drawn from Peirce’s argument against Hume.

Necessity is a touchstone issue in the thought of Charles Peirce, not least because his pragmatist account of meaning relies upon modal terms. We here offer an overview of Peirce’s highly original and multi-faceted take on the matter. We begin by considering how a self-avowed pragmatist and fallibilist can even talk about necessary truth. We then outline the source of Peirce’s theory of representation in his three categories of Firstness, Secondness and Thirdness, (monadic, dyadic and triadic relations). These have modal (...) purport insofar as the first category corresponds to possibility, the second to mechanical necessity and the third to a kind of semantic or intentional necessity. We then turn to Peirce’s explicit modal epistemology and show how it began as information-relative, with different modalities (e.g. logical, physical, practical) distinguished in terms of respective ‘designated states of information’, and shifted later in his life towards a more robust realism founded in direct perception of ideas in their relations. We then turn to Peirce’s formal logic, focusing on his diagrammatic system of Existential Graphs where he did his most serious logical research. Finally we discuss Peirce’s modal metaphysics and its implications for determinism and realism about universals. (shrink)

The philosophy of Charles S. Peirce (1839–1914) enhances our understanding of educational processes.

Whereas Charles Peirce’s pragmatist account of truth has been much discussed, his theory of perception still offers a rich mine of insights. Peirce presented a ‘two-ply’ view of perception, which combines an entirely precognitive ‘percept’ with a ‘perceptual judgment’ that is located in the space of reasons. Having previously argued that Peirce outdoes Robert Brandom in achieving a hyper-inferentialism (“Making it Explicit and Clear”, APQ, 2008), I now wish to examine his philosophy in the light of inferentialism’s ‘original fount’ – (...) Wilfrid Sellars. Does Peirce’s percept commit him to the Myth of the Given? I argue that it does not, because although the percept is understood as nonepistemic, it is not understood to justify the perceptual judgment. Rather, the perceptual judgement indexes the percept. I explain this original view, then argue that Peirce and Sellars actually have a great deal in common in their rare diachronically mediated yet at the same time direct perceptual realism, and the ‘critical commonsensist’ epistemology to which it gives rise. (shrink)

Argument-forms exist which are valid over finite but not infinite domains. Despite understanding of this by formal logicians, philosophers can be observed treating as valid arguments which are in fact invalid over infinite domains. In support of this claim I will first present an argument against the classical pragmatist theory of truth by Mark Johnston. Then, more ambitiously, I will suggest the fallacy lurks in certain arguments for physicalism taken for granted by many philosophers today.

Although most contemporary philosophers of language hold that semantics and pragmatics require separate study, there is surprisingly little agreement on where exactly the line should be drawn between these two areas, and why. In this paper I suggest that this lack of clarity is at least partly caused by a certain historical obfuscation of the roots of the founding three-way distinction between syntax, semantics and pragmatics in Charles Peirce’s pragmatist philosophy of language. I then argue for recovering and revisiting these (...) original roots, taking indexicality as a case-study of how certain questions connected with the distinction which are currently considered complex and difficult may be clarified by a ‘properly pragmatist pragmatics’. Such a view, I shall argue, upends a certain priority usually accorded to semantics over pragmatics, teaching that we do not work out what terms mean in some abstract overall sense and then work out to what use they are being put; rather, we must understand to what use terms are being put in order to understand what they mean. (shrink)

The somewhat old-fashioned concept of philosophical categories is revived and put to work in automated ontology building. We describe a project harvesting knowledge from Wikipedia’s category network in which the principled ontological structure of Cyc was leveraged to furnish an extra layer of accuracy-checking over and above more usual corrections which draw on automated measures of semantic relatedness.

This paper presents a Peircean take on Wittgenstein's famous rule-following problem as it pertains to 'knowing how to go on in mathematics'. I argue that McDowell's advice that the philosophical picture of 'rules as rails' must be abandoned is not sufficient on its own to fully appreciate mathematics' unique blend of creativity and rigor. Rather, we need to understand how Peirce counterposes to the brute compulsion of 'Secondness', both the spontaneity of 'Firstness' and also the rational intelligibility of 'Thirdness'. This (...) is a written version of a presentation I gave at the “Peirce’s Mathematics” conference, Universidad Nacional de Colombia, November 25-27, 2015, which was organized by Professor Fernando Zalamea. The piece owes much to the inspiration of Prof. Zalamea's writings on philosophy of mathematics. (shrink)

Would be fairer to call Peirce’s philosophy of language “extensionalist” or “intensionalist”? The extensionalisms of Carnap and Quine are examined, and Peirce’s view is found to be prima facie similar, except for his commitment to the importance of “hypostatic abstraction”. Rather than dismissing this form of abstraction (famously derided by Molière) as useless scholasticism, Peirce argues that it represents a crucial (though largely unnoticed) step in much working inference. This, it is argued, allows Peirce to transcend the extensionalist-intensionalist dichotomy itself, (...) through his unique triadic analysis of reference and meaning, by transcending the distinction between (as Quine put it) “things” and “attributes”. (shrink)

It seems possible to know that a mathematical claim is necessarily true by inspecting a diagrammatic proof. Yet how does this work, given that human perception seems to just (as Hume assumed) ‘show us particular objects in front of us’? I draw on Peirce’s account of perception to answer this question. Peirce considered mathematics as experimental a science as physics. Drawing on an example, I highlight the existence of a primitive constraint or blocking function in our thinking which we might (...) call ‘the hardness of the mathematical must’. (shrink)

"Although I think it is far to say that in what natives of this part of the world call 'downunder,' Peirce is still a minority interest, appreciation of his work appears to be growing slowly but surely...".

This paper offers an expressivist account of logical form, arguing that in order to fully understand it one must examine what valid arguments make us do (or: what Achilles does and the Tortoise doesn’t, in Carroll’s famed fable). It introduces Charles Peirce’s distinction between symbols, indices and icons as three different kinds of signification whereby the sign picks out its object by learned convention, by unmediated indication, and by resemblance respectively. It is then argued that logical form is represented by (...) the third, iconic, kind of sign. It is noted that icons uniquely enjoy partial identity between sign and object, and argued that this holds the key to Carroll’s puzzle. Finally, from this examination of sign-types metaphysical morals are drawn: that the traditional foes metaphysical realism and conventionalism constitute a false dichotomy, and that reality contains intriguingly inference-binding structures. (shrink)

A review of the life and work of the Australian philosopher Huw Price.

Wikipedia is a goldmine of information; not just for its many readers, but also for the growing community of researchers who recognize it as a resource of exceptional scale and utility. It represents a vast investment of manual effort and judgment: a huge, constantly evolving tapestry of concepts and relations that is being applied to a host of tasks. This article provides a comprehensive description of this work. It focuses on research that extracts and makes use of the concepts, relations, (...) facts and descriptions found in Wikipedia, and organizes the work into four broad categories: applying Wikipedia to natural language processing; using it to facilitate information retrieval and information extraction; and as a resource for ontology building. The article addresses how Wikipedia is being used as is, how it is being improved and adapted, and how it is being combined with other structures to create entirely new resources. We identify the research groups and individuals involved, and how their work has developed in the last few years. We provide a comprehensive list of the open-source software they have produced. (shrink)

The question I wish to explore is this: Does idealism conflict with common sense? Unfortunately, the answer I give may seem like a rather banal one: It depends. What do we mean by ‘idealism’ and ‘common sense?’ I distinguish three main varieties of idealism: absolute idealism, Berkeleyan idealism, and dualistic idealism. After clarifying what is meant by common sense, I consider whether our three idealisms run afoul of it. The first does, but the latter two don’t. I conclude that while (...) Moore’s famous common sense critique is sound against external world skepticism, against Berkeleyan idealism and dualist idealism it is unavailing. (shrink)

Inspired by recent breakthroughs in predictive modeling, practitioners in both industry and government have turned to machine learning with hopes of operationalizing predictions to drive automated decisions. Unfortunately, many social desiderata concerning consequential decisions, such as justice or fairness, have no natural formulation within a purely predictive framework. In efforts to mitigate these problems, researchers have proposed a variety of metrics for quantifying deviations from various statistical parities that we might expect to observe in a fair world and offered a (...) variety of algorithms in attempts to satisfy subsets of these parities or to trade o the degree to which they are satised against utility. In this paper, we connect this approach to fair machine learning to the literature on ideal and non-ideal methodological approaches in political philosophy. The ideal approach requires positing the principles according to which a just world would operate. In the most straightforward application of ideal theory, one supports a proposed policy by arguing that it closes a discrepancy between the real and the perfectly just world. However, by failing to account for the mechanisms by which our non-ideal world arose, the responsibilities of various decision-makers, and the impacts of proposed policies, naive applications of ideal thinking can lead to misguided interventions. In this paper, we demonstrate a connection between the fair machine learning literature and the ideal approach in political philosophy, and argue that the increasingly apparent shortcomings of proposed fair machine learning algorithms reflect broader troubles faced by the ideal approach. We conclude with a critical discussion of the harms of misguided solutions, a reinterpretation of impossibility results, and directions for future research. (shrink)

De uma perspectiva comportamentalista radical, o eu é um repertório verbal complexo, que, como tal, tem uma gênese social. O reconhecimento da origem social do “eu” abre caminho para uma análise política, incluindo uma discussão do pa- pel das relações de poder na constituição do eu. Entretanto, uma concepção radicalmente social do “eu”, como a proposta pelo comportamentalismo, suscita um problema político: se o eu é integralmente produto do ambiente social, de onde viria uma eventual “vontade” de romper com esse (...) sistema? Parece que para reconhecer a possibilidade de ação política transformadora seria preciso preservar uma noção descontextualizada de “eu”. Considerando essa dificuldade, o objetivo deste artigo é propor uma interpretação política da constituição do “eu” no âmbito do comportamentalismo radical, mantendo no horizonte a possibilidade de uma ação política transformadora. Para tanto, destacamos como “eus” oprimidos são tornados submissos, mas também como de certas contingências podem emergir “eus” subversivos, que se opõem a um sistema social opressivo. Esse “eu” subversivo é caracterizado por um repertório de autoconhecimento mais amplo, que inclui a discriminação do papel das relações de poder e do controle promovido por instituições. Concluímos, com isso, que um “eu” socialmente constituído pode ser politicamente ativo. (shrink)

The New Evil Demon problem has been hotly debated since the case was introduced in the early 1980’s (e.g. Lehrer and Cohen 1983; Cohen 1984), and there seems to be recent increased interest in the topic. In a forthcoming collection of papers on the New Evil Demon problem (Dutant and Dorsch, forthcoming), at least two of the papers, both by prominent epistemologists, attempt to resist the problem by appealing to the distinction between justification and excuses. My primary aim here is (...) to critically evaluate this new excuse maneuver as a response to the New Evil Demon problem. -/- Their response attempts to give us reason to reject the idea that victims of the New Evil Demon have justification for believing as they do. I shall argue that this approach is ultimately unsuccessful, however much of value can be learned from these attempts. In particular, progress in the debate can be made by following those who advance the excuse maneuver and make explicit the connection between epistemic justification and epistemic norms. By doing so, the questions being debated are clarified, as is the methodology being used to attempt to answer them. (shrink)

This paper presents the main topics, arguments, and positions in the philosophy of AI at present (excluding ethics). Apart from the basic concepts of intelligence and computation, the main topics of ar-tificial cognition are perception, action, meaning, rational choice, free will, consciousness, and normativity. Through a better understanding of these topics, the philosophy of AI contributes to our understand-ing of the nature, prospects, and value of AI. Furthermore, these topics can be understood more deeply through the discussion of AI; so (...) we suggest that “AI Philosophy” provides a new method for philosophy. (shrink)

This poised and articulate volume addresses an area of pragmatist philosophy as yet relatively unexplored in pragmatism's welcome revival. Neopragmatism's preoccupation with changing philosophers' view of the relation between language (or as Rorty puts it: "vocabularies") and reality, has largely focussed their discussions on the 'metaphysics & epistemology', rather than the 'value' side of philosophy, apart from Rorty's brief flirtations with edifying Western political discourse. Yet the nature of truth in ethics has been a topic of keen discussion in recent (...) mainstream philosophy, and it's widely acknowledged that pragmatism has original and interesting things to say about truth. This book seeks to contribute in particular to discussions of objectivity in ethics which are arguably somewhat bogged down in a wealth of finely divergent terminologies and positions: prescriptivism, fictionalism, intuitionism, quasi-realism and expressivism, to name just a few. Heney organises her own discussion around a distinction between cognitivism and non-cognitivism about moral claims. (shrink)

Mark Eli Kalderon's book boldly positions itself as a work in speculative metaphysics. Its point of departure is the familiar distinction between presentational and representational philosophies of perception. Kalderon notes that the latter has been more popular of late, as it is more amenable to "an account" explicating causal or counterfactual conditions on perception; but he wishes to rehabilitate the former, at least in part. One widely perceived disadvantage of presentationalism has been the way that understanding perception merely as registering (...) the presence of things might seem to leave us vulnerable to error about the nature of what is presented. Kalderon seeks to remedy this not by dealing at length with various disjunctivist positions concerning perception which may be friendly to his position, nor by spending much time criticising opposing views, but by explicating presentationalist perception through a series of tactile metaphors, thereby providing a radically new philosophical view. He claims that we do not just 'stand before' reality, we grasp it-the metaphor survives tellingly in ordinary language-and he thereby seeks to defend a form of realism which is robust, though he admits, "pre-modern". He draws on a remarkably rich variety of thinkers to defend this position, including pre-modern, modern, and various figures from both analytic and continental philosophy-however, although there is plenty of solid scholarship here, the book is aimed at metaphysics more than the history of ideas. (shrink)

Commentary on Peter Olen's book "Wilfrid Sellars and the Foundations of Normativity", originally prepared for an 'Author Meets Critics' session organized by Carl Sachs for the Eastern Division Meeting of the APA in Savannah, Georgia, on 5th January, 2018.

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

In his account of the Persian Wars, the 5th century historian Herodotus reports an exchange between the Persian monarch Xerxes and a deposed Spartan king, Demaratus, who became what Lattimore later classified as a “tragic warner” to Xerxes. On the eve of the battle of Thermopylae, Xerxes asks how a small number of free Spartiates can stand up against the massive ranks of soldiers that Xerxes has assembled. Herodotus has Demaratus reply: So is it with the Lacedaemonians; fighting singly they (...) are as brave as any man living, and together they are the best warriors on earth. Free they are, yet not wholly free; for law is their master (ἐλεύθεροι γὰρ ἐόντες οὐ πάντα ἐλεύθεροι εἰσί· ἔπεστι γάρ σφι δεσπότης νόμος), whom they fear much more than your men fear you. This is my proof—what their law bids them, that they do; and its bidding is ever the same, that they must never flee from the battle before whatsoever odds, but abide at their post and there conquer or die. (Hdt. 7.104) As the outcome of Thermopylae makes clear, Demaratus is hardly guilty of boasting. But Greek political theorists were not only fascinated by the Spartans who fought at the battle of Thermopylae in 480; they also wondered how slightly more than a century later Sparta was ignobly defeated by Thebes at the battle of Leuctra in 371, after which Spartan hegemony collapsed. How did Sparta field citizen-soldiers in the 5th century who were without parallel in their bravery and military prowess? And why did Sparta, predominantly under the same political organization, collapse just over a century later? Such are the main questions that Xenophon, Plato, Aristotle, and Plutarch—what Cartledge (1999, 313–14) has characterized as “political-theoretical” laconophiles—seek to answer in their writings about Sparta. (shrink)

This rich book differs from much contemporary philosophy of mathematics in the author’s witty, down to earth style, and his extensive experience as a working mathematician. It accords with the field in focusing on whether mathematical entities are real. Franklin holds that recent discussion of this has oscillated between various forms of Platonism, and various forms of nominalism. He denies nominalism by holding that universals exist and denies Platonism by holding that they are concrete, not abstract - looking to Aristotle (...) for inspiration. (shrink)