Find a copy in the library
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:
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

