Peter Schroeder-Heister, Gerhard Heinzmann, Wilfrid Hodges, Pierre Edouard Bour (eds.), Logic, Methodology and Philosophy of Science - Proceedings of the 14th International Congress (Nancy). Logic and Science Facing the New Technologies, London: College Publications, 2014. [présentation sur le site de l'éditeur]
Table of Contents
Peter Schroeder-Heister, Gerhard Heinzmann, Wilfrid Hodges, Pierre Edouard Bour
Preface 5
Wilfrid Hodges
DLMPS --- Tarski's Vision and Ours 9
Dag Prawitz
Is There a General Notion of Proof? 27
Jeremy Gray
``The Soul of the Fact''--- Poincaré and Proof 45
Jeffrey Bub
Einstein and Bohr Meet Alice and Bob 65
Justin Tatch Moore
The Utility of the Uncountable 79
Paulo Oliva
Unifying Functional Interpretations: Past and Future 97
Dag Westerståhl
Questions about Compositionality 123
Kosta Došen
General Proof Theory 149
Arnaud Carayol & Christof Löding
Uniformization in Automata Theory 153
Yiannis N. Moschovakis
On the Church-Turing Thesis and Relative Recursion 179
Carlo Cellucci
Explanatory and Non-Explanatory Demonstrations 201
Paul Humphreys
X-Ray Data and Empirical Content 219
Wolfgang Spohn
A Priori Principles of Reason 235
Heather E. Douglas
Scientific Integrity in a Politicized World 253
Hugh Lacey
On the Co-Unfolding of Scientific Knowledge and Viable Values 269
Yemima Ben-Menahem
Scepticism and Verificationism 285
Jean-Pierre Marquis
Mathematical Abstraction, Conceptual Variation and Identity 299
Dale Miller
Communicating and Trusting Proofs: The Case for Foundational Proof Certificates 323
Michel Morange
The Rise of Post-Genomics and Epigenetics: Continuities and discontinuities in the history of biological thought 343
Miriam Solomon
Evidence-Based Medicine and Mechanistic Reasoning in the Case of Cystic Fibrosis 353
Roger M. Cooke
Risk Management and Model Uncertainty in Climate Change 363
Peter Kroes
Knowledge and the Creation of Physical Phenomena and Technical Artefacts 385
Benedikt Löwe: Mathematics and the New Technologies
Part I: Philosophical relevance of a changing culture of mathematics 399
Peter Koepke: Mathematics and the New Technologies
Part II: Computer-Assisted Formal Mathematics and\\ Mathematical Practice 409
Jean Paul Van Bendegem: Mathematics and the New Technologies
Part III: The Cloud and the Web of Proofs 427
Imre Hronszky
Technological Paradigm Conceptions in the 1980s 441
Armin Grunwald
Visionary Communication on Techno-Sciences and Emerging Challenges to Societal Debate: The Case of Synthetic Biology 469
Elena Pariotti
The Convergence of Law and Ethics:\\ Promises and Shortcomings 489
Appukuttan Nair Damodaran
Grand Narratives, Local Minds and Natural Disasters: Community Response to Tsunami in India 499
Gerhard Banse
Engineering Design between Science and the Art 511
Appendix A: Sections, Plenary Lectures and Special Symposia 527
Appendix B: Contributed Papers 531
Appendix C: Affiliated Symposia 549
Appendix D: Committees, Patronages, Supports and Partners 551