Spinoza’s claims about true ideas are central to the Treatise on the Emendation of the Intellect. It is therefore worth trying to reconstruct what he means when he says that an idea is true. I argue that the three leading interpretations – correspondence, coherence, and causal – don’t explain key passages. I then propose a new interpretation. Roughly, I propose that an idea is true if and only if it represents an essence and was derived in the right kind of (...) way by the intellect from an innate idea of one’s own essence. In the final section I sketch why I believe this interpretation extends to his claims about truth and adequacy in the Ethics. (shrink)

Perceptual Confidence is the view that our conscious perceptual experiences assign confidence. In previous papers, I motivated it using first-personal evidence (Morrison, 2016), and Jessie Munton motivated it using normative evidence (Munton, 2016). In this paper, I will consider the extent to which it is motivated by third-personal evidence. I will argue that the current evidence is supportive but not decisive. I will then describe experiments that might provide stronger evidence. I hope to thereby provide a roadmap for future (...) research. (shrink)

Perceptual Confidence is the view that perceptual experiences assign degrees of confidence. After introducing, clarifying, and motivating Perceptual Confidence, I catalogue some of its more interesting consequences, such as the way it blurs the distinction between veridical and illusory experiences, a distinction that is sometimes said to carry a lot of metaphysical weight. I also explain how Perceptual Confidence fills a hole in our best scientific theories of perception and why it implies that experiences don't have objective accuracy conditions.

Spinoza claims that a person’s mind and body are one and the same. But he also claims that minds think and do not move, whereas bodies move and do not think. How can we reconcile these claims? I believe that Spinoza is building on a traditional view about identity over time. According to this view, identity over time is linked to essence, so that a thing that is now resting is identical to a thing that was previously moving, provided that (...) they share the same essence. I believe that Spinoza has a similar view about the identity of minds and bodies. In particular, a thing that is thinking in the attribute of thought is identical to a thing that is moving in the attribute of extension, provided that they share the same essence. (shrink)

I use an old challenge to motivate a new view. The old challenge is due to variation in our perceptions of secondary qualities. The challenge is to say whose perceptions are accurate. The new view is about how we manage to perceive secondary qualities, and thus manage to perceive them accurately or inaccurately. I call it perceptual structuralism. I first introduce the challenge and point out drawbacks with traditional responses. I spend the rest of the paper motivating and defending a (...) structuralist response. While I focus on color, both the challenge and the view generalize to the other secondary qualities. (shrink)

In “Perceptual Confidence,” I argue that our perceptual experiences assign degrees of confidence. In “Precision, not Confidence, Describes the Uncertainty of Perceptual Experience,” Rachel Denison disagrees. In this reply I first clarify what i mean by ‘perceptual experiences’, ‘assign’ and ‘confidence’. I then argue, contra Denison, that perception involves automatic categorization, and that there is an intrinsic difference between a blurry perception of a sharp image and a sharp perception of a blurry image. -/- .

According to anti-atomism, we represent color properties (e.g., red) in virtue of representing color relations (e.g., redder than). I motivate anti-atomism with a puzzle involving a series of pairwise indistinguishable chips. I then develop two versions of anti-atomism.

I will develop a new problem for almost all realist theories of colour. The problem involves fluctuations in our colour experiences that are due to visual noise rather than changes in the objects we are looking at.

I suggest a solution to two puzzles in Spinoza's metaphysics. The first puzzle involves the mind and the idea of the mind, in particular how they can be identical, even though the mind thinks about bodies and nothing else, whereas the idea of the mind thinks about ideas and nothing else. The second puzzle involves the mind and the idea of a thing that belongs to an unknown attribute, in particular how they can be identical, even though the mind thinks (...) about bodies and nothing else, whereas the idea thinks about things belonging to the unknown attribute and nothing else. I suggest that Spinoza would respond to both puzzles by rejecting the Indiscernibility of Identicals. (shrink)

Spinoza's causal axiom is at the foundation of the Ethics. I motivate, develop and defend a new interpretation that I call the ‘causally restricted interpretation’. This interpretation solves several longstanding puzzles and helps us better understand Spinoza's arguments for some of his most famous doctrines, including his parallelism doctrine and his theory of sense perception. It also undermines a widespread view about the relationship between the three fundamental, undefined notions in Spinoza's metaphysics: causation, conception and inherence.

Conception and causation are fundamental notions in Spinoza's metaphysics. I argue against the orthodox view that, due to the causal axiom, if one thing is conceived through another thing, then the second thing causes the first thing. My conclusion forces us to rethink Spinoza's entitlement to some of his core commitments, including the principle of sufficient reason, the parallelism doctrine and the conatus doctrine.

Aquinas, Ockham, and Burdan all claim that a person can be numerically identical over time, despite changes in size, shape, and color. How can we reconcile this with the Indiscernibility of Identicals, the principle that numerical identity implies indiscernibility across time? Almost all contemporary metaphysicians regard the Indiscernibility of Identicals as axiomatic. But I will argue that Aquinas, Ockham, and Burdan would reject it, perhaps in favor of a principle restricted to indiscernibility at a time.

There is variation in how people perceive colors and other secondary qualities. The challenge of perceptual variation is to say whose perceptions are accurate. According to Sextus, Protagoras’ response is that all of our perceptions might be accurate. As this response is traditionally developed, it is difficult to explain color illusion and color constancy. This difficulty is due to a widespread assumption called perceptual atomism. This chapter argues that, if we want to develop Protagoras’ response, we need to give up (...) perceptual atomism. It ends with a brief sketch of an alternative called perceptual structuralism. (shrink)

We establish that, due to certain quantum indeterminacies, there must be foundational colours that do not reliably cause any particular experience. This report functions as an appendix to Morrison's "Colour in a Physical World.".

Suppose you're unable to discriminate the colors of two objects. According to the triangulation view, their colors might nonetheless look different to you, and that's something you can discover as a result of further comparisons. The primary motivation for this view is its apparent ability to solve a puzzle involving a series of pairwise indiscriminable objects. I argue that, due to visual noise, the triangulation view doesn't really solve the puzzle.

A book review of Valtteri Viljanen's "Spinoza’s Geometry of Power".

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

This article presents a critical reevaluation of the thesis—closely associated with H. L. A. Hart, and central to the views of most recent legal philosophers—that the idea of state coercion is not logically essential to the definition of law. The author argues that even laws governing contracts must ultimately be understood as “commands of the sovereign, backed by force.” This follows in part from recognition that the “sovereign,” defined rigorously, at the highest level of abstraction, is that person or entity (...) identified by reference to game theory and the philosophical idea of “convention” as the source of signals with which the subject population has become effectively locked, as a group, into conformity. (shrink)

A book review of Raffaella De Rosa's Descartes and the Puzzle of Sensory Representation".

In this paper, I propose a Husserlian account of perceptual confidence, and argue for perceptual confidence by appeal to the self-justification of perceptual experiences. Perceptual confidence is the intriguing view, recently developed by John Morrison, that there are not just doxastic confidences but also perceptual confidences, i.e., confidences as aspect of perceptual experience, enabling us to account, e.g., for the increasing confidence with which we experience an approaching human figure, while telling ourselves, as the viewing distance diminishes, “It (...) looks like this just could be Isaac”, “It looks like this is probably Isaac”, “It looks like this is almost certainly Isaac”. I first present my Husserlian account with a focus on the notion of fulfillment, and the idea that the contents of perceptual experience are fulfillment conditions. I then show that this account can be complemented by PC. Finally, I develop a focus on the idea of perceptual self-justification, diverting the perceptual confidence debate from its pre-eminent concern with the relations between perceptual and doxastic confidences, and present an argument to the effect that there are perceptual confidences. (shrink)

According to factive accounts of the norm of belief and decision-making, you should not believe or base decisions on a falsehood. Even when the evidence misleadingly suggests that a false proposition is true, you should not believe it or base decisions on it. Critics claim that factive accounts are counterintuitive and badly mischaracterize our ordinary practice of evaluating beliefs and decisions. This paper reports four experiments that rigorously test the critic’s accusations and the viability of factive accounts. The results undermine (...) the accusations and provide the best evidence yet of factive norms of belief and decision-making. The results also help discriminate between two leading candidates for a factive norm: truth and knowledge. Knowledge is the superior candidate. (shrink)

The epistemic closure principle says that knowledge is closed under known entailment. The closure principle is deeply implicated in numerous core debates in contemporary epistemology. Closure’s opponents claim that there are good theoretical reasons to abandon it. Closure’s proponents claim that it is a defining feature of ordinary thought and talk and, thus, abandoning it is radically revisionary. But evidence for these claims about ordinary practice has thus far been anecdotal. In this paper, I report five studies on the status (...) of epistemic closure in ordinary practice. Despite decades of widespread assumptions to the contrary in philosophy, ordinary practice is ambivalent about closure. Ordinary practice does not endorse an unqualified version of the epistemic closure principle, although it might endorse a source-relative version of the principle. In particular, whereas inferential knowledge is not viewed as closed under known entailment, perceptual knowledge might be. (shrink)

We present Backward Clock, an original counterexample to Robert Nozick’s truth-tracking analysis of propositional knowledge, which works differently from other putative counterexamples and avoids objections to which they are vulnerable. We then argue that four ways of analysing knowledge in terms of safety, including Duncan Pritchard’s, cannot withstand Backward Clock either.

Most properties have comparatives, which are relations. For instance, the property of width has the comparative relation denoted by `_ is wider than _'. Let us say a property is reducible to its comparative if any statement that refers to the property has the same meaning as another statement that refers to the comparative instead. Width is not reducible to its comparative. To be sure, many statements that refer to width are reducible: for instance, `The Mississippi is wide' means the (...) same as `The Mississippi is wider than most rivers'. But some statements that refer to width are not reducible: for instance, `Electrons have zero width' is not. A property is not reducible to its comparative if it has absolute degrees, and specifically an absolute zero. A property's comparative relation places things in an order from those that have the property least to those that have it most. If there is an absolute zero point somewhere in this ordering, the property is not reducible to its comparative. For width, there is an absolute zero at one end of the ordering, so width is not reducible. The property of goodness is reducible to its comparative, betterness. In particular, there is no absolute zero of goodness. Things are ordered by betterness – some things are better than others – but nothing is absolutely good or absolutely bad. This is an exaggeration. In certain applications, goodness does have absolute degrees of a sort, and an absolute zero. For instance, it makes sense to say an event is good, and another event bad. These are absolute degrees of a sort, but they are themselves reducible to betterness. To say an event is good simply means the event is better than what would otherwise have happened. The goodness of lives has a different sort of absolute zero. Lives are ordered by betterness; some lives are better than others. We can make sense of the question `Where in this ordering is the division between lives that are good and those that are bad?' The division between good and bad lives is again reducible to betterness. To say a person's life is good means it is better that the person should continue living, rather than that she should die. Or it may mean it is better that her life should be lived rather than that it should never have been lived at all. As it is often put: a good life is a life worth living. Derek Parfit appears to attach a different sense to the idea of a good life. He appears to mean a life that contains a preponderance of good things (such as pleasure) over bad things (such as pain). If a life contains no good things and no bad things, it has zero goodness in this sense. In this sense, absolute goodness and the absolute zero of goodness are not reducible to betterness. However, this is a naturalistic sense of goodness, and it is subject to the open-question objection. If a life contains no good things and no bad things, it is an open question whether it has zero goodness. It might, for instance, be a bad thing that this life should be lived. In discussing the evil of death, some philosophers seem to have been searching for an absolute goodness that is not reducible to betterness. Thomas Nagel speaks of an asymmetry between what is good about life and what is bad about death. But if a person's life is good, that only means it would be better that she should continue living than that she should die. And if a person's death would be bad, that only means it would be worse that she should die than that she should continue living. So there can be no asymmetry. (shrink)

A collaborative article by the Editorial Collective of Social Imaginaries. Investigations into social imaginaries have burgeoned in recent years. From ‘the capitalist imaginary’ to the ‘democratic imaginary’, from the ‘ecological imaginary’ to ‘the global imaginary’ – and beyond – the social imaginaries field has expanded across disciplines and beyond the academy. The recent debates on social imaginaries and potential new imaginaries reveal a recognisable field and paradigm-in-the-making. We argue that Castoriadis, Ricoeur, and Taylor have articulated the most important theoretical frameworks (...) for understanding social imaginaries, although the field as a whole remains heterogeneous. We further argue that the notion of social imaginaries draws on the modern understanding of the imagination as authentically creative. We contend that an elaboration of social imaginaries involves a significant, qualitative shift in the understanding of societies as collectively and politically-instituted formations that are irreducible to inter-subjectivity or systemic logics. After marking out the contours of the field and recounting a philosophical history of the imagination, the essay turns to debates on social imaginaries in more concrete contexts, specifically political-economic imaginaries, the ecological imaginary, multiple modernities and their inter-civilisational encounters. The social imaginaries field imparts powerful messages for the human sciences and wider publics. In particular, social imaginaries hold significant implications for ontological, phenomenological and philosophical anthropological questions; for the cultural, social, and political horizons of contemporary worlds; and for ecological and economic phenomena. The essay concludes with the argument that social imaginaries as a paradigm-in-the-making offers valuable means by which movements towards social change can be elucidated as well providing an open horizon for the critiques of existing social practices. (shrink)

Schemes of diagrammatic representation have been so familiarly introduced into logical treatises during the last century or so, that many readers, even of those who have made no professional study of logic, may be supposed to be acquainted with the general nature and object of such devices. Of these schemes one only, viz. that commonly called "Eulerian circles," has met with any general acceptance. A variety of others indeed have been proposed by ingenious and celebrated logicians, several of which would (...) claim notice in a historical treatment of the subject; but they mostly do not seem to me to differ in any essential respect from that of Euler. They rest upon the same leading principle, and are subject all alike to the same restrictions and defects. We must therefore cast about for some new scheme of diagrammatic representation which shall be competent to indicate imperfect knowledge on our part; for this will at once enable us to appeal to it step by step in the process of working out our conclusions. I have never seen any hint at such a scheme, though the want seems so evident that one would suppose that something of the kind must have been proposed before. (shrink)

Morality seems important, in the sense that there are practical reasons — at least for most of us, most of the time — to be moral. A central theoretical motivation for consequentialism is that it appears clear that there are practical reasons to promote good outcomes, but mysterious why we should care about non-consequentialist moral considerations or how they could be genuine reasons to act. In this paper we argue that this theoretical motivation is mistaken, and that because many arguments (...) for consequentialism rely upon it, the mistake substantially weakens the overall case for consequentialism. We argue that there is indeed a theoretical connection between good states and reasons to act, because good states are those it is fitting to desire and there is a conceptual connection between the fittingness of a motive and reasons to perform the acts it motivates. But while some of our motives are directed at states, others are directed at acts themselves. We contend that just as the fittingness of desires for states generates reasons to promote the good, the fittingness of these act-directed motives generates reasons to do other things. Moreover, we argue that an act’s moral status consists in the fittingness of act-directed feelings of obligation to perform or avoid performing it, so the connection between fitting motives and reasons to act explains reasons to be moral whether or not morality directs us to promote the good. This, we contend, de-mystifies how there could be non-consequentialist reasons that are both moral and practical. (shrink)

An advanced artificial intelligence could pose a significant existential risk to humanity. Several research institutes have been set-up to address those risks. And there is an increasing number of academic publications analysing and evaluating their seriousness. Nick Bostrom’s superintelligence: paths, dangers, strategies represents the apotheosis of this trend. In this article, I argue that in defending the credibility of AI risk, Bostrom makes an epistemic move that is analogous to one made by so-called sceptical theists in the debate about the (...) existence of God. And while this analogy is interesting in its own right, what is more interesting are its potential implications. It has been repeatedly argued that sceptical theism has devastating effects on our beliefs and practices. Could it be that AI-doomsaying has similar effects? I argue that it could. Specifically, and somewhat paradoxically, I argue that it could amount to either a reductio of the doomsayers position, or an important and additional reason to join their cause. I use this paradox to suggest that the modal standards for argument in the superintelligence debate need to be addressed. (shrink)

Famous results by David Lewis show that plausible-sounding constraints on the probabilities of conditionals or evaluative claims lead to unacceptable results, by standard probabilistic reasoning. Existing presentations of these results rely on stronger assumptions than they really need. When we strip these arguments down to a minimal core, we can see both how certain replies miss the mark, and also how to devise parallel arguments for other domains, including epistemic “might,” probability claims, claims about comparative value, and so on. A (...) popular reply to Lewis's results is to claim that conditional claims, or claims about subjective value, lack truth conditions. For this strategy to have a chance of success, it needs to give up basic structural principles about how epistemic states can be updated—in a way that is strikingly parallel to the commitments of the project of dynamic semantics. (shrink)

Aristotle said that induction (epagōgē) is a proceeding from particulars to a universal, and the definition has been conventional ever since. But there is an ambiguity here. Induction in the Scholastic and the (so-called) Humean tradition has presumed that Aristotle meant going from particular statements to universal statements. But the alternate view, namely that Aristotle meant going from particular things to universal ideas, prevailed all through antiquity and then again from the time of Francis Bacon until the mid-nineteenth century. Recent (...) scholarship is so steeped in the first-mentioned tradition that we have virtually forgotten the other. In this essay McCaskey seeks to recover that alternate tradition, a tradition whose leading theoreticians were William Whewell, Francis Bacon, Socrates, and in fact Aristotle himself. The examination is both historical and philosophical. The first part of the essay fills out the history. The latter part examines the most mature of the philosophies in the Socratic tradition, specifically Bacon’s and Whewell’s. After tracing out this tradition, McCaskey shows how this alternate view of induction is indeed employed in science, as exemplified by several instances taken from actual scientific practice. In this manner, McCaskey proposes to us that the Humean problem of induction is merely an artifact of a bad conception of induction and that a return to the Socratic conception might be warranted. (shrink)

In the Summa Theologiae, Thomas Aquinas states that the “aspect of pastness” involved in memory is a certain kind of cognitive object — i.e., an intention — apprehended by the “estimative power.” All told, however, Aquinas mentions this idea precisely once. In this article, I construct an account of the idea that pastness is an estimative intention by drawing upon texts in which I argue that Aquinas develops this idea, albeit without invoking the terminology of the estimative intention. I conclude (...) that, by identifying the aspect of pastness as an estimative intention, Aquinas neatly synthesizes the Aristotelian and Arabic traditions on memory. (shrink)

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...) that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...) is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)

This paper tries to clarify, strengthen and respond to two prominent objections to the development and use of human enhancement technologies. Both objections express concerns about the link between enhancement and the drive for hyperagency. The first derives from the work of Sandel and Hauskeller—and is concerned with the negative impact of hyperagency on social solidarity. In responding to their objection, I argue that although social solidarity is valuable, there is a danger in overestimating its value and in neglecting some (...) obvious ways in which the enhancement project can be planned so as to avoid its degradation. The second objection, though common to several writers, has been most directly asserted by Saskia Nagel, and is concerned with the impact of hyperagency on the burden and distribution of responsibility. Though this is an intriguing objection, I argue that not enough has been done to explain why this is morally problematic. I try to correct for this flaw before offering a variety of strategies for dealing with the problems raised. (shrink)

The most cursory examination of the history of artificial intelligence highlights numerous egregious claims of its researchers, especially in relation to a populist form of ‘strong’ computationalism which holds that any suitably programmed computer instantiates genuine conscious mental states purely in virtue of carrying out a specific series of computations. The argument presented herein is a simple development of that originally presented in Putnam’s (Representation & Reality, Bradford Books, Cambridge in 1988 ) monograph, “Representation & Reality”, which if correct, has (...) important implications for turing machine functionalism and the prospect of ‘conscious’ machines. In the paper, instead of seeking to develop Putnam’s claim that, “everything implements every finite state automata”, I will try to establish the weaker result that, “everything implements the specific machine Q on a particular input set ( x )”. Then, equating Q ( x ) to any putative AI program, I will show that conceding the ‘strong AI’ thesis for Q (crediting it with mental states and consciousness) opens the door to a vicious form of panpsychism whereby all open systems, (e.g. grass, rocks etc.), must instantiate conscious experience and hence that disembodied minds lurk everywhere. (shrink)

What is the relation between works of fiction and the acquisition of knowledge?

Moderate scientism is the view that empirical science can help answer questions in nonscientific disciplines. In this paper, we evaluate moderate scientism in philosophy. We review several ways that science has contributed to research in epistemology, action theory, ethics, philosophy of language, and philosophy of mind. We also review several ways that science has contributed to our understanding of how philosophers make judgments and decisions. Based on this research, we conclude that the case for moderate philosophical scientism is strong: scientific (...) practice has promoted significant progress in philosophy and its further development should be welcomed and encouraged. (shrink)

The vision of natural kinds that is most common in the modern philosophy of biology, particularly with respect to the question whether species and other taxa are natural kinds, is based on a revision of the notion by Mill in A System of Logic. However, there was another conception that Whewell had previously captured well, which taxonomists have always employed, of kinds as being types that need not have necessary and sufficient characters and properties, or essences. These competing views employ (...) different approaches to scientific methodologies: Mill’s class-kinds are not formed by induction but by deduction, while Whewell’s type-kinds are inductive. More recently, phylogenetic kinds (clades, or monophyletic-kinds) are inductively projectible, and escape Mill’s strictures. Mill’s version represents a shift in the notions of kinds from the biological to the physical sciences. (shrink)

Climate negotiations under the United Nations Framework Convention on Climate Change have so far failed to achieve a robust international agreement to reduce greenhouse gas emissions. Game theory has been used to investigate possible climate negotiation solutions and strategies for accomplishing them. Negotiations have been primarily modelled as public goods games such as the Prisoner’s Dilemma, though coordination games or games of conflict have also been used. Many of these models have solutions, in the form of equilibria, corresponding to possible (...) positive outcomes—that is, agreements with the requisite emissions reduction commitments. Other work on large-scale social dilemmas suggests that it should be possible to resolve the climate problem. It therefore seems that equilibrium selection may be a barrier to successful negotiations. Here we use an N-player bargaining game in an agent-based model with learning dynamics to examine the past failures of and future prospects for a robust international climate agreement. The model suggests reasons why the desirable solutions identified in previous game-theoretic models have not yet been accomplished in practice and what mechanisms might be used to achieve these solutions. (shrink)

This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...) universes of discourse serving as different ranges of the individual variables in different interpretations?as in post-WWII model theory. In the early 1960s, many logicians?mistakenly, as we show?held the ?contrary alternative? that Tarski 1936 had already adopted a Gödel-type, pluralistic, multiple-universe framework. We explain that Tarski had not yet shifted out of the monistic, Frege?Russell, fixed-universe paradigm. We further argue that between his Principia-influenced pre-WWII Warsaw period and his model-theoretic post-WWII Berkeley period, Tarski's philosophy underwent many other radical changes. (shrink)

The meaning of an utterance is often enriched by the pragmatic context in which it is uttered. This is because in ordinary conversations we routinely and uncontroversially compress what we say, safe in the knowledge that those interpreting us will ‘add in’ the content we intend to communicate. Does the same thing hold true in the case of legal utterances like ‘This constitution protects the personal rights of the citizen’ or ‘the parliament shall have the power to lay and collect (...) taxes’? This article addresses this question from the perspective of the constitutional originalist—the person who holds that the meaning of a constitutional text is fixed at some historical moment. In doing so, it advances four theses. First, it argues that every originalist theory is committed to some degree of pragmatic enrichment, the debate is about how much. Second, that in determining which content gets ‘added in’, originalists typically hold to a common knowledge standard for enrichment, protestations... (shrink)

In Social Imaginaries, vol. 1, nr. 1 (Spring 2015) due out in May 2015.

Formalizing Euclid’s first axiom. Bulletin of Symbolic Logic. 20 (2014) 404–5. (Coauthor: Daniel Novotný) -/- Euclid [fl. 300 BCE] divides his basic principles into what came to be called ‘postulates’ and ‘axioms’—two words that are synonyms today but which are commonly used to translate Greek words meant by Euclid as contrasting terms. -/- Euclid’s postulates are specifically geometric: they concern geometric magnitudes, shapes, figures, etc.—nothing else. The first: “to draw a line from any point to any point”; the last: the (...) parallel postulate. -/- Euclid’s axioms are general principles of magnitude: they concern geometric magnitudes and magnitudes of other kinds as well even numbers. The first is often translated “Things that equal the same thing equal one another”. -/- There are other differences that are or might become important. -/- Aristotle [fl. 350 BCE] meticulously separated his basic principles [archai, singular archê] according to subject matter: geometrical, arithmetic, astronomical, etc. However, he made no distinction that can be assimilated to Euclid’s postulate/axiom distinction. -/- Today we divide basic principles into non-logical [topic-specific] and logical [topic-neutral] but this too is not the same as Euclid’s. In this regard it is important to be cognizant of the difference between equality and identity—a distinction often crudely ignored by modern logicians. Tarski is a rare exception. The four angles of a rectangle are equal to—not identical to—one another; the size of one angle of a rectangle is identical to the size of any other of its angles. No two angles are identical to each other. -/- The sentence ‘Things that equal the same thing equal one another’ contains no occurrence of the word ‘magnitude’. This paper considers the problem of formalizing the proposition Euclid intended as a principle of magnitudes while being faithful to the logical form and to its information content. (shrink)

2006. George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA. -/- George Boole (1815-1864), whose name lives among modern computer-related sciences in Boolean Algebra, Boolean Logic, Boolean Operations, and the like, is one of the most celebrated logicians of all time. Ironically, his actual writings often go unread and his actual contributions to logic are virtually unknown—despite the fact that he was one of the clearest writers in the field. Working with various students including Susan Wood and Sriram (...) Nambiar, I have written several publications trying to set the record straight—but so far to little avail. This encyclopedia entry is one more attempt to set the record straight in a way that can be appreciated by non-experts.Also see https://www.academia.edu/10161999/Booles_criteria_of_validity_and_invalidity . (shrink)

The concept of representation is a problematic one. So is that of resemblance or similarity. But both concepts can be clarified via a modification of Wittgenstein's notion of a "family-resemblance." I shall introduce an extended version of that notion, specifically relevant to representational objects, after presenting some arguments which show the need for it.