The theory of ideas.--Outlines of practical philosophy.--The philosophy of Fries in its relation to theology. (De Wette, Tholuck).

Normally, if A knows B, B knows A, and ‘Lake Garda knows me’ is a poetic way of saying ‘I know Lake Garda’. The exchange of subject and object elevates diction and sentiment, but it can also help with the metre, especially where nouns such as gloria. and femina are concerned. Thus in 1.8. 46 the poet says ista meam norit gloria canitiem when in strict logic he should have said istam mea norit gloriam canities. Similarly here what he really (...) wants to says is qua dum iter faciam feminam nullam norim. He must have been aware that the relationship is reciprocal, and something like oblitusque mearum, obliuiscendus et illis may well have been in his mind. But his main desire was to forget and not to know anything of women any more. (shrink)

CHAPTER ONE THE PHILOSOPHER MOSAIC IN NAPLES Ever since the discovery in Torre Annunziata of a duplicate1 of the Villa Albani mosaic showing a group of ...

1. History of the philosophy of religion from Spinoza to the present day. 2 v.--2. Genetic-speculative philosophy of religion. 2 v.

We explore the finite model theory of the characterisation theorems for modal and guarded fragments of first-order logic over transition systems and relational structures of width two. A new construction of locally acyclic bisimilar covers provides a useful analogue of the well known tree-like unravellings that can be used for the purposes of finite model theory. Together with various other finitary bisimulation respecting model transformations, and Ehrenfeucht–Fraïssé game arguments, these covers allow us to upgrade finite approximations for full bisimulation equivalence (...) towards approximations for elementary equivalence. These techniques are used to prove several ramifications of the van Benthem–Rosen characterisation theorem of basic modal logic for refinements of ordinary bisimulation equivalence, both in the sense of classical and of finite model theory. (shrink)