• Philosophie de la logique
    with Michael Dummett
    Revue Philosophique de la France Et de l'Etranger 183 (3): 629-630. 1993.
  •  27
    Incompleteness, constructivism and truth
    Logic and Logical Philosophy 6 (n/a): 63. 1998.
    Although G¨odel proved the first incompleteness theorem by intuitionistically respectable means, G¨odel’s formula, true although undecidable,seems to offer a counter-example to the general constructivist or anti-realistclaim that truth may not transcend recognizability in principle. It is arguedhere that our understanding of the formula consists in a knowledge of itstruth-conditions, that it is true in a minimal sense and, finally, that it is recognized as such given the consistencyand ω-consistenc…Read more
  •  187
    Critical studies / book reviews
    Philosophia Mathematica 12 (3): 268-278. 2004.
  •  26
    According to the antirealist view of history, history is something historians construct in the present. Although the warrants they may gather in favour of past events do not form a coherent class, such warrants constitute the assertibility conditions of our statements about the past. They are by nature partial, gradual and defeasible. The antirealist is then faced with two problems. One is to account for a notion of historical significance, either in terms of causal links, broad patterns, or jus…Read more
  •  19
    Le nécessaire et l’universel—Analyse et critique de leur corrélation (review)
    History and Philosophy of Logic 38 (1): 87-89. 2017.
    The book under review, which was awarded the prestigious Jean Cavaillès prize in 2015, offers an original investigation of the ‘correlation problem’: Is every universal truth necessary? Is every ne...
  •  29
    Empiricism, Rational Belief and Objectivity
    Philosophy of Science. 2010.
    There are several ways of conceiving objectivity -- scientific objectivity in particular -- and, accordingly, several ways of defending or attacking particular construals of it. According to one conception sometimes labelled "realism", objectivity in science is a semantic, modal and metaphysical notion: a scientific theory is objective insofar as it tells the truth about the way the world is independently of its epistemic accessibility to us. So, for instance, the Newtonian theory of gravition i…Read more
  •  64
    The interview took place in Oxford on 10 September 1992. While working from the tape on the text of the interview, I decided to gather references to books and articles in footnotes so that the reader may have a sense of the flow of the conversation. I then divided the text into sections, according to the topics which were discussed. Some material has been edited from the original transcript
  •  23
    According to semantic antirealism, intuitionistic logic satisfies the requirement that truth should be constrained by provability in principle. Some philosophers have argued that semantic antirealism must be committed to effective provability and that the commitment leads to a stronger kind of logical revisionism exemplified by substructural logics. I shall take into account two different kinds of reply. The first is concerned with meaning per se and grasp or fixing of meaning. It rests on the i…Read more
  •  285
  • Realism, Decidability and the Past
    Dissertation, University of Southern California. 1996.
    Realism is the claim that truth may transcend all possible verification. The familiar Dummettian argument against that modal claim is that there is no way to manifest an understanding of it in actual linguistic practice. The Dummettian anti-realist's provisional conclusion is that the modal claim must be false. ;The attack on truth-conditional semantics and on the principle of bivalence are familiar ingredients of the anti-realist negative programme. I agree that, whether mathematical formulae o…Read more
  •  32
    As far as logic is concerned, the conclusion of Michael Dummett's manifestability argument is that intuitionistic logic, as first developed by Heyting, satisfies the semantic requirements of antirealism. The argument may be roughly sketched as follows: since we cannot manifest a grasp of possibly justification-transcendent truth conditions, we must countenance conditions which are such that, at least in principle and by the very nature of the case, we are able to recognize that they are satisfie…Read more
  •  14
    Holisme, anatomicité et hiérarchie
    Archives de Philosophie 71 (4): 599-607. 2008.
    Selon le holisme sémantique, les propriétés sémantiques sont par nature anatomiques, c’est-à-dire intrinsèquement collectives. Selon le holisme de l’interprétation, la signification ou le contenu sont attribués collectivement. La thèse de constitution holistique de la signification peut être raisonnablement défendue à l’aide d’une contrainte de molécularité, qui introduit une hiérarchie dans la complexité logique des phrases, et un ordre ou une articulation dans le langage, en faisant droit à un…Read more
  •  57
    The author of “Parsimony and inference to the best mathematical explanation” argues for platonism by way of an enhanced indispensability argument based on an inference to yet better mathematical optimization explanations in the natural sciences. Since such explanations yield beneficial trade-offs between stronger mathematical existential claims and fewer concrete ontological commitments than those involved in merely good mathematical explanations, one must countenance the mathematical objects th…Read more
  •  14
    Philosophia (ISSN: 1105-2120) (Abstract), tome 30, 2000, p. 203-205.
  •  60
    Many philosophers hold that physical laws have a unique modal status known as nomic necessity which is weaker than metaphysical necessity. This orthodox view has come into question in the past few decades. In particular, the metaphysical view known as essentialism has provided an argument that the laws of nature are necessary in the strongest possible sense. It seems obvious to many that at least some essentialist arguments in favor of the necessity of scientific claims are going to be sound. Fo…Read more
  •  62
    Professor Prawitz has made four claims in his talk. The first claim is that one should be able to generalize the intuitionistic theory of meaning already available for mathematical discourse to empirical discourse. Since each claim constitutes a step in an argument of a general form in favour of some new kind of antirealistically inclined theory of meaning (with a final pessimistic overtone), I shall go over each claim one by one, check whether the argument which links them in the way described …Read more