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)

I argue that we can achieve certainty about some empirical propositions. When someone is having a migraine and attending to it, she can be certain that she is in pain. I show that examples intended to undermine claims of certainty or to raise doubts about the reliability of introspection do not touch such cases. Traditional foundationalists have held that epistemically certain beliefs can serve as the basis for all one’s other justified beliefs. This is not so, because those beliefs that (...) are certain are spread too thinly to serve as broad justificatory foundations. Certainty has a different role. The best explanation for the existence of epistemically certain empirical beliefs is experientialism, the view that nondoxastic sensory experiences can justify beliefs. Experientialism then offers a framework for showing how the stream of sensory experiences can provide an adequate basis for the justification of our ordinary beliefs about the external world. (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.

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.

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)

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)

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.

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)

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)

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)

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)

“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)

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)

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)

Das Problem, wie der Völkermord an den Juden in der Nazizeit in der SBZ/ DDR behandelt wurde, war Gegenstand zahlreicher wissenschaftlicher Abhandlungen von Philologen und Historiken. In den Jahren 1990-2000 wurden die Arbeiten von u.a. Mario Kessler, Michael Wolffsohn, Angelika Timm, Thomas Jung und Ulrike Offenberg veröffentlicht. Die dort formulierten Thesen bilden die Grundlage für diesen Artikel. Er schildert die Lage der jüdischen DDR-Bewohner, die sich nach Kriegsende für das Leben in Deutschland entschieden haben. Es wurde versucht, die Kluft zu (...) veranschaulichen, die zwischen der von der Regierung betriebenen Propaganda und dem ostdeutschen Alltag bestand. Die im Artikel dargestellten politischen und ideologischen Grundlagen des ostdeutschen Staates, wie auch die Realität, in welcher die jüdischen DDR-Bürger gelebt haben, bilden wichtige Kontexte für das Schaffen von Jurek Becker. Die angedeuteten Probleme, die die jüdische Bevölkerung zu bewältigen hatte, wie etwa die Unmöglichkeit der Identitätsfindung in der scheinbar homogenen, in Wirklichkeit jedoch deutlich geteilten ostdeutschen Gesellschaft, kommen hier zur Sprache. Da Becker selbst von diesem Problem betroffen war, inspirierte ihn dies bei der Arbeit an seinen Romanen, Erzählungen und anderen literarischen Texten, die oft autobiographische Züge aufweisen. Dies wurde am Beispiel von Bronsteins Kinder dargestellt. Die existenziellen Probleme der jüdischen Bevölkerung wurden hier in Verbindung mit der Kritik der ostdeutschen Gesellschaft geschildert. (shrink)