Removing Knowledge

History of Scienc

A strange reconciliation : A conversation about architecture and science with Peter Galison and Antoine Picon.

Propos recueillis par David TheodoreInternational audienc

Interdisciplinary research: putting the methods under the microscope

BACKGROUND: While the desirability of interdisciplinary inquiry has been widely acknowledged, indeed has become 'the mantra of science policy', the methods of interdisciplinary collaboration are opaque to outsiders and generally remain undescribed. DISCUSSION: Many have analysed interdisciplinarity, especially in relation to the creation of new disciplines and institutions. These analyses are briefly outlined. Still, there currently persists a silence about the methods of interdisciplinary collaboration itself, and the core of this paper proposes a template for such methods. SUMMARY: Breaking this silence – by making the methods of interdisciplinary projects transparent – could further invigorate interdisciplinary research

The Next Generation Event Horizon Telescope Collaboration: History, Philosophy, and Culture

This white paper outlines the plans of the History Philosophy Culture Working Group of the Next Generation Event Horizon Telescope Collaboration.Comment: 23 pages, 1 figur

How to think about informal proofs

This document is the Accepted Manuscript version of the following article: Brendan Larvor, ‘How to think about informal proofs’, Synthese, Vol. 187(2): 715-730, first published online 9 September 2011. The final publication is available at Springer via doi:10.1007/s11229-011-0007-5It is argued in this study that (i) progress in the philosophy of mathematical practice requires a general positive account of informal proof; (ii) the best candidate is to think of informal proofs as arguments that depend on their matter as well as their logical form; (iii) articulating the dependency of informal inferences on their content requires a redefinition of logic as the general study of inferential actions; (iv) it is a decisive advantage of this conception of logic that it accommodates the many mathematical proofs that include actions on objects other than propositions; (v) this conception of logic permits the articulation of project-sized tasks for the philosophy of mathematical practice, thereby supplying a partial characterisation of normal research in the fieldPeer reviewedFinal Accepted Versio