Skip to main content
Article thumbnail
Location of Repository


By  and Gustavo Fernández Díez and Gustavo Fernández Díez


In this paper I dispute the current view that intuitionistic logic is the common basis for the three main trends of constructivism in the philosophy of mathematics: intuitionism, Russian constructivism and Bishop’s constructivism. The point is that the so-called ‘Markov’s principle’, which is accepted by Russian constructivists and rejected by the other two, is expressible in intuitionistic first-order logic, and so it appears to have the status of a logical principle. The result of appending this principle to a complete intuitionistic axiom system for first-order predicate logic constitutes a new logic, which could well be called ‘Markov’s logic’, and which should be regarded as the true logical system underlying Russian constructivism

Topics: was supported, at various stages, by the British Council, the British Academy
Year: 2002
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.