Definition talk:Propositional Calculus

We already have a page Definition:Propositional Logic and another Definition:Classical Propositional Calculus — is this going to be any different from those, or is there a plan to merge them? —Matt Westwood 05:31, 13 October 2008 (UTC)

Yes, this topic is cast at a level of abstraction that is intermediate between the more general topic of Propositional Logic and the more special topics of Classical PC and Intuitionistic PC. I will be trying to compromise with the usages of several different schools of thought, but I will emphasize the classical line that treats Logic as a normative science, while using the word "calculus" for a particular formal language with a particular set of transformation rules ("rules of inference").

An incomplere hint of this "parametric approach" can be seen at the PlanetMath entry for Propositional Calculus, but I have to sort out the parts that I wrote and can therefore relicense here from the parts that other people wrote and that must remain GFDL. Jon Awbrey 14:14, 13 October 2008 (UTC)