•  83
    Wittgenstein et la preuve mathématique comme vérifacteur
    Philosophiques 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
  •  85
    Wittgenstein, Ramsey and British Pragmatism
    European 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
  •  89
    Wittgenstein, l’intentionnalité et les règles
    Philosophiques 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
  •  179
    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
  •  1
    Wittgenstein on Mathematics: Constructivism or Constructivity?
    In Annalisa Coliva & Eva Picardi (eds.), Wittgenstein Today, Il Poligrafo. pp. 201--222. 2004.
  •  197
    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.
  •  29
    Plato’s Dialogues: Dialectic, Orality and Character
    In 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
  •  81
    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
  •  260
    Oxford realism: Knowledge and perception I
    British Journal for the History of Philosophy 8 (2). 2000.
    This Article does not have an abstract
  •  123
    Qu'est-ce que l'inférence ? Une relecture du Tractatus logico-philosophicus
    Archives 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
  •  25
    Philosophy of Logic
    In Constantin Boundas (ed.), The Edinburgh Companion to the Twentieth Century Philosophies. Edinburgh, University of Edinburgh Press. pp. 252-269. 2007.
  •  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
  •  106
    Une philosophie politique pour l’empirisme logique?
    Philosophia Scientiae 181-216. 2007.
  •  1106
    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
  •  71
    Réalisme, esprit réaliste, antiréalisme
    Philosophiques 45 (1): 261. 2018.
    Mathieu Marion
  •  1
    Operations and Numbers in the Tractatus
    Wittgenstein-Studien 2 105-123. 2000.
  •  76
    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
  •  174
    Theory Of Knowledge In Britain From 1860 To 1950
    The 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
  •  231
    Reasoning about knowledge in linear logic: modalities and complexity
    with Mehrnouche Sadrzadeh
    In S. Rahman (ed.), Logic, Epistemology, and the Unity of Science, Kluwer Academic Publishers. pp. 327--350. 2004.
  •  216
    Oxford realism: Knowledge and perception II
    British Journal for the History of Philosophy 8 (3). 2000.
    This Article does not have an abstract
  •  107
    Critical Studies / Book Reviews
    Philosophia Mathematica 8 (1): 91-96. 2000.