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)

Neuroenhancement involves the use of neurotechnologies to improve cognitive, affective or behavioural functioning, where these are not judged to be clinically impaired. Questions about enhancement have become one of the key topics of neuroethics over the past decade. The current study draws on in-depth public engagement activities in ten European countries giving a bottom-up perspective on the ethics and desirability of enhancement. This informed the design of an online contrastive vignette experiment that was administered to representative samples of 1000 respondents (...) in the ten countries and the United States. The experiment investigated how the gender of the protagonist, his or her level of performance, the efficacy of the enhancer and the mode of enhancement affected support for neuroenhancement in both educational and employment contexts. Of these, higher efficacy and lower performance were found to increase willingness to support enhancement. A series of commonly articulated claims about the individual and societal dimensions of neuroenhancement were derived from the public engagement activities. Underlying these claims, multivariate analysis identified two social values. The Societal/protective highlights counter normative consequences and opposes the use enhancers. The Individual/proactionary highlights opportunities and supports use. For most respondents these values are not mutually exclusive. This suggests that for many neuroenhancement is viewed simultaneously as a source of both promise and concern. (shrink)

Neuroenhancement involves the use of neurotechnologies to improve cognitive, affective or behavioural functioning, where these are not judged to be clinically impaired. Questions about enhancement have become one of the key topics of neuroethics over the past decade. The current study draws on in-depth public engagement activities in ten European countries giving a bottom-up perspective on the ethics and desirability of enhancement. This informed the design of an online contrastive vignette experiment that was administered to representative samples of 1000 respondents (...) in the ten countries and the United States. The experiment investigated how the gender of the protagonist, his or her level of performance, the efficacy of the enhancer and the mode of enhancement affected support for neuroenhancement in both educational and employment contexts. Of these, higher efficacy and lower performance were found to increase willingness to support enhancement. A series of commonly articulated claims about the individual and societal dimensions of neuroenhancement were derived from the public engagement activities. Underlying these claims, multivariate analysis identified two social values. The Societal/Protective highlights counter normative consequences and opposes the use enhancers. The Individual/Proactionary highlights opportunities and supports use. For most respondents these values are not mutually exclusive. This suggests that for many neuroenhancement is viewed simultaneously as a source of both promise and concern. (shrink)

Overtreatment is when medical or dental services are provided with a higher volume or cost than is appropriate. This study aimed to investigate how a group of dentists in Switzerland, a wealthy country known to have high standards of healthcare including dentistry, evaluated the meaning of unnecessary treatments from an ethical perspective and, assessed the expected frequency of different possible behaviors among their peers.

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)

Drawing on a rich digitalized corpus of early modern texts, Hans-Juergen Diller argues that the concepts expressed by the English words >passion emotion emotion passion emotion<. But there are two concepts of a concept. According to the first, the meaning of a word expressing a concept is not sharply distinguished from the complete discourse in which it figures. According to the second, meaning is more narrow. For instance, it is restricted to the explicit definition an author provides. I show (...) that Descartes provides an explicit definition of passion and emotion in purely physical, a-moral terms. So Diller's method is not apt to trace concepts in the second, more restricted sense which Descartes himself has in mind. (shrink)

Albert approaches critical rationalism as an alternative to other philosophical standpoints dominant in Germany: the conceptions of the Frankfurt School, hermeneutical thinking as represented by Gadamer, analytic philosophy, and logical empiricism. The author's purpose is to find a way out of the foundationalism of classical philosophy without falling back on the skeptical views so prevalent in today's philosophical thinking. Originally published in 1985. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the (...) distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also offers exercises with answers. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included. A companion web page offers slides for lecturers and exams for further practice.

Selling science has become a common practice in contemporary universities. This commodification of academia pervades many aspects of higher education, including research, teaching, and administration. As such, it raises significant philosophical, political, and moral challenges. This volume offers the first book-length analysis of this disturbing trend from a philosophical perspective and presents views by scholars of philosophy of science, social and political philosophy, and research ethics. The epistemic and moral responsibilities of universities, whether for-profit or nonprofit, are examined from several (...) philosophical standpoints. The contributors discuss the pertinent epistemological and methodological questions, the sociopolitical issues of the organization of science, the tensions between commodified practices and the ideal of “science for the public good,” and the role of governmental regulation and personal ethical behavior. In order to counter coercive and corruptive influences of academic commodification, the contributors consider alternatives to commodified research and offer practical recommendations for establishing appropriate research standards, methodologies and institutional arrangements, and a corresponding normative ethos. (shrink)

Since the late 1980s, the neglect of experiment by philosophers and historians of science has been replaced by a keen interest in the subject. In this volume, a number of prominent philosophers of experiment directly address basic theoretical questions, develop existing philosophical accounts, and offer novel perspectives on the subject, rather than rely exclusively on historical cases of experimental practice. Each essay examines one or more of six interconnected themes that run throughout the collection: the philosophical implications of actively and (...) intentionally interfering with the material world while conducting experiments; issues of interpretation regarding causality; the link between science and technology; the role of theory in experimentation involving material and causal intervention; the impact of modeling and computer simulation on experimentation; and the philosophical implications of the design, operation, and use of scientific instruments. (shrink)

Introduces contemporary American philosophy of technology through six of its leading figures. The six American philosophers of technology whose work is profiled in this clear and concise introduction to the field—Albert Borgmann, Hubert Dreyfus, Andrew Feenberg, Donna Haraway, Don Ihde, and Langdon Winner—represent a new, empirical direction in the philosophical study of technology that has developed mainly in North America. In place of the grand philosophical schemes of the classical generation of European philosophers of technology, the contemporary American generation addresses (...) concrete technological practices and the co-evolution of technology and society in modern culture. Six Dutch philosophers associated with Twente University survey and critique the full scope and development of their American colleagues’ work, often illustrating shifts from earlier to more recent interests. Individual chapters focus on Borgmann’s engagement with technology and everyday life; Dreyfus’s work on the limits of artificial intelligence; Feenberg’s perspectives on the cultural and social possibilities opened by technologies; Haraway’s conception of the cyborg and its attendant blurring of boundaries; Ihde’s explorations of the place of technology in the lifeworld; and Winner’s fascination with the moral and political implications of modern technologies. American Philosophy of Technology offers an insightful and readable introduction to this new and distinctly American philosophical turn. Contributors are Hans Achterhuis, Philip Brey, René Munnik, Martijntje Smits, Pieter Tijmes, and Peter-Paul Verbeek. (shrink)

Rahat Naqvi and Hans Smits' edited collection, "Thinking about and Enacting Curriculum in 'Frames of War'" is centered on the theme of how the current global order creates precarious conditions for human life. The contributors respond to the challenges Judith Butler posed about the fragility of life and questions about how we apprehend, and take up ethically, our responsibilities for those who are considered "Other." The overarching objective of the book is the meaning of a call to ethics, and (...) how discussion of framing and frames is a provocation to think about our responsibilities as curriculum scholars and practitioners"-- Provided by publisher. (shrink)

In recent years, the relation between studying and learning has been a topic of debate. This article is mainly interested in a concept of study practices, conceived of as practices that are strongly engaged with issues of living together in a superdiverse city. Such practices firstly require to think the relation between studying and learning in other-than-oppositional terms, and secondly, to raise questions concerning the political role of education. The aim of the article is double in that it wants to (...) further elaborate the concept of study practices in relation to a concrete practice on the one hand, and, on the other, that it has the objective to rethink in educational terms the notion of solidarity—deeply entwined with matters of living together in superdiversity. These aims are pursued based on an analysis of the study practice of System_D, a film festival in the disadvantaged neighborhoods of Brussels, drawing on the work of Isabelle Stengers and Donna Haraway. (shrink)

Arbitrary public announcement logic ) reasons about how the knowledge of a set of agents changes after true public announcements and after arbitrary announcements of true epistemic formulas. We consider a variant of arbitrary public announcement logic called positive arbitrary public announcement logic ), which restricts arbitrary public announcements to announcement of positive formulas. Positive formulas prohibit statements about the ignorance of agents. The positive formulas correspond to the universal fragment in first-order logic. As two successive announcements of positive formulas (...) need not correspond to the announcement of a positive formula, \ is rather different from \. We show that \ is more expressive than public announcement logic \, and that \ is incomparable with \. We also provide a sound and complete infinitary axiomatisation. (shrink)

Several philosophers of science have claimed that the correspondence principle can be generalized from quantum physics to all of (particularly physical) science and that in fact it constitutes one of the major heuristical rules for the construction of new theories. In order to evaluate these claims, first the use of the correspondence principle in (the genesis of) quantum mechanics will be examined in detail. It is concluded from this and from other examples in the history of science that the principle (...) should be qualified with respect to its nature and relativized with respect to its scope of application. At the same time this conclusion implies a qualification and a relativization of the heuristic power of the principle. Generally speaking, intertheoretical correspondence is primarily of a formal-mathematical and empirical but not of a conceptual nature. Moreover, it only applies to certain parts of the theories involved. Finally, a number of philosophical justifications of the principle are discussed and some conclusions are drawn concerning the debates on theory reduction and on the discovery-justification distinction. (shrink)

Die folgende Untersuchung ist eine Antwort auf die Frage nach dem Ort des 'Irrationalisten' Johann Gottfried Herder innerhalb des Kontinuums der Aufklärung. Aus dem Inhalt: I. Ästhetik als Desiderat der Gnoseologie A. Gottfried Wilhelm Leibniz B. Christian Wolff C. Alexander Gottlieb Baumgarten II. Herders Ästhetik-Kritik A. Herders Kritik der Philosophie der "Wortwelten" B. Herders Auseinandersetzung mit Baumgarten III. Herders Ästhetik-Entwurf A. Zum Konzept der Prägnanz B. Haptik und Skulptur, Optik und Malerei C. Poesie - Phantasie und Dichtungsvermögen IV. Herders Entwurf (...) einer Geschichtsphilosophie A. Der Status der Geschichtsphilosophie B. Aisthesis und Geschichte. (shrink)

This major work by the German philosopher Hans Blumenberg is a monumental rethinking of the significance of the Copernican revolution for our understanding of modernity.

In this article, I put forward a basic philosophical claim: empirical scientific knowledge, that is, knowledge generated in experimental and observational practices, presupposes real causation. My discussion exploits two core notions from the philosophical analysis of scientific experimentation and observation: the aim of realizing object-apparatus correlations and the required control of the relevant interactions between environment and experimental or observational system. The conclusion is that, without the notion of real causation, acquiring epistemically sound empirical knowledge is impossible. Several empiricist objections (...) to this conclusion are discussed and refuted. As a consequence, empiricism faces an unsolvable dilemma: either it cannot account for empirical knowledge or it should accept the existence of unobservable but real causal interactions. (shrink)

1947 legt Hans Blumenberg aus Bargteheide in Holstein an der Christian-Albrechts-Universität zu Kiel seine unter schwierigsten persönlichen Umständen entstandene Dissertation 'Beiträge zum Problem der Ursprünglichkeit der mittelalterlich-scholastischen Ontologie" vor. Hinter diesem Titel verbirgt sich eine mit ständigem Bezug auf die Philosophie Heideggers und seine "Fundamentalontologie' geführte Auseinandersetzung mit dem Denken des christlichen Mittelalters, in dem die Frage nach dem Grund des Seins eine so krisenhafte wie produktive Zuspitzung erfahren hatte. Die Dissertation wird von den Gutachtern Ludwig Landgrebe und Rudolf (...) Schneider mit "ausgezeichnet" bewertet, aber sämtliche Bemühungen, zeitnah einen Verlag für die Arbeit zu finden, scheitern. Blumenbergs brillantes Erstlingswerk blieb mehr als 70 Jahre ungedruckt. Nun wird es erstmals publiziert in einer leserorientierten Edition, die unter anderem Übersetzungen der zahlreichen altsprachlichen Zitate wie auch ein "Verzeichnis der Referenzliteratur" bietet, das die Lücke des im Original fehlenden Literaturverzeichnisses schliesst und dieses darüber hinaus durch heute zugängliche Ausgaben ergänzt. In ihrem Nachwort beleuchten die Herausgeber den Entstehungskontext dieses Werks, das überraschende Perspektiven auf Blumenbergs Biographie und Denkentwicklung eröffnet. (shrink)

Religious Faith and Criticism of Religion of Enlightenment. Restrictions of the Use of Reason in the Light of Critical Philosophy. In the this paper I analyse the present problem situation of the christian faith with respect to the assumption of the existence of God and the role of Jesus and I criticize the problem-solutions offered by Bultmann, Ratzinger, Küng and Habermas. I try to show that all these solutions imply a similar arbitrary restriction of the use of reason.

Presents theses about the history of linguistics, from John Locke to Ferdinand de Saussure, and reflects on language generally in the period from the 17th to the 19th century.

In 1890 C. S. Peirce wrote a review of A. C. Fraser’s recent book on Locke, published to coincide with the bicentennial of Locke’s Essay. Peirce remarked that “Locke’s grand work was substantially this: Men must think for themselves, and genuine thought is an act of perception…. We cannot fail to acknowledge a superior element of truth in the practicality of Locke’s thought, which on the whole should place him nearly upon a level with Descartes.” This estimate of Locke was (...) not the common opinion in England during the nineteenth century. This opinion was reflected in Fraser’s book which, Peirce remarked, could not “be said to be a sympathetic account of [Locke]. The biographer seems to see no charm in his hero, and is perpetually speaking of his want of imagination; which only means he was not given to unpractical dreaming.” Locke had his knowledgeable critics and defenders—for instance Dugald Stewart and John Stuart Mill—but the common opinion ranged from extreme hostility and contempt to condescending criticism of isolated minor points. His style was deplored, his philosophy was called unoriginal and a mere unacknowledged plagiarism of Gassendi and Hobbes; he was said to have so thoroughly misunderstood Descartes that he had merely repeated him with new errors; he was said to owe his philosophical reputation entirely to his advocacy of the popular argument for political freedom or merely to the intellectual circumstances of his time; he was held accountable for Condillac’s rejection of reflection and reason; he was knocked down with a few bare sentences loosely drawn from Leibniz; he was said to have made the mind a puny, passive, mechanical thing. He was called a sensualist, a materialist, a sceptic, an atheist, and a utilitarian though at the same time—and not without contradiction—he was generally, especially by his critics, styled a “great lover of truth,” a plain and simple, well-meaning and religious man. To the nineteenth century Locke meant the Essay, and the history of the Essay was in large measure the history of modern thought, of the eighteenth century. Precisely for this reason there was something nearly sinister about him, in spite of his good personal character. “Locke, himself a clear, humble-minded, patient, reverent, nay, religious man,” said Carlyle, “had paved the way for banishing religion from the world.”. (shrink)

The commodification of science—often identified with commercialization, or the selling of expertise and research results and the “capitalization of knowledge” in academia and beyond—has been investigated as a threat to the autonomy of science and academic culture and criticized for undermining the social responsibility of modern science. In From Commodification to the Common Good, Hans Radder revisits the commodification of the sciences from a philosophical perspective to focus instead on a potential alternative, the notion of public-interest science. Scientific knowledge, (...) he argues, constitutes a common good only if it serves those affected by the issues at stake, irrespective of commercial gain. Scrutinizing the theory and practices of scientific and technological patenting, Radder challenges the legitimacy of commercial monopolies and the private appropriation and exploitation of research results. His book invites us to reevaluate established laws and to question doctrines and practices that may impede or even prohibit scientific research and social progress so that we might achieve real and significant transformations in service of the common good. (shrink)

Voici la traduction du second ouvrage de Hans Vaihinger (1852-1833), dont la première édition date de 1902. Son titre, _Nietzsche philosophe_, est anodin pour le lecteur d’aujourd’hui. Or il pouvait choquer au début du xx e siècle. Nietzsche n’était pas encore reconnu comme un authentique philosophe, c’est-à-dire, à l’époque, comme l’auteur d’un système philosophique. Dès 1879, Alois Riehl lui avait consacré un essai intitulé : _Friedrich Nietzsche. Der Künstler und der Denker. Ein Essay_. En 1902, Rudolf Eisler avait publié (...) un ouvrage sur sa métaphysique et sa théorie de la connaissance : _Nietzsche’s Erkenntnistheorie und Metaphysik_. À la différence de ces deux auteurs, Vaihinger est le premier à présenter l’ensemble de la pensée de Nietzsche de manière systématique, à partir de son noyau central, montrant ainsi qu’on peut le considérer et l’étudier comme un authentique philosophe. Le néokantisme de Vaihinger se manifeste notamment dans sa critique de la hiérarchie établie par Nietzsche... (shrink)

Condillac's Essay on the Origin of Human Knowledge, first published in French in 1746 and offered here in a new translation, represented in its time a radical departure from the dominant conception of the mind as a reservoir of innately given ideas. Descartes had held that knowledge must rest on ideas; Condillac turned this upside down by arguing that speech and words are the origin of mental life and knowledge. He argued, further, that language has its origin in human interaction (...) and in our natural capacity to react spontaneously and instinctively to the expression of emotions and states of mind in others. The importance of this pointedly anti-Cartesian view, and its relevance to both aesthetics and epistemology, were quickly understood, and Condillac's work influenced many later philosophers including Herder, Rousseau, and Adam Smith. His conception also anticipated Wittgenstein's view of language, its usage, and its relation to mind and thought. (shrink)

Condillac's Essay on the Origin of Human Knowledge, first published in French in 1746 and offered here in a new translation, represented in its time a radical departure from the dominant conception of the mind as a reservoir of innately given ideas. Descartes had held that knowledge must rest on ideas; Condillac turned this upside down by arguing that speech and words are the origin of mental life and knowledge. He argued, further, that language has its origin in human interaction (...) and in our natural capacity to react spontaneously and instinctively to the expression of emotions and states of mind in others. The importance of this pointedly anti-Cartesian view, and its relevance to both aesthetics and epistemology, were quickly understood, and Condillac's work influenced many later philosophers including Herder, Rousseau, and Adam Smith. His conception also anticipated Wittgenstein's view of language, its usage, and its relation to mind and thought. (shrink)