Acceptation stable pour une connaissance puissante

Résumé S'appuyant sur le comportement déroutant des attributions de connaissance ordinaire qui intègrent une affirmation d'(im)possibilité épistémique, nous concluons de manière tentante qu'il est insoutenable d'approuver conjointement (i) une logique classique sans entrave pour le langage épistémique, (ii) la véridicité générale de l'attribution de connaissance, et (iii) une thèse intuitive de ‘transparence négative’ qui réduit la connaissance d'une simple affirmation ‘pourrait’ niée à une affirmation épistémique sans contenu modal. Nous motivons un compromis stratégique : préserver la véridicité et la transparence négative (généralisee), tout en abandonnant la validité générale de la contraposition. Nous critiquons diverses approches pour intégrer la véridicité dans la sémantique de domaine, un cadre paradigmatique ‘sensibilité à l'information’ pour capturer la transparence négative et, plus généralement, le comportement non classique des phrases avec modaux épistémiques. Nous présentons ensuite une nouvelle sémantique sensible à l'information qui exécute avec succès notre stratégie favorisée : la sémantique d'acceptation stable, étendant une sémantique bilatérale basée sur l'état pour les modaux épistémiques avec un opérateur de connaissance vaguement inspiré par la théorie de la défaisabilité de la connaissance.