Aspects cognitifs en logique intensionnelle et théorie de la vérité

Dans l’optique de la recherche d’un critère plus fin d’identité propositionnelle pour une analyse adéquate du sens et de la pensée, je propose une révision de l’ontologie de la théorie des types de sens et de dénotations de Frege et Church, et je formule une logique naturelle prédicative des propositions qui explique leur forme logique en termes d’actes de prédication. Je définis en outre la notion plus subjective de vérité selon un agent ainsi qu’une nouvelle notion d’implication propositionnelle forte. La logique intensionnelle ainsi préconisée explique pourquoi les agents humains sont pourvus d’une rationalité minimale. Je conclus par la présentation d’une nouvelle axiomatisation de la logique épistémique minimale

Humanities · Linguistics and Discourse Analysis · Philosophy · Semantic Web and Ontologies