Skip to main content
Top

2010 | OriginalPaper | Chapter

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

Authors : Gianluca Caterina, Rocco Gangle

Published in: Model-Based Reasoning in Science and Technology

Publisher: Springer Berlin Heidelberg

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Metadata
Title
Consequences of a Diagrammatic Representation of Paul Cohen’s Forcing Technique Based on C.S. Peirce’s Existential Graphs
Authors
Gianluca Caterina
Rocco Gangle
Copyright Year
2010
Publisher
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-15223-8_24

Premium Partner