Untersuchungen zur operativen Logik der Gegenwart:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | German |
| Published: |
Freiburg ; München
Alber
1965
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 93 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002287331 | ||
| 003 | DE-604 | ||
| 005 | 20250210 | ||
| 007 | t| | ||
| 008 | 890928s1965 xx m||| 00||| ger d | ||
| 035 | |a (OCoLC)252482019 | ||
| 035 | |a (DE-599)BVBBV002287331 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-12 |a DE-19 |a DE-473 |a DE-703 |a DE-739 |a DE-355 |a DE-29 |a DE-824 |a DE-20 |a DE-11 |a DE-188 |a DE-210 |a DE-M468 | ||
| 050 | 0 | |a BC135 | |
| 082 | 0 | |a 164.1 | |
| 084 | |a BF 8400 |0 (DE-625)11172: |2 rvk | ||
| 084 | |a CC 2000 |0 (DE-625)17606: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 100 | 1 | |a Richter, Vladimir |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Untersuchungen zur operativen Logik der Gegenwart |c Vladimir Richter |
| 264 | 1 | |a Freiburg ; München |b Alber |c 1965 | |
| 300 | |a 93 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Zugl.: Innsbruck, Univ., Habil.-Schr. | ||
| 650 | 7 | |a Filosofie van de wiskunde |2 gtt | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 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=001503274&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001503274 | |
| 980 | 4 | |a (DE-12)AK18480681 | |
Record in the Search Index
| _version_ | 1823668050443894784 |
|---|---|
| adam_text |
Titel: Untersuchungen zur operativen Logik der Gegenwart
Autor: Richter, Vladimir
Jahr: 1965
Inhalt Einleitung . 9 Erstes Kapitel: Logik in Wittgensteins Tractatus .15 „Mythos†der logischen Gegenstände bei Frege und Russell . 15 Sinn und Bedeutung bei Frege .16 Sinn und Bedeutung bei Wittgenstein.18 Die Forderung der Bestimmtheit des Sinnes und das Prinzip des ausgeschlossenen Dritten.20 Die Existenz der Elementarsätze. 21 Wahrheit und Falschheit des Satzes; Wahrheitsmöglichkeiten . . 22 Der Satz als Wahrheitsfunktion der Elementarsätze.25 Wahrheitsfunktion als Resultat einer Operation.27 Sukzessive Anwendung einer Operation.28 Der Satz als Resultat von Wahrheitsoperationen mit Elementarsätzen .29 Operation und Regel.32 Logische Sätze als Tautologien.33 Anschauliche Methode zum Erkennen einer Tautologie.34 Logik des Tractatus als it/vy) und als transzendentale Logik . . 37 Zweites Kapitel: Von Brouwers Intuitionismus sfti Wittgensteins Spätwerk 39 Brouwers operative These der Mathematik und seine Kritik am Tertium non datur.39 Wittgensteins operative Auffassung der Mathematik im Tractatus. 44 Verhältnis von Logik und Mathematik nach dem Tractatus . 45 Die Logik in Wittgensteins Spätwerk.47 Drittes Kapitel: Operative Logik von Lorenspn .53 Kolmogorovs Logik der Aufgabenrechnung.53 Paul Lorenzen.55 Lorenzens operative Logik 1950 . 56 Grundbegriffe der Algorithmentheorie von A. A. Markov . 57 Ableitbarkeit im Kalkül.59 Zulässige Regeln.59 Protologik.59 7
Konsequenzenkalkül. 65 Kalkül der positiven Implikationslogik.66 Einführung der Konjunktion, Adjunktion und des Einsquantors . 67 Die Einführung des Allquantors und der Negation.67 Effektive (intuitionistische) Logik.68 Dialogische Interpretation der Logik nach Lorenzen (1959, 1962) 69 Dialog.70 Allgemeine Spielregel.72 Verlauf des Dialogs (I).73 Regel für Primaussagen.73 Spezielle Spielregel.73 Spezielle Spielregel der effektiven Logik.74 Gewinner des Dialogs.74 Gewinnstrategie.75 Verlauf des Dialogs (II): Tableaus.76 Einige Beispiele der Gewinnstrategien.76 Schemata zur Ableitung der Gewinnstrategien.79 Sequenzenkalkül der effektiven Logik.82 Klassische Logik.84 Sequenzenkalkül der klassischen Logik.86 Bibliographie .89 Namenverzeichnis .92 Stellenverzeichnis aus Wittgensteins Schriften .93 |
| any_adam_object | 1 |
| author | Richter, Vladimir |
| author_facet | Richter, Vladimir |
| author_role | aut |
| author_sort | Richter, Vladimir |
| author_variant | v r vr |
| building | Verbundindex |
| bvnumber | BV002287331 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC135 |
| callnumber-raw | BC135 |
| callnumber-search | BC135 |
| callnumber-sort | BC 3135 |
| callnumber-subject | BC - Logic |
| classification_rvk | BF 8400 CC 2000 CC 2600 |
| ctrlnum | (OCoLC)252482019 (DE-599)BVBBV002287331 |
| dewey-full | 164.1 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 164 - [Unassigned] |
| dewey-raw | 164.1 |
| dewey-search | 164.1 |
| dewey-sort | 3164.1 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie Theologie / Religionswissenschaften |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV002287331</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20250210</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">890928s1965 xx m||| 00||| ger d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)252482019</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002287331</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="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-M468</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC135</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">164.1</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">BF 8400</subfield><subfield code="0">(DE-625)11172:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2000</subfield><subfield code="0">(DE-625)17606:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Richter, Vladimir</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Untersuchungen zur operativen Logik der Gegenwart</subfield><subfield code="c">Vladimir Richter</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Freiburg ; München</subfield><subfield code="b">Alber</subfield><subfield code="c">1965</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">93 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="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Innsbruck, Univ., Habil.-Schr.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Filosofie van de wiskunde</subfield><subfield code="2">gtt</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, Symbolic and mathematical</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</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=001503274&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001503274</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK18480681</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV002287331 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-10T11:03:01Z |
| institution | BVB |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001503274 |
| oclc_num | 252482019 |
| open_access_boolean | |
| owner | DE-12 DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-703 DE-739 DE-355 DE-BY-UBR DE-29 DE-824 DE-20 DE-11 DE-188 DE-210 DE-M468 |
| owner_facet | DE-12 DE-19 DE-BY-UBM DE-473 DE-BY-UBG DE-703 DE-739 DE-355 DE-BY-UBR DE-29 DE-824 DE-20 DE-11 DE-188 DE-210 DE-M468 |
| physical | 93 S. |
| psigel | TUB-nveb |
| publishDate | 1965 |
| publishDateSearch | 1965 |
| publishDateSort | 1965 |
| publisher | Alber |
| record_format | marc |
| spelling | Richter, Vladimir Verfasser aut Untersuchungen zur operativen Logik der Gegenwart Vladimir Richter Freiburg ; München Alber 1965 93 S. txt rdacontent n rdamedia nc rdacarrier Zugl.: Innsbruck, Univ., Habil.-Schr. Filosofie van de wiskunde gtt Logica gtt Logik Logic, Symbolic and mathematical (DE-588)4113937-9 Hochschulschrift gnd-content HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001503274&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Richter, Vladimir Untersuchungen zur operativen Logik der Gegenwart Filosofie van de wiskunde gtt Logica gtt Logik Logic, Symbolic and mathematical |
| subject_GND | (DE-588)4113937-9 |
| title | Untersuchungen zur operativen Logik der Gegenwart |
| title_auth | Untersuchungen zur operativen Logik der Gegenwart |
| title_exact_search | Untersuchungen zur operativen Logik der Gegenwart |
| title_full | Untersuchungen zur operativen Logik der Gegenwart Vladimir Richter |
| title_fullStr | Untersuchungen zur operativen Logik der Gegenwart Vladimir Richter |
| title_full_unstemmed | Untersuchungen zur operativen Logik der Gegenwart Vladimir Richter |
| title_short | Untersuchungen zur operativen Logik der Gegenwart |
| title_sort | untersuchungen zur operativen logik der gegenwart |
| topic | Filosofie van de wiskunde gtt Logica gtt Logik Logic, Symbolic and mathematical |
| topic_facet | Filosofie van de wiskunde Logica Logik Logic, Symbolic and mathematical Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001503274&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT richtervladimir untersuchungenzuroperativenlogikdergegenwart |