Holdings: Formale Logik :: THWS Bibkatalog

Formale Logik: eine philosophische Einführung

Saved in:

Bibliographic Details
Main Author:	Hoyningen-Huene, Paul 1946- (Author)
Format:	Book
Language:	German
Published:	Stuttgart Reclam 2013
Series:	Reclams Universal-Bibliothek 9692
Subjects:	Mathematische Logik Philosophie Einführung
Online Access:	Inhaltsverzeichnis
Item Description:	Literaturangaben
Physical Description:	335 S. 15 cm
ISBN:	9783150096925

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV041117624
003	DE-604
005	20130717
007	t
008	130702r2013uuuugw \|\|\|\| 00\|\|\| ger d
015			\|a 13,A25 \|2 dnb
016	7		\|a 1035621339 \|2 DE-101
020			\|a 9783150096925 \|c kart. : EUR 11.00 \|9 978-3-15-009692-5
035			\|a (OCoLC)849761366
035			\|a (DE-599)DNB1035621339
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c XA-DE
049			\|a DE-19
082	0		\|a 511.3 \|2 22/ger
084			\|a 510 \|2 sdnb
084			\|a 100 \|2 sdnb
100	1		\|a Hoyningen-Huene, Paul \|d 1946- \|e Verfasser \|0 (DE-588)110685113 \|4 aut
245	1	0	\|a Formale Logik \|b eine philosophische Einführung \|c Paul Hoyningen-Huene
264		1	\|a Stuttgart \|b Reclam \|c 2013
300			\|a 335 S. \|c 15 cm
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Reclams Universal-Bibliothek \|v 9692
500			\|a Literaturangaben
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Philosophie \|0 (DE-588)4045791-6 \|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 Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
689	1	0	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	1	1	\|a Philosophie \|0 (DE-588)4045791-6 \|D s
689	1		\|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=026093702&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-026093702
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

Record in the Search Index

_version_	1804150507417108480
adam_text	IMAGE 1 VORWORT INHALT I EINFUEHRUNG 1 EIN BEISPIEL . 2 VORLAEUFIGES ZUM BEGRIFF DER LOGISCHEN FORM 3 AUSSAGEN UND AUSSAGEVERKNUEPFUNGEN. . . . 3.1 SAETZE UND AUSSAGEN . . . . I 3.2 UNZUSAMMENGESETZTE VS. ZUSAMMENGESETZTE AUSSAGEN . . . 3.3 EXTENSIONALE VS. INTENSIONALE AUSSAGEVERKNUEPFUNGEN 4 ZUSAMMENFASSUNG II AUSSAGENLOGIK . . . 1 DAS ZEICHENSYSTEM DER AUSSAGENLOGIK 1.1 WAHRHEITSFUNKTIONALE VERKNUEPFUNGEN. A) KONJUNKTION . . . B) ADJUNKTION * C) NEGATION .* D) KONDITIONAL . . . E) BIKONDITIONAL F) NACHBEMERKUNG ZUR EINFUEHRUNG DER JUNKTOREN 1.2 AUSSAGENLOGISCHE FORM . . . . . . . . . A) DEFINITION B) BEMERKUNGEN UND ERGAENZUNGEN ZUM BEGRIFF DER AUSSAGENLOGISCHEN FORM , HTTP://D-NB.INFO/1035621339 IMAGE 2 6 INHALT 1.3 INTERPRETATION VON AUSSAGENLOGISCHEN FORMELN . 67 A) INTENSIONALE INTERPRETATION 67 B) EXTENSIONALE INTERPRETATION 68 C) WAHRHEITSWERTANALYSE 70 1.4 ZUSAMMENFASSUNG 73 2 METALOGIK DER AUSSAGENLOGIK -74 2.1 OBJEKTEBENE VS. METAEBENE . . * 74 2.2 LOGISCHE WAHRHEIT 78 A) DEFINITION 78 B) DAS SUBSTITUTIONSTHEOREM 85 2.3 LOGISCHE FALSCHHEIT 87 2.4 LOGISCHE FOLGERUNG 92 A) SYNTHETISCHE DEFINITION, ANALYTISCHE DEFINITION, EXPLIKATION 92 B) ADAEQUATHEITSBEDINGUNGEN 96 C) VERSCHAERFUNG DER ADAEQUATHEITSBEDINGUNGEN? I: FALSCHHEITSTRANSFER 102 D) DEFINITION 105 E) BEMERKUNGEN UND ERGAENZUNGEN ZUR DEFINITION 111 . F) VERSCHAERFUNG DER ADAEQUATHEITSBEDINGUNGEN? II: DIE SOGENANNTEN PARADOXIEN DER IMPLIKATION 117 2.5 LOGISCHE AEQUIVALENZ 129 A) DEFINITION 129 B) DAS EINSETZUNGSTHEOREM 133 C) WICHTIGE AUSSAGENLOGISCHE AEQUIVALENZEN . 135 2.6 LOGISCHER WIDERSPRUCH 143 A) KONTRAERER AUSSAGENLOGISCHER WIDERSPRUCH . 145 B) KONTRADIKTORISCHER AUSSAGENLOGISCHER WIDERSPRUCH 146 2.7 LOGISCHE KONSISTENZ 147 2.8 LOGISCHE ABHAENGIGKEIT : 149 IMAGE 3 INHALT 7 3 RUECKBLICK UND AUSBLICK 152 3.1 RUECKBLICK 152 3.2 AUSSAGEN IN DER AUSSAGENLOGIK 153 3.3 LOGIK ALS RECHTFERTIGUNG DES SCHLIESSENS? . . . 155 3.4 ZUM VERHAELTNIS VON OBJEKT- UND METAEBENE IN DER LOGIK * . . . . 159 III PRAEDIKATENLOGIK 164 1 DAS ZEICHENSYSTEM DER PRAEDIKATENLOGIK 166 1.1 KLASSIFIKATION VON AUSSAGEN . . . 166 A) SINGULARE AUSSAGEN 167 - B) UNIVERSELLE AUSSAGEN 176 C) EXISTENZAUSSAGEN : 178 D) BEMERKUNGEN UND ERGAENZUNGEN ZUR EINFUEHRUNG DER QUANTORERI . . . . 182 1.2. PRAEDIKATENLOGISCHE FORM 196 A) DEFINITION . . . 196 B) BEMERKUNGEN UND ERGAENZUNGEN ZUM BEGRIFF DER PRAEDIKATENLOGISCHEN FORM . 200 C) BEISPIEL FUER EINE RELATIV KOMPLIZIERTE - P.L. FORMATIERUNG 203 1.3 INTERPRETATION VON PRAEDIKATENLOGISCHEN FORMEN 207. A) INTENSIONALE INTERPRETATION 208 B) EXTENSIONALE INTERPRETATION . 209 C) WAHRHEITSWERTANALYSE 213 1.4 ZUSAMMENFASSUNG 217 2 METALOGIK DER PRAEDIKATENLOGIK 2 1 9 2.1 DIE PARALLELE ZUR METALOGIK DER AUSSAGENLOGIK 219 2.2 LOGISCHE WAHRHEIT 219 A) DEFINITION 219 B) DER ZUSAMMENHANG MIT DER AUSSAGENLOGIK 224 C) DAS ENTSCHEIDUNGSPROBLEM 226 IMAGE 4 8 INHALT 2.3 LOGISCHE FALSCHHEIT 228 2.4 LOGISCHE FOLGERUNG 229 A) ADAEQUATHEITSBEDINGUNGEN 229 B) DEFINITION 231 2.5 LOGISCHE AEQUIVALENZ 234 A) DEFINITION 234 B) WICHTIGE PRAEDIKATENLOGISCHE AEQUIVALENZEN 235 2.6 WEITERE METALOGISCHE BEGRIFFE 236 3 RUECKBLICK UND AUSBLICK 237 I V D E R MATHEMATISCHE ZUGANG Z U R AUSSAGENLOGIK 238 1 ZUM MATHEMATISCHEN ZUGANG IM ALLGEMEINEN . . . 239 2 SYNTAX DER AUSSAGENLOGIK 243 3 SEMANTIK: MODELLTHEORIE 251 4 BEWEISTHEORIE . , . 257 5 RUECKBLICK 268 6 AUSBLICK AUF DIE PRAEDIKATENLOGIK 270 ANHANG 273 LOESUNGEN DER UEBUNGEN. VON CHRISTOPHER V. BUELOW 277 LITERATURHINWEISE 333
any_adam_object	1
author	Hoyningen-Huene, Paul 1946-
author_GND	(DE-588)110685113
author_facet	Hoyningen-Huene, Paul 1946-
author_role	aut
author_sort	Hoyningen-Huene, Paul 1946-
author_variant	p h h phh
building	Verbundindex
bvnumber	BV041117624
ctrlnum	(OCoLC)849761366 (DE-599)DNB1035621339
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
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01847nam a2200481 cb4500</leader><controlfield tag="001">BV041117624</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130717 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130702r2013uuuugw \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13,A25</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1035621339</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783150096925</subfield><subfield code="c">kart. : EUR 11.00</subfield><subfield code="9">978-3-15-009692-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)849761366</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1035621339</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</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</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">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="100" ind1="1" ind2=" "><subfield code="a">Hoyningen-Huene, Paul</subfield><subfield code="d">1946-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)110685113</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formale Logik</subfield><subfield code="b">eine philosophische Einführung</subfield><subfield code="c">Paul Hoyningen-Huene</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stuttgart</subfield><subfield code="b">Reclam</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">335 S.</subfield><subfield code="c">15 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="0" ind2=" "><subfield code="a">Reclams Universal-Bibliothek</subfield><subfield code="v">9692</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</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">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</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">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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" 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=026093702&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-026093702</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	1\p (DE-588)4151278-9 Einführung gnd-content
genre_facet	Einführung
id	DE-604.BV041117624
illustrated	Not Illustrated
indexdate	2024-07-10T00:40:01Z
institution	BVB
isbn	9783150096925
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026093702
oclc_num	849761366
open_access_boolean
owner	DE-19 DE-BY-UBM
owner_facet	DE-19 DE-BY-UBM
physical	335 S. 15 cm
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Reclam
record_format	marc
series2	Reclams Universal-Bibliothek
spelling	Hoyningen-Huene, Paul 1946- Verfasser (DE-588)110685113 aut Formale Logik eine philosophische Einführung Paul Hoyningen-Huene Stuttgart Reclam 2013 335 S. 15 cm txt rdacontent n rdamedia nc rdacarrier Reclams Universal-Bibliothek 9692 Literaturangaben Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Philosophie (DE-588)4045791-6 gnd rswk-swf 1\p (DE-588)4151278-9 Einführung gnd-content Mathematische Logik (DE-588)4037951-6 s DE-604 Philosophie (DE-588)4045791-6 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=026093702&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	Hoyningen-Huene, Paul 1946- Formale Logik eine philosophische Einführung Mathematische Logik (DE-588)4037951-6 gnd Philosophie (DE-588)4045791-6 gnd
subject_GND	(DE-588)4037951-6 (DE-588)4045791-6 (DE-588)4151278-9
title	Formale Logik eine philosophische Einführung
title_auth	Formale Logik eine philosophische Einführung
title_exact_search	Formale Logik eine philosophische Einführung
title_full	Formale Logik eine philosophische Einführung Paul Hoyningen-Huene
title_fullStr	Formale Logik eine philosophische Einführung Paul Hoyningen-Huene
title_full_unstemmed	Formale Logik eine philosophische Einführung Paul Hoyningen-Huene
title_short	Formale Logik
title_sort	formale logik eine philosophische einfuhrung
title_sub	eine philosophische Einführung
topic	Mathematische Logik (DE-588)4037951-6 gnd Philosophie (DE-588)4045791-6 gnd
topic_facet	Mathematische Logik Philosophie Einführung
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026093702&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT hoyningenhuenepaul formalelogikeinephilosophischeeinfuhrung

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items