Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Trivialisme
Résumé
alt=Le trivialisme en logique symbolique; Lire « pour toute proposition p, p est une proposition vraie. »|vignette|Le trivialisme en logique symbolique; Lire « pour toute proposition p, p est une proposition vraie. »
Le trivialisme est la théorie logique selon laquelle toutes les propositions sont vraies, et toutes les contradictions de la forme « p et non p » (par exemple la boule est rouge et non rouge) sont vraies. En conséquence, un trivialiste est une personne qui estime que tout est vrai.
En logique classique, le trivialisme est une violation directe du principe de non-contradiction d'Aristote. En philosophie, le trivialisme peut être considéré par certains comme l'opposé total du scepticisme. Les logiques paracohérentes peuvent utiliser « la loi de la non-trivialité » pour éviter le trivialisme dans les pratiques logiques qui impliquent de véritables contradictions.
Des arguments théoriques ont été proposés pour contraster le trivialisme avec des théories telles que le réalisme modal (possibilisme), le dialétisme et les logiques paracohérentes.
Trivialisme, en tant que terme, est un dérivé du mot Latin trivialis, qui signifie que quelque chose peut se trouver partout. À partir de là, trivial a été utilisé pour suggérer quelque chose qui était introductif ou simple. En logique, à partir de cette signification, une théorie « triviale » est quelque chose considéré comme défectueux face à un phénomène complexe qui doit être complètement représenté. Ainsi, littéralement, la théorie trivialiste est quelque chose qui est exprimé de la façon la plus simple possible.
En logique symbolique, le trivialisme peut être exprimé comme suit:
qui serait lu comme « pour toute proposition p, p est une proposition vraie » à travers la quantification universelle (∀)
Une déclaration trivialiste peut toujours appliquer sa vérité fondamentale, aussi connu sous le nom de prédicat de vérité:
Ce qui précède serait lu comme une « proposition si et seulement si une proposition vraie », ce qui signifie que toutes les propositions sont censées être intrinsèquement prouvé comme vrai.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.