Research Catalog

Title

Fondements des mathématiques et critique philosophique : contribution de Jean Ladrière / Norbert Kalindula.

Author

Kalindula, Norbert

Publication

Louvain-la-Neuve : Academia, [2024]

Items in the Library & Off-site

Details

Subject

• Mathematics > Philosophy
• Ladrière, Jean
• Metamathematics

Bibliography (note)

• Includes bibliographical references (pages 145-151).

Contents

1. Signes et symboles en sciences pures -- Sens et signification des signes dans les sciences pures -- La théorie de la signifiance -- L'univers symbolique et son mode de fonctionnement -- Les signes et leurs enjeux dans les sciences formelles -- Présentation, représentation et interprétation d'un système formel -- Le symbole : support d'une opération formelle -- Le sens d'un prédicat -- 2. Concepts opératoires des sciences pures -- Portée des concepts opératoires des sciences formelles -- Spécificité des concepts des sciences pures -- Place des concepts dans l'interprétation d'un système formel -- Les concepts sont des objets rationnels -- Conceptualisation, déduction et explication -- 3. Impact du formalisme sur les fondements des mathématiques -- Formalisme et étude des présuppositions -- Formalisme et fondement des mathématiques -- Foisonnement des théories et désir de fonder les mathématiques -- L'évolution de la géométrie et la question des fondements -- Caractère philosophico-scientifique des fondements des mathématiques -- 4. Formes et objets des sciences formelles -- Caractère rationnel des objets des sciences formelles -- Exactitude des définitions des objets des sciences formelles -- Figuration et nombrassions : transparence de la raison -- 5. Logique et instauration de la raison -- Logique traditionnelle et logique moderne -- Théorie de la démonstration et logique inductive -- Complexification et diversification de la logique -- La notion de topos et les questions fondationnelles en logique et mathématiques -- 6. Mathématiques et connaissance rationnelle -- Activité mathématique et transparence de la raison -- L'être mathématique et le procédé de son engendrement -- L'arithmétique et son domaine opératoire -- La géométrie et la pensée de la forme -- Cheminement et développement de l'être mathématique -- Fécondité interne, auto-applicabilité et unité des mathématiques -- Fécondité interne des mathématiques -- Auto-applicabilité des mathématiques -- Unité des mathématiques -- Les mathématiques dans l'univers de la rationalité -- 7. Schéma gödelien et portée de la limitation -- Schéma gödelien et indécidabilité -- Portée philosophique des faits de limitation -- Dualité de la pensée et de l'objet mathématiques.

ISBN

9782806136176

OCLC

• on1433985869
• SCSB-14860229

Owning Institutions

Princeton University Library