Talk:Calculus ratiocinator

From Wikipedia, the free encyclopedia

This article is within the scope of Computing WikiProject, an attempt to build a comprehensive and detailed guide to computers and computing. If you would like to participate, you can edit the article attached to this page, or visit the project page, where you can join the project and/or contribute to the discussion.
??? This article has not yet received a rating on the quality scale.
??? This article has not yet received an rating on the importance scale.
Socrates This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details.
??? This article has not yet received a rating on the quality scale.
??? This article has not yet received an importance rating on the importance scale.

Contents

[edit] sentential logic

The connection between the calculus ratiocinator and sentential logic the the section below is not made clear. I have therefore removed it until this can be clarified. Sholto Maud 06:16, 29 January 2006 (UTC)

In writings not published before 1903 and not properly analyzed until Wolfgang Lenzen did so in the 1980s, Leibniz set out what is now known as sentential logic: conjunction, disjunction, negation, identity, set inclusion, and the empty set. What he (and everyone until Frege and Peirce) lacked was quantified variables ranging over a universe of discourse.

[edit] ample descent

The author's contributions are welcomed. Perhaps the author could sign in as a contributer rather than remain anonymous. An explanation of the comment below would be appreciated. Sholto Maud 06:19, 29 January 2006 (UTC)

" and his ample intellectual descent tends to concur"

[edit] Link to qualitative flows

This quote seems to be more to do with Characteristica universalis than 'calculus ratiocinator'. It also needs to be more clear. Sholto Maud 06:32, 29 January 2006 (UTC)

"Consequently, one might view the universal characteristic as a universal symbolism depicting the mathematics of the qualitative flows and transformations of our cosmos. The calculus ratiocinator would then be a way of calculating the corresponding flow quantities."


[edit] Synthetic Proposition

I'm not convinced that the meaning of the word "synthesis" is the same in the philosophy of language as in the philosophy of engineering. Hence I'm not convinced that the adjustment made by a previous author (to dismbiguate synthesis to synthetic proposition) is appropriate. Sholto Maud 05:10, 1 March 2007 (UTC)