Die moderne Logik in der Rechtswissenschaft:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
Bad Homburg v.d.H. [u.a.]
Gehlen
1970
|
| Series: | Studien und Texte zur Theorie und Methodologie des Rechts
5 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 115 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV001935358 | ||
| 003 | DE-604 | ||
| 005 | 20190403 | ||
| 007 | t | ||
| 008 | 890928s1970 gw |||| 00||| ger d | ||
| 035 | |a (OCoLC)610747027 | ||
| 035 | |a (DE-599)BVBBV001935358 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-HE | ||
| 049 | |a DE-12 |a DE-739 |a DE-355 |a DE-384 |a DE-703 |a DE-473 |a DE-19 |a DE-29 |a DE-521 |a DE-M124 |a DE-N2 |a DE-83 |a DE-188 |a DE-11 |a DE-20 |a DE-Ef29 | ||
| 050 | 0 | |a K27.L8 | |
| 084 | |a PI 3020 |0 (DE-625)136586: |2 rvk | ||
| 100 | 1 | |a Wagner, Heinz |d 1926-2023 |e Verfasser |0 (DE-588)1046919245 |4 aut | |
| 245 | 1 | 0 | |a Die moderne Logik in der Rechtswissenschaft |c von Heinz Wagner und Karl Haag |
| 264 | 1 | |a Bad Homburg v.d.H. [u.a.] |b Gehlen |c 1970 | |
| 300 | |a 115 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Studien und Texte zur Theorie und Methodologie des Rechts |v 5 | |
| 650 | 4 | |a Logic | |
| 650 | 0 | 7 | |a Juristische Logik |0 (DE-588)4135337-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Juristische Logik |0 (DE-588)4135337-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Haag, Karl |e Verfasser |4 aut | |
| 830 | 0 | |a Studien und Texte zur Theorie und Methodologie des Rechts |v 5 |w (DE-604)BV002781174 |9 5 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001261458&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q HUB-ZB011201204 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001261458 | ||
| 980 | 4 | |a (DE-12)AK23360572 | |
| 980 | 4 | |a (DE-12)AK08840337 | |
Record in the Search Index
| _version_ | 1804116375269015552 |
|---|---|
| adam_text | Titel: Die moderne Logik in der Rechtswissenschaft
Autor: Wagner, Heinz
Jahr: 1970
Inhaltsverzeichnis
1. Einleitung 7
1.1. Gegenstand der Logik 8
1.2. Gründe für die Entwicklung der modernen Logik 9
1.3. Exakte Sprache 11
1.4. Formalisierung 15
1.5. Die Anwendbarkeit in der Rechtswissenschaft 16
1.5.1. Aufgaben einer juristischen Semantik 18
1.5.2. Sprachliche Anforderungen an die Rechtsnorm 27
1.5.3. Ungenügen formallogischer Operationen 28
1.6. Bedeutung der Normlogik 32
1.7. Hinweise für die Lektüre 34
1. Kapitel
Grundzüge der modernen Logik
2. Protologiscber Kalkül 35
2.1. Aufbau mittels Wertefunktionen 35
2.1.1. Im protologischen Kalkül zulässige Zeichen (Zeicheneinheiten) .... 35
2.1.1.1. Grundzeichen 36
2.1.1.2. Verknüpfungen (Folgen) von Grundzeichen 39
2.1.2. Im protologischen Kalkül ausgezeichnete Zeicheneinheiten
(Kalkülsätze) 40
2.2. Aufbau nach der axiomatischen Methode 42
2.2.1. Im protologischen Kalkül zulässige Zeichen (Zeicheneinheiten) .... 43
2.2.1.1. Grundzeichen 43
2.2.1.2. Verknüpfungen (Folgen) von Grundzeichen 44
2.2.2. Im protologischen Kalkül ausgezeichnete Zeicheneinheiten
(Kalkülsätze) 44
2.2.2.1. Axiome 44
2.2.2.2. Umformungs- oder Schlußregeln 44
2.3. Obereinstimmung des axiomatischen Kalküls mit dem Werte¬
funktionenkalkül 45
3. Aussagenkalkül 49
3.1. Deutung des mittels Wertefunktionen gebildeten protologischen Kalküls
als Aussagenkalkül 49
3.2. Deutung des axiomatisch aufgebauten protologischen Kalküls als Aus¬
sagenkalkül 52
3.3. Einige Beispiele für die aussagenlogische Deutung von Tautologien ... 53
4. Elementarer Klassenkalkül („Klassenalgebra ) 53
4.1. Was ist ein Klasse? 54
4.2. Klassenlogische Deutung des protologischen Kalküls 55
5. Erweiterter protologischer Kalkül 61
Interpretation: Prädikatenkalkül
5.1. Zeicheneinheiten 61
6 . Inhaltsverzeichnis
5.1.1. Grundzeichen 61
5.1.2. Zeichenfolgen 62
5.2. Kalkülsätze 64
5.2.1. Axiome 64
5.2.2. Umformungs- oder Schlußregeln 65
5.2.3. Interpretation der Kalkülsätze 66
6. Anhang: Zur Theorie der Normalisierten Sprachen 67
6.1. Begriffserklärungen 67
6.2. Warum Formalisierung von Sprachen? 69
6.3. Allgemeine Kalkültheorie (Syntax) 69
6.3.1. Begriff der formalen Regel 69
6.3.2. Aufbau eines Kalküls 70
6.3.3. Kritische Bemerkungen 71
6.4. Allgemeine Theorie der Kalkülinterpretation (Semantik) 72
6.4.1. Herkömmliche Auffassungen der Semantik 72
6.4.2. Verallgemeinerte Theorie der Kalkülinterpretation 75
6.4.3. Einige Bemerkungen zu einer Semantik der Rechtssprache 76
2. Kapitel
Skizzierung einiger normlogischer Ansätze
7. Problemstellung: Konstruktion einer formalisierten Rechtssprache .... 77
8. Unmittelbare Anwendung der aussagenlogischen Kalküle 79
8.1. Umdeutung mittels des Sanktionsbegriffs 79
8.2. Zuordnung von Parallelsystemen 80
8.3. Der Ansatz von Klug 80
9. Normative Deutung des protologischen Kalküls 82
9.1. Elementarer protologischer Kalkül 82
9.2. Erweiterter protologischer Kalkül 84
10. Erweiterungen von Aussagen- und Prädikatenkalkül nichtmoddllogischer
Art (Castaneda) 85
10.1. Grundbegriffe 85
10.2. Kalkülaufbau 86
10.3. Kritik 88
11. Anwendung von Modalkalkülen 88
11.1. Normative Deutung eines Modalkalküls (Becker, Feys) 88
11.2. Normative Deutung von erweiterten Modalkalkülen (Anderson, Prior) 91
12. Kalküle der deontischen Modalitäten 93
12.1. Klassenkalkül der deontischen Modalitäten (Tammelo, Klinger) ... 94
12.2. Einfacher deontischer Modalitätenkalkül (von Wright, Deontic logic) 96
12.3. Kalkül der bedingten deontischen Modalitäten (von Wright, [Norm
and Action], Rescher) 97
12.3.1. von Wrights neuer Ansatz 97
12.3.2. Logik der Veränderung 98
12.3.3. Logik des Verhaltens 1°°
12.3.4. Deontische Logik 101
12.4. Intuitionistischer Kalkül der deontischen Modalitäten (Philipps) . . . 104
13. Einige Anforderungen an die Normlogik 105
Anhang: Verzeichnis logischer Symbole 10°
Literaturverzeichnis HO
Stichwortverzeichnis H3
|
| any_adam_object | 1 |
| author | Wagner, Heinz 1926-2023 Haag, Karl |
| author_GND | (DE-588)1046919245 |
| author_facet | Wagner, Heinz 1926-2023 Haag, Karl |
| author_role | aut aut |
| author_sort | Wagner, Heinz 1926-2023 |
| author_variant | h w hw k h kh |
| building | Verbundindex |
| bvnumber | BV001935358 |
| callnumber-first | K - Law |
| callnumber-label | K27 |
| callnumber-raw | K27.L8 |
| callnumber-search | K27.L8 |
| callnumber-sort | K 227 L8 |
| callnumber-subject | K - General Law |
| classification_rvk | PI 3020 |
| ctrlnum | (OCoLC)610747027 (DE-599)BVBBV001935358 |
| discipline | Rechtswissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01660nam a2200409 cb4500</leader><controlfield tag="001">BV001935358</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190403 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1970 gw |||| 00||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)610747027</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001935358</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-12</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-M124</subfield><subfield code="a">DE-N2</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-Ef29</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">K27.L8</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">PI 3020</subfield><subfield code="0">(DE-625)136586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wagner, Heinz</subfield><subfield code="d">1926-2023</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1046919245</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Die moderne Logik in der Rechtswissenschaft</subfield><subfield code="c">von Heinz Wagner und Karl Haag</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Bad Homburg v.d.H. [u.a.]</subfield><subfield code="b">Gehlen</subfield><subfield code="c">1970</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">115 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">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">Studien und Texte zur Theorie und Methodologie des Rechts</subfield><subfield code="v">5</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Juristische Logik</subfield><subfield code="0">(DE-588)4135337-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Juristische Logik</subfield><subfield code="0">(DE-588)4135337-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Haag, Karl</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studien und Texte zur Theorie und Methodologie des Rechts</subfield><subfield code="v">5</subfield><subfield code="w">(DE-604)BV002781174</subfield><subfield code="9">5</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=001261458&sequence=000002&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="q">HUB-ZB011201204</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001261458</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK23360572</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK08840337</subfield></datafield></record></collection> |
| id | DE-604.BV001935358 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:37:30Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001261458 |
| oclc_num | 610747027 |
| open_access_boolean | |
| owner | DE-12 DE-739 DE-355 DE-BY-UBR DE-384 DE-703 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-29 DE-521 DE-M124 DE-N2 DE-83 DE-188 DE-11 DE-20 DE-Ef29 |
| owner_facet | DE-12 DE-739 DE-355 DE-BY-UBR DE-384 DE-703 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-29 DE-521 DE-M124 DE-N2 DE-83 DE-188 DE-11 DE-20 DE-Ef29 |
| physical | 115 S. |
| psigel | HUB-ZB011201204 |
| publishDate | 1970 |
| publishDateSearch | 1970 |
| publishDateSort | 1970 |
| publisher | Gehlen |
| record_format | marc |
| series | Studien und Texte zur Theorie und Methodologie des Rechts |
| series2 | Studien und Texte zur Theorie und Methodologie des Rechts |
| spelling | Wagner, Heinz 1926-2023 Verfasser (DE-588)1046919245 aut Die moderne Logik in der Rechtswissenschaft von Heinz Wagner und Karl Haag Bad Homburg v.d.H. [u.a.] Gehlen 1970 115 S. txt rdacontent n rdamedia nc rdacarrier Studien und Texte zur Theorie und Methodologie des Rechts 5 Logic Juristische Logik (DE-588)4135337-7 gnd rswk-swf Juristische Logik (DE-588)4135337-7 s DE-604 Haag, Karl Verfasser aut Studien und Texte zur Theorie und Methodologie des Rechts 5 (DE-604)BV002781174 5 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001261458&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Wagner, Heinz 1926-2023 Haag, Karl Die moderne Logik in der Rechtswissenschaft Studien und Texte zur Theorie und Methodologie des Rechts Logic Juristische Logik (DE-588)4135337-7 gnd |
| subject_GND | (DE-588)4135337-7 |
| title | Die moderne Logik in der Rechtswissenschaft |
| title_auth | Die moderne Logik in der Rechtswissenschaft |
| title_exact_search | Die moderne Logik in der Rechtswissenschaft |
| title_full | Die moderne Logik in der Rechtswissenschaft von Heinz Wagner und Karl Haag |
| title_fullStr | Die moderne Logik in der Rechtswissenschaft von Heinz Wagner und Karl Haag |
| title_full_unstemmed | Die moderne Logik in der Rechtswissenschaft von Heinz Wagner und Karl Haag |
| title_short | Die moderne Logik in der Rechtswissenschaft |
| title_sort | die moderne logik in der rechtswissenschaft |
| topic | Logic Juristische Logik (DE-588)4135337-7 gnd |
| topic_facet | Logic Juristische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001261458&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV002781174 |
| work_keys_str_mv | AT wagnerheinz diemodernelogikinderrechtswissenschaft AT haagkarl diemodernelogikinderrechtswissenschaft |