Logik : : Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik /

Logik : : Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik / / Gerhard Schurz.

Show other versions (1)

Dieses Buch umfaßt einen Grundkurs und einen Aufbaukurs. Der Grundkurs ist voraussetzungsfrei geschrieben und führt den Leser in die Semantik und Beweistheorie der Aussagenlogik und elementaren Prädikatenlogik ein, eingebettet in die allgemeine Theorie des rationalen Schließens. Auf die philosophisc...

Full description

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter DG Plus DeG Package 2020 Part 1
VerfasserIn:
Schurz, Gerhard,
Place / Publishing House:Berlin ;, Boston : : De Gruyter, , [2020]
©2020
Year of Publication:2020
Edition:2., korrigierte und erweiterte Auflage
Language:German
Series:De Gruyter Studium
Online Access:
Physical Description:1 online resource (XII, 435 p.)
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 06089nam a22008055i 4500
001 9783110697391
003 DE-B1597
005 20230127011820.0
006 m|||||o||d||||||||
007 cr || ||||||||
008 230127t20202020gw fo d z ger d
010 |a 2020935879 
020 |a 9783110697391 
024 7 |a 10.1515/9783110697391  |2 doi 
035 |a (DE-B1597)546560 
035 |a (OCoLC)1191864167 
040 |a DE-B1597  |b eng  |c DE-B1597  |e rda 
041 0 |a ger 
044 |a gw  |c DE 
084 |a CC 2400  |q SEPA  |2 rvk  |0 (DE-625)rvk/17608: 
100 1 |a Schurz, Gerhard,   |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Logik :  |b Grund- und Aufbaukurs in Aussagen- und Prädikatenlogik /  |c Gerhard Schurz. 
250 |a 2., korrigierte und erweiterte Auflage 
264 1 |a Berlin ;  |a Boston :   |b De Gruyter,   |c [2020] 
264 4 |c ©2020 
300 |a 1 online resource (XII, 435 p.) 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 0 |a De Gruyter Studium 
505 0 0 |t Frontmatter --   |t Vorwort --   |t Vorwort zur zweiten Auflage --   |t Inhaltsverzeichnis --   |t Teil I: Grundkurs in Aussagenlogik und elementarer Prädikatenlogik --   |t 1. Allgemeine Grundlagen --   |t Sektion A: Aussagenlogik (AL) --   |t 2. Junktoren und ihre Wahrheitstafeln --   |t 3. Aussagenlogische Sprache --   |t 4. Aussagenlogische Semantik I: Die Wahrheitstafelmethode --   |t 5. Aussagenlogische Semantik II: Die Reduktio ad Absurdum Methode --   |t 6. Rekonstruktion natursprachlicher Sätze und Argumente --   |t 7. Wichtige Regeln und Theoreme der Aussagenlogik --   |t 8. Deduktive Methode --   |t Sektion B: Elementare Prädikatenlogik (PL) --   |t 9. Grundlagen der Prädikatenlogik --   |t 10. Die Sprache der Prädikatenlogik --   |t 11. Rekonstruktion natursprachlicher Sätze in der PL --   |t 12. Deduktive Methode in der Prädikatenlogik --   |t Teil II: Aufbaukurs in Prädikatenlogik und Metalogik --   |t Sektion C: Fortgeschrittene Prädikatenlogik (inklusive Aussagenlogik) --   |t 13. Äquivalenzumformungen in der Aussagen- und Prädikatenlogik --   |t 14. Beweistheorie: Kalkülarten in Aussagenund Prädikatenlogik --   |t 15. Modelltheorie: Semantik der Prädikatenlogik --   |t 16. Prädikatenlogik mit Identität und Funktionszeichen (PL=) --   |t 17. Anwendungen der PL= --   |t Sektion D: Metalogik --   |t 18. Informelle und formelle Mengenlehre --   |t 19. Induktive Beweise und Metatheoreme der PL --   |t 20. Korrektheit und Vollständigkeit der PL --   |t 21. Exkurs: Metalogik und die Grenzen der PL --   |t Literaturverzeichnis --   |t Symbol- und Abkürzungsverzeichnis --   |t Übersicht über Definitionen, Merksätze und Abbildungen --   |t Sachregister --   |t Personenregister 
506 0 |a restricted access  |u http://purl.org/coar/access_right/c_16ec  |f online access with authorization  |2 star 
520 |a Dieses Buch umfaßt einen Grundkurs und einen Aufbaukurs. Der Grundkurs ist voraussetzungsfrei geschrieben und führt den Leser in die Semantik und Beweistheorie der Aussagenlogik und elementaren Prädikatenlogik ein, eingebettet in die allgemeine Theorie des rationalen Schließens. Auf die philosophische Anwendung der Logik in der logischen Rekonstruktion natursprachlicher Argumente liegt besonderes Augenmerk. Zusammenhänge zwischen alternativen logischen Notationen und Techniken werden sorgfältig erklärt. Der anschließende Aufbaukurs schlägt die Brücke zwischen einer philosophischen Logikeinführung und dem fortgeschrittenen Niveau moderner formaler Logik. Nach einer gründlichen Einführung in die volle Prädikatenlogik und ihrer Semantik wendet sich der Band metalogischen Methoden zu. Prominente Resultate zur Korrektheit und Vollständigkeit der Prädikatenlogik, Unentscheidbarkeit der Prädikatenlogik und Unvollständigkeit der Arithmetik 1. Stufe werden Schritt um Schritt erklärt. Abgerundet wird der Band durch vertiefende Exkurse und zahlreiche Übungen mit Lösungen zum Download. Die 2. revidierte Auflage wurde inhaltlich und didaktisch gründlich überarbeitet. 
520 |a This book comprises a basic and advanced course. The basic course introduces into propositional and predicate logic and the reconstruction of natural language arguments. The advanced course deals with predicate logic including metalogical results about (in)completeness and (un)decidability. Numerous exercises with downloadable solutions deepen the content. The second edition offers corrections of mistakes and didactical improvements. 
530 |a Issued also in print. 
538 |a Mode of access: Internet via World Wide Web. 
546 |a In German. 
588 0 |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 27. Jan 2023) 
650 4 |a Aussagenlogik. 
650 4 |a Logik. 
650 4 |a Metalogik. 
650 4 |a Prädikatenlogik. 
650 4 |a Semantik. 
653 |a Semantics. 
653 |a logic. 
653 |a metalogic. 
653 |a predicate logic. 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t DG Plus DeG Package 2020 Part 1  |z 9783110696271 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t EBOOK PACKAGE COMPLETE 2020  |z 9783110704518  |o ZDB-23-DGG 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t EBOOK PACKAGE Philosophy 2020  |z 9783110704648  |o ZDB-23-DPH 
776 0 |c EPUB  |z 9783110697476 
776 0 |c print  |z 9783110697148 
856 4 0 |u https://doi.org/10.1515/9783110697391 
856 4 0 |u https://www.degruyter.com/isbn/9783110697391 
856 4 2 |3 Cover  |u https://www.degruyter.com/document/cover/isbn/9783110697391/original 
912 |a 978-3-11-069627-1 DG Plus DeG Package 2020 Part 1  |b 2020 
912 |a EBA_BACKALL 
912 |a EBA_CL_MTPY 
912 |a EBA_CL_PLTLJSIS 
912 |a EBA_DGALL 
912 |a EBA_EBKALL 
912 |a EBA_SSHALL 
912 |a EBA_STMALL 
912 |a GBV-deGruyter-alles 
912 |a PDA11SSHE 
912 |a PDA12STME 
912 |a PDA5EBK 
912 |a ZDB-23-DGG  |b 2020 
912 |a ZDB-23-DPH  |b 2020 

Similar Items