Wikipedia:WikiProject Logic

Logic Task Force

Welcome to the Logic Task Force, a joint task force of WikiProject Philosophy and WikiProject Mathematics, and covers, besides articles on mathematical logic and philosophical logic, also articles on logic in computer science, logic in linguistics, such as the formal semantics of natural language, and logic in the methodology of science, such as formal ontology.

The task force is a set of pages in the "Wikipedia" article namespace which are devoted to the management of a specific topic or family of topics within Wikipedia; and, simultaneously, a group of editors who use those pages to collaborate on encyclopedic work. It is not a place to write encyclopedia articles directly, but a resource to help coordinate and organize the writing and editing of those articles.

This task force is an effort to coordinate the work of those Wikipedians who are knowledgeable about logic and wish to improve Wikipedia's coverage of the topic.