Wikipedia talk:WikiProject Logic

From Wikipedia, the free encyclopedia

Welcome! This subject is outlined on the List of basic logic topics. That list, along with the other Lists of basic topics, is part of a map of Wikipedia. Your help is needed to complete this map! To begin, please look over this subject's list, analyze it, improve it, and place it on your watchlist. Then join the Lists of basic topics WikiProject!


This is a discussion page for issues arising from the organization, content and policies of WikiProject Logic. For discussion and questions about particular topics in logic please use the talk page of the article corresponding to that topic. 
Basic list - Portal - Article - Category - WikiProject - Stubs - Deletions - Cleanup - Noticeboard
Archive
Archives
July 2007 - November 2007


Contents

[edit] Nominating ampheck for deletion

Please join the discussion. Kaldari (talk) 22:56, 28 December 2007 (UTC)

jeez, I'm sorry I missed that one. Pontiff Greg Bard (talk) 03:44, 15 January 2008 (UTC)

[edit] Category:Metalogic

A somewhat famous mathematician has proposed to delete Category:Metalogic. The category is perfectly wonderful. I see this as a part of the whole math-centric culture. I think it is seen as a threat or something. Silly. Pontiff Greg Bard (talk) 03:44, 15 January 2008 (UTC)

You may have a valid point, or you may not. Not being a philosopher I don't know. But considering that as a result of your actions (which apparently have not been discussed before - correct me if I am wrong) a lot of mathematical articles are now in a category that bears a name that most mathematicians including many logicians have never heard before, the language you are using here is not appropriate. For all the others who wonder, like I did, what Gregbard is referring to: He probably means this justified complaint by Arthur Rubin on Gregbard's talk page, to which he replied in an entirely inappropriate way. --Hans Adler (talk) 15:01, 15 January 2008 (UTC)

[edit] Boolean algebra task force

I am looking for other editors to participate in a broad task force to organize Wikipedia's articles on Boolean algebra, propositional logic, and related topics. The current organization is quite idiosyncratic, and has been the subject of discussion before. The initial goal of the task force would be to outline the current structure of these articles (the topics covered by each and how they interconnect) and discuss improvements to this organization. If we are successful we will come out with a proposal that can be announced more widely.

Participating in the task force would not require a large time commitment. If you are interested, please look at Wikipedia:WikiProject Logic/Boolean algebra task force and add yourself to the list of editors. The page was created under WikiProject Logic only for convenience. I hope that I will be able to gather editors with a wide range of backgrounds to participate. — Carl (CBM · talk) 14:00, 28 January 2008 (UTC)

[edit] An issue in the definition of Decidability (logic)

I'd like to draw your attention to an issue in the definition of Decidability (logic), namely whether that definition should be based on the imprecise notion of "effective method", or the precise notion of "recursive computability". See Talk:Decidability (logic)#Precise and imprecise definitions.  --Lambiam 16:32, 8 February 2008 (UTC)

[edit] Inference

The article on inference has fallen into disrepair; its last many revisions have been missing many of the syllogism examples, and no-one seems to have noticed. I've restored the examples from older revisions, and added one more example (valid reasoning from false premises to true conclusion). (see diff) However, I'm no expert, and this article needs a thorough revision by someone who knows the subject. -- The Anome (talk) 12:21, 27 February 2008 (UTC)