« Précis d'épistémologie » : différence entre les versions

Contenu supprimé Contenu ajouté
Aucun résumé des modifications
Le problème de la liaison et la diversité des noms d'un même être
Ligne 100 :
## Conséquence nécessaire et possibilité logique
## La vérité des énoncés composés
## Les règles fondamentales de déduction
## L'interdéfinissabilité des connecteurs logiques
## Les règles de déduction
### La règle de particularisation
### La règle de généralisation
### La règle de détachement
### La règle d'incorporation d'une hypothèse
### Le principe du raisonnement par l'absurde
### La règle de suppression de la double négation
### La règle d'analyse
### La règle de synthèse
### La règle d'affaiblissement d'une thèse
### La règle d'élimination d'une disjonction
### La règle de la preuve directe d'existence
### La règle d'élimination d'un quantificateur existentiel
## Les raisonnements sans hypothèse et les lois logiques
## La dérivation des conséquences logiques
## L'interdéfinissabilité des connecteurs logiques
## Pourquoi les raisonnements nous permettent-ils d'acquérir du savoir ?
## La justification de la logique
## Le paradoxe de Lewis Caroll
## Le savoir mathématique
## La logique de l'identité
### LaLe problème de la liaison et la diversité des noms d'un même être
### Les règles fondamentales de la logique de l'identité
### Le principe d'indiscernabilité des identiques
### L'identité des individus dans les mondes naturellement possibles
### L'identité des propriétés et des relations
### L'identité des structures et les isomorphismes
### Les structures en tant que propriétés
### Les structuressymétries symétriquessont des automorphismes
## Le savoir mathématique
 
# [[/Les fondements des mathématiques/]]