Klassische Logik: Einführung mit interaktiven Übungen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Heusenstamm
ontos
2005
|
| Ausgabe: | 2., vollst. überarb. Aufl. |
| Schriftenreihe: | LOGOS
5 |
| Schlagworte: | |
| Online-Zugang: | http://www.philoscience.unibe.ch/logik.html Inhaltsverzeichnis |
| Beschreibung: | Buch bildet die Textgrundlage für einen internetbegleiteten Einführungskurs in die klassische Logik. Dieser Kurs wurde im Rahmen des Schweizer Förderprogrammes 'Virtueller Campus Schweiz' im Projekt VILOLA ("virtuell logic laboratory")konzipiert. Die interaktiven Übungen sind im Internet unter der Adresse Http://www.philoscience.unibe.ch/logik.html |
| Beschreibung: | 402 S. 240 mm x 170 mm |
| ISBN: | 3937202838 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV020844942 | ||
| 003 | DE-604 | ||
| 005 | 20121025 | ||
| 007 | t| | ||
| 008 | 051025s2005 gw |||| 00||| ger d | ||
| 016 | 7 | |a 974662615 |2 DE-101 | |
| 020 | |a 3937202838 |c Pb. : EUR 30.00 |9 3-937202-83-8 | ||
| 035 | |a (OCoLC)70063685 | ||
| 035 | |a (DE-599)BVBBV020844942 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-HE | ||
| 049 | |a DE-29 |a DE-19 |a DE-83 |a DE-11 | ||
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a 100 |2 sdnb | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Lampert, Timm |d 1969- |e Verfasser |0 (DE-588)1046392034 |4 aut | |
| 245 | 1 | 0 | |a Klassische Logik |b Einführung mit interaktiven Übungen |c Timm Lampert |
| 250 | |a 2., vollst. überarb. Aufl. | ||
| 259 | |a 12 | ||
| 264 | 1 | |a Heusenstamm |b ontos |c 2005 | |
| 300 | |a 402 S. |c 240 mm x 170 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a LOGOS |v 5 | |
| 500 | |a Buch bildet die Textgrundlage für einen internetbegleiteten Einführungskurs in die klassische Logik. Dieser Kurs wurde im Rahmen des Schweizer Förderprogrammes 'Virtueller Campus Schweiz' im Projekt VILOLA ("virtuell logic laboratory")konzipiert. Die interaktiven Übungen sind im Internet unter der Adresse Http://www.philoscience.unibe.ch/logik.html | ||
| 650 | 0 | 7 | |a Aussagenlogik |0 (DE-588)4136098-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Prädikatenlogik |0 (DE-588)4046974-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Prädikatenlogik |0 (DE-588)4046974-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a LOGOS |v 5 |w (DE-604)BV017090132 |9 5 | |
| 856 | 4 | |u http://www.philoscience.unibe.ch/logik.html | |
| 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=014166747&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-014166747 | |
Datensatz im Suchindex
| _version_ | 1826220050028167168 |
|---|---|
| adam_text |
TIMM LAMPERT
KLASSISCHE LOGIK
EINFUEHRUNG MIT INTERAKTIVEN UEBUNGEN
2.
VOLLSTAENDIG UEBERARBEITETE AUFLAGE
ONTOS
VERTAG
R$$.M
I
PMRJ
I
EBIKON
I
LSNCAUETEF! NEW B.
2 SCHLUSSREGELN
135
3 ARGUMENTREKONSTRUKTION
147
6 KORREKTHEIT UND VOLLSTAENDIGKEIT
149
1 KORREKTHEIT
149
2 VOLLSTAENDIGKEIT
164
3 KRITERIEN LOGISCHER BEWEISE
183
C QUANTORENLOGIK
189
7 EINFUEHRUNG IN DIE QUANTORENLOGIK
191
1 ERWEITERUNG DER AUSSAGENLOGIK
191
2 SYLLOGISMEN
192
3 QUANTORENLOGISCHE ANALYSE
198
8 Q-INTERPRETATIONEN
215
1 Q-FORMELN
215
2 Q-MODELLE
218
3 UNENTSCHEIDBARKEIT
229
9 QUANTORENLOGISCHE FORMALISIERUNG
237
1 SCHEMATISIERUNG
237
2 STANDARDISIERUNG
244
3 ARGUMENTREKONSTRUKTION
267
10 QUANTORENLOGISCHER KALKUEL
275
1 KALKUELREGELN
275
2 ABLEITUNGSSTRATEGIEN
292
3 LOGISCHE GESETZE
UND
SCHLUSSREGELN
295
4 ARGUMENTREKONSTRUKTION
303
/
/
IDENTITAET 305
1 ERWEITERUNG DER QUANTORENLOGIK 305
2 QJ-FORMELN 306
3 QJ-INTERPRETATIONEN 308
4
G
L
K
Q
+
/
311
5 Q/-FORMALISIERUNG 316
6 AUSBLICK: PROBLEME DER IDENTITAET 330
12
UNENTSCHEIDBARKEIT
DER QUANTORENLOGIK 333
1 CHURCHS INDIREKTER UNENTSCHEIDBARKEITSBEWEIS 333
2 HUBERTS DIREKTER UNENTSCHEIDBARKEITSBEWEIS 336
3 WITTGENSTEINS KRITIK DER METASPRACHE 358
NACHWORT
367
LITERATURVERZEICHNIS
369
D
ANHANG
373
LISTE DER WICHTIGSTEN AUSSAGENLOGISCHEN SCHLUSSREGELN
375
LISTE
DER
GUELTIGEN SYLLOGISMEN
381
LISTE DER WICHTIGSTEN QUANTORENLOGISCHEN SCHLUSSREGELN
385
VERZEICHNIS
DER
ABKUERZUNGEN
UND
SYMBOLE
393
INDEX 396 |
| adam_txt | |
| any_adam_object | 1 |
| any_adam_object_boolean | |
| author | Lampert, Timm 1969- |
| author_GND | (DE-588)1046392034 |
| author_facet | Lampert, Timm 1969- |
| author_role | aut |
| author_sort | Lampert, Timm 1969- |
| author_variant | t l tl |
| building | Verbundindex |
| bvnumber | BV020844942 |
| classification_rvk | CC 2400 |
| ctrlnum | (OCoLC)70063685 (DE-599)BVBBV020844942 |
| discipline | Philosophie |
| discipline_str_mv | Philosophie |
| edition | 2., vollst. überarb. Aufl. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV020844942</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20121025</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">051025s2005 gw |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">974662615</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3937202838</subfield><subfield code="c">Pb. : EUR 30.00</subfield><subfield code="9">3-937202-83-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)70063685</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV020844942</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">XA-DE-HE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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">100</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">Lampert, Timm</subfield><subfield code="d">1969-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1046392034</subfield><subfield code="4">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="250" ind1=" " ind2=" "><subfield code="a">2., vollst. überarb. Aufl.</subfield></datafield><datafield tag="259" ind1=" " ind2=" "><subfield code="a">12</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heusenstamm</subfield><subfield code="b">ontos</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">402 S.</subfield><subfield code="c">240 mm x 170 mm</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="1" ind2=" "><subfield code="a">LOGOS</subfield><subfield code="v">5</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Buch bildet die Textgrundlage für einen internetbegleiteten Einführungskurs in die klassische Logik. Dieser Kurs wurde im Rahmen des Schweizer Förderprogrammes 'Virtueller Campus Schweiz' im Projekt VILOLA ("virtuell logic laboratory")konzipiert. Die interaktiven Übungen sind im Internet unter der Adresse Http://www.philoscience.unibe.ch/logik.html</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">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</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">Prädikatenlogik</subfield><subfield code="0">(DE-588)4046974-8</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">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">LOGOS</subfield><subfield code="v">5</subfield><subfield code="w">(DE-604)BV017090132</subfield><subfield code="9">5</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.philoscience.unibe.ch/logik.html</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=014166747&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-014166747</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV020844942 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T13:18:02Z |
| indexdate | 2025-03-10T15:05:57Z |
| institution | BVB |
| isbn | 3937202838 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-014166747 |
| oclc_num | 70063685 |
| open_access_boolean | |
| owner | DE-29 DE-19 DE-BY-UBM DE-83 DE-11 |
| owner_facet | DE-29 DE-19 DE-BY-UBM DE-83 DE-11 |
| physical | 402 S. 240 mm x 170 mm |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | ontos |
| record_format | marc |
| series | LOGOS |
| series2 | LOGOS |
| spelling | Lampert, Timm 1969- Verfasser (DE-588)1046392034 aut Klassische Logik Einführung mit interaktiven Übungen Timm Lampert 2., vollst. überarb. Aufl. 12 Heusenstamm ontos 2005 402 S. 240 mm x 170 mm txt rdacontent n rdamedia nc rdacarrier LOGOS 5 Buch bildet die Textgrundlage für einen internetbegleiteten Einführungskurs in die klassische Logik. Dieser Kurs wurde im Rahmen des Schweizer Förderprogrammes 'Virtueller Campus Schweiz' im Projekt VILOLA ("virtuell logic laboratory")konzipiert. Die interaktiven Übungen sind im Internet unter der Adresse Http://www.philoscience.unibe.ch/logik.html Aussagenlogik (DE-588)4136098-9 gnd rswk-swf Prädikatenlogik (DE-588)4046974-8 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Prädikatenlogik (DE-588)4046974-8 s DE-604 Aussagenlogik (DE-588)4136098-9 s LOGOS 5 (DE-604)BV017090132 5 http://www.philoscience.unibe.ch/logik.html DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014166747&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Lampert, Timm 1969- Klassische Logik Einführung mit interaktiven Übungen LOGOS Aussagenlogik (DE-588)4136098-9 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
| subject_GND | (DE-588)4136098-9 (DE-588)4046974-8 (DE-588)4123623-3 |
| title | Klassische Logik Einführung mit interaktiven Übungen |
| title_auth | Klassische Logik Einführung mit interaktiven Übungen |
| title_exact_search | Klassische Logik Einführung mit interaktiven Übungen |
| title_exact_search_txtP | Klassische Logik 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_short | Klassische Logik |
| title_sort | klassische logik einfuhrung mit interaktiven ubungen |
| title_sub | Einführung mit interaktiven Übungen |
| topic | Aussagenlogik (DE-588)4136098-9 gnd Prädikatenlogik (DE-588)4046974-8 gnd |
| topic_facet | Aussagenlogik Prädikatenlogik Lehrbuch |
| url | http://www.philoscience.unibe.ch/logik.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=014166747&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV017090132 |
| work_keys_str_mv | AT lamperttimm klassischelogikeinfuhrungmitinteraktivenubungen |