La partie III implémente l'infaillibilisme des méthodes dans une nouvelle représentation formelle de la connaissance. Nous représentons une méthode comme une fonction des mondes possibles et d'ensembles de prémisses vers des ensembles de conclusions. Les croyances sont définies comme les conclusions atteintes sur la base d'un ensemble vide de prémisses. Nous introduisons une relation d'accessibilité qui représente la possibilité (au sens aléthique), et définissons la connaissance comme une croyance basée sur une méthode qui ne donne que des croyances vraies aux mondes accessibles. Si l'on adopte une notion «grossière» de proposition comme ensemble de mondes possibles, la sémantique qui en résulte est une extension significative de la sémantique de voisinage de Richard Montague (1968, 1974) et Dana Scott (1970). En général la sémantique valide seulement la thèse que la connaissance implique la croyance et la vérité, mais nous montrons que l'ensemble des axiomes du système modal S5 communément utilisé en logique épistémique peut être retrouvé sur la base d'une série d'idéalisations naturelles des agents. Nos modèles fournissent une perspective éclairante sur les questions de savoir pourquoi et quand les axiomes de S5 sont valides et offrent une représentation plus naturelle de notions épistémiques comme la connaissance inductive ou les cas Gettier que les modèles classiques de Jaakko Hintikka (1962).

PS: absence

Je suis en vacances pour une semaine, je ne répondrai aux commentaires qu'après le 7 juillet!