Bookmark and Share

Philosophy of Mathematics

Edited by Øystein Linnebo (Birkbeck College)
Assistant editor: Sam Roberts (Birkbeck College, University of Oslo)
Most recently added entries found
Search inside:
(import / add options)   Sort by:
1 — 50 / 354
  1. added 2015-03-30
    Gabriella Crocco & Eva-Maria Engelen (forthcoming). Kurt Gödel's Philosophical Remarks (Max Phil). In Gabriella Crocco & Eva-Maria Engelen (eds.), Kurt Gödel: Philosopher-Scientist. Presses Universitaires de Provence.
    Kurt Gödel left Philosophical Remarks in his Nachlass that he himself entitled Max Phil (Maximen Philosophie). The opus originally comprised 16 notebooks but one has been lost. The content is on the whole the outline of a rational metaphysics able to relate the different domains of knowledge and of moral investigations to each other. The notebooks were at first started as an intellectual diary in which Gödel writes an account of what he does and especially about what he should do (...)
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  2. added 2015-03-30
    Jack J. Bulloff, Kurt Gödel, S. W. Hahn, Thomas C. Holyoke & Ohio Academy of Science (1969). Foundations of Mathematics Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel. Springer-Verlag.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  3. added 2015-03-30
    Roland Fraïssé (1967). Cours de Logique Mathématique. Gauthier-Villars Nauwelaerts.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  4. added 2015-03-30
    Jaakko Hintikka (1955). Two Papers on Symbolic Logic Form and Content in Quantification Theory and Reductions in the Theory of Types. [Suomalaisen Kirjallisuuden Seuran Kirjapainon,].
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  5. added 2015-03-29
    V. M. Abrusci & C. Casadio (2002). New Perspectives in Logic and Formal Linguistics Proceedings of the Vth Roma Workshop. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  6. added 2015-03-29
    Russell W. Howell & James Bradley (2001). Mathematics in a Postmodern Age a Christian Perspective. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  7. added 2015-03-29
    Giacomo Bonanno & W. van der Hoek (2001). Logic and the Foundations of the Theory of Games and Decisions. Blackwell.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  8. added 2015-03-29
    Dale Jacquette (2001). Symbolic Logic. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  9. added 2015-03-29
    Jaakko Hintikka (2000). On Gödel. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  10. added 2015-03-29
    Gottlob Frege, Corine Besson & Jonathan Barnes (1999). Idéographie. Monograph Collection (Matt - Pseudo).
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  11. added 2015-03-29
    Peter Roeper & Hugues Leblanc (1999). Probability Theory and Probability Logic. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  12. added 2015-03-29
    B. H. Slater (1998). Against the Realisms of the Age. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  13. added 2015-03-29
    W. S. Anglin (1997). The Philosophy of Mathematics the Invisible Art. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  14. added 2015-03-29
    Kurt Smith (1996). Math Logic Puzzles. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  15. added 2015-03-29
    Dov M. Gabbay, Ian Hodkinson & Mark Reynolds (1994). Temporal Logic Mathematical Foundations and Computational Aspects. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  16. added 2015-03-29
    Gilles Gaston Granger (1994). Formes, Op'erations, Objets. Monograph Collection (Matt - Pseudo).
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  17. added 2015-03-29
    Justus Hartnack (1993). Erkendelsens Grundlag Paradokser Indenfor Logikkens Og Matematikkens Filosofi. Monograph Collection (Matt - Pseudo).
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  18. added 2015-03-29
    Dov M. Gabbay, Christopher John Hogger & J. A. Robinson (1993). Handbook of Logic in Artificial Intelligence and Logic Programming. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  19. added 2015-03-29
    H. P. Barendregt, M. Bezem, D. van Dalen & J. W. Klop (1993). Dirk van Dalen Festschrift. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  20. added 2015-03-29
    Gianluigi Bellin & P. J. Scott (1992). On the [Pi]-Calculus and Linear Logic. Lfcs, Department of Computer Science, University of Edinburgh.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  21. added 2015-03-29
    Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum (1992). Handbook of Logic in Computer Science. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  22. added 2015-03-29
    Jules Vuillemin & Rushdåi Råashid (1991). Math'ematiques Et Philosophie de l'Antiquit'e Áa l'Age Classique Hommage Áa Jules Vuillemin. Monograph Collection (Matt - Pseudo).
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  23. added 2015-03-29
    Dale Miller (1991). Unification of Simply Typed Lambda-Terms as Logic Programming. Lfcs, Department of Computer Science, University of Edinburgh.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  24. added 2015-03-29
    Jonathan St B. T. Evans (1989). Bias in Human Reasoning Causes and Consequences. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  25. added 2015-03-29
    Tommaso Campanella & Armando Brissoni (1989). Mathematica. Monograph Collection (Matt - Pseudo).
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  26. added 2015-03-29
    Paul B. Thistlewaite, M. A. Mcrobbie & Robert K. Meyer (1988). Automated Theorem-Proving in Non-Classical Logics. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  27. added 2015-03-29
    Nicholas J. Moutafakis (1987). The Logics of Preference a Study of Prohairetic Logics in Twentieth Century Philosophy. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  28. added 2015-03-29
    Michael Hallett (1984). Michael Resnik, "Frege and the Philosophy of Mathematics". [REVIEW] Philosophical Quarterly 34 (36):425.
    Remove from this list | Direct download  
     
    My bibliography  
     
    Export citation  
  29. added 2015-03-29
    John Pottage (1983). Geometrical Investigations Illustrating the Art of Discovery in the Mathematical Field /John Pottage ; Foreword by Stillman Drake. --. --. Addison-Wesley,1983.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  30. added 2015-03-29
    Alec Fisher (1982). Formal Number Theory and Computability a Workbook. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  31. added 2015-03-29
    John R. Scott (1981). Basic Computer Logic. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  32. added 2015-03-29
    Dana S. Scott & David Bostock (1981). Notes on the Formalization of Logic Parts 3 and 4. Sub-Faculty of Philosophy [University of Oxford].
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  33. added 2015-03-29
    Morris Kline (1980). Mathematics the Loss of Certainty. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  34. added 2015-03-29
    Felix Kaufmann & Brian Mcguinness (1978). The Infinite in Mathematics Logico-Mathematical Writings. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  35. added 2015-03-29
    Imre Lakatos, Gregory Currie & John Worrall (1978). Mathematics, Science, and Epistemology. Edited by John Worrall and Gregory Currie. --. Cambridge University Press.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  36. added 2015-03-29
    Jean Piaget (1977). Recherches Sur l'Abstraction Réfléchissante. Presses Universitaires de France.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  37. added 2015-03-29
    Merrie Bergmann & Ont Toronto (1976). A Presuppositional Theory of Semantic Categories. S.N.].
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  38. added 2015-03-29
    D. Zissos & F. G. Duncan (1976). Problems and Solutions in Logic Design. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  39. added 2015-03-29
    G. B. Keene (1974). Formal Set Theory. Monograph Collection (Matt - Pseudo).
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  40. added 2015-03-29
    Abraham Adolf Fraenkel, Yehoshua Bar-Hillel & Azriel Lévy (1973). Foundations of Set Theory [by] Abraham A. Fraenkel, Yehoshua Bar-Hillel [and] Azriel Levy. With the Collaboration of Dirk van Dalen. --. [REVIEW] North-Holland Pub. Co.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  41. added 2015-03-29
    W. A. J. Luxemburg & Abraham Robinson (1972). Contributions to Non-Standard Analysis. North-Holland Pub. Co.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  42. added 2015-03-29
    Jules Vuillemin (1971). La Logique Et le Monde Sensible Étude Sur les Théories Contemporaines de L'Abstraction. Flammarion.
    Remove from this list |
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  43. added 2015-03-29
    Joong Fang (1970). Bourbaki. Paideia.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  44. added 2015-03-29
    Joong Fang (1970). Hilbert. Paideia.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  45. added 2015-03-29
    Moshé Machover & Joram Hirschfeld (1969). Lectures on Non-Standard Analysis. Springer.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  46. added 2015-03-29
    Imre Lakatos, Bedford College & British Society for the Philosophy of Science (1967). Problems in the Philosophy of Mathematics Proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume 1. North-Holland Pub. Co.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  47. added 2015-03-29
    Imre Lakatos, Bedford College, British Society for the Philosophy of Science & London School of Economics and Political Science (1967). Proceedings. North-Holland Pub. Co.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  48. added 2015-03-29
    Andrzej Mostowski (1966). Thirty Years of Foundational Studies Lectures on the Development of Mathematical Logic and the Study of the Foundations of Mathematics in 1930-1964. Blackwell.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  49. added 2015-03-29
    Abraham S. Luchins (1965). Logical Foundations of Mathematics for Behavioral Scientists [by] Abraham S. Luchins [and] Edith H. Luchins. --. Holt, Rinehart and Winston.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
  50. added 2015-03-29
    G. H. von Wright & Finland) International Union of the History and Philosophy of Science (1963). Proceedings of a Colloquium on Modal and Many-Valued Logics Helsinki, 23-26 August, 1962. Suomalaisen Kirjallisuuden Kirjapaino.
    Remove from this list |
     
    My bibliography  
     
    Export citation  
1 — 50 / 354