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, Godel’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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.