Document (#13511)

Author

Marciszewski, W.

Title

Leibniz's two legacies and their implications regarding knowledge engineering

Source

Knowledge organization. 23(1996) no.2, S.77-82

Year

1996

Abstract

Knowledge engineering anticipated by Leibniz in such projects as ideal language for science reasoning automata, library organization, etc. owes to him philosophical presuppositions as to the scope of possible automation. The paper deals with an ambiguity in his position. His attitude as an engineer implies hard AI (as represented by A. Turing) while his metaphysical insights involve an insuperable physical difference between organisms and artificial machines, which is highly relevant to efficiency of information processing (this physicalism claiming the import of hardware, accords with J. von Neumann's insights). The paper's sections: 1. Leibniz vs. Descartes in views on knowledge. 2. On physicalism and antiphysicalism in logic. 3. Turing' claim as to the insignificance of hardware. 4. Von Neumann's claim as to the significance of hardware. 5. Why Leibniz would not have accepted logical physicalism. 6. Why Leibniz would have accepted logical physicalism

Similar documents (content)

1. Mainzer, K.: ¬The emergence of self-conscious systems : from symbolic AI to embodied robotics (2014) 0.19

   0.19402607 = sum of:
     0.19402607 = product of:
       0.69295025 = sum of:
         0.048623145 = weight(abstract_txt:machines in 4398) [ClassicSimilarity], result of:
           0.048623145 = score(doc=4398,freq=1.0), product of:
             0.110389434 = queryWeight, product of:
               1.0403432 = boost
               7.0475073 = idf(docFreq=104, maxDocs=44421)
               0.015056198 = queryNorm
             0.4404692 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.0475073 = idf(docFreq=104, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.09888428 = weight(abstract_txt:descartes in 4398) [ClassicSimilarity], result of:
           0.09888428 = score(doc=4398,freq=1.0), product of:
             0.17719452 = queryWeight, product of:
               1.3180686 = boost
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.015056198 = queryNorm
             0.5580549 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.03717476 = weight(abstract_txt:knowledge in 4398) [ClassicSimilarity], result of:
           0.03717476 = score(doc=4398,freq=4.0), product of:
             0.083859324 = queryWeight, product of:
               1.5705407 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.015056198 = queryNorm
             0.44329908 = fieldWeight in 4398, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.058489155 = weight(abstract_txt:engineering in 4398) [ClassicSimilarity], result of:
           0.058489155 = score(doc=4398,freq=1.0), product of:
             0.15731098 = queryWeight, product of:
               1.7563351 = boost
               5.948895 = idf(docFreq=314, maxDocs=44421)
               0.015056198 = queryNorm
             0.37180594 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.948895 = idf(docFreq=314, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.065070264 = weight(abstract_txt:logical in 4398) [ClassicSimilarity], result of:
           0.065070264 = score(doc=4398,freq=1.0), product of:
             0.16890033 = queryWeight, product of:
               1.8198816 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.015056198 = queryNorm
             0.38525835 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.115787774 = weight(abstract_txt:hardware in 4398) [ClassicSimilarity], result of:
           0.115787774 = score(doc=4398,freq=1.0), product of:
             0.2839102 = queryWeight, product of:
               2.8897748 = boost
               6.5253177 = idf(docFreq=176, maxDocs=44421)
               0.015056198 = queryNorm
             0.40783235 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5253177 = idf(docFreq=176, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
         0.26892084 = weight(abstract_txt:leibniz in 4398) [ClassicSimilarity], result of:
           0.26892084 = score(doc=4398,freq=1.0), product of:
             0.54802674 = queryWeight, product of:
               4.6360035 = boost
               7.85132 = idf(docFreq=46, maxDocs=44421)
               0.015056198 = queryNorm
             0.4907075 = fieldWeight in 4398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.85132 = idf(docFreq=46, maxDocs=44421)
               0.0625 = fieldNorm(doc=4398)
       0.28 = coord(7/25)
   

2. Serrai, A.: ¬La specificita della bibliografia (1995) 0.07

   0.073663875 = sum of:
     0.073663875 = product of:
       0.4603992 = sum of:
         0.032527916 = weight(abstract_txt:knowledge in 5584) [ClassicSimilarity], result of:
           0.032527916 = score(doc=5584,freq=1.0), product of:
             0.083859324 = queryWeight, product of:
               1.5705407 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.015056198 = queryNorm
             0.3878867 = fieldWeight in 5584, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.109375 = fieldNorm(doc=5584)
         0.11387295 = weight(abstract_txt:logical in 5584) [ClassicSimilarity], result of:
           0.11387295 = score(doc=5584,freq=1.0), product of:
             0.16890033 = queryWeight, product of:
               1.8198816 = boost
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.015056198 = queryNorm
             0.6742021 = fieldWeight in 5584, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1641335 = idf(docFreq=253, maxDocs=44421)
               0.109375 = fieldNorm(doc=5584)
         0.14970568 = weight(abstract_txt:accepted in 5584) [ClassicSimilarity], result of:
           0.14970568 = score(doc=5584,freq=1.0), product of:
             0.20269465 = queryWeight, product of:
               1.9936506 = boost
               6.7527075 = idf(docFreq=140, maxDocs=44421)
               0.015056198 = queryNorm
             0.73857737 = fieldWeight in 5584, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.7527075 = idf(docFreq=140, maxDocs=44421)
               0.109375 = fieldNorm(doc=5584)
         0.16429268 = weight(abstract_txt:claim in 5584) [ClassicSimilarity], result of:
           0.16429268 = score(doc=5584,freq=1.0), product of:
             0.21565636 = queryWeight, product of:
               2.0564067 = boost
               6.965269 = idf(docFreq=113, maxDocs=44421)
               0.015056198 = queryNorm
             0.7618263 = fieldWeight in 5584, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.965269 = idf(docFreq=113, maxDocs=44421)
               0.109375 = fieldNorm(doc=5584)
       0.16 = coord(4/25)
   

3. Huth, M.: Symbolic and sub-symbolic knowledge organization in the Computational Theory of Mind (1995) 0.07

   0.06882239 = sum of:
     0.06882239 = product of:
       0.57351995 = sum of:
         0.01858738 = weight(abstract_txt:knowledge in 1154) [ClassicSimilarity], result of:
           0.01858738 = score(doc=1154,freq=1.0), product of:
             0.083859324 = queryWeight, product of:
               1.5705407 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.015056198 = queryNorm
             0.22164954 = fieldWeight in 1154, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=1154)
         0.17462105 = weight(abstract_txt:turing in 1154) [ClassicSimilarity], result of:
           0.17462105 = score(doc=1154,freq=1.0), product of:
             0.32616687 = queryWeight, product of:
               2.528994 = boost
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.015056198 = queryNorm
             0.53537333 = fieldWeight in 1154, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.565973 = idf(docFreq=22, maxDocs=44421)
               0.0625 = fieldNorm(doc=1154)
         0.3803115 = weight(abstract_txt:leibniz in 1154) [ClassicSimilarity], result of:
           0.3803115 = score(doc=1154,freq=2.0), product of:
             0.54802674 = queryWeight, product of:
               4.6360035 = boost
               7.85132 = idf(docFreq=46, maxDocs=44421)
               0.015056198 = queryNorm
             0.6939652 = fieldWeight in 1154, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.85132 = idf(docFreq=46, maxDocs=44421)
               0.0625 = fieldNorm(doc=1154)
       0.12 = coord(3/25)
   

4. Holz, H.H.: Gottfreid Wilhelm Leibniz (1992) 0.06

   0.06367259 = sum of:
     0.06367259 = product of:
       0.7959074 = sum of:
         0.12360534 = weight(abstract_txt:descartes in 3157) [ClassicSimilarity], result of:
           0.12360534 = score(doc=3157,freq=1.0), product of:
             0.17719452 = queryWeight, product of:
               1.3180686 = boost
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.015056198 = queryNorm
             0.69756866 = fieldWeight in 3157, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.928879 = idf(docFreq=15, maxDocs=44421)
               0.078125 = fieldNorm(doc=3157)
         0.67230207 = weight(abstract_txt:leibniz in 3157) [ClassicSimilarity], result of:
           0.67230207 = score(doc=3157,freq=4.0), product of:
             0.54802674 = queryWeight, product of:
               4.6360035 = boost
               7.85132 = idf(docFreq=46, maxDocs=44421)
               0.015056198 = queryNorm
             1.2267687 = fieldWeight in 3157, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               7.85132 = idf(docFreq=46, maxDocs=44421)
               0.078125 = fieldNorm(doc=3157)
       0.08 = coord(2/25)
   

5. Favato Barcelos, P.P.; Sales, T.P.; Fumagalli, M.; Guizzardi, G.; Valle Sousa, I.; Fonseca, C.M.; Romanenko, E.; Kritz, J.: ¬A FAIR model catalog for ontology-driven conceptual modeling research (2022) 0.06

   0.05558146 = sum of:
     0.05558146 = product of:
       0.2779073 = sum of:
         0.048623145 = weight(abstract_txt:machines in 1757) [ClassicSimilarity], result of:
           0.048623145 = score(doc=1757,freq=1.0), product of:
             0.110389434 = queryWeight, product of:
               1.0403432 = boost
               7.0475073 = idf(docFreq=104, maxDocs=44421)
               0.015056198 = queryNorm
             0.4404692 = fieldWeight in 1757, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.0475073 = idf(docFreq=104, maxDocs=44421)
               0.0625 = fieldNorm(doc=1757)
         0.026286526 = weight(abstract_txt:knowledge in 1757) [ClassicSimilarity], result of:
           0.026286526 = score(doc=1757,freq=2.0), product of:
             0.083859324 = queryWeight, product of:
               1.5705407 = boost
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.015056198 = queryNorm
             0.31345978 = fieldWeight in 1757, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5463927 = idf(docFreq=3480, maxDocs=44421)
               0.0625 = fieldNorm(doc=1757)
         0.058489155 = weight(abstract_txt:engineering in 1757) [ClassicSimilarity], result of:
           0.058489155 = score(doc=1757,freq=1.0), product of:
             0.15731098 = queryWeight, product of:
               1.7563351 = boost
               5.948895 = idf(docFreq=314, maxDocs=44421)
               0.015056198 = queryNorm
             0.37180594 = fieldWeight in 1757, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.948895 = idf(docFreq=314, maxDocs=44421)
               0.0625 = fieldNorm(doc=1757)
         0.058962367 = weight(abstract_txt:insights in 1757) [ClassicSimilarity], result of:
           0.058962367 = score(doc=1757,freq=1.0), product of:
             0.15815833 = queryWeight, product of:
               1.761059 = boost
               5.9648952 = idf(docFreq=309, maxDocs=44421)
               0.015056198 = queryNorm
             0.37280595 = fieldWeight in 1757, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.9648952 = idf(docFreq=309, maxDocs=44421)
               0.0625 = fieldNorm(doc=1757)
         0.085546106 = weight(abstract_txt:accepted in 1757) [ClassicSimilarity], result of:
           0.085546106 = score(doc=1757,freq=1.0), product of:
             0.20269465 = queryWeight, product of:
               1.9936506 = boost
               6.7527075 = idf(docFreq=140, maxDocs=44421)
               0.015056198 = queryNorm
             0.42204422 = fieldWeight in 1757, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.7527075 = idf(docFreq=140, maxDocs=44421)
               0.0625 = fieldNorm(doc=1757)
       0.2 = coord(5/25)