Einführung in die moderne Logik:
8., vollständig überarbeitete AuflageDieses Buch wendet sich an Angehörige aller Wissenschaftsgebiete und gibt eine allgemeinverständliche Einführung in die Grundlagen der modernen Logik. Formalisierungsprozesse werden ausführlich erläutert und Dinge von eher technischem Interesse beiseite gelassen....
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Baden-Baden
Verlag Karl Alber
2016
|
| Ausgabe: | 1. Auflage 2016 |
| Schlagworte: | |
| Online-Zugang: | UBG01 UEI01 Volltext |
| Zusammenfassung: | 8., vollständig überarbeitete AuflageDieses Buch wendet sich an Angehörige aller Wissenschaftsgebiete und gibt eine allgemeinverständliche Einführung in die Grundlagen der modernen Logik. Formalisierungsprozesse werden ausführlich erläutert und Dinge von eher technischem Interesse beiseite gelassen. Behandelt werden Aussagenlogik, elementare Prädikatenlogik, Identität und Kennzeichnungen. In zwei ergänzenden Kapiteln werden Prinzipien des Definierens und Grundbegriffe der Mengenlehre angesprochen. Zahlreiche Aufgaben (mit Lösungen) erleichtern das Einüben des Stoffes.»[...] als Standardwerk zu bezeichnende Einführung« Recensio |
| Beschreibung: | 1 Online-Ressource (219 Seiten) |
| ISBN: | 9783495860885 |
| DOI: | 10.5771/9783495860885 |
Internformat
MARC
| LEADER | 00000nmm a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV048998436 | ||
| 003 | DE-604 | ||
| 005 | 20231227 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 230613m2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783495860885 |9 978-3-495-86088-5 | ||
| 024 | 7 | |a 10.5771/9783495860885 |2 doi | |
| 035 | |a (ZDB-18-NOV)978-3-495-47209-5 | ||
| 035 | |a (OCoLC)1385289032 | ||
| 035 | |a (DE-599)BVBBV048998436 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-824 |a DE-473 | ||
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a PI 3020 |0 (DE-625)136586: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a BF 8400 |0 (DE-625)11172: |2 rvk | ||
| 084 | |a MR 1100 |0 (DE-625)123485: |2 rvk | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 100 | 1 | |a Kutschera, Franz von |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Einführung in die moderne Logik |c von Franz von Kutscheran Alfred Breitkopf |
| 250 | |a 1. Auflage 2016 | ||
| 264 | 1 | |a Baden-Baden |b Verlag Karl Alber |c 2016 | |
| 300 | |a 1 Online-Ressource (219 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 505 | 8 | |a 1 Gegenstand und Bedeutung der Logik -- 2 Sätze und Satzverbindungen -- 3 Satzoperatoren -- 4 Aussagenlogische Schlüsse -- 5 Syntax und Semantik der Aussagenlogik -- 6 Eine axiomatische Theorie der Aussagenlogik -- 7 Widerspruchsfreiheit und Vollständigkeit der Aussagenlogik -- 8 Namen, Prädikate und Quantoren -- 9 Syntax und Semantik der Prädikatenlogik -- 10 Eine axiomatische Theorie der Prädikatenlogik -- 11 Widerspruchsfreiheit und Vollständigkeit der Prädikatenlogik -- 12 Der prädikatenlogische Baumkalkül -- 13 Erweiterungen der Prädikatenlogik -- 14 Definitionen -- 15 Mengenlehre -- Anhang -- Bibliographie -- Sachregister -- Symbolverzeichnis | |
| 520 | 3 | |a 8., vollständig überarbeitete AuflageDieses Buch wendet sich an Angehörige aller Wissenschaftsgebiete und gibt eine allgemeinverständliche Einführung in die Grundlagen der modernen Logik. Formalisierungsprozesse werden ausführlich erläutert und Dinge von eher technischem Interesse beiseite gelassen. Behandelt werden Aussagenlogik, elementare Prädikatenlogik, Identität und Kennzeichnungen. In zwei ergänzenden Kapiteln werden Prinzipien des Definierens und Grundbegriffe der Mengenlehre angesprochen. Zahlreiche Aufgaben (mit Lösungen) erleichtern das Einüben des Stoffes.»[...] als Standardwerk zu bezeichnende Einführung« Recensio | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Philosophy | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 653 | |a Philosophie | ||
| 653 | |a Identität | ||
| 653 | |a Logik | ||
| 653 | |a Beweis | ||
| 655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Breitkopf, Alfred |e Verfasser |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9783495472095 |
| 856 | 4 | 0 | |u https://doi.org/10.5771/9783495860885 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-18-NOV | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-034261649 | ||
| 966 | e | |u https://doi.org/10.5771/9783495860885 |l UBG01 |p ZDB-18-NOV |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.5771/9783495860885 |l UEI01 |p ZDB-18-NOV |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804185260149178368 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Kutschera, Franz von Breitkopf, Alfred |
| author_facet | Kutschera, Franz von Breitkopf, Alfred |
| author_role | aut aut |
| author_sort | Kutschera, Franz von |
| author_variant | f v k fv fvk a b ab |
| building | Verbundindex |
| bvnumber | BV048998436 |
| classification_rvk | CC 2400 PI 3020 SK 130 BF 8400 MR 1100 CC 2500 |
| collection | ZDB-18-NOV |
| contents | 1 Gegenstand und Bedeutung der Logik -- 2 Sätze und Satzverbindungen -- 3 Satzoperatoren -- 4 Aussagenlogische Schlüsse -- 5 Syntax und Semantik der Aussagenlogik -- 6 Eine axiomatische Theorie der Aussagenlogik -- 7 Widerspruchsfreiheit und Vollständigkeit der Aussagenlogik -- 8 Namen, Prädikate und Quantoren -- 9 Syntax und Semantik der Prädikatenlogik -- 10 Eine axiomatische Theorie der Prädikatenlogik -- 11 Widerspruchsfreiheit und Vollständigkeit der Prädikatenlogik -- 12 Der prädikatenlogische Baumkalkül -- 13 Erweiterungen der Prädikatenlogik -- 14 Definitionen -- 15 Mengenlehre -- Anhang -- Bibliographie -- Sachregister -- Symbolverzeichnis |
| ctrlnum | (ZDB-18-NOV)978-3-495-47209-5 (OCoLC)1385289032 (DE-599)BVBBV048998436 |
| discipline | Rechtswissenschaft Soziologie Mathematik Philosophie Theologie / Religionswissenschaften |
| discipline_str_mv | Rechtswissenschaft Soziologie Mathematik Philosophie Theologie / Religionswissenschaften |
| doi_str_mv | 10.5771/9783495860885 |
| edition | 1. Auflage 2016 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03428nmm a2200613 c 4500</leader><controlfield tag="001">BV048998436</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20231227 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">230613m2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783495860885</subfield><subfield code="9">978-3-495-86088-5</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.5771/9783495860885</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-18-NOV)978-3-495-47209-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1385289032</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048998436</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-824</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PI 3020</subfield><subfield code="0">(DE-625)136586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">BF 8400</subfield><subfield code="0">(DE-625)11172:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MR 1100</subfield><subfield code="0">(DE-625)123485:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kutschera, Franz von</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die moderne Logik</subfield><subfield code="c">von Franz von Kutscheran Alfred Breitkopf</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. Auflage 2016</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Baden-Baden</subfield><subfield code="b">Verlag Karl Alber</subfield><subfield code="c">2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (219 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">1 Gegenstand und Bedeutung der Logik -- 2 Sätze und Satzverbindungen -- 3 Satzoperatoren -- 4 Aussagenlogische Schlüsse -- 5 Syntax und Semantik der Aussagenlogik -- 6 Eine axiomatische Theorie der Aussagenlogik -- 7 Widerspruchsfreiheit und Vollständigkeit der Aussagenlogik -- 8 Namen, Prädikate und Quantoren -- 9 Syntax und Semantik der Prädikatenlogik -- 10 Eine axiomatische Theorie der Prädikatenlogik -- 11 Widerspruchsfreiheit und Vollständigkeit der Prädikatenlogik -- 12 Der prädikatenlogische Baumkalkül -- 13 Erweiterungen der Prädikatenlogik -- 14 Definitionen -- 15 Mengenlehre -- Anhang -- Bibliographie -- Sachregister -- Symbolverzeichnis</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">8., vollständig überarbeitete AuflageDieses Buch wendet sich an Angehörige aller Wissenschaftsgebiete und gibt eine allgemeinverständliche Einführung in die Grundlagen der modernen Logik. Formalisierungsprozesse werden ausführlich erläutert und Dinge von eher technischem Interesse beiseite gelassen. Behandelt werden Aussagenlogik, elementare Prädikatenlogik, Identität und Kennzeichnungen. In zwei ergänzenden Kapiteln werden Prinzipien des Definierens und Grundbegriffe der Mengenlehre angesprochen. Zahlreiche Aufgaben (mit Lösungen) erleichtern das Einüben des Stoffes.»[...] als Standardwerk zu bezeichnende Einführung« Recensio</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Philosophie</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Identität</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Logik</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Beweis</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Breitkopf, Alfred</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9783495472095</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.5771/9783495860885</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-18-NOV</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034261649</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.5771/9783495860885</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-18-NOV</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.5771/9783495860885</subfield><subfield code="l">UEI01</subfield><subfield code="p">ZDB-18-NOV</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)4151278-9 Einführung gnd-content |
| genre_facet | Einführung |
| id | DE-604.BV048998436 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T22:08:56Z |
| indexdate | 2024-07-10T09:52:24Z |
| institution | BVB |
| isbn | 9783495860885 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034261649 |
| oclc_num | 1385289032 |
| open_access_boolean | |
| owner | DE-824 DE-473 DE-BY-UBG |
| owner_facet | DE-824 DE-473 DE-BY-UBG |
| physical | 1 Online-Ressource (219 Seiten) |
| psigel | ZDB-18-NOV |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Verlag Karl Alber |
| record_format | marc |
| spelling | Kutschera, Franz von Verfasser aut Einführung in die moderne Logik von Franz von Kutscheran Alfred Breitkopf 1. Auflage 2016 Baden-Baden Verlag Karl Alber 2016 1 Online-Ressource (219 Seiten) txt rdacontent c rdamedia cr rdacarrier 1 Gegenstand und Bedeutung der Logik -- 2 Sätze und Satzverbindungen -- 3 Satzoperatoren -- 4 Aussagenlogische Schlüsse -- 5 Syntax und Semantik der Aussagenlogik -- 6 Eine axiomatische Theorie der Aussagenlogik -- 7 Widerspruchsfreiheit und Vollständigkeit der Aussagenlogik -- 8 Namen, Prädikate und Quantoren -- 9 Syntax und Semantik der Prädikatenlogik -- 10 Eine axiomatische Theorie der Prädikatenlogik -- 11 Widerspruchsfreiheit und Vollständigkeit der Prädikatenlogik -- 12 Der prädikatenlogische Baumkalkül -- 13 Erweiterungen der Prädikatenlogik -- 14 Definitionen -- 15 Mengenlehre -- Anhang -- Bibliographie -- Sachregister -- Symbolverzeichnis 8., vollständig überarbeitete AuflageDieses Buch wendet sich an Angehörige aller Wissenschaftsgebiete und gibt eine allgemeinverständliche Einführung in die Grundlagen der modernen Logik. Formalisierungsprozesse werden ausführlich erläutert und Dinge von eher technischem Interesse beiseite gelassen. Behandelt werden Aussagenlogik, elementare Prädikatenlogik, Identität und Kennzeichnungen. In zwei ergänzenden Kapiteln werden Prinzipien des Definierens und Grundbegriffe der Mengenlehre angesprochen. Zahlreiche Aufgaben (mit Lösungen) erleichtern das Einüben des Stoffes.»[...] als Standardwerk zu bezeichnende Einführung« Recensio Philosophie Philosophy Logik (DE-588)4036202-4 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Identität Logik Beweis (DE-588)4151278-9 Einführung gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Logik (DE-588)4036202-4 s Breitkopf, Alfred Verfasser aut Erscheint auch als Druck-Ausgabe 9783495472095 https://doi.org/10.5771/9783495860885 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Kutschera, Franz von Breitkopf, Alfred Einführung in die moderne Logik 1 Gegenstand und Bedeutung der Logik -- 2 Sätze und Satzverbindungen -- 3 Satzoperatoren -- 4 Aussagenlogische Schlüsse -- 5 Syntax und Semantik der Aussagenlogik -- 6 Eine axiomatische Theorie der Aussagenlogik -- 7 Widerspruchsfreiheit und Vollständigkeit der Aussagenlogik -- 8 Namen, Prädikate und Quantoren -- 9 Syntax und Semantik der Prädikatenlogik -- 10 Eine axiomatische Theorie der Prädikatenlogik -- 11 Widerspruchsfreiheit und Vollständigkeit der Prädikatenlogik -- 12 Der prädikatenlogische Baumkalkül -- 13 Erweiterungen der Prädikatenlogik -- 14 Definitionen -- 15 Mengenlehre -- Anhang -- Bibliographie -- Sachregister -- Symbolverzeichnis Philosophie Philosophy Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4037951-6 (DE-588)4151278-9 |
| title | Einführung in die moderne Logik |
| title_auth | Einführung in die moderne Logik |
| title_exact_search | Einführung in die moderne Logik |
| title_exact_search_txtP | Einführung in die moderne Logik |
| title_full | Einführung in die moderne Logik von Franz von Kutscheran Alfred Breitkopf |
| title_fullStr | Einführung in die moderne Logik von Franz von Kutscheran Alfred Breitkopf |
| title_full_unstemmed | Einführung in die moderne Logik von Franz von Kutscheran Alfred Breitkopf |
| title_short | Einführung in die moderne Logik |
| title_sort | einfuhrung in die moderne logik |
| topic | Philosophie Philosophy Logik (DE-588)4036202-4 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Philosophie Philosophy Logik Mathematische Logik Einführung |
| url | https://doi.org/10.5771/9783495860885 |
| work_keys_str_mv | AT kutscherafranzvon einfuhrungindiemodernelogik AT breitkopfalfred einfuhrungindiemodernelogik |