Global ontologies include common vocabularies to provide interoperability among different applications. These ontologies require a balance of reusability-usability to minimise the ontology reuse ef...

BackgroundThe ARRIVE (Animal Research: Reporting of In Vivo Experiments) guidelines are widely endorsed but compliance is limited. We sought to determine whether journal-requested completion of an ARRIVE checklist improves full compliance with the guidelines.MethodsIn a randomised controlled trial, manuscripts reporting in vivo animal research submitted to PLOS ONE (March–June 2015) were randomly allocated to either requested completion of an ARRIVE checklist or current standard practice. Authors, academic editors, and peer reviewers were blinded to group allocation. Trained reviewers performed outcome adjudication (...) in duplicate by assessing manuscripts against an operationalised version of the ARRIVE guidelines that consists 108 items. Our primary outcome was the between-group differences in the proportion of manuscripts meeting all ARRIVE guideline checklist subitems.ResultsWe randomised 1689 manuscripts (control: n = 844, intervention: n = 845), of which 1269 were sent for peer review and 762 (control: n = 340; intervention: n = 332) accepted for publication. No manuscript in either group achieved full compliance with the ARRIVE checklist. Details of animal husbandry (ARRIVE subitem 9b) was the only subitem to show improvements in reporting, with the proportion of compliant manuscripts rising from 52.1 to 74.1% (X2 = 34.0, df = 1, p = 2.1 × 10−7) in the control and intervention groups, respectively.ConclusionsThese results suggest that altering the editorial process to include requests for a completed ARRIVE checklist is not enough to improve compliance with the ARRIVE guidelines. Other approaches, such as more stringent editorial policies or a targeted approach on key quality items, may promote improvements in reporting. (shrink)

Marianne Dashwood was well able to imagine circumstances both favourable and unfavourable to her. But for all her romantic sensibility she was not able to imagine these things from anything other than her own point of view. ‘She expected from other people the same opinions and feelings as her own, and she judged of their motives by the immediate effect of their actions on herself.’ Unlike her sister, she could not see how the ill-crafted attentions of Mrs. Jennings could derive (...) from a good nature. And when Elinor had to explain her troubles with Edward Ferrars, she knew that Marianne would feel it as a reminder of her own relations to Willoughby, judging Edward's behaviour as equivalent to that of Willoughby himself. Without the capacity to shift her point of view, Marianne can get no ironic distance from herself; she cannot see the unrealism of her later determination ‘to live solely for my family’. (shrink)

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order (...) rules, as opposed to higher-order connectives, and a paper discussing the application of natural deduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism, via methods of category theory that have been successfully applied to linear logic, as well as many other contributions from highly regarded authorities. With an illustrious group of contributors addressing a wealth of topics and applications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative of the rich and varied directions that Prawitz work has inspired in the area of natural deduction. (shrink)

One of the main problems in computer science is to ensure that programs are implemented in such a way that they satisfy a given specification. There are many studies about methods to prove correctness of programs. This work presents a method, belonging to the constructive synthesis or proofs-as-programs paradigm, that comes from the Curry-Howard isomorphism and extracts the computational contents of intuitionist proofs. The synthesis process proposed produces a program in an imperative language from a proof in many-sorted intuitionist (...) logic, where the axioms define the abstract data types, using Natural Deduction as deductive system. It is proved the correctness, as well as the completeness of the method regarding the Heyting arithmetic with ω-rule . A discussion about the use of the finitary induction instead of computational ω-rule concludes the work. (shrink)

We present a categorical/denotational semantics for the Lambek Syntactic Calculus , indeed for a λlD-typed version Curry-Howard isomorphic to it. The main novelty of our approach is an abstract noncommutative construction with right and left adjoints, called sequential product. It is defined through a hierarchical structure of categories reflecting the implicit permission to sequence expressions and the inductive construction of compound expressions. We claim that Lambek's noncommutative product corresponds to a noncommutative bi-endofunctor into a category, which encloses all categories (...) of such hierarchical structure. A soundness theorem for LSC is shown with respect to this semantical framework. (shrink)

“Curry’s paradox”, as the term is used by philosophers today, refers to a wide variety of paradoxes of self-reference or circularity that trace their modern ancestry to Curry (1942b) and Löb (1955). The common characteristic of these so-called Curry paradoxes is the way they exploit a notion of implication, entailment or consequence, either in the form of a connective or in the form of a predicate. Curry’s paradox arises in a number of different domains. Like Russell’s (...) paradox, it can take the form of a paradox of set theory or the theory of properties. But it can also take the form of a semantic paradox, closely akin to the Liar paradox. Curry’s paradox differs from both Russell’s paradox and the Liar paradox in that it doesn’t essentially involve the notion of negation. Common truth-theoretic versions involve a sentence that says of itself that if it is true then an arbitrarily chosen claim is true, or—to use a more sinister instance—says of itself that if it is true then every falsity is true. The paradox is that the existence of such a sentence appears to imply the truth of the arbitrarily chosen claim, or—in the more sinister instance—of every falsity. In this entry, we show how the various Curry paradoxes can be constructed, examine the space of available solutions, and explain some ways Curry’s paradox is significant and poses distinctive challenges. (shrink)

Discusses Indian Buddhist philosophy in three phases of its development.

This book develops arithmetic without the induction principle, working in theories that are interpretable in Raphael Robinson's theory Q. Certain inductive formulas, the bounded ones, are interpretable in Q. A mathematically strong, but logically very weak, predicative arithmetic is constructed. Originally published in 1986. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting (...) them in durable paperback editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

This is a book grounded in the real ethical challenges of modern business practice, with a world-religious perspective so necessary in an era of globalization.

Post-foundational politics and democracy -- Agonism and democracy -- A typology of agonistic democracy -- Agonistic democracy and the question of institutions -- Agonistic democracy and the limits of popular participation -- Populism, representation, and the popular will -- Political liberalism, contingency and agonistic pluralism -- Liberalism, agonism, and democracy.

In this paper, I respond to D. Jacquette's paper, "Mally's Heresy and the Logic of Meinong's Object Theory" (History and Philosophy of Logic, 10 (1989): 1-14), in which it is claimed that Ernst Mally's distinction between two modes of predication, as it is employed in the theory of abstract objects, is reducible to, and analyzable in terms of, a single mode of predication plus the distinction between nuclear and extranuclear properties. The argument against Jacquette's claims consists of counterexamples to his (...) reductions and analyses. Reasons are offered for thinking that no such reduction/analysis of the kind Jacquette proposes could be successful. (shrink)

The sciences may be conceptualized as a hierarchy ranked by level of organization (e.g., many‐body physics ranks above particle physics). Each science serves as an antidiscipline for the science above it; that is, between each pair, tense but creative interplay is inevitable. Biology has advanced through such tension between its subdisciplines and now can serve as an antidiscipline for the social sciences—for anthropology, for example, by examining the connection between cultural and biological evolution; for psychology, by addressing the nature of (...) learning and the structure of the unconscious; for economics, by examining economically irrational behavior and by comparing economic activity in humans and other species. Sociology, concerned mainly with advanced literate societies, is relatively remote from the genetic basis of human social behavior. However, moving between biological and social levels of organization generates richness and points to new and unexpected principles. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 33.2 (2000) 116-136 [Access article in PDF] Being, Time, and Definition: Toward a Semiotics of Figural Rhetoric Carol Poster For if History in the transferred sense of particular books called "histories," is rather apt to be false: nothing but History in the wider and higher sense will ever lead us to the truth. The Future is unknown and unknowable. The Present is turning to Past even (...) as we are trying to know it. Only the Past itself abides our knowledge. --George Saintsbury, A Letter BookDefining and classifying figures of speech and thought have been among the more important tasks of rhetoricians and grammarians for more than two millennia. The inventional focus, however, of much modern rhetorical theory has tended to relegate figuration either, on the one hand, to the domains of literary criticism or linguistics (the heirs of ancient grammar) or, on the other hand, to an ancillary position. The concomitant marginalization of the study of figures has had a significant effect upon contemporary scholarship in historical rhetoric. Many of the seminal scholarly works on the history of rhetoric have denigrated or minimized the importance of figural rhetoric. As Brian Vickers (1990, 294-95) has mentioned, George Kennedy and numerous other historians of rhetoric (e.g., Clarke 1996, 34) tend to condemn the teaching of figural rhetoric as dreary, tedious, and otiose. Often, the very periods themselves in which the study of the figures was pursued most vigorously and extensively are omitted from or condemned by modern scholarly discussion. As Marjorie Curry Woods has pointed out (1995, 73-78), biases against the medieval period, especially as found in Charles Sears Baldwin (1928) and Kennedy (1963, 1980) have in many ways defined the contours of our discipline, especially our attitudes toward the study of figures and tropes. Late antiquity and the Middle Ages, the periods of "decline" so deplored by Baldwin, Vickers, Kennedy, and others, were those in which figural rhetoric flourished, and both the sheer [End Page 116] volume of extant figural treatises and the continuity of figural rhetoric from the Hellenistic period through such contemporary semipopular books as Arthur Quinn's Figures of Speech: 60 Ways to Turn a Phrase (1982) and William Espy's The Garden of Eloquence: A Rhetorical Bestiary (1983) demand attention from the historical scholar. Along with the trivialization of figures in contemporary rhetoric has come a drastic oversimplification of the semiotics of figural terminology, which, in turn, contributes to the trivialization of many recent accounts of figures. To recover a more complex understanding of the semiotics of figural terms, we must start with a historical understanding of figuration, because rhetorical terms are encased in numerous historical strata that determine our understandings of them. 1 As Richard Rorty (1984, 49-75) argues concerning the historiography of philosophy, rational and historical reconstruction are mutually interdependent. A brief history of figural rhetoric From antiquity through the present, lists of figures have either occupied substantial sections of general treatises on rhetoric or grammar or have been the subject of specifically figural handbooks. Use of what we might term highly figured speech appears to predate the development of theoretical models for analysis of figures by many centuries. The Homeric epics, which were to provide the standard examples of rhetorical figures for many subsequent centuries, use patterns of speech later to be named and classified as rhetorical figures, but neither figural terminology nor self-conscious reflection upon figures qua figures appears in the epics. Similarly, although Gorgias was renowned for his use of the "Gorgianic" figures that later took his name, there is no evidence that he attempted systematic catologuing or development of specialized terminology for the figures. The testimonia describing his use of poetic words and figures (DK82a1, DK82a2, DK82a4, DK82a32--translated in Sprague 1972) do not attribute to him any invention of technical terminology.The question of invention of specific terminology for rhetorical figures is part of a more general historical question of the development of rhetoric as a self-conscious field. As Thomas Cole (1991) and Edward Schiappa (1991) have pointed out, the first... (shrink)

George Lucas, an internationally renowned authority on military ethics, passionately and persuasively submits the argument in his latest book that military strategy must surpass the outdated Clause...

The main goal of the paper is to indicate some misunderstandings in Ingarden's criticism of vob Bertalanffy's conception of open system.