Bewertung:
![Elementare Logik [Erste Ausgabe]](/_/1/587/1587968-3a8d.webp)
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 2 Stimmen.
Elementary Logic [First Edition]
2014 Nachdruck der Originalausgabe von 1941.
Genaues Faksimile der Originalausgabe, nicht mit optischer Erkennungssoftware reproduziert. W.
V. Quines „Elementare Logik“ ist trotz seiner Kürze bemerkenswert für seinen Umfang und seine Strenge. Es bietet einen einzigen Strang einfacher Techniken für das zentrale Geschäft der modernen Logik.
Es werden grundlegende formale Konzepte erklärt, die Umschreibung von Wörtern in Symbole wird ausführlich behandelt, und es wird ein Prüfverfahren für die Wahrheitsfunktionslogik sowie ein vollständiges Beweisverfahren für die Logik der Quantoren angegeben. Die Studie ist in erster Linie als bequeme Verkapselung des Notwendigsten gedacht, schließt aber mit einem kurzen Ausblick auf weitere Themen.