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)

Einleitung.--Die begriffliche Erkenntniss der Körperwelt.--Natur und Geist.--Natur und Geschichte.--Die historische Begriffsbildung.--Naturphilosophie und Geschichts-Philosophie.

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)

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 version of strong negation is introduced into Categorial Grammar. The resulting syntactic calculi turn out to be systems of connexive logic.

Curry’s paradox is well known. The original version employed a conditional connective, and is not forthcoming if the conditional does not satisfy contraction. A newer version uses a validity predicate, instead of a conditional, and is not forthcoming if validity does not satisfy structural contraction. But there is a variation of the paradox which uses “external validity”. And since external validity contracts, one might expect the appropriate version of the Curry paradox to be inescapable. In this paper we show that (...) this is not the case. We consider two ways of formalising the notion of external validity, and show that in both of these the paradox is not forthcoming without the appropriate forms of contraction. (shrink)

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.

Many logical systems are such that the addition of Prior's binary connective tonk to them leads to triviality, see [1, 8]. Since tonk is given by some introduction and elimination rules in natural deduction or sequent rules in Gentzen's sequent calculus, the unwanted effects of adding tonk show that some kind of restriction has to be imposed on the acceptable operational inferences rules, in particular if these rules are regarded as definitions of the operations concerned. In this paper, a number (...) of simple observations is made showing that the unwanted phenomenon exemplified by tonk in some logics also occurs in contexts in which tonk is acceptable. In fact, in any non-trivial context, the acceptance of arbitrary introduction rules for logical operations permits operations leading to triviality. Connectives that in all non-trivial contexts lead to triviality will be called non-trivially trivializing connectives. (shrink)

Jiva.--Samsara.--Karman.--Naman und Brahman.--Yoga.--Prajna paramita.--Trivarga. Schakti. Maya.

FRIELING: HARMONIE UND RHYTHMUS IN NATUR UND KUNST.

1. t. Musikalische elemente und elementargebilde.--2. t. Beethovens d-moll-sonate (op. 31, erster satz).