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 will consider the existing notions of bilateralism in the context of proof-theoretic semantics and propose, based on our understanding of bilateralism, an extension to logical multilateralism. This approach differs from what has been proposed under this name before in that we do not consider multiple speech acts as the core of such a theory but rather multiple consequence relations. We will argue that for this aim the most beneficial proof-theoretical realization is to use sequent calculi with (...) multiple sequent arrows satisfying some specific conditions, which we will lay out in this paper. We will unfold our ideas with the help of a case study in logical tetralateralism and present an extension of Almukdad and Nelson’s propositional constructive four-valued logic by unary operations of meaningfulness and nonsensicality. We will argue that in sequent calculi with multiple sequent arrows it is possible to maintain certain features that are desirable if we assume an understanding of the meaning of connectives in the spirit of proof-theoretic semantics. The use of multiple sequent arrows will be justified by the presence of congruentiality-breaking unary connectives. (shrink)

In this paper non-normal worlds semantics is presented as a basic, general, and unifying approach to epistemic logic. The semantical framework of non-normal worlds is compared to the model theories of several logics for knowledge and belief that were recently developed in Artificial Intelligence (AI). It is shown that every model for implicit and explicit belief (Levesque), for awareness, general awareness, and local reasoning (Fagin and Halpern), and for awareness and principles (van der Hoek and Meyer) induces a non-normal worlds (...) model validating precisely the same formulas (of the language in question). (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.

The topic of identity of proofs was put on the agenda of general (or structural) proof theory at an early stage. The relevant question is: When are the differences between two distinct proofs (understood as linguistic entities, proof figures) of one and the same formula so inessential that it is justified to identify the two proofs? The paper addresses another question: When are the differences between two distinct formulas so inessential that these formulas admit of identical proofs? The question appears (...) to be especially natural if the idea of working with more than one kind of derivations is taken seriously. If a distinction is drawn between proofs and disproofs (or refutations) as primitive entities, it is quite conceivable that a proof of one formula amounts to a disproof of another formula, and vice versa. A notion of inherited identity of derivations is introduced for derivations in a cut-free sequent system for Almukdad and Nelson’s constructive paraconsistent logic N4 with strong negation. The notion is obtained by identifying sequent rules the application of which has no effect on the identity of derivations. Then the notion of inherited identity is used to define a bilateralist notion of synonymy between formulas, which is a relation drawing more fine-grained distinctions between formulas than strong equivalence. (shrink)

Connexive logic has room for two pairs of universal and particular quantifiers: one pair, |$\forall $| and |$\exists $|⁠, are standard quantifiers; the other pair, |$\mathbb{A}$| and |$\mathbb{E}$|⁠, are unorthodox, but we argue, are well-motivated in the context of connexive logic. Both non-standard quantifiers have been introduced previously, but in the context of connexive logic they have a natural semantic and proof-theoretic place, and plausible natural language readings. The results are logics that are negation inconsistent but non-trivial.

No detailed description available for "Negation".

Now you can learn from the original, most important source for magic in the Western world that has ever been published, when you get Agrippa'sThree Books of Occult Philosophy. This massive volume was originally published in 1531, and occultists have been drawing on it ever since. Now, Llewellyn is proud to produce the first complete reprint of the original English translation in the last 500 years. Donald Tyson edited this work and removed the hundreds of errors that appeared in the (...) original translation. He also fully annotated the work, to make it understandableand usableby people today. ·Discover what the Renaissance scholar knew about astrology, medicine, history, herbs, geography, animals, angels, devils, Witches, charms, the weather, and a host of other subjects ·Gain immediate reference to a vast amount of arcane, but completely annotated, magical material ·Find corrected drawings of seals, sigils, and magic squares, and correctly represented geomantic figures ·Explore the practical Kabbalah, geomancy, the magic squares, the elements, the humors, and the Soul of the World ·Consult the new Biographical dictionary for background on each of the hundreds of writers and historical figures referred to by Agrippa ·Consult the new Geographical Dictionary for data on referenced rivers, mountains, nations, citiesmany of which now carry different names. The Three Books of Occult Philosophy is the most complete repository of pagan and Neoplatonic magic ever compiled. This book is packed with material you will not find elsewhere, including copious extracts on magic from obscure or lost works by Pythagoras, Ptolemy, Plato, Aristotle, and many others. Tyson's detailed annotations clarify difficult references and provide origins of quotations, even expanding upon them in many cases, in order to make Agrippa's work more accessible to the modern reader. The Three Books of Occult Philosophy is the ultimate "how-to" for magical workings. It describes how to work all manner of divinations and natural and ceremonial magic in such clear and useful detail that it is stillthe guide for modern techniques. The extensive new supplementary material makes this wisdom practical for use today. The Three Books of Occult Philosophy is an essential reference tool for all students of the occult. Get your copy today. (shrink)

A version of strong negation is introduced into Categorial Grammar. The resulting syntactic calculi turn out to be systems of connexive logic.

Model-theoretic proofs of functional completenes along the lines of [McCullough 1971, Journal of Symbolic Logic 36, 15–20] are given for various constructive modal propositional logics with strong negation.

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (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)

Vernünfftige Gedancken von Gott, der Welt und der Seele des Menschen, auch allen Dingen überhaupt -- Christian Freyherrn von Wolf Erinnerung, wie er es künftig mit den Einwürfen halten will, die wider seine Schriften gemacht werden.

Anti-realistic conceptions of truth and falsity are usually epistemic or inferentialist. Truth is regarded as knowability, or provability, or warranted assertability, and the falsity of a statement or formula is identified with the truth of its negation. In this paper, a non-inferentialist but nevertheless anti-realistic conception of logical truth and falsity is developed. According to this conception, a formula (or a declarative sentence) A is logically true if and only if no matter what is told about what is told about (...) the truth or falsity of atomic sentences, A always receives the top-element of a certain partial order on non-ontic semantic values as its value. The ordering in question is a told-true order. Analogously, a formula A is logically false just in case no matter what is told about what is told about the truth or falsity of atomic sentences, A always receives the top-element of a certain told-false order as its value. Here, truth and falsity are pari passu , and it is the treatment of truth and falsity as independent of each other that leads to an informational interpretation of these notions in terms of a certain kind of higher-level information. (shrink)

Zusammensetzung des Körpers.--Die sinnliche Wahrnehmung.--Der Mikrokosmos (der Mensch eine kleine Welt)--Embryologie, Astrologie.--Die Theilseele.--Die Grenze des menschlichen Wissens.--Leben und Tod.--Schmerz und Lust.--Ton, Laut, Sprache.

Understanding Music summarizes Eggebrecht's thoughts on the relationship between music and cognition.

Heinrich Beck ist Jahrgang 1929, als o. Professor Inhaber des Lehrstuhls Philosophie I an der Otto-Friedrich-Universität Bamberg bis 1997, Titular- und Honorarprofessor an sechs weiteren Universitäten in Europa und in Amerika, Dr. h.c. in Buenos Aires, Mitglied der Europäischen Akademie der Wissenschaften und Künste, Korrespondierendes Mitglied der Königlichen Spanischen Akademie der Wissenschaften, Träger des deutschen Bundesverdienstkreuzes. Zentrum und Schlüssel seines philosophischen Denkens ist eine trinitarische Ontologie, die vor allem von Thomas von Aquin und Hegel inspiriert und zum christlichen Glauben (...) hin offen ist. Die von ihm in systematischen Analysen immer wieder aufgedeckte 3-gliedrige Bewegungsstruktur der Wirklichkeit unterscheidet und verbindet die einzelnen Bereiche des Seins. So gelangt er zu einer Seinsauffassung, die weder absoluten Monismus noch absoluten Pluralismus besagt, sondern vielmehr ein Mittleres zwischen beiden begründet, nämlich eine gestufte Ähnlichkeit (Analogie) in Wechselbeziehung und Auseinandersetzung (Dialog). Damit versucht er, zur Bewältigung von zentralen Problemen und Herausforderungen der aktuellen philosophischen Diskussion beizutragen. In diesen Zusammenhang fällt auch sein langjähriges, in weltweiter Zusammenarbeit betriebenes Forschungsprojekt: «Kreativer Friede durch Begegnung der Weltkulturen», das er durch die Erfahrung zahlreicher Forschungs- und Vortragsreisen konkretisiert hat; er gilt heute als einer der Begründer und Nestoren der interkulturellen Philosophie. Der vorliegende Band will durch die Auswahl von 30 Aufsätzen einen repräsentativen Überblick über seine akademische Lehr- und Forschungstätigkeit vermitteln. Dabei soll die Vielfalt seiner Arbeitsbereiche zum Ausdruck kommen. Sie sind hier nach drei thematischen Blöcken geordnet: 1. Erziehungsphilosophie und Anthropologie, 2. Erkenntnistheorie, Ontologie, Metaphysik und Religionsphilosophie und 3. Ethik, Geschichts- und Kulturphilosophie. (shrink)