Nantilus
Philosophie de la logique : conséquence, preuve et vérité
| Auteurs principaux : | , , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Philosophie de la logique : conséquence, preuve et vérité / textes réunis par Denis Bonnay et Mikaël Cozic; présentés et traduits par C. Besson, D.Bonnay... [et al.] |
| Publié : |
Paris :
Librairie philosophique J. Vrin
, 2009 |
| Description matérielle : | 1 vol. (447 p.) |
| Collection : | Textes clés (Paris. 2002) |
| Traduction de : | Begriffschrift O pojeciu wynikania logicznego Thinking about Logic The Runabout Inference-ticket Tonk, Plonk, and Plink Elements of Intuitionism The Ways of Paradox The semantic conception of truth and the foundations of semantics Tarski's Theory of Truth Outline of a theory of truth Singular-Terms, Truth-Value Gaps, and Free Logic Three-valued logic |
| Contient : | L' idéographie : Gottlob Frege Du concept de conséquence logique : Alfred Tarski Le pouvoir de la logique : la conséquence logique : Stephen Read Carte blanche pour les inférences : Arthur Prior Tonk, Plonk et Plink : Nuel Belnap Eléments d'intuitionnisme : Michael Dummett Les voies du paradoxe : William V.O. Quine La conception sémantique de la vérité et les fondements de la sémantique : Alfred Tarski La théorie de la vérité de Tarski : Hartry Field Esquisse d'une théorie de la vérité : Saul Kripke Termes singuliers, lacunes de valeurs de vérité et logique libre : Bas Van Fraassen La logique trivalente : Hilary Putnam |
| Sujets : |
Chargement en cours