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

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

Western Region, National Park Servic

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

Western Region, National Park Servic

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

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