close
1.

図書
図書
1. Philosophie mathématique
Jean Cavaillès ; préface de Raymond Aron ; introduction de Roger Martin
出版情報: Paris : Hermann, c1962  274 p. ; 22 cm
シリーズ名: Histoire de la pensée ; 6
所蔵情報: loading…
2.

図書
図書
2. The nature of mathematical knowledge
Philip Kitcher
出版情報: New York ; Oxford : Oxford University Press, 1983  287 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction
Epistemological Preliminaries / 1：
The Apriorist Program / 2：
Mathematical Intuition / 3：
Conceptualism / 4：
Toward a Defensible Empiricism / 5：
Mathematical Reality / 6：
Mathematical Change and Scientific Change / 7：
Mathematical Changes / 8：
Patterns of Mathematical Change / 9：
The Development of Analysis: A Case Study / 10：
Bibliography
Index
Preface
Introduction
Epistemological Preliminaries / 1：
3.

図書
図書
3. Synergetics : explorations in the geometry of thinking (v. 1 ; v. 2)
R. Buckminster Fuller ; in collaboration with E.J. Applewhite ; preface and contribution by Arthur L. Loeb
出版情報: New York : Macmillan, c1975-c1979  2 v. ; 24 cm
所蔵情報: loading…
4.

図書
図書
4. Philosophische Grammatik
Ludwig Wittgenstein ; herausgegeben von Rush Rhees
出版情報: Oxford : B. Blackwell, c1969  490 p. ; 23 cm
所蔵情報: loading…
5.

図書
図書
5. Raum und Zahl
Kurt Reidemeister
出版情報: Berlin : Springer, 1957  vi, 151 p. ; 23 cm
所蔵情報: loading…
6.

図書
図書
6. Operationalismus : Kritik und Geschichte einer Philosophie der exakten Wissenschaften
Klüver, Jürgen, 1941-
出版情報: Stuttgart-Bad Cannstatt : Frommann-Holzboog, 1971  220 p. ; 21 cm
シリーズ名: Problemata
所蔵情報: loading…
7.

図書
図書
7. The philosophy of mathematics (: pbk)
edited by W.D. Hart
出版情報: New York : Oxford University Press, 1996  vi, 316 p. ; 21 cm
シリーズ名: Oxford readings in philosophy
所蔵情報: loading…
8.

図書
図書
8. The common sense of the exact sciences
William Kingdon Clifford ; with a new introduction by Andrew Pyle
出版情報: London : Routledge/Thoemmes Press, 1996  ix, [iii]-xiii, 271 p. ; 23 cm
シリーズ名: The origins of modern philosophy of science, 1830-1914
所蔵情報: loading…
9.

図書
図書
9. Introduction to mathematical philosophy. 2nd ed
by Bertrand Russell
出版情報: London : G. Allen & Unwin, ltd., 1920  xi, 208 p. ; 22 cm
所蔵情報: loading…
10.

図書
図書
10. Frege and Gödel : two fundamental texts in mathematical logic (: hard ; : pbk)
edited by Jean van Heijenoort
出版情報: Cambridge, Mass. : Harvard University Press, 1970  116 p. ; 26 cm
所蔵情報: loading…
11.

図書
図書
11. Evolution of mathematical thought
Herbert Meschkowski ; translated by Jane H. Gayl
出版情報: San Francisco : Holden-Day, 1965  157 p. ; 24 cm
シリーズ名: The Mathesis series
所蔵情報: loading…
12.

図書
図書
12. The continuous and the discrete : ancient physical theories from a contemporary perspective
Michael J. White
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1992  xiv, 345 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
Spatial magnitude, time, and motion / I：
An Aristotelian model: Aristotle: The formal analysis of spatial magnitude and locomotion
Aristotle on time and locomotion: Physics and metaphysics
Aristotelian kinematics and non-locomotive Kineseis
Aristotle and the mathematicians, ancient and modern
Spatial magnitude, time, and motion: Alternatives to Aristotelianism / II：
The quantum model: Spatial magnitude
The quantum model: Time and locomotion
The Stoic model
Peroration
Spatial magnitude, time, and motion / I：
An Aristotelian model: Aristotle: The formal analysis of spatial magnitude and locomotion
Aristotle on time and locomotion: Physics and metaphysics
13.

図書
図書
13. The axiomatic method : an introduction to mathematical logic
A. H. Lightstone
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1964  x, 246 p. ; 24 cm
所蔵情報: loading…
14.

図書
図書
14. Constructibility and mathematical existence (: pbk)
Charles S. Chihara
出版情報: Oxford : Clarendon Press , New York : Oxford University Press, 1990  xv, 282 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
constructibility And Mathematical Existence
Constructibility and Mathematical Existence
Preface
Acknowledgements
the Constructibility Theory / Part I：
The Problem of Existence in Mathematics / 1：
The Constructibility Quantifiers / 2：
Constructibility and Open-Sentences / 3：
The Deductive System / 4：
Cardinality and Number Theory / 5：
Measurable Quantities and Analysis / 6：
Philosophical Developments / Part II：
Mathematical Structuralism / 7：
Science Without Numbers / 8：
Why Burgess is a Moderate Realist / 9：
Maddy's Solution to the Problem of Reference / 10：
Kitcher's Ideal Agents / 11：
Deflationism and Mathematical Truth / 12：
Appendix Field's Nominalistic Logical Theory
Bibliography
Index
constructibility And Mathematical Existence
Constructibility and Mathematical Existence
Preface
15.

図書
図書
15. Mathematics and science
edited by Ronald E. Mickens
出版情報: Singapore ; Teaneck, N.J. : World Scientific, c1990  viii, 342 p. ; 23 cm
所蔵情報: loading…
16.

図書
図書
16. Realism in mathematics
Penelope Maddy
出版情報: Oxford : Clarendon Press, 1990 , New York : Oxford University Press, 1990  ix, 204 p. ; 23 cm
所蔵情報: loading…
目次情報: 続きを見る
Realism: Pre-theoretic realism
Realism in philosophy
Realism and truth
Realism in mathematics
Perception and intuition: What is the question?
Perception
Intuition
Godelian Platonism
Numbers: What numbers could not be
Numbers as properties
Frege numbers
Axioms: Reals and sets of reals
Axiomization
Open problems
Competing theories
The challenge
Monism and beyond: Monism
Field's nominalism
Structuralism
Summary
References
Index
Realism: Pre-theoretic realism
Realism in philosophy
Realism and truth
17.

図書
図書
17. Foundations of set theory
Abraham A. Fraenkel and Yehoshua Bar-Hillel
出版情報: Amsterdam : North-Holland, 1958  x, 415 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
18.

図書
図書
18. Philosophische Bemerkungen
Ludwig Wittgenstein ; aus dem Nachlaß herausgegeben von Rush Rhees
出版情報: Oxford : Basil Blackwell, 1964  347 p. ; 23 cm
所蔵情報: loading…
19.

図書
図書
19. Realism, mathematics, and modality
Hartry Field
出版情報: Oxford, UK ; New York, NY, USA : Blackwell, 1989  viii, 290 p. ; 24 cm
所蔵情報: loading…
20.

図書
図書
20. The foundations of mathematics : a study in the philosophy of science
Evert W. Beth
出版情報: Amsterdam : North-Holland Pub. Co., 1959  xxvi, 741 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
21.

図書
図書
21. Outlines of a formalist philosophy of mathematics
Haskell B. Curry
出版情報: Amsterdam : North-Holland Pub. Co., c1951  vii, 75 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
22.

図書
図書
22. Mathematical logic
Stephen Cole Kleene
出版情報: New York : J. Wiley, c1967  xiii, 398 p. ; 24 cm
所蔵情報: loading…
23.

図書
図書
23. The mathematical experience
Philip J. Davis, Reuben Hersh ; with an introduction by Gian-Carlo Rota
出版情報: Boston : Birkhäuser, c1980  xix, 440 p. ; 24 cm
所蔵情報: loading…
24.

図書
図書
24. Mathematical philosophy (: ne ; : us)
by Charles S. Peirce ; edited by Carolyn Eisele
出版情報: The Hague : Mouton Publishers , Atlantic Highlands, N.J. : Humanities Press, 1976  xxviii, 393 p., [1] leaf of plates ; 24 cm
シリーズ名: The new elements of mathematics ; v. 4
所蔵情報: loading…
25.

図書
図書
25. On formally undecidable propositions of Principia mathematica and related systems
Kurt Gödel ; translated by B. Meltzer ; with introduction by R.B. Braithwaite
出版情報: New York : Basic Books, c1962  viii, 72 p. ; 18 cm
所蔵情報: loading…
26.

図書
図書
26. From mathematics to philosophy
[by] Hao Wang
出版情報: London : Routledge & Kegan Paul , New York : Humanities Press, [1974]  xiv, 428 p. ; 23 cm
シリーズ名: International library of philosophy and scientific method
所蔵情報: loading…
27.

図書
図書
27. Foundations of set theory. 2nd rev. ed
Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy, with the collaboration of Dirk van Dalen
出版情報: Amsterdam : North-Holland, 1973  x, 404 p. ; 23 cm
シリーズ名: Studies in logic and the foundations of mathematics ; v. 67
所蔵情報: loading…
目次情報: 続きを見る
The Antinomies
Axiomatic Foundations of Set Theory
Type-Theoretical Approaches
Intuitionistic Conceptions of Mathematics
Metamathematical and Semantical Approaches
Bibliography
Indices
The Antinomies
Axiomatic Foundations of Set Theory
Type-Theoretical Approaches
28.

図書
図書
28. Remarks on the foundations of mathematics. 2nd ed
by Ludwig Wittgenstein ; edited by G.H. von Wright, R. Rhees, G.E.M. Anscombe ; translated [from the German] by G.E.M. Anscombe
出版情報: Oxford : Blackwell, 1967  xix, 204 p. ; 23 cm
所蔵情報: loading…
29.

図書
図書
29. Grundlagen der Mathematik. 2. Aufl (v. 1 - v. 2 : pbk)
D. Hilbert und P. Bernays
出版情報: Berlin : Springer, 1968-1970  2 v. ; 24 cm
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 40, 50
所蔵情報: loading…
30.

図書
図書
30. Mathematical thought : an introduction to the philosophy of mathematics
Evert W. Beth
出版情報: Dordrecht, Holland : D. Reidel Pub. Co., [1965]  xii, 208 p. ; 23 cm
シリーズ名: Synthese library ; 11
所蔵情報: loading…
31.

図書
図書
31. Mysticism in modern mathematics
by Hastings Berkeley
出版情報: London : Henry Frowde : Oxford University Press, 1910  xii, 264 p ; 23 cm
所蔵情報: loading…
32.

図書
図書
32. Mathematical thought and its objects (: hardback ; : paperback)
Charles Parsons
出版情報: New York : Cambridge University Press, 2008  xx, 378 p. ; 24 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Objects and logic / 1：
Structuralism and nominalism / 2：
Modality and structuralism / 3：
A problem about sets / 4：
Intuition / 5：
Numbers as objects / 6：
Intuitive arithmetic and its limits / 7：
Mathematical induction / 8：
Reason / 9：
Preface
Objects and logic / 1：
Structuralism and nominalism / 2：
33.

図書
図書
33. Induction and analogy in mathematics (: hbk ; : pbk)
by G. Polya
出版情報: Princeton : Princeton University Press, 1954  xvi, 280 p. ; 24 cm
シリーズ名: Mathematics and plausible reasoning ; v. 1
所蔵情報: loading…
34.

図書
図書
34. Patterns of plausible inference (: cloth ; : paper)
by G. Polya
出版情報: Princeton : Princeton University Press, 1954  x, 190 p. ; 25 cm
シリーズ名: Mathematics and plausible reasoning ; v. 2
所蔵情報: loading…
35.

図書
図書
35. The infinite in mathematics : logico-mathematical writings (: pbk)
Felix Kaufmann ; edited by Brian McGuinness ; with an introd. by Ernest Nagel ; translated from the German by Paul Foulkes
出版情報: Dordrecht, Holland ; Boston : D. Reidel Pub. Co., c1978  xvii, 235 p. ; 23 cm
シリーズ名: Vienna circle collection ; 9
所蔵情報: loading…
36.

図書
図書
36. Science and sanity : an introduction to non-Aristotelian systems and general semantics. 4th ed. / with new preface by Russell Meyers
by Alfred Korzybski
出版情報: Lakeville, Conn. : International Non-Aristotelian Library , Lakeville, conn. : Distributed by Institute of General Semantics, 1958  xc, 806 p. ; 24 cm
シリーズ名: International non-Aristotelian library
所蔵情報: loading…
37.

図書
図書
37. Logical foundations of mathematics for behavioral scientists
Abraham S. Luchins, Edith H. Luchins
出版情報: New York : Holt, Rinehart & Winston, c1965  xii, 436 p. ; 23 cm
所蔵情報: loading…
38.

図書
図書
38. Geometrie und Erfahrung : erweiterte Fassung des Festvortrages gehalten an der Preussischen Akademie der Wissenschaften zu Berlin am 27. Januar 1921
von Albert Einstein
出版情報: Berlin : Springer, 1921  20 p. ; 22 cm
所蔵情報: loading…
39.

図書
図書
39. Descartes' dream : the world according to mathematics
Philip J. Davis, Reuben Hersh
出版情報: San Diego : Harcourt Brace Jovanovich, c1986  xvii, 321 p. ; 25 cm
所蔵情報: loading…
目次情報: 続きを見る
Preface
Acknowledgements
This Mathematized World / I：
Descartes' Dream
Where the Dream Stands Today
The Limits of Mathematics
Are We Drowning in Digits?
The Stochastized World: A Matter of Style?
Feedback and Control: The Equilibrium Machine
Computer Graphics and the Possibility of High Art
The Social Tyranny of Numbers / II：
Mathematics and Rhetoric
The Criterion Makers: Mathematics and Social Policy
The Computerization of Love
Testing
Mathematics as a Social Filter
A "Marxian" Analysis of the Role of Computing in Organizations
Cognition and Computation / III：
The Descriptive, Predictive, and Prescriptive Functions of Applied Mathematics
The Intellectual Components of Technology, Mathematics and Computation: Four Lists
Metathinking as a Way of Life
Three Meanings of Computation
What Scientific Computation is for
Why Should I Believe a Computer: Computation as Process and Product
The Whorfian Hypothesis: Ends and Means in Computer Languages
The Programming Milieu
Perspectives Through Time / IV：
Of Time and Mathematics
Non-Euclidean Geometry and Ethical Relativism
The Unreasonable Effectiveness of Computers. Are We Hooked?
Mathematics and Ethics / V：
Platonic Mathematics Meets Platonic Philosophy of Religion: An Ethical Metaphor
The Computer Thinks: An Interpretation in the Medieval Mode
Mathematics and the End of the World
Personal Meanings / VI：
Mathematics and Imposed Reality
Loss of Meaning through Intellectual Processes: Mathematical Abstraction
Envoi / VII：
Bibliography
Index
Preface
Acknowledgements
This Mathematized World / I：
40.

図書
図書
40. Space, time and geometry (: cloth ; : pbk)
edited by Patrick Suppes
出版情報: Dordrecht ; Boston : Reidel, c1973  xi, 424 p. ; 23 cm
シリーズ名: Synthese library
所蔵情報: loading…
41.

図書
図書
41. Einführung in das mathematische Denken : die Begriffsbildung der modernen Mathematik
Friedrich Waismann ; mit einem vorwort von Karl Menger
出版情報: Wien : Gerold, 1936  vii, 188 p. ; 25 cm
所蔵情報: loading…
42.

図書
図書
42. Introduction to logic and to the methodology of deductive sciences. 2nd ed., rev
by Alfred Tarski ; [translated by Olaf Helmer]
出版情報: New York : Oxford University Press, 1946  xviii, 239 p. ; 23 cm
所蔵情報: loading…
43.

図書
図書
43. Introduction to mathematical philosophy. 2nd ed.
by Bertrand Russell
出版情報: London : G. Allen & Unwin, 1920  xv, 208 p. ; 22 cm
シリーズ名: Muirhead library of philosophy
所蔵情報: loading…
44.

図書
図書
44. The philosophy of mathematics
by Edward A. Maziarz
出版情報: New York : Philosophical Library, c1950  viii, 286 p. ; 22 cm
所蔵情報: loading…
45.

図書
図書
45. Das Wissenschaftsideal der Mathematiker
Pierre Boutroux ; autorisierte deutsche Ausgabe mit erläuternden Anmerkungen von H. Pollaczek-Geiringer
出版情報: Leipzig : B.G. Teubner, 1927  253 p. ; 20 cm
シリーズ名: Wissenschaft und Hypothese ; 28
所蔵情報: loading…
46.

図書
図書
46. Die mathematische Methode : logisch erkenntnistheoretische Untersuchungen im Gebiete der Mathematik, Mechanik und Physik
von Otto Hölder
出版情報: Berlin : J. Springer, 1924  x, 563 p. ; 25 cm
所蔵情報: loading…
47.

図書
図書
47. Aufbau der exakten Fundamentalwissenschaft
Hugo Dingler ; herausgegeben von Paul Lorenzen
出版情報: München : Eidos-Verlag, [1964]  285 p. ; 24 cm
所蔵情報: loading…
48.

図書
図書
48. The theory of probability : an inquiry into the logical and mathematical foundations of the calculus of probability. 2nd ed
by Hans Reichenbach ; English translation by Ernest H. Hutten and Maria Reichenbach
出版情報: Berkeley : University of California Press, 1949  xvi, 492 p. ; 25 cm
所蔵情報: loading…
49.

電子ブック
ＥＢ
49. Proof and computation II : from proof theory and univalent mathematics to program extraction and verification (: electronic bk)
editors, Klaus Mainzer, Peter Schuster, Helmut Schwichtenberg
出版情報: World Scientific eBooks  1 online resource (xvi, 408 p.)
所蔵情報: loading…
50.

電子ブック
ＥＢ
50. How humans learn to think mathematically : exploring the three worlds of mathematics (: electronic bk)
David Tall, emeritus professor in mathematical thinking, University of Warwick, visiting professor, Mathematics Education Centre, Loughborough University
出版情報:   1 online resource (xix, 457 p.)
シリーズ名: Learning in doing : social, cognitive and computational perspectives ;
所蔵情報: loading…
51.

図書
図書
51. Proofs and refutations : the logic of mathematical discovery (: hard ; : pbk)
Imre Lakatos ; edited by John Worrall and Elie Zahar
出版情報: Cambridge : Cambridge University Press, 1976  xii, 174 p. ; 22 cm
所蔵情報: loading…
目次情報: 続きを見る
EditorsG++ preface
Acknowledgments
AuthorG++s introduction
A problem and a conjecture / 1：
A proof / 2：
Criticism of the proof by counterexamples which are local but not global / 3：
Criticism of the conjecture by global counterexamples / 4：
Criticism of the proof-analysis by counterexamples which are global but not local: the problem of rigour / 5：
Return to criticism of the proof by counterexamples which are local but not global: the problem of content / 6：
The problem of content revisited / 7：
Concept-formation / 8：
How criticism may turn mathematical truth into logical truth / 9：
Appendices
Bibliography
Index of names
Index of subjects
EditorsG++ preface
Acknowledgments
AuthorG++s introduction
52.

電子ブック
ＥＢ
52. Towards a philosophy of real mathematics (: electronic bk)
David Corfield
出版情報:   1 online resource (x, 288 p.)
所蔵情報: loading…
目次情報: 続きを見る
Preface
Introduction: a role for history / 1：
Human and Artificial Mathematicians / Part I：
Communicating with automated theorem provers / 2：
Automated conjecture formation / 3：
The role of analogy in mathematics / 4：
Plausibility, Uncertainty and Probability / Part II：
Bayesianism in mathematics / 5：
Uncertainty in mathematics and science / 6：
The Growth of Mathematics / Part III：
Lakatos's philosophy of mathematics / 7：
Beyond the methodology of mathematical research programmes / 8：
The importance of mathematical conceptualisation / 9：
The Interpretation of Mathematics / Part IV：
Higher dimensional algebra / 10：
Appendix
Bibliography
Index
Preface
Introduction: a role for history / 1：
Human and Artificial Mathematicians / Part I：
53.

電子ブック
ＥＢ
53. Where do numbers come from? / (: electronic bk)
T. W. Körner
出版情報:   1 online resource (xi, 260 p.)
所蔵情報: loading…
54.

図書
図書
54. Philosophy of mathematics : selected readings
edited and with an introduction by Paul Benacerraf and Hilary Putnam
出版情報: Englewood Cliffs, N.J. : Prentice-Hall, c1964  vii, 536 p. ; 24 cm
シリーズ名: Prentice-Hall philosophy series
所蔵情報: loading…
55.

図書
図書
55. Philosophy of mathematics and natural science. Rev. and augm. English ed. / based on a translation by Olaf Helmer
by Hermann Weyl
出版情報: Princeton : Princeton University Press, 1949  x, 311 p. ; 24 cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼