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)

Excerpt from Die Prinzipien der Mechanik in Neuem Zusammenhange Dargestellt Wahl eines Berufs entschliefsen mufste, wahlte er den des Ingenieurs. Es scheint, dafs die auch in spateren Jahren als ein charakteristischer Grundzug seines Wesens hervor tretende Bescheidenheit ihn an seiner Begabung fur theore tische Wissenschaft zweifeln liefs, und dafs er sich bei der Beschaftigung mit seinen geliebten mechanischen Arbeiten des Erfolges sicherer fuhlte, weil er deren Tragweite schon damals ausreichend verstand. Vielleicht hat ihn auch die in seiner Vaterstadt herrschende, mehr (...) dem Praktischen zugeneigte Sinnesweise beeinflufst. Ubrigens beobachtet man nicht selten diese Art zaghafter Bescheidenheit gerade bei jungen Leuten von hervorragenden Anlagen. Sie haben wohl eine deutliche Vorstellung von den Schwierigkeiten, die vor der Erreichung des ihnen vorschwebenden hohen Zieles zu uberwinden sind, und mussen ihre Krafte erst praktisch erprobt haben, ehe sie das zu ihrem schweren Werke notige Selbstvertrauen ge winnen. Aber auch in ihrer spateren Entwickelung pflegen reich veranlagte Naturen um so unzufriedener mit ihren eigenen Werken zu sein je hoher ihre Fahigkeiten und ihre Ideale reichen. Die Begabtesten erreichen offenbar nur des halb das Hochste, weil sie am empfindlichsten gegen jede Un vollkommenheit sind, und am unermudlichsten an deren Beseitigung arbeiten. 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)

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.

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)

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)

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

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.

The article presents the catechumenal theology of St. Ambrose and St. Augustine, highlighting in the former, four elements proper to the baptismal itinerary of Milan, such as the agonistic character of the baptismal preparation, the biblical catechesis related to the biblical characters of the Old Testament, the virtues and the rite of the Effetá. Thirdly, the importance of the Traditio Symboli in Milan with its theology is highlighted, and finally the secret that St. Ambrose kept on the rites of Christian (...) initiation, in order to arise curiosity in those who were going to receive them. Subsequently, the theology of two rites belonging to the Easter Vigil, namely, the washing of the feet and the post-baptismal anointing with myrum, is discussed. The second part of the article, presents the Augustinian theology of the catechumenate, stressing three elements of the catechumenal process, namely, the fasting and other ascetic practices, the traditio symboli and the traditio orationis. On the post-baptismal rites the article emphasises the Eucharistic catechesis preached on Easter Sunday with its special characteristics and the final procession that was done on the last day of the Easter Week to a memoria martyrum. (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"--.

Le mot rythme est entré dans le vocabulaire esthétique allemand au milieu des années 1760. Son emploi est alors devenu nettement plus fréquent et a cessé d'apparaître comme un emprunt au grec. Une fois acclimaté dans la théorie allemande des arts du déroulement dans le temps ou arts diachroniques, il a assumé la fonction de terme technique plus ou moins pointu — quelquefois très pointu —, auquel ont été attribués trois types de sens. En premier lieu, il pouvait - XVIIIe (...) siècle – Nouvel article. (shrink)