Advertisement

Reactions: logic and the excluded middle

  • Walter Lietzmann
Chapter
Part of the Science Networks. Historical Studies book series (SNHS, volume 28)

Abstract

In mathematics one uses various kinds of argumentations. Some are well-known logical rules, such as the syllogism: all men are mortal, Socrates is a man, therefore Socrates is mortal. Others are not formalised in strict rules and rely on ‘good understanding’. Mathematicians usually agree on what they consider legitimate arguments in a mathematical proof. But is this sufficient? Does this mean that the argumentations mathematicians have employed for centuries are correct?

Keywords

Classical Logic Intuitionistic Logic Double Negation Classical Propositional Logic Incompleteness Theorem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Basel AG 2003

Authors and Affiliations

  • Walter Lietzmann

There are no affiliations available

Personalised recommendations