Most accounts of cognitive scaffolding focus on ways that external structure can support or augment an agent’s cognitive capacities. We call cases where the interests of the user are served benign scaffolding and argue for the possibility and reality of hostile scaffolding. This is scaffolding which depends on the same capacities of an agent to make cognitive use of external structure as in benign cases, but that undermines or exploits the user while serving the interests of another agent. We develop (...) criteria for scaffolding being hostile and show by reference to examples including the design features of electronic gambling machines and casino management systems that hostile scaffolding exists and can be highly effective. In cases where the scaffolding is deep and permits the offloading of significant cognitive work, hostile scaffolding exploitatively manipulates cognitive processing itself. Given the extent of human reliance on scaffolding this is an important and neglected vulnerability. [This is an updated version of the paper, added in February 2023.]. (shrink)

Cognitive scaffolding refers to external structures that change the cognitive demands of tasks. This dissertation begins by reviewing the literature around scaffolding—discussing key thinkers such as Hutchins (1995a), Clark (1997) and Sterelny (2003, 2010). I then develop the above scaffolding characterisation by drawing a distinction between shallow and deep scaffolding. Shallow scaffolding primarily involves cues, whereas deep scaffolding involves the significant offloading of cognitive work. By appealing to the complementarity thesis, I show that deep scaffolds can be explained through a (...) model of cognitive extension (Menary, 2006; Sutton, 2010). Most crucially, despite the abundance of benign/ neutral examples in the literature, I argue that scaffolding can also be ‘hostile’ to agents’ interests—benefitting one agent while undermining another. I draw on Sterelny (2003) to clarify my use of the word ‘hostile’ and also specify what I mean by ‘interests’. I then review authors with similar concerns to my own—i.e., the lack of discussion around external structures that negatively impact agents (Aagaard, 2020; Liao & Huebner, 2020; Slaby, 2016). Despite these authors’ concerns, the idea of ‘hostile scaffolding’ is not quite reached. I then present examples of shallow hostile scaffolding by reviewing how sunglasses (Viola, 2022) and casino interior design and ambience (Friedman, 2000; Schüll, 2012) can be hostile. Most importantly, I show that deep hostile scaffolding is a genuine concern (and not only a theoretical one) by reviewing gambling machines that use player tracking systems and virtual reel mapping (Schüll, 2012), as well as Twitter’s use of gamification (Nguyen, 2021). I close the dissertation by discussing avenues for future hostile scaffolding research. This includes the ethical implications deep hostile scaffolding, scaffolding’s role in forming addictive behavior, other instance of gamification, ‘racist scaffolding’, and hostile scaffolding in developing technologies (such as VR, dark patterns and AI). (shrink)

In this article, robust evidence is provided showing that an individual’s moral character can contribute to the aesthetic quality of their appearance, as well as being beautiful or ugly itself. It is argued that this evidence supports two main conclusions. First, moral beauty and ugliness reside on the inside, and beauty and ugliness are not perception-dependent as a result; and, second, aesthetic perception is affected by moral information, and thus moral beauty and ugliness are on the outside as well.

I offer the first sustained defence of the claim that ugliness is constituted by the disposition to disgust. I advance three main lines of argument in support of this thesis. First, ugliness and disgustingness tend to lie in the same kinds of things and properties (the argument from ostensions). Second, the thesis is better placed than all existing accounts to accommodate the following facts: ugliness is narrowly and systematically distributed in a heterogenous set of things, ugliness is sometimes enjoyed, and (...) ugliness sits opposed to beauty across a neutral midpoint (the argument from proposed intensions). And third, ugliness and disgustingness function in the same way in both giving rise to representations of contamination (the argument from the law of contagion). In making these arguments, I show why prominent objections to the thesis do not succeed, cast light on some of the artistic functions of ugliness, and, in addition, demonstrate why a dispositional account of disgustingness is correct, and present a novel problem for warrant-based accounts of disgustingness (the ‘too many reasons’ problem). (shrink)

Which traits are beautiful? And is their beauty perceptual? It is argued that moral virtues are partly beautiful to the extent that they tend to give rise to a certain emotion— ecstasy—and that compassion tends to be more beautiful than fair-mindedness because it tends to give rise to this emotion to a greater extent. It is then argued, on the basis that emotions are best thought of as a special, evaluative, kind of perception, that this argument suggests that moral virtues (...) are partly beautiful to the extent that they tend to give rise to a certain kind of evaluative perceptual experience. (shrink)

In recent work, Robert Brandom has articulated important connections between the deontic normative statuses of entitlement and commitment and the alethic modal statuses of possibility and necessity. In this paper, I articulate an until now unexplored connection between Brandom’s core normative statuses of entitlement and commitment and the agentive modal statuses of ability and compulsion. These modals have application not only in action, but also in perception and inference, and, in both of these cases, there is a direct mapping between (...) the normative statuses that one bears towards various claims, articulated from the perspective of the attributor of commitments and entitlements, and the agentive modal statuses that one bears towards various judgments, articulated from the perspective of the undertaker of commitments. I will highlight this correspondence, focusing on the case of perception, and show how it sheds light on the account of mindedness that emerges from Brandom’s theory of discursive practice. (shrink)

The puzzle of petitionary prayer: if we ask for the best thing, God was already going to do it, and if we ask for something that's not the best, God's not going to grant our request. In this paper, we give a new solution to the puzzle.

In this article, I present a novel argument against abortion. In short, what makes it wrong to kill someone is that they are a counterfactual person; counterfactual persons are individuals such that, were they not killed, they would have been persons. My view accommodates two intuitions which many views concerning the wrongness of killing fail to account for: embryo rescue cases and the impermissibility of infanticide. The view avoids embryo rescue cases because embryos in the rescue scenarios are not counterfactual (...) people: they are not counterfactual people because it is false to say that, were they not killed, they would have been persons. As a result, it does not follow from my account that there is a prohibition against allowing embryos to die. On the other hand, infants are counterfactual people: an infant is an individual such that, were she not killed, she would have been a person. (shrink)

I argue that the main existing accounts of the relationship between the beauty of environmental entities and their moral standing are mistaken in important ways. Beauty does not, as has been suggested by optimists, confer intrinsic moral standing. Nor is it the case, as has been suggested by pessimists, that beauty at best provides an anthropocentric source of moral standing that is commensurate with other sources of pleasure. I present arguments and evidence that show that the appreciation of beauty tends (...) to cause a transformational state of mind that is more valuable than mere pleasure, but that leads us to falsely represent beautiful entities as being sentient and, in turn, as having intrinsic moral standing. To this extent, beauty is not, then, a source of intrinsic moral standing; it’s a source of a more important anthropocentric value than has hitherto been acknowledged. (shrink)

Coronavirus disease 2019 can lead to respiratory failure. Some patients require extracorporeal membrane oxygenation support. During the current pandemic, health care resources in some cities have been overwhelmed, and doctors have faced complex decisions about resource allocation. We present a case in which a pediatric hospital caring for both children and adults seeks to establish guidelines for the use of extracorporeal membrane oxygenation if there are not enough resources to treat every patient. Experts in critical care, end-of-life care, bioethics, and (...) health policy discuss if age should guide rationing decisions. (shrink)

“Christianity is a μίμησις of the divine nature.” This definition of what it means to be a Christian, given by St Gregory of Nyssa in his letter De pro- fessione Christiana, employs a term commonly translated as “imitation” or “representation.” Even a brief study of some of the seminal sources of classical Greek thought, however, will show that the concept of mimesis surpasses any of these translations and effortlessly crosses the boundaries of the sphere of aesthetics, towards the fundamental questions (...) of epistemology, metaphysics, ontology, and ethics. An analysis of Gregory’s letter, together with the related treatise De perfectione, will then show his nuanced familiarity with the subtleties of mimesis, which he consciously employs to arrive at his definition of Christianity. With this in hand, I will argue that even some of Gregory’s most perplexing scriptural exegesis in his homilies on the Song of Songs grows out of his coherent concept of mimesis, which ultimately is of fundamental importance to Gregory’s anthropology, cosmology, and Christology. (shrink)

Why must incompatibility be symmetric? An odd question, but recent work in the semantics of non-classical logic, which appeals to the notion of incompatibility as a primitive and defines negation in terms of it, has brought this question to the fore. Francesco Berto proposes such a semantics for negation argues that, since incompatibility must be symmetric, double negation introduction must be a law of negation. However, he offers no argument for the claim that incompatibility really must be symmetric. Here, I (...) provide such an argument, showing that, insofar as we think of incompatibility in normative pragmatic terms, it can play its basic pragmatic function only if it is symmetric. The upshot is that we can vindicate Berto’s claim about the symmetry of incompatibility but only if we, pace Berto, think about incompatibility, in the first instance, as a pragmatic relation between acts rather than a semantic relation between contents. (shrink)

Michael Ryan's Literary Theory: A Practical Introduction, Second Edition introduces students to the full range of contemporary approaches to the study of literature and culture, from Formalism, Structuralism, and Historicism to Ethnic Studies, Gender Studies, and Global English. Introduces readings from a variety of theoretical perspectives, on classic literary texts. Demonstrates how the varying perspectives on texts can lead to different interpretations of the same work. Contains an accessible account of different theoretical approaches An ideal resource for use in (...) introductory courses on literary theory and criticism. Designed to function both as a stand-alone text and a companion to Rivkin and Ryan’s Literary Theory: An Anthology, Second Edition. (shrink)

This paper focuses on a recently articulated, emergentist conception of ethical naturalism and its commitment to causal efficacy, or the idea that moral properties have causal powers, along with its supporting commitment to moral causation. After I reconstruct the theory, I explain how it offers some interesting theoretical benefits to moral realists in virtue of its commitment to causal efficacy. Then, after locating some examples of moral causation in support of this commitment, I present and respond to five objections to (...) such causation, which all threaten to undermine this support. Lastly, I consider a very serious problem that the theory faces in virtue of positing emergent moral properties as responsible for moral causation – namely, the problem of downward moral causation. I describe this problem in detail and argue that, as it stands, it does not spell doom for the theory. (shrink)

Bioethics, Volume 36, Issue 1, Page 54-62, January 2022.

In this article, an account of the architecture of the cognitive contamination system is offered, according to which the contamination system can generate contamination represen- tations in circumstances that do not satisfy the norms of contamination, including in cases of mere visual contact with disgusting objects. It is argued that this architecture is important for explaining the content, logic, distribution, and persistence of maternal impression beliefs – according to which fetal defects are caused by the pregnant mother’s experiences and actions (...) – which in turn provide important evidence of the architecture of the cognitive contamination system. (shrink)

How should we understand the Confucian doctrine of the rectification of names (zhengming): what does it mean that an object’s name must be in accordance with its reality, and why does it matter? The aim of this paper is to answer this question by advocating a novel interpretation of the later Confucian, Xunzi’s account of the doctrine. Xunzi claims that sage-kings ascribe names and values to objects by convention, and since they are sages, they know the truth. When we misuse (...) names, we are departing from a sagely convention of naming. As sagely convention determines moral truth, departure from the linguistic convention of the sages is a departure from moral truth. On my interpretation of Xunzi, the rectification of names is not a doctrine about what is true, but a doctrine about how we aim at truth. We are aiming at descriptive truth when our language conforms to the correct name of an object according to what I call ‘Confucian conventionalism’. When we correctly aim at descriptive truth we can aim at moral truth. Therefore, I claim that the doctrine of the rectification of names is concerned with discerning the literal accordance of language with an object (what is descriptively, linguistically true), to determine what is normatively, or morally, true. According to Xunzi, moral truth is grounded in linguistic truth. (shrink)

It is widely held that agent-neutral consequentialism is incompatible with deontic constraints. Recently, Kieran Setiya has challenged this orthodoxy by presenting a form of agent-neutral consequentialism that he claims can capture deontic constraints. In this reply, we argue against Setiya's proposal by pointing to features of deontic constraints that his account fails to capture.

This paper develops a novel problem for representationalism (also known as "intentionalism"), a popular contemporary account of perception. We argue that representationalism is incompatible with supervaluationism, the leading contemporary account of vagueness. The problem generalizes to naive realism and related views, which are also incompatible with supervaluationism.

Business and Economic textbooks warn against committing the Sunk Cost Fallacy: you, rationally, shouldn't let unrecoverable costs influence your current decisions. In this paper, I argue that this isn't, in general, correct. Sometimes it's perfectly reasonable to wish to carry on with a project because of the resources you've already sunk into it. The reason? Given that we're social creatures, it's not unreasonable to care about wanting to act in such a way so that a plausible story can be told (...) about you according to which your diachronic behavior doesn't reveal that you've suffered, what I will call, diachronic misfortune. Acting so as to hide that you've suffered diachronic misfortune involves striving to make yourself easily understood while disguising any shortcomings that might damage your reputation as a desirable teammate. And making yourself easily understood to others while hiding your flaws will, sometimes, put pressure on you to honor sunk costs. (shrink)

Let’s say that you regard two things as on a par when you don’t prefer one to other and aren’t indifferent between them. What does rationality require of you when choosing between risky options whose outcomes you regard as on a par? According to Prospectism, you are required to choose the option with the best prospects, where an option’s prospects is a probability-distribution over its potential outcomes. In this paper, I argue that Prospectism violates a dominance principle—which I call The (...) Principle of Predominance—because it sometimes requires you to do something that’s no better than the alternatives and might be worse. I argue that this undermines the strongest argument that’s been given in favor of Prospectism. (shrink)

In her paper, “The cost of conscience: Kant on conscience and conscientious objection,” Jeanette Kennett argues that a Kantian view of conscientious objection in medicine would bar physicians from refusing to perform certain practices based on conscience. I offer a response in the following manner: First, I reconstruct her main argument; second, I present a more accurate picture of Kant’s view of conscience. I conclude that, given a Kantian framework, a physician should be allowed to refuse to perform practices that (...) break the moral law and, thus, refuse practices that violate her conscience. (shrink)

According to existing accounts of indicative conditionals, any argument of the following form is valid: ϕ → ψ, ( ϕ ∧ ψ ) → χ ∴ ϕ → χ. Here, I present a set of counterexamples to show that there exist invalid arguments of this form. I argue that this data poses serious problems to variably strict accounts of conditionals, as such accounts are structurally unable to accommodate it. Dynamic strict accounts, however, are a different story. While existing dynamic strict (...) accounts do not accommodate the data, they are in principle able to, and I propose a modified dynamic strict account, drawing from von Fintel, that does. The key modification is this: whereas existing dynamic strict accounts take into account only the effects of conditional antecedents in changing the semantic context, the data shows that we must also take into account the effects of conditional consequents in changing the semantic context. (shrink)

It is common in metaethics today to draw a distinction between “naturalist” and “non-naturalist” versions of moral realism, where the former view maintains that moral properties are natural properties, while the latter view maintains that they are non-natural properties instead. The nature of the disagreement here can be understood in different ways, but the most common way is to understand it as a metaphysical disagreement. In particular, the disagreement here is about the reducibility of moral properties, where the “naturalists” maintain (...) that moral properties are in some way reducible to the lower-level natural properties on which they supervene, while the “non-naturalists” maintain that moral properties are sui generis and robustly irreducible. In this paper I present a novel version of realist ethical naturalism—a view that I call Emergentist Ethical Naturalism—that reveals this common way of understanding the distinction between naturalism and non-naturalism to be flawed by combining a commitment to ethical naturalism with a commitment to the sui generis and robustly irreducible nature of moral properties that typically defines non-naturalism. Then, after presenting the theory and addressing a few worries that one might have about it, I show how it offers some novel, emergence-based responses to the various supervenience challenges that plague moral realism and thereby gives the ethical naturalist a robustly non-reductive option for dealing with these challenges. (shrink)

Luck egalitarians argue that distributive justice should be understood in terms of our capacity to be responsible for our choices. Both proponents and critics assume that the theory must rely on a comprehensive conception of responsibility. I respond to luck egalitarianism’s critics by developing a political conception of responsibility that remains agnostic on the metaphysics of free choice. I construct this political conception by developing a novel reading of John Rawls’ distinction between the political and the comprehensive. A surprising consequence (...) is that many responsibility-based objections to luck egalitarianism turn out to be objections to Rawls’ political liberalism as well. (shrink)

If Large Language Models can make real scientific contributions, then they can genuinely use language, be systematically wrong, and be held responsible for their errors. AI models which can make scientific contributions thereby meet the criteria for scientific authorship.

When you are indifferent between two options, it’s rationally permissible to take either. One way to decide between two such options is to flip a fair coin, taking one option if it lands heads and the other if it lands tails. Is it rationally permissible to employ such a tie-breaking procedure? Intuitively, yes. However, if you are genuinely risk-averse—in particular, if you adhere to risk-weighted expected utility theory (Buchak in Risk and rationality, Oxford University Press, 2013) and have a strictly (...) convex risk-function—the answer will often be no: the REU of deciding by coin-flip will be lower than the REU of choosing one of the options outright (so long as at least one of the options is a nondegenerate gamble). This turns out to be a significant worry for risk-weighted expected utility theory. I argue that it adds real bite to established worries about diachronic consistency afflicting views, like risk-weighted expected utility theory, that violate Independence. And that, while these worries might be surmountable, surmounting them comes at a price. (shrink)

Are mandatory lockdown measures, which place restrictions on one’s freedom to move and assemble, justifiable? Offhand, such measures appear to compromise important rights to secure goals of public health. Proponents of such measures think the trade-off is worth it; opponents think it isn’t. However, one might think that casting the debate in these terms concedes too much to the opponents. Mandatory lockdown measures don’t infringe important rights because no one has a right to impose a risk of grievous harm on (...) others—and, in the context of a pandemic, participating in the prohibited activities (e.g., going out to the bar) does just that. -/- This chapter explores whether this defense of mandatory lockdown measures holds up. It, first, considers whether we have a right against risk imposition—and, if so, how such a right is best understood. It then considers the objection that, even if there is such a right, people who voluntarily choose to engage in the prohibited activities—at least if fully appraised of the risks involved—effectively waive it. The chapter argues that this objection fails. (shrink)

In this paper I argue for an association between impurity and explanatory power in contemporary mathematics. This proposal is defended against the ancient and influential idea that purity and explanation go hand-in-hand (Aristotle, Bolzano) and recent suggestions that purity/impurity ascriptions and explanatory power are more or less distinct (Section 1). This is done by analyzing a central and deep result of additive number theory, Szemerédi’s theorem, and various of its proofs (Section 2). In particular, I focus upon the radically impure (...) (ergodic) proof due to Furstenberg (Section 3). Furstenberg’s ergodic proof is striking because it utilizes intuitively foreign and infinitary resources to prove a finitary combinatorial result and does so in a perspicuous fashion. I claim that Furstenberg’s proof is explanatory in light of its clear expression of a crucial structural result, which provides the “reason why” Szemerédi’s theorem is true. This is, however, rather surprising: how can such intuitively different conceptual resources “get a grip on” the theorem to be proved? I account for this phenomenon by articulating a new construal of the content of a mathematical statement, which I call structural content (Section 4). I argue that the availability of structural content saves intuitive epistemic distinctions made in mathematical practice and simultaneously explicates the intervention of surprising and explanatorily rich conceptual resources. Structural content also disarms general arguments for thinking that impurity and explanatory power might come apart. Finally, I sketch a proposal that, once structural content is in hand, impure resources lead to explanatory proofs via suitably understood varieties of simplification and unification (Section 5). (shrink)

Aquinas’s characterization of sacra doctrina has received sustained engagement addressing its relation to contemporary conceptions of theology and Aristotelian conceptions of science. More recently, attention has been paid to Aquinas’s neo-Platonist influences, and the way they lead him to subvert purely Aristotelian categories. I therefore combine these themes by introducing the first study of whether sacra doctrina counts as a technê in Plato’s sense. After examining how Platonic technê relate to their ergon. epistasthai, gignôskein, and epistêmê and examining sacra doctrina’s (...) relationship to each of these Platonic categories, I suggest that sacra doctrina is an unqualified Platonic technê. (shrink)

Four-dimensionalism and eternalism are theories on time, change, and persistence. Christian philosophers and theologians have adopted four-dimensional eternalism for various reasons. In this paper I shall attempt to argue that four-dimensional eternalism conflicts with Christian thought. Section I will lay out two varieties of four-dimensionalism—perdurantism and stage theory—along with the typically associated ontologies of time of eternalism and growing block. I shall contrast this with presentism and endurantism. Section II will look at some of the purported theological benefits of adopting (...) four-dimensionalism and eternalism. Section III will examine arguments against four-dimensional eternalism from the problem of evil. Section IV will argue that four-dimensional eternalism causes problems for Christian eschatology. (shrink)

Anhand der genaueren Analyse von Newtons experimentum crucis und der Argumentation, die er auf dieses Experiment stützt, sowie Goethes Kritik hieran sollen im Folgenden zwei verbreitete Vorurteile revidiert werden: -/- 1. Newton ist kein Dogmatiker, der methodische Ansprüche vertritt, die er nicht einlösen kann, sondern gründet seinen Anspruch, experimentelle Beweise führen zu können, auf einer vorbildlichen Methodologie kausaler Erklärungen, was seine Kritiker allerdings übersehen. 2. Goethe ist kein Antiwissenschaftler, der einen einzigartigen Kontrapunkt zur vorherrschenden wissenschaftlichen Tradition bildet, sondern steht inmitten (...) traditioneller Auffassungen zur Farbenlehre, deren experimentelle und methodologische Grundlagen bezüglich eines Erklärungsanspruches denen Newtons unterlegen sind. (shrink)

Effective Altruism is a rapidly growing and influential contemporary philosophical movement committed to updating utilitarianism in both theory and practice. The movement focuses on identifying urgent but neglected causes and inspiring supererogatory giving to meet the need. It also tries to build a broader coalition by adopting a more ecumenical approach to ethics which recognizes a wide range of values and moral constraints. These interesting developments distinguish Effective Altruism from the utilitarianism of the past in ways that invite cooperation and (...) warrant a fresh look from Thomists. Nonetheless Effective Altruism’s fundamentally consequentialist and aggregative model for ethics precludes more foundational agreement with Thomistic ethics in ways that limit the extent of practical cooperation. (shrink)

In a previous issue of this journal, Michael Hicks challenges my critique of Wilfrid Sellars’s arguments against the given and against the foundationalist epistemology that relies on the idea of a sensory given. I had argued that Sellars’s well-known claim that the given is a myth does not succeed because at a critical juncture he misconstrued sense-datum theorists such as Bertrand Russell and H. H. Price. In his response to my argument, Hicks makes the striking claim that Sellars was not (...) targeting foundationalism at all in his discussion of the myth of the given. Hicks reconstructs a key argument in “Empiricism and the Philosophy of Mind” (EPM) in a way intended both to avoid any reference to foundationalism and to do a more effective job than does Sellars’s original argument in uncovering a dilemma for traditional empiricism. The present paper challenges Hicks on two fronts. First, it argues that Hicks’s reconstruction is not more successful than Sellars’s original argument. Second, a review of relevant passages in makes clear that the critique of foundationalism is a prominent aspect of Sellars’s multi-faceted attack on the given. The conclusion reasserts the significance of Sellars’s place in the history of twentieth-century analytic philosophy. (shrink)

That a standard of medical care must outline services that benefit the patient is relatively uncontroversial. However, one must determine how the practices outlined in a medical standard of care should benefit the patient. I will argue that practices outlined in a standard of medical care must not detract from the patient’s well-functioning and that clinicians can refuse to provide services that do. This paper, therefore, will advance the following two claims: (1) a standard of medical care must not cause (...) dysfunction, and (2) if a physician is medically rational to not provide some service which fails to meet the above condition (i.e. fails to be a standard of medical care), then she may refuse to do so. I then apply my thesis to the prescription of puberty blockers to children with gender dysphoria. (shrink)

This paper illustrates what a philosophical and a logical investigation of colors amounts to in contrast to other kinds of color analysis such as physical, physiological, chemical, psychological or cultural analysis of colors. Neither a philosophical nor a logical analysis of colors is concerned with specific aspects of colors. Rather, these kinds of color analysis are concerned with what one might call “logical foundations of color theory”. I will illustrate this first by considering philosophical and then logical analysis of colors.

Es wird gezeigt, dass Wittgenstein in seiner Frühphilosophie ein nicht-axiomatisches Beweisverständnis entwickelt, für das sich das Problem der Begründung der Axiome nicht stellt. Nach Wittgensteins Beweisverständnis besteht der Beweis einer formalen Eigenschaft einer Formel – z.B. der logischen Wahrheit einer prädikatenlogischen Formel oder der Gleichheit zweier arithmetischer Ausdrücke – in der Transformation der Formel in eine andere Notation, an deren Eigenschaften sich entscheiden lässt, ob die zu beweisende formale Eigenschaft besteht oder nicht besteht. Dieses Verständnis grenzt Wittgenstein gegenüber einem axiomatischen (...) Beweisverständnis ab. Sein Beweisverständnis bedingt ein Programm der Grundlegung der Mathematik, das eine Alternative zu den Ansätzen des Logizismus, Formalismus und Konstruktivismus darstellt. Wittgensteins Ansatz steht im Widerspruch zu den Ergebnissen der Metamathematik, da er die Möglichkeit der Formulierung von Entscheidungsverfahren in der Prädikatenlogik und Arithmetik voraussetzt. Um seinem Ansatz gegenüber der traditionellen Metamathematik Recht zu geben, müsste gezeigt werden, dass sein Beweisverständnis im Bereich der Logik und Arithmetik – der traditionellen Metamathematik zum Trotz – realisierbar ist. (shrink)

Wilfrid Sellars is widely known for two positions that he calls “nominalism.” On the one hand, there is his “psychological nominalism,” according to which any awareness one might have of abstract entities—be they properties, relations, or facts—is a thoroughly linguistic affair, and so cannot be presupposed in thinking about the process of learning a (first) language. On the other hand, there is his ontological nominalism, according to which the world, as it is in itself, is fundamentally a world of concrete (...) particulars and so does not ultimately contain such things as properties, relations, or propositionally-structured facts. Sellars clearly takes these two sorts of “nominalism” to go together. However, one of the most influential inheritors of Sellars's philosophy, Robert Brandom, thinks that they do not. Brandom endorses the former, but denies that the latter “is in the end so much as intelligible.” In this paper, I articulate the connection between Sellars's psychological and ontological nominalism and draw on Brandom's own development of Sellars's functional role semantics to argue, against Brandom, that Sellars's ontological nominalism not only harmonizes with the rest of his philosophical commitments, but is actually made fully intelligible by the very aspect of Sellars's theory that Brandom himself develops. (shrink)

This paper describes a decision procedure for disjunctions of conjunctions of anti-prenex normal forms of pure first-order logic (FOLDNFs) that do not contain V within the scope of quantifiers. The disjuncts of these FOLDNFs are equivalent to prenex normal forms whose quantifier-free parts are conjunctions of atomic and negated atomic formulae (= Herbrand formulae). In contrast to the usual algorithms for Herbrand formulae, neither skolemization nor unification algorithms with function symbols are applied. Instead, a procedure is described that rests on (...) nothing but equivalence transformations within pure first-order logic (FOL). This procedure involves the application of a calculus for negative normal forms (the NNF-calculus) with A -||- A & A (= &I) as the sole rule that increases the complexity of given FOLDNFs. The described algorithm illustrates how, in the case of Herbrand formulae, decision problems can be solved through a systematic search for proofs that reduce the number of applications of the rule &I to a minimum in the NNF-calculus. In the case of Herbrand formulae, it is even possible to entirely abstain from applying &I. Finally, it is shown how the described procedure can be used within an optimized general search for proofs of contradiction and what kind of questions arise for a &I-minimal proof strategy in the case of a general search for proofs of contradiction. (shrink)

At first blush, values such as diversity appear to be worth striving for. The question is whether or not such values—which have become increasingly prevalent in university mission statements—are values as such, which is to ask whether they are things of moral worth (Value, n.d.), or are something else altogether. My unpopular suspicion leans toward the latter. Personal opinions, of course, are hardly a justification for an impassioned critique, however, my opinions mirror those held by moderate and conservative witnesses to (...) the sociopolitical climate of academia (Pew Research Center, 2017) as well as individuals who would typically be considered classically liberal such as Peter Boghossian (2021). Because of this concordance and in order to understand the constitutive relations of academic production, it becomes necessary to critically examine the nature of institutional values, separate from polemical rhetoric that either seeks to construct a "straw man" of them in order to lay them low or insulate them from outside reproach altogether Since "diversity" seems to be the chief concern among interested groups both in the academic setting and the world at large, this article's point of access to the relations of production in academia will be anchored by a Marxian assessment of diversity as a product of social labour in the academic environment. (shrink)

In his early philosophy as well as in his middle period, Wittgenstein holds a purely syntactic view of logic and mathematics. However, his syntactic foundation of logic and mathematics is opposed to the axiomatic approach of modern mathematical logic. The object of Wittgenstein’s approach is not the representation of mathematical properties within a logical axiomatic system, but their representation by a symbolism that identifies the properties in question by its syntactic features. It rests on his distinction of descriptions and operations; (...) its aim is to reduce mathematics to operations. This paper illustrates Wittgenstein’s approach by examining his discussion of irrational numbers. (shrink)

This paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context.

In this paper we apply the popular Best System Account of laws to typical eternal worlds – both classical eternal worlds and eternal worlds of the kind posited by popular contemporary cosmological theories. We show that, according to the Best System Account, such worlds will have no laws that meaningfully constrain boundary conditions. It’s generally thought that lawful constraints on boundary conditions are required to avoid skeptical arguments. Thus the lack of such laws given the Best System Account may seem (...) like a severe problem for the view. We show, however, that at eternal worlds, lawful constraints on boundary conditions do little to help fend off skeptical worries. So with respect to handling these skeptical worries, the proponent of the Best System Account is no worse off than their competitors. (shrink)

The young Wittgenstein called his conception of logic “New Logic” and opposed it to the “Old Logic”, i.e. Frege’s and Russell’s systems of logic. In this paper the basic objects of Wittgenstein’s conception of a New Logic are outlined in contrast to classical logic. The detailed elaboration of Wittgenstein’s conception depends on the realization of his ab-notation for first order logic.

This paper addresses the important questions of whether love is possessive and, if so, in what way is it possessive and in what ways is it not. It argues that love is possessive in the way that loyalty is possessive, but it is not possessive in the ways that property-owners are possessive of their mere property, abusers are possessive of their partners, jealousy is possessive of the object it fears losing, or obsession is possessive of its object. By doing so (...) it hopes to shed light on the nature of love as not only possessive, but as loyal and possessive in a loyal way rather than in other ways that might be confused with love. (shrink)

In §8 of Remarks on the Foundations of Mathematics (RFM), Appendix 3 Wittgenstein imagines what conclusions would have to be drawn if the Gödel formula P or ¬P would be derivable in PM. In this case, he says, one has to conclude that the interpretation of P as “P is unprovable” must be given up. This “notorious paragraph” has heated up a debate on whether the point Wittgenstein has to make is one of “great philosophical interest” revealing “remarkable insight” in (...) Gödel’s proof, as Floyd and Putnam suggest (Floyd (2000), Floyd (2001)), or whether this remark reveals Wittgenstein’s misunderstanding of Gödel’s proof as Rodych and Steiner argued for recently (Rodych (1999, 2002, 2003), Steiner (2001)). In the following the arguments of both interpretations will be sketched and some deficiencies will be identified. Afterwards a detailed reconstruction of Wittgenstein’s argument will be offered. It will be seen that Wittgenstein’s argumentation is meant to be a rejection of Gödel’s proof but that it cannot satisfy this pretension. (shrink)

While recently hyped as a defense against AI plagiarism, oral exams have fallen out of favor in American philosophy departments. They are often perceived as part of an antiquated system where the day-to-day coursework is sharply distinguished from a 100% weighted final exam, with a more oppositional than collaborative student-professor relationship. Such examinations do not lend themselves to blind grading, and also reinforce the existing privilege of students who are confident, fast-spoken, and know what to study. This kind of oral (...) examination is clearly at odds with the contemporary transparent and collaborative process embodied in techniques like specifications grading, with its proven benefits for novice philosophy students in introductory-level courses. I want to defend a rather different role for oral exams. Novice philosophy students need rapid feedback in order to know whether they have correctly understood the expectations embodied in syllabi and rubrics. Six best practices are offered for achieving this goal while minimizing drawbacks. (shrink)