In this paper we first give a survey of reductive cut-elimination methods in classical logic. In particular we describe the methods of Gentzen and Schütte-Tait from the abstract point of view of proof reduction. We also present the method CERES which we classify as a semi-semantic method. In a further section we describe the so-called semantic methods. In the second part of the paper we carry the proof analysis further by generalizing the CERES method to CERESD . In the generalized (...) version CERESD we admit general elimination rules which are based on the mere semantical truth of sentences. We construct complete cut-free LK-derivations originating from derivations potentially containing unproven lemmas. Finally we give a comparison of reductive methods and CERESD by presenting a general simulation result. (shrink)

The purpose of this study was to gain a better understanding of the impact of moral issues on the moral decision-making process within the field of accounting. In particular, the study examined differences in the perceptions of the underlying characteristics of moral issues on the specific steps of the moral decision-making process of four different accounting situations.The research results suggested that student's perception of the components of moral intensity as well as the various stages of the moral decision-making process was (...) influenced by the type and intensity of the moral issue. In general, accounting student's perceptions of the importance of these variables varied between less unethical and more unethical accounting issues. The differences in perceptions of four moral intensity components: magnitude of consequences, concentration of effect, probability of effect and proximity stood out more in the accounting issues analyzed. (shrink)

We define a generalization of the first-order cut-elimination method CERES to higher-order logic. At the core of lies the computation of an set of sequents from a proof π of a sequent S. A refutation of in a higher-order resolution calculus can be used to transform cut-free parts of π into a cut-free proof of S. An example illustrates the method and shows that can produce meaningful cut-free proofs in mathematics that traditional cut-elimination methods cannot reach.

The first-order temporal logics with □ and ○ of time structures isomorphic to ω (discrete linear time) and trees of ω-segments (linear time with branching gaps) and some of its fragments are compared: the first is not recursively axiomatizable. For the second, a cut-free complete sequent calculus is given, and from this, a resolution system is derived by the method of Maslov.

Statman and Orevkov independently proved that cut-elimination is of nonelementary complexity. Although their worst-case sequences are mathematically different the syntax of the corresponding cut formulas is of striking similarity. This leads to the main question of this paper: to what extent is it possible to restrict the syntax of formulas and — at the same time—keep their power as cut formulas in a proof? We give a detailed analysis of this problem for negation normal form , prenex normal form and (...) monotone formulas. We show that proof reduction to NNF is quadratic, while PNF behaves differently: although there exists a quadratic transformation into a proof in PNF too, additional cuts are needed; the elimination of these cuts requires nonelementary expense in general. By restricting the logical operators to {,,,}, we obtain the type of monotone formulas. We prove that the elimination of monotone cuts can be of nonelementary complexity . On the other hand, we define a large class of problems where cut-elimination of monotone cuts is only exponential and show that this bound is tight. This implies that the elimination of monotone cuts in equational theories is at most exponential. Particularly, there are no short proofs of Statman's sequence with monotone cuts. (shrink)

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...) logic of linear discrete time with gaps follows. (shrink)

The length of resolution proofs is investigated, relative to the model-theoretic measure of Herband complexity. A concept of resolution deduction is introduced which is somewhat more general than the classical concepts. It is shown that proof complexity is exponential in terms of Herband complexity and that this bound is tight. The concept of R-deduction is extended to FR-deduction, where, besides resolution, a function introduction rule is allowed. As an example, consider the clause P Q: conclude P) Q, where a, f (...) are new function symbols extending Herbrand's universe. P ()Q from Q) and Skolemization). By modification of a construction of Statman it is shown that FR-deductions may be nonelementarily shorter than R-deductions . Finally it is proved that FR-deduction has weaker effects only if clausal logic is restricted to Horn logic. (shrink)

Catalog of the collection of the Madamkhand Museum of Art, named after the wife of Batzhargalyn Batbai︠a︡r, businessman and member of the Mongolian Khural.

This essay brings psychoanalytic theory on trauma together with film and television criticism on rape narrative in an analysis of Michael Coel’s 2020 series I May Destroy You. Beyond the limited carceral framework of the police procedural, which dislocates the act of violence from the survivor’s history and context, Coel’s polyvalent, looping narrative metabolizes rape television’s forms and genres in order to stage and restage both trauma and genre again and anew. Contesting common conceptions of vulnerability and susceptibility that prefigure (...) a violent breach of autonomy, Coel’s series and her interviews about it invite an ethics of looking that embraces a curiosity in the unknowable and untreatable kernel of subjective experience and defies and resists a policing of the survivor’s thoughts and emotions. By emphasizing and exploring what psychoanalysis calls the “afterwardness” of trauma, Coel foregrounds her main character’s subjectivity prior to her victimization, widens the sphere of consequence beyond the victim and criminal justice system to the survivor’s larger community, and entreats that community to preserve a space for her to look and look again at everything, without judgment. (shrink)

Modern scholars have been concerned with the hostility shown to Alexander by the Hellenistic schools of philosophy. Two literary portraits have been distinguished, the Peripatetic and the Stoic, the former deriving from Theophrastus' book on Callisthenes, or starting with this work the Peripatetics worked out a theory of and applied it to Alexander, in order to belittle his achievements. It was a case of giving sophisticated expression to the kind of crude resentment expressed by Demades.

Introduction: Conversion and the practice of transformation -- The philosophical structure of Jonathan Edwards's religious affections -- Habit, habit change, and conversion in C.S. Peirce -- Reconstructing faith : religious overcoming in Dewey's pragmatism -- Transforming obligation in William James -- Dwelling in absence: the reflective origin of conversion -- Creative transformation : the work of conversion -- The evasion of conversion in recent American philosophy.

In the twenty-first century, the debate about life on other worlds is quickly changing from the realm of speculation to the domain of hard science. Within a few years, as a consequence of the rapid discovery by astronomers of planets around other stars, astronomers very likely will have discovered clear evidence of life beyond the Earth. Such a discovery of extraterrestrial life will change everything. Knowing the answer as to whether humanity has company in the universe will trigger one of (...) the greatest intellectual revolutions in history, not the least of which will be a challenge for at least some terrestrial religions. Which religions will handle the discovery of extraterrestrial life with ease and which will struggle to assimilate this new knowledge about our place in the universe? Some religions as currently practiced appear to only be viable on Earth. Other religions could be practiced on distant worlds but nevertheless identify both Earth as a place and humankind as a species of singular spiritual religious importance, while some religions could be practiced equally well anywhere in the universe by any sentient beings. Weintraub guides readers on an invigorating tour of the world's most widely practiced religions. It reveals what, if anything, each religion has to say about the possibility that extraterrestrial life exists and how, or if, a particular religion would work on other planets in distant parts of the universe. (shrink)

Les Prolegomenes a la Philosophie de Platon sont un manuel d'ecole neoplatonicien. Il s'inspire d'un modele dont Proclus a du etre l'auteur, mais l'origine de ce texte est presque surement alexandrine et doit dater de la premiere moitie du Vle siecle. Cette oeuvre est essentielle pour comprendre comment etait diffuse l'enseignement platonicien, et pour mieux saisir le mouvement des idees de l'Antiquite finissante. Dans une importante introduction, L. O. Westerink a retrace l'histoire de l'ecole d'Alexandrie et celle du genre litteraire (...) de ces introductions a Platon et a Aristote. (shrink)

Purpose. To examine the existential anthropology of G. Marcel and E. Minkowski, in order to demonstrate the necessity of distinguishing the universal-spiritual, as human in human being, apart from the individual-existential in him, and to reveal the hierarchical correlation of biosocial, existential and spiritual spheres in personality. Theoretical basis. Within existential philosophy the author differentiates two separate traditions and proceeds from the insufficiency of the distinction of existential sphere, proposed by phenomenological tradition, showing the necessity of its correlation with the (...) spiritual sphere as a sphere of humanity, proposed by non-phenomenological tradition of G. Marcel and E. Minkowski. Originality. The author presents the anthropological conception of G. Marcel and E. Minkowski, in which human personality is understood as unity of individual-existential and universal-spiritual, which requires a special trans-empirical field of culture, which contains senses, images and symbols of humanity. Also, the author presents the recent developments of existential thinkers in distinguishing existential and spiritual dimensions, both not reducible to the physical and social dimensions. Conclusions. In both existential traditions, the specifically human was founded as a trans-biological and trans-social phenomenon, which appears as indefinable and non-predetermined. But in first tradition, humanity is understood as an existence, as a unique individuality, "project", variant of humanity, equivalent to other variants, and universal is understood as a community of human condition in the world. While in the second tradition, the universal is understood as spiritual. Thus, horizontal level of our private existence, as the process of movement from birth to death, is supplemented by vertical of human, universal ideals and images. Humanity appears as a task, on the way to which human being transcends beyond the limits of his individual "self" to the "super-individual", through inclusion into spiritual community, into universal culture. (shrink)

The phenomenon of altruism extends from the biological realm to the human sociocultural realm. This article sketches a coherent outline of multiple types of altruism of progressively increasing scope that span these two realms and are grounded in an ever-expanding sense of “self.” Discussion of this framework notes difficulties associated with altruism at different levels. It links scientific ideas about the evolution of cooperation and about hierarchical order to perennial philosophical and religious concerns. It offers a conceptual background for inquiry (...) into societal challenges that call for altruistic behavior, especially the challenge of environmental and social sustainability. (shrink)

The locus classicus for Plutarch's own views on his methods is in the Alexander He has begun by asking for the indulgence of his readers if they do not find all the exploits of Alexander and Caesar recounted by the biographer or if they discover him not reporting some famous incident in detail (); and he goes on to compare his own search for evidence which will indicate the kind of soul, with the activity of the painter, who, in order (...) to create a likeness, concentrates on the eyes and pays little attention to the other parts. Commentators and critics have been right to take this as a key text for the purpose of understanding Plutarch's attitude towards his biographical work; nevertheless there are other passages in the Lives where we can at least glimpse his attitude to his subject, and we can only see the Alexander-remarks in correct perspective if we take these other passages into account. I propose therefore, starting with the Alexander, to see how far these critical remarks apply to Plutarch's theory and practice elsewhere in the Lives. (shrink)

According to the Ars Amatoria the notorious rape took place on the occasion of a primitive dramatic entertainment staged in a theatre, in which the seats and furnishings were also primitive. There is no time for a description of the arts of the performers—a tibicen and a ludius—before the Romans, impatient for action, receive their signal from Romulus. Nor is there any mention of a god in whose honour the entertainment had been provided.

Annotation "Fearful Symmetry" brings the incredible discoveries of contemporary physics within everyone's grasp. A. Zee, a distinguished physicist and skillful expositor, tells the exciting story of how today's theoretical physicists are following Einstein in their search for the beauty and simplicity of Nature. Animated by a sense of reverence and whimsy, the book describes the majestic sweep and accomplishments of twentieth-century physics. In the end, we stand in awe before the grand vision of modern physics--one of the greatest chapters in (...) the intellectual history of humankind. (shrink)

This book constitutes the refereed proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory, KGC '97, held in Vienna, Austria, in August 1997. The volume presents 20 revised full papers selected from 38 submitted papers. Also included are seven invited contributions by leading experts in the area. The book documents interdisciplinary work done in the area of computer science and mathematical logics by combining research on provability, analysis of proofs, proof search, and complexity.