Notion de système formel. Prolégomènes à une logique cognitivisme à partir de Donald Davidson

• Remerciements
  
• Introduction
  
• Chapitre premier : Généralités sur le système formel
  
  • I.0. Introduction
    
  • I.1. Horizon de recherche
    
    • I.1.1. Système formel et esprit géométrique
      
    • I.1.2. Qu'est-ce qu'un système formel ?
      
    • I.1.3. A propos d'une théorie pour l'explication des conditions de vérité et d'une théorie de la signification
      
    • I.1.4. Théorie sémantique des mondes possibles
      
    • I.1.5. Que faut-il entendre par logique cognitiviste ?
      
  • I.2. Les grandes approches des systèmes formels
    
    • I.2.1. Approche syllogistique
      
    • I.2.2. Approche algébrique et sémantique
      
    • I.2.3. Approche syntaxique et la méthode axiomatique
      
• Chapitre deux : Limites et dépassements de grandes approches de systèmes formels
  
  • II.0. Introduction
    
  • II.1. Limites
    
    • II.1.1. Du point de vue syllogistique
      
    • II.1.2. Du point de vue syntaxique
      
      • a. Théorème de Gödel
        
      • b. Théorème de Church
        
    • II.1.3. Du point de vue sémantique
      
      • a. Théorème de Tarski
        
      • b. Problème de la catégoricité
        
    • II.1.4. Autres limites
      
  • II.2. Dépassements
    
    • II.2.1. Du point de vue syllogistique
      
    • II.2.2. Du point de vue syntaxique
      
    • II.2.3. Du point de vue sémantique
      
  • II.3. Autre solution : la logique illocutoire
    
    • II.3.1. Les principes de la logique illocutoire
      
      • a. Le but illocutoire
        
      • b. Le mode d'atteinte de but illocutoire
        
      • C. Les conditions sur le contenu propositionnel
        
      • d. Les conditions préparatoires
        
      • e.Les conditions de sincérité
        
      • f. Le degré de puissance
        
    • II.3.2. La définition de base du succès des énoncés
      
    • II.3.3. La logique propositionnelle de la logique illocutoire
      
  • Conclusion
    
• Chapitre trois : vers une logique cognitiviste
  
  • III.0. Introduction
    
  • III.1. Cognitivisme et sciences cognitives
    
    • III.1.1. Caractéristiques du cognitivisme
      
      • III.1.1.1. Intuitions méthodologiques et philosophiques
        
    • III.1.2. Hypothèses fondamentales
      
    • III.1.3. Critique du cognitivisme par le connexionnisme
      
  • III.2. Ebauche d'une logique cognitiviste
    
    • III.2.1. La dimension démonstrative de la logique cognitiviste
      
      • a. Modalité de sincérité
        
        • 1°) le consensus minimal
          
        • 2°) la qualité du locuteur
          
        • 3°) les circonstances appropriées
          
        • 4°) La compétence linguistique
          
        • 1. Les axiomes
          
        • 2. Les definitions
          
        • 3. Règles de deduction
          
        • 4. Règles secondaires
          
      • b. Modalité de performativité
        
        • 1°) La sincérité
          
        • 2°) La forme bonne et due
          
        • 3°) La procédure socialement acceptée
          
        • 4°) L'énonciation doit se faire dans le lieu approprié
          
        • a. Les axiomes
          
        • b. Les definitions
          
      • c. Règles de deduction
        
      • d. Règles secondaires
        
    • III.2.2. la dimension agentive de la logique cognitiviste
      
      • a. Eléments de la logique agentive
        
      • b. Règles de la logique agentive
        
      • c. Illustrations
        
  • Conclusion
    
• Conclusion générale
  
• Néanmoins, nous osons croire que les résultats obtenus à l'issue de cette enquête pourront servir de base à l'autres chercheur intéressés par les questions de logique et de cognition et qu'ils pourrons l'exploiter en vue d'élaborer des systèmes logiques plus performants que ceux qui existent.
  
• bibliographie
  
• Table des matières