Fiches

Note : PTQGMXGP

Contenu

Titre

Note : PTQGMXGP

Description

<p>"Une des conséquences de la théorie mathématique des catégories est que la logique est déterminée par le topologique. Ce qui compte désormais n’est pas la proposition, mais le lieu, le topos qui a sa propre vie organique et qui impose ses modes de raisonnement. Par défaut, la logique immanente d’un topos est intuitionniste : le tiers exclu n’est plus valable, ni le mode  de démonstration par l’absurde. Lorsque l’axiome du choix est vérifié, ou de manière équivalente lorsqu’il existe une structure topologique particulière des ensembles infinis, alors le théorème de Diaconescu pose que le topos est booléen et que sa logique est classique. Cette logique aboutit le plus souvent à un partage sans autres perspectives entre des propositions qui se résolvent par tautologies pour prolonger des axiomes initiaux et des propositions fausses qui les contredisent. Dans tous les cas, classique ou non, le topologique précède le logique. L’ontologie n’est plus placée sous la dépendance de la logique, mais du topologique. Cette instance ouvre la voie à une nouvelle description de la topologie de l’Être ou onto-(po)-logie. Le but de toute ontologie est une théorie des catégories" p. 183</p>

Date de soumission

6 mars 2012, 15:43:05 +00:00

Est référencé par

PTQGMXGP

Est une partie de

TEL :: [tel-00193292, version 1] Diagrammes et Catégories

is compiled by

Lucky Semiosis

is in semantic relation with

topologie

Ontologie

logique

mathématique

Complexité

287

Date de modification

8 septembre 2023, 06:50:17 +00:00

Détails de la complexité

Physique,1,,,,,11,11

Physique,2,,,,,28,56

Actant,2,,,,,1,2

Concept,1,,,,,10,10

Concept,2,,,,,31,62

Rapport,1,1,Physique,Concept,properties,10,10

Rapport,1,1,Physique,Physique,values,10,10

Rapport,1,1,Physique,Physique,dcterms:isPartOf,1,1

Rapport,2,2,Physique,Concept,properties,11,22

Rapport,2,2,Physique,Physique,values,11,22

Rapport,2,2,Physique,Actant,cito:isCompiledBy,1,2

Rapport,2,2,Physique,Concept,skos:semanticRelation,3,6

Rapport,2,2,Physique,Physique,media,1,2

Rapport,2,2,Physique,Physique,uri,1,2

Rapport,1,1,Physique,Actant,cito:isCompiledBy,1,1

Rapport,2,2,Actant,Concept,properties,4,8

Rapport,2,2,Actant,Physique,values,4,8

Rapport,1,1,Physique,Concept,skos:semanticRelation,4,4

Rapport,2,2,Concept,Concept,properties,12,24

Rapport,2,2,Concept,Physique,values,12,24

Totaux de la complexité

Physique,2,1,2,39,67

Actant,1,2,2,1,2

Concept,2,1,2,41,72

Rapport,15,1,2,86,146

Existence,20,1,2,167,287

Collections

Zotero