| Études en communication : aspects épistémologiques, méthodologiques et critiques | |
Intelligence artificielle
Indépendance de la fonction par rapport à la structure Suite à la démonstration de Turing la computation est indépendante du dispositif qui l'implémente. Il est possible de faire une simulation computationnelle des opérations mentales parce que l'on peut en faire une caractérisation précise en un ensemble d'opérations (algorithmes) sur la structure formelle des états mentaux. On peut comprendre le fonctionnement du cerveau en simulant les processus mentaux sur un ordinateur : compréhension du langage, perception visuelle, etc. | 
|
Primat du langage
La pensée est semblable au langage, elle est composée d'énoncés ont une structure syntaxique et une sémantique.
 | Le raisonnement est conforme à la théorie de la preuve Les relations sémantiques entre des propositions peuvent être reflétées par les relations syntaxiques entre les énoncés qui expriment ces propositions. Un système de preuve pour le calcul propositionnel est la donne d’un ensemble (éventuellement infini ou même vide) de formules appelées axiomes, et d’un nombre fini de règles d’inférence. Une règle d’inférence est constituée d’une ou plusieurs prémisses et d’une conséquence. La preuve est donc une opération purement syntaxique qui transforme des formules vraies en d’autres formules vraies indépendamment de la notion sémantique de vérité. |
 | dernière mise à jour : |  |