Buch, Englisch, Band 47, 529 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 2080 g
Reihe: Boston Studies in the Philosophy and History of Science
Buch, Englisch, Band 47, 529 Seiten, Format (B × H): 160 mm x 241 mm, Gewicht: 2080 g
Reihe: Boston Studies in the Philosophy and History of Science
ISBN: 978-90-277-0735-2
Verlag: Springer Netherlands
Zielgruppe
Research
Fachgebiete
Weitere Infos & Material
I / Foundations of Logic and of Mathematics.- Positively Omitting Types.- Proof Theory and Theory of Meaning.- Free Semantics.- A Temporalization of Modal Semantics.- Semantics for a Class of Intuitionistic Modal Calculi.- ‘Since’, ‘Even If’, ‘As If’.- What Is Contemporary Logic Talking About?.- Intuition and Rigor: Some Problems of a ‘Logic of Discovery’ in Mathematics.- Intuitive Proofs and First-Order Derivations: Some Notes on the Metamathematics of First-Order Number Theory.- Constructive Sequent Reduction in Gentzen’s First Consistency Proof for Arithmetic.- Inductive Logic and Inductive Statistics.- II / Foundations of Empirical Sciences.- Is There a Logic of Empirical Sciences?.- On Physical Possibility.- Problems of the Proposition-State Structure of Quantum Mechanics.- Quantum Logic and the Two-Slit Experiment.- Causality and Tachyons in Relativity.- Time and Causality.- The Concept of Progress in Physics.- Equilibria, Crystals, Programs, Energetic Models, and Organizational Models.- III / History of the Sciences.- Francesco Patrizi: Heavenly Spheres and Flocks of Cranes.- Leibniz on the Structure of Relations.- Necessary and Contingent Truths in Leibniz.- Kant on Mathematical Definition.- ‘Proof’, ‘Theory’, and ‘Foundations’ in Hilbert’s Mathematical Work from 1885 to 1900.- The History of Science as the History of Dictionaries.- Biographical Notes.- Index of Names.