(dated, countable) Calculation; computation. / (countable, mathematics) Any formal system in which symbolic expressions are manipulated according to fixed rules.

Synonym of felicific calculus

Synonym of felicific calculus

Synonym of felicific calculus

(historical, philosophy, economics) A quasi-mathematical technique proposed by 19th-century utilitarian ethical theorists for determining the net amount of happiness, pleasure, or utility resulting from an action, sometimes regarded as a precursor of cost-benefit analysis.

(logic) A formal system.

(logic) propositional logic.

(mathematics) A method in geometric topology for modifying framed links in the 3-sphere using a finite set of moves (the Kirby moves).

(calculus) The calculus that generalizes summation to find areas, masses, volumes, sums, and totals of quantities described by continuously varying functions.

(logic) The branch of logic that deals with quantified statements such as "there exists an x such that..." or "for any x, it is the case that...", where x is a member of the domain of discourse.