Talk:Logic in computer science

From Wikipedia, the free encyclopedia

Socrates
Philosophy Portal
This article is within the scope of the WikiProject Philosophy, which collaborates on articles related to philosophy. To participate, you can edit this article or visit the project page for more details.
??? This article has not yet received a rating on the quality scale.
Top This article has been rated as top-importance on the importance scale.

I can live with this article in its present form. But I can't find any policy that says that you can't link outside the main namespace. It does make sense that you wouldn't link to the Wikipedia or Help namespaces, because those aren't part of the reference. But Category? If I'm wrong, please point me to the policy I'm wrong about. ---Isaac R 18:35, 20 May 2005 (UTC)

It's not exactly policy, but the reason for it is given in Wikipedia:Avoid self-references. In this case you were linking to a category that was already on the page because it appears in the category in the usual way; thus the link was duplicate as well as breaking those syndicates of WP that do not use the categories namespace. --- Charles Stewart 18:54, 20 May 2005 (UTC)

[edit] Organisation of this article

In my opinion, the description of the kind of topics we have should be as concise as possible, so that it is useful as a definition of what logic in computer science. As it stands, it does not serve this purpose. I propose that we start a structured List of logic in computer science topics that covers all of the articles that we judge to fall under this heading, and then try to distill down the current list of topics, perhaps changing the name to list of areas. --- Charles Stewart 16:54, 15 December 2005 (UTC)


I have added several topics that shouldn't be missing in an article about logic in cs. I agree that now (but probably already before) the article lacks a concise definition of logic in cs. However, I do not think that the article has to be necessarily split up. One possibility would to start with a concise general definition, and then list the various aspects in more detail. Tillmo 20:56, 15 December 2005 (UTC)