La logique est un compagnon naturel de la philosophie. Qu'est-ce qu'un raisonnement correct ? Qu'est-ce qu'une preuve ? Peut-on définir le concept de...
Lire la suite
15,00 €
Expédié sous 3 à 6 jours
Livré chez vous entre le 30 avril et le 4 mai
En magasin
Résumé
La logique est un compagnon naturel de la philosophie. Qu'est-ce qu'un raisonnement correct ? Qu'est-ce qu'une preuve ? Peut-on définir le concept de vérité ? Que faire face aux paradoxes ? Ces questions sont débattues par les philosophes depuis l'Antiquité. La logique moderne, usant de langages formels, développe une analyse rigoureuse de ces concepts les plus fondamentaux. Les onze textes classiques réunis ici proposent un retour réflexif sur cette discipline et sur la signification philosophique de ses achèvements. Ils s'adressent à quiconque souhaite prendre la mesure des enjeux conceptuels de la logique, et à tous les étudiants désireux de compléter leur apprentissage de la discipline par une réflexion épistémologique sur ses fondements.
Sommaire
LANGAGE, MODELE ET CONSEQUENCES
L'Idéographie
Du concept de conséquence logique
Le pouvoir de la logique : la conséquence logique
PREUVE ET SIGNIFICATION
Carte blanche pour les inférences
Tonk, Plonk et Plink
Eléments d'intuitionnisme
LA VERITE ET SES PARADOXES
Les voies du paradoxe
La conception sémantique de la vérité et les fondements de la sémantique
La théorie de la vérité de Tarski
Esquisse d'une théorie de la vérité
Termes singuliers, lacunes de valeurs de vérité et logique libre