Verfügbarkeit: Einführung in die formale Logik für Philosophen

Einführung in die formale Logik für Philosophen:

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Zoglauer, Thomas 1960- (VerfasserIn)
Format:	Buch
Sprache:	German
Veröffentlicht:	Göttingen Vandenhoeck & Ruprecht [2016]
Ausgabe:	5., durchgesehene Auflage
Schriftenreihe:	UTB. Philosophie 1999
Schlagworte:	Mathematische Logik - Einführung Mathematische Logik Analytische Philosophie Logik Einführung
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	Literaturverz. S. 184 - 187
Beschreibung:	187 Seiten Illustrationen, Diagramme 19 cm
ISBN:	9783825245924

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV043402736
003	DE-604
005	20201215
007	t
008	160224s2016 gw a\|\|\| \|\|\|\| 00\|\|\| ger d
020			\|a 9783825245924 \|9 978-3-8252-4592-4
035			\|a (OCoLC)944080298
035			\|a (DE-599)BVBBV043402736
040			\|a DE-604 \|b ger \|e rda
041	0		\|a ger
044			\|a gw \|c XA-DE
049			\|a DE-12 \|a DE-824 \|a DE-19 \|a DE-29 \|a DE-11 \|a DE-739 \|a DE-634 \|a DE-83 \|a DE-384
082	0		\|a 511.3 \|2 22/ger
084			\|a BF 1350 \|0 (DE-625)10858: \|2 rvk
084			\|a CC 2400 \|0 (DE-625)17608: \|2 rvk
084			\|a CC 2500 \|0 (DE-625)17609: \|2 rvk
084			\|a QP 327 \|0 (DE-625)141858: \|2 rvk
084			\|a XC 2601 \|0 (DE-625)152504:13130 \|2 rvk
084			\|a 510 \|2 sdnb
084			\|a 100 \|2 sdnb
084			\|a MAT 030f \|2 stub
084			\|a PHI 350f \|2 stub
100	1		\|a Zoglauer, Thomas \|d 1960- \|e Verfasser \|0 (DE-588)12428566X \|4 aut
245	1	0	\|a Einführung in die formale Logik für Philosophen \|c Thomas Zoglauer
250			\|a 5., durchgesehene Auflage
264		1	\|a Göttingen \|b Vandenhoeck & Ruprecht \|c [2016]
300			\|a 187 Seiten \|b Illustrationen, Diagramme \|c 19 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a UTB. Philosophie \|v 1999
500			\|a Literaturverz. S. 184 - 187
650		4	\|a Mathematische Logik - Einführung
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Analytische Philosophie \|0 (DE-588)4001869-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Logik \|0 (DE-588)4036202-4 \|2 gnd \|9 rswk-swf
655		7	\|8 1\p \|0 (DE-588)4151278-9 \|a Einführung \|2 gnd-content
689	0	0	\|a Analytische Philosophie \|0 (DE-588)4001869-6 \|D s
689	0	1	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|8 2\p \|5 DE-604
689	1	0	\|a Logik \|0 (DE-588)4036202-4 \|D s
689	1		\|8 3\p \|5 DE-604
830		0	\|a UTB. Philosophie \|v 1999 \|w (DE-604)BV000895355 \|9 1999
856	4	2	\|m Digitalisierung UB Augsburg - ADAM Catalogue Enrichment \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028821208&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-028821208
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
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk

Datensatz im Suchindex

_version_	1804175987395526656
adam_text	Inhalt Vorwort 1.1 1.2 1.3 1.4 1.5 Sprachphilosophische Grundlagen der Logik Syntax, Semantik, Pragmatik Logische Paradoxien Definitionslehre Aussagen und Aussageformen Wahrheitstheorien 9 9 14 18 21 28 2. 2.1 2.2 2.3 2.4 2.5 2.6 Aussagenlogische Verknüpfungen Die Negation Die Konjunktion Die Disjunktion Die Implikation Die Äquivalenz Andere Junktoren 35 35 36 38 41 43 44 3. 3.1 3.2 3.3 3.4 3.5 Gesetze der Aussagenlogik Wahrheitstafeln Die Methode des indirekten Beweises Vereinfachung komplexer Ausdrücke Konjunktive und disjunktive Normalformen Junktorenbasen 47 47 50 51 52 55 4. 4.1 4.2 4.3 Logisches Schließen Induktive und deduktive Schlüsse Wichtige Schlussregeln Kalkül des natürlichen Schließern 58 58 60 68 5. 5.1 5.2 5.3 5.4 5.5 Prädikatenlogik Subjekt und Prädikat Intension und Extension von Begriffen Relationen Quantoren Der Kalkül des natürlichen Schließens für die Prädikatenlogik 72 72 74 77 79 1. 81 Inhalt 6 6. Urteilslehre und Syllogistik 6.1 Urteile 6.2 Die Rabenparadoxie von Hempel 6.3 Syllogismen 87 87 92 94 7. Axiomatik 7.1 Axiome der Aussagenlogik 7.2 Vollständigkeit und Widerspruchsfreiheit der Aussagenlogik 7.3 Axiome der Prädikatenlogik 7.4 Die Peano-Axiome 7.5 Die Gödelschen Theoreme 102 102 8. Modallogik Modaloperatoren Ein Axiomensystem der Modallogik: Das System К Das System T Das System S4 Das System S5 Semantik der Modallogik Modale Prädikatenlogik 116 116 119 123 124 125 127 131 Deontische Logik Grundriss der Normenlogik Paradoxien der Normenlogik Bedingte Gebote Normative und deontische Widersprüche 135 135 137 142 145 8.1 8.2 8.3 8.4 8.5 8.6 8.7 9. 9.1 9.2 9.3 9.4 107 108 110 112 10.1 10.2 10.3 10.4 Temporale Logik Das Seeschlacht-Dilemma Der R-Kalkül Das Minimalsystem der temporalen Logik Spezielle Zeitordnungen 150 150 153 157 160 и. Aufgaben 164 12. Lösungen ausgewählter Aufgaben 178 13. Literatur 184 10.
any_adam_object	1
author	Zoglauer, Thomas 1960-
author_GND	(DE-588)12428566X
author_facet	Zoglauer, Thomas 1960-
author_role	aut
author_sort	Zoglauer, Thomas 1960-
author_variant	t z tz
building	Verbundindex
bvnumber	BV043402736
classification_rvk	BF 1350 CC 2400 CC 2500 QP 327 XC 2601
classification_tum	MAT 030f PHI 350f
ctrlnum	(OCoLC)944080298 (DE-599)BVBBV043402736
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 / Ethik Philosophie Wirtschaftswissenschaften Theologie / Religionswissenschaften Medizin
edition	5., durchgesehene Auflage
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02510nam a2200601 cb4500</leader><controlfield tag="001">BV043402736</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20201215 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">160224s2016 gw a\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783825245924</subfield><subfield code="9">978-3-8252-4592-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)944080298</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043402736</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</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</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-384</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">BF 1350</subfield><subfield code="0">(DE-625)10858:</subfield><subfield code="2">rvk</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">QP 327</subfield><subfield code="0">(DE-625)141858:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">XC 2601</subfield><subfield code="0">(DE-625)152504:13130</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</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">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PHI 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zoglauer, Thomas</subfield><subfield code="d">1960-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)12428566X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Einführung in die formale Logik für Philosophen</subfield><subfield code="c">Thomas Zoglauer</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">5., durchgesehene Auflage</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Göttingen</subfield><subfield code="b">Vandenhoeck & Ruprecht</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">187 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</subfield><subfield code="c">19 cm</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">UTB. Philosophie</subfield><subfield code="v">1999</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 184 - 187</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematische Logik - Einführung</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">Analytische Philosophie</subfield><subfield code="0">(DE-588)4001869-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="8">1\p</subfield><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">Analytische Philosophie</subfield><subfield code="0">(DE-588)4001869-6</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">2\p</subfield><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">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">UTB. Philosophie</subfield><subfield code="v">1999</subfield><subfield code="w">(DE-604)BV000895355</subfield><subfield code="9">1999</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Augsburg - ADAM Catalogue Enrichment</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=028821208&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-028821208</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\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	1\p (DE-588)4151278-9 Einführung gnd-content
genre_facet	Einführung
id	DE-604.BV043402736
illustrated	Illustrated
indexdate	2024-07-10T07:25:01Z
institution	BVB
isbn	9783825245924
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028821208
oclc_num	944080298
open_access_boolean
owner	DE-12 DE-824 DE-19 DE-BY-UBM DE-29 DE-11 DE-739 DE-634 DE-83 DE-384
owner_facet	DE-12 DE-824 DE-19 DE-BY-UBM DE-29 DE-11 DE-739 DE-634 DE-83 DE-384
physical	187 Seiten Illustrationen, Diagramme 19 cm
publishDate	2016
publishDateSearch	2016
publishDateSort	2016
publisher	Vandenhoeck & Ruprecht
record_format	marc
series	UTB. Philosophie
series2	UTB. Philosophie
spelling	Zoglauer, Thomas 1960- Verfasser (DE-588)12428566X aut Einführung in die formale Logik für Philosophen Thomas Zoglauer 5., durchgesehene Auflage Göttingen Vandenhoeck & Ruprecht [2016] 187 Seiten Illustrationen, Diagramme 19 cm txt rdacontent n rdamedia nc rdacarrier UTB. Philosophie 1999 Literaturverz. S. 184 - 187 Mathematische Logik - Einführung Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Analytische Philosophie (DE-588)4001869-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Analytische Philosophie (DE-588)4001869-6 s Mathematische Logik (DE-588)4037951-6 s 2\p DE-604 Logik (DE-588)4036202-4 s 3\p DE-604 UTB. Philosophie 1999 (DE-604)BV000895355 1999 Digitalisierung UB Augsburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028821208&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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Zoglauer, Thomas 1960- Einführung in die formale Logik für Philosophen UTB. Philosophie Mathematische Logik - Einführung Mathematische Logik (DE-588)4037951-6 gnd Analytische Philosophie (DE-588)4001869-6 gnd Logik (DE-588)4036202-4 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4001869-6 (DE-588)4036202-4 (DE-588)4151278-9
title	Einführung in die formale Logik für Philosophen
title_auth	Einführung in die formale Logik für Philosophen
title_exact_search	Einführung in die formale Logik für Philosophen
title_full	Einführung in die formale Logik für Philosophen Thomas Zoglauer
title_fullStr	Einführung in die formale Logik für Philosophen Thomas Zoglauer
title_full_unstemmed	Einführung in die formale Logik für Philosophen Thomas Zoglauer
title_short	Einführung in die formale Logik für Philosophen
title_sort	einfuhrung in die formale logik fur philosophen
topic	Mathematische Logik - Einführung Mathematische Logik (DE-588)4037951-6 gnd Analytische Philosophie (DE-588)4001869-6 gnd Logik (DE-588)4036202-4 gnd
topic_facet	Mathematische Logik - Einführung Mathematische Logik Analytische Philosophie Logik Einführung
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028821208&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000895355
work_keys_str_mv	AT zoglauerthomas einfuhrungindieformalelogikfurphilosophen

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge