Dieses Lehrbuch geht von der Praxis des Argumentierens in der natürlichen Sprache aus und entwickelt von dort her die formale Logik. Im Mittelpunkt der Darstellung steht die logische Folgerung, also diejenige Beziehung zwischen Aussagen, die das Argumentieren und beweisende Denken ermöglicht. Zunächst werden die Begriffe der aussagenlogischen und prädikatenlogischen Folgerung entwickelt. Dann wird das Baumverfahren von Smullyan und Jeffrey als Folgerungsfeststellungs- oder Ableitungsmethode präsentiert. Abschließend wird bewiesen, daß diese Methode korrekt ist und alle prädikatenlogischen Folgerungen erfaßt. Das Buch ist eine ideale Hilfe für jeden Anfänger des Logikstudiums und setzt keine Vorkenntnisse voraus.
'Die didaktische Qualität des Buches ist hervorragend.' (Information Philosophie)
Verlag: Alber
Ausstattung: 320 S.
ISBN: 3495479058
Preis: 18,00 €
Hier bei Buecher.de bestellen!
Bestellen Sie über obige Links! Sie fördern dadurch die Digitalisierung weiterer Bücher, da Zeno.org eine Provision von dem Sponsor erhält. Wann immer Sie etwas bestellen möchten - prüfen Sie vorher die Millionen von Angeboten, die im Zeno.org-Shop beschrieben sind. Bookmarken Sie die Einstiegsseite in den Zeno.org-Shop für spätere Gelegenheiten. Vielen Dank für Ihre Unterstützung.
Adelung-1793: Buhler, der · Logik, die
Brockhaus-1809: Logik · Die Logik
Brockhaus-1911: Bühler · Logik
Eisler-1904: Objective Logik · Natürliche Logik · Mathematische Logik · Logik · Transcendentale Logik · Reine Logik · Logik · Immanente Logik · Formale Logik · Logik, sociale · Logik, natürliche · Logik der Tatsachen
Kirchner-Michaelis-1907: Logik
Mauthner-1923: Logik der Tatsachen · Algebra der Logik
Pierer-1857: Buhler · Logik · Einführung