Defences of inference to the best explanation (IBE) frequently associate IBE with scientific realism, the idea that it is reasonable to believe our best scientific theories. I argue that this linkage is unfortunate. IBE does not warrant belief, since the fact that a theory is the best available explanation does not show it to be (even probably) true. What IBE does warrant is acceptance: taking a proposition as a premise in theoretical and/or practical reasoning. We ought to accept our best (...) scientific theories since they are the theories that are most likely to lead to the goal of science, which is that of knowledge. In support of this claim I invoke Bill Lycan's Panglossian reflections regarding Mother Nature.1. (shrink)

Wilfrid Sellars's "Empiricism and the Philosophy of Mind" begins with an argument against sense-datum epistemology. There is some question about the validity of this attack, stemming in part from the assumption that Sellars is concerned with epistemic foundationalism. This paper recontextualizes Sellars's argument in two ways: by showing how the argument of EPM relates to Sellars's 1940s work, which does not concern foundationalism at all; and by considering the view of H.H. Price, Sellars's teacher at Oxford and the only classical (...) datum theorist to receive substantive comment in EPM. Timm Triplett has claimed that Sellars's discussion simply begs the question against Price, but this depends on the mistaken assumption that Sellars's concern is with foundationalism. On the contrary, Sellars's argument concerns the assumption that the innate capacity for sensory experience counts as "thinking in presence" in the way needed for empiricist accounts of content acquisition. Price's distinction between noticing universals and being aware of them encapsulates the tensions empiricists face here. (shrink)

A central question in the philosophy of science is: What is a law of nature? Different answers to this question define an important schism: Humeans, in the wake of David Hume, hold that the laws of nature are nothing over and above what actually happens and reject irreducible facts about natural modality (Lewis, 1983, 1994; cf. Miller, 2015). According to Non-Humeans, by contrast, the laws are metaphysically fundamental (Maudlin, 2007) or grounded in primitive modal structures, such as dispositional essences of (...) powerful properties (Bird, 2007), necessitation relations (Armstrong, 1983), or primitive subjunctive facts (Lange, 2009). This volume focuses on recent developments in the discussion of Humeanism, specifically on pragmatic versions of the view that put the needs of limited agents like us front and center. (shrink)

In this paper, I argue that the fetishism objection to moral hedging fails. The objection rests on a reasons-responsiveness account of moral worth, according to which an action has moral worth only if the agent is responsive to moral reasons. However, by adopting a plausible theory of non-ideal moral reasons, one can endorse a reasons-responsiveness account of moral worth while maintaining that moral hedging is sometimes an appropriate response to moral uncertainty. Thus, the theory of moral worth upon which the (...) fetishism objection relies does not, in fact, support that objection. (shrink)

What explains the outcomes of chance processes? We claim that their setups do. Chances, we think, mediate these explanations of outcome by setup but do not feature in them. Facts about chances do feature in explanations of a different kind: higher-order explanations, which explain how and why setups explain their outcomes. In this paper, we elucidate this 'mediator view' of chancy explanation and defend it from a series of objections. We then show how it changes the playing field in four (...) metaphysical disputes concerning chance. First, it makes it more plausible that even low chances can have explanatory power. Second, it undercuts a circularity objection against reductionist theories of chance. Third, it redirects the debate about a prominent argument against epistemic theories of chance. Finally, it sheds light on potential chancy explanations of the Universe's origin. (shrink)

Morally speaking, what should one do when one is morally uncertain? Call this the Moral Uncertainty Question. In this paper, I argue that a non-ideal moral theory provides the best answer to the Moral Uncertainty Question. I begin by arguing for a strong ought-implies-can principle---morally ought implies agentially can---and use that principle to clarify the structure of a compelling non-ideal moral theory. I then describe the ways in which one's moral uncertainty affects one's moral prescriptions: moral uncertainty constrains the set (...) of moral prescriptions one is subject to, and at the same time generates new non-ideal moral reasons for action. I end by surveying the problems that plague alternative answers to the Moral Uncertainty Question, and show that my preferred answer avoids most of those problems. (shrink)

The controversy over the old ideal of “value-free science” has cooled significantly over the past decade. Many philosophers of science now agree that even ethical and political values may play a substantial role in all aspects of scientific inquiry. Consequently, in the last few years, work in science and values has become more specific: Which values may influence science, and in which ways? Or, how do we distinguish illegitimate from illegitimate kinds of influence? In this paper, I argue that this (...) problem requires philosophers of science to take a new direction. I present two case studies in the influence of values on scientific inquiry: feminist values in archaeology and commercial values in pharmaceutical research. I offer a preliminary assessment of these cases, that the influence of values was legitimate in the feminist case, but not in the pharmaceutical case. I then turn to three major approaches to distinguish legitimate from illegitimate influences of values, including the distinction between epistemic and non-epistemic values and Heather Douglas’ distinction between direct and indirect roles for values. I argue that none of these three approaches gives an adequate analysis of the two cases. In the concluding section, I briefly sketch my own approach, which draws more heavily on ethics than the others, and is more promising as a solution to the current problem. This is the new direction in which I think science and values should move. (shrink)

While a great deal of abuse has been directed at intelligent design theory (ID), its starting point is a fact about biological organisms that cries out for explanation, namely "specified complexity" (SC). Advocates of ID deploy three kind of argument from specified complexity to the existence of a designer: an eliminative argument, an inductive argument, and an inference to the best explanation. Only the first of these merits the abuse directed at it; the other two arguments are worthy of respect. (...) If they fail, it is only because we have a better explanation of SC, namely Darwin's theory of evolution by natural selection. (shrink)

History and the modern sciences are characterized by what is sometimes called a methodological naturalism that disregards talk of divine agency. Some religious thinkers argue that this reflects a dogmatic materialism: a non-negotiable and a priori commitment to a materialist metaphysics. In response to this charge, I make a sharp distinction between procedural requirements and metaphysical commitments. The procedural requirement of history and the sciences—that proposed explanations appeal to publicly-accessible bodies of evidence—is non-negotiable, but has no metaphysical implications. The metaphysical (...) commitment is naturalistic, but is both a posteriori and provisional, arising from the fact that for more than 400 years no proposed theistic explanation has been shown capable of meeting the procedural requirement. I argue that there is nothing to prevent religious thinkers from seeking to overturn this metaphysically naturalistic stance. But in order to do so they would need to show that their proposed theistic explanations are the best available explanations of a range of phenomena. Until this has been done, the metaphysical naturalism of history and the sciences remains defensible. (shrink)

There are cases in which, intuitively, an agent’s action is both morally right in one sense, and morally wrong in another sense. Such cases (along with other intuitions about blameless wrongdoing and action-guidance) support distinguishing between the objective moral ‘ought’ and the subjective moral ‘ought.’ This chapter argues against drawing this distinction, on the grounds that the prescriptions delivered by an adequate objective moral theory must be sensitive to the mental states of agents. Specifically, an adequate theory of the objective (...) moral ‘ought’ must respect a strong ought-implies-can principle—morally ought implies agentially can—in order to prescribe actions to real-life agents. An agent’s mental states determine what is agentially possible for that agent; thus, what an agent objectively morally ought to do is in part determined by the agent’s mental states. This chapter describes the structure of a compelling non-ideal moral theory that is both objective and mental state-sensitive. This non-ideal theory illuminates the shortcomings of extant objectivist and subjectivist moral theories, and illustrates how we can dispense with the subjective moral ‘ought.’. (shrink)

Standard accounts of counterfactuals with metaphysically impossible antecedents take them to by trivially true. But recent work shows that nontrivial countermetaphysicals are frequently appealed to in scientific modeling and are indispensable for a number of metaphysical projects. I focus on three recent discussions of counterpossible counterfactuals, which apply counterpossibles in both scientific and metaphysical modeling. I show that a sufficiently developed modal counterpart theory can provide a semantics for a wide range of counterpossibles without any inconsistent possibilities or other forms (...) of impossible worlds. But such a view faces problems: in order for the metaphysical views I discuss to bear weight, there must be a significant difference between the metaphysical possibilities and impossibilities. I will show how the counterpart-theoretic view delineates the possible from impossible, while still making room for the impossible. (shrink)

A number of recent historians claim to have defeated what they call the ‘conflict thesis’, the idea that there exists some inevitable conflict between Darwinism and Christianity. This is often thought to be part of a broader ‘warfare thesis’, which posits an inevitable conflict between science and religion. But, all they have defeated is one, relatively uninteresting form of this thesis. There remain other forms of the conflict theses that remain entirely plausible, even in light of the historical record.

Theistic evolutionists often suggest that one can reconcile evolutionary theory with biblical teaching. But in fact Christians have accepted Darwinian theory only after reinterpreting the opening chapters of Genesis. Is such a reinterpretation justified? Within Western Christian thought, there exists a hermeneutical tradition that dates back to St Augustine and which offers guidelines regarding apparent conflicts between biblical teaching and natural philosophy (or “science”). These state that the literal meaning of the text may be abandoned only if the natural-philosophical conclusions (...) are established beyond doubt. But no large-scale scientific theory, such as Darwin’s, can claim this degree of certainty. It follows that to justify their reinterpretation of Genesis 1–3, Christians must either argue that the literal sense of the biblical text can be maintained or accept that the Augustinian view of biblical authority is untenable. Three alternative views are discussed: a first that attempts to limit the scope of biblical authority, a second that distinguishes between the Bible and the Word of God, and a third that abandons the idea that religious faith offers certain knowledge. While the third view seems the most defensible, it comes at a cost: the recognition that, as John Locke put it, “reason must be our last judge and guide in everything.”. (shrink)

In his 1615 letter to the Grand Duchess Christina of Lorraine, Galileo argues for a “principle of limitation”: the authority of Scripture should not be invoked in scientific matters. In doing so, he claims to be following the example of St Augustine. But Augustine’s position would be better described as a “principle of differing purpose”: although the Scriptures were not written in order to reveal scientific truths, such matters may still be covered by biblical authority. The Roman Catholic Church has (...) rejected Galileo’s principle, opting rather for Augustine’s, leaving open the possibility of future conflicts between scientists and Church authority. (shrink)

Colin Cheyne has argued that under certain circumstances an internalist or deontological theory of epistemic justification will give rise to a paradox. The paradox, he argues, arises when a principle of epistemic justification is both justifiably believed (in terms of the theory) and false. To avoid this paradox, Cheyne recommends abandoning the principle of justification-transference, which states that acts of believing made on the basis of a justifiably-believed principle are themselves justified. Since such a principle seems essential to any internalist (...) theory of justified believing, internalist theories may also need to be abandoned. I argue that while some theories of epistemic justification may indeed give rise to this paradox, an internalist or deontological theory of subjective justification will avoid it. The reason for this is that a false principle of justified believing does not render acts of believing subjectively unjustified, provided that the agent does not realize that the principle is false. (shrink)

David Friedrich Strauss is best known for his mythical interpretation of the Gospel narratives. He opposed both the supernaturalists (who regarded the Gospel stories as reliable) and the rationalists (who offered natural explanations of purportedly supernatural events). His mythical interpretation suggests that many of the stories about Jesus were woven out of pre-existing messianic beliefs and expectations. Picking up this suggestion, I argue that the Gospel writers thought paradigmatically rather than historically. A paradigmatic explanation assimilates the event-to-be- explained to what (...) is thought to be a prototypical instance of divine action. It differs from a historical or scientific explanation insofar as it does not specify the conditions under which it should be applied. It is, therefore, a wonderfully flexible way to understand the present in the light of the past. (shrink)

Both Wilfrid Sellars and John McDowell reject Kant’s conclusion that the world is fundamentally unknowable, and on similar grounds: each invokes conceptual change, what I call the diachronic instability of a conceptual scheme. The similarities end there, though. It is important to Sellars that the world is only knowable at “the end of inquiry” – he rejects a commonsense realism like McDowell’s for its inability to fully appreciate diachronic instability. To evaluate this disagreement, I consider Timothy Williamson’s argument that the (...) knowability thesis, as it rules out “elusive objects”, is problematically idealistic. I argue that McDowell’s insistence on diachronic instability suffices to address Williamson’s worry, and as such that his reply ought to be available to Sellars too. That Sellars would instead invoke the end of inquiry suggests it is he who underestimates the ineliminability of conceptual change. (shrink)

In this paper I discuss critically Richard Swinburne’s concept of God, which I find to be incoherent, and his understanding of Christianity, which I find to be based on a precritical use of the New Testament.

This paper considers the obligation higher income countries have to lower and middle income countries during a global pandemic. Further considers which reforms are needed to the global supply-chain of medical resources. The short-comings in distribution and medical infrastructure have exacerbated the health crisis in developing countries. Global justice demands radical redistribution of medical resources in order to prevent mass casualties. This is argued first by highlighting that the COVID-19 pandemic should be acknowledged as an issue of global justice, secondly, (...) higher income countries ought to account for distribution inequity as a matter of rectifying past injustices, and thirdly argue for reform in distribution while considering the vaccine rollout as a prime example. We aim to show how the differences from country to country in response capabilities are a result of the economic foundation colonialism established and a direct result of cyclical poverty, which wealthy countries perpetuate to this day. (shrink)

Reductionist accounts of objective chance rely on a notion of fit, which ties the chances at a world to the frequencies at that world. Here, I criticize extant measures of the fit of a chance system and draw on recent literature in epistemic utility theory to propose a new model: chances fit a world insofar as they are accurate at that world. I show how this model of fit does a better job of explaining the normative features of chance, its (...) role in the laws of nature, and its status as an expert function than do previous accounts. (shrink)

The context for biological emergence is modular hierarchical structures; their existence is what enables functional complexity to arise. Because of the openness of organisms to their environment, complete initial data (position, momentum) of all particles making up their structure is insufficient to determine future outcomes, because unpredictable new matter, energy, and information impacts each organism from the exterior. Consequently, through Darwinian evolution, life has developed processes to handle this issue functionally on short time scales as well on longer developmental timescales. (...) Symbolism and technology are the transforming factors handling this issue at the social levels, which is where the most sophisticated outcomes of openness occur. Considering the cosmological context, the issue is, should the universe itself be regarded as an open system over time? I make the case that is indeed so, because radically new outcomes occur such as the existence of aircraft, iPads, and the internet, which could not plausibly have been encoded in some form of data on the Last Scattering Surface in the expanding universe. (shrink)

Sean McKeever and Michael Ridge object that moral particularism ‘flattens the moral landscape’, that is, that particularism treats reasons of different kinds as if they were reasons of the same kind. This objection is misguided in two respects. First, particularists need not say that every feature can be a moral reason. Second, even if particularists were committed to saying that every feature can be a moral reason, they would still not be committed to the view that every feature can have (...) direct moral relevance. The failure of this objection shows that the objection exploits side-constraints that need not be placed on moral particularism. (shrink)

"Translating Key Terms Terms in Lu Cheng's Records in the Chuan xi lu: Some Preliminary Considerations" Draft paper for the 2024 Conference on [Wang] Yangming's Learning of Mind, Shaoxing, Zhejiang. Updated October 4, 2024. The final version will appear in the conference volume. -/- Criticism and suggestions welcome. Please do email.

For a long time critics of modern and postmodern art have relied on the "Isn't that disgusting" strategy. By that I mean the strategy of pointing out that given works of art are ugly, trivial, or in bad taste, that "a five-year-old could have made them," and so on. And they have mostly left it at that. The points have often been true, but they have also been tiresome and unconvincing—and the art world has been entirely unmoved. -/- Of course, (...) the major works of the twentieth-century art world are ugly. Of course, many are offensive. Of course, a five-year old could in many cases have made an indistinguishable product. Those points are not arguable—and they are entirely beside the main question. The important question is: Why has the art world of the twentieth-century adopted the ugly and the offensive? Why has it poured its creative energies and cleverness into the trivial and the self-proclaimedly meaningless? (shrink)

Nie Bao 聶豹 (1487–1563) was a Neo-Confucian philosopher and scholar-official of sixteenthcentury Ming China. In his Ming ru xue an 明儒學案 (Case studies of Ming Confucians), Huang Zongxi 黃宗羲 placed him in the Jiangxi (Jiangyou 江右) group of Wang Yangming followers. Nie Bao met the influential founder of the Ming School of Mind in 1526 and was inspired by his teaching of the innate knowing (liangzhi 良知). However, he differed from other followers in his quietist approach to realizing and extending (...) this knowledge. While developing his ideas over the course of two decades, as a holder of the highest civil service examination degree, Nie Bao also held a series of impactful official positions, and earned a reputation for effectiveness and integrity. However, he was also the unwitting victim of factionalism at the Ming court, which led to his imprisonment in 1548. The goal of this article is to provide a sketch of Nie Bao’s political trajectory and intellectual development from his early years until his imprisonment, as well as translation of significant passages pertaining to that trajectory and development. By the time of his imprisonment, Nie Bao had articulated the essential elements of his philosophy of returning to the root (by which he meant silence), and attaining centeredness and, with that, his unique interpretation of his teacher’s central tenet. (shrink)

Philosophers of science often make reference — whether tacitly or explicitly — to the notion of a scientific community. Sometimes, such references are useful to make our object of analysis tractable in the philosophy of science. For others, tracking or understanding particular features of the development of science proves to be tied to notions of a scientific community either as a target of theoretical or social intervention. We argue that the structure of contemporary scientific research poses two unappreciated, or at (...) least underappreciated, challenges to this concept of the “scientific community” in the philosophy of science. In particular, we will present two case studies from robotics research, broadly construed, which show that (1) the boundedness of the scientific community is threatened when private citizens can develop scientific and technological advances at minimal expense (democratization), and (2) the discreteness of scientific research programs is threatened by the complexly interrelated environment of contemporary scientific work (interconnectivity). Taken together, the extent of democratization and interconnectivity present a significant challenge for any practically oriented philosophy of science, one which we hope will be taken on directly by philosophers in the future. (shrink)

My dissertation combines philosophy of science and political philosophy. Drawing directly on the work of Alasdair MacIntyre and inspired by John Dewey, I develop two rival conceptions of scientific practice. I show that these rivals are closely linked to the two basic sides in the science and values debate -- the debate over the extent to which ethical and political values may legitimately influence scientific inquiry. Finally, I start to develop an account of justice that is sensitive to these legitimate (...) and illegitimate influences. (shrink)

The paper begins with a clarification of the notions of intuition (and, in particular, modal intuition), modal error, conceivability, metaphysical possibility, and epistemic possibility. It is argued that two-dimensionalism is the wrong framework for modal epistemology and that a certain nonreductionist approach to the theory of concepts and propositions is required instead. Finally, there is an examination of moderate rationalism’s impact on modal arguments in the philosophy of mind -- for example, Yablo’s disembodiment argument and Chalmers’s zombie argument. A less (...) vulnerable style of modal argument is defended, which nevertheless wins the same anti-materialist conclusions sought by these other arguments. (shrink)

In this paper, I argue that the Genealogy of Morals is, in part, a work of philosophical therapy. First, I provide an account of philosophical therapy by turning to the Hellenistics, for whom philosophical therapy begins with the diagnosis of some widespread cultural problem. I then turn in more detail to Nietzsche, arguing that the Genealogy does therapeutic work similar to the work of the Hellenistics. In particular, I examine Nietzsche’s claim that modern thinking has fallen prey to what he (...) calls the ‘ascetic ideal’; I interpret this claim as diagnosis, and I interpret the work of Essay Three as providing therapy for that diagnosis. The rest of the paper considers how this therapy unfolds for the three major ‘types’ that Nietzsche identifies in Essay Three: the artist, the philosopher, and the priest. Finally, I return to the Hellenistics to re-evaluate both their therapeutic projects and Nietzsche’s in light of the notion of self-cultivation. (shrink)

This paper provides a defense of two traditional theses: the Autonomy of Philosophy and the Authority of Philosophy. The first step is a defense of the evidential status of intuitions (intellectual seemings). Rival views (such as radical empiricism), which reject the evidential status of intuitions, are shown to be epistemically self-defeating. It is then argued that the only way to explain the evidential status of intuitions is to invoke modal reliabilism. This theory requires that intuitions have a certain qualified modal (...) tie to the truth. This result is then used as the basis of the defense of the Autonomy and Authority theses. The paper closes with a defense of the two theses against a potential threat from scientific essentialism. (shrink)

Radical empiricism is the view that a person's experiences (sensory and introspective), or a person's observations, constitute the person's evidence. This view leads to epistemic self-defeat. There are three arguments, concerning respectively: (1) epistemic starting points; (2) epistemic norms; (3) terms of epistemic appraisal. The source of self-defeat is traced to the fact that empiricism does not count a priori intuition as evidence (where a priori intuition is not a form of belief but rather a form of seeming, specifically intellectual (...) as opposed to sensory). Moderate rationalism, by contrast, avoids self-defeat. (shrink)

Social scientists, political scientists and philosophers debate key concepts such as democracy, power and autonomy. Contested concepts like these pose questions: Are terms such as “democracy” hopelessly ambiguous? How can two theorists defend alternative accounts of democracy without talking past each other? How can we understand debates in which theorists disagree about what democracy is? This paper first discusses the popular strategy to answer these questions by appealing to Rawls’s distinction between concepts and conceptions. According to this approach, defenders of (...) rival conceptions of, e.g. justice can disagree without talking past each other because they share the concept of justice. It is argued that this idea is attractive but limited in application and that it fails to do justice to the dynamic and normative aspects of concept formation. Reflective equilibrium is then suggested as an alternative approach. It replaces the static contrast between a conceptual ‘core’ and competing conceptions by a dynamic perspective of concept formation as a partly normative undertaking: pre-theoretic language use and commitments can provide a shared starting point for developing alternative accounts which yield different concepts of, e.g. justice. This perspective provides a new understanding of how it is possible that different theorists defend rival accounts of, e.g. justice, without talking past each other. (shrink)

Logik ist nach dem traditionellen Verständnis eine ars iudicandi, eine Kunst, die Gültigkeit von Schlüssen zu prüfen. Da mit die normalen Mittel der modernen Logik zu diesem Zweck eingesetzt werden können, müssen erst Formeln an die Stelle von Sätzen treten: umgangssprachliche Schlüsse müssen adäquat formalisiert werden. Die richtige Formel entwickelt ein theoretisches Konzept des Formalisierens und praktisch anwendbare Adäquatheitskriterien für Formalisierungen. Dabei werden zentrale Fragen der Philosophie der Logik unter dem Gesichtspunkt des Zusammenspiels von Umgangssprache und Formalismus untersucht. Die ausführliche (...) und systematische Diskussion von Formalisierungstests bietet eine wichtige Ergänzung zu den traditionellen Logiklehrbüchern. (shrink)

This paper constructs a model of metaphysical indeterminacy that can accommodate a kind of ‘deep’ worldly indeterminacy that arguably arises in quantum mechanics via the Kochen-Specker theorem, and that is incompatible with prominent theories of metaphysical indeterminacy such as that in Barnes and Williams (2011). We construct a variant of Barnes and Williams's theory that avoids this problem. Our version builds on situation semantics and uses incomplete, local situations rather than possible worlds to build a model. We evaluate the resulting (...) theory and contrast it with similar alternatives, concluding that our model successfully captures deep indeterminacy. (shrink)

Scientific essentialism is the view that some necessities can be known only with the aid of empirical science. The thesis of the paper is that scientific essentialism does not extend to the central questions of philosophy and that these questions can be answered a priori. The argument is that the evidence required for the defense of scientific essentialism is reliable only if the intuitions required by philosophy to answer its central questions is also reliable. Included is an outline of a (...) modal reliabilist theory of basic evidence and a concept-possession account of the reliability of a priori intuition. (shrink)

Recent work in philosophy of language has raised significant problems for the traditional theory of propositions, engendering serious skepticism about its general workability. These problems are, I believe, tied to fundamental misconceptions about how the theory should be developed. The goal of this paper is to show how to develop the traditional theory in a way which solves the problems and puts this skepticism to rest. The problems fall into two groups. The first has to do with reductionism, specifically attempts (...) to reduce propositions to extensional entities-either extensional functions or sets. The second group concerns problems of fine grained content-both traditional 'Cicero'/'Tully' puzzles and recent variations on them which confront scientific essentialism. After characterizing the problems, I outline a non-reductionist approach-the algebraic approach-which avoids the problems associated with reductionism. I then go on to show how the theory can incorporate non-Platonic (as well as Platonic) modes of presentation. When these are implemented nondescriptively, they yield the sort of fine-grained distinctions which have been eluding us. The paper closes by applying the theory to a cluster of remaining puzzles, including a pair of new puzzles facing scientific essentialism. (shrink)

Reflections and projections upon the history of ontology and its meaning for the future of philosophy.

We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x ⊧ ⍯φ (...) iff Vy(y ≠ x → y ⊧ φ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in ℒ $_{c}$ . Strong completeness of the normal ℒ $_{c}$ logics is proved with respect to models in which all worlds are named. Every ℒ $_{c}$ -logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from ℒ to ℒ $_{c}$ are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched. (shrink)

The paper elaborates upon various points and arguments in the author’s “A Priori Knowledge and the Scope of Philosophy” (Philosophical Studies, 1993), in which the author defends the autonomy of philosophy from the empirical sciences. It provides, for example, an extended defense of the modal reliabilist theory of basic evidence, including a new argument against evolutionary explanations of the reliability of intuitions. It also contains a fuller discussion of how to neutralize the threat of scientific essentialism to the autonomy of (...) philosophy. (shrink)

While it is widely agreed that Hegel’s philosophy is a philosophy of freedom, the significance and scope of Hegel’s theory of freedom is disputed. Most scholarly work on this topic has been devoted to the socio-political philosophy of the Philosophy of Right. But Hegel also speaks of freedom in a way which extends beyond the concerns of his socio-political thought. This dissertation demonstrates how Hegel’s theory of freedom is more fully grasped when it is understood as a comprehensive philosophy which (...) also involves an ontology (a logic of being) and a phenomenology (a direct experience of this logic). The free state which Hegel outlines in the Philosophy of Right is still only a limited manifestation of a freedom which also pervades other aspects of human experience. A way of thinking which is “free” (in the sense that it does not restrict itself by assuming false methodological limitations) is itself essential to our capacity for rational self-determination. Moreover, this “speculative” perspective has only been achieved through the gradual cultivation (Bildung) of the free personality throughout history. -/- This dissertation therefore investigates why Hegel thinks that freedom is at issue in abstract philosophical thought (in his logical works) as well as in concrete historical phenomena (in the Phenomenology of Spirit). This logic and appearance of freedom explicates Hegel’s statement in the Preface of the Phenomenology that the absolute is not only substance, but also subject. Having shown that both the ancient freedom of the “social substance” and the modern freedom of the “pure I” are untenable on their own terms, Hegel advances a logical and phenomenological theory of freedom in which these one-sided truths are reconciled with each other. The “substantial subject” of Hegelian freedom more fully actualizes the purely subjective freedom of the Enlightenment, enabling true individual self-determination. Freedom appears not just as the right to make arbitrary choices, but as substantial thought and conviction. (shrink)

Functionalism would be mistaken if there existed a system of deviant relations (an “anti-mind”) that had the same functional roles as the standard mental relations. In this paper such a system is constructed, using “Quinean transformations” of the sort associated with Quine’s thesis of the indeterminacy of translation. For example, a mapping m from particularistic propositions (e.g., that there exists a rabbit) to universalistic propositions (that rabbithood is manifested). Using m, a deviant relation thinking* is defined: x thinks* p iff (...) x thinks m(p). Such deviant relations satisfy the commonly discussed functionalist psychological principles. Finally, a more complicated system of deviant relations is constructed, one satisfying sophisticated principles dealing with the self-conscious rational mind. (shrink)

Presented here is an argument for the existence of universals. Like Church's translation- test argument, the argument turns on considerations from intensional logic. But whereas Church's argument turns on the fine-grained informational content of intensional sentences, this argument turns on the distinctive logical features of 'that'-clauses embedded within modal contexts. And unlike Church's argument, this argument applies against truth-conditions nominalism and also against conceptualism and in re realism. So if the argument is successful, it serves as a defense of full (...) ante rem realism. The argument emphasizes the need for a unified treatment of intensional statements -- modal statements as well as statements of assertion and belief. The larger philosophical moral will be that ante rem universals are uniquely suited to carry a certain kind of modal information. Linguistic entities, mind-dependent universals, and instance-dependent universals are incapable of serving that function. (shrink)

It is argued that, because of scientific essentialism, two currently popular arguments against the mind-body identity thesis -- the multiple-realizability argument and the Nagel-Jackson knowledge argument -- are unsatisfactory as they stand and that their problems are incurable. It is then argued that a refutation of the identity thesis in its full generality can be achieved by weaving together two traditional Cartesian arguments -- the modal argument and the certainty argument. This argument establishes, not just the falsity of the identity (...) thesis, but also the metaphysical possibility of disembodiment. (shrink)

My aim in this paper is to show how the functionalist standards assumed in the AI debate are, in fact, the assumptions of a capitalist, ableist society writ large. The already established argument against the proposed humanity of AI systems implies a wider critique of the entire ideology of functionalism under which the notion of intelligent machines has taken root.

The field of AI has undergone a series of transformations, each marking a new phase of development. The initial phase emphasized curation of symbolic models which excelled in capturing reasoning but were fragile and not scalable. The next phase was characterized by machine learning models—most recently large language models (LLMs)—which were more robust and easier to scale but struggled with reasoning. Now, we are witnessing a return to symbolic models as complementing machine learning. Successes of LLMs contrast with their inscrutability, (...) inaccuracy, and hallucinations, which underwrite concerns over the reliability and trustworthiness of these systems, motivating investigations into commonsense reasoning, AI explainability, and formal verification techniques. Moreover, proper assessments of hybrid machine learning/symbolic systems require novel strategies to facilitate comparisons of performance and guide future AI progress. The EDGeS AAAI 2023 Spring symposium brought together researchers focusing on novel assessments and benchmarks for evaluating hybrid and artificial general intelligence (AGI) systems. This symposium revealed what was already suspected: research concerning evaluation of machine learning/symbolic hybrids and AGI is, unfortunately, lacking. Even so, the discussion was fruitful. (shrink)

This paper provides a new approach to a family of outstanding logical and semantical puzzles, the most famous being Frege's puzzle. The three main reductionist theories of propositions (the possible-worlds theory, the propositional-function theory, the propositional-complex theory) are shown to be vulnerable to Benacerraf-style problems, difficulties involving modality, and other problems. The nonreductionist algebraic theory avoids these problems and allows us to identify the elusive nondescriptive, non-metalinguistic, necessary propositions responsible for the indicated family of puzzles. The algebraic approach is also (...) used to defend antiexistentialism against existentialist prejudices. The paper closes with a suggestion about how this theory of content might enable us to give purely semantic (as opposed to pragmatic) solutions to the puzzles based on a novel formulation of the principle of compositionality. (shrink)

The paper begins with an argument against eliminativism with respect to the propositional attitudes. There follows an argument that concepts are sui generis ante rem entities. A nonreductionist view of concepts and propositions is then sketched. This provides the background for a theory of concept possession, which forms the bulk of the paper. The central idea is that concept possession is to be analyzed in terms of a certain kind of pattern of reliability in one’s intuitions regarding the behavior of (...) the concept. The challenge is to find an analysis that is at once noncircular and fully general. Environmentalism, anti-individualism, holism, analyticity, etc. provide additional hurdles. The paper closes with a discussion of the theory’s implications for the Wittgenstein-Kripke puzzle about rule-following and the Benacerraf problem concerning mathematical knowledge. (shrink)

In _The Origin of Consciousness in the Breakdown of the Bicameral Mind_, Julian Jaynes presents a philosophy of mind with radical implications for contemporary discussions about artificial intelligence (AI). The ability of AI to replicate the cognitive functions of human consciousness has led to widespread speculation that AI is itself conscious (or will eventually become so). Against this functionalist theory of mind, Jaynes argues that consciousness only arises through the mythopoetic inspiration of metaphorical language. Consciousness develops and enacts new forms (...) of self-understanding, continually evolving new "metaphors of mind," metaphors which must now account for the emergence of AI. (shrink)

This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close of (...) the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula. (shrink)

Humean accounts of chance have a problem with undermining futures: they have to accept that some series of events are physically possible and have a nonzero chance but are inconsistent with the chances being what they are. This contradicts basic platitudes about chances (such as those given by Bigelow et al. (1993) and Schaffer (2007)) and leads to inconsistency between plausible constraints on credences. We show how Humeans can avoid these contradictions by drawing on metaphysically impossible worlds that are, nevertheless, (...) scientifically possible. One major advantage of our approach is that one single move deals with these both problems, whereas previous Humean approaches to undermining (such as that given by Lewis (1994), Thau (1994), and Hall (1994)) have only addressed the connection between credence and chance. Furthermore, our approach connects more closely with the way we employ stochastic scientific theories. And it’s part of a unified solution to other challenges that the Humean faces. (shrink)