In this paper, elementary but hitherto overlooked connections are established between Wittgenstein's remarks on mathematics, written during his transitional period, and free-variable finitism. After giving a brief description of theTractatus Logico-Philosophicus on quantifiers and generality, I present in the first section Wittgenstein's rejection of quantification theory and his account of general arithmetical propositions, to use modern jargon, as claims (as opposed to statements). As in Skolem's primitive recursive arithmetic and Goodstein's equational calculus, Wittgenstein represented generality by the use of free (...) variables. This has the effect that negation of unbounded universal and existential propositions cannot be expressed. This is claimed in the second section to be the basis for Wittgenstein's criticism of the universal validity of the law of excluded middle. In the last section, there is a brief discussion of Wittgenstein's remarks on real numbers. These show a preference, in line with finitism, for a recursive version of the continuum. (shrink)

In this paper, I examine the transmission of some ideas of the pragmatist tradition to Wittgenstein, in his ‘middle period,’ through the intermediary of F. P. Ramsey, with whom he had numerous fruitful discussions at Cambridge in 1929. I argue more specifically that one must first come to terms with Ramsey’s own views in 1929, and explain how they differ from views expressed in earlier papers from 1925-27, so a large part of this paper is devoted to this task. One (...) is then in a better position to understand the impact of Ramsey’s astute critique of Wittgenstein’s Tractatus Logico-Philosophicus in conjunction with his pragmatism, and explain how it may have set into motion the ‘later’ Wittgenstein. I then argue that Ramsey introduced his notion of ‘variable hypothetical’ as a rule, not a proposition, on pragmatist grounds and that Wittgenstein picked this up in 1929, along with a more ‘dynamic’ view of meaning than the ‘static’ view of the Tractatus, and that this explains in part Wittgenstein’s turn to his ‘later philosophy.’. (shrink)

This pioneering book demonstrates the crucial importance of Wittgenstein's philosophy of mathematics to his philosophy as a whole. Marion traces the development of Wittgenstein's thinking in the context of the mathematical and philosophical work of the times, to make coherent sense of ideas that have too often been misunderstood because they have been presented in a disjointed and incomplete way. In particular, he illuminates the work of the neglected 'transitional period' between the Tractatus and the Investigations.

Dans ce texte, je pars de l’analyse intuitionniste de la vérité mathématique, « A est vrai si et seulement s’il existe une preuve de A » comme cas particulier de l’analyse de la vérité en termes de « vérifacteur », et je montre pourquoi Wittgenstein partageait celle-ci avec les intuitionnistes. Cependant, la notion de preuve à l’oeuvre dans cette analyse est, selon l’intuitionnisme, celle de la « preuve-comme-objet », et je montre par la suite, en interprétant son argument sur le (...) caractère « synoptique » des preuves, que Wittgenstein avait plutôt en tête une conception de la « preuve-comme-trace ».In this paper, I start with the intutionist analysis of mathematical truth, « A is true if and only if there exists a proof of A », as a particular case of the analysis of truth in terms of « truth-makers », and I show why Wittgenstein shared it with the intuitionists. However, the notion of proof at work in this analysis is, according to intuitionism, that of « proof-as-object », and I then show, with an interpretation of his argument on the « surveyability » of proofs, that, instead, Wittgenstein had in mind a notion of « proof-as-trace ». (shrink)

L’opinion est souvent exprimée que Bradley fut un des tout premiers critiques du psychologisme. Dans cet article, j’examine cette thèse en me penchant principalement sur ses Principles of Logic . Je définis le psychologisme au sens étroit comme une thèse portant sur les fondements de la logique, et le psychologisme au sens large comme une thèse plus générale en théorie de la connaissance pour montrer que Bradley a rejeté les deux, même s’il n’avait pas grand chose à dire sur la (...) version étroite. Sa critique de l’autre version est basée sur une distinction entre contenu psychologique et contenu logique, et sur sa défense de la thèse de l’idéalité du contenu logique, avant Frege et Husserl. Cependant, il tient encore à l’idée que le contenu logique provient de la perception. Après une brève présentation de ses critiques de la psychologie associationniste, je montre qu’il fait face à de véritables difficultés en essayant d’éviter de retomber dans le psychologisme en faisant appel à la distinction entre universel abstrait et universel concret. Je termine avec quelques remarques sur la place de Bradley dans l’histoire de la psychologie britannique.One often hears the opinion voiced that Bradley was an early critique of psychologism. In this paper, I investigate that claim, focussing on his Principles of Logic . I define psychologism in the narrow sense as a thesis pertaining to the foundations of logic, and psychologism in the wide sense as a more general thesis concerning the theory of knowledge, and show that Bradley rejected both, although he had little to say on the narrow version. His criticism of the wider version is based on his distinguishing between psychological and logical content and on his defence of the ideality of logical content, before Frege and Husserl. Nevertheless, he still hung to the idea that the latter harks back to ordinary perception. I then review briefly his criticisms of associationism in psychology, to show that he faced some difficulties in trying to avoid lapsing back into psychologism, with an appeal to a distinction between abstract and concrete universals. I conclude with some remarks on the palace of Bradley in the history of British psychology. (shrink)

Cette publication, la trois cent vingt-troisième de la série, a été rendue possible grâce à la contribution financière du FQRSC (Fonds québécois de recherche sur la société et la culture).

The development of symbolic logic is often presented in terms of a cumulative story of consecutive innovations that led to what is known as modern logic. This narrative hides the difficulties that this new logic faced at first, which shaped its history. Indeed, negative reactions to the emergence of the new logic in the second half of the nineteenth century were numerous and we study here one case, namely logic at Oxford, where one finds Lewis Carroll, a mathematical teacher who (...) promoted symbolic logic, and John Cook Wilson, the Wykeham Professor of Logic who notoriously opposed it. An analysis of their disputes on the topic of logical symbolism shows that their opposition was not as sharp as it might look at first, as Cook Wilson was not so much opposed to the « symbolic » character of logic, but the intrusion of mathematics and what he perceived to be the futility of some of its problems, for logicians and philosophers alike. (shrink)

Mathematics is one of the many domains where the adoption of a form of realism has traditionally been challenged. Behaviorism and phenomenalism, opposed to realism about, respectively, mental entities and the existence of material objects, are other well‐known examples. The realism debate, as initiated by Dummett's challenge, appears to have run its course, at least on its original terms, and difficulties have been raised with respect to both antirealist and anti‐antirealist readings of Wittgenstein within that debate. Realism about meaning did (...) not remain unchallenged, however, as successor debates took its place, surrounding Robert Brandom's “inferentialism” or Price's generalized form of quasi‐realism, called “pragmatism”. Brandom also espouses “non‐representationalism” and predictably made use of Wittgenstein, with a reading akin to Kripke's of the rule‐following argument. He was criticized by McDowell largely for failing to account for Wittgenstein's quietism. (shrink)

After presenting the rules of Eleatic antilogic, i.e., dialectic, I argue that Zeno was a practitioner, and, on the basis of key passages from Plato’s Parmenides (127e-128e and 135d-136c), that his paradoxes of divisibility and movement were notreductio ad absurdum, but simple derivation of impossibilities (adunaton) meant to ridicule Parmenides’ adversaries. Thus, Zeno did not try to prove that there is no motion, but simply derived this consequence from premises held by his opponents. I argue further that these paradoxes were (...) devised, in accordance with Eleatic antilogic, following a scheme that included hypotheses and their contradictories, within which the subject is to be treated both “in relation to itself,” and “in relation to other things”. (shrink)

Reviewed Works:F. P. Ramsey, D. H. Mellor, Philosophical Papers.F. P. Ramsey, D. H. Mellor, Foundations, Essays in Philosophy, Logic, Mathematics and Economics.Frank Plumpton Ramsey, Maria Carla Galavotti, Notes on Philosophy, Probability and Mathematics.Nils-Eric Sahlin, The Philosophy of F. P. Ramsey.

In this paper, I present a summary of the philosophical relationship betweenWittgenstein and Brouwer, taking as my point of departure Brouwer's lecture onMarch 10, 1928 in Vienna. I argue that Wittgenstein having at that stage not doneserious philosophical work for years, if one is to understand the impact of thatlecture on him, it is better to compare its content with the remarks on logics andmathematics in the Tractactus. I thus show that Wittgenstein's position, in theTractactus, was already quite close to (...) Brouwer's and that the points of divergence are the basis to Wittgenstein's later criticisms of intuitionism. Among the topics of comparison are the role of intuition in mathematics, rule following, choice sequences, the Law of Excluded Middle, and the primacy of arithmetic over logic. (shrink)

John Cook Wilson (1849–1915) was Wykeham Professor of Logic at New College, Oxford and the founder of ‘Oxford Realism’, a philosophical movement that flourished at Oxford during the first decades of the 20th century. Although trained as a classicist and a mathematician, his most important contribution was to the theory of knowledge, where he argued that knowledge is factive and not definable in terms of belief, and he criticized ‘hybrid’ and ‘externalist’ accounts. He also argued for direct realism in perception, (...) criticizing both empiricism and idealism, and argued for a moderate nominalist view of universals as being in rebus and only ‘apprehended’ by their particulars. His influence helped swaying Oxford away from idealism and, through figures such as H. A. Prichard, Gilbert Ryle, or J. L. Austin, his ideas were also to some extent at the origin of ‘moral intuitionism’ and ‘ordinary language philosophy’ which defined much of Oxford philosophy until the second half of the twentieth-century. Nevertheless, his name and legacy were all but forgotten for generations after World War II. Still, his views on knowledge are with us today, being in part at work in the writings of philosophers as diverse as John McDowell, Charles Travis, and Timothy Williamson. (shrink)

Waismann’s writings can be divided into three periods. The fi rst corresponds to his early work in Vienna under the aegis of Schlick, thus mainly to his collaboration with Wittgenstein on the fi rst drafts of Logik, Sprache, Philosophie, out of which came not only the book itself many years later but also transcriptions of conversations with Schlick and Wittgenstein and numerous dictations reworked by Waismann, now published under the title The Voice of Wittgenstein. The Vienna Circle. Waismann also did (...) at that stage independent work, albeit largely infl uenced by Wittgenstein, on probability and identity. The second period runs roughly from the moment relations with Wittgenstein were severed – towards the end of 1934 – to his arrival in Oxford, where he started lecturing in Michaelmas Term 1939. (shrink)

Après avoir présenté les grandes lignes de la réflexion phénoménologique de Wittgenstein en 1929 et son abandon de Vidée d'un langage phénoménologique, je montre qu'il fait face à un dilemme à propos de la notion de règle. Si on regarde l'expression symbolique d'une règle sous le mode physicaliste, on ne peut pas voir le lien entre celle-ci et ses applications. Comment peut-elle, de par elle-même, servir de guide à nos actions ? Il faut une intention, une interprétation, ce qui fait (...) de la règle un objet phénoménologique. L'abandon du langage phénoménologique doit cependant forcer Wittgenstein à reconnaître qu'une règle en tant qu'objet phénoménologique ne peut pas être comparée à ou être utilisée pour déclencher une action qui se déroule dans le monde physique. Je montre que c'est en tentant de sortir de ce dilemme que Wittgenstein en viendra aux conceptions exposées dans ses remarques sur « suivre une règle ». J'examine en dernier lieu quelques conséquences de cette interprétation sur celle de la philosophie des mathématiques de Wittgenstein.After presenting a broad sketch of Wittgenstein's phenomenology; in 1929, and of his abandonment of the idea of a phenomenological language, it is shown that the notion of a rule left him with a dilemma, if the symbolical expression of a rule is understood in a physicalist mode, one cannot see the link between it and its applications. How could it, of itself guide our actions? One needs an intention or interpretation, thus turning the rule into a phenomeno/ogica I object. The abandonment ofthe p he nojne no logical language must have foiled Wittgenstein to recognize that a rule, qua phenomenological object, cannot be compared to or used to trigger an action in the physical world. It is then shown how Wittgenstein reached, while trying to solve this dilemma, the conception of rules presented in the remarks on 'following a rule". Lastly, some of the consequences of this new reading on the interpretation of Wittgenstein's philosophy of mathematics are examined. (shrink)

En logique mathématique, on doit distinguer entre une conception « axiomatique »de la logique, qui fut celle de Frege, Russell et Hilbert, et une conception plus « pragmatique »en termes d’actes de preuves, que l’on retrouve dans les systèmes de déduction naturelle de Gentzen. Des parallèles sont esquissés entre la conception de l’inférence et de la logique dans le Tractatus Logico-philosophicus de Wittgenstein et celle de Gentzen. Ce cadre permet en outre de jeter un regard neuf sur l’argument de Wittgenstein (...) sur « suivre une règle ». (shrink)

After sketching an argument for radical anti-realism that does not appeal to human limitations but polynomial-time computability in its definition of feasibility, I revisit an argument by Wittgenstein on the surveyability of proofs, and then examine the consequences of its application to the notion of canonical proof in contemporary proof-theoretical-semantics.

Reuben Louis Goodstein (1912-1985) foi aluno de Wittgenstein em Cambridge de1931 a 1934. Neste artigo, faço uma breve descrição de seu trabalho na lógica matemática,no qual se percebe a influência das idéias de Wittgenstein, inclusive a substituição,em seu cálculo equacional, da indução matemática por uma regra de unicidade de umafunção definida por uma função recursiva. Esse último aspecto se encontra no Big Typescriptde Wittgenstein. Também mostro que as idéias fundamentais do cálculo equacionalpodem ser encontradas não apenas no período intermediário, mas, (...) in nuce, nas observaçõessobre matemática do Tractatus Logico-philosophicus. A partir disso, procuro desenvolverum argumento contra uma leitura corrente daquele livro, o assim chamado “NovoWittgenstein”. Outra conexão entre Goodstein e Wittgenstein se encontra na rejeição dateoria da quantificação; na parte final do artigo, recorro às observações críticas de Goodsteinsobre a Lei do Terceiro Excluído (que também incluem uma crítica a Brouwer e à suarejeição “pela metade” dessa lei) para lançar luz sobre as observações do próprioWittgenstein a esse respeito. (shrink)

The thesis according to which the meaning of a mathematical sentence is given by its proof was held by both Wittgenstein and the intuitionists, following Heyting and Dummett. In this paper, we clarify the meaning of this thesis for Wittgenstein, showing how his position differs from that of the intuitionists. We show how the thesis originates in his thoughts, from the middle period, about proofs by induction, and we sketch his answers to a number of objections, including the idea that, (...) given the particular meaning he gives to this thesis, he cannot account for mathematical conjectures. We conclude by showing how his views find a favourable echo today in the paradigm of “proposition-as-type” and extensions of the Curry-Howard isomorphism from which this paradigm originates. (shrink)

It is first argued that dialectic was a form of regimented debate, which grew out of public debates in Ancient Greece. A set of rules for dialectical bouts is then given and their meaning explained. The transition from oral to written arguments is briefly examined, leading to the formulation of a delimitation problem in Plato’s dialogues, as he inserted dialectical arguments within ordinary dialogue contexts, turning them into discussions where one of the participants reasons hypothetically to make the other realize (...) that they are not entitled to their view. Doing so, Plato adjusted dialectic to a variety of dialogue purposes and in order to explore this variety, a study of the early tradition of classifying Plato’s dialogues in terms of their ‘character’ is suggested, the results of which are then compared with types of dialogues in contemporary Argumentation Theory. (shrink)

In this paper, we provide a detailed critical review of current approaches to ecthesis in Aristotle’s Prior Analytics, with a view to motivate a new approach, which builds upon previous work by Marion & Rückert (2016) on the dictum de omni. This approach sets Aristotle’s work within the context of dialectic and uses Lorenzen’s dialogical logic, hereby reframed with use of Martin-Löf's constructive type theory as ‘immanent reasoning’. We then provide rules of syllogistic for the latter, and provide proofs (...) of e-conversion, Darapti and Bocardo and e-subalternation, while showing how close to Aristotle’s text these proofs remain. (shrink)

In 1956, a series of BBC radio talks was published in London under the title The Revolution in Philosophy . This short book included papers by prominent British philosophers of the day, such as Sir Alfred Ayer and Sir Peter Strawson, with an introduction by Gilbert Ryle. Although there is precious little in it concerning the precise nature of the ‘revolution’ alluded to in the title, it is quite clear that these lectures were meant to celebrate in an insular manner (...) the birth of ‘analytic philosophy’ at the hands of Moore, Russell, and Wittgenstein. The use of the word ‘revolution’ to describe the birth of ‘analytical philosophy’ and its rise to near complete dominance in the British universities thus carries with it connotations of a forcible substitution of one philosophical order by a new one that itself owed nothing to the past. To me, however, this talk of ‘revolution’ carries with it a false view of the history of British philosophy: it isn’t ‘historical’ at all, just ideological; it was introduced for a strategic purpose, namely that of encouraging new generations of students to avoid reading the work of earlier philosophers or becoming interested in the problems that concerned them. I shall sketch the broad outlines of a landscape that involves, when limited to the specific topic of the theory of knowledge, no radical break, where no entirely new order replaces an older one: the options, so to speak, and even some of the arguments are the same before and after the soi-disant ‘revolution’. (shrink)

The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves `antirealists'. Others persisted with the formal background of the Frege-Tarski tradition, where Cantorian set theory is linked via model theory to classical logic. Jaakko Hintikka tried to unify both traditions by means of what is now (...) known as `explicit epistemic logic'. Under this view, epistemic contents are introduced into the object language as operators yielding propositions from propositions, rather than as metalogical constraints on the notion of inference. The Realism-Antirealism debate has thus had three players: classical logicians, intuitionists and explicit epistemic logicians. The editors of the present volume believe that in the age of Alternative Logics, where manifold developments in logic happen at a breathtaking pace, this debate should be revisited. Contributors to this volume happily took on this challenge and responded with new approaches to the debate from both the explicit and the implicit epistemic point of view. (shrink)