Einführung in die Aussagenlogik:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin
Logos-Verl.
2003
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IV, 210 S. graph. Darst. |
| ISBN: | 3832500049 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV016534349 | ||
| 003 | DE-604 | ||
| 005 | 20241104 | ||
| 007 | t | ||
| 008 | 030218s2003 gw d||| |||| 00||| ger d | ||
| 016 | 7 | |a 966230744 |2 DE-101 | |
| 020 | |a 3832500049 |9 3-8325-0004-9 | ||
| 035 | |a (OCoLC)76710906 | ||
| 035 | |a (DE-599)BVBBV016534349 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-29 |a DE-384 |a DE-M468 |a DE-20 |a DE-12 |a DE-19 |a DE-521 |a DE-355 |a DE-B768 | ||
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a 10 |2 sdnb | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Tatievskaya, Elena |e Verfasser |0 (DE-588)1089338945 |4 aut | |
| 245 | 1 | 0 | |a Einführung in die Aussagenlogik |c Elena Tatievskaya |
| 264 | 1 | |a Berlin |b Logos-Verl. |c 2003 | |
| 300 | |a IV, 210 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Aussagenlogik |0 (DE-588)4136098-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4123623-3 |a Lehrbuch |2 gnd-content | |
| 689 | 0 | 0 | |a Aussagenlogik |0 (DE-588)4136098-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010217088&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |n oe | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-010217088 | |
Datensatz im Suchindex
| _version_ | 1814797017189187584 |
|---|---|
| adam_text |
ELENA TATIEVSKAYA EINFUEHRUNG IN DIE AUSSAGENLOGIK LOGOS VERLAG BERLIN
XOYOQ 111 INHALTSVERZEICHNIS EINLEITUNG 1 1 MODERNE GESTALT DER LOGIK 3
1.1 LOGIK UND PHILOSOPHIE DER LOGIK 3 1.1.1 ZUR DEFINITION DER LOGIK 3
1.1.2 DIE ROLLE DER SEMANTIK IN DER BEGRUENDUNG DER LOGIK 8
UEBUNGSAUFGABEN 15 1.2 DER WAHRHEITSBEGRIFF UND DER FORMBEGRIFF 16 1.2.1
DER WAHRHEITSBEGRIFF IN DER LOGIK 16 1.2.2 KONVENTIONEN UEBER DIE TRAEGER
DER WAHRHEITS- WERTE 19 1.2.3 DEFINITIONEN 22 1.2.4 KONVENTIONEN UEBER
DEN FORMBEGRIFF 25 UEBUNGSAUFGABEN 30 1.3 LOGISCHE THEORIE ALS EINE
FORMALISIERTE SPRACHE . 32 1.3.1 SYNTAX EINER LOGISCHEN FORMALISIERTEN
SPRACHE 32 1.3.2 FREGE UEBER DIE FORDERUNGEN AN SYNTAX UND SEMANTIK EINER
FORMALISIERTEN SPRACHE . . . . 34 1.3.3 FUNKTIONEN FORMALISIERTER
LOGISCHER SPRACHEN 39 1.3.4 ALLGEMEINE CHARAKTERISTIKA DER ENTWICKLUNG
DER LOGIK 43 UEBUNGSAUFGABEN 49 2 TRADITIONELLE FORMAL-LOGISCHE THEORIE
DER AUSSAGE 51 2.1 BEGRIFF 51 2.1.1 DEFINITIONEN 51 2.1.2 KLASSIFIKATION
DER BEGRIFFE 52 2.1.3 MERKMALE . . . 55 2.1.4 UMFANG UND INHALT EINES
BEGRIFFS 57 2.1.5 FORMAL-LOGISCHE BEZIEHUNGEN ZWISCHEN BEGRIF- FEN 62
UEBUNGSAUFGABEN 64 2.2 EINFACHE KATEGORISCHE AUSSAGE 65 2.2.1 STRUKTUR
EINER EINFACHEN KATEGORISCHEN AUS- SAGE 65 IV 2.2.2 QUALITAET UND
QUANTITAET EINER AUSSAGE. KLAS- SIFIKATION VON AUSSAGEN 68 2.2.3
DISTRIBUIERTHEIT DER TERMINI EINER AUSSAGE . 70 2.2.4 LOGISCHE
BEZIEHUNGEN ZWISCHEN DEN AUSSA- GEN DER GLEICHEN MATERIE. LOGISCHES
QUADRAT 71 UEBUNGSAUFGABEN 75 2.3 EIN EINFACHER KATEGORISCHER SYLLOGISMUS
77 2.3.1 WAS IST EIN SCHLUSS? 77 2.3.2 UNMITTELBARE SCHLUESSE 78 2.3.3
MITTELBARE SCHLUESSE. DEFINITIONEN 82 2.3.4 ALLGEMEINE CHARAKTERISTIKA
DER FIGUREN DES SYLLOGISMUS 84 2.3.5 ALLGEMEINE REGELN DES SYLLOGISMUS
86 2.3.6 DIE ERSTE FIGUR DES SYLLOGISMUS. REDUKTION AUF DIE ERSTE FIGUR
92 UEBUNGSAUFGABEN 97 3 VON EINFACHEN KATEGORISCHEN AUSSAGEN ZU KONSTRUK-
TIVEN OBJEKTEN 99 3.1 WAS IST EIN LOGISCHER KALKUEL? 99 3.2
AUSSAGENKALKUEL P X 118 3.2.1 BASIS DES KALKUELS P X 118 3.2.2 SEMANTISCHE
INTERPRETATION DES KALKUELS . . . 123 3.2.3 DEFINITIONEN 124 3.2.4 EINIGE
THEOREME DES KALKUELS 125 3.2.5 DEDUKTIONSTHEOREM 128 3.2.6 TAUTOLOGIEN
UND ENTSCHEIDUNGSPROBLEM . . . 134 3.2.7 DUALITAET 147 3.2.8
WIDERSPRUCHSFREIHEIT 151 3.2.9 VOLLSTAENDIGKEIT 152 3.2.10 UNABHAENGIGKEIT
154 UEBUNGSAUFGABEN 157 3.3 AUSSAGENKALKUEL PR 161 UEBUNGSAUFGABEN 184
VORSCHLAEGE ZUR LOESUNG DER UEBUNGSAUFGABEN 185 LITERATURVERZEICHNIS 208 |
| any_adam_object | 1 |
| author | Tatievskaya, Elena |
| author_GND | (DE-588)1089338945 |
| author_facet | Tatievskaya, Elena |
| author_role | aut |
| author_sort | Tatievskaya, Elena |
| author_variant | e t et |
| building | Verbundindex |
| bvnumber | BV016534349 |
| classification_rvk | CC 2400 CC 2500 |
| ctrlnum | (OCoLC)76710906 (DE-599)BVBBV016534349 |
| discipline | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV016534349</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20241104</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">030218s2003 gw d||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">966230744</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3832500049</subfield><subfield code="9">3-8325-0004-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)76710906</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV016534349</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-29</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-B768</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">CC 2500</subfield><subfield code="0">(DE-625)17609:</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">Tatievskaya, Elena</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1089338945</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die Aussagenlogik</subfield><subfield code="c">Elena Tatievskaya</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Logos-Verl.</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IV, 210 S.</subfield><subfield code="b">graph. Darst.</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="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="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">Aussagenlogik</subfield><subfield code="0">(DE-588)4136098-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=010217088&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="n">oe</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010217088</subfield></datafield></record></collection> |
| genre | (DE-588)4123623-3 Lehrbuch gnd-content |
| genre_facet | Lehrbuch |
| id | DE-604.BV016534349 |
| illustrated | Illustrated |
| indexdate | 2024-11-04T13:01:44Z |
| institution | BVB |
| isbn | 3832500049 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010217088 |
| oclc_num | 76710906 |
| open_access_boolean | |
| owner | DE-29 DE-384 DE-M468 DE-20 DE-12 DE-19 DE-BY-UBM DE-521 DE-355 DE-BY-UBR DE-B768 |
| owner_facet | DE-29 DE-384 DE-M468 DE-20 DE-12 DE-19 DE-BY-UBM DE-521 DE-355 DE-BY-UBR DE-B768 |
| physical | IV, 210 S. graph. Darst. |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Logos-Verl. |
| record_format | marc |
| spelling | Tatievskaya, Elena Verfasser (DE-588)1089338945 aut Einführung in die Aussagenlogik Elena Tatievskaya Berlin Logos-Verl. 2003 IV, 210 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Aussagenlogik (DE-588)4136098-9 gnd rswk-swf (DE-588)4123623-3 Lehrbuch gnd-content Aussagenlogik (DE-588)4136098-9 s DE-604 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010217088&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Tatievskaya, Elena Einführung in die Aussagenlogik Aussagenlogik (DE-588)4136098-9 gnd |
| subject_GND | (DE-588)4136098-9 (DE-588)4123623-3 |
| title | Einführung in die Aussagenlogik |
| title_auth | Einführung in die Aussagenlogik |
| title_exact_search | Einführung in die Aussagenlogik |
| title_full | Einführung in die Aussagenlogik Elena Tatievskaya |
| title_fullStr | Einführung in die Aussagenlogik Elena Tatievskaya |
| title_full_unstemmed | Einführung in die Aussagenlogik Elena Tatievskaya |
| title_short | Einführung in die Aussagenlogik |
| title_sort | einfuhrung in die aussagenlogik |
| topic | Aussagenlogik (DE-588)4136098-9 gnd |
| topic_facet | Aussagenlogik Lehrbuch |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010217088&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT tatievskayaelena einfuhrungindieaussagenlogik |