Skip to main content
Article thumbnail
Location of Repository

1. INTUITIONISTIC LOGIC AND MARKOV’S PRINCIPLE

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

Abstract

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:10.1.1.135.2333
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • http://citeseerx.ist.psu.edu/v... (external link)
  • http://disputatio.com/articles... (external link)
  • Suggested articles


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