Menzel, C.: Knowledge representation, the World Wide Web, and the evolution of logic (2011)
0.02
0.015150423 = product of:
0.030300846 = sum of:
0.030300846 = product of:
0.060601693 = sum of:
0.060601693 = weight(_text_:i in 761) [ClassicSimilarity], result of:
0.060601693 = score(doc=761,freq=4.0), product of:
0.17138503 = queryWeight, product of:
3.7717297 = idf(docFreq=2765, maxDocs=44218)
0.045439374 = queryNorm
0.35359967 = fieldWeight in 761, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
3.7717297 = idf(docFreq=2765, maxDocs=44218)
0.046875 = fieldNorm(doc=761)
0.5 = coord(1/2)
0.5 = coord(1/2)
- Abstract
- In this paper, I have traced a series of evolutionary adaptations of FOL motivated entirely by its use by knowledge engineers to represent and share information on the Web culminating in the development of Common Logic. While the primary goal in this paper has been to document this evolution, it is arguable, I think that CL's syntactic and semantic egalitarianism better realizes the goal "topic neutrality" that a logic should ideally exemplify - understood, at least in part, as the idea that logic should as far as possible not itself embody any metaphysical presuppositions. Instead of retaining the traditional metaphysical divisions of FOL that reflect its Fregean origins, CL begins as it were with a single, metaphysically homogeneous domain in which, potentially, anything can play the traditional roles of object, property, relation, and function. Note that the effect of this is not to destroy traditional metaphysical divisions. Rather, it simply to refrain from building those divisions explicitly into one's logic; instead, such divisions are left to the user to introduce and enforce axiomatically in an explicit metaphysical theory.
