Notion de système formel. Prolégomènes à une logique cognitiviste

• Remerciements
  
• Introduction
  
• 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.3. Du point de vue sémantique
    
  • II.3. Autre solution : la logique illocutoire
    
  • II.3.1. Les principes de la logique illocutoire
    
    • a.i.2.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
          
        • a.i.3. Règles de deduction
          
        • a.i.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
        
      • 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èresREMERCIEMENTS 2