Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,335,837 papers from all fields of science
Search
Sign In
Create Free Account
Calculus ratiocinator
The Calculus ratiocinator is a theoretical universal logical calculation framework, a concept described in the writings of Gottfried Leibniz, usually…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Algorithm
Artificial intelligence
Computer hardware
Computer program
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
1 Universal Grammar 1 . 1 Medieval Ideas
Aarne Ranta
2016
Corpus ID: 32560478
The paper takes a look at the history of the idea of universal grammar and compares it with multilingual grammars, as formalized…
Expand
2015
2015
Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator
J. Raclavský
,
P. Kuchyňka
,
Ivo Pezlar
2015
Corpus ID: 125220324
Kniha Transparentni intenzionalni logika jako characteristica universalis a calculus ratiocinator podava zaklady Transparentni…
Expand
2012
2012
Mathesis universalis : Gottfried Leibniz, René Descartes, calculus ratiocinator
Nuadha Trev
2012
Corpus ID: 169196935
2011
2011
Computing for humans
Moshe Y. Vardi
Communications of the ACM
2011
Corpus ID: 20031866
of Isaac Newton—of the infinitesimal calculus. (In fact, it is his mathematical notation we use today, rather than Newton’s.) He…
Expand
2010
2010
How to tell the truth without knowing what you are talking about
Luca Anselma
,
D. Cavagnino
2010
Corpus ID: 16989777
Introduction Is it possible to verify whether a statement is true, even without knowing the subject of the discussion? More…
Expand
2005
2005
Towards the Logic of General Names
2005
Corpus ID: 41312856
1.1. The preceding chapter tells of programmes of reforming logic, all of them being concerned with what we now call traditional…
Expand
2004
2004
Modelos de computación celular con membranas
M. J. Pérez
,
A. Romero
,
F. Sancho
2004
Corpus ID: 170136818
En este trabajo se presenta un nuevo modelo decomputacion no convencional (los sistemas celulares con membranas), inspirado en la…
Expand
Review
2001
Review
2001
Logic and Ontology Logic and Ontology 119 1. Logic as Language versus Logic as Calculus
N. Cocchiarella
2001
Corpus ID: 18180619
A brief review of the historical relation between logic and ontology and of the opposition between the views of logic as language…
Expand
1997
1997
Husserl's Theory of Language as Calculus Ratiocinator
Marina Paola Banchetti-Robino
Synthese
1997
Corpus ID: 44165791
This paper defends an interpretation of Husserl's theory of language, specifically as it appears in the Logical Investigations…
Expand
1990
1990
Complexity of Logical Decision Problems: An Introduction
E. Börger
IWBS Report
1990
Corpus ID: 33796423
Logic and Complexity are concerned with two fundamental notions which Leibniz already recognized as belonging together and whose…
Expand