7

An historical introduction to formal knowledge systems

Liam Magee

Kant moreover considers logic, that is, the aggregate of definitions and propositions which ordinarily passes for logic, to be fortunate in having attained so early to completion before the other sciences; since Aristotle, it has not lost any ground, but neither has it gained any, the latter because to all appearances it seems to be finished and complete. Now if logic has not undergone any change since Aristotle—and in fact, judging by modern compendiums of logic the changes frequently consist mainly in omissions—then surely the conclusion which should be drawn is that it is all the more in need of a total reconstruction; for spirit, after its labours over two thousand years, ...

Get Towards A Semantic Web now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.