Calculus Universalis: Studien zur Logik von G. W. Leibniz
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | German |
Veröffentlicht: |
Paderborn
mentis
2004
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | 380 S. |
ISBN: | 3897853620 |
Internformat
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV019303154 | ||
003 | DE-604 | ||
005 | 20041201 | ||
007 | t | ||
008 | 040524s2004 gw |||| 00||| ger d | ||
020 | |a 3897853620 |9 3-89785-362-0 | ||
035 | |a (OCoLC)55653339 | ||
035 | |a (DE-599)BVBBV019303154 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a ger | |
044 | |a gw |c DE | ||
049 | |a DE-739 |a DE-473 |a DE-29 |a DE-19 |a DE-M468 |a DE-12 |a DE-355 |a DE-11 |a DE-20 | ||
050 | 0 | |a B2599.L8 | |
082 | 0 | |a 100 | |
084 | |a CF 5517 |0 (DE-625)18113:11616 |2 rvk | ||
084 | |a 5,1 |2 ssgn | ||
100 | 1 | |a Lenzen, Wolfgang |d 1946- |e Verfasser |0 (DE-588)120970139 |4 aut | |
245 | 1 | 0 | |a Calculus Universalis |b Studien zur Logik von G. W. Leibniz |c Wolfgang Lenzen |
264 | 1 | |a Paderborn |b mentis |c 2004 | |
300 | |a 380 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
600 | 1 | 4 | |a Leibniz, Gottfried Wilhelm <Freiherr von, 1646-1716> |
600 | 1 | 7 | |a Leibniz, Gottfried Wilhelm |d 1646-1716 |0 (DE-588)118571249 |2 gnd |9 rswk-swf |
650 | 7 | |a Logica |2 gtt | |
650 | 4 | |a Logik | |
650 | 4 | |a Logic | |
650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Leibniz, Gottfried Wilhelm |d 1646-1716 |0 (DE-588)118571249 |D p |
689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
689 | 0 | |5 DE-604 | |
856 | 4 | 2 | |m Digitalisierung UB Regensburg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012771293&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-012771293 |
Datensatz im Suchindex
_version_ | 1804132712334753792 |
---|---|
adam_text | INHALTSVERZEICHNIS
Vorwort......................................................................................................... 5
1
2 Zur extensionalen und „intensionalen Interpretation
der Leibnizschen Logik.............................................................................. 23
2.1 Einleitung............................................................................................................. 23
2.2 Zur Syntax des Basissystems L1...................................................................... 24
2.3 Zur extensionalen Interpretation von L/....................................................... 29
2.4 Zur „intensionalen Interpretation von L/.................................................... 36
2.5 Vergleich der extensionalen und „intensionalen Semantik........................ 42
2.6 Zur Semantik der quantorenlogischen Erweiterung
3
3.1 Einleitung............................................................................................................. 47
3.2
3.3 Für die Vollständigkeit von
3.4 Zur Äquivalenz von Boolescher und Leibnizscher Algebra........................ 63
4
4.1 Einleitung............................................................................................................. 65
4.2 Begriffsalgebra und kategorische Satzformen................................................ 67
4.3
4.4 Negation, Möglichkeit, Widerspruchsfreiheit................................................ 73
5 ,Ens und
5.1 Die Logik der Begriffe....................................................................................... 75
5.2 Individuen und Individualbegriffe................................................................... 80
5.3 Zur Existenz von Individuen............................................................................ 88
5.4 „Essentiell und
5.5 Ausblick................................................................................................................ 97
6 „Unbestimmte Begriffe bei
6.1 Einleitung............................................................................................................. 99
6.2 Der Existenzquantor.......................................................................................... 105
6.3 Der Aliquanter.................................................................................................... 113
6.4 Mehrfaches Quantifizieren................................................................................ 119
6.5 Zur Eliminierbarkeit der „unbestimmten Begriffe ...................................... 126
12 Inhalt
7
7.1 Einleitung............................................................................................................. 133
7.2 Die Negation im Rahmen
7.2.1 Opposition, Subaltemation und Konversion.............................................. 136
7.2.2 .Wahr und /alsch als metasprachliche Prädikate...................................... 141
7.2.3 Obversion......................................................................................................... 144
7.2.4 Konversion und Kontraposition................................................................... 147
7.3 Die Negation im „allgemeinen Kalkül .......................................................... 150
7.3.1 Der Basiskalkül
7.3.2 Die Quantorenlogik L2.................................................................................. 153
7.4 Zur Chronologie der Leibnizschen Logik...................................................... 156
7.4.1 Frühe Arbeiten um 1676................................................................................ 157
7.4.2 Arbeiten um 1679............................................................................................ 160
7.4.3 Arbeiten um 1686............................................................................................ 165
7.4.4
8 Zur Einbettung der Syllogistik in
„Allgemeinen Kalkül ................................................................................ 181
8.1 Einleitung............................................................................................................. 181
8.2 Der „allgemeine Kalkül ................................................................................... 184
8.3 Der logische Kern der Syllogistik..................................................................... 186
8.4 (In-)Homogene Schemata der Formalisierung der Satzformen.................. 191
8.5 Deduktionsversuche der Syllogistik in den GI.............................................. 195
8.6 Deduktionsversuche in „De formae logicae comprobatione .................... 200
8.7 Einbettungsversuche um und nach 1690........................................................ 208
9 Arithmetizismus, oder: Wie
aus dem kleinen Einmaleins ableitet......................................................... 217
9.1 Arithmetizisfflus.................................................................................................. 217
9.2. Das kleine Einmaleins....................................................................................... 217
9.3 „Reale Addition und Subtraktion................................................................... 220
9.4 Jenseits des kleinen Einmaleins........................................................................ 223
9.5 Vollständigkeit..................................................................................................... 225
10 Guilielmi Pacidii
Eine Rekonstruktion von
10.1 Die Textgrundlage des Plus-Minus-Kalküls................................................. 229
10.2 Zu den Übersetzungen des Plus-Minus-Kalküls......................................... 235
10.3 Der Plus-Kalkül................................................................................................ 238
10.3.1 Identität, Addition und Inklusion............................................................... 239
10.3.2 Bedeutung und Anwendungsbereich des Plus-Minus-Kalküls.............. 243
10.3.3
10.4 Der Plus-Minus-Kalkül.................................................................................... 247
10.4.1 Das Nichts...................................................................................................... 248
10.4.2 Kommunikanz............................................................................................... 251
10.4.3 Die Minus-Operation................................................................................... 255
10.4.4 Kommune und Proprium............................................................................ 269
Inhalt 13
10.5 Schlussbemerkung............................................................................................ 278
11
11.1 Einleitung........................................................................................................... 281
11.2 Der begriffslogische Kalkül
11.3 Die Transformation von L1 in eine Satzlogik............................................. 291
11.4 Vergleich mit Lewis Systemen der strikten Implikation ........................... 297
11.5
12 Zur Logik alethischer und deontischer Modalitäten bei
12.1 Einleitung........................................................................................................... 309
12.2 Verallgemeinerung der Syllogistik zu einer Algebra der Begriffe.............. 311
12.3 Von der Algebra der Begriffe zur modalen Aussagenlogik....................... 316
12.4 Von der alethischen Modallogik zur deontischen Logik............................ 320
13 Mögliche Individuen und mögliche Welten —
Eine begriffslogische Rekonstruktion von
13.1 Einleitung........................................................................................................... 325
13.2 Begriffslogik...................................................................................................... 326
13.3 Individuen.......................................................................................................... 327
13.4 Kompossibilität................................................................................................. 327
13.5 MögHche Welten............................................................................................... 329
13.6 Aktualität............................................................................................................ 330
14
Problem der unmöglichen Dinge........................................................... 331
15 Anhänge...................................................................................................... 343
15.1 Anhang zu Kapitel 2........................................................................................ 343
15.2 Anhang zu Kapitel 3........................................................................................ 346
15.3 Anhang zu Kapitel 5........................................................................................ 351
15.4 Anhang zu Kapitel 7........................................................................................ 353
15.5 Anhang zu Kapitel 8........................................................................................ 355
15.6 Anhang zu Kapitel 9........................................................................................ 359
15.7 Anhang zu Kapitel 11...................................................................................... 362
Literaturverzeichnis..................................................................................... 367
Personenverzeichnis.................................................................................... 373
Sachverzeichnis............................................................................................ 376
|
any_adam_object | 1 |
author | Lenzen, Wolfgang 1946- |
author_GND | (DE-588)120970139 |
author_facet | Lenzen, Wolfgang 1946- |
author_role | aut |
author_sort | Lenzen, Wolfgang 1946- |
author_variant | w l wl |
building | Verbundindex |
bvnumber | BV019303154 |
callnumber-first | B - Philosophy, Psychology, Religion |
callnumber-label | B2599 |
callnumber-raw | B2599.L8 |
callnumber-search | B2599.L8 |
callnumber-sort | B 42599 L8 |
callnumber-subject | B - Philosophy |
classification_rvk | CF 5517 |
ctrlnum | (OCoLC)55653339 (DE-599)BVBBV019303154 |
dewey-full | 100 |
dewey-hundreds | 100 - Philosophy & psychology |
dewey-ones | 100 - Philosophy & psychology |
dewey-raw | 100 |
dewey-search | 100 |
dewey-sort | 3100 |
dewey-tens | 100 - Philosophy & psychology |
discipline | Philosophie |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01618nam a2200433 c 4500</leader><controlfield tag="001">BV019303154</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20041201 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">040524s2004 gw |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3897853620</subfield><subfield code="9">3-89785-362-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)55653339</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019303154</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-739</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-20</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">B2599.L8</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">100</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CF 5517</subfield><subfield code="0">(DE-625)18113:11616</subfield><subfield code="2">rvk</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">Lenzen, Wolfgang</subfield><subfield code="d">1946-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120970139</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Calculus Universalis</subfield><subfield code="b">Studien zur Logik von G. W. Leibniz</subfield><subfield code="c">Wolfgang Lenzen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Paderborn</subfield><subfield code="b">mentis</subfield><subfield code="c">2004</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">380 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="600" ind1="1" ind2="4"><subfield code="a">Leibniz, Gottfried Wilhelm <Freiherr von, 1646-1716></subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Leibniz, Gottfried Wilhelm</subfield><subfield code="d">1646-1716</subfield><subfield code="0">(DE-588)118571249</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</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">Leibniz, Gottfried Wilhelm</subfield><subfield code="d">1646-1716</subfield><subfield code="0">(DE-588)118571249</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg</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=012771293&sequence=000003&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-012771293</subfield></datafield></record></collection> |
id | DE-604.BV019303154 |
illustrated | Not Illustrated |
indexdate | 2024-07-09T19:57:11Z |
institution | BVB |
isbn | 3897853620 |
language | German |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012771293 |
oclc_num | 55653339 |
open_access_boolean | |
owner | DE-739 DE-473 DE-BY-UBG DE-29 DE-19 DE-BY-UBM DE-M468 DE-12 DE-355 DE-BY-UBR DE-11 DE-20 |
owner_facet | DE-739 DE-473 DE-BY-UBG DE-29 DE-19 DE-BY-UBM DE-M468 DE-12 DE-355 DE-BY-UBR DE-11 DE-20 |
physical | 380 S. |
publishDate | 2004 |
publishDateSearch | 2004 |
publishDateSort | 2004 |
publisher | mentis |
record_format | marc |
spelling | Lenzen, Wolfgang 1946- Verfasser (DE-588)120970139 aut Calculus Universalis Studien zur Logik von G. W. Leibniz Wolfgang Lenzen Paderborn mentis 2004 380 S. txt rdacontent n rdamedia nc rdacarrier Leibniz, Gottfried Wilhelm <Freiherr von, 1646-1716> Leibniz, Gottfried Wilhelm 1646-1716 (DE-588)118571249 gnd rswk-swf Logica gtt Logik Logic Logik (DE-588)4036202-4 gnd rswk-swf Leibniz, Gottfried Wilhelm 1646-1716 (DE-588)118571249 p Logik (DE-588)4036202-4 s DE-604 Digitalisierung UB Regensburg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012771293&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
spellingShingle | Lenzen, Wolfgang 1946- Calculus Universalis Studien zur Logik von G. W. Leibniz Leibniz, Gottfried Wilhelm <Freiherr von, 1646-1716> Leibniz, Gottfried Wilhelm 1646-1716 (DE-588)118571249 gnd Logica gtt Logik Logic Logik (DE-588)4036202-4 gnd |
subject_GND | (DE-588)118571249 (DE-588)4036202-4 |
title | Calculus Universalis Studien zur Logik von G. W. Leibniz |
title_auth | Calculus Universalis Studien zur Logik von G. W. Leibniz |
title_exact_search | Calculus Universalis Studien zur Logik von G. W. Leibniz |
title_full | Calculus Universalis Studien zur Logik von G. W. Leibniz Wolfgang Lenzen |
title_fullStr | Calculus Universalis Studien zur Logik von G. W. Leibniz Wolfgang Lenzen |
title_full_unstemmed | Calculus Universalis Studien zur Logik von G. W. Leibniz Wolfgang Lenzen |
title_short | Calculus Universalis |
title_sort | calculus universalis studien zur logik von g w leibniz |
title_sub | Studien zur Logik von G. W. Leibniz |
topic | Leibniz, Gottfried Wilhelm <Freiherr von, 1646-1716> Leibniz, Gottfried Wilhelm 1646-1716 (DE-588)118571249 gnd Logica gtt Logik Logic Logik (DE-588)4036202-4 gnd |
topic_facet | Leibniz, Gottfried Wilhelm <Freiherr von, 1646-1716> Leibniz, Gottfried Wilhelm 1646-1716 Logica Logik Logic |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012771293&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT lenzenwolfgang calculusuniversalisstudienzurlogikvongwleibniz |