‎ESSAI SUR LES CONDITIONS ET LES LIMITES DE LA CERTITUDE LOGIQUE‎

‎Félix Alcan. 1898. In-12. Broché. A relier, Couv. légèrement passée, Manque en coiffe de tête, Intérieur bon état. 203 pages. Envoi de l'auteur en page de titre. Annotation sur le 1er plat. Couverture et cahiers se détachant.. . . . Classification Dewey : 160-Logique‎

‎2e édition revue. 'Bibliothèque de Philosophie Contemporaine'. Classification Dewey : 160-Logique‎

‎Les raisons de l'irrationnel - Pladoyer pour l'extraordinaire.‎

‎ Robert Laffont, Collection « Les portes de létrange» écrits ésotériques, 14 avril 1976 In-8°, broché, couverture métallisée unie rempliée de léditeur, très bel exemplaire, 231 pages .‎

‎ Excellente condition Franco de port France jusqu'à 29 euros iclus. PAYPAL immédiat. MONDIAL RELAY pour : FRANCE, Portugal, Pologne, Espagne, Allemagne, Autriche, Pays Bas, Luxembourg, Italie, Belgique. Toutes les étapes sont accompagnées. Achat, estimations et listages (Papiers, Archives, monographies, arts et métiers, sciences humaines et bibliophilie) France / Suisse (sur rdv). ‎

‎Booster ses neurones!‎

‎Charlot. 2010. In-8. Relié. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 191 pages augmentées de nombreuses illustrations en couleurs dans et hors texte.. . . . Classification Dewey : 160-Logique‎

‎ Classification Dewey : 160-Logique‎

‎Set Theory Logic and their Limitations‎

‎Cambridge University Press 1996 288 pages 22 6x2 2x14 6cm. 1996. Broché. 288 pages.‎

‎Comme neuf‎

‎L'analyse et le sens - Essai sur les préalables sémantiques de la logique et de l'épistémologie‎

‎Payot , Bibliothèque Scientifique Malicorne sur Sarthe, 72, Pays de la Loire, France 1976 Book condition, Etat : Bon broché grand In-8 1 vol. - 335 pages‎

‎ 1ere édition Contents, Chapitres : 1. L'analyse des énoncés scientifiques et les problèmes sémantiques : L'analyse sémantique et le traitement relativiste des énoncés sur les faits - Les aspects sémantiques des langues mathématiques, préalables idéalistes et développement nominalistes ou relativistes - Le retour aux points de vue opératoires dans la doctrine des langues mathématiques, les logiques constructives et leurs incidences pragmatiques - 2. Les notions majeures de la sémantique et le traitement des langues logiques ou naturelles : L'analyse sémantique des formes propositionnelles, les modalités intensionnelles et extensionnelles et la signification - Les conséquences des analyses sémantiques sur le plan aléthique, repères multiples d'une logique des vérités - Les catégories de la linguistique et les mesures les plus larges du sens - 3. Les formulations analytiques et la doctrine des savoirs : Les thèmes de l'épistémologie sous une approche sémantique - Appendices - Index papier legerement jauni, sinon bon etat‎

‎"Langage et structures - Essais de logique et de séméiologie - Collection "" Petite Bibliothèque Payot n°140 ""."‎

‎Payot. 1969. In-12. Broché. Etat d'usage, Coins frottés, Dos plié, Papier jauni. 252 pages.. . . . Classification Dewey : 160-Logique‎

‎"Collection "" Petite Bibliothèque Payot n°140 "". Classification Dewey : 160-Logique"‎

‎Langage et structures. Essais de logique et de séméiologie‎

‎Paris, Payot, "Petite bibliothèque payot" n° 140, 10,5 x 17,5, 1969, 252 pages cousues sous couverture illustrée. ‎

‎Etat d'usage. ‎

‎CLEFS POUR LA SEMANTIQUE‎

‎SEGHERS. 1972. In-12. Broché. Etat d'usage, Couv. légèrement passée, Dos plié, Intérieur frais. 266 pages - plats et coiffes frottés.. . . . Classification Dewey : 160-Logique‎

‎collection clefs Classification Dewey : 160-Logique‎

‎LOGIQUE ET PHILOSOPHIE DES SCIENCES‎

‎Hachette. 1944. In-8. Broché. Etat d'usage, Couv. légèrement passée, Dos très frotté, Intérieur bon état. 249 pages. Couverture verte et blanche. Pages légèrement passées.. . . . Classification Dewey : 160-Logique‎

‎Cours de philosophie, sous la dir. de G. Davy. Logique et psychologie. L'esprit scientifique. Classification des sciences... Classification Dewey : 160-Logique‎

‎La logica da Leibniz a Frege ‎

‎In-8 broché, Loescher, 1982, 396 pp. Un peu frotté, piqué, jauni et gauchi, usure d’usage. Bon exemplaire de lecture pour ce titre peu courant. Poids 320 g. Envoi lettre verte. Frais d'envoi 6,48 euros sur la France, 12,00 euros pour l’étranger (tarifs de base hors envois suivis). Possibilité de remise en mains propres sur Paris, possibilité d’envoi MONDIAL RELAY, n'hésitez pas à me contacter avant de passer commande. Twitter : @Pontneuf06.‎

‎ISILC Logic Conference - Proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 (Mathematical Logic) , Lecture Notes in Mathematics, volume 499 (An observation on the product of Silver's forcing - Recursively unsolvable algorithmic problems and related questions reexamined - Lectures on large cardinal axioms - Indescribability properties and small large cardinals - Marginalia to a theorem of Silver - Computation theories : An axiomatic approach to recursion on general structures - Closed models and hulls of theories - Axioms of choice in Morse-Kelley class theory - First-order logic and its extensions - Set theory in infinitary languages - Sur la méthode en histoire de la logique - The model theory of local fields - Quantifier elimination - Intensional semantics for natural languages - On extendability of models of ZF set theory to the model of Kelley-Morse theory of classes - Many-valued algorithmic logic - Data types as lattices)‎

‎Springer-Verlag - Springer , Lecture Notes in Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1975 Book condition, Etat : Bon paperback, editor's yellow and black printed wrappers grand In-8 1 vol. - 655 pages‎

‎ 1st edition, 1975 Contents, Chapitres : Contents, v, Text, 651 pages - Z. Adamowicz : An observation on the product of Silver's forcing - E. Borger : Recursively unsolvable algorithmic problems and related questions reexamined - M. Boos : Lectures on large cardinal axioms - K. Devlin : Indescribability properties and small large cardinals - K. Devlin and R. Jensen : Marginalia to a theorem of Silver - J. Fenstad : Computation theories : An axiomatic approach to recursion on general structures - R. Fittler : Closed models and hulls of theories - T. Flannagan : Axioms of choice in Morse-Kelley class theory - J. Flum : First-order logic and its extensions - K. Gloede : Set theory in infinitary languages - C. Imbert : Sur la méthode en histoire de la logique - S. Kochen : The model theory of local fields - P. Krauss : Quantifier elimination - F. v. Kutschers : Intensional semantics for natural languages - W. Marek and A. Mostwocki : On extendability of models of ZF set theory to the model of Kelley-Morse theory of classes - H. Rasiowa : Many-valued algorithmic logic - D. Scott : Data types as lattices wrappers are clean with minor folding tracks on corners of the bottom part, inside is clean, paper is lightly yellowing, the former owner had underlined very few lines at red ink with rules, about 25 lines, the text remains clean, his signature on the corner of the first page, it's still a good reading copy‎

‎Béatrix ou la logique des contraires‎

‎Paris, Honoré Champion, 1997. Coll. "Romantisme et Modernités", n° 9. Grand in-8 broché cartonné, ill. sur 1er plat (Portrait de Marie d'Agoult), 312 p. Très bon état.‎

‎Origin and Nature of Language and Logic. Perspectives in Medieval Islamic, Jewish, and Christian Thought‎

‎, Brepols, 2020 Hardback, xiv + 422 pages, Size:156 x 234 mm, Languages: English, French. ISBN 9782503588926.‎

‎Summary The annual colloquium of the SIEPM in Freiburg, Germany, was groundbreaking in that it featured a more or less equal number of talks on all three medieval cultures that contributed to the formation of Western philosophical thought, the Islamic, Jewish, and Christian traditions. Indeed, the subject of the colloquium, 'The Origin and Nature of Language and Logic in Medieval Islamic, Jewish, and Christian Thought', lent itself to such a cross-cultural approach. In all these traditions, partially inspired by ancient Greek philosophy, partially by other sources, language and thought, semantics and logic occupied a central place. As a result, the chapters of the present volume effortlessly traverse philosophical, religious, cultural, and linguistic boundaries and thus in many respects open up new perspectives. It should not be surprising if readers delight in chapters of a philosophical tradition outside of their own as much as they do in those in their area of expertise. Among the topics discussed are the significance of language for logic; the origin of language: inspiration or convention; imposition or coinage; the existence of an original language; the correctness of language; divine discourse; animal language; the meaningfulness of animal sounds; music as communication; the scope of dialectical disputation; the relation between rhetoric and demonstration; the place of logic and rhetoric in theology; the limits of human knowledge; the meaning of categories; the problem of metaphysical entailment; the need to disentangle the metaphysical implications of language; the quantification of predicates; and the significance of linguistic custom for judging logical propositions. TABLE OF CONTENTS Nadja Germann and Steven Harvey, Introduction 1. The Origin and Nature of Human Language Pierre Larcher, « Et Allah apprit à Adam tous les noms? » (Cor., 2, 31) : L'Origine du langage dans la pensée islamique Warren Zev Harvey, Three Medieval Jewish Philosophers on the Hebrew Language Aviram Ravitsky, Maimonides' Linguistic Thought and Its Greek, Islamic and Jewish Background Beata Sheyhatovitch, The Notion of Wa?? in Shar? al-K??ya by Ra?? al-D?n al-Astar?b?dh? Josef Stern, Profayt Duran's Ma?aseh Efod: The Philosophical Grammar of a Converso 2. Non-Human and Non-Verbal Communication Ziad Bou Akl, Dieu comme locuteur : le bay?n et son report dans les u??l al-?qh Luis Xavier López-Farjeat, The 'Language' of Non-Human Animals in al-F?r?b? and Avicenna Thérèse-Anne Druart, What Does Music Have To Do With Language, Logic, and Rulership? Al-F?r?b?'s Answer 3. The Nature, Kinds, and Limits of Logic Laurent Cesalli, De quibus est logica ? La position de Gauthier Burley dans le débat médiéval Fouad Ben Ahmed, Ibn ?uml?s on Dialectical Reasoning: The Extent of His Reliance on al-F?r?b? and Averroes Catherine König-Pralong, Roger Bacon. Rhétorique et sens littéral Peter S. Eardley, Rhetoric and the Epistemic Status of Theology in the Late-Thirteenth Century Yehuda Halper, Abraham Bibago on the Logic of Divine Science: Metaphysics ? and the Legend of the Pardes 4. The Signi?cance of Language for Logic Pasquale Porro, Keeping Language under Control: Late-Antique and Medieval Interpretations of the First Chapter of Aristotle's Categories Margaret Cameron, The Constraints of Nature(s): Abelard on Modality, Understanding and Linguistic Meaning Charles H. Manekin, Logic, Linguistic Custom, and the Quanti?cation of the Predicate in Gersonides‎

‎Le théorème de Gödel , Traduction de l'anglais et de l'allemand par Jean-Baptiste Scherrer (Gödel's Proof)‎

‎Seuil , Sources du Savoir Malicorne sur Sarthe, 72, Pays de la Loire, France 1989 Book condition, Etat : Bon broché, sous couverture imprimée éditeur blanche et rouge In-8 1 vol. - 184 pages‎

‎Quelques figures dans le texte en noir et blanc 1ere traduction en français, 1989 Contents, Chapitres : Préface- 1. Ernest Nagel et James R. Newman : La démonstration de Godel : Introduction - Le problème de la consistance - Les démonstrations de la consistance absolue - La systématisation de la logique formelle - Exemple de démonstration de consistance absolue - Le concept de projection et son application en mathématiques - La démonstration de Gödel (La numération de Gödel - L'arithmétisation des métamathématiques - Le coeur du raisonnement de Gödel) - Conclusions et appendices - 2. Kurt Gödel : Sur les propositions formellement indécidables des Principia Mathematica et des systèmes apparentés - 3. Jean-Yves Girard : Le champ du signe ou la faillite du réductionnisme : La tentation mécaniste : Hilbert - La chute de la maison Hilbert - Quand même ! - Postérité de Gödel - La gödélite - Bibliographie - Index de la démonstration de Gödel - Kurt Gödel, né le 28 avril 1906 à Brünn et mort le 14 janvier 1978 à Princeton (New Jersey), est un logicien et mathématicien autrichien naturalisé américain. Son résultat le plus connu, le théorème d'incomplétude de Gödel, affirme que n'importe quel système logique suffisamment puissant pour décrire l'arithmétique des entiers admet des propositions sur les nombres entiers ne pouvant être ni infirmées ni confirmées à partir des axiomes de la théorie. Ces propositions sont qualifiées d'indécidables. Gödel a également démontré la complétude du calcul des prédicats du premier ordre. Il a aussi démontré la cohérence relative de l'hypothèse du continu, montrant qu'elle ne peut pas être réfutée à partir des axiomes admis de la théorie des ensembles, en admettant que ces axiomes soient cohérents. Il est aussi à l'origine de la théorie des fonctions récursives. Il publie ses résultats les plus importants en 1931 à l'âge de 25 ans, alors qu'il travaille encore pour l'université de Vienne (Autriche). (source : Wikipedia) couverture à peine jaunie avec d'infimes traces de pliures aux coins des plats, sans aucune gravité, intérieur frais et propre, cela reste un bon exemplaire de cet ouvrage de référence sur le théorème de Gödel qui est un des fondements de la logique mathématique moderne - nb : grand format de la 1ere édition française avec l'article de Jean-Yves Girard, il ne s'agit pas de la réédition en poche‎

‎Modelli di ragionamento nella filosofia antica (Biblioteca di cultura moderna)‎

‎Laterza 1994 406 pages 13 8x2 6x20 8cm. 1994. Broché. 406 pages.‎

4 Images

‎Très Bon Etat de conservation intérieur propre bonne tenue‎

‎The Shaping of Deduction in Greek Mathematics: A Study in Cognitive History (Ideas in Context)‎

‎Cambridge University Press 1999 352 pages 15 95x2 34x23 6cm. 1999. Cartonné jaquette. 352 pages.‎

‎Très bon état avec sa jaquette intérieur propre bonne tenue‎

‎Optimization - A Theory of Necessary Conditions‎

‎Princeton University Press Malicorne sur Sarthe, 72, Pays de la Loire, France 1976 Book condition, Etat : Très Bon hardcover, editor's binding, under editor's printed dust-jacket grand In-8 1 vol. - 437 pages‎

‎ 1st Edition Contents, Chapitres : Contents, Preface, Notation, xiii, Text, 424 pages - Mathematical preliminaries - A basic optimization problem in simplified form - A general multiplier rule - Optimization with operator equation restrictions - Optimal control problems with ordinary differential equation constraints - Optimal control problems with parameters and related problems - Miscellaneous optimal control problems - Appendix : Volterra-type operators - Notes and historical comments Near fine copy, no markings‎

‎Testez votre mémoire - 315 jeux facile/moyen/difficile - Collection notre temps.‎

‎Marabout. 2010. In-8. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 511 pages - quelques figures en noir et blanc dans le texte.. . . . Classification Dewey : 160-Logique‎

‎Collection notre temps. Classification Dewey : 160-Logique‎

‎Système logique de l'architecture‎

‎Paris, Pierre Mardaga, 1979. 2e éd. Coll. Architecture + Recherches. In-8 broché, 304 p., illustrations in-t. Très bon état.Etude théorique.‎

‎Introduction à la logique mathématique. Traduit par Ch. Sarthou.‎

‎ Paris, Dunod 1964, 245x160mm, VIII - 332pages, reliure d'éditeur. Plats plastifiés. Bel exemplaire.‎

‎ Pour un paiement via PayPal, veuillez nous en faire la demande et nous vous enverrons une facture PayPal‎

‎Pensée féconde. Collection Nyssens, culture humaine.‎

‎Bruxelles, Librairie de Culture Humaine, 1930. 13 x 19, 240 pp., broché, bon état.‎

‎N OUBLIEZ PLUS FAITS ET CHIFFRES!‎

‎GRUND. 2003. In-24. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 119 pages- illustrations monochromes. . . . Classification Dewey : 160-Logique‎

‎ Classification Dewey : 160-Logique‎

‎N'oubliez plus- Faits et chiffres‎

‎Gründ. 2003. In-24. Broché. Bon état, Couv. convenable, Dos satisfaisant, Intérieur frais. 119 pages. Nombresues illustrations monochromes, dans le texte.. . . . Classification Dewey : 160-Logique‎

‎ Classification Dewey : 160-Logique‎

‎Guillaume d'Ockham le singulier‎

‎Paris, Editions de Minuit, "Philosophie", 1989, 13,5 x 22, 482 pages cousues sous couverture souple imprimée.‎

‎Très bon état (taches dues à mon appareil défectueux).‎

‎Summa Logicae [2 volumes] I: pars prima, II: pars secunda et tertiae prima‎

‎St. Bonaventure, The Franciscan Institute 1951-1954 2 volumes, xiv + 461pp. (continuous pagination), 23cm., in the series "Franciscan Institute Publications. Text series" nos.2 & 4, softcovers, small label at lower end of spine, text is clean and bright, good condition, [Introduction in English, text edition in Latin], F119073‎