Acquisitions de la bibliothèque en 2014

Transcription

Acquisitions de la bibliothèque en 2014
Acquisitions de la bibliothèque en 2014 The Architecture of Innovative Apprenticeship / Ludger Deitmer, Ursel Hauschildt, Felix Rauner, Helmut Zelloth, editors. -­‐ Dordrecht : Springer, 2013. -­‐ 1 vol. (IX-­‐344 p.) ; 24 cm. -­‐ (Technical and Vocational Education and Training: Issues, Concerns and Prospects, ISSN 1871-­‐3041 ; 18). -­‐ Notes bibliogr. et Index. Cote : 003 DEIT ARCH Une question de taille / Olivier Rey. -­‐ Paris : Stock, 2014. -­‐ 1 vol. (273 p.) ; 22 cm. -­‐ (Les essais). -­‐ Bibliogr. p.263-­‐273. Cote : 003 REY QUES 100 questions de sciences à croquer . -­‐ [Paris] : Éd. le Pommier, impr. 2007. -­‐ 1 vol. (185 p.) : ill., couv. ill. en coul. ; 16 cm. -­‐ (Les Petites pommes du savoir, ISSN 1625-­‐1245 ; 100). Cote : 030 POMM QUES Identity and Difference: John Locke and the invention of consciousness / Etienne Balibar ; introduced by Stella Sandford. -­‐ Brooklyn : Verso Books, 2013. -­‐ 1 vol. (xlvi-­‐158 p.) ; 28 cm. -­‐ Bibliogr.. Cote : 109.4 BALI IDEN Logique et mathématique chez Bernard Bolzano / par Jan Sebestik. -­‐ Paris : J. Vrin, 1992, cop. 1992 (53-­‐Mayenne : Impr. de la Manutention). -­‐ 1 vol. (522 p.) : fig. ; 22 cm. -­‐ (L'histoire des sciences, textes et études). -­‐ Bibliogr. p. [481]-­‐504. Notes bibliogr. Lexique. Index Cote : 109.5 BOLZ LOGI Premiers écrits : philosophie, logique, mathématique / B. Bolzano ; édition coordonnée par Carole Maigné et Jan Sebestik ; traductions de l'allemand par Martin Bartzel, Jacques Croizer, Sandra Lapointe... [et al.]. -­‐ Paris : J. Vrin, 2010. -­‐ 1 vol. (287 p.) ; 22 cm. -­‐ (Bibliothèque des textes philosophiques). -­‐ Bibliogr. p. [263]-­‐271. Notes bibliogr. Glossaire. Index. Cote : 109.5 BOLZ PREM Théorie de la science / Bernard Bolzano ; édition établie par Friedrich Kambartel ; traduit de l'allemand par Jacques English. -­‐ Paris : Gallimard, DL 2011, cop. 2011. -­‐ 1 vol. (478 p.) : fig. ; 23 cm. -­‐ (Bibliothèque de philosophie). -­‐ Trad de : "Grundlegung der Logik. Wissenschaftslehre I/II". -­‐ Trad. de la seconde éd. revue de : "Fondation de la logique" (Hambourg, 1978), paragraphes choisis de la "Théorie de la Science", tomes 1 et 2. -­‐ Notes bibliogr. Index. Cote : 109.5 BOLZ THEO Auguste Comte : science et société / Michel Bourdeau. -­‐ Futuroscope : SCÉRÉN-­‐CNDP-­‐
CRDP, DL 2013, cop. 2013 (53-­‐Mayenne : Impr. Jouve). -­‐ 1 vol. (85 p.) : ill., couv. ill. ; 21 cm. -­‐ (Philosophie en cours : séries générales, ISSN 2109-­‐8786). -­‐ Bibliogr. p. 84-­‐85. Cote : 109.5 COMT BOUR Apparenter la pensée ? : vers une phylogénie des concepts savants / sous la direction de Pascal Charbonnat, Mahé Ben Hamed, Guillaume Lecointre. -­‐ Paris : Editions Matériologiques, cop. 2014. -­‐ 1 vol. (284 p.) : tabl., graph., carte, couv. ill. ; 24 cm. -­‐ (Collection Sciences & philosophie). -­‐ Résumés en français et en anglais p. [271]. -­‐ Bibliogr. p. 143. Notes bibliogr.. Cote : 159 CHAR APPA Meaning and argument: a theory of meaning centred on immediate argumental role / Cesare Cozzo. -­‐ Stockholm : Almquist & Wiksell, cop. 1994. -­‐ VIII-­‐208 p ; 24 cm. -­‐ (Acta universitatis stockholmiensis, Stockholm studies in philosophy, ISSN 0491-­‐0877 ; 17). -­‐ Texte remanié de : Diss. : Department of philosophy : Stockholm, University : 1994 Cote : 159 COZZ MEAN L'innéité aujourd'hui : connaissances scientifiques et problèmes philosophiques / sous la direction de Denis Forest ; avec les contributions de : Delphine Blitman, Denis Forest, Marion Le Bidan... [et al.]. -­‐ Paris [Ed. Matériologiques], cop. 2013. -­‐ 1 vol. (170 p.) : 24 cm. -­‐ (Collection Sciences & philosophie). Cote : 159 FORE INNE Neuroscepticisme : Les sciences du cerveau sous le scalpel de l'épistémologue / Denis Forest. -­‐ Montreuil-­‐sous-­‐Bois : Ithaque, 2014. -­‐ 1 vol. (204 p.) : couv. en coul. ; 22 cm. -­‐ (Philosophie, anthropologie, psychologie). -­‐ Bibliogr. et Index en ligne sur le site des éditions Ithaque. Cote : 159 FORE NEUR Les mutations de l'écriture / sous la direction de François Nicolas ; avec la collaboration d'Aurélien Tonneau. -­‐ [Paris] : Publications de la Sorbonne, impr. 2013, cop. 2013. -­‐ 1 vol. (214 p.) : ill. en noir ; 24 cm. -­‐ (Logique, langage, sciences, philosophie ; 3). -­‐ Rassemble différentes contributions présentées lors d'un colloque organisé à l'École normale supérieure, Paris, les 19 et 20 octobre 2007. -­‐ Bibliogr. p. [213]-­‐214. Notes bibliogr. en bas de pages. Cote : 159 NICO MUTA Cognitive Penetrability of Perception / Athanassios Raftopoulos. -­‐ . -­‐ 1 vol. (xxxvii, 217 p.) : ill., couv. ill. ; 27 cm. -­‐ Bibliogr..; Cote : 159 RAFT COGN An early history of recursive functions and computability : from Gödel to Turing / Rod Adams. -­‐ [New ed.]. -­‐ [Boston] : Docent Press, cop. 2011. -­‐ 1 vol. (XI, 297 p.) : couv. ill. en coul. ; 23 cm. -­‐ Bibliographie (p. 289-­‐297), notes bibliogr. , appendix (p. 219-­‐288). Cote : 160 ADAM EARL L'axiomatique / Robert Blanché. -­‐ 3e édition. -­‐ Paris : Presses universitaires de France, impr. 2009, cop. 1955 (41-­‐Vendôme : Impr. des PUF). -­‐ 1 vol. (108 p.) : couv. ill. ; 19 cm. -­‐ (Quadrige, Grands textes ; 116). -­‐ L' ouvrage mentionne l' ISSN 0291-­‐0489 de la collection principale "Quadrige". -­‐ Notes bibliographiques. Cote : 160 BLAN AXIO Modal logic: an introduction / Brian F. Chellas. -­‐ Cambridge ; London ; New York [etc.] : Cambridge university press, cop. 1980. -­‐ 1 vol. (xii-­‐295 p.) ; 24 cm. -­‐ Réimpression en 1984, 1988, 1990, 1993, 1995, 1999. -­‐ Bibliogr. p. [278]-­‐279. Index. Cote : 160 CHEL MODA p. 2 / 18 Paradoxes / Roy T. Cook. -­‐ Cambridge ; Malden : Polity, 2013, cop. 2013. -­‐ 1 vol. (211 p.) ; 22 cm. -­‐ (Polity key concepts in philosophy). -­‐ Bibliogr. p. [197]-­‐202. Index. Cote : 160 COOK PARA Computability: Turing, Gödel, Church, and Beyond / edited by B. Jack Copeland, Carl J. Posy, and Oron Shagrir. -­‐ Cambridge, MA [MIT], 2013. -­‐ 1 vol. (X-­‐362 p.) ; 24 cm. -­‐ Bibliogr. en fin de chapitres. Index. -­‐ Contenu : Turing versus Gödel on computability and the mind / B. Jack Copeland and Oron Shagrir ; Computability and arithmetic / Martin Davis ; About and around Computing over the reals / Solomon Feferman ; The Church-­‐
Turing "thesis" as a special corollary of Gödel's completeness theorem / Saul A. Kripke ; Computability and constructibility / Carl J. Posy ; After Gödel / Hilary Putnam ; The open texture of computability / Stewart Shapiro ; Gödel's philosophical challenge (to Turing) / Wilfried Sieg ; Interactive computing and relativized computability / Robert Irving Soare ; Why philosophers should care about computational complexity / Scott Aaronson ; Is quantum mechanics falsifiable? A computational perspective on the foundations of quantum mechanics / Dorit Aharonov and Umesh V. Vazirani. Cote : 160 COPE COMP Computability: an introduction to recursive function theory / Nigel Cutland,.... -­‐ Cambridge (GB) ; New York ; Melbourne : Cambridge University Press, 1980, cop. 1980. -­‐ 1 vol. (X-­‐251 p.) : fig. ; 24 cm. -­‐ Autres tirages : 1983, 1984, 1986, 1988, 1989, 1992, 1994, 1997. -­‐ Bibliogr. p. [239]-­‐240. Liste des notations. Index. -­‐ Contenu : Exercices. Cote : 160 CUTL COMP Logic and structure / Dirk van Dalen. -­‐ 5th edition. -­‐ London : Springer, cop. 2013. -­‐ 1 vol. (X-­‐263 p.) ; 24 cm. -­‐ (Universitext). -­‐ Bibliogr. p. 257. Index. Cote : 160 DALE LOGI Logicism and its philosophical legacy / William Demopoulos. -­‐ [Cambridge] ; [New York] ; [Melbourne] [etc.] : Cambridge University Press, impr. 2013, cop. 2013. -­‐ 1 vol. (XII-­‐272 p.) ; 24 cm. -­‐ Accès au résumé (résumé : http://catdir.loc.gov/catdir/enhancements/fy1213/2012023164-­‐d.html). -­‐ Accès au sommaire (sommaire : http://catdir.loc.gov/catdir/enhancements/fy1213/2012023164-­‐t.html). -­‐ Bibliogr. p. 255-­‐265. Notes bibliogr. Index. Cote : 160 DEMO LOGI Les démonstrations et les algorithmes : introduction à la logique et à la calculabilité / Gilles Dowek. -­‐ Palaiseau : Éd. de l'École polytechnique ; [Paris] : diff. Ellipses, impr. 2011, cop. 2011. -­‐ 1 vol. (193 p.) : fig., couv. ill. en coul. ; 24 cm. -­‐ (Informatique). -­‐ Bibliogr., 1 p. Index. Cote : 160 DOWE DEMO Proofs and algorithms: an introduction to logic and computability / Gilles Dowek. -­‐ London : Springer, cop. 2011. -­‐ 1 vol. (XII-­‐155 p.) ; 24 cm. -­‐ (Undergraduate Topics in Computer Science). Cote : 160 DOWE PROO p. 3 / 18 Constructivity and computability in historical and philosophical perspective / Jacques Dubucs, Michel Bourdeau, eds.. -­‐ Dordrecht ; Heidelberg ; New York : Springer, cop. 2014. -­‐ 1 vol. (IX-­‐214 p.) ; 24 cm. -­‐ (Logic, epistemology, and the unity of science ; 34). -­‐ Notes bibliogr.. Cote : 160 DUBU CONS Introduzione a Dummett / di Cesare Cozzo. -­‐ Roma : Laterza, 2008. -­‐ 1 vol. (251 p.) : couv. ill. ; 18 cm. -­‐ Bibliogr. p.230. Cote : 160 DUMM INTR Frege: a guide for the perplexed / Edward Kanterian. -­‐ London ; New York : Continuum international, cop. 2012. -­‐ 1 vol. (X-­‐248 p.) ; 23 cm. -­‐ (Guides for the perplexed). Cote : 160 FREG 52 Frege on definitions: a case study of semantic content / John Horty. -­‐ New York ; Oxford ; Auckland [etc.] : Oxford University Press, 2007. -­‐ 1 vol. (XII-­‐ 159 p.) ; 25 cm. -­‐ Publié pour la première fois en édition brochée en 2009. -­‐ Bibliogr. p.148-­‐155. Index. Cote : 160 FREG 53 Frege on absolute and relative truth: an introduction to the practice of interpreting philosophical texts / Ulrich Pardey. -­‐ Basingstoke (GB) ; New York : Palgrave Macmillan, 2012, cop. 2012. -­‐ 1 vol. (XXIV-­‐242 p.) ; 23 cm. -­‐ (History of analytic philosophy). -­‐ Bibliogr. p. 236-­‐238. Index Cote : 160 FREG 55 Frege in Jena: Beiträge zur Spurensicherung / herausgegeben von Gottfried Gabriel und Wolfgang Kienzler. -­‐ Würzburg : Könighausen & Neumann, 1997. -­‐ 1 vol. (161 p.) ; 24 cm. -­‐ (Kritisches Jahrbuch Philosophie ; Bd. 2). -­‐ Bibliogr. p. 149-­‐159. Index. Cote : 160 FREG 56 Basic laws of arithmetic. Volumes I & II: derived using concept-­‐script / by Gottlob Frege ; translated and edited by Philip A. Ebert, Marcus Rossberg, with Crispin Wright. -­‐ Oxford : Oxford university press, cop. 2013. -­‐ 1 vol. (XXXII-­‐253-­‐XV-­‐285 p.) ; 26 cm. -­‐ Bibliogr. p. 281-­‐285. Index. Cote : 160 FREG BASI Frege in perspective / Joan Weiner. -­‐ Ithaca ; London : Cornell University Press, impr. 2008, cop. 1990. -­‐ 1 vol. (XXI-­‐307 p.) ; 24 cm. -­‐ First printing, Cornell paperbacks. -­‐ Bibliogr. (p. 299-­‐302). Index. Cote : 160 FREG PERS Handbook of Philosophical Logic: Volume 17 / edited by Dov M. Gabbay, Franz Guenthner.. -­‐ Dordrecht : Springer, 2014. -­‐ (Handbook of Philosophical Logic ; 17) (Handbook of Philosophical Logic). -­‐ Contenu : Editorial Preface; Dov M. Gabbay ; Hybrid Logic; Torben Braüner ; Nominal Terms and Nominal Logics: From Foundations to Meta-­‐
mathematics; Murdoch J. Gabbay ; Introduction to Labelled Deductive Systems; Dov M. Gabbay ; Index. Cote : 160 GABB 17 p. 4 / 18 Logic, language, and meaning / L. T. F. Gamut. -­‐ Chicago ; London : University of Chicago Press, cop.1991. -­‐ 2 vol. (xiv-­‐282 p. ; xvi-­‐349 p.) : ill. ; 24 cm. -­‐ Bibliogr. p.273-­‐
276 (v.1) ; 337-­‐344 (v.2). Index.. -­‐ Contenu : v. 1. Introduction to logic ; v. 2. Intensional logic and logical grammar. Cote : 160 GAMU LOGI (1-­‐2) Modal logic for philosophers / James W. Garson. -­‐ 2nde édition. -­‐ Cambridge : Cambridge university press, cop. 2006, 2013. -­‐ 1 vol. (XV-­‐488 p.) : grah. ; 24 cm. -­‐ Bibliogr. p. 477-­‐480. Index. Cote : 160 GARS MODA What logics mean: From proof theory to Model-­‐theoretic semantics / James W. Garson. -­‐ Cambridge : Cambridge University Press, cop. 2013. -­‐ 1 vol. (XV-­‐285 p.) ; 26 cm. -­‐ Bibliogr. p.275-­‐279 et Index. Cote : 160 GARS WHAT The Incompleteness phenomenon: a new course in mathematical logic / Martin Goldstern, Haim Judah. -­‐ Natick MA : AK Peters, 1998. -­‐ 1 vol. (xiv-­‐247 p.) : ill. ; 23 cm. Cote : 160 GOLD INCO Designing invisible handcuffs: Formal investigations in institutions and organizations for multi-­‐agent systems / Davide Grossi. -­‐ Utrecht : SIKS Dissertation series, 2007. -­‐ 1 vol. (230 p.) ; 2007. -­‐ (SIKS Dissertation series ; 2007-­‐16). Cote : 160 GROS DESI Philosophy of logics / Susan Haack,.... -­‐ 15th printing. -­‐ Cambridge [Cambridgeshire] ; London ; New York [etc.] : Cambridge University Press, 1978. -­‐ 1 vol. (XVI-­‐276 p.) : ill. ; 23 cm. -­‐ Autres tirages : 1979, 1980, 1985, 1992, 2000, 2006. -­‐ Bibliogr. p. [255]-­‐265. Index. Cote : 160 HAAC PHIL Le nécessaire et l'universel : analyse et critique de leur corrélation / par Brice Halimi. -­‐ Paris : J. Vrin, 2013, cop. 2013. -­‐ 1 vol. (254 p.) : couv. ill. ; 22 cm. -­‐ (Analyse et philosophie, ISSN 1624-­‐2459). -­‐ Bibliogr. p. [243]-­‐252. Notes bibliogr. Index. Cote : 160 HALI NECE Kant and the foundations of analytic philosophy / Robert Hanna. -­‐ Oxford : Clarendon Press ; New York : Oxford University Press, 2001, cop. 2001. -­‐ 1 vol. (XV-­‐312 p.) ; 25 cm. -­‐ Autre tirage : 2006. -­‐ Bibliogr. p. [286]-­‐301. Notes bibliogr. Index. Cote : 160 HANN KANT Rationality and logic / Robert Hanna. -­‐ Cambridge (Mass.) : MIT Press, cop. 2006. -­‐ 1 vol. (xxii-­‐316 p.) ; 24 cm. -­‐ Bibliogr. p. [285]-­‐308. Index. Cote : 160 HANN RATI Logical writings / Jacques Herbrand ; edited by Warren D. Goldfarb,.... -­‐ Dordrecht (Pays-­‐Bas) : D. Reidel Pub. Co., cop. 1971. -­‐ 1 vol. (VII-­‐312 p.) : portr. ; 24 cm. -­‐ Traduction des "Ecrits logiques"de Jacques Herbrand, édité par Jean Van Heijenoort et publié aux Presses universitaires de France en 1968. -­‐ Bibliogr. p. [299]-­‐309. Index. Cote : 160 HERB LOGI p. 5 / 18 Hilbert's programs and beyond / Wilfried Sieg. -­‐ Oxford : Oxford university press , impr. 2013, cop. 2013. -­‐ 1 vol. (XII-­‐440 p.) ; 25 cm. -­‐ Bibliogr. p. 403-­‐434. Notes bibliogr. Index. Cote : 160 HILB HILB The Bloomsbury companion to philosophical logic / edited by Leon Horsten and Richard Pettigrew. -­‐ London ; New York : Bloomsbury Academic, 2014. -­‐ 1 vol. (VIII-­‐637 p.) ; 24 cm. -­‐ (Bloomsbury Companions). Cote : 160 HORS BLOO The connectives / Lloyd Humberstone. -­‐ Cambridge (Mass.) ; London : The MIT press, cop. 2011. -­‐ 1 vol. (XVII-­‐1492 p.) ; 29 cm. -­‐ MIT = Massachusetts Institute of Technology. -­‐ Bibliogr. p. 1337-­‐1439. Index. Cote : 160 HUMB CONN La quantification dans la logique moderne / sous la direction de Pierre Joray. -­‐ Paris ; Budapest ; Torino : l'Harmattan, DL 2005 (14-­‐Condé-­‐sur-­‐Noireau : Impr. Corlet). -­‐ 1 vol. (IX-­‐372 p.) : fig. ; 22 cm. -­‐ (Épistémologie et philosophie des sciences) Cote : 160 JORA QUAN Themes from Kaplan / edited by Joseph Almog,... John Perry,... Howard Wettstein,... ; with the assistance of Ingrid Deiwiks and Edward N. Zalta. -­‐ New York ; London : Oxford University Press, 1989, cop. 1989. -­‐ 1 vol.(X-­‐614 p) ; 22 cm. -­‐ Contient 16 exposés présentés à la conférence intitulée :"Themes from Kaplan" tenue à l'Université de Stanford en 1984. -­‐ Notes bibliogr.. Cote : 160 KAPL THEM Philosophical problems in logic: some recent developments / edited by Karel Lambert. -­‐ Dordrecht : D. Reidel, cop. 1970. -­‐ 1 vol. (176 p.) ; 22 cm. -­‐ (Synthese library). -­‐ Textes basés sur les interventions au : Colloquium on free logic, modal logic and related areas qui a eu lieu à l' Université de Californie, Irvine, en Mai 1968. -­‐ Autre tirage : 1980. -­‐ Bibliogr. en fin de contrib. Notes bibliogr. Index. Cote : 160 LAMB PHIL Three Views of Logic: Mathematic, Philosophy and Computer Science / par Donald W. Loveland. -­‐ Princeton : Princeton University Press, [2014]. -­‐ 1 vol. (XV -­‐ 322p.) : ill. ; 26 cm. -­‐ Bibliogr.. Cote : 160 LOVE THRE Écrits logiques et philosophiques / Jan Łukasiewicz ; introduction, traduction et notes par S. Richard, F. Schang et K. Vandenborre. -­‐ Paris : J. Vrin, 2013, cop. 2013. -­‐ 1 vol. (331 p.) ; 22 cm. -­‐ (Mathesis, ISSN 1147-­‐4920). -­‐ Bibliogr. pp. (49-­‐53). Index.. Cote : 160 LUKA ECRI Modalities: philosophical essays / Ruth Barcan Marcus. -­‐ New York (N.Y.) ; Oxford : Oxford university press, 1993. -­‐ 1 vol. (xiv-­‐266 p.) : couv. ill ; 24 cm. -­‐ Notes bibliogr. Index. Cote : 160 MARC MODA p. 6 / 18 Le formalisme en question : le tournant des années trente : [actes du colloque de Saint-­‐Malo du 7 au 9 avril 1994] / édité[s] par Frédéric Nef et Denis Vernant. -­‐ Paris : J. Vrin, 1998 (53-­‐Mayenne : Impr. la Manutention). -­‐ 1 vol. (450 p.) ; 22 cm. -­‐ (Problèmes et controverses, ISSN 0249-­‐7875). -­‐ Bibliogr. p. [429]-­‐447. Notes bibliogr.. Cote : 160 NEF FORM Proof analysis: a contribution to Hilbert's last problem / Sara Negri, Jan von Plato,.... -­‐ Cambridge, UK ; New York [N.Y.] : Cambridge University Press, cop. 2011. -­‐ 1 vol. (XI-­‐
265 p.) ; 26 cm. -­‐ Bibliogr. p. 254-­‐261. Index. Cote : 160 NEGR PROO Elements of logical reasoning / Jan von Plato. -­‐ Cambridge : Cambridge University Press, 2013. -­‐ 1 vol. (VII-­‐264 p.) : couv. ill. en coul. ; 26 cm. -­‐ Bibliogr. p.258-­‐260 et index. Cote : 160 PLAT ELEM The construction of logical space / Agustín Rayo. -­‐ [Oxford] : Oxford University Press, cop. 2013. -­‐ 1 vol. (XIX-­‐220 p.) : jacq. ill. ; 23 cm. -­‐ Bibliogr. p. [209]-­‐215. Notes bibliogr. Index. Cote : 160 RAYO CONS New waves in philosophical logic / ed. by Greg Restall and Gillian Russell. -­‐ Basingstoke : Palgrave Macmillan, 2012. -­‐ 1 vol. (IX-­‐244 p.) ; 2012. -­‐ (New waves in philosophy). -­‐ Notes bibliogr. et Index. Cote : 160 REST NEW Entre logique et langage / François Rivenc, Gabriel Sandu. -­‐ Paris : J. Vrin, 2009. -­‐ 1 vol. (171 p.) : couv. ill. ; 22 cm. -­‐ (Mathesis, ISSN 1765-­‐8055). -­‐ Bibliogr. p. [161]-­‐164. Notes bibliogr. Index. Cote : 160 RIVE ENTR Topics in conditional logic / Donald Nute. -­‐ Dordrecht ; Boston ; London : D. Reidel, cop. 1980. -­‐ 1 vol. (x, 164 p.) ; 24 cm. -­‐ (Philosophical studies series in philosophy ; 20). -­‐ Bibliogr. p. 157-­‐158. Index. Cote : 160 SELL TOPI Vagueness in context / Stewart Shapiro. -­‐ Oxford ; New York : Clarendon Press, cop. 2006. -­‐ 1 vol. (X-­‐226 p.) ; 25 cm. -­‐ Bibliogr. p. [216]-­‐219. Index. Cote : 160 SHAP VAGU An introduction to Gödel's theorems / Peter Smith. -­‐ Second edition. -­‐ [Cambridge] ; [New York] ; [Melbourne] [etc.] : Cambridge University press, cop. 2013. -­‐ 1 vol. (xvi-­‐388 p.) : couv. ill. en coul. ; 26 cm. -­‐ (Cambridge introductions to philosophy). -­‐ Bibliogr. p. 372-­‐382. Index. Cote : 160 SMIT INTR Quantifiers in time and space : Computational complexity of generalized quantifiers in natural language / Jakub Krzysztof Szymanik. -­‐ Amsterdam : Institute for logic, language and computation, 2009. -­‐ 1 vol. (XIV-­‐232 p.) : couv. en coul. ; 2009. -­‐ (ILLC Dissertation Series ; DS-­‐2009-­‐01). -­‐ Bibliogr. p.207-­‐223 et Index. Cote : 160 SZYM QUAN p. 7 / 18 Proof theory / Gaisi Takeuti. -­‐ 2nd ed. -­‐ Amsterdam [etc.] : North-­‐Holland, impr. 2013, cop. 1987. -­‐ 1 vol. (X-­‐490 p.) ; 23 cm. -­‐ (Studies in logic and the foundations of mathematics ; 81). -­‐ Conférences données au Symposium on Intuitionism and Proof Theory tenu à Buffalo en 1968. -­‐ Bibliogr. (p. 481-­‐485) ; Index (p. 487-­‐490). Cote : 160 TAKE PROO Changes of mind : An essay on rational belief revision / Neil Tennant. -­‐ Oxford : Oxford University Press, 2012. -­‐ 1 vol. (XVIII-­‐345 p.) : couv. ill. en coul. ; 24 cm. -­‐ Bibliogr. p.335-­‐340. Index. Cote : 160 TENN CHAN Basic proof theory / A. S. Troelstra, H. Schwichtenberg. -­‐ 2nd edition. -­‐ Cambridge : Cambridge University Press, cop. 2000. -­‐ 1 vol. (XII-­‐417 p.) ; 23 cm. -­‐ (Cambridge tracts in theoretical computer science ; 43). -­‐ Bibliogr. (p. 379-­‐403) ; Index p. (408-­‐417). Cote : 160 TROE BASI Introduction à la philosophie de la logique / Denis Vernant. -­‐ Bruxelles : P. Mardaga, 1986. -­‐ 1 vol. (255 p.) ; 22 cm. -­‐ (Philosophie et langage). -­‐ Bibliogr. p. [237]-­‐244. Index Cote : 160 VERN INTR Vagueness / Timothy Williamson. -­‐ London ; New York : Routledge, 1994. -­‐ 1 vol. (XIII-­‐
325 p.) ; 22 cm. -­‐ (The problems of philosophy). -­‐ Autres tirages : 1996, 1998, 2001, 2002, 2005. -­‐ Bibliogr. p. 307-­‐319. Index. Cote : 160 WILL VAGU Psychologie du point de vue empirique / F. Brentano ; traduction par Maurice de Gandillac. -­‐ Nouvelle édition / revue et présentée par Jean-­‐François Courtine. -­‐ Paris : J. Vrin, 2008. -­‐ 1 vol. (495 p.) ; 22 cm. -­‐ (Bibliothèque des textes philosophiques, ISSN 0249-­‐7972). -­‐ Trad. de : "Psychologie vom empirischen Standpunkt". -­‐ Notes bibliogr. Index. Cote : 190 BREN PSYC Theories of truth: a critical introduction / Richard L. Kirkham. -­‐ Cambridge (Mass.) : MIT Press, cop. 1992. -­‐ 1 vol. (XI-­‐401 p.) ; 24 cm. -­‐ Bibliogr. p. [369]-­‐377. Notes bibliogr. p. 351-­‐368. Index. Cote : 190 KIRK THEO Reference and existence: the John Locke lectures / Saul A. Kripke. -­‐ Oxford ; [New York] ; [Auckland] : Oxford University Press, cop. 2013. -­‐ 1 vol. (XIII-­‐170 p.) ; 22 cm. -­‐ Bibliogr. p. 161-­‐165. Notes bibliogr.. Index. Cote : 190 KRIP REFE Saul Kripke: puzzles and mysteries / John P. Burgess. -­‐ Cambridge, UK ; Malden, MA : Polity, cop. 2013. -­‐ 1 vol. (xi-­‐219 p.) ; 24 cm. -­‐ (Key contemporary thinkers). -­‐ Bibliogr. p. [204]-­‐210. Index.. Cote : 190 KRIP SAUL The metaphysicians of meaning: Russell and Frege on sense and denotation / Gideon Makin. -­‐ London ; New York : Routledge, 2000. -­‐ 1 vol. (VIII-­‐229 p.) : ill. ; 24 cm. -­‐ (International library of philosophy). -­‐ Bibliogr. p [222]-­‐226.Index. Cote : 190 MAKI META p. 8 / 18 La morale humaine et les sciences / sous la dir. de Alberto Masala & Jérôme Ravat ; préface de Luc Faucher. -­‐ Paris : Éditions matériologiques, cop. 2013. -­‐ (Collection Sciences & philosophie). -­‐ Notes bibliogr. et Index. Cote : 190 MASA MORA Théorie de l'objet (1904) ; présentation personnelle (1921) / A. Meinong ; traduit de l'allemand par Jean-­‐François Courtine et Marc de Launay ; avec une présentation de Jean-­‐François Courtine,.... -­‐ Paris : J. Vrin, Impr. 1999, cop. 1999. -­‐ 1 vol. (190 p.) ; 22 cm. -­‐ (Bibliothèque des textes philosophiques). -­‐ Trad. de : "Gegenstandstheorie" et "Selbstdarstellung". -­‐ Bibliogr. p. [61]-­‐62. Notes bibliogr. Index. Cote : 190 MEIN NECE Définitions / Hilary Putnam ; traduction de l'anglais (USA), présentation et entretien par Christian Bouchindhomme. -­‐ Combas : Éd. de l'Éclat, DL 1992, cop. 1992 (46-­‐Cahors : Impr. Tardy Quercy). -­‐ 1 vol. (96 p.) ; 21 cm. -­‐ (Tiré à part, ISSN 1151-­‐647X). -­‐ La page de couv. porte en plus "Pourquoi ne peut-­‐on pas "naturaliser" la raison". -­‐ Notes bibliogr. Cote : 190 PUTN DEFI Philosophie de la logique / Hilary Putnam ; traduit de l'anglais (USA) par Patrick Peccatte. -­‐ Combas : Éd. de l'Éclat, DL 1996, cop. 1996 (46-­‐Cahors : Impr. Tardy Quercy). -­‐ 1 vol. (71 p.) ; 21 cm. -­‐ (Tiré à part, ISSN 1151-­‐647X). -­‐ Trad. de : "Philosophy of logic". -­‐ Notes bibliogr.. Cote : 190 PUTN PHIL Le réalisme à visage humain / Hilary Putnam ; traduit de l'anglais (États-­‐Unis) par Claudine Tiercelin. -­‐ Paris : Gallimard, impr. 2011, cop. 2011. -­‐ 1 vol. (537p.) : couv. ill. en coul. ; 19 cm. -­‐ (Tel). -­‐ Recueil de textes extr. pour la plupart de diverses revues et publications, 1979-­‐1989. -­‐ Bibliogr. p. 529-­‐[531]. Notes bibliogr. Index. Cote : 190 PUTN REAL Lire Quine : logique et ontologie / ouvrage coordonné par Jean-­‐Maurice Monnoyer ; contributions de Pascal Engel, Paul Gochet, Martin Montminy... [et al.]. -­‐ Paris ; Tel-­‐Aviv : Éd. de l'Éclat, DL 2006, cop. 2006. -­‐ 1 vol. (214 p.) : couv. ill. ; 21 cm. -­‐ (Lire les philosophies). -­‐ Notes bibliogr. Index. Cote : 190 QUIN 40 Mysticisme et logique / B. Russell ; traduction de l'anglais, présentation et notes sous la direction de Denis Vernant ; par Rémi Clot-­‐Goudard, Max Kistler, Olivier Massin... [et al.]. -­‐ Paris : J. Vrin, 2007. -­‐ 1 vol. (222 p.) ; 22 cm. -­‐ (Bibliothèque des textes philosophiques). -­‐ Trad. de : "Mysticism and logic". -­‐ Notes bibliogr. Glossaire. Cote : 190 RUSS 38 Logique et langage : études sur le premier Wittgenstein / par Sébastien Gandon. -­‐ Paris : J. Vrin, 2002 (53-­‐Mayenne : Impr. de la Manutention). -­‐ 1 vol. (274 p.) : couv. ill. ; 22 cm. -­‐ (Analyse et philosophie). -­‐ Bibliogr. p. [265]-­‐272. Notes bibliogr.. Cote : 190 WITT 35 Ludwig Wittgenstein : introduction au "Tractatus logico-­‐philosophicus" / Mathieu Marion. -­‐ Paris : Presses universitaires de France, impr. 2004, cop. 2004. -­‐ 1 vol. (127 p.) ; 18 cm. -­‐ (Philosophies ; 170). -­‐ Bibliogr. p. 127-­‐[128]. Notes bibliogr.. Cote : 190 WITT 36 p. 9 / 18 Felix Kaufmann's Theory and Method in the Social Sciences / edited by Robert S. Cohen, Ingeborg K. Helling ; with an introductory essay by Ingeborg K. Helling. -­‐ Cham ; Heidelberg ; New York [etc.] : Springer, 2014, cop. 2014. -­‐ 1 vol. (X-­‐357 p.) ; 24 cm. -­‐ (Boston Studies in the Philosophy and History of Science, ISSN 0068-­‐0346 ; 303). -­‐ Bibliogr. p. 96-­‐101. Notes bibliogr. Index. Cote : 300 COHE FELI Studies on the abuse and decline of reason: Text and documents / F. A. Hayek ; edited by Bruce Caldwell. -­‐ Chicago : University of Chicago Press, cop. 2010. -­‐ 1 vol. (X-­‐
331 p.) : ill. ; 24 cm. -­‐ (The Collected works of F.A. Hayek ; 13). -­‐ Notes bibliogr. en bas de page. Index. Cote : 300 HAYE 13 Essais de philosophie, de science politique et d'économie / Friedrich A. Hayek ; [préfacé et] traduit de l'anglais par Christophe Piton. -­‐ Paris : les Belles lettres, impr. 2007. -­‐ 1 vol. (525 p.) : couv. ill. en coul. ; 21 cm. -­‐ (Bibliothèque classique de la liberté ; 10). -­‐ Trad. de : "Studies in philosophy, politics and economics". -­‐ Notes bibliogr. Index. Cote : 300 HAYE ESSA The fatal conceit: the errors of socialism / edited by W.W. Bartley III. -­‐ Chicago : University of Chicago Press, 1989, cop. 1988. -­‐ 1 vol. (xiii-­‐180 p.) ; 24 cm. -­‐ (The collected works of F.A. Hayek ; vol. 1). -­‐ Autre tirage : 1991 (broché). -­‐ Bibliogr. p. 159-­‐172. Index. Cote : 300 HAYE FATA Hayek's challenge: an intellectual biography of F.A. Hayek / Bruce Caldwell. -­‐ Chicago (Ill.) ; London : University of Chicago press, cop. 2004. -­‐ 1 vol. (XI-­‐489 p.) : couv. ill. ; 24 cm. -­‐ Bibliogr. p. 439-­‐472. Index. Cote : 300 HAYE HAYE Sérendipité : du conte au concept / Sylvie Catellin ; préface de Laurent Loty. -­‐ Paris : Éd. du Seuil, DL 2014, cop. 2014. -­‐ 1 vol. (264 p.) : ill. ; 22 cm. -­‐ (Science ouverte). -­‐ Bibliogr. p. 233-­‐[257]. Notes bibliogr. en fin de volume. Index. Cote : 300.1 CATE SERE The history of physics in Cuba / edited by Angelo Baracca, Jürgen Renn, Helge Wendt.. -­‐ [Dordrecht] ; [Heidelberg] ; [New York] [et al] : Springer, cop. 2014. -­‐ (Boston Studies in the Philosophy and History of Science, ISSN 0068-­‐0346 ; 304) Cote : 501 BARA HIST Emergence: contemporary readings in philosophy and science / edited by Mark A. Bedau and Paul Humphreys. -­‐ Cambridge, Mass. : MIT Press, cop. 2008. -­‐ 1 vol. (XV-­‐464 p.) : ill., couv. ill. en coul. ; 23 cm. -­‐ (A Bradford book). -­‐ Sommaire disponible à l'adresse (http://www.loc.gov/catdir/toc/ecip078/2007000949.html). -­‐ Bibliogr. p. [447]-­‐454. Index. Cote : 501 BEDA EMER Sciences, techniques et société / Christophe Bonneuil et Pierre-­‐Benoît Joly. -­‐ Paris : La Découverte, impr. 2013, cop. 2013. -­‐ 1 vol. (125 p.) ; 19 cm. -­‐ (Repères : sociologie ; 620). -­‐ Bibliogr. p. [109]-­‐122. Cote : 501 BONN SCIE p. 10 / 18 De la démocratie dans les sciences : épistémologie, éthique et pluralisme / Léo Coutellec ; préface de Nicolas Bouleau ; postface d’Anne-­‐Françoise Schmid. -­‐ Paris : Ed. Matériologiques, cop. 2013. -­‐ 1 vol. (362 p.) ; 24 cm. -­‐ (Collection Sciences & philosophie). -­‐ Notes bibliogr.. Cote : 501 COUT DEMO Probabilistic causality / Ellery Eells. -­‐ Cambrige ; New York [etc.] : Cambridge University Press, cop. 1991. -­‐ 1 vol. (XII-­‐413 p.) : jacq. ill., fig. ; 24 cm. -­‐ (Cambridge studies in probability, induction, and decision theory). -­‐ Bibliogr. p. 403-­‐410. Notes bibliogr. Index. Cote : 501 EELL PROB History of artificial cold, scientific, technological and cultural issues / edited by Kostas Gavroglu. -­‐ [Dordrecht] ; [Heidelberg] ; [New York] [et al] : Springer, cop. 2014. -­‐ 1 vol. (XII-­‐288 p.) : ill. ; 24 cm. -­‐ (Boston Studies in the Philosophy and History of Science, ISSN 0068-­‐0346 ; 299). -­‐ Bibliogr. en fin de chapitres. Notes bibliogr. Index. Cote : 501 GAVR Evidence matters: Science, proof, and truth in the law / Susan Haack. -­‐ Cambridge : Cambridge University Press, 2014. -­‐ 1 vol. (XXVI-­‐416 p.) ; 23 cm. -­‐ (Law in context). -­‐ Bibliogr. p. 349-­‐379 et Index. Cote : 501 HAAC EVID L'esprit dans un monde physique : essai sur le problème corps-­‐esprit et la causalité mentale / Jaegwon Kim ; préface de Max Kistler ; traduit de l'américain par François Athané et Édouard Guinet. -­‐ Paris : Ithaque, impr. 2014. -­‐ 1 vol. (157 p.) : couv. ill. ; 23 cm. -­‐ Bibliogr. p. [145]-­‐152. Notes bibliogr. Index. Cote : 501 KIM ESPR La survenance et l'esprit. I, L'esprit et la causalité mentale / Jaegwon Kim ; préface de Max Kistler ; traduit de l'américain par Stéphane Dunand et Mathieu Mulcey. -­‐ Paris : Ithaque, impr. 2008. -­‐ 1 vol. (XLIV-­‐249 p.) : couv. ill. en coul. ; 22 cm. -­‐ Trad. de : "Supervenience and mind : selected philosophical essays". -­‐ Publié dans sa version originale en un seul volume. Contient l'article "Reasons and the first person" qui ne figure pas dans l'édition originale de Cambridge (1993 et 1995). -­‐ Bibliogr. p. [233]-­‐242. Notes bibliogr.. Index. Cote : 501 KIM SURV 1 Truth, error, and criminal law: an essay in legal epistemology / Larry Laudan. -­‐ Cambridge ; New York : Cambridge University Press, cop. 2006. -­‐ 1 vol. (xiii-­‐238 p.) : ill. ; 24 cm. -­‐ (Cambridge studies in philosophy and law). -­‐ Notes bibliogr. Index. Cote : 501 LAUD TRUT Unsimple truths: science, complexity, and policy / Sandra D. Mitchell. -­‐ Chicago (Ill.) : University of Chicago press, 2009. -­‐ 1 vol. (X-­‐149 p.) : ill. ; 23 cm. -­‐ Bibliogr. p. 127-­‐144. Index. Cote : 501 MITC UNSI Philosophical devices: proofs, probabilities, possibilities, and sets / David Papineau. -­‐ Oxford : Oxford University Press, cop. 2012. -­‐ 1 vol. (xix-­‐192 p.) : ill., fig., couv. ill. en coul. ; 22 cm. -­‐ Autre tirage : 2013. -­‐ Bibliogr. en fin de chapitres. Index. Cote : 501 PAPI PHIL p. 11 / 18 Les matérialismes et la chimie : Perspectives philosophiques, historiques et scientifiques / sous la dir. de François Pépin. -­‐ Paris : Ed. matériologiques, cop. 2013. -­‐ (Sciences et philosophie). -­‐ Notes bibliogr. Index. Cote : 501 PEPI MATE Introduction à la philosophie des sciences / Hans-­‐Jörg Rheinberger ; traduit de l'allemand par Nathalie Jas. -­‐ Paris : la Découverte, impr. 2014, cop. 2014. -­‐ 1 vol. (126 p.) ; 19 cm. -­‐ (Repères, Sociologie). -­‐ Numérotation dans la coll. principale : 633. -­‐ Bibliogr. p. [119]-­‐122. Index. Cote : 501 RHEI INTR Matériaux philosophiques et scientifiques pour un matérialisme contemporain : Sciences, ontologie, épistémologie / sous la dir. de Marc Silberstein. -­‐ Paris : Ed. Matériologiques, cop. 2013. -­‐ 2 vol. (1017 p.) ; 25 cm. -­‐ (Collection Sciences & Philosophie). -­‐ Bibliogr. p.983-­‐1003. Index. Cote : 501 SILB MATE 1 & 2 Modéliser et simuler : épistémologies et pratiques de la modélisation et de la simulation / sous la direction de Franck Varenne et Marc Silberstein. -­‐ Paris : Ed. Matériologiques, cop. 2013. -­‐ 2 vol. (978 p.). -­‐ (Sciences et philosophie). -­‐ Notes bibliogr.. ISBN 978-­‐2-­‐919694-­‐37-­‐2 (br.) (Tome 1, vol. 1). -­‐ ISBN 978-­‐2-­‐919694-­‐38-­‐9 (br.) (Tome 1, vol. 2) Cote : 501 VARE MODE 1 & 2 Théorie, réalité, modèle : épistémologie des théories et des modèles face au réalisme dans les sciences / Franck Varenne. -­‐ Paris : Éd. Matériologiques, 2013. -­‐ (Sciences et philosophie). -­‐ Bibliogr. p. [249]-­‐259. Cote : 501 VARE THEO The Neurological Emergence of Epilepsy: The National Hospital for the Paralysed and Epileptic (1870-­‐1895) / Vasia Lekka. -­‐ Cham ; Heidelberg ; New York [etc.] : Springer, 2015, cop. 2015. -­‐ 1 vol. (XIII-­‐209 p.) ; 24 cm. -­‐ (Boston Studies in the Philosophy and History of Science, ISSN 0068-­‐0346 ; 305). -­‐ Bibliogr. p. 201-­‐209 et en fin de chapitres. Notes bibliogr.. Cote : 509.1 LEKK NEUR Enquête sur un aventurier de l'esprit : le véritable Alfred Russel Wallace / Charles H. Smith ; traduit de l'anglais par Antoine Guillemain ; préface de Jean Gayon. -­‐ Paris : Éd. de l'évolution, impr. 2013, cop. 2013. -­‐ 1 vol. (299 p.) : couv. ill. en coul. ; 21 cm. -­‐ (Bibliothèque Alfred Wallace). -­‐ Bibliogr. p. [297]-­‐299. Notes bibliogr.. Cote : 509.4 SMIT ENQU Georg Cantor: his mathematics and philosophy of the infinite / Joseph Warren Dauben. -­‐ Princeton (N.J.) : Princeton University Press, 1990, cop. 1979. -­‐ 1 vol. (IX-­‐404 p.) : ill., portr., couv. ill. ; 24 cm. -­‐ Autre tirage : 2010. -­‐ Bibliogr. p. [361]-­‐384. Notes bibliogr. en fin d'ouvrage. Index. Cote : 509.5 CANT GEOR p. 12 / 18 Lazare and Sadi Carnot: a scientific and filial relationship / Charles Coulston Gillispie, Raffaele Pisano. -­‐ Second edition. -­‐ Dordrecht ; Heidelberg ; New York [etc.] : Springer, cop. 2014. -­‐ 1 vol. (XVI-­‐490 p.) : ill. en noir et en coul. ; 24 cm. -­‐ (History of mechanism and machine science ; vol. 19). -­‐ Bibliogr. p. 441-­‐467. Index. Cote : 509.5 COUL LAZA Cantor et la France : correspondance du mathématicien allemand avec les Français à la fin du XIXe siècle / Anne-­‐Marie Décaillot. -­‐ Paris : Éditions Kimé, impr. 2008. -­‐ 1 vol. (342 p.) : ill., portr., fac-­‐sim., couv. ill. ; 21 cm. -­‐ (Collection Philosophie, épistémologie, ISSN 1159-­‐2338). -­‐ Chaque lettre en allemand est suivie de sa traduction en français. -­‐ Bibliogr. p. [301]-­‐331. Notes bibliogr. en fin de chapitres. Index. Cote : 509.5 DECA KANT Le zéro et le un : histoire de la notion scientifique d'information au XXe siècle / Jérôme Segal ; préface d'Antoine Danchin (2003) ; Postface d'Antoine Danchin (2011). -­‐ 2ème édition. -­‐ Paris : Éd. Matériologiques, cop. 2013. -­‐ 1 vol. (XI-­‐890 p.) : fig., couv. ill. en coul. ; 22 cm. -­‐ (Sciences & philosophie). -­‐ Notes bibliogr.. Cote : 509.5 SEGA ZERO Jean-­‐Pierre Séris : philosophe historien des sciences et des techniques / [sous la dir. de Jean-­‐Luc Gallo]. -­‐ Montpellier : Zouila publications, 1998. -­‐ 1 vol. (108 p.) ; 27 cm. -­‐ Contient une bibliographie des publications de Jean-­‐Pierre Séris p. 104-­‐105. -­‐ Numéro spécial de : "Zouila", n°4, 1998 Cote : 509.5 ZOUI SERI Formal languages in logic: a philosophical and cognitive analysis / Catarina Dutilh Novaes. -­‐ Cambridge ; [New York] ; [Melbourne] [etc.] : Cambridge University Press, impr. 2012, cop. 2012. -­‐ 1 vol. (VIII-­‐275 p.) : ill., couv. ill. ; 24 cm. -­‐ Bibliogr. p.258-­‐272. Notes bibliogr. Index. Cote : 510 DUTI FORM Philosophie des mathématiques : ontologie, vérité, fondements / textes réunis et présentés par S. Gandon et I. Smadja ; traductions par Anne-­‐Marie Boivert, Sébastien Gandon, Bruce Halimi... [et al.]. -­‐ Paris : J. Vrin, 2013, cop. 2013. -­‐ 1 vol. (352 p.) ; 18 cm. -­‐ (Textes clé, ISSN 1639-­‐4216). -­‐ Autre tirage : 2014. -­‐ Bibliogr. p. [327]-­‐345 et en fin de chapitres. Notes bibliogr. Index. Cote : 510 GAND PHIL L'intuition épistémique : une approche pragmatique du contexte de compréhension et de justification en mathématiques et en philosophie / Gerhard Heinzmann. -­‐ Paris : J. Vrin, 2013, cop. 2013. -­‐ 1 vol. (204 p.) : couv. ill. ; 22 cm. -­‐ (Mathesis, ISSN 1147-­‐4920). -­‐ Bibliogr. p. [177]-­‐193. Notes bibliogr. Index. Cote : 510 HEIN Lambda-­‐calculus and combinators: an introduction / J. Roger Hindley..., Jonathan P. Seldin.... -­‐ Cambridge, UK ; New York : Cambridge University Press, cop. 2008. -­‐ 1 vol. (XI-­‐
345 p.) : fig. ; 24 cm. -­‐ Autre tirage : 2010. -­‐ Bibliogr. p. 323-­‐333. Index. Cote : 510 HIND LAMB p. 13 / 18 Set theory, arithmetic, and foundations of mathematics: theorems, philosophies / Edited by Juliette Kennedy,... Roman Kossak,.... -­‐ Ithaca (N. Y.) : Association for Symbolic Logic ; Cambridge ; New York : Cambridge University Press, 2011. -­‐ 1 vol. (XIII-­‐227 p.) : fig. ; 24 cm. -­‐ (Lecture notes in logic ; 36). -­‐ Informations sur la publication à l'adresse (http://www.cambridge.org/9781107008045). -­‐ Regroupe divers articles de chercheurs internationaux. -­‐ Résumés en anglais. -­‐ Bibliogr. en fin de contributions. Notes bibliogr.. Cote : 510 KENN SET Introduction à la philosophie des mathématiques : le problème de Platon / Marco Panza, Andrea Sereni ; traduit de l'italien par Ronan de Calan et Roberta Locatelli ; édition française établie par Ronan de Calan. -­‐ [Paris] : [Flammarion], DL 2013, cop. 2013. -­‐ 1 vol. (485 p.) : couv. ill en coul. ; 18 cm. -­‐ (Champs, Essais) (Champs ; 1060). -­‐ Version remaniée d'un ouvrage paru en italien en 2010 chez Carocci editore, à Rome, sous le titre : "Il problema di Platone". -­‐ Numérotation dans la collection principale : "Champs", ISSN 0151-­‐8089, n° 1060. -­‐ Bibliogr. p. [441]-­‐481. Notes bibliogr.. Cote : 510 PANZ INTR Philosophy of mathematics : structure and ontology / Stewart Shapiro. -­‐ [Oxford] [etc.] : Oxford University Press, cop. 1997. -­‐ 1 vol. (X-­‐279 p.) ; 24 cm. -­‐ Autre(s) tirage(s) : 2000 (br.). -­‐ Bibliogr. p. 263-­‐272. Index. Cote : 510 SHAP PHIL Thinking about mathematics: the philosophy of mathematics / Stewart Shapiro. -­‐ Oxford ; New York : Oxford University Press, 2000. -­‐ 1 vol. (XIII-­‐308 p.) : couv. ill. ; 22 cm. -­‐ Bibliogr. p. [290]-­‐302. Notes bibliogr. Index. Cote : 510 SHAP THIN Modern statistics for the life sciences / Alan Grafen, Rosie Hails. -­‐ Oxford ; [New York] : Oxford University Press, cop. 2002. -­‐ xv, 351 p. : ill. ; 25 cm. -­‐ Autres tirages : 2003, 2005, 2006, 2007, 2008, 2009. -­‐ Bibliogr. p. [343]-­‐344. Index.. Cote : 519 GRAF MODE Precision and uncertainty: Fuzzy logic in clinical diagnosis / Gaetano Licata. -­‐ Pavia : Selecta, 2007. -­‐ 1 vol. (126 p.) : graph. ; 24 cm. -­‐ (Selecta medica). -­‐ Bibliogr. p.125-­‐126. Cote : 519 LICA PREC The evidential foundations of probabilistic reasoning / David A. Schum. -­‐ New York : Wiley, cop. 1994. -­‐ 1 vol. (XVIII, 545 p.) : ill. ; 25 cm. -­‐ (Wiley series in systems engineering). -­‐ "A Wiley-­‐Interscience publication.". -­‐ Bibliogr. p. 515-­‐530 et Index.. Cote : 519 SCHU EVID Modal logic as metaphysics / Timothy Williamson. -­‐ Oxford : Oxford university press, cop. 2013. -­‐ 1 vol. (XVI-­‐464 p.) ; 24 cm. -­‐ Bibliogr. p. 430-­‐450. Notes bibliogr. Index. Cote : 519 WILL MODA Time and chance / David Z Albert. -­‐ Cambridge (Mass.) ; London : Harvard University Press, 2000. -­‐ 1 vol. (xi-­‐172 p.) : ill., couv. ill. en coul. ; 24 cm. -­‐ Autre tirage : 2003. -­‐ Notes bibliogr.. Index. Cote : 530 ALBE TIME p. 14 / 18 Étude sur l'évolution d'un problème de physique : la propagation thermique dans les solides / Gaston Bachelard ; préface de A. Lichnerowicz,.... -­‐ 2nde édition. -­‐ Paris : J. Vrin, impr. 1973, cop. 1973. -­‐ 1 vol. (V-­‐182 p.) ; 22 cm. -­‐ (L'Histoire des sciences : Textes et études). -­‐ Bibliogr. p. [181]-­‐182. Notes bibliogr. Index. Cote : 530 BACH ETUD Le monde quantique : les débats philosophiques de la physique quantique / sous la direction de Bernard d'Espagnat et Hervé Zwirn. -­‐ Paris : Editions matériologiques, 2014, cop.2014. -­‐ 1 vol. (428 p.) : ill. en noir et blanc, couv. ill. en coul. ; 24 cm. -­‐ (Sciences & Philosophie). -­‐ Compte-­‐rendu de séances organisées par le Collège de physique et de philosophie et réunissant des physiciens et des philosophes sous l'égide de l'Académie des sciences morales et politiques. Cote : 530 ESPA MOND The structure of the world: metaphysics and representation / Steven French. -­‐ Oxford : Oxford University Press, 2014. -­‐ 1 vol. (XVIII-­‐394 p.) : couv. en coul. ; 24 cm. -­‐ Bibliogr. p.353-­‐383 et index. Cote : 530 FREN STRU Embryos and ancestors / by G.R. de Beer. -­‐ Oxford : The Clarendon Press, 1940. -­‐ 1 vol. (X-­‐108 p.) : ill., pl., diagrs. ; 23 cm. -­‐ (Monographs on animal biology). -­‐ The author's Embryology and evolution (1930) brought up to date and enlarged. cf. Pref. -­‐ Bibliogr. : p. [99]-­‐105. Index Cote : 570 BEER EMBR La biodiversité en question : enjeux philosophiques, éthiques et scientifiques / sous la direction de Elena Casetta & Julien Delord ; préface de Jean Gayon. -­‐ Paris : Ed. Matériologiques, cop. 2014. -­‐ 1 vol. (271 p.) : ill., couv. ill. en coul. ; 25 cm. -­‐ (Sciences & Philosophie). -­‐ Notes bibliogr. Cote : 570 CASE BIOD In search of mechanisms: discoveries across the life sciences / Carl F. Craver and Lindley Darden. -­‐ Chicago ; London : The University of Chicago Press, cop. [2013]. -­‐ 1 vol. (xxii-­‐228 p.) : ill. ; 23 cm. -­‐ Bibliogr. p.203-­‐218. Index. Cote : 570 CRAV SEAR Les maladies à prions. Volume 1, Difficulté à nommer et définir les maladies à prions : problèmes épistémologiques / Robert Ekwa. -­‐ [Paris] : L'Harmattan, DL 2013, cop. 2013. -­‐ 1 vol. (350 p.) : ill., couv. ill. en coul. ; 24 cm. -­‐ Bibliogr. p. [287]-­‐311. Liste des sources Internet p. [313]-­‐321. Index. -­‐ Texte remanié de : Thèse de doctorat : Philosophie des sciences : Paris 1 : 2012. Cote : 570 EKWA MALA 1 Les maladies à prions. Volume 2, Vache folle et raisonnements causals : problèmes épistémologiques / Robert Ekwa. -­‐ [Paris] : L'Harmattan, DL 2013, cop. 2013. -­‐ 1 vol. (414 p.) : ill., couv. ill. en coul. ; 24 cm. -­‐ Bibliogr. p. [357]-­‐375. Liste des sources Internet p. [377]-­‐385. Index. -­‐ Texte remanié de : Thèse de doctorat : Philosophie des sciences : Paris 1 : 2012. Cote : 570 EKWA MALA 2 p. 15 / 18 La science et le vivant : philosophie des sciences et modernité critique / Bernard Feltz. -­‐ 2ème édition revue et augmentée. -­‐ Louvain-­‐la-­‐Neuve : De Boeck supérieur, DL 2014, cop. 2014. -­‐ 1 vol. (XIV-­‐263 p.) : couv. ill. en coul. ; 24 cm. -­‐ Bibliogr. en fin de chap. Notes bibliogr. Index. Cote : 570 FELT SCIE Developmental biology / Scott F. Gilbert,.... -­‐ 10th edition. -­‐ Sunderland (Mass.) : Sinauer, cop. 2014. -­‐ 1 vol. (XX-­‐719-­‐[97] p.) : ill. en coul., couv. ill. en coul. ; 29 cm. -­‐ Bibliogr. en fin de chapitres. Index. Cote : 570 GILB DEVE 10 Ecological developmental biology : integrating epigenetics, medicine, and evolution / Scott F. Gilbert,... David Epel.... -­‐ Sunderland (Mass.) : Sinauer, cop. 2009. -­‐ 1 vol. (xv-­‐480 p.) : ill. en noir et en coul. ; 23 cm. -­‐ Bibliogr. en fin de chapitres. Index. Cote : 570 GILB ECOL Le vivant : entre discret et continu / sous la direction de Nicolas Glade & Angélique Stéphanou. -­‐ Paris : Editions matériologiques, cop. 2013. -­‐ 1 vol. (426 p.) : ill., couv. ill. en coul. ; 24 cm. -­‐ (Sciences & philosophie). -­‐ Cet ouvrage rassemble 14 chapitres correspondant aux cours donnés à l'école 2012 de la Société francophone de biologie théorique. -­‐ Ce livre est imprimé à partir d'un livre électronique. Cote : 570 GLAD VIVA Genetics and philosophy: an introduction / Paul Griffiths,... Karola Stotz,.... -­‐ Cambridge : Cambridge University Press, cop. 2013. -­‐ 1 vol. (VIII-­‐270 p.) : ill. ; 25 cm. -­‐ (Cambridge introductions to philosophy and biology). -­‐ Autre tirage : 2014. -­‐ Bibliogr. p. 229-­‐257. Index. Cote : 570 GRIF GENE Biologie, philosophie et marxisme : Textes choisis d'un biologiste atypique / J.B.S. Haldane ; Traduits et présentés par Simon Gouz. -­‐ Paris : Ed. Matériologiques, cop. 2013. -­‐ (Sciences & philosophie). -­‐ Notes bibliogr.. Cote : 570 HALD BIOL J.B.S. Haldane, la science et le marxisme : La vision du monde d'un biologiste / Simon Gouz. -­‐ Paris : Editions Matériologiques, cop. 2013. -­‐ (Sciences & philosophie). -­‐ Bibliogr. p.701-­‐726. Cote : 570 HALD JBS Epigenetics: linking genotype and phenotype in development and evolution / edited by Benedikt Hallgrímsson and Brian K. Hall. -­‐ Berkeley : University of California Press, cop. 2011. -­‐ 1 vol. (VIII-­‐459 p.) : ill., couv. ill. en coul. ; 27 cm. -­‐ Bibliogr. à la fin de chaque chapitre. Index. Cote : 570 HALL Les mondes darwiniens : l'évolution de l'évolution / sous la direction de Thomas Heams, Philippe Huneman, Guillaume Lecointre,... [et al.] ; préface de Jean Gayon. -­‐ Paris : Éd. Matériologiques, cop. 2013. -­‐ 2 vol. (1426 p.) : couv. ill. en coul. ; 24 cm. -­‐ (Sciences & philosophie). -­‐ Notes bibliogr. Cote : 570 HEAM MOND 1 & 2 p. 16 / 18 Précis de philosophie de la biologie / sous la direction de Thierry Hoquet & Francesca Merlin. -­‐ Paris : Vuibert, 2014. -­‐ 1 vol. (XIII-­‐354 p.) ; 24 cm. -­‐ (Philosophie des sciences). -­‐ Bibliogr. p. 321-­‐354. Cote : 570 HOQU PREC In vitro, in vivo, in silico: Models in contemporary biomedicine / Guest editors: P. Huneman, M. Lemoine. -­‐ Dordrecht : Springer, 2014. -­‐ 1 vol. (155 p.) ; 24 cm. -­‐ Notes bibliogr. Cote : 570 HUNE VITR Le hasard au cœur de la cellule : probabilités, déterminisme, génétique / sous la direction de Jean-­‐Jacques Kupiec, Olivier Gandrillon, Michel Morange... [et al.]. -­‐ Paris : Éd. Matériologiques, cop. 2013. -­‐ 1 vol. (290 p.) : ill. en noir et blanc, couv. ill. ; 22 cm. -­‐ (Sciences & philosophie). -­‐ Notes bibliogr. et Index. Cote : 570 KUPI HASA Mutations et aléas : le hasard dans la théorie de l'évolution / Francesca Merlin ; préface de Jean Gayon. -­‐ [Paris] : Hermann, impr. 2013, cop. 2013. -­‐ 1 vol. (272 p.) ; 23 cm. -­‐ (Hermann philosophie). -­‐ Bibliogr. p. [249]-­‐266. Notes bibliogr. Glossaire. Cote : 570 MERL MUTA Heredity produced: at the crossroads of biology, politics, and culture, 1500-­‐1870 / edited by Staffan Müller-­‐Wille and Hans-­‐Jörg Rheinberger. -­‐ Cambridge (Mass.) ; London : the MIT Press, cop. 2007. -­‐ 1 vol. (X-­‐496 p.-­‐[2] p. de pl.) : ill. en noir et en coul., couv. ill. ; 24 cm. -­‐ (Transformations : studies in the history of science and technology). -­‐ Table des matières à l'adresse (http://www.loc.gov/catdir/toc/ecip0617/2006023090.html). -­‐ Bibliogr. en fin de contributions. Notes bibliogr. Index. Cote : 570 MULL HERE Evolution and the levels of selection / Samir Okasha. -­‐ Oxford : Clarendon press ; Oxford ; [New York] : [Oxford university press], impr. 2006, cop. 2006. -­‐ 1 vol. (XI-­‐263 p.) : fig., couv. ill. en coul. ; 23 cm. -­‐ Autres tirages : 2008 (éd. br.), 2010. -­‐ Bibliogr. p. [241]-­‐255. Notes bibliogr. Index. Cote : 570 OKAS EVOL Evolution: the extended synthesis / edited by Massimo Pigliucci and Gerd B. Müller. -­‐ Cambridge (Mass.) ; London : the MIT Press, cop. 2010. -­‐ 1 vol. (VIII-­‐495 p.) : ill. ; 23 cm. -­‐ Bibliogr. en fin de chapitres. Index. Cote : 570 PIGL EVOL La lutte des parties dans l'organisme : contribution pour un perfectionnement de la théorie de la finalité mécanique / Wilhelm Roux ; édition coordonnée par Thomas Heams ; préface de Thomas Heams ; traduit de l’allemand par Laure Cohort, Sonia Danizet-­‐Bechet, Anne-­‐Laure Pasco-­‐Saligny... [et al.]. -­‐ Paris : Ed. Matériologiques , cop. 2013. -­‐ (Collection sciences & philosophie). -­‐ Notes bibliogr.. Cote : 570 ROUX LUTT Beyond the gene: cytoplasmic inheritance and the struggle for authority in genetics / Jan Sapp. -­‐ New York ; Oxford : Oxford University press, impr. 1987, cop. 1987. -­‐ 1 vol. (XVI-­‐ 266 p.) ; 23 cm. -­‐ (Monographs on the history and philosophy of biology). -­‐ Originally presented as the author's thesis (doctoral-­‐-­‐University of Montreal, 1984). -­‐ Bibliogr. p.235-­‐255. Index. Cote : 570 SAPP p. 17 / 18 Evolution: a view from the 21st century / James A. Shapiro. -­‐ [Upper Saddle River (N.J.)] : FT Press Science, impr. 2011, cop. 2011. -­‐ 1 vol. (xviii-­‐253 p.) : ouv. ill. en coul. ; 24 cm. -­‐ L'édition brochée contient 239 p.. -­‐ Bibliogr. p. 175-­‐239. Glossaire. Index. Cote : 570 SHAP EVOL Beyond versus: the struggle to understand the interaction of nature and nurture / James Tabery. -­‐ Cambridge (Mass.) ; London : MIT Press, cop. 2014. -­‐ 1 vol. (XIII-­‐279 p.) : jaq. ill., ill. ; 24 cm. -­‐ Bibliogr. p. [223]-­‐265. Index. Cote : 570 TABE BEYO The strategy of the genes: a discussion of some aspects of theoretical biology / by C. H. Waddington,... ; with an appendix by H. Kacser,.... -­‐ London : G. Allen and Unwin Ltd, cop. 1957. -­‐ 1 vol. (IX-­‐262 p.) : fig. ; 22 cm. -­‐ Bibliogr. p. 250-­‐257. Index Cote : 570 WADD STRA L'émergence de la médecine scientifique / sous la dir. de Anne Fagot-­‐Largeault ; coordonné par Jean-­‐Claude K. Dupont & Vincent Guillin. -­‐ Paris : Editions Matériologiques, cop. 2013. -­‐ Notes bibliogr. Index. Cote : 610 FAGO EMER Classification, Disease and Evidence: New Essays in the Philosophy of Medicine / edited by Philippe Huneman, Gérard Lambert, Marc Silberstein. -­‐ Dordrecht : Springer Netherlands, 2015. -­‐ 1 vol. (XX-­‐211 p.) ; 24 cm. -­‐ (History, Philosophy and Theory of the Life Sciences, ISSN 2211-­‐1948 ; 7). -­‐ Notes bibliogr.. Cote : 610 HUNE CLAS Philosophical issues in psychiatry: Explanation, phenomenology, and nosology / edited by Kenneth S. Kendler, Josef Parnas. -­‐ Baltimore : Johns Hopkins University Press, 2008. -­‐ 1 vol. (XII, 407 p.) : ill. ; 23 cm. -­‐ (Philosophical issues in psychiatry). -­‐ Bibliogr. en fin de chap. et Index. Cote : 610 KEND PHIL (1) The Oxford Handbook of philosophy and psychiatry / edited by K. W. M. Fulford, Martin Davies, Richard G. T. Gipps... [et al.]. -­‐ Oxford : Oxford University Press, 2013, cop. 2013. -­‐ 1 vol. (XVIII-­‐1322 p.) : ill., couv. ill. en coul. ; 26 cm. -­‐ Autres éditeurs intellectuels de l'ouvrage : Richard G. T. Gipps, George Graham, John Z. Sadler, Giovanni Stanghellini, Tim Thornton. -­‐ Notes bibliogr. en fin de chaque chapitre. Index. Cote : 610 OXFO FULF p. 18 / 18