Talk:Rule of inference

	; Archives (Index) ;
	2024/December;
	This page is archived by ClueBot III.

Rule of inference is currently a Philosophy and religion good article nominee. Nominated by Phlsph7 (talk) at 17:09, 31 March 2025 (UTC)

An editor has indicated a willingness to review the article in accordance with the good article criteria and will decide whether or not to list it as a good article. Comments are welcome from any editor who has not nominated or contributed significantly to this article. This review will be closed by the first reviewer. To add comments to this review, click discuss review and edit the page.

Short description: Method of deriving conclusions

This is the talk page for discussing improvements to the Rule of inference article.
This is not a forum for general discussion of the article's subject.

Put new text under old text. Click here to start a new topic.
New to Wikipedia? Welcome! Learn to edit; get help.

Article policies

Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL

Mathematics Mid‑priority

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
Mid	This article has been rated as Mid-priority on the project's priority scale.

Philosophy: Logic Mid‑importance

This article is within the scope of WikiProject Philosophy, a collaborative effort to improve the coverage of content related to philosophy on Wikipedia. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the general discussion about philosophy content on Wikipedia.PhilosophyWikipedia:WikiProject PhilosophyTemplate:WikiProject PhilosophyPhilosophy

Mid

This article has been rated as Mid-importance on the project's importance scale.

Associated task forces:
/
	Logic

Review the Web Pages of the Network Links Below and Take Necessary Actions.

List of rules of inference

Talk:List of rules of inference#The table with 3 columns and 12 rows under the heading "Table: Rules of Inference" is currently missing 8 different rows. 88.241.82.180 (talk) 14:15, 21 January 2025 (UTC)[reply]

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)[reply]

GA review

This review is transcluded from Talk:Rule of inference/GA1. The edit link for this section can be used to add comments to the review.

Nominator: Phlsph7 (talk · contribs) 17:09, 31 March 2025 (UTC)[reply]

Reviewer: Brent Silby (talk · contribs) 09:16, 3 April 2025 (UTC)[reply]

GA review (see here for what the criteria are, and here for what they are not)
It is reasonably well written. a (prose, spelling, and grammar): b (MoS for lead, layout, word choice, fiction, and lists): It is factually accurate and verifiable, as shown by a source spot-check. a (references): b (citations to reliable sources): c (OR): d (copyvio and plagiarism): It is broad in its coverage. a (major aspects): b (focused): It follows the neutral point of view policy. Fair representation without bias: It is stable. No edit wars, etc.: It is illustrated by images, where possible and appropriate. a (images are tagged and non-free images have fair use rationales): b (appropriate use with suitable captions):
Overall: Pass/Fail:
· · ·

This article has excellent prose, no grammar mistakes, loads of reliable sources (even with pages mentioned!), no copyright issues, appropriate image captions and no edit wars in sight.

That said I have two suggestions for improving the breadth of its coverage and one suggestion concerning the image in the lead section:

1) "Further rules include conjunction introduction, disjunction introduction, constructive dilemma, destructive dilemma, double negation elimination, and De Morgan's laws." could this sentence be expanded with more examples? Are there any more rules that can be mentioned here?

2) This article has two tables titled "Notable rules of inference". However, they don't include such rules as (conjunction introduction, disjunction introduction, constructive dilemma, destructive dilemma, double negation elimination, and De Morgan's laws) that are mentioned elsewhere. Is it possible to create a separate table for them?

3) In addition to that, I have noticed that the lead image is rectangular. This means that it gets badly cropped on the thumbnail. Is it possible to have image with the exact same content but in a square instead of a rectangle?