Diversity Reading List

Abstract: The book presents Kant's theory of the cognitive subject. It begins by setting the stage for his discussions of the unity and power of 'apperception' by presenting the attempts of his predecessors to explain the nature of the self and of self-consciousness, and the relation between self-consciousness and object cognition. The central chapters lay out the structure of the transcendental deduction, the argument from cognition to the necessary unity of apperception, and the relations among his theories of the unity and power of apperception, the 'psychological ideal,' and the 'noumenal' self. Later chapters draw on this material to offer a more precise account of his criticism that the Rational Psychologists failed to understand the unique character of the representation 'I-think' and to defend Kant against the charges that his theory of cognition and apperception is inconsistent or psychologistic. The concluding chapters present Kantian alternatives to recent theories of the activities of the self in cognition and moral action, the self-ascription of belief, knowledge of other minds, the appropriate explananda for theories of consciousness, and the efficacy of 'transcendental' arguments.

Publisher's Note: In Frege's Conception of Logic Patricia A. Blanchette explores the relationship between Gottlob Frege's understanding of conceptual analysis and his understanding of logic. She argues that the fruitfulness of Frege's conception of logic, and the illuminating differences between that conception and those more modern views that have largely supplanted it, are best understood against the backdrop of a clear account of the role of conceptual analysis in logical investigation. The first part of the book locates the role of conceptual analysis in Frege's logicist project. Blanchette argues that despite a number of difficulties, Frege's use of analysis in the service of logicism is a powerful and coherent tool. As a result of coming to grips with his use of that tool, we can see that there is, despite appearances, no conflict between Frege's intention to demonstrate the grounds of ordinary arithmetic and the fact that the numerals of his derived sentences fail to co-refer with ordinary numerals. In the second part of the book, Blanchette explores the resulting conception of logic itself, and some of the straightforward ways in which Frege's conception differs from its now-familiar descendants. In particular, Blanchette argues that consistency, as Frege understands it, differs significantly from the kind of consistency demonstrable via the construction of models. To appreciate this difference is to appreciate the extent to which Frege was right in his debate with Hilbert over consistency- and independence-proofs in geometry. For similar reasons, modern results such as the completeness of formal systems and the categoricity of theories do not have for Frege the same importance they are commonly taken to have by his post-Tarskian descendants. These differences, together with the coherence of Frege's position, provide reason for caution with respect to the appeal to formal systems and their properties in the treatment of fundamental logical properties and relations.

Abstract: Gottlob Frege's work in logic and the foundations of mathemat- ics centers on claims of logical entailment; most important among these is the claim that arithmetical truths are entailed by purely logical principles. Occupying a less central but nonetheless important role in Frege's work are claims about failures of entailment. Here, the clearest examples are his theses that the truths of geometry are not entailed by the truths of logic or of arithmetic, and that some of them are not entailed by each other. As he, and we, would put it: the truths of Eluclidean geometry are independent of the truths of logic, and some of them are independent of one another.' Frege's talk of independence and related notions sounds familiar to a modern ear: a proposition is independent of a collection of propositions just in case it is not a consequence of that collection, and a proposition or collection of propositions is consistent just in case no contradiction is a consequence of it. But some of Frege's views and procedures are decidedly tinmodern. Despite developing an extremely sophisticated apparattus for demonstrating that one claim is a consequience of others, Frege offers not a single demon- stration that one claim is not a conseqtuence of others. Thus, in par- tictular, he gives no proofs of independence or of consistency. This is no accident. Despite his firm commitment to the independence and consistency claims just mentioned, Frege holds that independence and consistency cannot systematically be demonstrated.2 Frege's view here is particularly striking in light of the fact that his contemporaries had a fruitful and systematic method for proving consistency and independence, a method which was well known to him. One of the clearest applications of this method in Frege's day came in David Hilbert's 1899 Foundations of Geometry,3 in which he es- tablishes via essentially our own modern method the consistency and independence of various axioms and axiom systems for Euclidean geometry. Frege's reaction to Hilbert's work was that it was simply a failure: that its central methods were incapable of demonstrating consistency and independence, and that its usefulness in the founda- tions of mathematics was highly questionable.4 Regarding the general usefulness of the method, it is clear that Frege was wrong; the last one hundred years of work in logic and mathemat- ics gives ample evidence of the fruitfulness of those techniques which grow directly from the Hilbert-style approach. The standard view today is that Frege was also wrong in his claim that Hilbert's methods fail to demonstrate consistency and independence. The view would seem to be that Frege largely missed Hilbert's point, and that a better under- standing of Hilbert's techniques would have revealed to Frege their success. Despite Frege's historic role as the founder of the methods we now use to demonstrate positive consequence-results, he simply failed, on this account, to understand the ways in which Hilbert's methods could be used to demonstrate negative consequence-results. The purpose of this paper is to question this account of the Frege- Hilbert disagreement. By 1899, Frege had a well-developed view of log- ical consequence, consistency, and independence, a view which was central to his foundational work in arithmetic and to the epistemologi- cal significance of that work. Given this understanding of the logical relations, I shall argue, Hilbert's demonstrations do fail. Successful as they were in demonstrating significant metatheoretic results, Hilbert's proofs do not establish the consistency and independence, in Frege's sense, of geometrical axioms. This point is important, I think, both for an understanding of the basis of Frege's epistemological claims about mathematics, and for an understanding of just how different Frege's conception of logic is from the modern model-theoretic conception that has grown out of the Hilbert-style approach to consistency.

Abstract: Controversy remains over exactly why Frege aimed to estabish logicism. In this essay, I argue that the most influential interpretations of Frege's motivations fall short because they misunderstand or neglect Frege's claims that axioms must be self-evident. I offer an interpretation of his appeals to self-evidence and attempt to show that they reveal a previously overlooked motivation for establishing logicism, one which has roots in the Euclidean rationalist tradition. More specifically, my view is that Frege had two notions of self-evidence. One notion is that of a truth being foundationally secure, yet not grounded on any other truth. The second notion is that of a truth that requires only clearly grasping its content for rational, a priori justified recognition of its truth. The overarching thesis I develop is that Frege required that axioms be self-evident in both senses, and he relied on judging propositions to be self-evident as part of his fallibilist method for identifying a foundation of arithmetic. Consequently, we must recognize both notions in order to understand how Frege construes ultimate foundational proofs, his methodology for discovering and identifying such proofs, and why he thought the propositions of arithmetic required proof.

Abstract: Hegel's criticism of morality, or Moralität, has had a decisive influence in the reception of his thought. By general acknowledgment, while his writings support a broadly neo-Aristotelian ethics of self-actualization, his views on moral philosophy are exhausted by his criticisms of Kant, whom he treats as paradigmatic exponent of the standpoint of morality. The aim of this chapter is to correct this received view and show that Hegel offers a positive conception of moral willing. The main argument is presented in two parts: (a) an interpretation of the 'Morality' section of the Philosophy of Right that shows Hegel defending a guise of the good version of willing; and (b) an examination of problems raised by this view of willing, some of which are anticipated by Hegel in in his treatment of the 'Idea of the Good' in the Logic, and of the interpretative options available to deal with these problems.

Abstract: Despite Hegel's effusive praise for art as one of the ways humans express truth, art by his description is both essentially limited and at perpetual risk of ending. This hybrid assessment is apparent first in Hegel's account of art's development, which shows art culminating in classical sculpture's perfect unity, but then, unable to depict Christianity's interiority, evolving into religion, surrendering to division, or dissipating into prose. It is also evident in his ranking of artistic genres from architecture to poetry according to their ability to help humans produce themselves both individually and collectively: the more adequately art depicts human self-understanding, the more it risks ceasing to be art. Nevertheless, art's myriad endings do not exhaust its potential. Art that makes humans alive to the unity and interdependence at the heart of reality continues to express the Idea and so achieves Hegel's ambitions for its role in human life.

Abstract: Hermeneutic phenomenology is absent in 4 EAC literature (embedded, embodied, enactive, extended and affective cognition). The aim of this article is to show that hermeneutic phenomenology as elaborated in the work of Heidegger is relevant to 4 EAC research. In the first part of the article I describe the hermeneutic turn Heidegger performs in tandem with his ontological turn of transcendental phenomenology, and the hermeneutic account of cognition resulting from it. I explicate the main thesis of the hermeneutic account, namely that cognition is interaction with the world, followed by a discussion of the modes of cognition distinguished in the hermeneutic account. In the second part of the article I discuss the implications of this account with respect to the status and meaning of first, second and third person perspective of cognition. The article concludes with the draft and discussion of an exploratory model of hermeneutic cognition.