Calculus ratiocinator - Calculus ratiocinator

Tento článek obsahuje seznam obecných Reference, ale zůstává z velké části neověřený, protože postrádá dostatečné odpovídající vložené citace. Prosím pomozte zlepšit tento článek představuji přesnější citace. (Květen 2010) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

The Calculus ratiocinator je teoretický univerzální logický výpočetní rámec, koncept popsaný ve spisech Gottfried Leibniz, obvykle spárovaný s jeho častěji zmiňovaným Characteristica Universalis, univerzální pojmový jazyk.

Dva pohledy

Existují dva kontrastní úhly pohledu na to, co tím Leibniz myslel kalkulátor ratiocinator. První je spojen s počítačový software, druhý je spojen s počítačový hardware.

Analytický pohled

• Přijatý úhel pohledu v analytická filozofie a formální logika, je to kalkulátor ratiocinator předpokládá matematická logika —An "algebra logiky".^[1] Analytické hledisko chápe, že kalkulátor ratiocinator je formální odvozovací stroj nebo počítačový program, které lze navrhnout tak, aby výpočty získaly přednost. Tato logika začala Frege rok 1879 Begriffsschrift a C.S. Peirce spisy o logice v 80. letech 19. století. Frege zamýšlel svůj „koncepční scénář“ jako a kalkulátor ratiocinator stejně jako a lingua charakteristická. Ta část formální logiky relevantní pro počet spadá pod nadpis teorie důkazů. Z tohoto pohledu kalkulátor ratiocinator je pouze částí (nebo podmnožinou) souboru univerzální charakteristika a kompletní univerzální charakteristika zahrnuje „logický kalkul“.

Syntetický pohled

• Vychází z kontrastního úhlu pohledu syntetická filozofie a pole jako kybernetika, elektronické inženýrství a obecná teorie systémů. V analytické filozofii je to málo oceňováno. Syntetický pohled rozumí kalkulátor ratiocinator jako odkaz na „počítací stroj“. Kybernetik Norbert Wiener považováno za Leibnizovo kalkulátor ratiocinator předchůdce moderního digitálního počítače:

Historie moderního výpočetního stroje sahá až do Leibniz a Pascal. Obecná myšlenka na výpočetní stroj není nic jiného než Leibnizova mechanizace kalkulátor ratiocinator. (Wiener 1948: 214)

... stejně jako jeho předchůdce Pascal se [Leibniz] zajímal o konstrukci výpočetních strojů v Metal. ... stejně jako aritmetický počet je vhodný pro mechanizaci postupující přes počítadlo a stolní počítač do ultrarychlých výpočetních strojů současnosti, takže kalkulátor ratiocinator Leibniz obsahuje bakterie machina ratiocinatrix, uvažovací stroj (Wiener 1965: 12)

Leibniz zkonstruoval právě takový stroj pro matematické výpočty, kterému se také říkalo a Stupňovitý počítač. Jako výpočetní stroj ideální kalkulátor ratiocinator provedl Leibnizův integrální a diferenciální počet. Tímto způsobem je objasněn význam slova „ratiocinator“ a lze jej chápat jako mechanický nástroj, který kombinuje a porovnává poměry.

• 

  Fotografie mechanismu Stupňovitý počítač

• 

  Moderní replika Stepped Reckoner

Hartley Rogers viděl souvislost mezi těmito dvěma a definoval kalkulátor ratiocinator jako „algoritmus, který, pokud se použije na symboly libovolného vzorce Characteristica Universalis, určí, zda je tento vzorec pravdivý jako vědecký výrok“ (Hartley Rogers, Jr. 1963; s. 934).

Klasická diskuse o kalkulátor ratiocinator je Couturat (1901: kapitoly 3 a 4), který tvrdil, že Characteristica Universalis- a tedy kalkulátor ratiocinator—Byly neoddělitelné od Leibnizova encyklopedického projektu (kapitola 5). Proto charakteristický, kalkulátor ratiocinatora encyklopedie tvoří tři pilíře Leibnizova projektu.

Viz také

• Algebraická logika § Kalkul vztahů

Poznámky

Reference

• Louis Couturat, 1901. La Logique de Leibniz. Paříž: Felix Alcan. Donald Rutherford anglický překlad některých kapitol.
• Hartley Rogers, Jr. 1963, Příklad v matematické logice, Americký matematický měsíčník, Sv. 70, č. 9, s. 929–945.
• Norbert Wiener 1948, „Čas, komunikace a nervový systém“ Teleologické mechanismy. Annals of the N.Y. Acad. Sci. 50 (4): str. 197–219.
• -- 1965, Cybernetics, Second Edition: or the Control and Communication in the Animal and the Machine„The MIT Press.
• Desmond Fearnley-Sander, 1982. Hermann Grassmann a pravěk univerzální algebry, Americký matematický měsíčník, Sv. 89, č. 3, s. 161–166.

externí odkazy

• Jazyk jako kalkul proti Jazyk jako univerzální médium