Klassische Logik : : Einführung mit interaktiven Übungen /

Klassische Logik : : Einführung mit interaktiven Übungen / / Timm Lampert.

Das Buch vermittelt die Grundlagen der Aussagen- und erweiterten Prädikatenlogik in 12 Lektionen. Neben Techniken zum Überprüfen der Schlüssigkeit von Argumenten bilden die Kunst des Formalisierens wissenschaftlicher Argumente und metalogische Fragen den Inhalt des Buches. Das Buch eignet sich in Ve...

Full description

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter DGBA Philosophy 2000 - 2014
VerfasserIn:
Lampert, Timm,
Place / Publishing House:Berlin ;, Boston : : De Gruyter, , [2013]
©2004
Year of Publication:2013
Language:German
Series:Logos : Studien zur Logik, Sprachphilosophie und Metaphysik , 5
Online Access:
Physical Description:1 online resource (402 p.) :; Zahl. Abb.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 9783110324167
ctrlnum (DE-B1597)211187
(OCoLC)865116759
collection bib_alma
record_format marc
spelling Lampert, Timm, author. aut http://id.loc.gov/vocabulary/relators/aut
Klassische Logik : Einführung mit interaktiven Übungen / Timm Lampert.
Berlin ; Boston : De Gruyter, [2013]
©2004
1 online resource (402 p.) : Zahl. Abb.
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file PDF rda
Logos : Studien zur Logik, Sprachphilosophie und Metaphysik , 2198-2201 ; 5
Frontmatter -- Inhaltsverzeichnis -- VORWORT -- Teil A. Einführung -- LEKTION 1. KLASSISCHE LOGIK -- Teil B. Aussagenlogik -- LEKTION 2. WAHRHEITSWERTTABELLEN -- LEKTION 3. AUSSAGENLOGISCHE FORMALISIERUNG -- LEKTION 4. AUSSAGENLOGISCHER KALKÜL -- LEKTION 5. AUSSAGENLOGISCHE SCHLUSSREGELN -- LEKTION 6. KORREKTHEIT UND VOLLSTÄNDIGKEIT -- Teil C. Quantorenlogik -- LEKTION 7. EINFÜHRUNG IN DIE QUANTORENLOGIK -- LEKTION 8. Q-INTERPRETATIONEN -- LEKTION 9. QUANTORENLOGISCHE FORMALISIERUNG -- LEKTION 10. QUANTORENLOGISCHER KALKÜL LEKTION -- LEKTION 11. IDENTITÄT -- LEKTION 12. UNENTSCHEIDBARKEIT DER QUANTORENLOGIK -- NACHWORT -- VERZEICHNIS DER ZITIERTEN SCHRIFTEN -- Teil D. Anhang -- LISTE DER WICHTIGSTEN AUSSAGENLOGISCHEN SCHLUSSREGELN -- LISTE DER GÜLTIGEN SYLLOGISMEN -- LISTE DER WICHTIGSTEN QUANTORENLOGISCHEN SCHLUSSREGELN -- VERZEICHNIS DER ABKÜRZUNGEN UND SYMBOLE -- INDEX
restricted access http://purl.org/coar/access_right/c_16ec online access with authorization star
Das Buch vermittelt die Grundlagen der Aussagen- und erweiterten Prädikatenlogik in 12 Lektionen. Neben Techniken zum Überprüfen der Schlüssigkeit von Argumenten bilden die Kunst des Formalisierens wissenschaftlicher Argumente und metalogische Fragen den Inhalt des Buches. Das Buch eignet sich in Verbindung mit begleitenden interaktiven Übungseinheiten und Klausuren, die über Internet zugänglich sind, sowohl zum Selbststudium als auch für Einführungskurse in die Logik. Die zweite überarbeitete Auflage erscheint in einem größeren und besser lesbaren Format.
Issued also in print.
Mode of access: Internet via World Wide Web.
In German.
Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023)
Predicate (Logic).
Propositional calculus Electronic books.
Propositional calculus.
Logik.
Philosophie.
PHILOSOPHY / General. bisacsh
Title is part of eBook package: De Gruyter DGBA Philosophy 2000 - 2014 9783110636949 ZDB-23-GPH
Title is part of eBook package: De Gruyter eBook Paket De Gruyter Ontos 2002-2012 9783110331219 ZDB-23-DON
print 9783110323856
https://doi.org/10.1515/9783110324167
https://www.degruyter.com/isbn/9783110324167
Cover https://www.degruyter.com/document/cover/isbn/9783110324167/original
language German
format eBook
author Lampert, Timm,
Lampert, Timm,
spellingShingle Lampert, Timm,
Lampert, Timm,
Klassische Logik : Einführung mit interaktiven Übungen /
Logos : Studien zur Logik, Sprachphilosophie und Metaphysik ,
Frontmatter --
Inhaltsverzeichnis --
VORWORT --
Teil A. Einführung --
LEKTION 1. KLASSISCHE LOGIK --
Teil B. Aussagenlogik --
LEKTION 2. WAHRHEITSWERTTABELLEN --
LEKTION 3. AUSSAGENLOGISCHE FORMALISIERUNG --
LEKTION 4. AUSSAGENLOGISCHER KALKÜL --
LEKTION 5. AUSSAGENLOGISCHE SCHLUSSREGELN --
LEKTION 6. KORREKTHEIT UND VOLLSTÄNDIGKEIT --
Teil C. Quantorenlogik --
LEKTION 7. EINFÜHRUNG IN DIE QUANTORENLOGIK --
LEKTION 8. Q-INTERPRETATIONEN --
LEKTION 9. QUANTORENLOGISCHE FORMALISIERUNG --
LEKTION 10. QUANTORENLOGISCHER KALKÜL LEKTION --
LEKTION 11. IDENTITÄT --
LEKTION 12. UNENTSCHEIDBARKEIT DER QUANTORENLOGIK --
NACHWORT --
VERZEICHNIS DER ZITIERTEN SCHRIFTEN --
Teil D. Anhang --
LISTE DER WICHTIGSTEN AUSSAGENLOGISCHEN SCHLUSSREGELN --
LISTE DER GÜLTIGEN SYLLOGISMEN --
LISTE DER WICHTIGSTEN QUANTORENLOGISCHEN SCHLUSSREGELN --
VERZEICHNIS DER ABKÜRZUNGEN UND SYMBOLE --
INDEX
author_facet Lampert, Timm,
Lampert, Timm,
author_variant t l tl
t l tl
author_role VerfasserIn
VerfasserIn
author_sort Lampert, Timm,
title Klassische Logik : Einführung mit interaktiven Übungen /
title_sub Einführung mit interaktiven Übungen /
title_full Klassische Logik : Einführung mit interaktiven Übungen / Timm Lampert.
title_fullStr Klassische Logik : Einführung mit interaktiven Übungen / Timm Lampert.
title_full_unstemmed Klassische Logik : Einführung mit interaktiven Übungen / Timm Lampert.
title_auth Klassische Logik : Einführung mit interaktiven Übungen /
title_alt Frontmatter --
Inhaltsverzeichnis --
VORWORT --
Teil A. Einführung --
LEKTION 1. KLASSISCHE LOGIK --
Teil B. Aussagenlogik --
LEKTION 2. WAHRHEITSWERTTABELLEN --
LEKTION 3. AUSSAGENLOGISCHE FORMALISIERUNG --
LEKTION 4. AUSSAGENLOGISCHER KALKÜL --
LEKTION 5. AUSSAGENLOGISCHE SCHLUSSREGELN --
LEKTION 6. KORREKTHEIT UND VOLLSTÄNDIGKEIT --
Teil C. Quantorenlogik --
LEKTION 7. EINFÜHRUNG IN DIE QUANTORENLOGIK --
LEKTION 8. Q-INTERPRETATIONEN --
LEKTION 9. QUANTORENLOGISCHE FORMALISIERUNG --
LEKTION 10. QUANTORENLOGISCHER KALKÜL LEKTION --
LEKTION 11. IDENTITÄT --
LEKTION 12. UNENTSCHEIDBARKEIT DER QUANTORENLOGIK --
NACHWORT --
VERZEICHNIS DER ZITIERTEN SCHRIFTEN --
Teil D. Anhang --
LISTE DER WICHTIGSTEN AUSSAGENLOGISCHEN SCHLUSSREGELN --
LISTE DER GÜLTIGEN SYLLOGISMEN --
LISTE DER WICHTIGSTEN QUANTORENLOGISCHEN SCHLUSSREGELN --
VERZEICHNIS DER ABKÜRZUNGEN UND SYMBOLE --
INDEX
title_new Klassische Logik :
title_sort klassische logik : einführung mit interaktiven übungen /
series Logos : Studien zur Logik, Sprachphilosophie und Metaphysik ,
series2 Logos : Studien zur Logik, Sprachphilosophie und Metaphysik ,
publisher De Gruyter,
publishDate 2013
physical 1 online resource (402 p.) : Zahl. Abb.
Issued also in print.
contents Frontmatter --
Inhaltsverzeichnis --
VORWORT --
Teil A. Einführung --
LEKTION 1. KLASSISCHE LOGIK --
Teil B. Aussagenlogik --
LEKTION 2. WAHRHEITSWERTTABELLEN --
LEKTION 3. AUSSAGENLOGISCHE FORMALISIERUNG --
LEKTION 4. AUSSAGENLOGISCHER KALKÜL --
LEKTION 5. AUSSAGENLOGISCHE SCHLUSSREGELN --
LEKTION 6. KORREKTHEIT UND VOLLSTÄNDIGKEIT --
Teil C. Quantorenlogik --
LEKTION 7. EINFÜHRUNG IN DIE QUANTORENLOGIK --
LEKTION 8. Q-INTERPRETATIONEN --
LEKTION 9. QUANTORENLOGISCHE FORMALISIERUNG --
LEKTION 10. QUANTORENLOGISCHER KALKÜL LEKTION --
LEKTION 11. IDENTITÄT --
LEKTION 12. UNENTSCHEIDBARKEIT DER QUANTORENLOGIK --
NACHWORT --
VERZEICHNIS DER ZITIERTEN SCHRIFTEN --
Teil D. Anhang --
LISTE DER WICHTIGSTEN AUSSAGENLOGISCHEN SCHLUSSREGELN --
LISTE DER GÜLTIGEN SYLLOGISMEN --
LISTE DER WICHTIGSTEN QUANTORENLOGISCHEN SCHLUSSREGELN --
VERZEICHNIS DER ABKÜRZUNGEN UND SYMBOLE --
INDEX
isbn 9783110324167
9783110636949
9783110331219
9783110323856
issn 2198-2201 ;
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA9
callnumber-sort QA 19.25
url https://doi.org/10.1515/9783110324167
https://www.degruyter.com/isbn/9783110324167
https://www.degruyter.com/document/cover/isbn/9783110324167/original
illustrated Not Illustrated
dewey-hundreds 100 - Philosophy & psychology
dewey-tens 160 - Logic
dewey-ones 160 - Logic
dewey-full 160
dewey-sort 3160
dewey-raw 160
dewey-search 160
doi_str_mv 10.1515/9783110324167
oclc_num 865116759
work_keys_str_mv AT lamperttimm klassischelogikeinfuhrungmitinteraktivenubungen
status_str n
ids_txt_mv (DE-B1597)211187
(OCoLC)865116759
carrierType_str_mv cr
hierarchy_parent_title Title is part of eBook package: De Gruyter DGBA Philosophy 2000 - 2014
Title is part of eBook package: De Gruyter eBook Paket De Gruyter Ontos 2002-2012
is_hierarchy_title Klassische Logik : Einführung mit interaktiven Übungen /
container_title Title is part of eBook package: De Gruyter DGBA Philosophy 2000 - 2014
_version_ 1770177557458583552
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04083nam a22006975i 4500</leader><controlfield tag="001">9783110324167</controlfield><controlfield tag="003">DE-B1597</controlfield><controlfield tag="005">20230228123812.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr || ||||||||</controlfield><controlfield tag="008">230228t20132004gw fo d z ger d</controlfield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">(OCoLC)1013967160</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110324167</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783110324167</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-B1597)211187</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)865116759</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-B1597</subfield><subfield code="b">eng</subfield><subfield code="c">DE-B1597</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA9.25</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">PHI000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="8">1u</subfield><subfield code="a">160</subfield><subfield code="q">DE-101</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lampert, Timm, </subfield><subfield code="e">author.</subfield><subfield code="4">aut</subfield><subfield code="4">http://id.loc.gov/vocabulary/relators/aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Klassische Logik :</subfield><subfield code="b">Einführung mit interaktiven Übungen /</subfield><subfield code="c">Timm Lampert.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ;</subfield><subfield code="a">Boston : </subfield><subfield code="b">De Gruyter, </subfield><subfield code="c">[2013]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (402 p.) :</subfield><subfield code="b">Zahl. Abb.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="347" ind1=" " ind2=" "><subfield code="a">text file</subfield><subfield code="b">PDF</subfield><subfield code="2">rda</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Logos : Studien zur Logik, Sprachphilosophie und Metaphysik ,</subfield><subfield code="x">2198-2201 ;</subfield><subfield code="v">5</subfield></datafield><datafield tag="505" ind1="0" ind2="0"><subfield code="t">Frontmatter -- </subfield><subfield code="t">Inhaltsverzeichnis -- </subfield><subfield code="t">VORWORT -- </subfield><subfield code="t">Teil A. Einführung -- </subfield><subfield code="t">LEKTION 1. KLASSISCHE LOGIK -- </subfield><subfield code="t">Teil B. Aussagenlogik -- </subfield><subfield code="t">LEKTION 2. WAHRHEITSWERTTABELLEN -- </subfield><subfield code="t">LEKTION 3. AUSSAGENLOGISCHE FORMALISIERUNG -- </subfield><subfield code="t">LEKTION 4. AUSSAGENLOGISCHER KALKÜL -- </subfield><subfield code="t">LEKTION 5. AUSSAGENLOGISCHE SCHLUSSREGELN -- </subfield><subfield code="t">LEKTION 6. KORREKTHEIT UND VOLLSTÄNDIGKEIT -- </subfield><subfield code="t">Teil C. Quantorenlogik -- </subfield><subfield code="t">LEKTION 7. EINFÜHRUNG IN DIE QUANTORENLOGIK -- </subfield><subfield code="t">LEKTION 8. Q-INTERPRETATIONEN -- </subfield><subfield code="t">LEKTION 9. QUANTORENLOGISCHE FORMALISIERUNG -- </subfield><subfield code="t">LEKTION 10. QUANTORENLOGISCHER KALKÜL LEKTION -- </subfield><subfield code="t">LEKTION 11. IDENTITÄT -- </subfield><subfield code="t">LEKTION 12. UNENTSCHEIDBARKEIT DER QUANTORENLOGIK -- </subfield><subfield code="t">NACHWORT -- </subfield><subfield code="t">VERZEICHNIS DER ZITIERTEN SCHRIFTEN -- </subfield><subfield code="t">Teil D. Anhang -- </subfield><subfield code="t">LISTE DER WICHTIGSTEN AUSSAGENLOGISCHEN SCHLUSSREGELN -- </subfield><subfield code="t">LISTE DER GÜLTIGEN SYLLOGISMEN -- </subfield><subfield code="t">LISTE DER WICHTIGSTEN QUANTORENLOGISCHEN SCHLUSSREGELN -- </subfield><subfield code="t">VERZEICHNIS DER ABKÜRZUNGEN UND SYMBOLE -- </subfield><subfield code="t">INDEX</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">restricted access</subfield><subfield code="u">http://purl.org/coar/access_right/c_16ec</subfield><subfield code="f">online access with authorization</subfield><subfield code="2">star</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Das Buch vermittelt die Grundlagen der Aussagen- und erweiterten Prädikatenlogik in 12 Lektionen. Neben Techniken zum Überprüfen der Schlüssigkeit von Argumenten bilden die Kunst des Formalisierens wissenschaftlicher Argumente und metalogische Fragen den Inhalt des Buches. Das Buch eignet sich in Verbindung mit begleitenden interaktiven Übungseinheiten und Klausuren, die über Internet zugänglich sind, sowohl zum Selbststudium als auch für Einführungskurse in die Logik. Die zweite überarbeitete Auflage erscheint in einem größeren und besser lesbaren Format.</subfield></datafield><datafield tag="530" ind1=" " ind2=" "><subfield code="a">Issued also in print.</subfield></datafield><datafield tag="538" ind1=" " ind2=" "><subfield code="a">Mode of access: Internet via World Wide Web.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">In German.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Predicate (Logic).</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Propositional calculus</subfield><subfield code="x">Electronic books.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Propositional calculus.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PHILOSOPHY / General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">DGBA Philosophy 2000 - 2014</subfield><subfield code="z">9783110636949</subfield><subfield code="o">ZDB-23-GPH</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Title is part of eBook package:</subfield><subfield code="d">De Gruyter</subfield><subfield code="t">eBook Paket De Gruyter Ontos 2002-2012</subfield><subfield code="z">9783110331219</subfield><subfield code="o">ZDB-23-DON</subfield></datafield><datafield tag="776" ind1="0" ind2=" "><subfield code="c">print</subfield><subfield code="z">9783110323856</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1515/9783110324167</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://www.degruyter.com/isbn/9783110324167</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="3">Cover</subfield><subfield code="u">https://www.degruyter.com/document/cover/isbn/9783110324167/original</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_BACKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_CL_PLTLJSIS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_DGALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_EBKALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">EBA_SSHALL</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV-deGruyter-alles</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA11SSHE</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">PDA5EBK</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-DON</subfield><subfield code="c">2002</subfield><subfield code="d">2012</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-23-GPH</subfield><subfield code="c">2000</subfield><subfield code="d">2014</subfield></datafield></record></collection>

Similar Items