MyWiki:WikiProject Logic/To do

{{Wikipedia:WikiProject Philosophy/header}}

{{Wikipedia:WikiProject Logic/tab2|Main}} {{Wikipedia:WikiProject Logic/tab2|Participants}} {{Wikipedia:WikiProject Logic/tab2|Templates}} {{Wikipedia:WikiProject Logic/tab2|Categories}} {{Wikipedia:WikiProject Logic/tab2|Standards}} {{Wikipedia:WikiProject Logic/tab1|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