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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2009 Springer-Verlag US
About this chapter
Cite this chapter
Williams, H.P. (2009). An Introduction To Logic. In: Logic and Integer Programming. International Series in Operations Research & Management Science, vol 130. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-92280-5_1
Download citation
DOI: https://doi.org/10.1007/978-0-387-92280-5_1
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-92279-9
Online ISBN: 978-0-387-92280-5
eBook Packages: Computer ScienceComputer Science (R0)