Talk:Rule of inference
Template:Tmbox[[Category:Template:GA/Topic good articles|Rule of inference]]
<templatestyles src="Module:Message box/tmbox.css"/><templatestyles src="Talk header/styles.css" />
| This is the talk page for discussing improvements to the Rule of inference Template:Pagetype. This is not a forum for general discussion of the article's subject. |
Article policies
|
| Template:Find sources |
| Archives: Template:Comma separated entries<templatestyles src="Template:Tooltip/styles.css" />Auto-archiving periodScript error: No such module "Check for unknown parameters".: Template:Human readable duration File:Information icon4.svg |
Script error: No such module "Check for unknown parameters".Script error: No such module "Check for deprecated parameters".
Template:WikiProject banner shell Template:Merged from Template:Tmbox User:ClueBot III/ArchiveThis
Changes to the article
I was thinking about implementing changes to this article with the hope of moving it in the direction of GA status. Most of the text is currently unreferenced. Usually, the lead should summarize information found in the body of the article, not present new information, like it is done here.
Contentwise, a lot of information is currently missing. There are countless rules of inference and at least the most important ones should be discussed. It should be better explained that rules of inference belong to systems of logic. Different systems of logic have different rules of inference, like the contrasts between propositional logic and predicate logic or between classical and intuitionistic logic. Another point to mention would be the different formalisms of Hilbert systems, natural deduction, and sequent calculus. Other things to discuss would be the relation between rules of inference and logical truths, the problem of fallacies, and the role of rules of inference in the philosophy of logic regarding the contrast between the semantic and the syntactic conception of logic. Since some of these topics are quite abstract, one could add a section called "Basic concepts" to explain what logic, systems of logic, propositions, and inferences are. It further wouldn't hurt to mention some applications in fields like mathematical reasoning, computer science, expert systems, automated theorem proving, etc.
There are more things to consider, but they can be addressed later since the ones mentioned so far will already involve a lot of work to implement. I was hoping to get some feedback on these ideas and possibly other suggestions. Phlsph7 (talk) 13:36, 16 March 2025 (UTC) Talk:Rule of inference/GA1