L'étude de la logique devient de plus en plus importante pour beaucoup de sciences.

HOME


« <Prologue du frère et maître Adam d'Angleterre>
A quel point sont importants, pour ceux qui cherchent la vérité, les résultats de cette science du langage que nous appelons la logique,c'est ce que nous apprennent de nombreux savants qui font autorité; la raison et l'expérience le confirment et le montrent nettement. Ainsi Aristote, principal auteur de cette science, l'appelle tantôt méthode introductive, tantôt manière de savoir, tantôt science commune à toute chose et chemin vers la vérité, donnant par là à comprendre que personne ne trouve d'accès au savoir s'il n'est instruit en logique. Averroès aussi, interprète d'Aristote, dit dans la
Physique que la dialectique est l' instrument permettant de distinguer le vrai du faux. En effet, elle lève tous les doutes, résout et éclaire toutes les difficultés des Ecritures comme en témoigne Augustin, ce docteur éminent. »

Logique des
propositions

Théorie des
modèles

Logique du
premier ordre

Extensions
du premier ordre

Logique modale

Logique
trivalente

Logiques
multivaluées

Théorie de la
démonstration

Démonstration automatique

Ontologies
formelles

Théorie des
automates

Théorie des grammaires

Machines de
Turing

Complexité
Du calcul

Calculabilité et
décidabilité

Logique
grecque ancienne

Logique
médiévale latine

Logique
informatique

Intelligence
artificielle

Théorie des
ensembles

Logique
mathématique

Logiques andines

Logiciens

Critique de la
Raison Pure

Questions, suggestions:

Webmaster@concept-global.net


Copyright © 2004-2006 Jaime V. Torres-Heredia