-
83Wittgenstein et la preuve mathématique comme vérifacteurPhilosophiques 38 (1): 137-156. 2011.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 « syn…Read more
-
85Wittgenstein, Ramsey and British PragmatismEuropean Journal of Pragmatism and American Philosophy 4 (2). 2012.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…Read more
-
89Wittgenstein, l’intentionnalité et les règlesPhilosophiques 25 (1): 3-27. 1998.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 …Read more
-
179Wittgenstein, finitism, and the foundations of mathematicsOxford University Press. 1998.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 …Read more
-
1Wittgenstein on Mathematics: Constructivism or Constructivity?In Annalisa Coliva & Eva Picardi (eds.), Wittgenstein Today, Il Poligrafo. pp. 201--222. 2004.
-
197Radical anti-realism, Wittgenstein and the length of proofsSynthese 171 (3). 2009.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.
-
29Plato’s Dialogues: Dialectic, Orality and CharacterIn Joseph Andrew Bjelde, David Merry & Christopher Roser (eds.), Essays on Argumentation in Antiquity, Springer Verlag. pp. 69-97. 2021.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 m…Read more
-
81L’anti-psychologisme de Bradley : idéalité de la signification, jugement et universauxPhilosophiques 36 (1): 53-82. 2009.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. …Read more
-
260Oxford realism: Knowledge and perception IBritish Journal for the History of Philosophy 8 (2). 2000.This Article does not have an abstract
-
123Qu'est-ce que l'inférence ? Une relecture du Tractatus logico-philosophicusArchives de Philosophie 3 (3): 545-567. 2001.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 …Read more
-
25Philosophy of LogicIn Constantin Boundas (ed.), The Edinburgh Companion to the Twentieth Century Philosophies. Edinburgh, University of Edinburgh Press. pp. 252-269. 2007.
-
Quantification and Finitism a Study in Wittgenstein's Philosophy of MathematicsDissertation, D. Phil., University of Oxford. 1991.
-
48[Omnibus Review]Journal of Symbolic Logic 63 (3): 1177-1180. 1998.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
-
66Jérôme Dokic et Pascal Engel, Ramsey. Vérité et Succès, Paris, Presses Universitaires de France, collection Philosophies, 2001, 128 pages.Jérôme Dokic et Pascal Engel, Ramsey. Vérité et Succès, Paris, Presses Universitaires de France, collection Philosophies, 2001, 128 pages (review)Philosophiques 31 (1): 266-269. 2004.
-
1106La logique symbolique en débat à Oxford à la fin du XIXe siècle : les disputes logiques de Lewis Carroll et John Cook WilsonRevue D’Histoire des Sciences 67 (2): 185-205. 2014.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 symboli…Read more
-
76Jogando o bebê junto com a água do banho: Wittgenstein, Goodstein e o cálculo equacionalDois Pontos 6 (1). 2009.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 equacion…Read more
-
174Theory Of Knowledge In Britain From 1860 To 1950The Baltic International Yearbook of Cognition, Logic and Communication 4 5. 2008.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 philoso…Read more
-
231Reasoning about knowledge in linear logic: modalities and complexityIn S. Rahman (ed.), Logic, Epistemology, and the Unity of Science, Kluwer Academic Publishers. pp. 327--350. 2004.
-
216Oxford realism: Knowledge and perception IIBritish Journal for the History of Philosophy 8 (3). 2000.This Article does not have an abstract
Montréal, Quebec, Canada
Areas of Specialization
| History of Western Philosophy |
| Science, Logic, and Mathematics |