A transcendental view on the continuum: Woodin's conditional platonism

  title={A transcendental view on the continuum: Woodin's conditional platonism},
  author={Jean Petitot},
  journal={arXiv: Logic},
  • J. Petitot
  • Published 20 February 2015
  • Philosophy
  • arXiv: Logic
One of the main difficulty concerning the nature of the continuum is to do justice, inside the set theoretical Cantorian framework, to the classical conception (from Aristotle to Thom, via Kant, Peirce, Brentano, Husserl and Weyl) according to which the continuum is a non-compositional, cohesive, primitive, and intuitive datum. This paper investigates such possibilities, from G\"{o}del to Woodin, of modelling inside a ZFC-universe the transcendence of the intuitive continuum w.r.t. its symbolic… 
2 Citations
Incompleteness Theorems, Large Cardinals, and Automata over Finite Words
  • O. Finkel
  • Computer Science, Mathematics
  • 2017
Independence results for languages of finite words generated by context-free grammars, or accepted by 2-tape or 1-counter automata are proved.
Incompleteness Theorems, Large Cardinals, and Automata Over Finite Words
  • O. Finkel
  • Mathematics, Computer Science
    Int. J. Found. Comput. Sci.
  • 2019
We prove that one can construct various kinds of automata over finite words for which some elementary properties are actually independent from strong set theories like [Formula: see text] [Formula:


The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis.
  • K. Gödel
  • Mathematics
    Proceedings of the National Academy of Sciences of the United States of America
  • 1938
Kurt Godel, mathematician and logician, was one of the most influential thinkers of the twentieth century and ranked higher than fellow scientists Edwin Hubble, Enrico Fermi, John Maynard Keynes, James Watson, Francis Crick, and Jonas Salk.
Woodin on the Continuum Problem : an overview and some objections
I consider W. Hugh Woodin’s approach to the Continuum Problem, giving a brief overview of it and discussing a few objections which can be raised against it. In the last few years, Woodin has
Descriptive Set Theory
Descriptive Set Theory is the study of sets in separable, complete metric spaces that can be defined (or constructed), and so can be expected to have special properties not enjoyed by arbitrary
Cantor’s Continuum Hypothesis was proved to be independent from the usual ZFC axioms of Set Theory by Gödel and Cohen. The method of forcing, developed by Cohen to this end, has lead to a profusion
THE ABC'S of Mice
This is the introductory half of a lecture given at the Association for Symbolic Logic Annual Meeting in Philadelphia in March, 2001. Our goal is to give logicians and advanced students who are
The Continuum Hypothesis, Part I
This problem belongs to an ever-increasing list of problems known to be unsolvable from the (usual) axioms of set theory. However, some of these problems have now been solved. But what does this
The Continuum Hypothesis
The problem actually arose with the birth of set theory; indeed, in many respects it stimulated the birth of set theory. In 1874 Cantor had shown that there is a one-to-one correspondence between the
Philosophy of mathematics : selected readings
Preface to the second edition Introduction Part I. The Foundations of Mathematics: 1. The logicist foundations of mathematics Rudolf Carnap 2. The intuitionist foundations of mathematics Arend
An Ω-logic Primer
This paper presents proofs of some elementary facts about Ω-logic, relative to the published literature, leading up to the generic invariance of €logic and theΩ-conjecture.
Beyond X \ Absoluteness
There have been many generalizations of Shoenfield's Theorem on the absoluteness of S \ sentences between uncountable transitive models of ZFC. One of the strongest versions currently known deals