Abstract
In this introductory chapter the topic of the book is explained: distinguishing valid patterns of reasoning from invalid ones. The validity may depend on the meaning of connectives like ‘if . . . , then . . . ’, ‘and’, ‘or’ and ‘not’, in which case one speaks of propositional logic. But the validity may also depend on the meaning of the quantifiers ‘for all’ and ‘for some’, in which case one speaks of predicate logic. If we extend the logical language with symbols for addition and multiplication of natural numbers, Gödel’s famous incompleteness theorems show up. In order to have meaning, logical formulae presuppose a universe of discourse, or a set, which may be finite or infinite. In particular infinite sets have peculiar properties. If the validity of a reasoning pattern also depends on the meaning of modalities, like ‘necessary’ and ‘possible’, one speaks of modal logic. Modal logic helps to clarify or solve certain issues in the philosophy of language. It turns out that validity of an argument is also dependent on philosophical presuppositions. Changing the philosophical point of view may result in intuitionistic logic. The language of logic may be used as a programming language: Prolog (Programming in Logic); and the theory of sets is the basis for relational databases and the query language SQL; another application of logic is social choice theory. Fallacies and unfair discussion methods are abundantly present in daily discourse and hence deserve attention too.
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
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this chapter
Cite this chapter
de Swart, H.C.M.(. (2018). Logic; a First Impression. In: Philosophical and Mathematical Logic. Springer Undergraduate Texts in Philosophy. Springer, Cham. https://doi.org/10.1007/978-3-030-03255-5_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-03255-5_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-03253-1
Online ISBN: 978-3-030-03255-5
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)