Talk:History of logic

From Wikipedia, the free encyclopedia

This article is within the scope of multiple WikiProjects. Click [show] for further details

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. Start This article has been rated as Start-Class on the quality scale. Top This article has been rated as top-importance on the importance scale. Additional information: Related task forces (core areas): Logic This article is within the scope of WikiProject History, a group devoted to the the study, and improvement of Wikipedia articles on the subject, of History. If you would like to participate, please visit the project page, where you can join the project and see a list of open tasks. ??? This article has not yet received a rating on the quality scale. ??? This article has not yet received a rating on the importance scale. Additional information: This article has been checked against the following criteria for B-Class status: Referencing and citation: not checked Coverage and accuracy: not checked Structure: not checked Grammar: not checked Supporting materials: not checked Neutrality: not checked To fill out this checklist, please add the following to the template call: <!-- 1. It is suitably referenced, and all major points are appropriately cited. --> |B-Class-1=yes/no <!-- 2. It reasonably covers the topic, and does not contain major omissions or inaccuracies. --> |B-Class-2=yes/no <!-- 3. It has a defined structure, including a lead section and one or more sections of content. --> |B-Class-3=yes/no <!-- 4. It is free from major grammatical errors. --> |B-Class-4=yes/no <!-- 5. It contains appropriate supporting materials, such as an infobox, images, or diagrams. --> |B-Class-5=yes/no <!-- 6. It is written from a neutral point of view. --> |B-Class-6=yes/no

Clearly this page only follows the very attempts at logic. It should be extended to include a comprehensive look at the origins of symbolic logic, and the various logical traditions associated with it.

Contents 1 origin of the logic 2 Reformulation 3 What is modern logic? 4 Russell & 20th century logic

[edit] origin of the logic

[edit] Reformulation

This arcticle needs urgent reformulation. An arcticle on the history of logic cannot pass over the polish tradition, for example. I'll try to collaborate to this reformulation myself.

[edit] What is modern logic?

I've deleted the following text:

However, the development of modern logic in its present form originates with Boole and De Morgan.

which suggests that the the kind of logic done in the British C19th algebraic school is the main kind of logic done today, which it patently is not. As to when modern logic begins, it is a matter of dispute: this isn't something for Wikipedia to be pronouncing on. --- Charles Stewart 17:41, 27 July 2005 (UTC)

However, see the article by Anellis which I linked to, which argues cogently for those origins. Perhaps something on the lines of, "the beginnings of modern logic lie in ..."?

Edward Buckner 17:41, 27 July 2005 (UTC)

[edit] Russell & 20th century logic

Nothing on Bertand Russell, curious.--62.6.139.11 13:29, 28 April 2006 (UTC)

Or Hilbert's program or Godel. I guess the 20th century section still needs to be written. CharlesGillingham 12:40, 26 June 2007 (UTC)

How about, as a start: "Highlights of twentienth century logic include the Principia Mathematica of Russell and Whitehead, which presented a system of type-theory in which most of classical mathematics could be presented; Goedel's Completeness Theorem for the first-order predicate calculus; and Tarski's analysis of the concept of truth. See also Foundations of mathematics." 131.111.164.226 11:44, 30 August 2007 (UTC)