Document (#13512)

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.19382434 = sum of:
     0.19382434 = product of:
       0.69222975 = sum of:
         0.048668563 = weight(abstract_txt:machines in 3398) [ClassicSimilarity], result of:
           0.048668563 = score(doc=3398,freq=1.0), product of:
             0.11041438 = queryWeight, product of:
               1.041784 = boost
               7.0524964 = idf(docFreq=103, maxDocs=44218)
               0.015028133 = queryNorm
             0.44078103 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.0524964 = idf(docFreq=103, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.098614804 = weight(abstract_txt:descartes in 3398) [ClassicSimilarity], result of:
           0.098614804 = score(doc=3398,freq=1.0), product of:
             0.17680235 = queryWeight, product of:
               1.3182838 = boost
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.015028133 = queryNorm
             0.55776864 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.037331827 = weight(abstract_txt:knowledge in 3398) [ClassicSimilarity], result of:
           0.037331827 = score(doc=3398,freq=4.0), product of:
             0.084062025 = queryWeight, product of:
               1.5744376 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.015028133 = queryNorm
             0.4440986 = fieldWeight in 3398, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.05885231 = weight(abstract_txt:engineering in 3398) [ClassicSimilarity], result of:
           0.05885231 = score(doc=3398,freq=1.0), product of:
             0.15789884 = queryWeight, product of:
               1.7618518 = boost
               5.963546 = idf(docFreq=308, maxDocs=44218)
               0.015028133 = queryNorm
             0.3727216 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.963546 = idf(docFreq=308, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.065224126 = weight(abstract_txt:logical in 3398) [ClassicSimilarity], result of:
           0.065224126 = score(doc=3398,freq=1.0), product of:
             0.16909942 = queryWeight, product of:
               1.8232698 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.015028133 = queryNorm
             0.38571465 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.11540678 = weight(abstract_txt:hardware in 3398) [ClassicSimilarity], result of:
           0.11540678 = score(doc=3398,freq=1.0), product of:
             0.28317478 = queryWeight, product of:
               2.8897004 = boost
               6.5207376 = idf(docFreq=176, maxDocs=44218)
               0.015028133 = queryNorm
             0.4075461 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.5207376 = idf(docFreq=176, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
         0.26813132 = weight(abstract_txt:leibniz in 3398) [ClassicSimilarity], result of:
           0.26813132 = score(doc=3398,freq=1.0), product of:
             0.5467368 = queryWeight, product of:
               4.6364336 = boost
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.015028133 = queryNorm
             0.49042124 = fieldWeight in 3398, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.0625 = fieldNorm(doc=3398)
       0.28 = coord(7/25)
   

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

   0.07376921 = sum of:
     0.07376921 = product of:
       0.4610576 = sum of:
         0.03266535 = weight(abstract_txt:knowledge in 5516) [ClassicSimilarity], result of:
           0.03266535 = score(doc=5516,freq=1.0), product of:
             0.084062025 = queryWeight, product of:
               1.5744376 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.015028133 = queryNorm
             0.38858628 = fieldWeight in 5516, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.109375 = fieldNorm(doc=5516)
         0.114142224 = weight(abstract_txt:logical in 5516) [ClassicSimilarity], result of:
           0.114142224 = score(doc=5516,freq=1.0), product of:
             0.16909942 = queryWeight, product of:
               1.8232698 = boost
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.015028133 = queryNorm
             0.67500067 = fieldWeight in 5516, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.1714344 = idf(docFreq=250, maxDocs=44218)
               0.109375 = fieldNorm(doc=5516)
         0.14922369 = weight(abstract_txt:accepted in 5516) [ClassicSimilarity], result of:
           0.14922369 = score(doc=5516,freq=1.0), product of:
             0.20217916 = queryWeight, product of:
               1.9936463 = boost
               6.7481275 = idf(docFreq=140, maxDocs=44218)
               0.015028133 = queryNorm
             0.73807645 = fieldWeight in 5516, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.7481275 = idf(docFreq=140, maxDocs=44218)
               0.109375 = fieldNorm(doc=5516)
         0.16502635 = weight(abstract_txt:claim in 5516) [ClassicSimilarity], result of:
           0.16502635 = score(doc=5516,freq=1.0), product of:
             0.21621217 = queryWeight, product of:
               2.0616739 = boost
               6.9783883 = idf(docFreq=111, maxDocs=44218)
               0.015028133 = queryNorm
             0.7632612 = fieldWeight in 5516, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.9783883 = idf(docFreq=111, maxDocs=44218)
               0.109375 = fieldNorm(doc=5516)
       0.16 = coord(4/25)
   

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

   0.06896654 = sum of:
     0.06896654 = product of:
       0.57472116 = sum of:
         0.018665913 = weight(abstract_txt:knowledge in 1086) [ClassicSimilarity], result of:
           0.018665913 = score(doc=1086,freq=1.0), product of:
             0.084062025 = queryWeight, product of:
               1.5744376 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.015028133 = queryNorm
             0.2220493 = fieldWeight in 1086, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0625 = fieldNorm(doc=1086)
         0.1768603 = weight(abstract_txt:turing in 1086) [ClassicSimilarity], result of:
           0.1768603 = score(doc=1086,freq=1.0), product of:
             0.32881895 = queryWeight, product of:
               2.5424845 = boost
               8.6058445 = idf(docFreq=21, maxDocs=44218)
               0.015028133 = queryNorm
             0.5378653 = fieldWeight in 1086, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.6058445 = idf(docFreq=21, maxDocs=44218)
               0.0625 = fieldNorm(doc=1086)
         0.37919495 = weight(abstract_txt:leibniz in 1086) [ClassicSimilarity], result of:
           0.37919495 = score(doc=1086,freq=2.0), product of:
             0.5467368 = queryWeight, product of:
               4.6364336 = boost
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.015028133 = queryNorm
             0.69356036 = fieldWeight in 1086, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.0625 = fieldNorm(doc=1086)
       0.12 = coord(3/25)
   

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

   0.063487746 = sum of:
     0.063487746 = product of:
       0.7935968 = sum of:
         0.12326851 = weight(abstract_txt:descartes in 2157) [ClassicSimilarity], result of:
           0.12326851 = score(doc=2157,freq=1.0), product of:
             0.17680235 = queryWeight, product of:
               1.3182838 = boost
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.015028133 = queryNorm
             0.6972108 = fieldWeight in 2157, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               8.924298 = idf(docFreq=15, maxDocs=44218)
               0.078125 = fieldNorm(doc=2157)
         0.6703283 = weight(abstract_txt:leibniz in 2157) [ClassicSimilarity], result of:
           0.6703283 = score(doc=2157,freq=4.0), product of:
             0.5467368 = queryWeight, product of:
               4.6364336 = boost
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.015028133 = queryNorm
             1.2260531 = fieldWeight in 2157, product of:
               2.0 = tf(freq=4.0), with freq of:
                 4.0 = termFreq=4.0
               7.84674 = idf(docFreq=46, maxDocs=44218)
               0.078125 = fieldNorm(doc=2157)
       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.055864632 = sum of:
     0.055864632 = product of:
       0.27932316 = sum of:
         0.048668563 = weight(abstract_txt:machines in 756) [ClassicSimilarity], result of:
           0.048668563 = score(doc=756,freq=1.0), product of:
             0.11041438 = queryWeight, product of:
               1.041784 = boost
               7.0524964 = idf(docFreq=103, maxDocs=44218)
               0.015028133 = queryNorm
             0.44078103 = fieldWeight in 756, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.0524964 = idf(docFreq=103, maxDocs=44218)
               0.0625 = fieldNorm(doc=756)
         0.026397588 = weight(abstract_txt:knowledge in 756) [ClassicSimilarity], result of:
           0.026397588 = score(doc=756,freq=2.0), product of:
             0.084062025 = queryWeight, product of:
               1.5744376 = boost
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.015028133 = queryNorm
             0.31402513 = fieldWeight in 756, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               3.5527887 = idf(docFreq=3442, maxDocs=44218)
               0.0625 = fieldNorm(doc=756)
         0.05885231 = weight(abstract_txt:engineering in 756) [ClassicSimilarity], result of:
           0.05885231 = score(doc=756,freq=1.0), product of:
             0.15789884 = queryWeight, product of:
               1.7618518 = boost
               5.963546 = idf(docFreq=308, maxDocs=44218)
               0.015028133 = queryNorm
             0.3727216 = fieldWeight in 756, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.963546 = idf(docFreq=308, maxDocs=44218)
               0.0625 = fieldNorm(doc=756)
         0.06013404 = weight(abstract_txt:insights in 756) [ClassicSimilarity], result of:
           0.06013404 = score(doc=756,freq=1.0), product of:
             0.16018316 = queryWeight, product of:
               1.7745503 = boost
               6.006528 = idf(docFreq=295, maxDocs=44218)
               0.015028133 = queryNorm
             0.375408 = fieldWeight in 756, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.006528 = idf(docFreq=295, maxDocs=44218)
               0.0625 = fieldNorm(doc=756)
         0.08527067 = weight(abstract_txt:accepted in 756) [ClassicSimilarity], result of:
           0.08527067 = score(doc=756,freq=1.0), product of:
             0.20217916 = queryWeight, product of:
               1.9936463 = boost
               6.7481275 = idf(docFreq=140, maxDocs=44218)
               0.015028133 = queryNorm
             0.42175797 = fieldWeight in 756, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.7481275 = idf(docFreq=140, maxDocs=44218)
               0.0625 = fieldNorm(doc=756)
       0.2 = coord(5/25)