Sémantique formelle (logique)

étude de la sémantique, ou l'interprétations, des langages formels et naturels

En logique, la sémantique de la logique est l'étude de la sémantique, ou l'interprétations, des langages formels et naturels qui, en général, tentent de saisir la notion pré-théorique de déduction.

AperçuModifier

Parmi les tâches des logiciens figure la fourniture de signification aux propositions.

Avant l'avènement de la logique moderne, l'Organon d'Aristote, et en particulier De Interpretatione a servi de base à la compréhension de l'importance de la logique. L'introduction de la quantification, nécessaire à la résolution du problème de généralité multiple, a rendu impossible le genre d'analyse sujet-prédicat que régissait l'œuvre d'Aristote.

Les principales approches modernes de la sémantique des langages formels sont les suivantes:

Quand les langages formels sont des langages de programmation ou des systèmes décrivant des calculs, la sémantique formelle comporte trois branches:

Voir aussiModifier

RéférencesModifier