Talk:Proof calculus

More Methods
The article could list more methods, like Tableaux proof systems, Resolution proof system, Connection graph proof systems, etc..

Jan Burse (talk) 09:39, 19 March 2019 (UTC)


 * Hi Jan. The article is in dreadful shape as it stands: no inline refs, hardly any sources, dubious editorialising.  Any love you want to give it would be appreciated. &mdash; Charles Stewart (talk) 01:26, 20 March 2019 (UTC)

Proof system = deductive system?
I fail to understand the difference between a proof system and a deductive system. I allow to forward this argumentum ad populum: it seems that in other wikis the terms are used synonymously which seems to correspond to the entity defined by this article. May someone shed some light on the distinction, if any? Leonry (talk) 18:48, 25 October 2020 (UTC)


 * I like to mention another reference that adds to my confusion. On the Proof Wiki, a Deductive apparatus is understood to be a more general term than proof systems. However, what is called there a proof system seems to correspond to the Deductive system or deductive apparatus as defined here on Wikipedia (in the article linked). Leonry (talk) 13:14, 17 December 2020 (UTC)


 * I've never seen deductive apparatus used the way the Proof Wiki uses it: i.e. a deductive system plus an intended model. Since they give no source for their definition, I am inclined to ignore it. In general, when we use the word 'calculus' rather than 'system', we are indicating that we regard the formalisation as a tool rather than just a way of specifying a theory. &mdash; Charles Stewart (talk) 22:03, 20 December 2020 (UTC)