Einführung in die Logik:
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Berlin [u.a.]
<<de>> Gruyter
2011
|
Ausgabe: | 3. Aufl. |
Schriftenreihe: | De-Gruyter-Studium
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | XV, 382 S. |
ISBN: | 9783110254341 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV036893436 | ||
003 | DE-604 | ||
005 | 20130814 | ||
007 | t | ||
008 | 110110s2011 gw |||| 00||| ger d | ||
020 | |a 9783110254341 |9 978-3-11-025434-1 | ||
035 | |a (OCoLC)706856826 | ||
035 | |a (DE-599)BVBBV036893436 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
044 | |a gw |c DE | ||
049 | |a DE-19 |a DE-11 |a DE-859 |a DE-739 |a DE-Di1 |a DE-634 |a DE-858 |a DE-29 |a DE-523 | ||
082 | 0 | |a 511.3 |2 22//ger | |
084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
084 | |a 10 |2 sdnb | ||
084 | |a 5,1 |2 ssgn | ||
100 | 1 | |a Beckermann, Ansgar |d 1945- |e Verfasser |0 (DE-588)12338852X |4 aut | |
245 | 1 | 0 | |a Einführung in die Logik |c Ansgar Beckermann |
250 | |a 3. Aufl. | ||
264 | 1 | |a Berlin [u.a.] |b <<de>> Gruyter |c 2011 | |
300 | |a XV, 382 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a De-Gruyter-Studium | |
650 | 0 | 7 | |a Aussagenlogik |0 (DE-588)4136098-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |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 | |8 1\p |5 DE-604 | |
689 | 2 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
689 | 2 | |8 2\p |5 DE-604 | |
856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020808581&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-020808581 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
_version_ | 1804143607077142528 |
---|---|
adam_text | IMAGE 1
INHALTSVERZEICHNIS
VORWORT ZUR DRITTEN AUFLAGE VII
VORWORT ZUR ZWEITEN AUFLAGE VIII
VORWORT X
I GRUNDBEGRIFFE 1
1 LOGIK UND ARGUMENTATION 1
2 ARGUMENTE 2
3 AUSSAGESAETZE 13
4 GUTE ARGUMENTE - GUELTIGKEIT UND SCHLUESSIGKEIT 19 5 NOCH EINMAL: WAHR,
GUELTIG, SCHLUESSIG 24
6 DEDUKTIV UND NICHT-DEDUKTIV GUELTIGE ARGUMENTE 28 7 GUELTIGKEIT UND DIE
LOGISCHE FORM VON ARGUMENTEN ...34 8 LOGISCHE FORM UND DIE BEDEUTUNG DER
IN EINEM ARGUMENT ENTHALTENEN LOGISCHEN AUSDRUECKE 39
9 DIE PROBLEMATIK DER LOGISCHEN FORM UMGANGS- SPRACHLICHER AUSSAGESAETZE
43
II AUSSAGENLOGIK 51
10 DIE SPRACHE AL 51
10.1 VERWENDEN UND ERWAEHNEN - OBJEKT-UND METASPRACHE 52
10.2 DIE SYNTAX VON AL 55
10.3 DIE SEMANTIK VON AL 59
11 GRUNDBEGRIFFE DER LOGIK DER SPRACHE AL 66
12 DIE WAHRHEITSTAFELMETHODE 74
13 DIE WAHRHEITSBAUMMETHODE 92
*14 DER KALKUEL AK 113
15 UEBERSETZUNG UMGANGSSPRACHLICHER SAETZE IN DIE SPRACHE AL 132
15.1 NEGATIONEN 137
15.2 KONJUNKTION 140
BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1009313274
DIGITALISIERT DURCH
IMAGE 2
X IV INHALTSVERZEICHNIS
15.3 ADJUNKTIONEN 146
15.4 SUBJUNKTIONEN 150
15.5 BISUBJUNKTIONEN 156
16 BEURTEILUNG UMGANGSSPRACHLICHER SAETZE UND ARGUMENTE MIT
AUSSAGENLOGISCHEN MITTELN 161
III PRAEDIKATENLOGIK 172
17 DIE SPRACHE PL 172
17.1 DIE SYNTAX VON PL 173
17.2 DIE SEMANTIK VON PL 186
18 GRUNDBEGRIFFE DER LOGIK DER SPRACHE PL 197
19 DAS WAHRHEITSBAUMVERFAHREN FUER PL 207
*20 DER KALKUEL PK 225
21 UEBERSETZUNG UMGANGSSPRACHLICHER SAETZE IN DIE SPRACHE PL 240
21.1 ATOMARE SAETZE 241
21.2 KOMPLEXE SAETZE 244
21.3 QUANTIFIZIERTE SAETZE 249
22 BEURTEILUNG UMGANGSSPRACHLICHER SAETZE UND ARGUMENTE MIT
PRAEDIKATENLOGISCHEN MITTELN 263
*IV METALOGIK 275
23 ELEMENTE DER MENGENLEHRE UND DAS VERFAHREN DES BEWEISES DURCH
VOLLSTAENDIGE INDUKTION 275 23.1 GRUNDZUEGE DER MENGENLEHRE 275
23.2 BEWEISE DURCH VOLLSTAENDIGE INDUKTION 283 24 DIE FORMALE SEMANTIK
DER SPRACHE PL 285
25 KORREKTHEIT UND VOLLSTAENDIGKEIT VON AK 305 26 KORREKTHEIT UND
VOLLSTAENDIGKEIT VON PK 319
27 KORREKTHEIT UND VOLLSTAENDIGKEIT DER WAHRHEITSBAUMVERFAHREN FUER AL UND
PL 337 27.1 KORREKTHEIT UND VOLLSTAENDIGKEIT DES WAHRHEITSBAUMVERFAHRENS
FUER AL 337
27.2 KORREKTHEIT UND VOLLSTAENDIGKEIT DES WAHRHEITSBAUMVERFAHRENS FUER PL
343
IMAGE 3
INHALTSVERZEICHNIS XV
V ANHANG 350
LOESUNGEN AUSGEWAEHLTER UEBUNGSAUFGABEN 350 QUELLENNACHWEISE FUER DIE
BEISPIELARGUMENTE 374 WEITERFUEHRENDE LITERATUR 376
REGISTER 378
|
any_adam_object | 1 |
author | Beckermann, Ansgar 1945- |
author_GND | (DE-588)12338852X |
author_facet | Beckermann, Ansgar 1945- |
author_role | aut |
author_sort | Beckermann, Ansgar 1945- |
author_variant | a b ab |
building | Verbundindex |
bvnumber | BV036893436 |
classification_rvk | CC 2400 |
ctrlnum | (OCoLC)706856826 (DE-599)BVBBV036893436 |
dewey-full | 511.3 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 511 - General principles of mathematics |
dewey-raw | 511.3 |
dewey-search | 511.3 |
dewey-sort | 3511.3 |
dewey-tens | 510 - Mathematics |
discipline | Mathematik Philosophie |
edition | 3. Aufl. |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01893nam a2200493 c 4500</leader><controlfield tag="001">BV036893436</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130814 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110110s2011 gw |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110254341</subfield><subfield code="9">978-3-11-025434-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)706856826</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036893436</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</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="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-Di1</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22//ger</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">10</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Beckermann, Ansgar</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12338852X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die Logik</subfield><subfield code="c">Ansgar Beckermann</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">3. Aufl.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b"><<de>> Gruyter</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 382 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">De-Gruyter-Studium</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4123623-3</subfield><subfield code="a">Lehrbuch</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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020808581&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020808581</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
genre | (DE-588)4123623-3 Lehrbuch gnd-content |
genre_facet | Lehrbuch |
id | DE-604.BV036893436 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T22:50:21Z |
institution | BVB |
isbn | 9783110254341 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020808581 |
oclc_num | 706856826 |
open_access_boolean | |
owner | DE-19 DE-BY-UBM DE-11 DE-859 DE-739 DE-Di1 DE-634 DE-858 DE-29 DE-523 |
owner_facet | DE-19 DE-BY-UBM DE-11 DE-859 DE-739 DE-Di1 DE-634 DE-858 DE-29 DE-523 |
physical | XV, 382 S. |
publishDate | 2011 |
publishDateSearch | 2011 |
publishDateSort | 2011 |
publisher | <<de>> Gruyter |
record_format | marc |
series2 | De-Gruyter-Studium |
spelling | Beckermann, Ansgar 1945- Verfasser (DE-588)12338852X aut Einführung in die Logik Ansgar Beckermann 3. Aufl. Berlin [u.a.] <<de>> Gruyter 2011 XV, 382 S. txt rdacontent n rdamedia nc rdacarrier De-Gruyter-Studium Aussagenlogik (DE-588)4136098-9 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Logik (DE-588)4036202-4 s 1\p DE-604 Aussagenlogik (DE-588)4136098-9 s 2\p DE-604 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020808581&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Beckermann, Ansgar 1945- Einführung in die Logik Aussagenlogik (DE-588)4136098-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd |
subject_GND | (DE-588)4136098-9 (DE-588)4037951-6 (DE-588)4036202-4 (DE-588)4123623-3 |
title | Einführung in die Logik |
title_auth | Einführung in die Logik |
title_exact_search | Einführung in die Logik |
title_full | Einführung in die Logik Ansgar Beckermann |
title_fullStr | Einführung in die Logik Ansgar Beckermann |
title_full_unstemmed | Einführung in die Logik Ansgar Beckermann |
title_short | Einführung in die Logik |
title_sort | einfuhrung in die logik |
topic | Aussagenlogik (DE-588)4136098-9 gnd Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd |
topic_facet | Aussagenlogik Mathematische Logik Logik Lehrbuch |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020808581&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT beckermannansgar einfuhrungindielogik |