8 research outputs found

    A semantic characterization of the well-typed formulae of λ-calculus

    Get PDF
    AbstractA model-theoretic operation is characterized that preserves the property of being a model of typed λ-calculus (i.e., the result of applying it to a model of typed λ-calculus is another model of typed λ-calculus). An expression is well-typed iff the class of its models is closed under this operation

    Ontology and the foundations of mathematics

    Get PDF
    Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 1999.Includes bibliographical references."Ontology and the Foundations of Mathematics" consists of three papers concerned with ontological issues in the foundations of mathematics. Chapter 1, "Numbers and Persons," confronts the problem of the inscrutability of numerical reference and argues that, even if inscrutable, the reference of the numerals, as we ordinarily use them, is determined much more, precisely than up to isomorphism. We argue that the truth conditions of a variety of numerical modal and counterfactual sentences (whose acceptance plays a crucial role in applications) place serious constraints on the sorts of items to which numerals, as we ordinarily use them, can be taken to refer: Numerals cannot be taken to refer to objects that exist contingently such as people, mountains, or rivers, but rather must be taken to refer to objects that exist necessarily such as abstracta. Chapter 2, "Modern Set Theory and Replacement," takes up a challenge to explain the reasons one should accept the axiom of replacement of Zermelo-Fraenkel set theory, when its applications within ordinary mathematics and the rest of science are often described as rare and recondite. We argue that this is not a question one should be interested in; replacement is required to ensure that the element-set relation is well-founded as well as to ensure that the cumulation of sets described by set theory reaches and proceeds beyond the level w of the cumulative hierarchy. A more interesting question is whether we should accept instances of replacement on uncountable sets, for these are indeed rarely used outside higher set theory. We argue that the best case for (uncountable) replacement comes not from direct, intuitive considerations, but from the role replacement plays in the formulation of transfinite recursion and the theory of ordinals, and from the fact that it permits us to express and assert the (first-order) content of the modern cumulative view of the set theoretic universe as arrayed in a cumulative hierarchy of levels. Chapter 3, "A No-Class Theory of Classes," makes use of the apparatus of plural quantification to construe talk of classes as plural talk about sets, and thus provide an interpretation of both one- and two-sorted versions of first-order Morse-Kelley set theory, an impredicative theory of classes. We argue that the plural interpretation of impredicative theories of classes has a number of advantages over more traditional interpretations of the language of classes as involving singular reference to gigantic set-like entities, only too encompassing to be sets, the most important of these being perhaps that it makes the machinery of classes available for the formalization of much recent and very interesting work in set theory without threatening the universality of the theory as the most comprehensive theory of collections, when these are understood as objects.by Gabriel Uzquiano.Ph.D

    On double-membership graphs of models of Anti-Foundation

    Full text link
    We answer some questions about graphs which are reducts of countable models of Anti-Foundation, obtained by considering the binary relation of double-membership xyxx\in y\in x. We show that there are continuum-many such graphs, and study their connected components. We describe their complete theories and prove that each has continuum-many countable models, some of which are not reducts of models of Anti-Foundation.Comment: 15 pages, 2 figure

    Bioécologie et diversité génétique d'Orthops palus (Heteroptera, Miridae), ravageur du manguier à La Réunion

    Get PDF
    Mango crops in Reunion Island are threatened by a series of pests, including the bug Orthops palus (Heteroptera, Miridae). This species has only been reported in Uganda and Reunion Island but is considered pest of mango only in Reunion Island. Few studies have therefore been devoted to this bug, which explains the lack of knowledge concerning this pest. The overall aim of my thesis was to acquire knowledge about O. palus, and several specific objectives were pursued. The first was to characterize mirid diversity in the mango orchards of Reunion Island. The second was to characterize the life cycle of O. palus and insect-plant interactions. The third objective was to study the distribution and genetic diversity of the species in Reunion Island and on other islands in the south-west Indian Ocean (SWIO).The main results of these studies are: among the 13 species identified in the community of mirids in mango orchards, O. palus was the most abundant on the mango inflorescences when in flower. Three original tools were built to identify O. palus in the laboratory and to recognize the species in the field: an identification key, COI sequences, and a field recognition card). A method was developed to rear O. palus, which enabled the characterization of its life cycle and the length of the development stages. Meanwhile, the inventory of in situ host plants (15 species in Reunion Island) showed that O. palus is polyphagous. Studies of the diversity and genetic structure of O. palus in SWIO islands also provided significant results. In Reunion Island, the population is structured in two clusters, although the structural factors could not be fully identified. In Mauritius, one cluster was identified and was shown to be different from the clusters in Reunion Island. No host race was found either in Reunion Island or in Mauritius. Population movements in both directions between the two islands were highlighted. Finally, the analysis of the mitochondrial DNA diversity of individuals sampled on four SWIO islands (Reunion, Mauritius, Mayotte, Grande Comore) revealed the presence of at least seven haplotypes whose distribution confirmed exchanges between islands.The dynamics of O. palus in space and over time are discussed in connection with its survival strategy over the course of the year and with population flows across SWIO. The results showed that beyond being a bug that attacks only the mango tree, as the name strongly suggests, O. palus is rather a "flower bug" likely to maintain populations throughout the year by moving from one flowering plant to another according to food availability. Among the plants involved in the annual dynamics of the insect, several species beside mango are of economic interest (lychee, jujube, avocado). Several research topics are proposed to complete the knowledge already acquired on O. palus, including understanding of population dispersion processes at the scale of the agro-ecosystem, and evaluating the presence and the genetic diversity of O. palus in other SWOI territories. Finally, agroecological practices for the local management of O. palus populations are proposed based on the results of the studies that comprise the present dissertation. Recommendations are made for precautionary measures to prevent the flow of O. palus populations between countries located in the Indian Ocean.La culture du manguier à La Réunion est confrontée à un cortège de bioagresseurs, dont la punaise Orthops palus (Heteroptera, Miridae). Cette espèce est uniquement signalée en Ouganda et à La Réunion mais n'est considérée comme ravageur du manguier qu'à La Réunion. Peu d'études ont donc été consacrées à cet insecte, ce qui est à l'origine du manque de connaissance sur ce ravageur. L'objectif général de cette thèse est l'acquisition de connaissances sur O. palus. Il se décline en plusieurs objectifs spécifiques. Il s'agit, dans un premier temps, de caractériser la diversité de mirides présentes dans les vergers de manguiers de La Réunion. Dans un deuxième temps, l'objectif est de caractériser le cycle biologique d'O. palus et les interactions insecte-plantes. Enfin, dans un troisième temps, le dernier objectif consiste à étudier la distribution et la diversité génétique de l'espèce à La Réunion et dans la zone sud-ouest de l'océan Indien (SOOI). Les principaux résultats de la thèse sont les suivants. La miridofaune des vergers de manguiers a été étudiée et, parmi les 13 espèces de mirides recensées, O. palus est l'espèce la plus abondante sur les inflorescences du manguier lors de sa floraison. Pour identifier O. palus au laboratoire et la reconnaître sur le terrain, trois outils originaux ont été construits (une clé d'identification, des séquences du Cytochrome c Oxydase I et une fiche de reconnaissance sur le terrain). Un élevage d'O. palus a été mis au point ; il a permis de caractériser son cycle biologique et de mesurer les durées de développement des différents stades. Parallèlement, l'inventaire in situ des plantes hôtes d'O. palus (15 espèces à La Réunion) a montré le caractère polyphage de espèce. Les études sur la diversité et la structuration génétique d'O. palus dans les îles du SOOI ont apporté des résultats importants. À La Réunion, la population d'O. palus est structurée en deux clusters, mais les facteurs structurant n'ont pu être totalement identifiés. À Maurice, une seule population est recensée et demeure différente de celles de La Réunion. Aucune race d'hôte n'a été mise en évidence, ni à La Réunion, ni à Maurice. Des flux de populations, dans les deux sens, ont été mis en évidence entre ces deux îles. Enfin, l'analyse de la diversité de l'ADN mitochondrial sur des individus prélevés sur quatre îles du SOOI (La Réunion, Maurice, Mayotte, Grande Comore) montre la présence d'au moins sept haplotypes dont la distribution confirme les échanges inter-îles. La dynamique spatiale et temporelle de l'insecte en relation avec sa stratégie de passage de l'année ainsi que les flux de populations à l'échelle du SOOI font l'objet de discussions transversales. Les résultats montrent qu'au-delà d'être une punaise s'attaquant uniquement au manguier, comme son nom le suggérait jusqu'à présent, O. palus est surtout une "Punaise des fleurs", susceptible de se maintenir toute l'année en se déplaçant, selon la disponibilité des ressources alimentaires, de plante en fleur à plante en fleur. Parmi les plantes participant à sa dynamique annuelle, plusieurs sont des plantes d'intérêt économique (letchi, jujubier, avocatier). Diverses perspectives de recherche sont proposées pour compléter les connaissances déjà acquises sur O. palus, notamment la compréhension des processus de dispersion des populations à l'échelle de l'agroécosystème, la vérification de la présence d'O. palus dans d'autres territoires du SOOI et l'étude de sa diversité génétique dans cette même région. Enfin, à la lumière des résultats acquis dans la thèse, des propositions de gestion agroécologique des populations d'O. palus à l'échelle locale, ainsi que des recommandations sur les mesures de précaution à prendre pour éviter les flux de populations entre les pays de l'océan Indien sont faites

    Environmental drivers of variability in population and individual foraging strategies

    Get PDF
    Efficient foraging can offer individuals a key opportunity to maximise fitness, with important consequences for population dynamics, species distributions, and ecosystem processes. The constant quest to minimise costs and maximise resource gains has given rise to a diverse range of movement behaviours among animals, the complexities of which we are continually uncovering as we accumulate more data, advance technology and develop methods. We know that animals typically forage on patchy resources that seldom stay constant in space or time. However, it remains unknown whether the degree of resource patchiness, or resource heterogeneity, can shape the costs and benefits of foraging, thus affecting foraging movements and population dynamics of animals. The overall aims of this study were therefore to use environmental, movement, and reproductive success data to understand how resource heterogeneity can drive individual and population foraging behaviour. We focus on the ecology of black-legged kittiwakes, Rissa tridactyla, which are a model species for such questions. As central place breeders that feed solely at the surface, kittiwakes are sensitive to changes in prey availability within the environment around their colony. Furthermore, kittiwakes have been widely studied as an ecosystem indicator species, and so we can build upon prior knowledge and benefit from a large body of existing data. To determine foraging behaviour I use GPS tracking data from 15 colonies around the UK and Ireland collected during the breeding seasons between 2010 and 2017; totalling 415 individuals and 1567 foraging trips. These tracking data were combined with environmental data to determine foraging habitat selection and variability over a predictable cycle, and to characterise environmental heterogeneity, as a proxy for resource heterogeneity, within the foraging range of kittiwakes at each colony. I compare environmental heterogeneity to foraging dynamics and reproductive success to understand the potential fitness costs and benefits of foraging in heterogeneous environments. Finally, I extend habitat selection functions to quantify individual specialisation in habitat selection between colonies, and to understand whether environmental heterogeneity could shape the diversity of movement behaviours. Studies revealed that habitat selection differed over the 12.4-h tidal cycle; and that environmental heterogeneity was associated with amplified changes in habitat selection, most likely because of greater spatial variability in temporal resource changes. In more heterogeneous environments, kittiwakes undertook longer foraging trips, overlapped more with other individuals, and had lower breeding success, which suggests that there is greater competition between individuals where resources are clustered into patches, at a cost to reproduction. Potentially as a mechanism to reduce competition, individual specialisations in habitat selection were more prevalent in heterogeneous environments. Together, results highlight the importance of local environmental processes in governing behavioural adaptations of predators. Chapters provide novel advances into the ecology of kittiwakes, but also into the drivers of optimal foraging trade-offs and the origins of individual differences in behaviour that are relevant well beyond this species. Overall, the work presented in this thesis demonstrates that environmental heterogeneity can play a key role in shaping foraging movements of individuals, population dynamics, and potentially the diversity of animal behaviour

    Putting Chinese natural knowledge to work in an eighteenth-century Swiss canton: the case of Dr Laurent Garcin

    Get PDF
    Symposium: S048 - Putting Chinese natural knowledge to work in the long eighteenth centuryThis paper takes as a case study the experience of the eighteenth-century Swiss physician, Laurent Garcin (1683-1752), with Chinese medical and pharmacological knowledge. A Neuchâtel bourgeois of Huguenot origin, who studied in Leiden with Hermann Boerhaave, Garcin spent nine years (1720-1729) in South and Southeast Asia as a surgeon in the service of the Dutch East India Company. Upon his return to Neuchâtel in 1739 he became primus inter pares in the small local community of physician-botanists, introducing them to the artificial sexual system of classification. He practiced medicine, incorporating treatments acquired during his travels. taught botany, collected rare plants for major botanical gardens, and contributed to the Journal Helvetique on a range of topics; he was elected a Fellow of the Royal Society of London, where two of his papers were read in translation and published in the Philosophical Transactions; one of these concerned the mangosteen (Garcinia mangostana), leading Linnaeus to name the genus Garcinia after Garcin. He was likewise consulted as an expert on the East Indies, exotic flora, and medicines, and contributed to important publications on these topics. During his time with the Dutch East India Company Garcin encountered Chinese medical practitioners whose work he evaluated favourably as being on a par with that of the Brahmin physicians, whom he particularly esteemed. Yet Garcin never went to China, basing his entire experience of Chinese medical practice on what he witnessed in the Chinese diaspora in Southeast Asia (the ‘East Indies’). This case demonstrates that there were myriad routes to Europeans developing an understanding of Chinese natural knowledge; the Chinese diaspora also afforded a valuable opportunity for comparisons of its knowledge and practice with other non-European bodies of medical and natural (e.g. pharmacological) knowledge.postprin
    corecore