22 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

    Biological control of wildland weed pests in Hawaii--is it a feasible solution?

    Get PDF
    Western Region, National Park Servic

    Impact of introduced anthropods on endemic terrestrial organisms in Hawai'i

    Get PDF
    Western Region, National Park Servic

    A revision of Lachnodius Maskell (Hemiptera, Coccomorpha, Eriococcidae)

    Get PDF
    Lachnodius Maskell is a genus of three named species that are part of an Australian radiation of felt scale insects that induce galls on Eucalyptus and Corymbia (Myrtaceae). A female’s gall usually consists of an open-top pit in swollen plant tissue. Depending on the species, galls can occur on a host’s leaves, buds, stems, or trunk. Here, we redescribe the named species: L. eucalypti (Maskell), L. hirsutus (Froggatt) and L. lectularius (Maskell), and describe seven new species: L. brimblecombei Beardsley, Gullan & Hardy, sp. n., L. froggatti Beardsley, Gullan & Hardy, sp. n., L. maculosus Beardsley, Gullan & Hardy, sp. n., L. melliodorae Beardsley, Gullan & Hardy, sp. n., L. newi Beardsley, Gullan & Hardy, sp. n., L. parathrix Beardsley, Gullan & Hardy, sp. n., L. sealakeensis Gullan & Hardy, sp. n. Descriptions are based primarily on adult females, but for some species short diagnoses of nymphal stages also are provided. The taxonomic history of Lachnodius is reviewed, with notes on their biology and ecology. A key to species based on the morphology of adult females is provided, and lectotypes are designated for Dactylopius eucalypti Maskell and Lachnodius lectularius Maskell

    Defectos del tubo neural y del ĂĄcido fĂłlico: recorrido histĂłrico de una intervenciĂłn preventiva altamente efectiva

    No full text
    corecore