Mathieu Marion

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.

Wittgenstein est mort en 1951 et on attend toujours une édition de ses œuvres complètes. Ce n'est qu'en 1994 que sont parus, accompagnés d'un volume d'introduction à l'ensemble du projet d'édition de la main du directeur de publication, Michael Nedo, les deux premiers d'une série de quinze volumes, les Wiener Ausgabe, qui reproduiront l'intégralité des écrits de Wittgenstein, de son retour à Cambridge en janvier 1929 à la première version du Big Typescript en 1933, avec index et concordances. D'après le catalogue établi par Georg Henrik von Wright, il s'agit des articles suivants: MS 105 à 114 et 153 à 155, TS 208 à 218. Ces deux premiers volumes reproduisent les manuscrits écrits entre janvier ou février 1929 et l'été 1930, soit les MS 105, 106, 107 et 108. Ils constituent l'aboutissement d'une véritable saga entourant l'œuvre posthume de Wittgenstein, dont il vaut la peine de rapporter ici quelques-uns des faits marquants.

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.

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.

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’

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.

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

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 ».

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.

In this chapter, Kobayashi and Marion first provide reasons to reject the many readings of Collingwood that sought to draft him as a participant in the Hempel-Dray debate about the status of covering laws in history. After all, this debate was not part of Collingwood’s context and, although one can pry from his writings a contribution to it, one may simply, by doing so, misunderstand what he was up to. In the second part, they present the Gabbay-Woods Schema for abductive reasoning, as it occurs in the context of inquiry, as triggered by an ignorance problem, and as being ‘ignorance preserving’. They then argue that this allows us better to see the point of Collingwood’s ‘logic of questions and answers’, as derived from his own practice in archaeology, and his use of the ‘detective model of the historian’, as opposed to merely focussing on understanding what ‘re-enactment’ could mean as a contribution to the Hempel-Dray debate.