Advertisement

An Introduction To Logic

  • H. Paul Williams
Chapter
Part of the International Series in Operations Research & Management Science book series (ISOR, volume 130)

Traditionally logic has been concerned with the form of statements as opposed to their content. The aim is to produce a system in which it is possible to deduce true statements from other ‘true’ statements independently of what one is talking about, i.e. independently of the interpretation of the statements. The usual approach is to start with a set of axioms and rules of deduction and produce statements which are true if the axioms are true. Such statements are said to be analytically true, as opposed to statements which are regarded as true on the basis of experimental evidence in, e.g. sciences such as physics, biology, psychology, etc. A major philosophical aim in the late 19th and early 20th centuries was to use logic to put mathematics on a rigorous footing.

Keywords

Normal Form Integer Programming Decision Procedure Atomic Statement Propositional Calculus 
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-Verlag US 2009

Authors and Affiliations

  1. 1.The London School of EconomicsUK

Personalised recommendations