‎Introduction à la théorie des ensembles‎

‎ 1997 Editions Jacques Gabay - 1997 - In-8 broché - 127 pages ‎

‎Très bon état Très bon ‎

‎Konzeption und Begründung der Induktion. Eine Untersuchung zur Methodologie von Charles S. Peirce.‎

‎Würzburg, Königshausen & Neumann, 1988, in-8vo, 202 S., orig. Leinenband mit orig. illustr. Umschlag.‎

‎Essai sur le problème le plus général, Action et logique‎

‎Félix Alcan, Bibliothèque de Philosophie Contemporaine, 1939 14 x 23, 420 pp., broché, Bon état - dos réparé‎

‎Conséquences du pragmatisme. Essais 1972-1980‎

‎Seuil Couverture souple Paris 1993 ‎

‎Très bon In-8. 411 pages. Ex-libris manuscrit d'un ancien propriétaire, quelques traits en marge. Coll. "L'ordre philosophique".‎

‎Pratique de la logique - Logique des propositions.‎

‎Editions scolastiques. 1979. In-8. Broché. Etat d'usage, 1er plat abîmé, Dos satisfaisant, Intérieur frais. 137 pages - coins frottés - petite déchirure en pied sur le 1er plat - nombreuses figures en noir et blanc dans le texte.. . . . Classification Dewey : 160-Logique‎

‎ Classification Dewey : 160-Logique‎

‎Eléments de logique contemporaine.‎

‎ P., PUF (Collection SUP), 1967, in 12 broché, 127 pages ; petit accident au plat inférieur. ‎

‎PHOTOS sur DEMANDE. ...................... Photos sur demande .......................... ‎

‎Eléments d'une logique contemporaine - Collection Sup initiation philosophique n°79.‎

‎Presses universitaires de France. 1967. In-12. Broché. Etat d'usage, Couv. légèrement passée, Dos satisfaisant, Papier jauni. 124 pages - étiquette collée sur le 2eme plat.. . . . Classification Dewey : 160-Logique‎

‎Collection Sup initiation philosophique n°79. Classification Dewey : 160-Logique‎

‎Initiation à la Logique‎

‎Gauthier- Villars Paris 1957‎

‎Bon état Ouvrage broché non découpé, 89 pages, format: 25 x 16.5 cm - largeur/hauteur : x cm - poids : g - nombre de pages : p. - langue : ‎

‎Seule la logique permet de bien penser - Collection apprendre à philosopher.‎

‎Rba. 2016. In-8. Relié. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 157 pages - nombreuses photos et figures en noir et blanc dans et hors texte.. . . . Classification Dewey : 160-Logique‎

‎Collection apprendre à philosopher. Classification Dewey : 160-Logique‎

‎Améliorez vos performances intellectuel‎

‎Editions france loisirs. Non daté. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 160 pages augmentées de nombreuses illustrations en couleurs dans le texte. Couverture rempliée.. . . . Classification Dewey : 160-Logique‎

‎ Classification Dewey : 160-Logique‎

‎500 tests psychotechniques de logique et d'intelligence - Collection L'Express emploi.‎

‎Express Roularta. 2010. In-8. Broché. Etat d'usage, Coins frottés, Dos satisfaisant, Intérieur frais. 292 pages, nombreuses illustrations en noir et blanc dans et hors texte.. . . . Classification Dewey : 160-Logique‎

‎Collection L'Express emploi. Traduction Kelly Rivière. Classification Dewey : 160-Logique‎

‎Watt‎

‎Les Éditions de Minuit 1968 in8. 1968. Broché. Watt devient domestique au service de Mr Knott un maître énigmatique vivant dans une maison isolée. Il y découvre un univers régi par des règles incompréhensibles et des rituels absurdes offrant une réflexion sur les limites du langage et les errements de la logique‎

‎Bon état couverture latérale tachée pages jaunies intérieur propre‎

‎Cours complet de philosophie. Tome premier : Elemens de logique à. l'usage des gens du monde, formant la première partie d'un cours complet de philosophie. Tome deuxième : Elemens de métaphysique, ou, préservatif contre le matérialisme, l'athéisme et le déisme. Ouvrage dans lequel on a taché de présenter de la maniere la plus claire, tout ce qu'on fait touchant la spiritualité, l'immortalité, la liberté de l'âme, l'influence de l'âme sur le corps, & du corps sur l'ame, etc. On a démontré l'existence de la loi naturelle & la divinité de la Religion Chrétienne; enfin on a répondu de la maniere la plus solide, aux objections des plus fameux deistes. (2 volumes sur les 4 parus) ‎

‎ 1794 A Paris, Chez Froullé - M.DCC.XCIV (1794) - Deux volumes in-duodecimo, reliure plein veau blond, dos lisse, filets, titre et fleurons en doré, étiquette de titre rouge, étiquette de tomaison vert sapin - Deux premiers volumes sur les quatre parus - 216 pages + 360 pages ‎

4 Images

‎Bon état - Menus frottements et légères éraflures sur les plats bon ‎

‎Louis Courturat - Traité de logique algorithmique.‎

‎ Birkhäuser Science autour de 1900 Around 2010 Birkhäuser, Publication des Archives Henri-Poincaré, 2010 (copyright), 317 p., cartonnage éditeur, environ 24x16cm. Dos un peu aplati vers le premier plat, coins légèrement frottés, des pages annotées au crayon à papier, 2 pages frottées avec atteinte au texte (mais lisible). Bon état pour le reste.‎

9 Images

‎Introduction et appareil critique en anglais. Transcription du manuscrit en français. Merci de nous contacter à l'avance si vous souhaitez consulter une référence au sein de notre librairie.‎

‎Une philosophie de savant - Henri Poincaré et la logique mathématique‎

‎François Maspéro , Algorithme Malicorne sur Sarthe, 72, Pays de la Loire, France 1978 Book condition, Etat : Très Bon broché, sous couverture imprimée à rabats éditeur verte, illustrée d'une figure d'un rouage de machine In-8 1 vol. - 175 pages‎

‎ 1ere édition, 1er tirage, 1978 "Contents, Chapitres : Introduction - 1. Les mathématiques : Mathématiques et expérience - Mathématique et logique - Mathématique et langage - 2. La géométrie - 3. La mécanique et la physique : Mécanique et géométrie - Mécanique et physique - La physique - 4. La philosophie - 5. Le fait et l'exemple : La stratégie - L'intégration - 6. Critique de la logique mathématique : Les ""vraies mathématiques"" - Poincaré face à la crise des fondements des mathématiques, 1905-1912 - Conclusion et bibliographie - Selon Wikipedia : ""Pendant les six dernières années de sa vie (à partir de 1905), Poincaré participe activement aux débats sur les fondements qui traversaient à l'époque la communauté mathématique. Il n'a jamais essayé d'y contribuer sur le plan technique, mais certaines de ses idées ont eu une influence indéniable. L'un de ses contradicteurs, Bertrand Russell, écrira en 1914 : « Il n'est pas possible d'être toujours juste en philosophie ; mais les opinions de Poincaré, justes ou fausses, sont toujours l'expression d'une pensée puissante et originale, servie par des connaissances scientifiques tout à fait exceptionnelles ». Entre autres, à cause de son refus d'accepter l'infini actuel, cest-à-dire la possibilité de considérer l'infini comme une entité achevée et non simplement comme un processus qui peut se prolonger arbitrairement longtemps, Poincaré est considéré par beaucoup d'intuitionnistes comme un précurseur. Poincaré n'a cependant jamais remis en cause le tiers exclu, et rien n'indique qu'il aurait pu adhérer à une refondation aussi radicale des mathématiques que celle que proposera Luitzen Egbertus Jan Brouwer. La position de Poincaré a évolué. Dans une période précédente, il s'est intéressé aux travaux de Georg Cantor, dont les travaux sur la construction des réels et la théorie des ensembles s'appuient de façon essentielle sur un infini actuel, au point de superviser la traduction en français d'une partie des articles de ce dernier (en 1871, 1883), et d'utiliser ses résultats dans son mémoire sur les groupes kleinéens (1884). Il s'intéresse également aux travaux de David Hilbert sur l'axiomatisation : il fait, en 1902, une recension soignée et très louangeuse des Fondements de la géométrie (1899). En 1905 et 1906, Poincaré réagit, de façon assez polémique, à une série d'articles de Louis Couturat sur les « principes des mathématiques » dans la Revue de métaphysique et de morale, articles qui rendaient compte des Principles of Mathematics de Bertrand Russell (1903). Russell finira par intervenir lui-même dans le débat""." papier à peine jauni, sinon bel exemplaire, frais et propre‎

‎Contributions to Mathematical Logic - Proceedings of the Logic Colloquium, Hannover, 1966 (Logique mathématique) , Studies in Logic and the Foundations of Mathematics (Saturated intuitionistic theories - Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability - On recursively unsolvable problems in topology and their classification - Constructive thermodynamics - A deduction theorem for inferential predicate - Zur Berechenbarkett primitiv-rekursiver Funcktionale endlicher Typen - Equational maps - Some forms of models of proportional calculi - Lenghts of formulas and elimination of quantifiers I - A decision procedure for the weak second order theory of linear order - Strukturzahlen in endlichen Relationssystemen - A survey of some connections between classical intuitionistic and minimal logic - Zur Semantik der intuitionischen Aussagenlogik - Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic - Reflection principles of subsystems of analysis -Equational logic and equational theories of algebras - The use of Brouwer's principle in intuitionistic topology)‎

‎North-Holland Publishing Company , Studies in Logic and the Foundations of Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1968 Book condition, Etat : Bon hardcover, editor's yellow printed binding, no dust-jacket grand In-8 1 vol. - 309 pages‎

‎ 1st edition, 1968 Contents, Chapitres : Contents, Preface, xi, Text, 298 pages - P.H.G. Aczel : Saturated intuitionistic theories - W.W. Boone : Decision problems about algebraic and logical systems as a whole and recursively enumerable degrees of unsolvability - W.W. Boone, W. Haken and V. Poenaru : On recursively unsolvable problems in topology and their classification - W.K. Burton : Constructive thermodynamics - H.B. Curry : A deduction theorem for inferential predicate - J. Diller : Zur Berechenbarkett primitiv-rekursiver Funcktionale endlicher Typen - W. Felscher : Equational maps - R. Harrop : Some forms of models of proportional calculi - L. Hodes and E. Speckler : Lenghts of formulas and elimination of quantifiers I - H. Lauchli : A decision procedure for the weak second order theory of linear order - W. Obserschelp : Strukturzahlen in endlichen Relationssystemen - D. Prawitz and P.-E. Malmnas : A survey of some connections between classical intuitionistic and minimal logic - K. Schütte : Zur Semantik der intuitionischen Aussagenlogik - D. Siefkes : Recursion theory and the theorem of Ramsey in one-place second order successor arithmetic - G. Takeuti and M. Yasugi : Reflection principles of subsystems of analysis - A. Tarski : Equational logic and equational theories of algebras - A.S. Troelstra : The use of Brouwer's principle in intuitionistic topology the editor's binding is fine but without dust-jacket, inside is good, adhesives tracks on the end-paper (first and last pages), the former owner had underlined very few lines at red ink with rules, on about 20 lines, the text remains clean, it's still a good copy in the first edition, 1968, no other markings‎

‎The Domain of Logic according to Saint Thomas Aquinas‎

‎The Hague, Martinus Nijhoff 1966 xviii + 352pp., original 1966-edition, 24cm., softcover, good condition, F104898‎

‎A Comprehensive Logic for Epistemic Propositional Attitudes‎

‎Berlin, 1994 216pp., 21cm., softcover, text in German, Doctoral dissertation (Inaugural-Dissertation zur Erlangung des Doktorgrades am Fachbereich Philosophie und Sozialwissenschaften I der Freien Universität Berlin), stamp at verso of title page, text is clean and bright, good condition, F108789‎

‎"La phénoménologie des ""recherches logiques"" de Husserl - Collection épiméthée essais philosophiques."‎

‎Presses universitaires de France. 1967. In-12. Broché. Etat d'usage, Couv. légèrement passée, Dos satisfaisant, Intérieur acceptable. 370 pages - couverture jaunie.. . . . Classification Dewey : 160-Logique‎

‎Collection épiméthée essais philosophiques. Classification Dewey : 160-Logique‎

‎La Logique ou lart de discourir et raisonner‎

‎Fayard, Corpus des oeuvres de philosophies en lagnue française, 1984, 371 pp., relié, passages soulginés au crayon, état correct.‎

‎L'intentionalité - Essai de philosophie des états mentaux‎

‎Minuit, Propositions, 1985, 340 pp., broché, exemplaire un peu jauni, dos bruni, état correct.‎

‎Logique et mathématique chez Bernard Bolzano , dans la collection L'Histoire des Sciences, Textes et Etudes‎

‎Librairie Philosophique J. Vrin , L'Histoire des Sciences, Textes et Etudes Malicorne sur Sarthe, 72, Pays de la Loire, France 1992 Book condition, Etat : Bon broché, sous couverture imprimée éditeur blanche, illustrée d'une figure grand In-8 1 vol. - 522 pages‎

‎ 1ere édition, 1992 Contents, Chapitres : Chronologie, avant-propos, introduction - 1. A la recherche des fondements : Le rationalisme en géométrie - Aux sources de la topologie - La notion de continuité - L'arithmétisation de l'analyse - 2. Logique et théorie de la science : Les objets logiques - Logique des représentations - Logique de la variation - Architecture des théories - Théorie de la science proprement dite - 3. Le système mathématique : Objet et division de la mathématique - La doctrine des ensembles - Les grandeurs et les nombres - La construction des nombres réels - Théorie des fonctions de variables réelles - 4. Les chemins de l'infini - Conclusion - Bibliographie détaillée - Lexique - Index détaillés et table - Bernard Bolzano (5 octobre 1781 18 décembre 1848), de son nom complet Bernhard Placidus Johann Nepomuk Bolzano, est un mathématicien, logicien, philosophe et théologien né et mort à Prague. Fils dune germanophone et dun émigré dItalie en Bohême, alors dans lEmpire dAutriche, Bolzano a rédigé toutes ses uvres en allemand. L'influence de ses ouvrages philosophiques est importante, tout comme ses découvertes en mathématiques. Il a donné son nom à deux théorèmes. - Bolzano est souvent considéré comme un des fondateurs de la logique moderne. Dans sa Théorie de la science de 1837, il essaie de fournir des fondements logiques à toutes les sciences, construites à partir d'abstractions, d'objets abstraits, d'attributs, de constructions, de démonstrations, de liens La plupart de ces tentatives retracent ses travaux précédents concernant la relation objective entre les conséquences logiques (les choses telles qu'elles se produisent) et notre perception purement subjective de ces conséquences (notre façon d'aborder les évènements). Il se rapproche ici de la philosophie des mathématiques, comme dans ses Beiträge de 1810. Pour Bolzano, nous n'avons aucune certitude quant aux vérités, ou supposées comme telles, de la nature ou des mathématiques, et c'est justement le rôle des sciences, pures comme appliquées, que de trouver une justification des vérités (ou des lois) fondamentales, qui se trouvent le plus souvent en contradiction avec nos intuitions. (source : Wikipedia) couverture à peine jaunie sans gravité, sinon bel exemplaire, intérieur frais et propre de cette étude magistrale sur Bolzano, un des ouvrages de référence en langue française‎

‎Hasard et contingence , dans la série Logique et Méthodologie, exposés publiés sous la direction de Thomas Greenwood, n° 4, A.S.I. n° 628‎

‎Hermann et Cie , Actualités Scientifiques et Industrielles Malicorne sur Sarthe, 72, Pays de la Loire, France 1938 Book condition, Etat : Bon broché, sous couverture imprimée éditeur marron grand In-8 1 vol. - 67 pages‎

‎ 1ere édition Contents, Chapitres : La notion de hasard - Les deux formes du nécessaire - Déterminisme et jeux de hasard - La logique du contingent infime petite tache sur le bas du plat supérieur de la couverture, dos à peine frotté sur 1 cm, sinon tres bon état, intérieur tres frais, papier à peine jauni‎

‎Essai Sur La Signification De La Logique‎

‎Paris Félix Alcan 1939 In-12 153 pp, Nouvelle Encyclopédie Philosophique, dos insolé‎

‎ Bon Broché à raba‎

‎Essai sur la signification de la logique‎

‎Paris, F.Alcan 1939 157pp., br., dans la série "Nouvelle encyclopédie philosophique", qqs.estampes, bon état‎