Calculus ratiocinator

Den Calculus ratiocinator er en teoretisk universel ramme logisk beregning, et begreb, der er beskrevet i skrifter af Gottfried Leibniz, normalt parret med hans oftere omtalte de karakteristiske universalis, et universelt konceptuel sprog.

To visninger

Der er to modsatrettede synspunkter om, hvad Leibniz mente med calculus ratiocinator. Den første er forbundet med computersoftware, den anden er forbundet med computer hardware.

Den analytiske visning

  • Den modtagne synspunkt i analytisk filosofi og formelle logik, er, at calculus ratiocinator forventer matematisk logik en "algebra logik". Den analytiske synspunkt forstår, at calculus ratiocinator er en formel inferens motor eller edb-program, der kan udformes således, at give forrang til beregningerne. Denne logik begyndte med Frege s 1879 Begriffsschrift og CS Peirce skrifter på logik i 1880'erne. Frege bestemt hans "konceptet script" for at være en calculus ratiocinator samt et lingua de karakteristiske. Den del af den formelle logik er relevant for calculus kommer under overskriften bevis teori. Ud fra dette perspektiv calculus ratiocinator er kun en del af den universelle egenskab, og en komplet universel egenskab indeholder en "logisk calculus".

Det syntetiske view

  • Et kontrasterende synspunkt stammer fra syntetisk filosofi og områder som kybernetik, elektronik og generelle systemteori. Det er lidt værdsat i analytisk filosofi. Det syntetiske visning forstår calculus ratiocinator som en henvisning til en "regnemaskine". Den cybernetician Norbert Wiener overvejet Leibniz 'calculus ratiocinator en forløber for den moderne dag digitale computer:

Leibniz konstrueret netop sådan en maskine til matematiske beregninger som også blev kaldt en Trinvis Reckoner. Som computing maskine, ville den ideelle calculus ratiocinator udføre Leibniz 'integrerende og differentialregning. På denne måde betydningen af ​​ordet "ratiocinator" tydeliggøres, og kan forstås som et mekanisk instrument, der kombinerer og sammenligner nøgletal.

Hartley Rogers så en forbindelse mellem de to, der definerer calculus ratiocinator som "en algoritme, som, når de anvendes på symbolerne på nogen formel af de karakteristiske universalis, ville afgøre, hvorvidt denne formel var sandt som en redegørelse for videnskaben".

En klassisk diskussion af calculus ratiocinator er Couturat, der fastholdt, at de karakteristiske Universalis og dermed calculus ratiocinator var uadskillelige fra Leibniz 'encyklopædiske projekt. Derfor den karakteristiske, calculus ratiocinator og encyklopædi formular tre søjler i Leibniz 'projekt.

  0   0
Forrige artikel Bratislavský Leśny park
Næste artikel Arlington West

Kommentarer - 0

Ingen kommentar

Tilføj en kommentar

smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile smile smile smile smile
smile smile smile smile
Tegn tilbage: 3000
captcha