The authors investigated the ontological argument computationally. The premises and conclusion of the argument are represented in the syntax understood by the automated reasoning engine PROVER9. Using the logic of definite descriptions, the authors developed a valid representation of the argument that required three non-logical premises. PROVER9, however, discovered a simpler valid argument for God's existence from a single non-logical premise. Reducing the argument to one non-logical premise brings the investigation of the soundness of the argument into better focus. Also, (...) the simpler representation of the argument brings out clearly how the ontological argument constitutes an early example of a ?diagonal argument? and, moreover, one used to establish a positive conclusion rather than a paradox. (shrink)

Web-based platforms play an increasingly important role in managing and sharing research data of all types and sizes. This article presents a case study of the data storage, sharing, and management platform Figshare. We argue that such platforms are displacing and reconfiguring the infrastructure of norms, technologies, and institutions that underlies traditional scholarly communication. Using a theoretical framework that combines infrastructure studies with platform studies, we show that Figshare leverages the platform logic of core and complementary components to re-integrate a (...) presently splintered scholarly infrastructure. By means of this logic, platforms may provide the path to bring data inside a scholarly communication system still optimized mainly for text publications. Yet the platform strategy also risks turning over critical scientific functions to private firms whose longevity, openness, and corporate goals remain uncertain. It may amplify the existing trend of splintering infrastructures, with attendant effects on equity of service. (shrink)

Though Frege was interested primarily in reducing mathematics to logic, he succeeded in reducing an important part of logic to mathematics by defining relations in terms of functions. By contrast, Whitehead & Russell reduced an important part of mathematics to logic by defining functions in terms of relations (using the definite description operator). We argue that there is a reason to prefer Whitehead & Russell's reduction of functions to relations over Frege's reduction of relations to functions. There is an interesting (...) system having a logic that can be properly characterized in relational but not in functional type theory. This shows that relational type theory is more general than functional type theory. The simplification offered by Church in his functional type theory is an over-simplification: one can't assimilate predication to functional application.<br>. (shrink)

In 2004, Google embarked on a massive book digitization project. Forty library partners and billions of scanned pages later, Google Book Search has provided searchable text access to millions of books. While many details of Google’s conversion processes remain proprietary secret, here we piece together their general outlines by closely examining Google Book Search products, Google patents, and the entanglement of libraries and computer scientists in the longer history of digitization work. We argue that far from simply “scanning” books, Google’s (...) efforts may be characterized as algorithmic digitization, strongly shaped by an equation of digital access with full-text searchability. We explore the consequences of Google’s algorithmic digitization system for what end users ultimately do and do not see, placing these effects in the context of the multiple technical, material, and legal challenges surrounding Google Book Search. By approaching digitization primarily as a text extraction and indexing challenge—an effort to convert print books into electronically searchable data—GBS enacts one possible future for books, in which they are defined largely by their textual content. (shrink)

Formulations of Anselm’s ontological argument have been the subject of a number of recent studies. We examine these studies in light of Anselm’s text and (a) respond to criticisms that have surfaced in reaction to our earlier representations of the argument, (b) identify and defend a more refined representation of Anselm’s argument on the basis of new research, and (c) compare our representation of the argument, which analyzes that than which none greater can be conceived as a definite description, to (...) a representation that analyzes it as an arbitrary name. (shrink)

This essay proposes a cultural and historical explanation for the American Military's fascination with computing. Three key elements of post-WWII US political culture — apocalyptic struggle with the USSR, subsuming all other conflicts: a long history of antimilitarist sentiment in American politics; and the rise of science-based military power — contributed to a sense of the world as a closed system accessible to American technological control. A developing scientific systems discourse, centrally including computer science and AI, was adopted for strategic (...) thinking and military technology. The Strategic Computing and Strategic Defense Initiatives are discussed as contemporary examples of this conjunction. (shrink)

The authors evaluate the soundness of the ontological argument they developed in their 1991 paper. They focus on Anselm’s first premise, which asserts that there is a conceivable thing than which nothing greater can be conceived. After casting doubt on the argument Anselm uses in support of this premise, the authors show that there is a formal reading on which it is true. Such a reading can be used in a sound reconstruction of the argument. After this reconstruction is developed (...) in precise detail, the authors show that the conclusion, a reading of the claim “God exists”, does not quite achieve the end Anselm desired. (shrink)

In this paper, the authors show that there is a reading of St. Anselm's ontological argument in Proslogium II that is logically valid (the premises entail the conclusion). This reading takes Anselm's use of the definite description "that than which nothing greater can be conceived" seriously. Consider a first-order language and logic in which definite descriptions are genuine terms, and in which the quantified sentence "there is an x such that..." does not imply "x exists". Then, using an ordinary logic (...) of descriptions and a connected greater-than relation, God's existence logically follows from the claims: (a) there is a conceivable thing than which nothing greater is conceivable, and (b) if <em>x</em> doesn't exist, something greater than x can be conceived. To deny the conclusion, one must deny one of the premises. However, the argument involves no modal inferences and, interestingly, Descartes' ontological argument can be derived from it. (shrink)

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics of complete individual concepts. We show how the object-theoretic reconstruction of these components of Leibniz’s theory can be represented for investigation by means of automated (...) theorem provers and finite model builders. The fundamental theorem of Leibniz’s theory is derived using these tools. (shrink)

The authors evaluate the soundness of the ontological argument they developed in their 1991 paper. They focus on Anselm’s first premise, which asserts that there is a conceivable thing than which nothing greater can be conceived. After casting doubt on the argument Anselm uses in support of this premise, the authors show that there is a formal reading on which it is true. Such a reading can be used in a sound reconstruction of the argument. After this reconstruction is developed (...) in precise detail, the authors show that the conclusion, a reading of the claim “God exists”, does not quite achieve the end Anselm desired. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Notes and Discussions AGOSTINO NIFO'S EARLY VIEWS ON IMMORTALITY Various historians of Renaissance philosophy have taken some notice of the prolific author and important philosopher of the late 15th and early 16th centuries, Agostino Nifo (1470-1538), x but no one has yet studied his writings in a methodical and exhaustive fashion. 2 He not only published philosophical works in logic, physics, psychology and metaphysics, but he also authored treatises (...) on humanist topics? Recent scholars have tended to concentrate their attention on his psychological doctrines, no doubt because he was one of the major opponents of Pietro Pomponazzi (1462-1525) during the immortality controversy.4 Nifo published his De Immortalitate Animae in 1518 as a reply to the De lmmortalitate Ardmae, On the year of Nifo)s birth, see Bruno Nardi, Saggi sull'aristotelismo padovano dal secolo xav al xvl ('Florence, 1958), p. 284, n. 8. There is contemporary evidence that he died on January 18, 1538. See Bartolommeo Capasso, "Le cronache de li antiqui ri del regno di Napoli di D. Gaspare Fuscolill0," Archivio storico per le province napoletane, I (1876), p. 538. The standard bio-bibliography still remains Pasquale Tuozzi, "Agostino Nifo 9 le sue opere," Atti e memorie della R. Accademia di Scienze, Lettere ed Arti in Padova, Nuova scrie, XX (Padua, 1904), pp. 63-86. But see also Giuseppr Tommasino, Tra umanisti e filosoft (Maddaloni, 1921), Porte I, pp. 123-147; and Edward P. Mahoney, "A Note on Agostino Nifo," Philological Quarterly (forthcoming). z See Franeeseo Fiorentino, Pietro Pomponazzi; Studi storici su la scuola bolognese e padovana del secolo xvI (Florence, 1868); Carlo Giacon, La seconda scolastica: 1 grandi commentatori di San Tommaso (Milan, 1944); Etienne Gilson, "L'affaire de l'immortalit6 de l'fime ~t Venise at* d6but du xvIe si~ele," in Umanesirno europeo e uraanesimo veneziano, ed. Vittore Branea (Florence, 1963), pp. 31-61; Miehele Giorgiantonio, "Un nostro filosofo dimentieato dcl '400 (Luea Prassicio e Agostino Nifo)," Sophia, XVI (1948), pp. 212-214 and 303-312; Bruno Nardi, Saggi sulraristotelismo padovano dal secolo x]v al xvI (Florence, 1958); idem, Sigieri di Brabante nel pensiero del Rinascimento Italiano (Rome, 1945); Giovanni di NapoH, L'immortalitd delranima nel Rinascimento ('Turin, 1963); John Herman Randall, Jr., The School of Padua and the Emergence of Modern Science (Padua, 1961); Wilhelm Risse, Die Logik der Neuzeit, I (Stuttgart, 1964); Eugenio Garin, La cultura [ilosofica del Rinascimento Italiano (Florence, 1961); idem, Storia della filosofia italiana, II (Turin, 1966). See Nifo's De Armorum Literarumque Comparatione Commentariolus (Naples, 1526); De Pulchro et Amore (Rome, 1531); De Re Aulica (Naples, 1534); and Prima Pars Opusculorum (Venice, 1535). The second of these works has been studied by Jules Houdoy, La beaut~ des femmes dans la litt#rature et darts rart du xII" au xvIe si~cle; Analyse du livre de A. Niphus du Beau et de l'amour (Paris, 1876). 4 For recent discussion of the immortality controversy, see Etienne Gilson, "Autour de Pomponazzi, ProbMmatique de l'immortalit~ de l'~me en Italic au d~but du xvIe si~.cle," Archives d'histoire doctrinale et litt~raire du moyen dge, Ann6e 1961, pp. 163-179; Giovanni di Napoli, op. cit., especially pp. 227-338; Paul Oskar Kristeller, Eight Philosophers of the Italian Renaissance (Stanford, 1964), pp. 72-90; Bruno Nardi, Studi su Pietro Pomponazzi (Florence, 1965); Martin Pine, "Pomponazzi and the Problem of 'Double Truth'," Journal ot the History of Ideas, XXIX (1968), pp. 163-176; Harold Shulsky, "Paduan Epistemology and the Doctrine of the One Mind," lournal of the History of Philosophy, VI (1968), pp. 341-361. [451] 452 HISTORY OF PHILOSOPHY (1516) of Pomponazzi, who had argued that personal immortality cannot be philosophically demonstrated, s But while these scholars correctly point out that Nifo abandoned an Averroist interpretation of Aristotle concerning the unity of the intellect and the immortality of the soul for the position which they assume to be Thomistic, they are not precise as to just when Nile made the shift.6 They have not observed that in his first two printed works, namely, the commentary on Averroes' Destructio Destructionum (1497) and the early commentary on the De Anima (1503), Nifo explicitly accepts Averroes as the... (shrink)

The cuticular surface of Drosophila is decorated by parallel arrays of polarized structures such as hairs and sensory bristles; for example, on the wing each cell produces a distally pointing hair. These patterns are termed [tissue polarity]. Several genes are known whose activity is essential for the development of normal tissue polarity. Mutations in these genes alter the orientation of the hair or bristle with respect to neighboring cells and the body as a whole. The phenotypes of mutations in these (...) genes allows them to be placed in three phenotypic groups. Based on their behavior in genetic mosaics, it has proved possible to determine that individual genes are required either for the generation of an intercellular polarity signal and/or the transduction of that signal to the cytoskeleton. (shrink)

Over recent years, the research community has been increasingly using preprint servers to share manuscripts that are not yet peer-reviewed. Even if it enables quick dissemination of research findings, this practice raises several challenges in publication ethics and integrity. In particular, preprints have become an important source of information for stakeholders interested in COVID19 research developments, including traditional media, social media, and policy makers. Despite caveats about their nature, many users can still confuse pre-prints with peer-reviewed manuscripts. If unconfirmed but (...) already widely shared first-draft results later prove wrong or misinterpreted, it can be very difficult to “unlearn” what we thought was true. Complexity further increases if unconfirmed findings have been used to inform guidelines. To help achieve a balance between early access to research findings and its negative consequences, we formulated five recommendations: (a) consensus should be sought on a term clearer than ‘pre-print’, such as ‘Unrefereed manuscript’, “Manuscript awaiting peer review” or ‘’Non-reviewed manuscript”; (b) Caveats about unrefereed manuscripts should be prominent on their first page, and each page should include a red watermark stating ‘Caution—Not Peer Reviewed’; (c) pre-print authors should certify that their manuscript will be submitted to a peer-review journal, and should regularly update the manuscript status; (d) high level consultations should be convened, to formulate clear principles and policies for the publication and dissemination of non-peer reviewed research results; (e) in the longer term, an international initiative to certify servers that comply with good practices could be envisaged. (shrink)

The 1994 biography of Lenin by General Dmitri Volkogonov, the chairperson of President Yeltsin's commission for examining the Soviet archives, has been hailed as exposing Lenin's crimes. Volkogonov charges that Lenin's fanaticism caused him to order acts of inhuman cruelty; that he was an agent of the German government; that the October revolution was the coup of a minority; that Lenin was the originator of the idea of a one-party dictatorship; that he persecuted religious believers; and that he created the (...) totalitarian system that was perfected by Stalin. Volkogonov's evidence from archival and other sources is examined, and his charges are found to be unjustified. (shrink)

Paul Ricoeur was one of the foremost interpreters and translators of Edmund Husserl's philosophy. These nine essays present Ricoeur's interpretation of the most important of Husserl's writings, with emphasis on his philosophy of consciousness rather than his work in logic. In Ricoeur's philosophy, phenomenology and existentialism came of age and these essays provide an introduction to the Husserlian elements which most heavily influenced his own philosophical position.

Faith-based, transformational development organizations infrequently utilize impact assessment tools as learning activities. The author argues that the real and significant barriers to program assessment can be managed if shared learning becomes a core value within the organization. By integrating Biblical teaching and program assessment activities with what it means to be a learning organization, the paper outlines a strategy for sharing valuable experiences about holistic development within and outside the faith-based development community.

The director of Courage International talks about the work of the apostolate in addressing homosexuality according to the mind and heart of the Church, which he calls “one of the most demanding aspects of education, formation, and pastoral care today.” But it is also an opportunity to attend to the often acute and persistent wounds of those who need healing within what Pope Francis calls the “field hospital” of the Church. The author points out that the work of Courage is (...) not first about homosexuality but about what it means to be human. It is an invitation to consider the question of the fulfillment of the human heart according to God’s gracious plan. National Catholic Bioethics Quarterly 15.2 : 221–230. (shrink)

The Stanford Encyclopedia of Philosophy is an open access, dynamic reference work designed to organize professional philosophers so that they can write, edit, and maintain a reference work in philosophy that is responsive to new research. From its inception, the SEP was designed so that each entry is maintained and kept up to date by an expert or group of experts in the field. All entries and substantive updates are refereed by the members of a distinguished Editorial Board before they (...) are made public. (shrink)