Wikipedia:WikiProject Logic/To do

Main        Participants        Templates        Categories        Standards        To do

Tasks WikiProject Logic task list 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) Charles Stewart's watchlist Stubs Discuss these tasks Category:Logic RfC (philosophy etc) RfC (mathematics etc) Requested articles Notices and proposals Talk:Gödel–Gentzen negative translation: propose merge Gödel–Gentzen negative translation and Glivenko's theorem (30 April 2009) Proposed merge of Modus tollendo ponens into Disjunctive syllogism, no discussion (11 March 2008) 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. 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