Gehen zu können, wenn man will – das ist für viele Menschen eine Kurzformel für Freiheit. Wegzugehen bedeutet in vielen Fällen aber auch einen verlustreichen Abschied von Personen und einer gemeinsamen Lebenspraxis. Die Freiheit zu gehen ist deshalb vor allem als Option wichtig, von der wir Gebrauch machen können, aber nicht müssen. Ausstiegsoptionen sind ein wichtiger Bestandteil freiheitlicher Gesellschaften und Lebensformen. Oft sind sie mit Konflikten verbunden, wenn Freiheits- und Autonomiebestrebungen auf eingespielte Verbindlichkeiten und Abhängigkeiten treffen. Für jede Gesellschaft und (...) jede soziale Beziehung stellt sich daher die Frage, inwieweit und in welchen Bereichen Ausstiege zugelassen und unterstützt werden.Dieser Band bietet eine kontextübergreifende Analyse von Ausstiegsoptionen, sowohl ihrer generellen Aspekte als auch ihrer spezifischen Erscheinungsformen. Er ermöglicht es, ihre Bedeutung für eine freiheitliche Gesellschaft besser zu verstehen. Der Inhalt · ​Einleitung · Politische Ausstiege · Ausstiege aus persönlichen Beziehungen · Der Ausstieg aus dem Leben Die Herausgeber Prof. Dr. Simone Dietz lehrt Praktische Philosophie an der Heinrich-Heine-Universität Düsseldorf. Hannes Foth promoviert an der Heinrich-Heine-Universität Düsseldorf und ist Wissenschaftlicher Mitarbeiter am Institut für Medizingeschichte und Wissenschaftsforschung der Universität zu Lübeck. Svenja Wiertz hat an der Heinrich-Heine-Universität Düsseldorf promoviert und ist Wissenschaftliche Mitarbeiterin am Internationalen Zentrum für Ethik in den Wissenschaften der Universität Tübingen. (shrink)

ArgumentLinking up with recent studies on the experience of space and place in modern youth literature, this article analyzes how the “journey” as a narrative line and motif transformed Dutch early modern travel books for children from classical teaching instruments into explorative knowledge places. In the popular seventeenth-century Glorious and Fortunate Journey to the Holy Land, young readers were invited to travel within the book, which was presented as a place that covers material pages to observe as well as imagined (...) places to read about. Eighteenth-century travel books, for example written by Joachim Heinrich Campe, shifted from an inner to an empirical mode of travelling. They raised the suggestion that they offered unmediated observations and travel experiences, as if reading about places was equal to seeing places. Since travel literature facilitated active knowledge quisition among youngsters, but also left little room for autonomous innovations or different interpretations, this article reveals the emancipatory as well as restrictive character of such places of learning. By turning reading into a kind of travelling, travel books served as a substitute for travel. (shrink)

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, 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)

In a recent article, Mario Günther presented a conditional that is claimed to be connexive. The aim of this short discussion note is to show that Günther’s claim is not without problems.

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.

No detailed description available for "Negation".

A prominent issue in mainstream epistemology is the controversy about doxastic obligations and doxastic voluntarism. In the present paper it is argued that this discussion can benefit from forging links with formal epistemology, namely the combined modal logic of belief, agency, and obligation. A stit-theory-based semantics for deontic doxastic logic is suggested, and it is claimed that this is helpful and illuminating in dealing with the mentioned intricate and important problems from mainstream epistemology. Moreover, it is argued that this linking (...) is of mutual benefit. The discussion of doxastic voluntarism directs the attention of doxastic logicians to the notion of belief formation and thus to dynamic aspects of beliefs that have hitherto been neglected. The development of a formal language and semantics for ascriptions of belief formation may contribute to clarifying the contents and the implications of voluntaristic claims. A simple observation concerning other-agent nestings of stit-operators, for instance, may help illuminating the notions of making belief and responsibility for beliefs of others. In this way, stit-theory may serve as a bridge between mainstream and formal epistemology. (shrink)

Justification stit logic is a logic for reasoning about proving as a certain kind of activity, namely seeing to it that a proof is publicly available. It merges the semantical analysis of deliberatively seeing-to-it-that from stit theory and the semantics of the epistemic logic with justification from. In this paper, after recalling its language and basic semantical definitions, various ramifications and refinements of justification stit logic are presented and discussed: imposing natural restrictions upon the class of models under consideration, making (...) use of modalities that assert the existence of a proof, introducing a variant of justification stit logic based on a semantics introduced by M. Fitting, and adding variable-binding operators and extending the set of proof polynomials. (shrink)

Graham Priest takes the relation of identity to be non-transitive. In this paper, we are going to discuss several consequences of identity as a non-transitive relation. We will consider the Henkin-style completeness proof for classical first-order logic with a non-transitive “identity” predicate, Leibniz-identity in Priest’s second-order minimal logic of paradox, and the question whether or not identity of individuals should be defined as Leibniz-identity.

The paper provides a uniform Gentzen-style proof-theoretic framework for various subsystems of classical predicate logic. In particular, predicate logics obtained by adopting van Behthem''s modal perspective on first-order logic are considered. The Gentzen systems for these logics augment Belnap''s display logic by introduction rules for the existential and the universal quantifier. These rules for x and x are analogous to the display introduction rules for the modal operators and and do not themselves allow the Barcan formula or its converse to (...) be derived. En route from the minimal modal predicate logic to full first-order logic, axiomatic extensions are captured by purely structural sequent rules. (shrink)

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)

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)

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, ...

A theory of substructural negations as impossibility and as unnecessity based on bi-intuitionistic logic, also known as Heyting-Brouwer logic, has been developed by Takuro Onishi. He notes two problems for that theory and offers the identification of the two negations as a solution to both problems. The first problem is the lack of a structural rule corresponding with double negation elimination for negation as impossibility, DNE, and the second problem is a lack of correspondence between certain sequents and a characterizing (...) frame property. While the identification of negation as impossibility and negation as unnecessity does solve Onishi’s problems, in general it nevertheless seems desirable to keep the two notions separate. The present paper addresses the first problem by introducing a reformulation of Onishi’s display sequent calculus in a language of sequents that incorporates Boolean negation. Instead of identifying negation as impossibility and negation as unnecessity, a notion of weak frame correspondence is defined. It is observed that DNE weakly corresponds with a certain frame property, and two structural sequent rules are presented that together also weakly correspond with that frame property and allow one to derive DNE. Moreover, the reformulated display calculus has an independent motivation by considerations on proof-theoretic semantics. (shrink)

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)

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)

"Hermann Cohen war ein herausragender deutscher Philosoph und jüdischer Denker. In nahezu allen Bereichen seiner verzweigten Tätigkeit beeinflusste er das akademische, politische und religiöse Leben seiner Zeit. Aus Anlass des hundertsten Todestages Cohens am 4. April 2018 widmet sich der vorliegende Band Kontexten und Netzwerken, in die Cohen zeit seines Lebens eingebunden war"--.