Ratiocinator de calcul

Le calcul Ratiocinator est un concept apparaissant dans les écritures du Gottfried Leibniz , habituellement appareillées avec ses universalis de Characteristica de , qu'il a mentionnés beaucoup plus fréquemment.

Deux vues

Il y a deux points de vue contrasting sur ce qu'a signifié Leibniz par le ratiocinator de calcul de . Le premier est associé au logiciel , la seconde est associé au matériel d'ordinateur .

  • analytique de
      de
      The view
      Le point de vue reçu dans la philosophie analytique et la logique formelle , est que le ratiocinator de calcul de prévoit le &mdash de la logique mathématique ; un " ; algèbre de logic" ; (Fearnley-Ponceuse 1982 : p. Le point de vue analytique comprend que le ratiocinator de calcul de est un moteur d'inférence formel < ! --ce qui rend un moteur d'inférence formel ou sans cérémonie--> ou programme informatique qui peut être conçu afin d'accorder la supériorité aux calculs. Cette logique a commencé par des écritures de s de Frege 'le 1879 de de s Begriffsschrift de et Peirce Charles 'de sur la logique dans les 1880s. Le Frege a prévu son " ; script" de concept ; pour être un ratiocinator de calcul de aussi bien qu'un characteristica de Lingua de . Cette partie de logique formelle concernant le calcul relève du titre de la théorie de preuve de . De cette perspective le ratiocinator de calcul de est seulement une partie (ou un sous-ensemble) de l'universel caractéristique de , et un universel complet caractéristique de inclut un " ; calculus" logique ;.

  • synthétique de
      de
      The view
      Un point de vue contrasting provient de la philosophie et des champs synthétiques du tels que les cybernétiques , la technologie électronique et la théorie de systèmes générale . On l'apprécie peu en philosophie analytique. La vue synthétique comprend le ratiocinator de calcul de en tant que se rapporter à un " ; calcul de machine." ; La saucisse cybernéticienne de Norbert de a considéré le ratiocinator de calcul du de Leibniz un précurseur au calculateur numérique de jour moderne :

    L'histoire de la machine à calculer moderne retourne à Leibniz et à Pascal. En effet, l'idée générale d'une machine à calculer n'est rien mais une mécanisation du ratiocinator de calcul du de Leibniz. (1948:214 de saucisse)

    … comme son prédécesseur Pascal, était intéressé par la construction des machines à calculer dans le métal. … juste comme le calcul de arithmétique se prête à une mécanisation progressant par l'abaque et la machine à calculer de bureau aux machines à calculer utra-rapides de l'aujourd'hui, ainsi le ratiocinator de calcul de de Leibniz contient les germes du ratiocinatrix , la machine de raisonnement (le 1965:12 de Machina de de saucisse) le

    Leibniz de a construit juste une telle machine (image picture2) pour des calculs mathématiques qui s'est également appelée un a fait un pas l'énumérateur . Comme machine à calculer, le ratiocinator idéal de calcul de exécuterait le calcul intégral et différentiel de Leibniz. De cette façon la signification du mot, " ; ratiocinator" ; est clarifié et peut être compris comme instrument mécanique qui combine et compare des rapports.

    Implications

    Les pleines implications de ces vues doivent être explorées encore dans la philosophie et l'histoire du calcul. Les philosophes au courant des bases des microprocesseurs apprécieront que la vue de la saucisse implique un lien entre le de Leibniz sur l'art des combinaisons et la logique combinatoire , lui-même de un art de combiner les portes de logique (et les tables de vérité ) pour former l'additionneur de fait le tour de utilisé pour la conception de circuit dans les morceaux de Pentium de d'Intel (par exemple). Par conséquent donnant la signification de langue de circuit électronique pour des systèmes et la philosophie de processus.

    D'ailleurs n'importe quelle philosophie normale unifiée (c. la science unifiée par ) doit pouvoir expliquer la différence entre les deux vues ci-dessus.Hartley a vu un lien entre les deux, définissant le ratiocinator de calcul de comme " ; un algorithme qui, une fois appliqué aux symboles de n'importe quelle formule des universalis de characteristica, déterminerait si cette formule étaient vraie comme rapport de science" ; (Hartley Rogers, Jr. Une certaine clarification pourrait être trouvée dans le fait que les composants électroniques doivent avoir des estimations électriques de l'impédance très élevé afin d'exécuter la logique booléenne du . Ceci a comme conséquence un peu très d'écoulement d'énergie du courant électrique . Toutefois les sciences macroscopiques écologiques, de construction et de systèmes généraux qui utilisent le raisonnement synthétique, sont caractéristiquement concernées par de plus grands écoulements d'énergie.

    Une discussion classique du ratiocinator de calcul de est Couturat (1901 : chpts.4), qui ont maintenu que les universalis de characteristica de --et ainsi le ratiocinator de calcul de --étaient inséparables du projet encyclopédique de Leibniz (chpt. Par conséquent le , ratiocinator de calcul de , et piliers caractéristiques de la forme trois d'encyclopédie de l'éclaircissement du de Leibniz projet .

    Si on comprend le ratiocinator de calcul de comme logique formelle ou comme machine à calculer, a donc les deux implications et affects métaphysiques comment on regarde sa relation aux universalis de characteristica du de Leibniz, à l'encyclopédie, et au projet non fini d'éclaircissement. Si on comprend le ratiocinator de calcul de comme précurseur du calculateur numérique, alors accouplement du calculateur numérique et de l'encyclopédie, c. Wikipedia ou analogues, sont des résultats nécessaires de l'éclaircissement.

    Random links:Lynx (langage de programmation) | Sergey Korolyov | Socialistes internationaux (Norvège) | Stephen Harriman long | Kalmar | Ratiocinator_del_cálculo