Einstieg in die formale Logik. Ein Lern- und Übungsbuch für Nichtmathematiker. Introduction into formal logic. A text- and exercise book for non-mathematicians. Ruppen, P., (in German) ISBN 3-906756-85-8 Bern (Switzerland). Lang. 1997. 368 p.
The introduction into formal logic is directed towards students who are normally not involved in working on mathematical problems. In the meantime, many scientific branches require some mathematical qualifications. Content: Propositional logic; Some metalogic; Predikcate logic; Set theory and semantics of predicate logic; Exercise solutions.
Die Einführung in die formale Logik richtet sich an Studierende, die sich selten oder nie mit mathematischen Problemen befassen. Ein mathematisches Rüstzeug wird inzwischen von vielen Wissenschaftszweigen vorausgesetzt. Das Studium der Logik vermittelt ein Bild über die Grundlage und Grenzen formaler Systeme und erleichtert den Zugang zu mathematischen Theorien und deren Anwendungen. Die logischen Schlussweisen werde Schritt um Schritt mit zahlreichen Beispielen erläutert. Ein ausführlicher Übungs- und Lösungsteil vermittelt Sicherheit im Umgang mit logischen Instrumenten. Inhalt: Aussagenlogik; Etwas Metalogik (Syntax, Interpretation, Konsistenz und Vollständigkeit der Aussagenlogik, Axiomatik, Abweichende Logiksysteme, Bemerkungen zur Philosphie der Logik); Prädikatenlogik; Mengenlehre und Semantik der Prädikatenlogik; Lösungen zu den Übungen.
I-CC: E30
I-CCS1: E 10
I-CT: LOGICAL THINKING; MATHEMATICAL LOGIC; PREDICATE LOGIC; PROPOSITIONAL LOGIC; FOUNDATIONS OF MATHEMATICS; AXIOMATICS; CONSISTENCY OF AXIOMS; METALANGUAGE; EQUIVALENCE; IMPLICATION; TEXTBOOKS; SET THEORY; RELATIONS; FUNCTIONS; ANTINOMIES
|