Cette étude introduit à la problématique de la construction sémantique du concept de vérité, lorsqu'il s'agit de saisir le sens du prédicat « vraie » dans l'énoncé « La proposition P est vraie » à l'intérieur de la pluralité des modèles relevant de langages formalisés. Y sont exposés les principaux résultats auxquels Alfred Tarski est parvenu dans Le concept de vérité dans les langages formalisés ainsi que les conditions méthodologiques ayant permis leur fondation métalogique.
| Identifer | oai:union.ndltd.org:LAVAL/oai:corpus.ulaval.ca:20.500.11794/64840 |
| Date | 04 December 2024 |
| Creators | Plante, Gilles, Plante, Gilles |
| Contributors | Daněk, Jaromír |
| Source Sets | Université Laval |
| Language | French |
| Detected Language | French |
| Type | mémoire de maîtrise, COAR1_1::Texte::Thèse::Mémoire de maîtrise |
| Format | 100 feuillets, application/pdf |
| Rights | http://purl.org/coar/access_right/c_abf2 |
Page generated in 0.0014 seconds