We define “calculus” like this:
“Calculus is the mathematical study of continuous change.”
But if that’s the case, then why is the study of (true or false) propositions and their relations called:
“Propositional calculus”?
These are some example statements from both fields:
This is something from calculus: $\int_{0}^{3} x^2 dx = 3$
This is something from propositional calculus: $((A \rightarrow B)\land A) \rightarrow B$
What I know from a historical standpoint is that “calculus” was originally a word for “small pebble” and then evolved into a word for “calculation”. However, I also know that propositional calculus was developed somewhere in the 19th century, which is way after calculus was used for “calculation”.
Why are both of these using the term “calculus”? Is its meaning as “calculation” related?
Definition :
Douglas N. Clark "DICTIONARY of Analysis, Calculus, and Differential Equations" gives this Entry, with my highlighting and emphasis:
Overview :
Etymologically , "calculi" & "calculus" come from PEBBLE which was used for measuring geographical distances and such.
[[ Currently, "calculate" is the most general term covering all mathematical computations and even more. ]]
With that came "infinitesimal calculus" , which is generally shortened to just "calculus" , the most common abd well known type.
In general, these terms are not shortened.
All these are about calculations and computations, within various domains.
Summary:
When we have "W Calculus" or "X Calculus" or "Y Calculus" or "Z Calculus", we make calculations involving type W or type X or type Y or type Z. To avoid confusion, we do not shorten it.
When we have "infinitesimal calculus", we make calculations involving infinitesimal quantities, ratios, limits & real numbers. We shorten that to just "calculus" since it is the most common.