•  149
    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.
  •  5
    Plato’s Dialogues: Dialectic, Orality and Character
    In Joseph Andrew Bjelde, David Merry & Christopher Roser (eds.), Essays on Argumentation in Antiquity, Springer. 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
  •  4
    Omnibus Review (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.
  •  107
    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
  •  18
    Oxford Realism: Knowledge and Perception I
    British Journal for the History of Philosophy 8 (2): 299-338. 2000.
  •  32
    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
  •  23
    Une philosophie politique pour l’empirisme logique?
    Philosophia Scientiae 181-216. 2007.
  •  4
    Philosophy of Logic
    In Constantin V. Boundas (ed.), The Edinburgh Companion to Twentieth-Century Philosophies, Edinburgh University Press. pp. 252-269. 2007.
  •  26
    Oxford Realism: Knowledge and Perception II
    British Journal for the History of Philosophy 8 (3): 485-519. 2000.
  •  7
    [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
  •  33
    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
  •  119
    Oxford realism: Knowledge and perception II
    British Journal for the History of Philosophy 8 (3). 2000.
    This Article does not have an abstract
  •  14
    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.
  •  499
    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
  •  21
    Une philosophie politique pour l’empirisme logique?
    Philosophia Scientiae 181-216. 2007.
  •  210
    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.
  •  146
    Oxford realism: Knowledge and perception I
    British Journal for the History of Philosophy 8 (2). 2000.
    This Article does not have an abstract
  •  23
    Fondements ou constructivité ?
    Philosophiques 31 (1): 225-230. 2004.
  •  30
    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)
  •  53
    Radical anti-realism and substructural logics
    In A. Rojszczak, J. Cachro & G. Kurczewski (eds.), Philosophical Dimensions of Logic and Science, Kluwer Academic Publishers. pp. 235--249. 2003.
    According to the realist, the meaning of a declarative, non-indexical sentence is the condition under which it is true and the truth-condition of an undecidable sentence can obtain or fail to obtain independently of our capacity, even in principle, to recognize that it obtains or that fails to do so.1 In a series of papers, beginning with “Truth” in 1959, Michael Dummett challenged the position that the classical notion of truth-condition occupied as the central notion of a theory of meaning, an…Read more
  •  5
    By North-American standards, philosophy is not new in Quebec: the first men tion of philosophy lectures given by a Jesuit in the College de Quebec dates from 1665, and the oldest logic manuscript dates from 1679. In English-speaking universities such as McGill, philosophy began to be taught later, during the second half of the 19th century. The major influence on English-speaking philosophers was, at least initially, that of Scottish Empiricism. On the other hand, the strong influence of the Cat…Read more