This volume presents the proceedings of the Computer Science Logic Workshop CSL '92, held in Pisa, Italy, in September/October 1992. CSL '92 was the sixth of the series and the first one held as Annual Conference of the European Association for Computer Science Logic (EACSL). Full versions of the workshop contributions were collected after their presentation and reviewed. On the basis of 58 reviews, 26 papers were selected for publication, and appear here in revised final form. Topics covered in the (...) volume include: Turing machines, linear logic, logic of proofs, optimization problems, lambda calculus, fixpoint logic, NP-completeness, resolution, transition system semantics, higher order partial functions, evolving algebras, functional logic programming, inductive definability, semantics of C, classes for a functional language, NP-optimization problems, theory of types and names, sconing and relators, 3-satisfiability, Kleene's slash, negation-complete logic programs, polynomial-time oracle machines, and monadic second-order properties. (shrink)

This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra (...) with recursion, minimal proofs, normal forms in infinite-valued logic, ordinal processes, persistent Petri nets, plausibility logic, program synthesis systems, quantifier hierarchies, semantics of modularization, stable logic, term rewriting systems, termination of logic programs, transitive closure logic, variants of resolution, and many others. (shrink)

Contents/Inhalt: Preface. Vorwort. Abbreviations/Siglen. I. JASPERS ON WORLD PHILOSOPHY AND WORLD HISTORY OF PHILOSOPHY/JASPERS ÜBER WELT-PHILOSOPHIE UND WELTGESCHICHTE DER PHILOSOPHIE. Nekrolog von Karl Jaspers selbst verfaßt. Obituary by Karl Jaspers himself. Karl JASPERS: Weltgeschichte der Philosophie - Zweites Buch: Geschichte der Gehalte: Einleitung. Karl JASPERS: World History of Philosophy - Second Volume: History of the Substantive Contents of Philosophic Thought. Introduction. II. INTRODUCTION/EINLEITUNG. Leonard H. EHRLICH: Opening Remarks. Introduction of Jeanne Hersch, Honorary President of the Conference. Jeanne HERSCH: Von der (...) Wirkung einer "philosophia negativa". III. LEGACY AND TASK. VERMÄCHTNIS UND AUFGABE. Leonard H. EHRLICH: Ausblick: Vernunft, Geist, Geschichte. Sawako HANYU: the Concept of the "Encompassing" in World Philosophy. Andreas RINOFNER: Periechontologie und Weltgeschichte der Philosophie. Systematische Bemerkungen zu einem aufschlußreichen Verhältnis. Richard WISSER: Projekt und Vision einer "Weltgeschichte der Philosophie" und "Weltphilosophie" als Folgen der "Grundverfassung" von Karl Jaspers. IV. DIMENSIONS OF COMMUNICATION/RÄUME DER KOMMUNIKATION. Andreas CESANA: Grenzen der Rationalität und Kommunikation. Brenio ONETTO-BÄCHLER: Existentielle Kommunikation bei Jaspers. Czes_awa PIECUCH: Es ist gleichgültig, wer die Wahrheit ausspricht. Über die Uneigennützigkeit der existentiellen Kommunikation. Oswald O. SCHRAG: Existence, Existenz, and Social Organization. Vladimir KATASONOV: The Gadfly, Stinging the Sluggish Horse: The Socratic Mission of Jaspers's Philosophy. V. COMMUNICATIVE WORLD HISTORY OF PHILOSOPHY/KOMMUNIKATIVE WELTGESCHICHTE DER PHILOSOPHIE. Albrecht KIEL: Die Weisen des Umgreifenden, die der Mensch ist: Wege zu Jaspers' Periechontologie. Maria Luisa BASSO: K. Jaspers - N. Berdiaeff: une confrontation entre deux philosophies de l'histoire. Convergence et divergence d'affirmations. Inigo BOCKEN: Kommunikation und Mutmaßung. Versuch eines Vergleichs zwischen Jaspers' Idee einer Philosophie der Kommunikation und Nikolaus von Kues' Kunst der Mutmaßungen. Boles_aw ANDRZEJEWSKI: Jaspers' Stellung zur Romantik im Lichte seiner Sprachphilosophie. Endre KISS: Karl Jaspers' Auslegung Nietzsches als eines Metaphysikers der Immanenz. Danièle MOYAL-SHARROCK: Genie et Folie selon Jaspers. Milan UZELAC: The World and Existence. Pablo LÓPEZ-LÓPEZ: Das Studium der Philosophie als Studium der Weltgeschichte der Philosophie. VI. COMMUNICATIVE WORLD PHILOSOPHY: EAST AND WEST/KOMMUNIKATIVE WELTPHILOSOPHIE: OST UND WEST. Wonjae LEE: Karl Jaspers und das Weltproblem des interreligiösen Dialogs. Silvia MARZANO: Comunicazione mondiale, kantismo e frattura dell'essere in Karl Jaspers. Una "terza via" fra Occidente e Oriente? Indu SARIN: Jaspers's Quest for Existential Communication. Mohammed MARUF: Jaspers and Iqbal on Self, Freedom and Communication. Subhadr PANYADEEP: Ich und Nicht-Ich bei Jaspers und im Buddhismus. Kazuteru FUKUI: Das Wesen des Buddhismus und Jaspers' Philosophie. Yukio MASUBUCHI: Jaspers und Nishida. Eine Theorie des "Topos" in der Lehre von der Kommunikation. Hans SANER: Weltphilosophie und Globalkultur im interkulturellen Vergleich mit den Konzepten "Weltmusik" und "Weltkunst". Gerhard RAUCHE: The Paradox of " Das Scheitern " as a World Formula. VII. COMMUNICATIVE WORLD PHILOSOPHY: FREEDOM AND TOLERANCE/KOMMUNIKATIVE WELTPHILOSOPHIE: FREIHEIT UND TOLERANZ. Anna MASÓ-MONCLÚS: Libertad y autoridad en Hannah Arendt y Karl Jaspers. Otmar KLEIN: "Weltverabsolutierung" und Verantwortungsverlust. Kurt SALAMUN: Grenzen der Toleranz. Zum Offenheits- und Toleranzparadigma in der Philosophie von Karl Jaspers. Giorgio PENZO: Politik als Ethos und das Problem der Freiheit bei Jaspers. Gerhard KNAUSS: Von der Weimarer Republik zur Weltpolitik. Wandlungen in Jaspers' Auffassung und Wertung der Politik von der Heidelberger Frühschrift "Die geistige Situation der Zeit" bis zu den Basler Spätschriften. Hermann-Josef SEIDENECK: Freiheit und Wiedervereinigung auf dem Prüfstand. Prognose und Ergebnis unter dem Blickwinkel von existentieller Kommunikation im Welthorizont. Appendix/Anhang. (shrink)

Schurz draws on modern alethic- deontic predicate logic to address the venerable yet enduring problem of whether what ought to be can be derived from what is. After two extensive introductory chapters supplying the background in philosophy and logic to readers unfamiliar with it, he examines such dimensions as the logical explication of Hume's thesis, the special Hume thesis, weakened versions of it, generalizations, some applications to ethical arguments, problems of identity and existence, whether there are analytic bridge principles, and (...) whether they are scientifically justifiable. The inquiry is expanded from Part II of his 1989 Relevant Deduction in Science and Ethics with a Case Study of the Is-Ought Problem. No index. Annotation copyrighted by Book News, Inc., Portland, OR. (shrink)

Nonmonotonic reasoning in its broadest sense is reasoning to conclusions on the basis of incomplete information. Given more information, previously drawn inferences may be retracted. Commonsense reasoning has a nonmonotonic component; it has been argued that almost all commonsense inferences are of this sort. From the end of the 1980s to the present there has been an explosion in research in nonmonotonic reasoning. It is now possible to understand more clearly the properties of the major formalisms from a metatheoretical point (...) of view, the relationships among the formalisms and their connection to independently developed proof methods. The goal of this monograph is to make this understanding more accessible. (shrink)

In this paper I ponder the moral status of conditional threats, in particular the extent to which a threatened party would be permitted to use (lethal) defensive force. I first investigate a mugger case before turning briefly to the more complicated issue of national defence in the face of an invading army. One should not exaggerate the level of protection people under threat owe their conditioned killers simply because what is extorted is of little value. After all, either the conditional (...) threat is willing to kill for something she has no claim on at all, or, if she has a just claim on it - or good reason to believe that she has - she is willing to kill to (re)acquire something of not much worth. In both cases the moral culpability of the conditional threat could be seen as reducing her claim on protection from harm. (shrink)

The account of meta-induction (G. Schurz, Hume’s problem solved: the optimality of meta-induction, MIT Press, Cambridge, 2019) proposes a two-step solution to the problem of induction. Step 1 consists in a mathematical a priori justification of the predictive optimality of meta-induction, upon which step 2 builds a meta-inductive a posteriori justification of object-induction based on its superior track record (Sect. 1). Sterkenburg (Br J Philos Sci, forthcoming. 10.1086/717068/) challenged this account by arguing that meta-induction can only provide a (non-circular) justification (...) of inductive predictions for now and for the next future, but not a justification of inductive generalizations (Sect. 2). This paper develops a meta-inductive method that does provide an a posteriori justification of inductive generalizations, in the form of exchangeability conditions (Sect. 3). In Sect. 4, a limitation of the proposed method is worked out: while the method can justify weakly lawlike generalizations, the justification of strongly lawlike generalizations (claimed to hold for all eternity) requires epistemic principles going beyond meta-induction based on predictive success. (shrink)

Human Dignity The mercurial concept of human dignity features in ethical, legal, and political discourse as a foundational commitment to human value or human status. The source of that value, or the nature of that status, are contested. The normative implications of the concept are also contested, and there are two partially, or even wholly, … Continue reading Human Dignity →.

The paper presents basic Gestalt psychological concepts of ego and self. They differ from other concepts in the way that they do not comprehend ego and self as fixed entities or as central controlling instances of the psyche, but as one specific organized unit in a psychological field in dynamic interrelation with the other organized units—the environment units—of this field. On this theme, well-known representatives of Gestalt theory have presented some general and special theories since the early days of this (...) approach that could partly be substantiated experimentally. They illuminate the relationship between ego and world in everyday life as well as in the case of mental disorders. Not only the spatial extension of the phenomenal ego is subject to situational changes, but also its place in the world, its functional fitting in this world, its internal differentiation, its permeability to the environment, and much more. The German Gestalt psychologist Wolfgang Metzger emphasizes the significant functional role that this dynamic plasticity of the phenomenal world and its continuously changing segregation of ego and environment have for human life by designating the phenomenal world as a “Central Steering Mechanism.” In this article, ego and self as part of this field in their interrelation with the total psychological field will be illuminated from the perspective of the thinking of the Gestalt psychologists Max Wertheimer, Kurt Koffka, Wolfgang Köhler, Kurt Lewin, Wolfgang Metzger, Mary Henle, Edwin Rausch, and Giuseppe Galli. (shrink)

English summary: Johann Gottfried Herder played a central role in the emergence of aesthetics and art history in the eighteenth century. His was not only an avid reader and critic of important contemporaries, but also made essential contributions to the possibilities of art and art theory. This volume is illuminated by contemporary art discussion and the many facets of debate around Herder and the emergence of aesthetics and art history, from his early writings in the 1760s and 70s, to this (...) later works. French description: Johann Gottfried Herder spielt eine zentrale Rolle fur die Entstehung der Asthetik und der Kunstgeschichte, die beide zu den grundlegenden geistesgeschichtlichen Neuerungen des 18. Jahrhunderts gehoren. Er war nicht nur ein aufmerksamer Leser und Kritiker der wichtigsten Autoren, die sich mit dieser Materie befassten, wie etwa Winckelmann, Lessing oder Baumgarten, sondern hat selbst grundlegende und umfassende Beitrage geschrieben, die immer wieder aufs Neue die Moglichkeiten und Grenzen der Kunst, der Kunstwahrnehmung und der Kunsttheorie ausloten. Der hier vorgelegte Band leuchtet vor dem Hintergrund der zeitgenossischen Kunstdiskussionen die vielen Facetten der Auseinandersetzung Herders mit der entstehenden Asthetik und Kunstgeschichte aus, beginnend mit seinen Schriften, Kritische Walder' und, Plastik' aus den 1760er und 1770er Jahren bis hin zu seinen spateren Werken. (shrink)

CONTENTS David Vessey: Who was Gadamer's Husserl? Daniel Dahlstrom: The Intentionality of Passive Experience: Husserl and a Contemporary Debate Ulrich Melle: The Enigma of Expression: Husserl's Doctrines of Sign and Expression in the Manuscripts for the Revision of the VIth Logical Investigation John Noras: A Reconsideration of Husserl's Notion of Transcendental Reflection from a Merleau-Pontian Perspective Rochus Sowa: Essences and Eidetic Laws in Edmund Husserl's Descriptive Eidetics Kevin Aho: Logos and the Poverty of Animals: Rethinking Heidegger's Humanism Joeseph Schear: Judgment (...) and Ontology in Heidgger's Phenomenology Ivo De Gennaro: Why Being Itself and not just Being? Joe Sachs: An Informal Talk about Forms Texts and Documents Gerhard Kruger: The Origin of Philosophical Self-Consciousness (1933) Oskar Becker: The Diairetic Generation of Platonic Ideal Numbers (1934) Jacob Klein: Plato's Republic (1967) Dorion Cairns: Some Applications of Husserl's Theory of Sense-Transfer In Review James Despres: Walter Brogan, Heidegger and Aristotle: The Twofoldness of Being. (shrink)

In diesem Aufsatz werden acht Grundprinzipien kritisch-rationalen Denkens von Karl Popper aufgelistet und ihre Anwendung auf verschiedene Themen der Erziehungswissenschaft beschrieben: Begriff der Erziehung, Aufgabe der Erziehungswissenschaft, Gedanken zum Lehrenden, zum Lernenden, zu Schuladministration und Schulpolitik. Einige Kommentare dazu bilden den Abschluss des Überblicks.

Among the methodological rules of the social sciences we find the principles of value-neutrality and the principle of criticism. Both principles are of vital importance in the social sciences, but both seem to conflict with one another. The principle of criticism excludes value-judgments from the social sciences, because they cannot be empirically tested. Hence, criticism methodologically implies value-neutrality. Yet there is the opposing view that it is precisely the critical social researcher who looks beyond mere 'social facts' taking into account (...) the value framework of the society. Thus, criticism does not lead to value-freedom, but points to the value impact of the so-called social facts. In this paper, the two principles are stated. Then it is shown how and why they are incompatible. Finally, several suggestions are discussed to resolve this methodological conflict. (shrink)

Publications of Austrian philosophers of science.

This addendum presents results that confound some commonly made claims about the sorts of environments in which the performance of TTB exceeds that of Franklin's rule, and vice versa.

A riddle in the ethics of war concerns whether lethal defensive force may be justifiably used against aggressing soldiers who are morally innocent.

Research on Sebastian Franck (1499 – 1543) has so far mainly focused on the topics “Sebastian Franck as a historian” or “Sebastian Franck as a critic of theology,” while Gnosticism in the philosophy of the radical reformer has received less attention. Since the beginning of the new millennium, the interest in a certain movement of Gnosticism, namely Hermeticism, has increased however. This paper examines the question of the parallels in content between Gnostic representatives such as the Carpocratians, the Ebionites, and (...) Sebastian Franck. Irenaeus of Lyon is used as a source for the Carpocratians and the Ebionites. Substantial similarities can be found in the fragmentary reports of Irenaeus on the Carpocratians and Ebionites and the teachings of Franck. The parallels between the Carpocratians and Franck can be identified in the concept of the Divine, the tripartite nature of the soul, and the doctrine of salvation. Unlike orthodox Christianity, both Franck and the Carpocratians believed in the self-salvation of people from their sins. Through the discovery of their spirit, all people can access the abilities that Yeshua had in his incarnation. The rejection of both the doctrine of original sin and the doctrine of grace is what Franck has in common with the Ebionites. However, the doctrine of grace would not make any sense for the Carpocratians either, as, according to their conviction, the soul is redeemed by the enlightenment of the spirit. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Religion a Threat to Morality: An Attempt to Throw Some New Light on Hume's Philosophy of Religion* Gerhard Streminger At the beginning ofhis Natural History ofReligion Hume writes that two questions in particular... challenge our attention, to wit, that concerning its foundation in reason, and that concerning its origin in human nature. The first challenge is taken up by Hume in the Dialogues ConcerningNatural Religion, and the second (...) in hisNatural History ofReligion. In this paper I will try to show that there is a third fundamental problem discussed by Hume with regard to religion, namely its relationship to and influence on morality. Although he never wrote on this topic in as systematic a way as on the above-mentioned two questions inparticular, I am convinced that his thoughts about it were not just casual. The passages in Hume relevant to this third central question about religion are to be found in "Of Superstition and Enthusiasm," in Essays Moral, Political, and Literary; in section 11 ofAn Enquiry Concerning Human Understanding; in Appendix 4 and "A Dialogue," in An Enquiry Concerning the Principles ofMorals; in the History ofEngland; in Part XII of the Dialogues Concerning Natural Religion ; and, in particular, in the Natural History ofReligion. Why Hume never wrote about the relationship between religion and morality in a more systematic way is not entirely clear. He may have decided not to provoke the orthodox any further than he already had. That Hume changed the title ofsection 11 ofhis first Enquiry from the original "Of the Practical Consequences of Natural Religion" to the rather non-committal "Of a Particular Providence and of a Future State" may support this conjecture. Before going into more detail as to Hume's view on the relationship between religion and morality, I want to make a few remarks about Hume's opinion of religion in general. Hume made a distinction between one 'true' and two forms of 'false' religion. His most explicit description of true religion is to be found in a preface to the second volume of his History ofEngland: Volume XV Number 2 277 GERHARD STREMINGER Theproper Office ofReligion, Hume wrote in terms which have a Quakerish flavour, is to reform Men's Lives, to purify their Hearts, to inforce all moralDuties, & to secure Obedience to the Laws & civil Magistrate. While it pursues these useful Purposes, its Operations, tho' infinitely valuable, are secret & silent; andseldom come under the Cognizance ofHistory... The Idea ofan Infinite Mind, the Author ofthe Universe seems... to require a Worship absolutely pure, simple, unadorned; without Rites, Institutions, Ceremonies; even without Temples, Priests, or verbal Prayer & Supplication. This preface, however, was not printed in the words quoted above. Instead it was reduced by Hume to a footnote at the end of the second volume of his History of England in a shortened and toned-down version. Even this footnote was removed in later editions ofthe History ofEngland. But in the Dialogues Hume repeated his idea of the effect of true religion on morality almost verbatim: The proper office of religion is to regulate the heart of men, humanize their conduct, infuse the spirit oftemperance, order, and obedience; and as its operation is silent, and only enforces the motives of mortality and justice, it is in danger of being overlooked, and confounded with these other motives. This form ofreligion, however, although without anypernicious consequences with regard to society (D 223), is extremely rare. Religion, as it has commonly been found in the world (D 223), is a threat to morality. The corruptions of true religion, namely superstition and enthusiasm, are the popular forms of religious worship. Whenever Hume talks about religion without qualifications, he has this false religion in mind. Coming back to my original thesis, Hume, I think, sees three main negative influences of false religion: (1) The clergy has an interest in setting bounds to human knowledge; (2) The God offalse religion is no moral authority; (3) False religion corrupts the natural moral sentiments and promotes an 'artificial, affected' life. I. False Religion and Human Knowledge To see the force of Hume's argument concerning the threat of false religion to morality, one has to take into account some general assumptions of Hume... (shrink)

Emergent quantum mechanics (EmQM) explores the possibility of an ontology for quantum mechanics. The resurgence of interest in realist approaches to quantum mechanics challenges the standard textbook view, which represents an operationalist approach. The possibility of an ontological, i.e., realist, quantum mechanics was first introduced with the original de Broglie-Bohm theory, which has also been developed in another context as Bohmian mechanics. This Editorial introduces a Special Issue featuring contributions which were invited as part of the David Bohm Centennial symposium (...) of the EmQM conference series (www.emqm17.org). Questions directing the EmQM research agenda are: Is reality intrinsically random or fundamentally interconnected? Is the universe local or nonlocal? Might a radically new conception of reality include a form of quantum causality or quantum ontology? What is the role of the experimenter agent in ontological quantum mechanics? The Special Issue also includes research examining ontological propositions that are not based on the Bohm-type nonlocality. These include, for example, local, yet time-symmetric, ontologies, such as quantum models based upon retrocausality. This Editorial provides topical overviews of thirty-one contributions which are organized into seven categories to provide orientation. (shrink)