Imagination has recently attracted considerable attention from epistemologists and is recognized as a source of belief and even knowledge. One remarkable feature of imagination is that it is often and typically agentive: agents decide to imagine. In cases in which imagination results in a belief, the agentiveness of imagination may be taken to give rise to indirect doxastic control and epistemic responsibility. This observation calls for a proper understanding of agentive imagination. In particular, it calls for the development of a (...) semantics of imagination ascriptions. In the present paper an earlier suggestion by Ilkka Niiniluoto for a logic of imagination is considered. This proposal does not capture the agentive nature of imagination, and an alternative semantics is suggested. The new semantics combines the modal logic of agency with the neighbourhood semantics from alethic modal logic. (shrink)

In this paper, Graham Priest’s understanding of dialetheism, the view that there exist true contradictions, is discussed, and various kinds of metaphysical dialetheism are distinguished between. An alternative to dialetheism is presented, namely a thesis called ‘dimathematism’. It is pointed out that dimathematism enables one to escape a slippery slope argument for dialetheism that has been put forward by Priest. Moreover, dimathematism is presented as a thesis that is helpful in rejecting the claim that logic is a normative discipline.

In this paper, we shall consider the so-called cancellation view of negation and the inferential role of contradictions. We will discuss some of the problematic aspects of negation as cancellation, such as its original presentation by Richard and Valery Routley and its role in motivating connexive logic. Furthermore, we will show that the idea of inferential ineffectiveness of contradictions can be conceptually separated from the cancellation model of negation by developing a system we call qLPm, a combination of Graham Priest’s (...) minimally inconsistent Logic of Paradox with q-entailment as introduced by Grzegorz Malinowski. (shrink)

This chapter is concerned with logical aspects of negation, i.e. with the role of negation in valid inferences and hence with the contribution negation makes to the truth and falsity conditions of declarative expressions. Negation is an important philosophical and logical concept. Often differences between logical systems can ‐ at least partially ‐ be described as differences between the notions of negation used in these logics.

In this paper it is suggested to generalize our understanding of general (structural) proof theory and to consider it as a general theory of two kinds of derivations, namely proofs and dual proofs. The proposal is substantiated by (i) considerations on assertion, denial, and bi-lateralism, (ii) remarks on compositionality in proof-theoretic semantics, and (iii) comments on falsification and co-implication. The main formal result of the paper is a normal form theorem for the natural deduction proof system N2Int of the bi-intuitionistic (...) logic 2Int. The proof makes use of the faithful embedding of 2Int into intuitionistic logic with respect to validity and shows that conversions of dual proofs can be sidestepped. (shrink)

This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been extremely influential in the development of modern proof theory and anti-realistic semantics. In particular, Prawitz is the main author on natural deduction in addition to Gerhard Gentzen, who defined natural deduction in his PhD thesis published in 1934. The book opens with an (...) introductory paper that surveys Prawitz's numerous contributions to proof theory and proof-theoretic semantics and puts his work into a somewhat broader perspective, both historically and systematically. Chapters include either in-depth studies of certain aspects of Dag Prawitz's work or address open research problems that are concerned with core issues in structural proof theory and range from philosophical essays to papers of a mathematical nature. Investigations into the necessity of thought and the theory of grounds and computational justifications as well as an examination of Prawitz's conception of the validity of inferences in the light of three “dogmas of proof-theoretic semantics” are included. More formal papers deal with the constructive behaviour of fragments of classical logic and fragments of the modal logic S4 among other topics. In addition, there are chapters about inversion principles, normalization of proofs, and the notion of proof-theoretic harmony and other areas of a more mathematical persuasion. Dag Prawitz also writes a chapter in which he explains his current views on the epistemic dimension of proofs and addresses the question why some inferences succeed in conferring evidence on their conclusions when applied to premises for which one already possesses evidence. (shrink)

It is shown that every displayable propositional logic enjoys strong cut-elimination. This result strengthens Belnap's general cut-elimination theorem for Display Logic.

Bücher zählen bis heute zu den wichtigsten kulturellen Errungenschaften der Menschheit. Ihre Erfindung war mit der Einführung des Buchdrucks ähnlich bedeutsam wie des Internets: Erstmals wurde eine massenweise Weitergabe von Informationen möglich. Bildung, Wissenschaft, Forschung, aber auch die Unterhaltung wurde auf neuartige, technisch wie inhaltlich revolutionäre Basis gestellt. Bücher verändern die Gesellschaft bei heute. Die technischen Möglichkeiten des Massen-Buchdrucks führten zu einem radikalen Zuwachs an Titeln im 18. Und 19 Jahrhundert. Dennoch waren die Rahmenbedingungen immer noch ganz andere als heute: (...) Wer damals ein Buch schrieb, verfasste oftmals ein Lebenswerk. Dies spiegelt sich in der hohen Qualität alter Bücher wider. Leider altern Bücher. Papier ist nicht für die Ewigkeit gemacht. Daher haben wir es uns zur Aufgabe gemacht, das zu Buch gebrachte Wissen der Menschheit zu konservieren und alte Bücher in möglichst hoher Qualität zu niedrigen Preisen verfügbar zu machen. (shrink)

This conflict can be interpreted in both religious and nonreligious ways. However, some intellectuals have identified a common thread parallel to the theological axis. The research study determines the role of existential philosophy in the contemporary religious beliefs. They have interpreted this contradiction as the conflict between our current selves and aspirations. Recognizing our animality and the role that such creatures play in the world is a requirement of our rational side. You may guarantee a well-attended eulogy by eating well, (...) exercising, not being a burden, helping out where you can, raising the next generation, and leaving the area essentially as you found it when it's time to leave. We must deal with this since it is who we are and what we are at our core. However, to be human means to be unhappy with this chilly, conventional assessment. As human beings, we possess the capacity to make decisions that influence our potential. Our destiny is not predetermined and that we can use our willpower to slightly warm the universe's unbreakable laws so that we can bend and shape them into the things we want. In the end, the cosmos prevails, yet we try to become rather than just exist during our brief existence. In the ongoing struggle against finitude, we strive for transcendence. The general framework has secular and strong religious proponents, and this view has been widely referred to as existentialist. (shrink)

PREFACE TO THE FIRST FEENCH EDITION. WHEN the Emperor Otho IIL visited the tomb in which had reposed for many years the mortal remains of Charlemagne, ...

Herophilus, a contemporary of Euclid, practiced medicine in Alexandria in the third century B.C., and seems to have been the first Western scientist to dissect the human body. He made especially impressive contributions to many branches of anatomy and also developed influential views on many other aspects of medicine. Von Staden assembles the fragmentary evidence concerning one of the more important scientists of ancient Greece. Part 1 of the book presents the Greek and Latin texts accompanied by English translation and (...) interpretative commentary. Significant background information is given in the introductory essay preceding each chapter. Part 2 briefly sketches the major developments within the Herophilean school after Herophilus, and discusses the individual members within it. Anyone interested in the history of science, the history of medicine, or intellectual history will find this book a rich source of information about an unusual and important aspect of Greek culture. (shrink)

The book sets out to determine political philosophy as a philosophic concept and to test it face to face with the challenge posed by revealed Religion.

Excerpt from Die Religionsphilosophie des als-Ob: Eine Nachprufung Kants und des Idealistischen Positivismus Der theologischen Fakultat der Berliner Universitat uberreiche ich diese Blatter als Ausdruck des ehrerbietigsten Dankes fur die mir am 15. Dezember 1917 verliehene theologische Doktorwurde. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst (...) repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works. (shrink)

Einführende Bemerkungen zu einem umstrittenen Begriff.

References to God. Some Remarks by Wittgenstein on Religion in the Years 1949 – 51. After a brief overview of Wittgenstein's stock of remarks on the subject of religion from 1949 – 1951, this article will focus on two particular points: (1) supposedly nonsensical conceptions of God, for instance in the context of proofs of God, (2) definitions of the term ”God” by hinting at something. Connections between (1) and (2) both systematically and exegetically within the framework of Wittgenstein's remarks (...) are made. Ich danke Anja Weiberg für sehr hilfreiche Kommentare. (shrink)

Czy eutanazja gwałci prawo do życia ("the right to life")? Odpowiedź na to pytanie zależy od rozumienia terminu "prawo do życia". Autor, odwołując się do pojęcia uprawnienia i typologii uprawnień, zaproponowanej przez Stiga oraz Helle Kanger, wyróżnia i analizuje w kategoriach formalnologicznych cztery rozumienia tego terminu. Każdemu z nich odpowiada odmienne stanowisko w sprawie dopuszczalności eutanazji. Pierwszym z tych stanowisk jest "mocna doktryna świętości życia", według której prawu do życia towarzyszy obowiązek przedłużania życia za pomocą wszelkich możliwych środków. Eutanazja zatem, (...) według zwolenników tego stanowiska, jest niedopuszczalna pod żadną postacią. Takie zdecydowane odrzucenie eutanazji stoi w sprzeczności z zasadą szacunku dla autonomii pacjenta oraz zasadą niezadawania zbędnego cierpienia (the principle of nonmaleficence). Uwzględnienie tych dwóch zasad prowadzi do modyfikacji powyższego stanowiska, w wyniku czego otrzymujemy "słabą doktrynę świętości życia". Według tego stanowiska dopuszczalna jest pod pewnymi warunkami eutanazja bierna, czyli zaniechanie leczenia czy też podtrzymywania życia pacjenta. Odmienne stanowisko od zwolenników doktryny świętości życia w obu jej odmianach zajmują zwolennicy liberalnego podejścia do eutanazji. Tutaj także możemy wyróżnić dwa stanowiska. Według słabego stanowiska liberalnego, w pewnych warunkach dopuszczalne moralnie jest popełnienie samobójstwa, niemniej jednak ściśle zakazana jest pomoc osób trzecich w samobójstwie, jak też pozbawienie z rozmysłem życia drugiej osoby na jej własną prośbę. Mocne liberalne stanowisko uznaje za moralnie dopuszczalną pomoc w samobójstwie czy też pozbawienie z rozmysłem życia drugiej osoby na jej własną prośbę. Innymi słowy, za moralnie dopuszczalną uznaje eutanazję czynną. (shrink)

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

This book is about the conceptual foundations of an intermediate way between liberalism and socialism: a synthesis of classical and Keynesian political economy. Classical theory deals with proportions between individuals or collectives and society in tackling problems of distribution and value. Keynesian theory is concerned with the scale of economic activity as explained by effective demand. The economy considered is primarily a monetary production economy, not a market or a planned economy. The author sets up a system linking political economy (...) with other social sciences, i.e. sociology, law and politics in the traditional sense, thus establishing the unity of the social sciences. To complete the picture, issues of method associated with the theory of knowledge in the social sciences and the problem of linking theory with historical reality are also covered. (shrink)