La théorie des types logiques. (Q1484785)

From MaRDI portal





scientific article; zbMATH DE number 2632502
Language Label Description Also known as
default for all languages
No label defined
    English
    La théorie des types logiques.
    scientific article; zbMATH DE number 2632502

      Statements

      La théorie des types logiques. (English)
      0 references
      1910
      0 references
      Erwiderung auf den Artikel von \textit{H. Poincaré} über die Logik des Unendlichen (F. d. M. 40, 97, 1909, JFM 40.0097.06). 1. Die Natur der propositionalen Funktionen. 2. Definition und systematische Zweideutigkeit der Begriffe Wahrheit und Irrtum. 3. Warum eine gegebene Funktion Argumente von einem gewissen Typus wieder annimmt. 4. Die Rangordnung der Funktionen und Sätze. 5. Das Axiom der Reduzibilität. 6. Die Theorie der Klassen.
      0 references
      0 references

      Identifiers