User talk:Lord Farin/Backup/Definition:Propositional Calculus

We already have a page Definition:Propositional Logic and another Definition:Classical Propositional Calculus &mdash; is this going to be any different from those, or is there a plan to merge them? &mdash;Prime.mover 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)

It may be worthwhile to introduce a proof technique of 'induction over the rules of formation' to establish uniformity among results which (effectively) use this technique (eg. WFF of PropLog is Balanced). --Lord_Farin 08:48, 16 June 2012 (EDT)