Wikipedia:WikiProject Logic/To do

Tasks

• 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)

Notices and proposals

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)

Routines

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