Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Il est devenu si courant aujourd'hui de parler des logiques qu'on ne sait bien souvent plus ce qu'est la logique. Cet ouvrage donne à comprendre cette discipline en décrivant le genre de questions que se posent ou que se sont posées les logiciens, le genre de certitudes qu'ils ont acquises et la variété des projets qui animent leurs recherches. S'il expose avec clarté les bases de la logique contemporaine et ses origines historiques, l'auteur montre aussi que, depuis les années 1950, les recherches logiques ont pris de nouvelles directions comme l'étude des structures syntaxiques et sémantiques des langues naturelles, l'informatique théorique, l'intelligence artificielle, la théorie des jeux, l'analyse dynamique des croyances et de la connaissance, ou encore les sciences cognitives.

Logic --- Logique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Axioms --- Logic --- Axiomatique. --- Logique.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Décidabilité (logique mathématique) --- Logique mathematique --- Theorie de la preuve --- Logique mathematique --- Theorie de la preuve

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Hypothesis. --- Logic, Ancient. --- Hypothèse --- Logique ancienne --- Hypothesis --- Logic, Ancient --- Logique antique --- Hypothèse --- Hypothèse. --- Logique antique. --- Ancient logic --- Assumption --- Supposition --- Logic --- Reasoning --- Science --- Methodology

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Philosophy and science. --- Logic. --- Mathematics. --- Philosophy. --- Logique mathématique --- Logique mathématique --- Mathématiques --- Philosophie --- Fondements des mathematiques