Elementare Logik:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | German |
| Published: |
Vienna
Springer Vienna
1967
|
| Subjects: | |
| Online Access: | FLA01 Volltext |
| Item Description: | In der formalen Logik hat sich seit der zweiten Hälfte des vorigen Jahrhunderts eine tiefgreifende Entwicklung vollzogen, so daß sich die modeme mathematische oder symbolische Logik ihren Methoden wie ihrem Inhalt nach wesentlich von der traditionellen Logik unterscheidet. In ihrer modernen Gestalt hat sich die Logik eine Reihe neuer Anwendungsgebiete erschlossen, insbesondere in der mathematischen Grundlagenforschung und in der analytischen Philosophie und Wissenschaftstheorie der Gegenwart und hat so über die Grenzen ihres Fachs hinaus ein weites Interesse gefunden. An einen weiteren Kreis von logisch Interessierten möchte sich auch diese Einführung in die Grundlehren der modernen Logik wenden. Sie nimmt daher besondere Rücksicht auf die Schwierigkeiten des mathematisch nicht vorgebildeten Lesers im Umgang mit Formalismen und entwickelt die Methode der Formalisierung in aller Ausführlichkeit. Unter diesem didaktischen Gesichtspunkt wird auch nicht so sehr Wert gelegt auf die schnelle Gewinnung von Resultaten, als auf die gründliche Einübung der Methoden, mit denen sie gewonnen werden. Daher werden gelegentlich verschiedene Beweise für das gleiche Resultat angegeben und Semantik wie Beweisbegriff der elementaren Logik werden auf verschiedenen Wegen aufgebaut. Besonderer Wert wird auch auf die semantische Deutung der Formalismen gelegt, die gleichwertig neben der Beweistechnik steht, und auf die Methoden des natürlichen Schließens, die sowohl für die Anwendungen wie auch für die Begründung der Logik wichtig sind. Einfache Übungsaufgaben am Ende der einzelnen Abschnitte sollen dem Leser die Möglichkeit geben, sein Verständnis der Darlegungen zu kontrollieren und zu vertiefen |
| Physical Description: | 1 Online-Ressource (VIII, 392 S.) |
| ISBN: | 9783709181744 9783709181751 |
| DOI: | 10.1007/978-3-7091-8174-4 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042468316 | ||
| 003 | DE-604 | ||
| 005 | 20170620 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150325s1967 |||| o||u| ||||||ger d | ||
| 020 | |a 9783709181744 |c Online |9 978-3-7091-8174-4 | ||
| 020 | |a 9783709181751 |c Print |9 978-3-7091-8175-1 | ||
| 024 | 7 | |a 10.1007/978-3-7091-8174-4 |2 doi | |
| 035 | |a (OCoLC)830693621 | ||
| 035 | |a (DE-599)BVBBV042468316 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-634 |a DE-188 |a DE-706 |a DE-860 | ||
| 082 | 0 | |a 50 |2 23 | |
| 100 | 1 | |a Kutschera, Franz von |d 1932- |e Verfasser |0 (DE-588)119436817 |4 aut | |
| 245 | 1 | 0 | |a Elementare Logik |c von Franz Kutschera |
| 264 | 1 | |a Vienna |b Springer Vienna |c 1967 | |
| 300 | |a 1 Online-Ressource (VIII, 392 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a In der formalen Logik hat sich seit der zweiten Hälfte des vorigen Jahrhunderts eine tiefgreifende Entwicklung vollzogen, so daß sich die modeme mathematische oder symbolische Logik ihren Methoden wie ihrem Inhalt nach wesentlich von der traditionellen Logik unterscheidet. In ihrer modernen Gestalt hat sich die Logik eine Reihe neuer Anwendungsgebiete erschlossen, insbesondere in der mathematischen Grundlagenforschung und in der analytischen Philosophie und Wissenschaftstheorie der Gegenwart und hat so über die Grenzen ihres Fachs hinaus ein weites Interesse gefunden. An einen weiteren Kreis von logisch Interessierten möchte sich auch diese Einführung in die Grundlehren der modernen Logik wenden. Sie nimmt daher besondere Rücksicht auf die Schwierigkeiten des mathematisch nicht vorgebildeten Lesers im Umgang mit Formalismen und entwickelt die Methode der Formalisierung in aller Ausführlichkeit. Unter diesem didaktischen Gesichtspunkt wird auch nicht so sehr Wert gelegt auf die schnelle Gewinnung von Resultaten, als auf die gründliche Einübung der Methoden, mit denen sie gewonnen werden. Daher werden gelegentlich verschiedene Beweise für das gleiche Resultat angegeben und Semantik wie Beweisbegriff der elementaren Logik werden auf verschiedenen Wegen aufgebaut. Besonderer Wert wird auch auf die semantische Deutung der Formalismen gelegt, die gleichwertig neben der Beweistechnik steht, und auf die Methoden des natürlichen Schließens, die sowohl für die Anwendungen wie auch für die Begründung der Logik wichtig sind. Einfache Übungsaufgaben am Ende der einzelnen Abschnitte sollen dem Leser die Möglichkeit geben, sein Verständnis der Darlegungen zu kontrollieren und zu vertiefen | ||
| 650 | 4 | |a Science (General) | |
| 650 | 4 | |a Science, general | |
| 650 | 4 | |a Naturwissenschaft | |
| 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 |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-7091-8174-4 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SGR |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-SGR_Archive | |
| 940 | 1 | |q ZDB-2-SGR_1815/1989 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027903521 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1007/978-3-7091-8174-4 |l FLA01 |p ZDB-2-SGR |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804153188896473088 |
|---|---|
| any_adam_object | |
| author | Kutschera, Franz von 1932- |
| author_GND | (DE-588)119436817 |
| author_facet | Kutschera, Franz von 1932- |
| author_role | aut |
| author_sort | Kutschera, Franz von 1932- |
| author_variant | f v k fv fvk |
| building | Verbundindex |
| bvnumber | BV042468316 |
| collection | ZDB-2-SGR ZDB-2-BAD |
| ctrlnum | (OCoLC)830693621 (DE-599)BVBBV042468316 |
| dewey-full | 50 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 050 - General serial publications |
| dewey-raw | 50 |
| dewey-search | 50 |
| dewey-sort | 250 |
| dewey-tens | 050 - General serial publications |
| discipline | Allgemeine Naturwissenschaft |
| doi_str_mv | 10.1007/978-3-7091-8174-4 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03364nmm a2200469zc 4500</leader><controlfield tag="001">BV042468316</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170620 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150325s1967 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783709181744</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-7091-8174-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783709181751</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-7091-8175-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-7091-8174-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)830693621</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042468316</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-634</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">50</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kutschera, Franz von</subfield><subfield code="d">1932-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)119436817</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Elementare Logik</subfield><subfield code="c">von Franz Kutschera</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Vienna</subfield><subfield code="b">Springer Vienna</subfield><subfield code="c">1967</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 392 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">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="500" ind1=" " ind2=" "><subfield code="a">In der formalen Logik hat sich seit der zweiten Hälfte des vorigen Jahrhunderts eine tiefgreifende Entwicklung vollzogen, so daß sich die modeme mathematische oder symbolische Logik ihren Methoden wie ihrem Inhalt nach wesentlich von der traditionellen Logik unterscheidet. In ihrer modernen Gestalt hat sich die Logik eine Reihe neuer Anwendungsgebiete erschlossen, insbesondere in der mathematischen Grundlagenforschung und in der analytischen Philosophie und Wissenschaftstheorie der Gegenwart und hat so über die Grenzen ihres Fachs hinaus ein weites Interesse gefunden. An einen weiteren Kreis von logisch Interessierten möchte sich auch diese Einführung in die Grundlehren der modernen Logik wenden. Sie nimmt daher besondere Rücksicht auf die Schwierigkeiten des mathematisch nicht vorgebildeten Lesers im Umgang mit Formalismen und entwickelt die Methode der Formalisierung in aller Ausführlichkeit. Unter diesem didaktischen Gesichtspunkt wird auch nicht so sehr Wert gelegt auf die schnelle Gewinnung von Resultaten, als auf die gründliche Einübung der Methoden, mit denen sie gewonnen werden. Daher werden gelegentlich verschiedene Beweise für das gleiche Resultat angegeben und Semantik wie Beweisbegriff der elementaren Logik werden auf verschiedenen Wegen aufgebaut. Besonderer Wert wird auch auf die semantische Deutung der Formalismen gelegt, die gleichwertig neben der Beweistechnik steht, und auf die Methoden des natürlichen Schließens, die sowohl für die Anwendungen wie auch für die Begründung der Logik wichtig sind. Einfache Übungsaufgaben am Ende der einzelnen Abschnitte sollen dem Leser die Möglichkeit geben, sein Verständnis der Darlegungen zu kontrollieren und zu vertiefen</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Science (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Science, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Naturwissenschaft</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="689" ind1="0" 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="0" ind2="1"><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="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-7091-8174-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SGR</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SGR_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SGR_1815/1989</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027903521</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="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-7091-8174-4</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-2-SGR</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV042468316 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:22:39Z |
| institution | BVB |
| isbn | 9783709181744 9783709181751 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027903521 |
| oclc_num | 830693621 |
| open_access_boolean | |
| owner | DE-634 DE-188 DE-706 DE-860 |
| owner_facet | DE-634 DE-188 DE-706 DE-860 |
| physical | 1 Online-Ressource (VIII, 392 S.) |
| psigel | ZDB-2-SGR ZDB-2-BAD ZDB-2-SGR_Archive ZDB-2-SGR_1815/1989 |
| publishDate | 1967 |
| publishDateSearch | 1967 |
| publishDateSort | 1967 |
| publisher | Springer Vienna |
| record_format | marc |
| spelling | Kutschera, Franz von 1932- Verfasser (DE-588)119436817 aut Elementare Logik von Franz Kutschera Vienna Springer Vienna 1967 1 Online-Ressource (VIII, 392 S.) txt rdacontent c rdamedia cr rdacarrier In der formalen Logik hat sich seit der zweiten Hälfte des vorigen Jahrhunderts eine tiefgreifende Entwicklung vollzogen, so daß sich die modeme mathematische oder symbolische Logik ihren Methoden wie ihrem Inhalt nach wesentlich von der traditionellen Logik unterscheidet. In ihrer modernen Gestalt hat sich die Logik eine Reihe neuer Anwendungsgebiete erschlossen, insbesondere in der mathematischen Grundlagenforschung und in der analytischen Philosophie und Wissenschaftstheorie der Gegenwart und hat so über die Grenzen ihres Fachs hinaus ein weites Interesse gefunden. An einen weiteren Kreis von logisch Interessierten möchte sich auch diese Einführung in die Grundlehren der modernen Logik wenden. Sie nimmt daher besondere Rücksicht auf die Schwierigkeiten des mathematisch nicht vorgebildeten Lesers im Umgang mit Formalismen und entwickelt die Methode der Formalisierung in aller Ausführlichkeit. Unter diesem didaktischen Gesichtspunkt wird auch nicht so sehr Wert gelegt auf die schnelle Gewinnung von Resultaten, als auf die gründliche Einübung der Methoden, mit denen sie gewonnen werden. Daher werden gelegentlich verschiedene Beweise für das gleiche Resultat angegeben und Semantik wie Beweisbegriff der elementaren Logik werden auf verschiedenen Wegen aufgebaut. Besonderer Wert wird auch auf die semantische Deutung der Formalismen gelegt, die gleichwertig neben der Beweistechnik steht, und auf die Methoden des natürlichen Schließens, die sowohl für die Anwendungen wie auch für die Begründung der Logik wichtig sind. Einfache Übungsaufgaben am Ende der einzelnen Abschnitte sollen dem Leser die Möglichkeit geben, sein Verständnis der Darlegungen zu kontrollieren und zu vertiefen Science (General) Science, general Naturwissenschaft Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Logik (DE-588)4036202-4 s Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 https://doi.org/10.1007/978-3-7091-8174-4 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Kutschera, Franz von 1932- Elementare Logik Science (General) Science, general Naturwissenschaft Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4036202-4 |
| title | Elementare Logik |
| title_auth | Elementare Logik |
| title_exact_search | Elementare Logik |
| title_full | Elementare Logik von Franz Kutschera |
| title_fullStr | Elementare Logik von Franz Kutschera |
| title_full_unstemmed | Elementare Logik von Franz Kutschera |
| title_short | Elementare Logik |
| title_sort | elementare logik |
| topic | Science (General) Science, general Naturwissenschaft Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd |
| topic_facet | Science (General) Science, general Naturwissenschaft Mathematische Logik Logik |
| url | https://doi.org/10.1007/978-3-7091-8174-4 |
| work_keys_str_mv | AT kutscherafranzvon elementarelogik |