Bienvenu dans le catalogue de la Bibliothèque Universitaire de l'ULPGL Goma
Université Libre des Pays des Grands Lacs
A partir de cette page vous pouvez :
Détail de l'indexation
Ouvrages de la bibliothèque en indexation 160
Faire une suggestion Affiner la recherche
/ Frege Gottlob
| Titre : | Ecrits logiques et philosophiques | | Type de document : | texte imprimé | | Auteurs : | Frege Gottlob ; Imbert Claude | | Autre Editeur : | Seuil Diffusion | | Année de publication : | 1970 | | Importance : | Texte imprimé : Gottlob Frege, 1970, 233 p.; Couv. ill., 18 cm | | ISBN/ISSN/EAN : | 978-2-02-022966-1 | | Prix : | 0,00 | | Langues : | Français (fre) | | Tags : | Fonctions mathématiques Logique | | Index. décimale : | 160 Logique | | Résumé : | Dix textes, échelonnés entre 1879 et 1925, qui forment une médiation continue, sur les médications qu'il faut administrer à la langue naturelle pour satisfaire l'idéal d'une "langue formulaire de la pensée pure". Construction d'une logique extensionnelle |
Ecrits logiques et philosophiques [texte imprimé] / Frege Gottlob ; Imbert Claude . - [S.l.] : Seuil Diffusion, 1970 . - Texte imprimé : Gottlob Frege, 1970, 233 p.; Couv. ill., 18 cm. ISBN : 978-2-02-022966-1 : 0,00 Langues : Français ( fre) | Tags : | Fonctions mathématiques Logique | | Index. décimale : | 160 Logique | | Résumé : | Dix textes, échelonnés entre 1879 et 1925, qui forment une médiation continue, sur les médications qu'il faut administrer à la langue naturelle pour satisfaire l'idéal d'une "langue formulaire de la pensée pure". Construction d'une logique extensionnelle |
|  |
Réservation
Réserver ce document
Exemplaires
| Disponibilité |
|---|
| BU0000119 | 160 FRE | Livre | BIFAT | Philosophie | Disponible |
/ Blaché Robert & Dubucs Jacques
| Titre : | Logique (La) et son histoire | | Type de document : | texte imprimé | | Auteurs : | Blaché Robert & Dubucs Jacques | | Editeur : | Paris : A. Colin | | Autre Editeur : | Armand Colin | | Collection : | "U", série Philosophique | | Importance : | Texte imprimé : Blaché Robert & Dubucs Jacques, 1996, 396 p.; couv. ill. en coul., 24 cm | | ISBN/ISSN/EAN : | 978-2-200-01472-8 | | Prix : | 20,00 | | Langues : | Français (fre) | | Catégories : | Sciences humaines
| | Tags : | Logique | | Index. décimale : | 160 Logique | | Résumé : | C'est le renouveau de la logique depuis un siècle qui a suscité un renouveau de son histoire. Des esprits disciplinés par la pratique de la nouvelle logique ont redécouvert la logique classique et l'ont présentée sous un jour nouveau. Dans cette histoire, des points culminants apparaissent : l'Antiquité aux IVe et IIIe siècles avant notre ère avec Aristote; le Moyen Age aux XIIIe et XIVe siècles avec Abélard et Guillaume d'Occam ; la période actuelle depuis le milieu du XIXe siècle avec la logique mathématique et la logique symbolique.
L'auteur expose les cheminements de cette sciences et précise les rapports successifs des philosophes et des mathématiciens. L'étude des systèmes est conduite jusqu'à nos jours et comporte la présentation des théories de Frege, Russel, Carnap, Quine et Tarski, ainsi que de Gödel, Brouwer ou encore Gentzen |
Logique (La) et son histoire [texte imprimé] / Blaché Robert & Dubucs Jacques . - A. Colin : [S.l.] : Armand Colin, [s.d.] . - Texte imprimé : Blaché Robert & Dubucs Jacques, 1996, 396 p.; couv. ill. en coul., 24 cm. - ( "U", série Philosophique) . ISBN : 978-2-200-01472-8 : 20,00 Langues : Français ( fre) | Catégories : | Sciences humaines
| | Tags : | Logique | | Index. décimale : | 160 Logique | | Résumé : | C'est le renouveau de la logique depuis un siècle qui a suscité un renouveau de son histoire. Des esprits disciplinés par la pratique de la nouvelle logique ont redécouvert la logique classique et l'ont présentée sous un jour nouveau. Dans cette histoire, des points culminants apparaissent : l'Antiquité aux IVe et IIIe siècles avant notre ère avec Aristote; le Moyen Age aux XIIIe et XIVe siècles avec Abélard et Guillaume d'Occam ; la période actuelle depuis le milieu du XIXe siècle avec la logique mathématique et la logique symbolique.
L'auteur expose les cheminements de cette sciences et précise les rapports successifs des philosophes et des mathématiciens. L'étude des systèmes est conduite jusqu'à nos jours et comporte la présentation des théories de Frege, Russel, Carnap, Quine et Tarski, ainsi que de Gödel, Brouwer ou encore Gentzen |
| |
Réservation
Réserver ce document
Exemplaires
| Disponibilité |
|---|
| BU0012069 | 160 BLA | Livre | BIFAT | Philosophie | Disponible |
16/018D 