VAN FRAASSEN B.

Ce sujet est traité dans les articles suivants :

1.  LOGIQUES NON CLASSIQUES

Écrit par : Jacques-Paul DUBUCS,  Universalis

Dans le chapitre "La sémantique des supervaluations"  : … de ce type ne serait plus vérifonctionnel). On peut estimer que la sémantique des supervaluations (*B. van Fraassen, 1969) réalise cette idée. Ce système est destiné à formaliser le phénomène de la présupposition dans les langues naturelles : on dit que A présuppose B si A n'est ni vrai ni faux lorsque B n'est pas vrai (« l'actuel roi de… Lire la suite