When it comes to Wittgenstein's philosophy of mathematics, even sympathetic admirers are cowed into submission by the many criticisms of influential authors in that field. They say something to the effect that Wittgenstein does not know enough about or have enough respect for mathematics, to take him as a serious philosopher of mathematics. They claim to catch Wittgenstein pooh-poohing the modern set-theoretic extensional conception of a real number. This article, however, will show that Wittgenstein's criticism is well grounded. A real (...) number, as an 'extension', is a homeless fiction; 'homeless' in that it neither is supported by anything nor supports anything. The picture of a real number as an 'extension' is not supported by actual practice in calculus; calculus has nothing to do with 'extensions'. The extensional, set-theoretic conception of a real number does not give a foundation for real analysis, either. The so-called complete theory of real numbers, which is essentially an extensional approach, does not define (in any sense of the word) the set of real numbers so as to justify their completeness, despite the common belief to the contrary. The only correct foundation of real analysis consists in its being 'existential axiomatics'. And in real analysis, as existential axiomatics, a point on the real line need not be an 'extension'. (shrink)

Set theory is an autonomous and sophisticated field of mathematics, enormously successful not only at its continuing development of its historical heritage but also at analyzing mathematical propositions cast in set-theoretic terms and gauging their consistency strength. But set theory is also distinguished by having begun intertwined with pronounced metaphysical attitudes, and these have even been regarded as crucial by some of its great developers. This has encouraged the exaggeration of crises in foundations and of metaphysical doctrines in general. However, (...) set theory has proceeded in the opposite direction, from a web of intensions to a theory of extensionpar excellence, and like other fields of mathematics its vitality and progress have depended on a steadily growing core of mathematical structures and methods, problems and results. There is also the stronger contention that from the beginning set theory actually developed through a progression ofmathematicalmoves, whatever and sometimes in spite of what has been claimed on its behalf.What follows is an account of the development of set theory from its beginnings through the creation of forcing based on these contentions, with an avowedly Whiggish emphasis on the heritage that has been retained and developed by current set theory. The whole transfinite landscape can be viewed as the result of Cantor's attempt to articulate and solve the Continuum Problem. (shrink)

A set of hypotheses is formulated for a connectionist approach to cognitive modeling. These hypotheses are shown to be incompatible with the hypotheses underlying traditional cognitive models. The connectionist models considered are massively parallel numerical computational systems that are a kind of continuous dynamical system. The numerical variables in the system correspond semantically to fine-grained features below the level of the concepts consciously used to describe the task domain. The level of analysis is intermediate between those of symbolic cognitive models (...) and neural models. The explanations of behavior provided are like those traditional in the physical sciences, unlike the explanations provided by symbolic models. (shrink)

What if education were not about becoming something, making something of yourself, becoming some thing? What if we were to consider education as becoming-world? These questions are posed against the background of the current populist nationalist backlash against the consequences of globalization, along with growing anti-intellectualism and anti-democratic sentiment. How can education contribute locally and globally to fostering and safeguarding the very possibility of democratic practices against the neoliberal consecration of reified social relations? Becoming Things, Becoming-world contributes to contemporary discussions (...) in philosophy of education by developing a vision of a critical educational cosmopolitanism founded upon a renewed critique of reification. While cosmopolitan education has often been articulated in terms of an ethical and political response to globalization, this thesis proposes a different outlook. I argue that the idea of cosmopolitan education predates the onset of what we now term globalization, and that it provides a meaningful conception of education beyond the present socio-political condition. Moreover, I propose to rethink cosmopolitan education as a critique of reification, i.e. a critique of social relations taking on the character of mere things. The critique of reification helps to foreground aspects that have previously been neglected and marginalized in educational cosmopolitanism, such as its economic-material dimensions. At the same time, a critical cosmopolitan perspective is needed for a timely de-centering of critical social theory. Re-assessing the Cynic tradition and drawing on critical theorists such as Gerard Delanty and Axel Honneth as well as on New Wittgensteinian philosophers as Alice Crary, I advance a post-universalist understanding of cosmopolitanism. This is based on dynamic social relations and a broad understanding of rationality which includes imaginary aspects as well as the education of our sensitivities. Cosmopolitanism is understood as a lived practice which critically challenges reified social and cultural relations, including the strictures of particular socio-economic structures. The notion of reification is distinguished from other forms of alienation, objectification and instrumentalization and is deployed to characterize lasting distortions of our relations to each other, to the world and to ourselves. Against any idealizing take on communicative practice, I show that language, knowledge, and education do not necessarily counter-act reifying tendencies. Indeed, they themselves can become sources for enhancing processes of reification. A fresh look at the critique of reification allows us adequately to describe and understand the interrelation between contemporary capitalism, the forms of subjectivity it produces and the possibilities of democratic education and education towards democracy. Such an understanding is needed in face of the apparent impossibility of imagining a society, and envisioning an education, beyond the conditions formulated by contemporary neoliberal policies. Education as becoming-world maintains a hopeful outlook on the possibilities of our globalizing and pluralizing social reality as well as a keen focus on the tensions and challenges that this poses for contemporary educational endeavors on individual as well as structural levels. (shrink)

Latest Sermon from the Church of Fundamentalist Naturalism by Pastor Hofstadter. Like his much more famous (or infamous for its relentless philosophical errors) work Godel, Escher, Bach, it has a superficial plausibility but if one understands that this is rampant scientism which mixes real scientific issues with philosophical ones (i.e., the only real issues are what language games we ought to play) then almost all its interest disappears. I provide a framework for analysis based in evolutionary psychology and the work (...) of Wittgenstein (since updated in my more recent writings). -/- Those wishing a comprehensive up to date framework for human behavior from the modern two systems view may consult my book ‘The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle’ 2nd ed (2019). Those interested in more of my writings may see ‘Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Human Behavior (2019), and Suicidal Utopian Delusions in the 21st Century 4th ed (2019). (shrink)

SUMMARY Major theories of philosophical psychology and philosophy of mind are examined on the basis of the fundamental questions of ontology, metaphysics, epistemology, semantics and logic. The result is the choice between language of eliminative reductionism and dualism, neither of which answers properly the relation between mind and body. In the search for a non–dualistic and non–reductive language, Wittgenstein’s notion of language–games as the representative links between language and the world is considered together with Peirce’s semeiosis of cognition. The result (...) is a redefined notion of cognition as the goal–oriented ability to instantiate strategies from the rules of the language–games. Cognition is considered within the four-dimensional languagegames: rules/strategies, primitive/complete language-games, family-resemblances/forms of life, and non-temporal continuum as the language-games’ modality. Cognition is seen as a continuum process of non–individualized elements that unites perception, volition, emotion, will and thought against the commonly accepted understandings of cognition in exclusive terms of perception and thinking. The alternative to the mind/body problem is the continuity of cognition where rules and strategies, syntax and semantics, are considered inseparable within language–games. This continuity of cognition is explained in terms of virtual (univocal) identity, replacing the old philosophical paradigm of the mind/body problem. -/- SOMMARIO Le teorie maggiori della psicologia filosofica e filosofia della mente sono esaminate a partire dalle questioni fondamentali di ontologia, metafisica, epistemologia, semantica e logica. Il risultato è la scelta tra un linguaggio riduzionista eliminativo e un dualismo che però non confronta in modo adeguato la relazione tra mente e corpo. Nella ricerca per un linguaggio non-dualistico e non-riduttivo, viene considerata la nozione del gioco linguistico di Wittgenstein come un legame rappresentativo tra il linguaggio e il mondo insieme con la semiosi cognitiva di Peirce. Il risultato è la nozione ridefinita della cognizione come abilità goal-orientata di creare le strategie dalle regole dei giochi linguistici. La cognizione è considerata entro le quattro dimensioni dei giochi linguistici: regole/strategie, giochi linguistici primitivi/completi, somiglianze di famiglia/forme di vita, e la continuità atemporale come la modalità dei giochi linguistici. La cognizione diventa un processo continuo degli elementi non-individualizzati che tende ad unificare la percezione, volizione, emozione, la volontà e il pensiero contro un concetto generalmente accettato di vedere la cognizione nei termini esclusivamente di percezione e di pensiero. L’alternativa al problema della mente/corpo è la continuità della cognizione, dove le regole e le strategie, la sintassi e la semantica, sono considerate inseparabili nei giochi linguistici. Questa continuità della cognizione è spiegata nei termini dell’identità virtuale (univoca) sostituendo un paradigma filosofico previo del problema della mente/corpo. (shrink)

Here I defend dispositionalism about meaning and rule-following from Kripkenstein's infamous anti-dispositionalist arguments. The problems of finitude, error, and normativity are all addressed. The general lesson I draw is that Kripkenstein's arguments trade on an overly simplistic version of dispositionalism.

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)

My aim in this paper is twofold: to establish that Kierkegaard's so‐called theory of the leap strongly anticipates a line of argument that is central to Wittgenstein's so‐called rule‐following considerations; and to begin to show how Kierkegaard's work has fruitful contributions of its own to make to on‐going discussions about rules and rule‐following. The paper focuses throughout on the question of how, if at all, human rule‐following can be distinguished from behaviour that is merely mechanical or instinctual. I identify a (...) central line of argument in Wittgenstein that problematizes this question by establishing the basis our ability to follow rules in our spontaneous responses. I argue that Kierkegaard not only strongly anticipates this line of argument but also offers a distinctive story about what, at bottom, makes the difference between human rule‐following and behaviour that is merely mechanical or instinctual. In a word, on Kierkegaard's story, what makes the difference is: anxiety. (shrink)

Tutkin tässä artikkelissa Kurt Gödelin epätäydellisyysteoreemojen tulkintoja filosofiassa. Aihepiiri kattaa valtavan määrän eri tulkintoja tekoälystä fysiikkaan ja runouteen asti. Osoitan, että kriittisesti tarkasteltuna kaikki radikaalit epätäydellisyysteoreemojen sovellukset ovat virheellisiä.

Elvira Schnabel; Wittgenstein on Rules: what follows and what does not, Journal of Philosophy of Education, Volume 25, Issue 1, 30 May 2006, Pages 83–94, https.

I begin with a brief statement of wisdom's view of the nature of religious belief, its truth and the kind of reasoning to which it is amenable. i then try to disentangle the truth and falsity which, as i see it, this view contains. i agree that the believer and non-believer differ in the way they "see" things even when they do not differ in their expectations about an afterlife. i characterize this difference as "conceptual". i then discuss what it (...) means to speak of "truth" here and consider the kind of "reasoning" it is amenable to. (shrink)

Although the expression “form of life” and its plural “forms of life” occur only five times in Philosophical Investigations, and generally few times in his works, it is commonly agreed that this is one of the most relevant issues in Wittgenstein’s later philosophy. Starting from the analysis of the contexts in which Wittgenstein makes use of this concept, the paper focuses on the different interpretations that have been given in secondary literature, and proposes a classification based on two axes of (...) debate: the monistic versus pluralistic interpretation, and the empirical versus transcendental interpretation. After placing some well-known readings in the resulting scheme, an attempt will be made to offer an evolutionary reading of Wittgenstein’s own ideas about forms of life. It will be argued that the empirical and plural view that seems characteristic of his writings in the Thirties, slowly appears to turn towards a monistic view, sometimes with transcendental tones, although within a pragmatic perspective. This turn remains nevertheless rooted in Wittgenstein’s general attitude towards philosophy intended as a conceptual inquiry with clarifying and therapeutic aims. (shrink)

A set of hypotheses is formulated for a connectionist approach to cognitive modeling. These hypotheses are shown to be incompatible with the hypotheses underlying traditional cognitive models. The connectionist models considered are massively parallel numerical computational systems that are a kind of continuous dynamical system. The numerical variables in the system correspond semantically to fine-grained features below the level of the concepts consciously used to describe the task domain. The level of analysis is intermediate between those of symbolic cognitive models (...) and neural models. The explanations of behavior provided are like those traditional in the physical sciences, unlike the explanations provided by symbolic models.Higher-level analyses of these connectionist models reveal subtle relations to symbolic models. Parallel connectionist memory and linguistic processes are hypothesized to give rise to processes that are describable at a higher level as sequential rule application. At the lower level, computation has the character of massively parallel satisfaction of soft numerical constraints; at the higher level, this can lead to competence characterizable by hard rules. Performance will typically deviate from this competence since behavior is achieved not by interpreting hard rules but by satisfying soft constraints. The result is a picture in which traditional and connectionist theoretical constructs collaborate intimately to provide an understanding of cognition. (shrink)

Cultural pluralism is both a fact and a norm. It is a fact that our world, and indeed our society, are marked by a large diversity of cultures delineated in terms of race, class, gender, ethnicity, religion, ideology, and other partly interpenetrating variables. This fact raises the normative question of whether, or to what extent, such diversities should be recognized or even encouraged in policies concerning government, law, education, employment, the family, immigration, and other important areas of social concern.

Suppose we were to ask some students of philosophy to imagine a typical book of classical German philosophy and describe its general style and character, how might they reply? I suspect that they would answer somewhat as follows. The book would be long and heavy, it would be written in a complicated style which employed only very abstract terms, and it would be extremely difficult to understand. At all events a description of this kind does indeed fit many famous works (...) of German philosophy. Let us take for example Hegel's Phenomenology of Spirit of 1807. The 1977 English translation published by Oxford has 591 pages, and as for style here is a typical passage: Self-consciousness found the Thing to be like itself, and itself to be like a Thing; i.e., it is aware that it is in itself the objectively real world. It is no longer the immediate certainty of being all reality, but a certainty for which the immediate in general has the form of something superseded, so that the objectivity of the immediate still has only the value of something superficial, its inner being and essence being self-consciousness itself. The object, to which it is positively related, is therefore a self-consciousness. It is in the form of thinghood, i.e. it is independent ; but it is certain that this independent object is for it not something alien, and thus it knows that it is in principle recognized by the object. It is Spirit which, in the duplication of its self-consciousness and in the independence of both, has the certainty of its unity with itself. This certainty has now to be raised to the level of truth; what holds good for it in principle , and in its inner certainty, has to enter into its consciousness and become explicit fork. (shrink)

A set of hypotheses is formulated for a connectionist approach to cognitive modeling. These hypotheses are shown to be incompatible with the hypotheses underlying traditional cognitive models. The connectionist models considered are massively parallel numerical computational systems that are a kind of continuous dynamical system. The numerical variables in the system correspond semantically to fine-grained features below the level of the concepts consciously used to describe the task domain. The level of analysis is intermediate between those of symbolic cognitive models (...) and neural models. The explanations of behavior provided are like those traditional in the physical sciences, unlike the explanations provided by symbolic models. Higher-level analyses of these connectionist models reveal subtle relations to symbolic models. Parallel connectionist memory and linguistic processes are hypothesized to give rise to processes that are describable at a higher level as sequential rule application. At the lower level, computation has the character of massively parallel satisfaction of soft numerical constraints; at the higher level, this can lead to competence characterizable by hard rules. Performance will typically deviate from this competence since behavior is achieved not by interpreting hard rules but by satisfying soft constraints. The result is a picture in which traditional and connectionist theoretical constructs collaborate intimately to provide an understanding of cognition. (shrink)

Hilary Putnam first published the consistency objection against Ludwig Wittgenstein’s account of mathematics in 1979. In 1983, Putnam and Benacerraf raised this objection against all conventionalist accounts of mathematics. I discuss the 1979 version and the scenario argument, which supports the key premise of the objection. The wide applicability of this objection is not apparent; I thus raise it against an imaginary axiomatic theory T similar to Peano arithmetic in all relevant aspects. I argue that a conventionalist can explain the (...) consistency of T and suggest that an analogous explanation can be provided for the consistency of Peano arithmetic. (shrink)

According to Barry Stroud, Wittgenstein thought that language is social only in this minimal way: we cannot make sense of the idea of someone having a language unless we can describe her as using signs in conformity with the linguistic practices of some community. Since a solitary person could meet this condition, Stroud concludes that, for Wittgenstein, solitary languages are possible. I argue that Wittgenstein in fact thought that language is social in a much more robust way. Solitary languages are (...) not possible because we cannot make sense of the idea of someone having a language unless we can think of her as actively participating in the linguistic practices that fix the standards governing the applications of her words. (shrink)

§1. Introduction. I dedicate this essay to the two-dozen-odd people whose refutations of Cantor's diagonal argument have come to me either as referee or as editor in the last twenty years or so. Sadly these submissions were all quite unpublishable; I sent them back with what I hope were helpful comments. A few years ago it occurred to me to wonder why so many people devote so much energy to refuting this harmless little argument—what had it done to make them (...) angry with it? So I started to keep notes of these papers, in the hope that some pattern would emerge.These pages report the results. They might be useful for editors faced with similar problem papers, or even for the authors of the papers themselves. But the main message to reach me is that there are several points of basic elementary logic that we usually teach and explain very badly, or not at all.In 1995 an engineer named William Dilworth, who had published a refutation of Cantor's argument in the Transactions of the Wisconsin Academy of Sciences, Arts and Letters, sued for libel a mathematician named Underwood Dudley who had called him a crank. (shrink)

My main aim is to sketch a certain reading (‘genealogical’) of later Wittgenstein’s views on logical necessity. Along the way, I engage with the inferentialism currently debated in the literature on the epistemology of deductive logic.

This paper seeks to widen the dialogue between the “epistemology of peer disagreement” and the epistemology informed by Wittgenstein’s last notebooks, later edited as On Certainty. The paper defends the following theses: not all certainties are groundless; many of them are beliefs; and they do not have a common essence. An epistemic peer need not share all of my certainties. Which response to a disagreement over a certainty is called for, depends on the type of certainty in question. Sometimes a (...) form of relativism is the right response. Reasonable, mutually recognized peer disagreement over a certainty is possible.—The paper thus addresses both interpretative and systematic issues. It uses Wittgenstein as a resource for thinking about peer disagreement over certainties. (shrink)

I here present and defend what I call the Triviality Theory of Truth, to be understood in analogy with Matti Eklund’s Inconsistency Theory of Truth. A specific formulation of is defended and compared with alternatives found in the literature. A number of objections against the proposed notion of meaning-constitutivity are discussed and held inconclusive. The main focus, however, is on the problem, discussed at length by Gupta and Belnap, that speakers do not accept epistemically neutral conclusions of Curry derivations. I (...) first argue that the facts about speakers’ reactions to such Curry derivations do not constitute a problem for the Triviality Theory specifically. Rather, they follow from independent, uncontroversial facts. I then propose a solution which coheres with the theory as I understand it. Finally, I consider a normative reading of their objection and offer a response. (shrink)

outrageous remarks about contradictions. Perhaps the most striking remark he makes is that they are not false. This claim first appears in his early notebooks (Wittgenstein 1960, p.108). In the Tractatus, Wittgenstein argued that contradictions (like tautologies) are not statements (Sätze) and hence are not false (or true). This is a consequence of his theory that genuine statements are pictures.

This paper offers a new interpretation for Wittgenstein`s treatment of mathematical identities. As it is widely known, Wittgenstein`s mature philosophy of mathematics includes a general rejection of abstract objects. On the other hand, the traditional interpretation of mathematical identities involves precisely the idea of a single abstract object – usually a number –named by both sides of an equation.

In all of its varieties, traditional liberalism is a universalist political theory. Its content is a set of principles which prescribe the best regime, the ideally best institutions, for all mankind. It may be acknowledged — as it is, by a proto-liberal such as Spinoza — that the best regime can be attained only rarely, and cannot be expected to endure for long; and that the forms its central institutions will assume in different historical and cultural milieux may vary significantly. (...) It will then be accepted that the liberal regime's role in political thought is as a regulative ideal, which political practice can hope only to approximate, subject to all the vagaries and exigencies of circumstance. Nonetheless, the content of traditional liberalism is a system of principles which function as universal norms for the critical appraisal of human institutions. In this regard, traditional liberalism — the liberalism of Locke and Kant, for example — represents a continuation of classical political rationalism, as it is found in Aristotle and Aquinas, where it also issues in principles having the attribute of universality, in that they apply ideally to all human beings. (shrink)

Plusieurs auteurs se sont inspirés des thèses du deuxième Wittgenstein pour proposer une nouvelle approche en sciences sociales qui viserait la justification plutôt que l'explication de l'action. Sur la base d'une étude de trois types d'énoncés formulés grâce au langage de l'action (factuels, normatifs et attributifs d'états mentaux), cet article évalue les difficultés et possibilités d'une telle suggestion.

The specific characteristics of mathematical argumentation all depend on the centrality that writing has in the practice of mathematics, but blindness to this fact is near universal. What follows concerns just one of those characteristics, justification by proof. There is a prevalent view that long proofs pose a problem for the thesis that mathematical knowledge is justified by proof. I argue that there is no such problem: in fact, virtually all the justifications of mathematical knowledge are ‘long proofs’, but because (...) these real justifications are distributed in the written archive of mathematics, proofs remain surveyable, hence good. (shrink)

Some readers, even though well versed in philosophy, may be bewildered by Wittgenstein's posthumous book on the philosophy of mathematics and unable to find a dominant theme running through even a part of it; to list the main contents–headings would make them none the wiser. Although two main themes may in the end be discerned in it, they do not pervade the book after the usual manner of themes; one has rather the sense of wandering about the corridors of a (...) maze; and, to add to the reader's perplexity, the maze has no definite centre. This mode of presentation, leading one through a maze, whose “centre” is the discovery that there is no centre, in itself conveys some philosophical message. Can we possibly say what Wittgenstein was trying to do? To answer this, seeing that this work is largely in line with the rest of his philosophizing, I propose to bid the present book a long farewell, to take an excursion into the field of Wittgensteinian and related philosophy, and against this background to try to give some picture and assessment of the contents of the work. (shrink)