While Garfinkel’s early work, captured in Studies in Ethnomethodology, has received a lot of attention and discussion, this has not been the case for his later work since the 1970s. In this paper, we critically examine the aims of Garfinkel’s later ethnomethodological studies of work programme and evaluate key ideas such as the ‘missing what’ in the sociology of work, ‘the unique adequacy requirements of methods’, and the notion of ‘hybrid studies’. We do so through a detailed engagement with a (...) study that has frequently been singled out as exemplary by Garfinkel for his studies of work programme, namely Livingston’s The Ethnomethodological Foundations of Mathematics. We show how Livingston uses the proof of Gödel’s Incompleteness Theorem as a way to exhibit the work involved in understanding mathematical proofs. We then discuss how Livingston uses this example to introduce a distinction between the written ‘proof account’ and the associated ‘lived work’ of working through that proof, which we argue allows Livingston to provide a powerful critique of a formalist understanding of the objectivity of mathematics. We then discuss three aspects that we find problematic in Livingston’s and Garfinkel’s claims about Livingston’s study. Firstly, we question whether written proofs are best conceived of as descriptions or accounts. Secondly, we interrogate whether an ethnomethodological study could teach mathematicians how to make discoveries. Thirdly, we throw doubt on Garfinkel’s claim that Livingston’s results are results in mathematics. We conclude this paper with a discussion of how Livingston’s study Gödel’s proof highlights key tensions in Garfinkel’s later work. Firstly, we argue that there exists an ambiguity in Garfinkel’s treatment of texts as ‘incompetent’. Secondly, we show that Garfinkel’s attempt to extend his idea of classical studies from sociology to other professions and disciplines is problematic. Finally, we question Garfinkel’s proposals to reorient ethnomethodological studies away from sociological audiences and ask whether ethnomethodological studies promise the delivery of a ‘large prize’ or, rather, provide something like ‘helpful therapy’. (shrink)

This essay accounts for the notion of _Lebensform_ by assigning it a _logical _role in Wittgenstein’s later philosophy. Wittgenstein’s additions of the notion to his manuscripts of the _PI_ occurred during the initial drafting of the book 1936-7, after he abandoned his effort to revise _The Brown Book_. It is argued that this constituted a substantive step forward in his attitude toward the notion of simplicity as it figures within the notion of logical analysis. Next, a reconstruction of his later (...) remarks on _Lebensformen_ is offered which factors in his reading of Alan Turing’s “On computable numbers, with an application to the _Entscheidungsproblem_“, as well as his discussions with Turing 1937-1939. An interpretation of the five occurrences of _Lebensform_ in the PI is then given in terms of a logical “regression” to _Lebensform_ as a fundamental notion. This regression characterizes Wittgenstein’s mature answer to the question, “What is the nature of the logical?”. (shrink)

Mark Steiner criticizes some remarks Wittgenstein makes about Gödel. Steiner takes Wittgenstein to be disputing a mathematical result. The paper argues that Wittgenstein does no such thing. The contrast between the realist and the demonstrativist concerning mathematical truth is examined. Wittgenstein is held to side with neither camp. Rather, his point is that a realist argument is inconclusive.

The later Wittgenstein’s perspective on mathematical sentences as norms is motivated for sentences belonging to Hilbertian axiomatic systems where the axioms are treated as implicit definitions. It is shown that in this approach the axioms are employed as norms in that they function as standards of what counts as using the concepts involved. This normative dimension of their mode of use, it is argued, is inherited by the theorems derived from them. Having been motivated along these lines, Wittgenstein’s perspective on (...) mathematical language may appeal also to those who are not friends of or experts on Wittgenstein’s later philosophy of mathematics. (shrink)

An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...) with some intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question. (shrink)

I show that Wittgenstein's critique of G.H. Hardy's mathematical realism naturally extends to Paul Benacerraf's influential paper, ‘Mathematical Truth’. Wittgenstein accuses Hardy of hastily analogizing mathematical and empirical propositions, thus leading to a picture of mathematical reality that is somehow akin to empirical reality despite the many puzzles this creates. Since Benacerraf relies on that very same analogy to raise problems about mathematical ‘truth’ and the alleged ‘reality’ to which it corresponds, his major argument falls prey to the same critique. (...) The problematic pictures of mathematical reality suggested by Hardy and Benacerraf can be avoided, according to Wittgenstein, by disrupting the analogy that gives rise to them. I show why Tarskian updates to our conception of ‘truth’ discussed by Benacerraf do not answer Wittgenstein's concerns. That is, because they merely presuppose what Wittgenstein puts into question, namely, the essential uniformity of ‘truth’ and ‘proposition’ in ordinary discourse. (shrink)

This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice. This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued (...) today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics? (shrink)

I provide an interpretation of Wittgenstein's much criticized remarks on Gödel's First Incompleteness Theorem in the light of paraconsistent arithmetics: in taking Gödel's proof as a paradoxical derivation, Wittgenstein was right, given his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. I show that the models of paraconsistent arithmetics (obtained via the Meyer-Mortensen (...) collapsing filter on the standard model) match with many intuitions underlying Wittgensteins philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any meaningful mathematical question. (shrink)

The long‐standing issue of Wittgenstein's controversial remarks on Gödel's Theorem has recently heated up in a number of different and interesting directions [, , ]. In their , Juliet Floyd and Hilary Putnam purport to argue that Wittgenstein's‘notorious’ “Contains a philosophical claim of great interest,” namely, “if one assumed. that →P is provable in Russell's system one should… give up the “translation” of P by the English sentence ‘P is not provable’,” because if ωP is provable in PM, PM is (...) ω ‐inconsistent, and if PM is ω‐inconsistent, we cannot translate ‘P’as ’P is not provable in PM’because the predicate‘NaturalNo.’in ‘P’“cannot be…interpreted” as “x is a natural number.” Though Floyd and Putnam do not clearly distinguish the two tasks, they also argue for “The Floyd‐Putnam Thesis,” namely, that in the 1930's Wittgenstein had a particular understanding of Gödel's First Incompleteness Theorem. In this paper, I endeavour to show, first, that the most natural and most defensible interpretation of Wittgenstein's and the rest of is incompatible with the Floyd‐Putnam attribution and, second, that evidence from Wittgenstein's Nachla strongly indicates that the Floyd‐ Putnam attribution and the Floyd‐Putnam Thesis are false. By way of this examination, we shall see that despite a failure to properly understand Gödel's proof—perhaps because, as Kreisel says, Wittgenstein did not read Gödel's 1931 paper prior to 1942‐Wittgenstein's 1937–38, 1941 and 1944 remarks indicate that Gödel's result makes no sense from Wittgenstein's own perspective. (shrink)

On the one hand, I show that the later Wittgenstein's practice-based approach to meaning, including the idea that the meaningfulness of mathematics ultimately is rooted in the everyday ‘applications’ it emerged from, as well as his insistence on the variability in and contingency of mathematical and mathematics-like practices, foreshadows more recent work in Philosophy of Mathematical Practice (PMP), although Wittgenstein's approach was more radically practice-based than what is prevalent in present-day PMP. On the other hand, I also show that Wittgenstein's (...) work on mathematics is driven by a pervasive critical attitude towards some key characteristics (monism, foundationalism and exceptionalism) of mainstream philosophical discourse about mathematics (then and now), which is mostly absent from present-day PMP, and I argue that this aspect of Wittgenstein's work on mathematics could inspire present-day practitioners of PMP to rethink the identity of their discipline. (shrink)

Mark Steiner criticizes some remarks Wittgenstein makes about Gödel. Steiner takes Wittgenstein to be disputing a mathematical result. The paper argues that Wittgenstein does no such thing. The contrast between the realist and the demonstrativist concerning mathematical truth is examined. Wittgenstein is held to side with neither camp. Rather, his point is that a realist argument is inconclusive.

In the scholarship on Wittgenstein’s later philosophy of mathematics, the dominant interpretation is a theoretical one that ascribes to Wittgenstein some type of ‘ism’ such as radical verificationism or anti-realism. Essentially, he is supposed to provide a positive account of our mathematical practice based on some basic assertions. However, I claim that he should not be read in terms of any ‘ism’ but instead should be read as examining philosophical pictures in the sense of unclear conceptions. The contrast here is (...) that basic assertions that frame philosophical ‘isms’ are propositional such that they are subject to normal argumentative evaluation, while pictures in Wittgenstein’s sense are non-propositional—they lack a clear truth condition. They, therefore, need clarification rather than argumentation. In this paper, I provide a detailed analysis of Wittgenstein’s treatment of philosophical pictures with special focus on his argument on contradiction. I begin by explaining the problem with this trend of theoretical interpretation, taking Steve Gerrard’s otherwise excellent interpretation as a representative example and pointing out why it is problematic. Next, I will argue that those problems do not arise if we take Wittgenstein’s task as the clarification of philosophical pictures. I do this, first, by explaining Wittgenstein’s method using his argument concerning the Augustinian Picture in Philosophical Investigations and then pointing out that the same method can be identified in the crucial arguments in his philosophy of mathematics. Finally, in order to connect my interpretation with the current scholarship, I will explain the relation of my interpretation with those of New Wittgensteinian scholars. (shrink)

This thesis explores the significance of Godel's Theorem for an understanding of law as rules, and of legal adjudication as rule-following. It argues that Godel's Theorem, read through Wittgenstein's understanding of rules and language as a contextual activity, and through Derrida's account of 'undecidability,' offers an alternative account of the relationship of judging to justice. Instead of providing support for the 'indeterminacy' claim, Godel's Theorem illuminates the predicament of undecidability that structures any interpretation and every legal decision, and which constitutes (...) the opening to justice. The first argument in this thesis examines Godel's proof, Wittgenstein's views on rules, and Derrida's undecidability, as manifestations of a common concern with the limits of what can be formalized. The meta-argument examines their misinterpretation and misappropriation within legal theory as a case study of just what they mean about meaning, context, and justice as necessarily co-implicated. (shrink)

The book explains why and how Wittgenstein adapted the Tractatus in phenomenological and grammatical terms to meet challenges of his 'middle period.' It also shows why and how he invents a new method and develops an anthropological perspective, which gradually frame his philosophy and give birth to the Philosophical Investigations.

Additional theorizing about mathematical practice is needed in order to ground appeals to truly useful notions of the virtues in mathematics. This paper aims to contribute to this theorizing, first, by characterizing mathematical practice as being epistemic and “objectual” in the sense of Knorr Cetina The practice turn in contemporary theory, Routledge, London, 2001). Then, it elaborates a MacIntyrean framework for extracting conceptions of the virtues related to mathematical practice so understood. Finally, it makes the case that Wittgenstein’s methodology for (...) examining mathematics and its practice is the most appropriate one to use for the actual investigation of mathematical practice within this MacIntyrean framework. At each stage of thinking through mathematical practice by these means, places where new virtue-theoretic questions are opened up for investigation are noted and briefly explored. (shrink)

According to some scholars, such as Rodych and Steiner, Wittgenstein objects to Gödel’s undecidability proof of his formula $$G$$, arguing that given a proof of $$G$$, one could relinquish the meta-mathematical interpretation of $$G$$ instead of relinquishing the assumption that Principia Mathematica is correct. Most scholars agree that such an objection, be it Wittgenstein’s or not, rests on an inadequate understanding of Gödel’s proof. In this paper, I argue that there is a possible reading of such an objection that is, (...) in fact, reasonable and related to Gödel’s proof. (shrink)

According to a widespread interpretation, in the Investigations Wittgenstein adopted a deflationary or redundancy theory of truth. On this view, Wittgenstein’s pronouncements about truth should be understood in the light of his invocation of the equivalences ‘p’ is true = p and ‘p’ is false = not p. This paper shows that this interpretation does not do justice to Wittgenstein’s thoughts. I will be claiming that, in fact, in his second book Wittgenstein is returning to the pre-Tractarian notion of bipolarity, (...) and that his new development of this notion in the Investigations excludes the redundancy-deflationary reading. Wittgenstein’s thoughts about truth are instead compatible with another interpretative option: Wittgenstein remains faithful to his methodological pronouncements, and he merely presents us with platitudes about the notions of “true” and “false”. (shrink)