ABSTRACT A propositional temporal logic is introduced whose operators quantify over intervals of a reference time line. The intervals are specified symbolically, for example ?next week's weekend?. The specification language for the intervals takes into account all the features of real calendar systems. A simple statement which can be expressed in this language is for example: ?yesterday I worked for eight hours with one hour lunch break at noon?. Calendar Logic can be translated into propositional logic. Satisfiability is therefore decidable. (...) Since the translation is exponential, a tableau decision procedure for checking decidability is presented as an alternative. (shrink)

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer (...) science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers. (shrink)

Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: Inference. Subsumption, A Sometimes (...) Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

Hans Reichenbach, a philosopher of science who was one of five students in Einstein's first seminar on the general theory of relativity, became Einstein's bulldog, defending the theory against criticism from philosophers, physicists, and popular commentators. This book chronicles the development of Reichenbach's reconstruction of Einstein's theory in a way that clearly sets out all of its philosophical commitments and its physical predictions as well as the battles that Reichenbach fought on its behalf, in both the academic and popular (...) press. The essays include reviews and responses to philosophical colleagues, such as Moritz Schlick and Hugo Dingler; polemical discussions with physicists Max Born and D. C. Miller; as well as popular articles meant to clarify aspects of Einstein's theories and set out their philosophical ramifications for the layperson. At a time when physics and philosophy were both undergoing revolutionary changes in content and method, this book is a window into the development of scientific philosophy and the role of the philosopher. (shrink)

Aus ganz unterschiedlichen Blickwinkeln, sei es aus musikhistorischer oder ethnomusikologischer Sicht, umkreisen zehn Beitrage das Thema aMusik - Zu Begriff und Konzepteno. Unter dieses Thema ein internationales Symposion in Berlin zu stellen, das zum Gedenken an Hans Heinrich Eggebrecht (1919-1999) veranstaltet wurde, erschien umso naheliegender, zumal Eggebrecht die Frage aWas ist Musik'o existenziell beruhrte, sie grundierte und sein Forscherleben als Musikwissenschaftler von den fruhen Veroffentlichungen nach dem Zweiten Weltkrieg bis zu den letzten Arbeiten durchzog. Inhalt Bruno Nettl: Was ist (...) Musik? Ethnomusikologische Perspektive Sabine Ehrmann-Herfort: Die Kantate. Musik zwischen asthetischer Autonomie und Ideologie Christian Berger: aMusiko nach Kant Erich Reimer: aMusikanto und aMusiko. Zur Geschichte einer wechselvollen Beziehung Christian Kaden: Musik bei denen, die keine aMusiko haben Hans-Joachim Hinrichsen: Hugo Riemann und der Musikbegriff der Musikwissenschaft Klaus-Jurgen Sachs: Musik - erfahren und erortert durch Franz Rosenzweig (1886-1929) Wolf Frobenius: Gestische Musik. Zur Fruhgeschichte des Begriffs Albrecht von Massow: Tonkorper - ein eigenstandiger Parameter der Wesensbestimmung und der Analyse von Musik Christian Thorau: Symphony in White - Musik als modus der Referenz. (shrink)

Dans cet ouvrage, Gadamer (1900-2002) nous confie un veritable testament philosophique. Abordant des questions centrales de la pensee contemporaine, le maitre de l'hermeneutique livre ici ses dernieres reflexions sur des themes qui lui tiennent a coeur: l'art et la poesie, la reconnaissance et l'humanisme, l'amitie et l'ecoute. L'hermeneutique, selon Gadamer, est la theorie selon laquelle nous devons apprendre a ecouter.

In the late 1830s and early 1840s Hans. L. Martensen helped to introduce the thought of G.W.F. Hegel to the intellectual world of Copenhagen. Between Hegel and Kierkegaard offers the first English translations of three important early writings of Martensen in the philsophy of religion. These treatises evidence an original and critical interpretation of Hegel's thought from a speculative theological point of view. The heart of Martensen's philosophy of religion is the idea of freedom or personality grounded in its (...) relation to the divine. These writings exercised an important and formative influence on the young Kierkegaard, Martensen's student, even though Kierkegaard later became a formidable opponent and critic of Martensen. (shrink)

History, Metaphors, and Fables collects the central writings by Hans Blumenberg and covers topics such as on the philosophy of language, metaphor theory, non-conceptuality, aesthetics, politics, and literary studies. This landmark volume demonstrates Blumenberg's intellectual breadth and gives an overview of his thematic and stylistic range over four decades. Blumenberg's early philosophy of technology becomes tangible, as does his critique of linguistic perfectibility and conceptual thought, his theory of history as successive concepts of reality", his anthropology, or his studies (...) of literature. History, Metaphors, Fables allows readers to discover a master thinker whose role in the German intellectual post-war scene can hardly be overestimated. (shrink)

The Hans Reichenbach Papers comprise published and unpublished manuscripts, lectures, correspondence, photographs, drawings, and related materials from his early student days until his death. The correspondence contains about 9000 pages to and from Reichenbach; it ranges over his entire career. Those with whom Reichenbach maintained lifelong contact include Rudolf Carnap, Ernst Cassirer, Herbert Feigl, Philip Frank, Carl Hempel, Sidney Hook, Paul Oppenheim and Wolfgang Pauli. In addition, there is significant correspondence with von Astor, Bergmann, Bertalanffy, Dingler, Dubislav, Einstein, Fraenkel, (...) Frank, Freundlich, Grelling, Grünbaum, Paul Hertz, Hutten, Jordan, Landé, von Laue, Lewin, C.I. Lewis, Charles Morris, Nagel, Neurath, Northrop, Planck, Quine, Regener, Rougier, Salmon, Schillp, Schlick, Scholz, Schrödinger, Martin Strauss, Tarski, Vaihinger, Weiss, Williams, Zawarski, and Zilsel. The correspondence provides a valuable source of information about Reichenbach’s personal and philosophical development. It also provides primary source material for research into one of the 20th century most influential philosophical movements. Reichenbach’s manuscripts include many of his own notes as a student. Some go as far back as his university days in science and mathematics. Some of the most significant of these notes are those taken by him as a student of Albert Einstein on the special and general theories of relativity. There are four such notebooks dating from 1918. In addition there are his student notes on astronomy, Planck and electricity, Hilbert’s “Statistical Mechanics” and “Problems and Principles.” He also kept many of his lecture notes from Germany, Turkey, and the United States. The number of lectures runs to over 100 and provides a glimpse into the problems of philosophy and how he presented them to his students. Many of his lectures discussed principles of radio and issues in philosophy and modern science, often in form of popularizations of questions in relativity and quantum theory delivered on radio programs for a wider audiences. In addition to this there are an abundance of notes, calculations, and diagrams used to draft both published and unpublished papers. (shrink)

Hans Albert ist der Hauptvertreter des Kritischen Rationalismus und einer der einflussreichsten Wissenschaftslehrer im deutschen Sprachraum. Seine interdisziplinar angelegten Arbeiten beschaftigen sich mit den Grundlagen der Sozialwissenschaften und der Bedeutung kritisch-rationalen Denkens fur die sozialwissenschaftliche Theorie und Praxis. Der vorliegende Band enthalt Texte fuhrender Vertreter aus Philosophie, Soziologie, Religionswissenschaft und Jurisprudenz, die sich mit den Positionen Alberts im Kontext ihres eigenen Fachgebiets beschaftigen.

We publish here the letters between Gadamer and Ricoeur, as they are found in the Archives of the two philosophers (Gadamer-Archiv in Marbach and Fonds Ricoeur in Paris). Starting from February 1964 and ending on October 2000, the thirty-five letters reproduced here cannot give a complete picture of their much richer correspondence and relations, because it seems that neither Ricoeur, nor Gadamer kept all the letters they received from one another. But altogether, they document their common concerns, their mutual respect, (...) even their intellectual solidarity and finally the particular context that brought them to write to one another, i.e. Ricoeur’s intention to publish a translation of Gadamer’s book, Truth and Method, in a new series he edited for the Seuil Publisher. This publishing and translation project will mark their entire correspondence. (shrink)

Das Buch gibt einen Überblick über die Arbeiten von Hans Albert und behandelt ausgewählte Konsequenzen seines Werks für die Philosophie des Kritischen Rationalismus und ihre Anwendungen in Gebieten der Soziologie, Wirtschaftswissenschaften, Rechtswissenschaften und weiteren Wissenschaften.

This volume provides the first English translation of Hans Kelsen's and Carl Schmitt's influential Weimar-era debate on constitutional guardianship and the legitimacy of constitutional review. It includes Kelsen's seminal piece, 'The Nature and Development of Constitutional Adjudication', as well as key extracts from the 'Guardian of the Constitution' which present Schmitt's argument against constitutional review. Also included are Kelsen's review of Schmitt's 'Guardian of the Constitution', as well as some further material by Kelsen and Schmitt on presidential dictatorship under (...) Article 48 of the Weimar Constitution. These texts show Kelsen and Schmitt responding to one another, in the context of a debate focused on a concrete constitutional crisis, thus allowing the reader to assess the plausibility of Kelsen's and Schmitt's legal and constitutional theories. (shrink)