• This list should be actively updated: Discuss

• Logical form is in need of attention
• Proposition is in need of attention
• Logical connective is in need of attention
• Descriptivist theory of names needs edit particularly in first section after TOC
• Logical connectives: ( subproject page) integration, and consistent format
• Object theory is in need of attention (and there is an outstanding merge request into Object language)

1. Talk:Gödel–Gentzen negative translation: propose merge Gödel–Gentzen negative translation and Glivenko's theorem (30 April 2009)
2. Proposed merge of Modus tollendo ponens into Disjunctive syllogism, no discussion (11 March 2008)
3. Rework of Logic begun, see Talk:Logic (date=June 2009)

• Tag the talk page of all articles relevant to the project with either the {{ Philosophy}} or {{ Maths rating}} banner.

Monitor recent changes

These are the recent changes to pages linked from these pages

• List of logic topics
• Topic outline of logic
• Category:Logic
• Template:Logic

Other routines

• Review New Articles