86 research outputs found

    How to think about informal proofs

    Get PDF
    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

    A Place to Rest Your (Burnt) Bones? Mortuary Houses in Early Anglo-Saxon England

    Get PDF
    This is an Accepted Manuscript of an article published by Taylor & Francis in Archaeological Journal on 5th October 2017, available online: doi: 10.1080/00665983.2017.1366704This article presents a fresh interpretation of square and rectangular mortuary structures found in association with deposits of cremated material and cremation burials in a range of early Anglo-Saxon (fifth-/sixth-century AD) cemeteries across southern and eastern England. Responding to a recent argument that they could be traces of pyre structures, a range of ethnographic analogies are drawn upon, and the full-range of archaeological evidence is synthesized, to re-affirm and extend their interpretation as unburned mortuary structures. Three interleaving significances are proposed: (i) demarcating the burial place of specific individuals or groups from the rest of the cemetery population, (ii) operating as ‘columbaria’ for the above-ground storage of the cremated dead (i.e. not just to demarcate cremation burials), and (iii) providing key nodes of commemoration between funerals as the structures were built, used, repaired and eventually decayed within cemeteries. The article proposes that timber ‘mortuary houses’ reveal that groups in early Anglo-Saxon England perceived their cemeteries in relation to contemporary settlement architectures, with some groups constructing and maintaining miniaturized canopied buildings to store and display the cremated remains of the dead

    The structure of idealization in biological theories: the case of the Wright-Fisher model.

    Get PDF
    In this paper we present a new framework of idealization in biology. We characterize idealizations as a network of counterfactual and hypothetical conditionals that can exhibit different “degrees of contingency”. We use this idea to say that, in departing more or less from the actual world, idealizations can serve numerous epistemic, methodological or heuristic purposes within scientific research. We defend that, in part, this structure explains why idealizations, despite being deformations of reality, are so successful in scientific practice. For illustrative purposes, we provide an example from population genetics, the Wright-Fisher Mode
    corecore