The Description Logic Handbook covers all aspects of the research in the field of knowledge representation. Written by some of the most prominent researchers in the field, and covering the basic technical material and implementational aspects, it is both a unique reference and a self-study guide.

ZU "HEGEL UND DER STAAT" Der erste, der das Leben Hegels schrieb, war der Konigsberger Professor Karl Rosenkranz. Sein Buch erschien 1844. Der Verfasser hatte Hegel noch seIber gekannt. Unter den person lichen treuge­ bliebenen Schiilern ist er einer der freieren; ohne daB er seinen Anschauungen nach gerade der Hegelschen Linken zuzurechnen ware, ist ihm doch manches mit ihr gemein; nicht bloB eine gewisse Selbstandigkeit gegeniiber der Systematik des Meisters, sondern mehr noch eine eigentiimliche Zersplitterung und Beweglichkeit des Empfindens, ein (...) unruhig stoffsiichtiges Hineingreifen in die Schatze der Zeit und Vergangenheit, ein starker Hang endlich zum geist­ reichen Widersinn stell en den Verfasser der "Asthetik des HaBlichen" fast eher in die Reihe der StrauB, Bauer, Feuerbach als zu den Marheineke, Gabler und Henning. Sein Hegelbuch zeigt von diesen Eigenschaften verhaltnismaBig wenig; sie sind da zuriickge­ drangt durch die fromme Achtung des Schiilers gegen den toten Meister und wohl auch durch den Ernst des BewuBtseins, sozusagen im amtlichen Auf trag der Schule zu schreiben: die Lebensgeschichte trat an die Offentlichkeit als Erganzungsband zu den Werken. Auch die Menge handschriftlichen Stoffes, die das Buch im Abdruck oder Auszug brachte, tat das ihre, dem Verfasser den Ratim fiir seine eigenen Fliige einzuengen. Immerhin wird der Leser des noch heute unentbehrlichen und urn seiner ausgepragten und zeitcharakteristi­ schen Eigenart willen wohl nie ganz iiberftiissig zu machenden Buchs noch genug wunderbare Einfalle darin finden. (shrink)

Tractatus 4.024 inspired the dominant semantics of our time: truth-conditional semantics. Such semantics is focused on possible worlds: the content of p is the set of worlds where p is true. It has become increasingly clear that such an account is, at best, defective: we need an ‘independent factor in meaning, constrained but not determined by truth-conditions’ (Yablo 2014, p. 2), because sentences can be differently true at the same possible worlds. I suggest a missing comment which, had it been (...) included in the Tractatus, would have helped semantics get this right from the start. This is my 4.0241: ‘Knowing what is the case if a sentence is true is knowing its ways of being true’: knowing a sentence’s truth possibilities and what we now call its topic, or subject matter. I show that the famous ‘fundamental thought’ that ‘the “logical constants” do not represent’ (4.0312) can be understood in terms of ways-based views of meaning. Such views also help with puzzling claims like 5.122: ‘If p follows from q, the sense of “p” is contained in the that of “q”’, which are compatible with a conception of entailment combining truth-preservation with the preservation of topicality, or of ways of being true. (shrink)

"Today, more than three-quarters of a century after it was written, the critique of philosophy in this book is what makes it of such great interest.

In his (1996) Peter Milne shows that r (H, E, B) = log [Pr (H | E ∩ B) / Pr (H | B)] is the one true measure of confirmation in the sense that r is the only function satisfying the following five constraints on measures of confirmation C.