Consequences of a Diagrammatic Representation of Paul Cohen’s Forcing Technique Based on C.S. Peirce’s Existential Graphs

  • Gianluca Caterina
  • Rocco Gangle
Part of the Studies in Computational Intelligence book series (SCI, volume 314)


This article examines the forcing technique developed by Paul Cohen in his proof of the independence of the Generalized Continuum Hypothesis from the ZFC axioms of set theory in light of the theory of abductive inference and the diagrammatic system of Existential Graphs elaborated by Peirce. The history of the development of Cohen’s method is summarized, and the key steps of his technique for defining the extended model M[G] from within the ground model M are outlined. The relations between statements in M and their correspondent reference values in M[G] are modeled in Peirce’s Existential Graphs as the construction of a modal covering over the sheet of assertion. This formalization clarifies the relationship between Peirce’s EG-βand EG-γ and lays the foundation for theorizing the abductive emergence of the latter out of the former.


Binary Sequence Diagrammatic Representation Ground Model Continuum Hypothesis Force Relation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Badiou, A.: Being and Event. O. Feltham(trans.) Contiuum, London, New York (2005)Google Scholar
  2. 2.
    Chow, T.: A beginner’s guide to forcing. Contemporary Mathematics 479, 35–40 (2009)Google Scholar
  3. 3.
    Cohen, P.: Set Theory and the Continuum Hypothesis. Dover Publications, Mineola (1966)zbMATHGoogle Scholar
  4. 4.
    Gödel, K.: The Consistency of the Continuum Hypothesis. Princeton University Press, Princeton (1940)zbMATHGoogle Scholar
  5. 5.
    Hoffmann, M.: Is There a ‘Logic’ of Abduction?,
  6. 6.
    Kauffman, L.: The mathematics of Charles Sanders Peirce. Cybernetics & Human Knowing 8(1-2), 79–110 (2001)Google Scholar
  7. 7.
    Peirce, C.S.: Reasoning and the Logic of Things. In: Ketner, K.L. (ed.), Harvard University Press, Cambridge (1992)Google Scholar
  8. 8.
    Roberts, D.D.: The Existential Graphs of Charles S. Peirce. Mouton and Co., The Hague (1973)Google Scholar
  9. 9.
    Zalamea, F.: Peirce’s Logic of continuity: Existential graphs and non-cantorian continuum. Review of Modern Logic 9(29), 115–162 (2003)MathSciNetGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Gianluca Caterina
    • 1
  • Rocco Gangle
    • 1
  1. 1.Endicott CollegeBeverlyU.S.A.

Personalised recommendations