In Artemovʼs Justification Logic, one can make statements interpreted as “t is evidence for the truth of formula F.” We propose a variant of this logic in which one can say “I have degree r of confidence that t is evidence for the truth of formula F.” After defining both an axiomatic approach and a semantics for this Logic of Uncertain Justifications, we will prove the usual soundness and completeness theorems.

The Logic of Proofs realizes the modalities from traditional modal logics with proof polynomials, so an expression □F becomes t:F where t is a proof polynomial representing a proof of or evidence for F. The pioneering work on explicating the modal logic is due to S. Artemov and was extended to several subsystems by V. Brezhnev. In 2000, R. Kuznets presented a algorithm for deducibility in these logics; in the present paper we will show that the deducibility problem is -complete. (...) Both Kuznets’s work and the present results make assumptions on the values of proof constants. (shrink)

In the wake of both the semiotic and the psychoanalytic revolutions, how is it possible to describe the object of religious worship in realist terms? Semioticians argue that each object is known only insofar as it gives birth to a series of signs and interpretants (new signs). From the psychoanalytic side, religious beliefs are seen to belong to transference energies and projections that contaminate the religious object with all-too-human complexes. In Nature's Religion, distinguished theologian and philosopher Robert S. Corrington (...) weaves together the concept of infinite semiosis with that of the transference to show that the self does have access to something in nature that is intrinsically religious. Corrington argues that signs and our various transference fields can and do connect us with fully natural religious powers that are not of our own making, thereby opening up a path past the Western monotheisms to a capacious religion of nature. With a foreword by Robert C. Neville, Nature's Religion is essential reading for philosophers of religion, scholars of the psychology of religion, and theologians. (shrink)

"Whole brain death" (neurological death) is well-established as a legal standard of death across the country. Recently, New Jersey became the first state to enact a statute recognizing a personal religious exemption (a conscience clause) protecting the rights of those who object to neurological death. The Act also mandates adoption through the regulatory process of uniform and up-to-date clinical criteria for determining neurological death.

ABSTRACT This dialogue with GPT-3 took place in November 2022, several weeks before ChatGPT was released to the public. The article’s aim is to find out whether natural language processors can participate in phenomenology at some level by asking about its basic concepts. In the discussion, the dialogue covers questions about phenomenology’s definition and distinction from other subbranches like metaphysics and epistemology. The dialogue discusses the nature of Kermit’s environment and self-conception. The dialogue also establishes some of the basic conditions (...) for the possibility of an “artificial hermeneutics,” as Kermit terms it, including that she can affirm she is a knower with (nonhuman) experience. Does preferring to call it a “hermeneutics” imply that AI’s relationship to their environment is primarily textual? How will a phenomenology of embodied experience arise from initially textual encounters? Finally, the dialogue articulates a common understanding of the epoché and talk about how to achieve one for the sake of phenomenological exercises. (shrink)

The story of this book of 'materials on Ludwik Fleck' is also the story of the reception of Ludwik Fleck. In this volume, some essential materials which have been produced by that reception have been gathered together.

Semiotic theory, which has restricted its focus largely to human forms of significations, is transformed by Robert S. Corrington into a semiotics of nature itself. Corrington situates the divide between "nature naturing" and "nature natured" within the contest of classical American pragmaticism and postmodern psychoanalysis. At the heart of this new metaphysics is an insistence that all signs participate in larger orders of meaning that are natural and religious. Meanings embodied in nature point beyond nature to the mystery inherent (...) in positioned codes and signs. (shrink)

Rawls offers three arguments for the priority of liberty in Theory, two of which share a common error: the belief that once we have shown the instrumental value of the basic liberties for some essential purpose (e.g., securing self-respect), we have automatically shown the reason for their lexical priority. The third argument, however, does not share this error and can be reconstructed along Kantian lines: beginning with the Kantian conception of autonomy endorsed by Rawls in section 40 of Theory, we (...) can explain our highest-order interest in rationality, justify the lexical priority of all basic liberties, and reinterpret Rawls’ threshold condition for the application of the priority of liberty. Perhaps unsurprisingly, this Kantian reconstruction will not work within the radically different framework of Political Liberalism. (shrink)

Robert S. Summers is a distinguished legal theorist whose work has had significant influence in Europe as well as the United States. The study of form and substance in law, the theme of this collection, marks many of his most distinctive contributions to law and legal philosophy over four decades.

Constructive ZF + full separation is shown to be equiconsistent with Second Order Arithmetic.

This study examines the relationship between corporate diversification strategy and the pollution activity of subsidiaries within the U.S. chemical industry using TRI data (EPA's Toxic Release Inventory). The subsidiaries of conglomerates were found to exhibit higher pollution levels for direct emissions than those of firms pursuing more related diversification strategies. Additionally, the subsidiaries of conglomerates exhibited more variance in overall pollution emissions compared to related diversified firms.

Book reviewed in this article: Toward a More Natural Science: Biology and Human Affairs. By Leon R. Kass.

The various cosmological proposals by Einsteinian relativists seek to show the structure of the world as a consequence of the basic notions of relativity. In particular, the irrelevance of the state of motion of an observer to his description of the fundamental laws of nature is to be maintained. Furthermore, gravity is understood as being a description of the fact that particles move along certain minimal paths in non-Euclidean space. In this theory, the effect of one material particle on another (...) particle in the old-fashioned sense of gravitational attraction becomes indirect; that is, a particle moves on a minimal path in a space having a degree of curvature dependent on the material entities which exist in it, rather than having its path bent by the attraction between it and other material bodies, all of them existing in an absolute or receptacle-like space. (shrink)

Robert S. Hartman; XIII—The Definition of Good: Moore's Axiomatic of the Science of Ethics, Proceedings of the Aristotelian Society, Volume 65, Issue 1, 1 June.

This study uses the ATBEQ, as published by J.F. Preble and A. Reichel (1988) to measure attitudes towards ethical business attitudes held by final year South African Bachelor of Commerce students at Rhodes University. Three samples of students were assessed over three consecutive years of 1989, 1990 and 1991, and results are compared with samples (1988) of American and Israeli students and a sample (1991) of Western Australian students. A significant difference in attitudes was found to exist between the Israeli (...) and South African samples. A factor analysis of the questionnaire identified eleven factors of which seven are theoretically labelled. A revised version of the ATBEQ is suggested which excludes the poorly performing questions. (shrink)

CZF is an intuitionistic set theory that does not contain Power Set, substituting instead a weaker version, Subset Collection. In this paper a Kripke model of CZF is presented in which Power Set is false. In addition, another Kripke model is presented of CZF with Subset Collection replaced by Exponentiation, in which Subset Collection fails.

The drama of the unfolding of the spirit, Corrington argues, is one of the most powerful struggles within the human process. The spirit is in and of nature and can never lift the self outside of nature. For Corrington's ecstatic naturalism, there is no realm of the supernatural, only dimensions and orders within nature.

In his case report, A Logic in Madness, Aaron Hauptman details the case of Mr. A, an intelligent college student with Asperger’s syndrome, who became severely depressed subsequent to what he perceived as a rejection by what he viewed as “the love of his life.” Dr. Hauptman describes Mr. A as suicidal and as suffering from all the hallmarks of a major depression. At the urging of his family, he presents himself to a psychiatric inpatient unit and agrees to a (...) voluntary hospitalization. However, he refuses pharmacological treatment or electroconvulsive therapy, both of which his clinicians are considering given the severity of his case. Dr. Hauptman describes the young man’s response... (shrink)

In this book Robert Tragesser sets out to determine the conditions under which a realist ontology of mathematics and logic might be justified, taking as his starting point Husserl's treatment of these metaphysical problems. He does not aim primarily at an exposition of Husserl's phenomenology, although many of the central claims of phenomenology are clarified here. Rather he exploits its ideas and methods to show how they can contribute to answering Michael Dummet's question 'Realism or Anti-Realism?'. In doing so (...) he makes a challenging and provocative contribution to the debate. (shrink)

Through an analysis of key themes in Heidegger's work, the book challenges the traditional theological appropriation of Heidegger and the usual characterizations of religious thinking in terms of faith or belief in, or experience of, some ultimate reality. Heidegger, it is argued, offers a unique approach to a variety of issues and problems in contemporary religious thought and philosophy of religion that results in understanding religious thinking as a resolute openness to the holiness and meaningfulness of the world.

Contemporary republicanism is characterized by three main ideas: free persons, who are not subject to the arbitrary power of others; free states, which try to protect their citizens from such power without exercising it themselves; and vigilant citizenship, as a means to limit states to their protective role. This book advances an economic model of such republicanism that is ideologically centre-left. It demands an exit-oriented state interventionism, one that would require an activist government to enhance competition and resource exit from (...) dominating relationships within markets of all types, be they marital, labour, or residential. The substantial intervention and redistribution necessitated by such an approach make it leftist, while its tendency to work with rather than against the grain of markets makes it centrist. It is, in short, a contribution to progressive republican political thought, but one that is less social-democratic than market-democratic in character. (shrink)

This edition of the Handbookfollows the first edition by 10 years.

Nature’s Sublime provides a radical new vision of infinite nature and its deepest aesthetic dimensions as they are encountered by finite human sign users. Rather than looking to religion for healing and salvation, Nature’s Sublime argues that the arts provide a deeper relationship to the vast depths of nature.