Réalisme, néologicisme et constructivisme arithmétique (Book, 1995) [WorldCat.org]
skip to content
Réalisme, néologicisme et constructivisme arithmétique
Checking...

Réalisme, néologicisme et constructivisme arithmétique

Author: Rodolfo A Malverde Escobar; Jean-Toussaint Desanti; Université Paris 1 Panthéon-Sorbonne.
Publisher: 1995.
Dissertation: Thèse de doctorat : Philosophie : Paris 1 : 1995.
Edition/Format:   Thesis/dissertation : Thesis/dissertation : Manuscript   Archival Material : French
Summary:
IL S'AGIT D'UN EXAMEN DE QUELQUES THEMES A PROPOS DE LA CONTROVERSE ENTRE LE REALISME ET LE CONSTRUCTIVISME EN PHILOSOPHIE DE LA LOGIQUE ET DES MATHEMATIQUES D'APRES LA NOMENCLATURE A CE SUJET EMPLOYEE ENTRE AUTRES PAR M. DUMMETT, G EVANS ETC. DANS LES CHAPITRES 1,2 ET 3 J'EXAMINE D'UN POINT DE VUE CRITIQUE LA SEMANTIQUE DE S. KRIPKE POUR LA LOGIQUE INTUITIONISTE DU PREMIER ORDRE. J'AFFIRME LE CARACTERE IDEAL DE LA
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Thèses et écrits académiques
Material Type: Thesis/dissertation, Manuscript
Document Type: Book, Archival Material
All Authors / Contributors: Rodolfo A Malverde Escobar; Jean-Toussaint Desanti; Université Paris 1 Panthéon-Sorbonne.
OCLC Number: 489768007
Notes: Reprod. refusée par décision du jury.
1995PA010509.
Description: 401 f. ; 30 cm.
Responsibility: Rodolfo A. Malverde Escobar ; sous la direction de Jean-Toussaint Desanti.

Abstract:

IL S'AGIT D'UN EXAMEN DE QUELQUES THEMES A PROPOS DE LA CONTROVERSE ENTRE LE REALISME ET LE CONSTRUCTIVISME EN PHILOSOPHIE DE LA LOGIQUE ET DES MATHEMATIQUES D'APRES LA NOMENCLATURE A CE SUJET EMPLOYEE ENTRE AUTRES PAR M. DUMMETT, G EVANS ETC. DANS LES CHAPITRES 1,2 ET 3 J'EXAMINE D'UN POINT DE VUE CRITIQUE LA SEMANTIQUE DE S. KRIPKE POUR LA LOGIQUE INTUITIONISTE DU PREMIER ORDRE. J'AFFIRME LE CARACTERE IDEAL DE LA CONSTRUCTION INTUITIONISTE CONNUE COMME "SUITE DE CHOIX ILLIMIEE". JE DEVELOPPE AUSSI LES FONCTIONS RECURSIVES GENERALES QUE J'AI NOMME "FONCTIONS-J". DANS LES DEUX DERNIERS CHAPITRES JE CRITIQUE LE PROGRAMME NEO-LOGICISTE DU PHILOSOPHE C. WRIGHT TEL QUE CE PROGRAMME EST DEVELOPPE DANS LE LIVRE FREGE'S CONCEPTION OF NUMBRES AS OBJETCS. J'AFFIRME QUE LES DISTINCTIONS ETABLIES PAR C. WRIGHT NE SONT PAS TOUT A FAIT CATEGORIQUES ET QU'IL FAUT AVOIR UNE PERSPECTIVE HISTORIQUE A PROPOS DU DEGRE DE LA CONNAISSANCE METHEMATIQUE PAR RAPPORT A LAQUELLE LES DISTINCTIOINS CONCEPTUELLES ET LES CONSTRUCTIONS MATHEMATIQUES ONT LIEU.

THE THESIS IS AN EXAMINATION OF SOME ISSUES WITHIN THE CONTROVERSY BETWEEN REALISM AND CONSTRUCTIVISM IN THE PHILOSOPHY OF LOGIC AND METHEMATCIS. IN THE FIRST THREE CHAPTERS I EXAMINE, FROM A CRITICAL POINT OF VIEW, THE SO CALLED KRIPKE SEMANTICS FOR INTUITIONISTIC FIRS-ORDER LOGIC. I ASSERT THAT THE INTUITIONISTIC CONSTRUCTION KNOWN AS "FREE-CHOISE SEQUENCE" IS AN EXAMPLE OF AN IDEAL CONSTRUCTION. I ALSO DEVELOP THE GENERAL RECURSIVE FUNCTIONS WHICH I HAVE ELSEWHERE NAMED "J-FUNCTIONS". IN THE LAST TWO CHAPETRS I CRITICISE THE NEOLOGICIST PROGRAMME FOR THE NATURAL NUMBERS OF THE PHILOSOPHER C. WRIGHT, AS THIS PROGRAMME IS PRESENTED AND EXPLAINED IN HIS FREGE'S CONCEPTION OF NUMBERS AS OBJECTS. I ASSERT THAT SOME OF WRIGHT'S DISTINCTIONS ARE NOT AS CATEGORICAL AS HE SEEMS TO CLAIM AND THAT IT IS NECESSARY TO APPRECIATE THESE DISTINCTIONS AS WELL AS THE CONSTRUCTIONS OF MATHEMATICAL NATURE AS DETERMINED BY THE DEGREE OF MATHEMATICAL KNOWLEDGE USED IN ESTABLISHING THEM.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.