We address the question of whether it is possible to operate a time machine by manipulating matter and energy so as to manufacture closed timelike curves. This question has received a great deal of attention in the physics literature, with attempts to prove no- go theorems based on classical general relativity and various hybrid theories serving as steps along the way towards quantum gravity. Despite the effort put into these no-go theorems, there is no widely accepted definition of a time (...) machine. We explain the conundrum that must be faced in providing a satisfactory definition and propose a resolution. Roughly, we require that all extensions of the time machine region contain closed timelike curves; the actions of the time machine operator are then sufficiently "potent" to guarantee that closed timelike curves appear. We then review no-go theorems based on classical general relativity, semi-classical quantum gravity, quantum field theory on curved spacetime, and Euclidean quantum gravity. Our verdict on the question of our title is that no result of sufficient generality to underwrite a confident "yes" has been proven. Our review of the no-go results does, however, highlight several foundational problems at the intersection of general relativity and quantum physics that lend substance to the search for an answer. (shrink)

In this paper we look at the manual analysis of arguments and how this compares to the current state of automatic argument analysis. These considerations are used to develop a new approach combining a machine learning algorithm to extract propositions from text, with a topic model to determine argument structure. The results of this method are compared to a manual analysis.

We show how faceted search using a combination of traditional classification systems and mixed-membership topic models can go beyond keyword search to inform resource discovery, hypothesis formulation, and argument extraction for interdisciplinary research. Our test domain is the history and philosophy of scientific work on animal mind and cognition. The methods can be generalized to other research areas and ultimately support a system for semi-automatic identification of argument structures. We provide a case study for the application of the methods to (...) the problem of identifying and extracting arguments about anthropomorphism during a critical period in the development of comparative psychology. We show how a combination of classification systems and mixed-membership models trained over large digital libraries can inform resource discovery in this domain. Through a novel approach of “drill-down” topic modeling—simultaneously reducing both the size of the corpus and the unit of analysis—we are able to reduce a large collection of fulltext volumes to a much smaller set of pages within six focal volumes containing arguments of interest to historians and philosophers of comparative psychology. The volumes identified in this way did not appear among the first ten results of the keyword search in the HathiTrust digital library and the pages bear the kind of “close reading” needed to generate original interpretations that is the heart of scholarly work in the humanities. Zooming back out, we provide a way to place the books onto a map of science originally constructed from very different data and for different purposes. The multilevel approach advances understanding of the intellectual and societal contexts in which writings are interpreted. (shrink)

Though academic debate over gender-inclusive God-talk seems to have fizzled, the issue is a pressing one within many Christiandenominations today—both within and outside the Church—and for that reason deserves to be briefly revisited. Accordingly, althoughin this essay we approach the issue as professional philosophers, our focus is on the life of the Church—more specifically, those no doubt sizable segments of the Church for which a personal God and Satan exist and evangelism matters. Running an elimination argument, we contend that if (...) a certain sort of feminist concern about traditional God-talk is well-directed, the best response is to speak of not only God but also Satan in both masculine and feminine terms. And in closing, we address the possible worry that this response to the God-talk problem would not be Christian enough. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

Many philosophical theories of causation are egalitarian, rejecting a distinction between causes and mere causal conditions. We sought to determine the extent to which people's causal judgments discriminate, selecting as causes counternormal events—those that violate norms of some kind—while rejecting non-violators. We found significant selectivity of this sort. Moreover, priming that encouraged more egalitarian judgments had little effect on subjects. We also found that omissions are as likely as actions to be judged as causes, and that counternormative selectivity appears to (...) apply equally to actions and omissions. (shrink)

John Shook’s Systematic Atheology, “composed mainly for the edification of atheism’s defenders,” (p. 37) is an attempt to understand and defend atheism in an organized way. The book is divided into three sections. The first is the attempt to define ‘atheist’, ‘atheology’, and their relationship by tracking historical uses of the terms. The second is an extensive history of atheistic and atheological western philosophers, and the third, which occupies the last half of the book, is the attempt to systematically (...) undermine every kind of argument for the existence of a god. In this review, I state the strengths and weaknesses of the book, summarize its main points, and provide reasons to think that the atheological project in the last half of the book fails. (shrink)

The Planteome project provides a suite of reference and species-specific ontologies for plants and annotations to genes and phenotypes. Ontologies serve as common standards for semantic integration of a large and growing corpus of plant genomics, phenomics and genetics data. The reference ontologies include the Plant Ontology, Plant Trait Ontology, and the Plant Experimental Conditions Ontology developed by the Planteome project, along with the Gene Ontology, Chemical Entities of Biological Interest, Phenotype and Attribute Ontology, and others. The project also provides (...) access to species-specific Crop Ontologies developed by various plant breeding and research communities from around the world. We provide integrated data on plant traits, phenotypes, and gene function and expression from 95 plant taxa, annotated with reference ontology terms. (shrink)

The National Center for Biomedical Ontology is a consortium that comprises leading informaticians, biologists, clinicians, and ontologists, funded by the National Institutes of Health (NIH) Roadmap, to develop innovative technology and methods that allow scientists to record, manage, and disseminate biomedical information and knowledge in machine-processable form. The goals of the Center are (1) to help unify the divergent and isolated efforts in ontology development by promoting high quality open-source, standards-based tools to create, manage, and use ontologies, (2) to create (...) new software tools so that scientists can use ontologies to annotate and analyze biomedical data, (3) to provide a national resource for the ongoing evaluation, integration, and evolution of biomedical ontologies and associated tools and theories in the context of driving biomedical projects (DBPs), and (4) to disseminate the tools and resources of the Center and to identify, evaluate, and communicate best practices of ontology development to the biomedical community. Through the research activities within the Center, collaborations with the DBPs, and interactions with the biomedical community, our goal is to help scientists to work more effectively in the e-science paradigm, enhancing experiment design, experiment execution, data analysis, information synthesis, hypothesis generation and testing, and understand human disease. (shrink)

There is a recent and growing trend in philosophy that involves deferring to the claims of certain disciplines outside of philosophy, such as mathematics, the natural sciences, and linguistics. According to this trend— deferentialism , as we will call it—certain disciplines outside of philosophy make claims that have a decisive bearing on philosophical disputes, where those claims are more epistemically justified than any philosophical considerations just because those claims are made by those disciplines. Deferentialists believe that certain longstanding philosophical problems (...) can be swiftly and decisively dispatched by appeal to disciplines other than philosophy. In this paper we will argue that such an attitude of uncritical deference to any non-philosophical discipline is badly misguided. With reference to the work of John Burgess and David Lewis, we consider deference to mathematics. We show that deference to mathematics is implausible and that main arguments for it fail. With reference to the work of Michael Blome-Tillmann, we consider deference to linguistics. We show that his arguments appealing to deference to linguistics are unsuccessful. We then show that naturalism does not entail deferentialism and that naturalistic considerations even motivate some anti-deferentialist views. Finally, we set out deferentialism’s failings and present our own anti-deferentialist approach to philosophical inquiry. (shrink)

In the first part of this paper, I will briefly introduce the concept of incongruity and its relation to humor and seriousness, connecting the ideas of Arthur Schopenhauer and the contemporary work of John Morreall. I will reveal some of the relations between Schopenhauer's notion of "seriousness" and the existentialists such as Jean Paul Sartre, Simone Be Beauvoir, and Lewis Gordon. In section II, I will consider the relationship between playfulness and incongruity, noting the role that enjoyment of incongruity (...) plays in creative, non-dogmatic thinking. In section III, I will critique Morreall's arguments against the efficacy of humor as a means of serious protest, analyzing the complex relationship between the ambiguous terms "seriousness" and "playfulness". In the final section, I contend that Morreall's conception of humor, with which I generally agree, fails to adequately address subversive humor. He is cognizant of the benefits of a humorous attitude and of the work of rebellious groups who use humor, but his insistence that the play mode of humor precludes emotional attachment and practical concern, renders his philosophical analysis of humor far less comprehensive than his title suggests. I will make the case, contra Morreall, and he is the most prominent of many humor theorists who make similar points, that some humor in play mode is non-existentially, non-gravely serious, and intends to do more than simply "delight" audiences; the subversive humorist, in particular, is attempting to disclose and transmit information in such a way as to create change in both attitudes and practical social interactions. (shrink)

Since G.A. Cohen’s influential criticism, John Rawls’s focus on the basic structure of society has fallen out of favor in moral and political philosophy. The most prominent defenses of this focus has argued from particular conceptions of justice or from a moral division of labor. In this dissertation, I instead argue for the Rawlsian focus from the ways in which social institutions establish new obligations, rights and powers. I argue that full evaluation of individual conduct requires that we evaluate (...) the practices within which an individual’s actions occur. Likewise, full evaluation of practices often requires evaluating the systems within which actions occur. I argue that we should treat the basic structure of society as a moral subject because the full evaluation of the various institutions that constitute the basic structure requires that we evaluate the basic structure as a whole. This argument shows the advantages of the Rawlsian approach even when we do not accept contractualism, constructivism or the two principles of justice. We need only accept the view that the major social institutions establish obligations, rights, and powers for individuals as members of society. (shrink)

Introduction to the special issue in Pragmatics & Cognition focused on creativity, cognition, and material culture. With contributions from Maurice Bloch, Chris Gosden, Tim Ingold, John Kirsh, Carl Knappett & Sander van der Leeuw, Lambros Malafouris, Frédéric Vallée-Tourangeau, Kevin Warwick, and Tom Wynn and Frederick L. Coolidge.

In its etymology and in popular discourse, the term ‘avant-garde’ is commonly associated with a future temporality, while in art-historical discourse, it represents a tradition of modernist innovation, periodised as ‘historical avant-garde’ and ‘neo-avant-garde’. Since this historical periodisation was first established in the 1950s, the avant-garde’s futurity has been repeatedly disputed, bringing the very notion of an avant-garde into question. This thesis takes as its starting point the predicament of ‘an avant-garde after the avant-garde’ as a means to investigate the (...) philosophico-political implications of a historical temporality marked by ‘afterness’. Writing in critical dialogue with scholarship that has articulated the avant-garde as a notion of historical time, the thesis modifies the parameters of this scholarship by foregrounding the category of historicism, and by reformulating the avant-garde as a notion that both resists and inhabits historical periodisation. As a study at the disciplinary intersection of comparative literature and critical theory, 'Ahead of its Time' proceeds via close readings of selected theories of the avant-garde (German literary scholar Peter Bürger’s foundational Theory of the Avant-Garde in the 1970s; British art theorist John Roberts’ formulation of a ‘suspensive avant-garde’ in the twenty-first century; and the intellectual debates of the Italian circle Neoavanguardia in the 1960s), while also mobilising the critical resources available in the thought of Walter Benjamin. Through a non-linear, comparativist critical analysis that discusses these theories in, and as, a Benjaminian constellation, the thesis proposes the avant-garde as a relational, indexical category that is constitutively split between historical continuity and historical rupture. In this manner, 'Ahead of its Time' revisits the broader question of mediation between universality and particularity, and by recasting it in temporal terms, it advocates a chronopolitics of singularity, whereby the avant-garde’s split between continuity and rupture also reveals the ethically-necessary relationship between self-determination and contingency. (shrink)

Among the most popular strategies for justifying political obligations are those that appeal to the principle of fairness. These theories face the challenge, canonically articulated by Robert Nozick, of explaining how it is that persons are obligated to schemes when they receive goods that they do not ask for but cannot reject. John Simmons offers one defense of the principle of fairness, arguing that people could be bound by obligations of fairness if they voluntarily accept goods produced by (...) a cooperative scheme. Simmons, however, thinks that such a theory will do little work in justifying political obligations, since virtually no one voluntarily accepts state goods. This paper attempts to advance just such a theory by arguing that states are in fact genuine cooperative schemes and that Simmons is overly pessimistic in his appraisal of whether the majority of citizens accept the goods provided by their states. (shrink)

Rawls's theory of political obligation attempts to avoid the obvious flaws of a Lockean consent model. Rawls rejects a requirement of consent for two reasons: First, the consent requirement of Locke’s theory was intended to ensure that the liberty and equality of the contractors was respected, but this end is better achieved by the principles chosen in the original position, which order the basic structure of a society into which citizens are born. Second, "basing our political ties upon a principle (...) of obligation would complicate the assurance problem." Instead, Rawls offers a duty-based account, whereby we are duty-bound to support and comply with just institutions that apply to us. A. John Simmons argues that Rawls cannot meet the particularity requirement of establishing political obligation to only one state. I assess the response that this requirement can be met by the political constructivist element of Rawls's theory. I conclude that there are fatal flaws in this response. (shrink)

Over the years a few authors have argued that Rawls’s ideal theory of justice is useless for the real world. This criticism has been largely ignored by Rawlsians, but in the light of a recent accumulation of such criticisms, some authors (in particular Holly Lawford-Smith, A. John Simmons, Zofia Stemplowska and Laura Valentini) have tried to defend ideal theory. In this article I will recapitulate the precise problem with Rawls’s ideal theory, argue that some of Rawls’s defenders misconceive (...) it, and show that recent attempts to rescue Rawls’s ideal theory from the charge of being useless fail. While there are useful kinds of ideal theory, Rawls’s is not one of them. In addition, Rawls’s very tentative suggestions for some kind of bridge between ideal and non-ideal theory are contradictory insofar as they implicitly presuppose the non-existence of the problem they are meant to solve. Thus, Rawls’s “non-ideal theory” too, is useless, and not so much a theory at all but a set of ad hoc stipulations. Finally, I will show that certain attempts within the global justice debate to use some variation of the original position to directly derive guidelines for the real world are misguided and yield no useful results. (shrink)

The two justificatory roles of the social contract are establishing whether or not a state is legitimate simpliciter and establishing whether any particular individual is politically obligated to obey the dictates of its governing institutions. Rawls's theory is obviously designed to address the first role but less obviously the other. Rawls does offer a duty-based theory of political obligation that has been criticized by neo-Lockean A. John Simmons. I assess Simmons's criticisms and the possible responses that could (...) be made to them, including those offered by Samuel Freeman. I conclude they rest on a Rawlsian equivocation and ultimately fail. (shrink)

Contemporary debates on obedience and consent, such as those between Thomas Senor and A. John Simmons, suggest that either political obligation must exist as a concept or there must be natural duty of justice accessible to us through reason. Without one or the other, de facto political institutions would lack the requisite moral framework to engage in legitimate coercion. This essay suggests that both are unnecessary in order to provide a conceptual framework in which obedience to coercive political (...) institutions can be understood. By providing a novel reading of Hobbes’s Leviathan, this article argues that both political obligation and a natural duty to justice are unnecessary to ground the ability of political institutions to engage in legitimate coercion. This essay takes issue with common readings of Hobbes which assume consent is necessary to generate obedience on the part of citizens, and furthermore that political obligation is critical for the success of political institutions. While the failure of the traditional Hobbesian narrative of a consenting individual would seem to suggest the Leviathan is indefensible as a project, this paper argues that the right of war in the state of nature was more central for Hob- bes’s understanding of political institutions than obligation. Furthermore, Hobbes provides an adequate defense of political institutions even if his arguments about consent, obligation and punishment are only rhetorical. In this way Hobbesian law is best understood as a set of practical requirements to avoid war, and not as moral requirements that individuals are bound to comply with. Thus Hobbesian political institutions are not vulnerable to contemporary philosophical anarchist criticisms about political obligation and political institutions as such. To develop this reading, I focus primarily on the Leviathan, including interpretations by Skinner, Kateb, Flathman, and Oakeshott. Ultimately, this argument provides insight into contem- porary political institutions of the state, citizenship, criminality, and the law in a world where political obligation has not been adequately justified. (shrink)

Very little attention has been paid towards examining John Rawls’s liberal principle of legitimacy as a self-standing theory. Nevertheless, it offers a highly original way of thinking about state legitimacy. In this paper, I will offer a sketch of what such an account might look like. At its heart is the idea that the legitimacy of the state resides not in the consent of the governed, nor in the state’s conformity with the appropriate principles of justice, but rather in (...) citizens’ endorsement of the state and its underlying constitutional principles on the basis of their own comprehensive conceptions of justice. Such an account offers a stable middle ground between popular alternatives, and has a way of not just solving, but dissolving, the problem of legitimacy. (shrink)

A private property account is central to a liberal theory of justice. Much of the appeal of the Lockean theory stems from its account of the so-called `enough-and-as-good' proviso, a principle which aims to specify each employable person's fair share of the earth's material resources. I argue that to date Lockeans have failed to show how the proviso can be applied without thereby undermining a guiding intuition in Lockean theory. This guiding intuition is that by interacting in accordance with the (...) proviso persons interact as free and equal, or as reciprocally subject to the `laws of nature' rather than as subject to one another's arbitrary will. Because Locke's own and contemporary Lockean conceptions of the proviso subject some persons to some other persons' arbitrary will, the proviso so conceived cannot function as it should, namely as a principle that restricts interacting persons' actions reciprocally and thereby enables Lockean freedom under law. (shrink)

Some political philosophers have judged that it is absurd to think that there can be unintentional consent. In this paper, I present an example of unintentional consent, which I refer to as the adapted boardroom example. I consider reasons for denying that this is an example of unintentional consent, but find that these reasons are unconvincing.

While cosmopolitans are right to think that state sovereignty is derived from individuals, many cosmopolitan accounts can be too demanding in their expectations for illiberal regimes because they do not account for the attitudes of the persons with who will subject to the intervention. These ‘objectivist’ accounts suggest that sovereignty is wholly a matter of a state’s conformity to the objective demands of justice. In contrast, for ‘subjectivist’ accounts, the attitudes of citizens do matter. Subjectivist cosmopolitans do not deny the (...) objective demands of liberal justice, but argue that state sovereignty is at least partly a matter of the subjective attitude of citizens toward their state. This paper will highlight the reasons why such coercive impositions are troubling, and diagnose why objectivist theories characteristically fail to recognize them. It seeks to articulate a moderate kind of subjectivist cosmopolitanism that balances a liberal concern for rights with a worry about the imposition of political institutions or practices on a people that does not accept them. (shrink)

Diaristic, mixed notes on: John Ruskin's The Poetry of Architecture (1837) and Modern Painters (1885); Caravaggio, Victorian Aesthetes, G.K. Chesterton, and Tacita Dean; Jay Fellows' Ruskin’s Maze: Mastery and Madness in His Art (1981); Slavoj Žižek at Jack Tilton Gallery, New York, New York, USA, April 23, 2009, “Architectural Parallax: Spandrels and Other Phenomena of Class Struggle”; “Titian, Tintoretto, Veronese: Rivals in Renaissance Venice”, Museum of Fine Arts, Boston, Massachusetts, USA, March 15-August 16, 2009; Janet Harbord, Chris Marker: (...) La Jetée (2009); The Politics of the Envelope, Princeton Envelope Group (PEG), ARC504, Princeton School of Architecture, Princeton, New Jersey, USA, Friday, May 8, 2009; Rhode Island School of Design, Degree Project Reviews, Division of Architecture & Design, Providence, Rhode Island, USA, May 16, 2009; etc. (shrink)

The birth of a new science is long, drawn out, and often fairly messy. Comparative psychology has its roots in Darwin’s Descent of Man, was fertilized in academic psychology departments, and has branched across the universities into departments of biology, anthropology, primatology, zoology, and philosophy. Both the insights and the failings of comparative psychology are making their way into contemporary discussions of artificial intelligence and machine learning (Chollett 2019; Lapuschkin et al. 2019; Watson 2019). It is the right time to (...) turn a philosophical lens onto the methodologies of comparative psychology. That is the aim of this Element. -/- Comparative psychology is the umbrella covering the different ways scientists study animal mind and behavior. Comparative psychologists study animal behavior and mentality, including the mechanisms and inner states that allow crows to form hooks, vervet monkeys to give warnings, crabs to make trade-off decisions, and humans to use language. While focus is on the similarities and differences between different species, capacities are often studied in terms of their evolutionary history, development, and current ecological or cultural context. What this entails is that comparative psychologists have a range of different kinds of training, different areas of expertise, and different research questions. One comparative cognition researcher compares children and dogs on causal reasoning abilities (Daphna Buchsbaum), another looks at memory in corvids (Nicola Clayton). An animal behaviorist examines raccoon territories in a city (Suzanne MacDonald). One anthropologist looks at war in wild chimpanzees (John Mitani), another looks at how innovations are adopted in capu- chin monkeys (Susan Perry). One ethologist looks at play in wolves (Marc Bekoff), and another looks at deception in birds (Carolyn Ristau). One biologist looks at male alliances in dolphins (Richard Connor), and another examines economic game performance in apes and monkeys (Sarah Brosnan). An animal welfare scientist studies the effect of enrichment on mink (Georgia Mason). A learning theorist looks at gambling in pigeons (Thomas Zentall). A zoologist studies social learning in bees (Lars Chittka). It is not easy to guess in which department you’ll find a comparative psychologist. -/- This Element aims to examine the methods of comparative psychology, which remains especially concerned about how to study animal minds and behavior without falling prey to fuzzy thinking. Animals can be cute, so humans are often intrinsically drawn to them; and this love of animals is sometimes taken to be at odds with being a careful scientist. The methods of comparative psychology reflect this worry with their special emphases on avoiding bias and on avoiding developing warm relationships with animal subjects. The first two sections analyze three textbooks to examine what young scientists are taught. Section 1 investigates three methodological principles students are taught to follow: Anti-anthropomorphism, Morgan’s Canon, and Anti-anthropocentrism. I argue that the first two principles should be discarded, and that developing relationships with animals should no longer be discouraged, as relationships promote understanding. Building on this critique, in Section 2 I challenge the common prohibition against including animal consciousness in comparative psychology by arguing that it does not harm the science, but promotes it. Setting aside the special prohibitions for comparative psychology, in Section 3 I examine how the quest for objectivity in comparative psychology introduces its own bias and argue that the different disciplines of comparative psychology will introduce different biases; the best scientists can do is identify the sources of bias. The quest to eliminate all bias is a misguided one. Section 4 applies these issues to recent debates in ape cognition research between scientists who work in the field and those who work in the lab, and suggests best practices for integrating knowledge from both sources. -/- I have had the opportunity to work with a number of comparative psychologists in a variety of contexts, including a stint at Lou Herman’s dolphin communication lab in the 1990s, collaborative studies with Peter Verbeek on the child’s theory of mind at the University of Minnesota’s Institute for Child Development, conducting research on orangutan pantomime communication with Anne Russon at her field sites in Borneo, research on rat social learning with Noam Miller at Wilfrid Laurier University, and co-teaching a field course in dolphin communication with Kathleen Dudzinski. As a philosopher of science who has been in the field and in the lab, I have a perspective from which to compare the comparative psychologists. This Element is my attempt to synthesize almost thirty years of experience and thinking about how to study animal minds. (shrink)

What is to be learned from the chaotic downfall of the Weimar Republic and the erosion of European liberal statehood in the interwar period vis-a-vis the ongoing European crisis? This book analyses and explains the recurrent emergence of crises in European societies. It asks how previous crises can inform our understanding of the present crisis. The particular perspective advanced is that these crises not only are economic and social crises, but must also be understood as crises of public power, order (...) and authority. In other words, it argues that substantial challenges to the functional and normative setup of democracy and the rule of law were central to the emergence and the unfolding of these crises. The book draws on and adds to the rich ’crises literature’ developed within the critical theory tradition to outline a conceptual framework for understanding what societal crises are. The central idea is that societal crises represent a discrepancy between the unfolding of social processes and the institutional frameworks that have been established to normatively stabilize such processes. The crises at issue emerged in periods characterized by strong social, economic and technological transformations as well as situations of political upheaval. As such, the crises represented moments where the existing functional and normative grid of society, as embodied in notions of public order and authority, were severely challenged and in many instances undermined. Seen in this perspective, the book reconstructs how crises unfolded, how they were experienced, and what kind of responses the specific crises in question provoked. -/- Table of Contents -/- Introduction: European Crises of Public Power: From Weimar until Today, Poul F. Kjaer & Niklas Olsen / Part I: Semantics, Notions and Narratives of Societal Crisis / 1. What Time Frame Makes Sense for Thinking About Crises?, David Runciman / 2. The Stakes of Crises, Janet Roitman / Part II: Weimar and the Interwar Period: Ideologies of Anti-Modernism and Liberalism / 3. The Crisis of Modernity – Modernity as Crisis: Towards a Typology of Crisis Discourses in Interwar East Central Europe and Beyond, Balázs Trencsényi / 4. European Legitimacy Crisis – Weimar and Today: Rational and Theocratic Authority in the Schmitt-Strauss Exchange, John P. McCormick / 5. Crisis and the Consumer: Reconstructions of Liberalism in Twentieth Century Political Thought , Niklas Olsen / Part III: The Causes of Crises: From Corporatism to Governance / 6. The Constitutionalization of Labour Law and the Crisis of National Democracy , Chris Thornhill / 7. The Crisis in Labour Law: From Weimar to Austerity Ruth Dukes / 8. From the Crisis of Corporatism to the Crisis of Governance, Poul F. Kjaer / Part IV: The Euro and the Crisis of Law and Democracy / 9. What is left of the European Economic Constitution II? From Pyrrhic Victory to Cannae Defeat Christian Joerges / 10. Reflections on Europe’s “Rule of Law Crisis”, Jan-Werner Müller. 11. Democracy under Siege: The Decay of Constitutionalisation and the Crisis of Public Law and Public Opinion, Hauke Brunkhorst/ Part V: The Consequences of Crises and the Future of Europe / 12. Crises and Extra-Legality: From Above and From Below, William E. Scheuermann / 13. “We could all go Down the Road of Lebanon” – Crisis Thinking on the Anti-Muslim Far Right, Mikkel Thorup / 14. Conclusions and Perspectives: The Re-Constitution of Europe, Poul F. Kjaer & Niklas Olsen Index . (shrink)

NUTRIÇÃO SOBRE A AZOOSPERMIA EM BOVINOS -/- -/- E. I. C. da Silva Departamento de Agropecuária – IFPE Campus Belo Jardim Departamento de Zootecnia – UFRPE sede -/- AZOOSPERMIA EM BOVINOS -/- INTRODUÇÃO -/- A falta completa de esperma no ejaculado pode ser devido a uma falha no processo de espermatogênese ou relacionada a causas no transporte do esperma. Com relação ao transporte, o esperma pode ser impedido de ser ejaculado mediante bloqueios ou oclusões no sistema do ducto extragonadal, ou (...) por causa de uma disfunção ejaculatória. Nos cães, por exemplo, a possibilidade de oclusão ser a causa pode ser determinada por medições de fosfatase alcalina (ALP) no plasma seminal, já que a ALP se origina do epidídimo e seminífero epitélio tubular. Se a concentração de ALP no fluido seminal for superior a 5000 UI/l, a amostra ejaculada contém fluido desses tecidos e a oclusão pode ser descartada. -/- As causas testiculares da azoospermia incluem a falha da espermatogênese, que pode ser causada por uma série de fatores; estes incluem fatores hormonais, imunológicos, congênitos, tóxicos, patogênicos, traumáticos e nutricionais. Aqui, as supressões na região do AZF (que contém sub-regiões AZFa, AZFb e AZFc) no cromossoma Y desempenham um papel importante, representando 10-15% dos casos de azoo- e oligospermia. Na região AFZc, o gene DAZ, que é suprimido na azoospermia, é considerado importante no controle espermatogênico, uma vez que a sua eliminação é frequentemente detectada em homens e/ou animais inférteis. -/- A perda total da capacidade de formação de espermatozoides pelo epitélio testicular e, portanto, a ausência de espermatozoides viáveis ou não no volume ejaculado pelo animal é denominado como azoospermia (VARNER et al., 2000), um macho nessas condições deve ser imediatamente retirado dos processos produtivos e não é, de forma alguma, viável para fins reprodutivos. A origem da causa pode ter caráter nutricional, ou outras, sendo multifatoriais; em processos crônicos severos pode-se chegar à azoospermia reversível, que é diagnosticada e corrigida de forma oportuna. Entre os principais fatores de caráter nutricional temos: -/- 18.1 Nitratos (NO3-) e nitritos (NO2-) -/- Quando os ruminantes consomem uma alimentação com elevadas concentrações de nitratos (presente principalmente nas forrageiras) parte do nitrato não pode ser imediatamente convertido em nitrito e, por fim, em amoníaco (todas essas transformações acontecem no rúmen mediante a flora microbiana); isso faz com que nitrato e nitrito se acumulem no rúmen. A adição do nitrato no rúmen intensifica o problema. O envenenamento por nitrato ocorre quando o nível de nitrito presente no rúmen excede a capacidade do microbiota para convertê-lo em amoníaco. Quando isto acontece, o nitrato e o nitrito são absorvidos através da parede do rúmen e entram na circulação sanguínea. É o nitrito que causa a toxicidade. -/- Estudou-se o equilíbrio ácido-básico e sua relação com a reprodução e produção, postulando a hipótese de que esse equilíbrio afeta os mecanismos endócrinos e metabólicos, além dos reprodutivos. -/- 18.2 Relação energia:proteína -/- Quando a alimentação apresenta deficiências de energia aumenta-se a degradação das gorduras (provenientes do tecido adiposo), acompanhada pela redução da liberação de insulina (hipoinsulinemia) afetando-se a lipogênese, mobilizando-se mais gordura corporal do que se sintetiza. -/- Situações como a acidose ruminal (excesso de grão e deficiência em fibras) ou alcalose ruminal (excesso de ureia com baixa energia digerível) resultam em perturbações sobre a fertilidade; além disso, deficiências energéticas graves que levam à cetose causam estresse com a liberação de catecolaminas, ACTH e TSH que afetam a secreção de GnRH, afetando por fim, a espermiogênese. -/- -/- Uma diminuição de energia na alimentação gera hipoglicemia que, ao mesmo tempo, produz hipoinsulinemia incrementando assim a lipólise em tecidos, gerando como produtos as cetonas. -/- A hipoinsulinemia juntamente com a cetonemia e a geração de beta-endorfinas, por problemas na alimentação, reduzem notavelmente a síntese de GnRH. A GnRH reduz a liberação do LH e FSH. A diminuição da liberação do LH provoca azoospermia hipogonadotrópica com efeitos de estimulação hormonal anormais segundo a avaliação endócrina, bem como a obstrução testicular inexplicada. -/- Se houver um aumento significativo na liberação de FSH, a azoospermia hipogonadotrópica é refletida em diagnóstico como disfunção testicular. -/- 18.3 Minerais (Selênio Se) -/- Quando os níveis de Se na dieta são deficientes, ocorrem falhas na formação e maturação espermática. O Se mostra uma grande influência na fertilidade do macho afetando a qualidade do sêmen, o plasma seminal contém elevadas quantidades de GSH-Px, cuja função é proteger a membrana do espermatozoide do ataque peroxidativo; além disso, na cauda do gameta masculino há um selenopeptídeo que faz com que, em uma deficiência de Se, produza-se uma fratura no meio da cauda do espermatozoide. -/- O esperma dos animais com deficiência de Se apresentam pobre motilidade com características de desenvolvimento anormal na cauda do esperma. Demonstrou-se que a deficiência de Se, não somente precipita o problema em reprodutores, mas que o esperma deformado, foi menos efetivo na subsequente fertilização do ovócito ovulado (HAWKES et al., 2001), ou seja, animais que possuem deficiência desse mineral podem ter esperma inapropriado para a destinação de inseminação artificial ou mesmo a monta natural, uma vez que a taxa de concepção estará bastante baixa. -/- REFERÊNCIAS BIBLIOGRÁFICAS -/- BARRENHO, Gonçalo José Pinheiro. Nutrição e fertilidade em bovinos de leite. 2016. Dissertação de Mestrado. Universidade de Évora. -/- BINDARI, Yugal Raj et al. Effects of nutrition on reproduction-A review. Adv. Appl. Sci. Res, v. 4, n. 1, p. 421-429, 2013. -/- BOLAND, M. P. Efectos nutricionales en la reproducción del ganado. XXXI Jornadas Uruguayas de Buiatría, 2003. -/- CHENOWETH, Peter J.; LORTON, Steven (Ed.). Animal Andrology: Theories and Applications. Boston: Cabi, 2014. -/- -/- DEHNING, R. Interrelaciones entre nutrición y fertilidad. In: Curso Manejo de la Fertilidad Bovina18-23 May 1987Medellín (Colombia). CICADEP, Bogotá (Colombia) Universidad de La Salle, Medellín (Colombia) Instituto Colombiano Agropecurio, Bogotá (Colombia) Sociedad Alemana de Cooperación Técnica-GTZ (Alemania), 1987. -/- DE LUCA, Leonardo J. Nutrición y fertilidad en el ganado lechero. XXXVI Jornadas Uruguayas de Buiatría, 2008. -/- DIAS, Juliano Cesar et al. Alguns aspectos da interação nutrição-reprodução em bovinos: energia, proteína, minerais e vitaminas. PUBVET, v. 4, p. Art. 738-743, 2010. -/- FRAZER, Grant S. Bovine theriogenology. Veterinary Clinics: Food Animal Practice, v. 21, n. 2, p. xiii-xiv, 2005. -/- FRENEAU, G. E.; GUIMARÃES, J. D. Curso Teórico-Prático de Andrologia Bovina. Goiânia: Laboratório de andrologia e Tecnologia de Sêmen da Escola de Veterinária da Universidade Federal de Goiás, 2000. -/- GORDON, Ian. Controlled reproduction in farm animals series. Nova Iorque: CAB International, 1996. -/- HAWKES, WAYNE CHRIS; TUREK, PAUL J. Effects of dietary selenium on sperm motility in healthy men. Journal of Andrology, v. 22, n. 5, p. 764-772, 2001. -/- MAAS, John. Relationship between nutrition and reproduction in beef cattle. The Veterinary Clinics of North America. Food Animal Practice, v. 3, n. 3, p. 633-646, 1987. -/- SHORT, Robert E.; ADAMS, D. C. Nutritional and hormonal interrelationships in beef cattle reproduction. Canadian Journal of Animal Science, v. 68, n. 1, p. 29-39, 1988. -/- THATCHER, W. W. et al. Strategies for improving fertility in the modern dairy cow. Theriogenology, v. 65, n. 1, p. 30-44, 2006. -/- TEIXEIRA, J. C.; TEIXEIRA, LFAC. Alimentação de bovinos leiteiros. FAEPE, Lavras, 1997. -/- VARNER, D. D. et al. Techniques for evaluating selected reproductive disorders of stallions. Animal reproduction science, v. 60, p. 493-509, 2000. (shrink)

Philosophy and Memory Traces defends two theories of autobiographical memory. One is a bewildering historical view of memories as dynamic patterns in fleeting animal spirits, nervous fluids which rummaged through the pores of brain and body. The other is new connectionism, in which memories are 'stored' only superpositionally, and reconstructed rather than reproduced. Both models, argues John Sutton, depart from static archival metaphors by employing distributed representation, which brings interference and confusion between memory traces. Both raise urgent issues about (...) control of the personal past, and about relations between self and body. Sutton demonstrates the role of bizarre body fluids in moral physiology, as philosophers from Descartes and Locke to Coleridge struggled to control their own innards and impose cognitive discipline on 'the phantasmal chaos of association'. Going on to defend connectionism against Fodor and critics of passive mental representations, he shows how problems of the self are implicated in cognitive science. (shrink)

Recent research has identified a tension between the Safety principle that knowledge is belief without risk of error, and the Closure principle that knowledge is preserved by competent deduction. Timothy Williamson reconciles Safety and Closure by proposing that when an agent deduces a conclusion from some premises, the agent’s method for believing the conclusion includes their method for believing each premise. We argue that this theory is untenable because it implies problematically easy epistemic access to one’s methods. Several possible solutions (...) are explored and rejected. (shrink)

We are living through an era of increased robotisation. Some authors have already begun to explore the impact of this robotisation on legal rules and practice. In doing so, many highlight potential liability gaps that might arise through robot misbehaviour. Although these gaps are interesting and socially significant, they do not exhaust the possible gaps that might be created by increased robotisation. In this article, I make the case for one of those alternative gaps: the retribution gap. This gap arises (...) from a mismatch between the human desire for retribution and the absence of appropriate subjects of retributive blame. I argue for the potential existence of this gap in an era of increased robotisation; suggest that it is much harder to plug this gap than it is to plug those thus far explored in the literature; and then highlight three important social implications of this gap. (shrink)

This paper introduces a new, expanded range of relevant cognitive psychological research on collaborative recall and social memory to the philosophical debate on extended and distributed cognition. We start by examining the case for extended cognition based on the complementarity of inner and outer resources, by which neural, bodily, social, and environmental resources with disparate but complementary properties are integrated into hybrid cognitive systems, transforming or augmenting the nature of remembering or decision-making. Adams and Aizawa, noting this distinctive complementarity argument, (...) say that they agree with it completely: but they describe it as “a non-revolutionary approach” which leaves “the cognitive psychology of memory as the study of processes that take place, essentially without exception, within nervous systems.” In response, we carve out, on distinct conceptual and empirical grounds, a rich middle ground between internalist forms of cognitivism and radical anti-cognitivism. Drawing both on extended cognition literature and on Sterelny’s account of the “scaffolded mind” (this issue), we develop a multidimensional framework for understanding varying relations between agents and external resources, both technological and social. On this basis we argue that, independent of any more “revolutionary” metaphysical claims about the partial constitution of cognitive processes by external resources, a thesis of scaffolded or distributed cognition can substantially influence or transform explanatory practice in cognitive science. Critics also cite various empirical results as evidence against the idea that remembering can extend beyond skull and skin. We respond with a more principled, representative survey of the scientific psychology of memory, focussing in particular on robust recent empirical traditions for the study of collaborative recall and transactive social memory. We describe our own empirical research on socially distributed remembering, aimed at identifying conditions for mnemonic emergence in collaborative groups. Philosophical debates about extended, embedded, and distributed cognition can thus make richer, mutually beneficial contact with independently motivated research programs in the cognitive psychology of memory. (shrink)

This paper adds another argument to the rising tide of panic about robots and AI. The argument is intended to have broad civilization-level significance, but to involve less fanciful speculation about the likely future intelligence of machines than is common among many AI-doomsayers. The argument claims that the rise of the robots will create a crisis of moral patiency. That is to say, it will reduce the ability and willingness of humans to act in the world as responsible moral agents, (...) and thereby reduce them to moral patients. Since that ability and willingness is central to the value system in modern liberal democratic states, the crisis of moral patiency has a broad civilization-level significance: it threatens something that is foundational to and presupposed in much contemporary moral and political discourse. I defend this argument in three parts. I start with a brief analysis of an analogous argument made in pop culture. Though those arguments turn out to be hyperbolic and satirical, they do prove instructive as they illustrates a way in which the rise of robots could impact upon civilization, even when the robots themselves are neither malicious nor powerful enough to bring about our doom. I then introduce the argument from the crisis of moral patiency, defend its main premises and address objections. (shrink)

‘There is no place in the phenomenology of fully absorbed coping’, writes Hubert Dreyfus, ‘for mindfulness. In flow, as Sartre sees, there are only attractive and repulsive forces drawing appropriate activity out of an active body’1. Among the many ways in which history animates dynamical systems at a range of distinctive timescales, the phenomena of embodied human habit, skilful movement, and absorbed coping are among the most pervasive and mundane, and the most philosophically puzzling. In this essay we examine both (...) habitual and skilled movement, sketching the outlines of a multidimensional framework within which the many differences across distinctive cases and domains might be fruitfully understood. Both the range of movement phenomena which can plausibly be seen as instances of habit or skill, and the space of possible theories of such phenomena are richer and more disparate than philosophy easily encompasses. We seek to bring phenomenology into contact with relevant movements in psychological theories of skilful action, in the belief that phenomenological philosophy and cognitive science can be allies rather than antagonists. (shrink)

From a moral point of view we think of ourselves as capable of responsible actions. From a scientific point of view we think of ourselves as animals whose behaviour, however highly evolved, conforms to natural scientific laws. Natural Agency argues that these different perspectives can be reconciled, despite the scepticism of many philosophers who have argued that 'free will' is impossible under 'scientific determinism'. This scepticism is best overcome, according to the author, by defending a causal theory of action, that (...) is by establishing that actions are constituted by behavourial events with the appropriate kind of mental causal history. He sets out a rich and subtle argument for such a theory and defends it against its critics. Thus the book demonstrates the importance of philosophical work in action theory for the central metaphysical task of understanding our place in nature. (shrink)

The Industrial Ontologies Foundry (IOF) was formed to create a suite of interoperable ontologies. Ontologies that would serve as a foundation for data and information interoperability in all areas of manufacturing. To ensure that each ontology is developed in a structured and mutually coherent manner, the IOF has committed to the tiered architecture of ontology building based on the Basic Formal Ontology (BFO) as top level. One of the critical elements of a successful tiered architecture build is the domain mid-level (...) ontologies. However, thus far there has been no mid-level manufacturing ontology that is based on BFO. The IOF has recently released the IOF Core version 1 beta to fill this gap. This paper documents the development process and gives an overview of the current content of the IOF Core. Finally, the paper describes how the IOF Core can be used as the basis for a more domain-specific Supply Chain Ontology. (shrink)

The growth of self-tracking and personal surveillance has given rise to the Quantified Self movement. Members of this movement seek to enhance their personal well-being, productivity, and self-actualization through the tracking and gamification of personal data. The technologies that make this possible can also track and gamify aspects of our interpersonal, romantic relationships. Several authors have begun to challenge the ethical and normative implications of this development. In this article, we build upon this work to provide a detailed ethical analysis (...) of the Quantified Relationship. We identify eight core objections to the QR and subject them to critical scrutiny. We argue that although critics raise legitimate concerns, there are ways in which tracking technologies can be used to support and facilitate good relationships. We thus adopt a stance of cautious openness toward this technology and advocate the development of a research agenda for the positive use of QR technologies. (shrink)

A standard view in contemporary philosophy is that belief is involuntary, either as a matter of conceptual necessity or as a contingent fact of human psychology. We present seven experiments on patterns in ordinary folk-psychological judgments about belief. The results provide strong evidence that voluntary belief is conceptually possible and, granted minimal charitable assumptions about folk-psychological competence, provide some evidence that voluntary belief is psychologically possible. We also consider two hypotheses in an attempt to understand why many philosophers have been (...) tempted to view belief as involuntary: that belief is a prototype concept and that belief is a dual character concept. Altogether, our findings contribute to longstanding philosophical debates about the relationship between the will and the intellect, while also advancing scientific understanding of important social judgments. (shrink)

The paper begins by reviewing two problems for fallibilism: the lottery problem, or the problem of explaining why fallible evidence, though otherwise excellent, is not enough to know that one will lose the lottery, and Gettier problems. It is then argued that both problems can be resolved if we note an important illocutionary force of knowledge attributions: namely, that when we attribute knowledge to someone we mean to give the person credit for getting things right. Alternatively, to say that a (...) person knows is to say that she got things right due to her own abilities, efforts and actions, rather than due to dumb luck, or blind chance, or something else. (shrink)

Ontological pluralism is the view that there are different fundamental ways of being. Trenton Merricks has recently raised three objections to combining pluralism with a generic way of being enjoyed by absolutely everything there is: first, that the resulting view contradicts the pluralist’s core intuition; second, that it is especially vulnerable to the charge—due to Peter van Inwagen—that it posits a difference in being where there is simply a difference in kind; and, third, that it is in tension with various (...) historically influential motivations for pluralism. I reply to each of these objections in turn. My replies will help to bring out the true nature of the pluralist’s basic commitments. (shrink)

This is a review essay of Quassim Cassam, Self-Knowledge for Humans (Oxford, 2014) and John Doris, Talking to Our Selves (Oxford, 2015). In it I question whether Cassam succeeds in his challenge to Richard Moran's account of first-personal authority, and whether Doris is right that experimental evidence for unconscious influences on behavior generates skeptical worries on accounts that regard accurate self-knowledge as a precondition of agency.

Communication is essential to human society, and assertion is central to communication. This article reviews evidence from life science, cognitive science, and philosophy relevant to understanding how our social practice of assertion is structured and sustained. The principal conclusion supported by this body of evidence is that knowledge is a central norm of assertion—that is, according to the rules of the practice, assertions should express knowledge.

Synthesizing the domains of investigation highlighted in current research in distributed cognition and related fields, this paper offers an initial taxonomy of the overlapping types of resources which typically contribute to distributed or extended cognitive systems. It then outlines a number of key dimensions on which to analyse both the resulting integrated systems and the components which coalesce into more or less tightly coupled interaction over the course of their formation and renegotiation.

The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...) by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

Contemporary philosophers nearly unanimously endorse knowledge reliabilism, the view that knowledge must be reliably produced. Leading reliabilists have suggested that reliabilism draws support from patterns in ordinary judgments and intuitions about knowledge, luck, reliability, and counterfactuals. That is, they have suggested a proto-reliabilist hypothesis about “commonsense” or “folk” epistemology. This paper reports nine experimental studies (N = 1262) that test the proto-reliabilist hypothesis by testing four of its principal implications. The main findings are that (a) commonsense fully embraces the possibility (...) of unreliable knowledge, (b) knowledge judgments are surprisingly insensitive to information about reliability, (c) “anti-luck” intuitions about knowledge have nothing to do with reliability specifically, and (d) reliabilists have mischaracterized the intuitive counterfactual properties of knowledge and their relation to reliability. When combined with the weakness of existing arguments for reliabilism and the recent emergence of well supported alternative views that predict the widespread existence of unreliable knowledge, the present findings are the final exhibit in a conclusive case for abandoning reliabilism in epistemology. I introduce an alternative theory of knowledge, abilism, which out-performs reliabilism and well explains all the available evidence. (shrink)

There is a virtual consensus in contemporary epistemology that knowledge must be reliably produced. Everyone, it seems, is a reliabilist about knowledge in that sense. I present and defend two arguments that unreliable knowledge is possible. My first argument proceeds from an observation about the nature of achievements, namely, that achievements can proceed from unreliable abilities. My second argument proceeds from an observation about the epistemic efficacy of explanatory inference, namely, that inference to the best explanation seems to produce knowledge, (...) even if it isn't reliable. I also propose a successor to standard versions of reliabilism, which I call ‘ecumenical reliabilism’. Ecumenical reliabilism is consistent with unreliably produced knowledge and helps explain why unreliably produced knowledge is possible. (shrink)

Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis (...) of Variable Binding Term Operators” (Co-author John Herring), Logique et Analyse 55, 646–57. MR0307874 (46 #6989). A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. Kalish-Montague 1964 proposed using vbtos to formalize definite descriptions “the x: x+x=2”, set abstracts {x: F}, minimization in recursive function theory “the least x: x+x>2”, etc. However, they gave no semantics for vbtos. Hatcher 1968 gave a semantics but one that has flaws described in the 1971 paper and admitted by Hatcher. In 1971 we give a correct semantic analysis of vbtos. We also give axioms for using them in deductions. And we conjecture strong completeness for the deductions with respect to the semantics. The conjecture, proved in this paper with Hatcher’s help, was proved independently about the same time by Newton da Costa. (shrink)