In all probability, future generations will outnumber us by thousands or millions to one. In the aggregate, their interests therefore matter enormously, and anything we can do to steer the future of civilization onto a better trajectory is of tremendous moral importance. This is the guiding thought that defines the philosophy of longtermism. Political science tells us that the practices of most governments are at stark odds with longtermism. But the problems of political short-termism are neither necessary nor inevitable. In (...) principle, the state could serve as a powerful tool for positively shaping the long-term future. In this chapter, we make some suggestions about how to align government incentives with the interests of future generations. First, in Section II, we explain the root causes of political short-termism. Then, in Section III, we propose and defend four institutional reforms that we think would be promising ways to increase the time horizons of governments: 1) government research institutions and archivists; 2) posterity impact assessments; 3) futures assemblies; and 4) legislative houses for future generations. Section IV concludes with five additional reforms that are promising but require further research: to fully resolve the problem of political short-termism we must develop a comprehensive research program on effective longtermist political institutions. (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)

Waiting time is widely used in health and social policy to make resource allocation decisions, yet no general account of the moral significance of waiting time exists. We provide such an account. We argue that waiting time is not intrinsically morally significant, and that the first person in a queue for a resource does not ipso facto have a right to receive that resource first. However, waiting time can and sometimes should play a role in justifying allocation decisions. First, there (...) is a duty of fairness prohibiting line-cutting where a sufficiently just queue exists. Second, waiting time has several morally attractive features that can justify its incorporation into allocation schemes. Where candidates are in relevantly similar circumstances, allocating by waiting time is relatively efficient, maximizes distribution equality relative to other Pareto efficient distributions, and treats candidates fairly. The claim that allocation using waiting time is fair is controversial. Some have claimed that formal lotteries are a fairer way to select among equal beneficiaries. We argue that lotteries are no fairer than allocation based on waiting time when it is equiprobable how a prospective queue will be ordered. In practice, lotteries share many of the disadvantages of queues; which is fairer will depend on contingent features of the allocation scenario. The upshot is that first-come, first-served is in fact a just way to allocate resources in many of the cases where it seems pre-theoretically compelling, and waiting time has unique normative properties which frequently justify its incorporation into resource allocation schemes. (shrink)

This article accomplishes two closely connected things. First, it refutes an influential view about the relationship between perception and knowledge. In particular, it demonstrates that perceiving does not entail knowing. Second, it leverages that refutation to demonstrate that knowledge is not the most general factive propositional attitude.

Philosophers have often noted a contrast between practical and theoretical reasons when it comes to cases involving equally balanced reasons. When there are strong practical reasons for A-ing, and equally strong practical reasons for some incompatible option, B-ing, the agent is permitted to make an arbitrary choice between them, having sufficient reason to A and sufficient reason to B. But when there is strong evidence for P and equally strong evidence for ~ P, one isn’t permitted to simply believe one (...) or the other. Instead, one must withhold belief, neither believing that P nor believing that ~ P. This paper examines what explains this contrast, focusing in particular on a proposal recently developed by Mark Schroeder across several papers. Schroeder aims to explain the contrast by an appeal to non-evidential, epistemic reasons against belief. But, I argue, it’s not clear exactly what those reasons are, nor how those reasons are to be weighed against evidential reasons. Despite these challenges, I argue that there are grounds for optimism that the contrast can be explained within the broad framework Schroeder provides, and I aim to provide resources to meet the aforementioned challenges. (shrink)

Rigorous proof is supposed to guarantee that the premises invoked imply the conclusion reached, and the problem of rigor may be described as that of bringing together the perspectives of formal logic and mathematical practice on how this is to be achieved. This problem has recently raised a lot of discussion among philosophers of mathematics. We survey some possible solutions and argue that failure to understand its terms properly has led to misunderstandings in the literature.

Consequentialism is thought to be in significant conflict with animal rights theory because it does not regard activities such as confinement, killing, and exploitation as in principle morally wrong. Proponents of the “Logic of the Larder” argue that consequentialism results in an implausibly pro-exploitation stance, permitting us to eat farmed animals with positive well- being to ensure future such animals exist. Proponents of the “Logic of the Logger” argue that consequentialism results in an implausibly anti-conservationist stance, permitting us to exterminate (...) wild animals with negative well-being to ensure future such animals do not exist. We argue that this conflict is overstated. Once we have properly accounted for indirect effects, such as the role that our policies play in shaping moral attitudes and behavior and the importance of accepting policies that are robust against deviation, we can see that consequentialism may converge with animal rights theory significantly, even if not entirely. (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)

This paper examines some recent arguments for internalism that (i) appeal to an analogy between practical and theoretical reasons, (ii) look toward our practices of reasoning with others, or (iii) tie reasons to good deliberation. The conclusion of this paper is a skeptical one: none of these new arguments gives us sufficient reason to think that internalism is true.

What constitutes a “good” life—not necessarily a morally good life, but a life that is good for the person who lived it? In response to this question of “well-being," philosophers have offered three significant answers: A good life is one in which a person can satisfy their desires (“Desire-Satisfaction” or “Preferentism”), one that includes certain good features (“Objectivism”), or one in which pleasurable states dominate or outweigh painful ones (“Hedonism”). To adjudicate among these competing theories, moral philosophers traditionally gather data (...) from thought experiments and intuition. In this chapter, we supplement that traditional approach with a pair of experimental studies that examine whether the three theories reflect laypeople’s intuitions about well-being. The empirical studies yield two primary findings. First, they provide evidence for lay "well-being pluralism": laypeople treat desire satisfaction, positive objective conditions, and happiness as all constitutive of well-being. Second, the studies provide evidence of "hedonic dominance": laypeople evaluate an individual’s happiness as more important to an individual’s overall well-being than desire satisfaction or objective conditions. (shrink)

Many real-world agents recognise that they impose harms by choosing to emit carbon, e.g., by flying. Yet many do so anyway, and then attempt to make things right by offsetting those harms. Such offsetters typically believe that, by offsetting, they change the deontic status of their behaviour, making an otherwise impermissible action permissible. Do they succeed in practice? Some philosophers have argued that they do, since their offsets appear to reverse the adverse effects of their emissions. But we show that (...) they do not. In practice, standard carbon offsetting does not reverse the harms of the original action, nor does it even benefit the same group as was harmed. Standard moral theories hence deny that such offsetting succeeds. Indeed, we show that any moral theory that allows offsetting in this setting faces a dilemma between allowing any wrong to be offset, no matter how grievous, and recognising an implausibly sharp discontinuity between offsettable actions and non-offsettable actions. The most plausible response is to accept that carbon offsetting fails to right our climate wrongs. (shrink)

Research on the human microbiome has gen- erated a staggering amount of sequence data, revealing variation in microbial diversity at the community, species (or phylotype), and genomic levels. In order to make this complexity more manageable and easier to interpret, new units—the metagenome, core microbiome, and entero- type—have been introduced in the scientific literature. Here, I argue that analytical tools and exploratory statisti- cal methods, coupled with a translational imperative, are the primary drivers of this new ontology. By reducing the (...) dimensionality of variation in the human microbiome, these new units render it more tractable and easier to interpret, and hence serve an important heuristic role. Nonetheless, there are several reasons to be cautious about these new categories prematurely ‘‘hardening’’ into natural units: a lack of constraints on what can be sequenced metagenomically, freedom of choice in taxonomic level in defining a ‘‘core microbiome,’’ typological framing of some of the concepts, and possible reification of statistical constructs. Finally, lessons from the Human Genome Project have led to a translational imperative: a drive to derive results from the exploration of microbiome variation that can help to articulate the emerging paradigm of per- sonalized genomic medicine (PGM). There is a tension between the typologizing inherent in much of this research and the personal in PGM. (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)

This paper considers the formulation of the moral requirement against hypocrisy, paying particular attention to the logical scope of ‘requires’ in that formulation. The paper argues (i) that we should prefer a wide-scope formulation to a narrow-scope formulation, and (ii) this result has some advantages for our normative theorizing about hypocrisy – in particular, it allows us to resist several of Daniela Dover’s (2019) recent arguments against the anti-hypocrisy requirement.

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)

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)

This paper calls for a re-appraisal of McGee's analysis of the semantics, logic and probabilities of indicative conditionals presented in his 1989 paper Conditional probabilities and compounds of conditionals. The probabilistic measures introduced by McGee are given a new axiomatisation built on the principle that the antecedent of a conditional is probabilistically independent of the conditional and a more transparent method of constructing such measures is provided. McGee's Dutch book argument is restructured to more clearly reveal that it introduces a (...) novel contribution to the epistemology of semantic indeterminacy, and shows that its more controversial implications are unavoidable if we want to maintain the Ramsey Test along with the standard laws of probability. Importantly, it is shown that the counterexamples that have been levelled at McGee's analysis|generating a rather wide consensus that it yields `unintuitive' or `wrong' probabilities for compounds |fail to strike at their intended target; for to honour the intuitions of the counterexamples one must either give up the Ramsey Test or the standard laws of probability. It will be argued that we need to give up neither if we take the counterexamples as further evidence that the indicative conditional sometimes allows for a non-epistemic `causal' interpretation alongside its usual epistemic interpretation. (shrink)

It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...) practices presuppose, respectively, a criterion of validity and a criterion of invalidity each of which has been extended and refined by modern logicians: deductions are studied in formal syntax (proof theory) and coun¬termodels are studied in formal semantics (model theory). The purpose of this paper is to compare these two criteria to the corresponding criteria employed in Boole’s first logical work, The Mathematical Analysis of Logic (1847). In particular, this paper presents a detailed study of the relevant metalogical passages and an analysis of Boole’s symbolic derivations. It is well known, of course, that Boole’s logical analysis of compound terms (involving ‘not’, ‘and’, ‘or’, ‘except’, etc.) contributed to the enlargement of the class of propositions and arguments formally treatable in logic. The present study shows, in addition, that Boole made significant contributions to the study of deduc¬tive reasoning. He identified the role of logical axioms (as opposed to inference rules) in formal deductions, he conceived of the idea of an axiomatic deductive sys¬tem (which yields logical truths by itself and which yields consequences when ap¬plied to arbitrary premises). Nevertheless, surprisingly, Boole’s attempt to imple¬ment his idea of an axiomatic deductive system involved striking omissions: Boole does not use his own formal deductions to establish validity. Boole does give symbolic derivations, several of which are vitiated by “Boole’s Solutions Fallacy”: the fallacy of supposing that a solution to an equation is necessarily a logical consequence of the equation. This fallacy seems to have led Boole to confuse equational calculi (i.e., methods for gen-erating solutions) with deduction procedures (i.e., methods for generating consequences). The methodological confusion is closely related to the fact, shown in detail below, that Boole had adopted an unsound criterion of validity. It is also shown that Boole totally ignored the countermodel criterion of invalid¬ity. Careful examination of the text does not reveal with certainty a test for invalidity which was adopted by Boole. However, we have isolated a test that he seems to use in this way and we show that this test is ineffectual in the sense that it does not serve to identify invalid arguments. We go beyond the simple goal stated above. Besides comparing Boole’s earliest criteria of validity and invalidity with those traditionally (and still generally) employed, this paper also investigates the framework and details of THE MATHEMATICAL ANALYSIS OF LOGIC. (shrink)

I am going to argue that it is a cost of libertarianism that it holds our status as agents hostage to theoretical physics, but that claim has met with disagreement. Some libertarians regard it as the cost of doing business, not a philosophical liability. By contrast, Peter van Inwagen has addressed the worry head on. He says that if he were to become convinced that causal determinism were true, he would not change his view that humans are free and morally (...) responsible. Rather, he would give up at least one of the formerly-thought-to-be a priori truths that are elements in his argument for the incompatibility of causal determinism and the relevant sort of freedom. Thus, according to van Inwagen, our status as free and morally responsible agents would not be held hostage to the physicists or hang on a thread I think that van Inwagen’s strategy for securing our freedom and responsibility is unattractive. Somewhat tendentiously, I have called the rejection of an a priori ingredient in the incompatibilist’s argument, contingent upon learning that causal determinism is true, ‘metaphysical fip-flopping.’ -/- And it does seem that van Inwagen’s approach is implausible insofar as he is open to such metaphysical fip-fopping. That he is open to it—that he would fip-fop if he became convinced of the truth of causal determinism—is a problem for his actual philosophical position. Or so I will argue. (shrink)

There are two different ways of understanding alienation: as a condition and as a struggle. On this distinction turns the whole theory and practice of Marxism.

In De Anima II 5, 417a21-b16, Aristotle makes a number of distinctions between types of transitions, affections, and alterations. The objective of this paper is to sort out the relationships between these distinctions by means of determining which of the distinguished types of change can be coextensive and which cannot, and which can overlap and which cannot. From the results of this analysis, an interpretation of 417a21-b16 is then constructed that differs from previous interpretations in certain important respects, chief among (...) which is its characterization of transitions from first potentiality to first actuality, e.g., learning, not as `ordinary', but rather as acquisitions of natural dispositions or faculties. (shrink)

(for Adam Morton's half) I argue that if we take the values of persons to be ordered in a way that allows incomparability, then the problems Broome raises have easy solutions. In particular we can maintain that creating people is morally neutral while killing them has a negative value.

A fruitful way to approach The Idea of Phenomenology is through Husserl’s claim that consciousness is not a bag, box, or any other kind of container. The bag conception, which dominated much of modern philosophy, is rooted in the idea that philosophy is restricted to investigating only what is really immanent to consciousness, such as acts and sensory contents. On this view, what Husserl called the riddle of transcendence can never be solved. The phenomenological reduction, as Husserl develops it in (...) The Idea of Phenomenology, opened up a new and broader sense of immanence that embraces the transcendent, making it possible both to solve the riddle and to escape the bag conception once and for all. The essay will discuss ways in which this new conception of immanence is tied to the key Husserlian themes of appearance, phenomenon, essence, seeing or intuiting, and constitution. (shrink)

ABSTRACT Drawing inspiration from Fred Dretske, L. S. Carrier, John A. Barker, and Robert Nozick, we develop a tracking analysis of knowing according to which a true belief constitutes knowledge if and only if it is based on reasons that are sensitive to the fact that makes it true, that is, reasons that wouldn’t obtain if the belief weren’t true. We show that our sensitivity analysis handles numerous Gettier-type cases and lottery problems, blocks pathways leading to skepticism, and validates (...) the epistemic closure thesis that correct inferences from known premises yield knowledge of the conclusions. We discuss the plausible views of Ted Warfield and Branden Fitelson regarding cases of knowledge acquired via inference from false premises, and we show how our sensitivity analysis can account for such cases. We present arguments designed to discredit putative counterexamples to sensitivity analyses recently proffered by Tristan Haze, John Williams and Neil Sinhababu, which involve true statements made by untrustworthy informants and strange clocks that sometimes display the correct time while running backwards. Finally, we show that in virtue of employing the paradox-free subjunctive conditionals codified by Relevance Logic theorists instead of the paradox-laden subjunctive conditionals codified by Robert Stalnaker and David Lewis. (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)

This paper explores the possibility that causal decision theory can be formulated in terms of probabilities of conditionals. It is argued that a generalized Stalnaker semantics in combination with an underlying branching time structure not only provides the basis for a plausible account of the semantics of indicative conditionals, but also that the resulting conditionals have properties that make them well-suited as a basis for formulating causal decision theory. Decision theory (at least if we omit the frills) is not an (...) esoteric science, however unfamiliar it may seem to an outsider. Rather it is a systematic exposition of the consequences of certain well-chosen platitudes about belief, desire, preference and choice. It is the very core of our common-sense theory of persons, dissected out and elegantly systematized. (David Lewis, Synthese 23:331–344, 1974, p. 337). A small distortion in the analysis of the conditional may create spurious problems with the analysis of other concepts. So if the facts about usage favor one among a number of subtly different theories, it may be important to determine which one it is. (Robert Stalnaker, A Defense of Conditional Excluded Middle, pp. 87–104, 1980, p. 87). (shrink)

Bowin begins with an apparent paradox about Aristotelian infinity: Aristotle clearly says that infinity exists only potentially and not actually. However, Aristotle appears to say two different things about the nature of that potential existence. On the one hand, he seems to say that the potentiality is like that of a process that might occur but isn't right now. Aristotle uses the Olympics as an example: they might be occurring, but they aren't just now. On the other hand, Aristotle says (...) that infinity "exists in actuality as a process that is now occurring" (234). Bowin makes clear that Aristotle doesn't explicitly solve this problem, so we are left to work out the best reading we can. His proposed solution is that "infinity must be...a per se accident...of number and magnitude" (250). (Bryn Mawr Classical Review 2008.07.47). (shrink)

William James wrote that the life of religion “consists of the belief that there is an unseen order, and that our supreme good lies in harmoniously adjusting ourselves thereto.” Naturalism organizes our experiences of the universe within a science-grounded philosophical and/or religious framework aligning it with what is supremely good for our lives. This article describes a science-grounded specific “Framework of Spirituality” identifying part of this unseen order that opens a “spiritual core” within persons as a source of healing and (...) happiness. A cognitive behavioral therapy (CBT) expanded process shows how experiences of human worth and dignity are keys to this new awareness and provides speculation for a brain function and evolutionary explanation. Details of this knowledge are related to various perspectives and authors of naturalism—scientific, religious, ecstatic, and ecological—to contribute to a future direction for the understanding, development, and further expression of naturalism. (shrink)

The initial argument presented herein is not significantly original—it is a simple reflection upon a notion of computation originally developed by Putnam and criticised by Chalmers et al. . In what follows, instead of seeking to justify Putnam’s conclusion that every open system implements every Finite State Automaton and hence that psychological states of the brain cannot be functional states of a computer, I will establish the weaker result that, over a finite time window every open system implements the trace (...) of FSA Q, as it executes program on input . If correct the resulting bold philosophical claim is that phenomenal states—such as feelings and visual experiences—can never be understood or explained functionally. (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)

According to the Aristotelian Thesis, the conclusion of practical reasoning is an action. Critics argue against it by pointing to cases in which some interference or inability prevents the production of action, yet in which that interference or inability doesn’t impugn the success of an agent’s reasoning. Some of those critics suggest instead that practical reasoning concludes in an intention, while others suggest it concludes in a belief with normative content, such as a belief about what one has conclusive, or (...) sufficient, reason to do. In this paper, I argue that we should allow that practical reasoning could conclude in either an intention or a belief with normative content. I begin by developing an objection to the Aristotelian Thesis, showing how the objection will not also undermine the possibility of practical reasoning concluding in an intention or a belief. I then respond to an argument from Joseph Raz designed to exclude the possibility of intentions as conclusions of practical reasoning. Lastly, I show how the worry that belief isn’t sufficiently “practical” to qualify as a conclusion of practical reasoning is misplaced. (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)

Scholars of ideology in social-scientific disciplines, including psychology, sociology, and political science, stand to benefit from taking seriously the philosophical contributions of Professor Peter Railton. This is because Railton provides much-needed conceptual precision—and a rare sense of epistemological and moral clarity—to a topic that is notoriously slippery and prone to relativistic musing and the drawing of false equivalences. In an essay entitled “Morality, Ideology, and Reflection: Or, the Duck Sits Yet,” Railton (2000/2003) aptly identified the purpose of ideological analysis as (...) the unmasking of “nonepistemic” interests—that is, interests other than truth-seeking, accuracy, or warrant —that contribute to the development, adoption, and dissemination of political and religious belief systems. (shrink)

This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless without rigor and objectivity. The logician urging us to be dispassionate is in resonance and harmony with the ethicist urging us to be compassionate.

This paper defends Aristotle’s project of deriving the order of time from the order of change in Physics 4.11, against the objection that it contains a vicious circularity arising from the assumption that we cannot specify the direction of a change without invoking the temporal relations of its stages. It considers and rejects a solution to this objection proposed by Ursula Coope, and proposes an alternative solution. It also considers the related problem of how the temporal orders and directions derived (...) from individual changes can together constitute a single, globally consistent order and direction of time. (shrink)

Given demonstrated global knowledge inequality, this article attempts to draw out the connection between tertiary education and research (TER), economic development and infrastructure, and human development. We first explore the connection between knowledge and economic development by tracing a short history of the emergence of knowledge in economic analysis and by introducing the concept of a ‘knowledge economy’. The World Bank’s ‘Knowledge Assessment Methodology’ (2000) attempted to evaluate such ‘knowledge economies’ through a number of proposed variables. We describe relationships between (...) such TER-variables, economic development, and infrastructure building, especially in the shift towards digital economies. We will show that there is a tangible, negative human impact from disparities in knowledge production, and significant improvement in human welfare when knowledge production capacities improve. Finally, we will illustrate how these relationships play out in two case studies, in Montenegro and Bangladesh. (shrink)

This chapter starts from the claim that the state is plagued with problems of political short-termism: excessive priority given to near-term benefits at the expense of benefits further in thefuture. One possible mechanism to reduce short-termism involves apportioning greater relative political influence to the young, since younger citizens generally have greater additional life expectancy than older citizens and thus it looks reasonable to expect that they have preferences that are extended further into the future. But the chapter shows that this (...) is unlikely to make states significantly less short-termist: no empirical relationship has been found between age and willingness to support long-termist policies. Instead, the chapter proposes a more promising age-based mechanism. States should develop youth citizens’ assemblies that ensure accountability to future generations through a scheme of retrospective accountability. (shrink)

This paper is concerned with the problem of speaking past one another due to an asymmetry of the interlocutors' backgrounds. When individuals with different levels of relative privilege interact, the party with relative privilege may fail to engage with what is being communicated. I take up critical Gadamerian hermeneutics to ask how we, as individuals with relative privilege, can 'unstop' our ears so that the burden of explanation does not (unfairly) remain on those we hurt by our mishearing/non-hearing. I offer (...) two methods to achieve this 'unstopping': 'critical self-knowledge' through Quassim Cassam's 'Vice Epistemology' framework and 'critical world-knowledge' through the Frankfurt School of Critical Theory (Max Horkheimer and Jürgen Habermas, specifically). I then take up contemporary critical hermeneutics (Lorenzo Simpson) to show how, through the application of the critical methods, one might be able to achieve a useful, cross-cultural dialogue. This is imperative given our inexorably multi-cultural world today. (shrink)

A psychological study of thought and language which takes an exposition of scientific linquistics as a point of departure.

This paper raises obvious questions undermining any residual confidence in Mates work and revealing our embarrassing ignorance of true nature of Stoic deduction. It was inspired by the challenging exploratory work of JOSIAH GOULD.

In this paper, I discuss several temporal aspects of paleontology from a philosophical perspective. I begin by presenting the general problem of “taming” deep time to make it comprehensible at a human scale, starting with the traditional geologic time scale: an event-based, relative time scale consisting of a hierarchy of chronological units. Not only does the relative timescale provide a basis for reconstructing many of the general features of the history of life, but it is also consonant with the cognitive (...) processes humans use to think about time. Absolute dating of rocks, fossils, and evolutionary events (such as branching events on the tree of life) can be accomplished through the use of radiometric dating, chronological signals extractable from fossil growth patterns, and the “molecular clock.” Sometimes these different methods of absolute dating, which start from largely independent assumptions and evidentiary bases, converge in their temporal estimates, resulting in a consilience of inductions. At other times they fail to agree, either because fossils and molecules are giving temporal information about different aspects of nature and should not be expected to agree, or because of flawed assumptions that give rise to an inaccurate estimate. I argue that in general, despite the fact that it can be difficult to integrate disparate kinds of evidence, the principle of total evidence should be applied to the dating of evolutionary events. As a historical science, paleontology studies past events we cannot observe directly. This raises questions of epistemic access, meaning that due to the fragmentary nature of the fossil record we may find ourselves without access to the relevant traces to adjudicate between rival hypotheses about the past. The problems and prospects of epistemic access are explored through a case study of the reconstruction of the colors of dinosaurs. The paper closes with a reflection on the Darwin- Lyell metaphor of the fossil record as a highly fragmentary history book, and a call for a reconsideration of the book metaphor in favor of a systems view of the geologic and fossil records. (shrink)

Political short-termism costs the global economy hundreds of billions to trillions of dollars annually, and leads to many millions of deaths from disasters and suboptimal spending. In this paper, I propose a futures assembly explicitly incentivised to promote the interests of future generations as a promising strategy to ameliorate short-termism. The assembly I propose is governed by citizens randomly selected from among the populace, who are rewarded in the future to the extent that they successfully promote the welfare of future (...) generations. The most initially promising such retrospective accountability mechanism is an iterated mechanism, in which each generation of policymakers rewards the previous generation for their policy choices and for their own evaluation of the previous generation. Such an assembly, supplemented with the duties, powers, and tools that I describe, and with appropriate support from archivists and experts, may manage to represent generations many years into the future. (shrink)

Economists can value things for cost-benefit analysis using either a structured or an unstructured approach. The first imposes some theoretical structure on the valuation; the second does not. This paper explains the difference between the approaches and examines the relative merits of each. Cost-benefit analysis may be aimed at finding what would be the best action, or alternatively at finding which action should be done in a democracy. The paper explains the difference, and argues that the appropriate aim is the (...) first. Given that, it comes down in favour of the structured approach to valuation. As an example, it discusses different approaches to valuing life in economics. (shrink)