literaturverzeichnis - link.springer.com978-3-642-87156-6/1.pdf · fiedler, h.: ulrich klugs...
TRANSCRIPT
Literaturverzeichnis
Abkürzungen für häufiger zitiertes Schrifttum und ergänzende Literaturangaben, insbesondere zur Beziehung zwischen Recht und moderner Logik.
ACKERMANN, W.: Siehe HILBERT AJDUKIEWICZ, K.: Abriß der Logik. Berlin 1958 ALCHOURRON, C. E., BuLYGIN, E.: Normative systems. New York, Wien 1971 ALLEN, L. E.: Symbolic logic: a razor-edged tool for drafting and interpreting
legal documents. The Y ale Law ]. 66, 833 (1957) -, BROOKS, R. B. S., ]AMES, P. A.: Automatie retrieval of legal literature: Why
and how. New Haven 1962 Archiv für Rechts- und Sozialphilosophie, zitiert als: ARSP BARTHOLOMEYCZIK, H.: Die Kunst der Gesetzesauslegung, 3. Auf!. Frankfurt 1965.
Zitiert als: BARTHOLOMEYCZIK, Gesetzesauslegung BAUER, F. L., Goos, G.: Informatik I, 2. Auf!. Berlin, Heidelberg, New York 1973 - - Informatik II, 2. Auf!. Berlin, Heidelberg, New York 1974 BAUMGÄR TEL, G.: Rechtstatsachen zur Dauer des Zivilprozesses. In: Prozeßrecht!iche
Abhandlungen, Heft 31 und 33, Köln 1972 BECKER, 0.: Einführung in die Logistik. Meisenheim/Glan 1951. Zitiert als:
BECKER, Logistik - Untersuchungen über den ModalkalküL Meisenheim/Glan 1952. Zitiert als:
BECKER, Modalkalkül BELL, ]. L., MACHO VER, M.: A course in mathematical logic. Amsterdam, New
Y ork, Oxford 1977 BERKELEY, E. C.: Boolean algebra and applications to insurance. Newtonville,
Mass., 1955 Blätter für deutsche Philosophie. Zitiert als: Bi. f. dt. Phi!. BoBBIO, N.: Diritto e logica. In: Atti del V Congresso nazianale di Filosofia del
diritto, Roma 1961, II. Communicazioni, Mailand 1962, S. 11 ff. BocHENSKI, I. M.: Logik der Religion. Köln 1968
Formale Logik, 3. Auf!. Freiburg, München 1970. Zitiert als: BocHENSKI, Formale Logik Die zeitgenössischen Denkmethoden, 8. Auf!. München 1980. Zitiert als: BoCHENSKI, Denkmethoden
-, MENNE, A.: Grundriß der Logistik, 4. Auf!. Paderborn 1973. Zitiert als: BoCHENSKI-MENNE, Logistik
BoDENHEIMER, E.: Modern analytical jurisprudence and the Iimits of its usefulness. University of Pennsylvania Law Review 104, 1080 (1956)
BROOKS, R. B. S.: Siehe ALLEN BRUGGER, W. (Hrsg.): Philosophisches Wörterbuch, 15. Auf!. Freiburg, Basel, Wien
1978. Zitiert als: BRuGGER, Phi!. W. BRUSIIN, 0.: über die Objektivität der Rechtsprechung. Helsinki 1949 - über das juristische Denken. Helsinki 1951
Literaturverzeichnis
BuLL, H. P.: Verwaltung durch Maschinen, 2. Aufl. Köln 1964 - Automation in der Verwaltung? Juristische Rundschau, S. 178 ff. (1965) BuLYGIN, E.: Siehe ALCHOURR6N BuRKAMP, W.: Logik. Berlin 1932. Zitiert als: BuRKAMP, Logik
211
CASTANEDA, H. N.: La 16gica generat de las normas y Ia etica. Universidad de San Carlos (Guatemala) 30, 129 ff. (1954)
- Obligation and modallogic. Logique et analyse (n. s.) 3, 40 (1960} CARNAP, R.: Abriß der Logistik mit besonderer Berücksichtigung der Relations
theorie und ihrer Anwendung. Wien 1929. Zitiert als: CARNAP, Logistik Der logische Aufbau der Welt, 3. Aufl. Harnburg 1966. Zitiert als: CARNAP, Log. Aufbau Logische Syntax der Sprache, 2. Aufl. Wien, New York 1968; zugleich: Logical syntax of language. London, New York 1937. Zitiert als: CARNAP, Log. Syntax Einführung in die symbolische Logik, 3. unveränderte Aufl. Wien, New York 1968. Zitiert als: CARNAP, Logik
CLAUBERG, K. W., DuBISLAV, W.: Systematisches Wörterbuch der Philosophie. Leipzig 1923. Zitiert als: CLAUBERG-DuBISLAV, W. d. Phi!.
CoiNG, H.: Grundzüge der Rechtsphilosophie, 3. Aufl. Berlin, New York 1976. Zitiert als: CoiNG, Rechtsphilosophie
CoN1E, A. C.: Bibliografia di logica giuridica 1936-1960. Rivista Intern. di Filosofia del Diritto 38, 120 (1961)
DAHS, H., DAHS, H.: Die Revision im Strafprozeß. München 1972 DESCHENAUX, H.: L'application de Ia logistique a Ia science du droit. In: Recueil
publie par Ia Societe Suisse des Juristes a l'occasion de !'Exposition nationale Suisse Lausanne 1964, Basel 1964, S. 109 ff.
DoTTERWEICH, ]., FRANZEN, R., WEIHERMÜLLER, M.: Simulationsmethoden in der juristischen Verfahrensforschung. In: Arbeitspapiere Rechtsinformatik, Heft 12. FIEDLER, H. (Hrsg.). Berlin 1978
DREWS, A.: Lehrbuch der Logik. Berlin 1928. Zitiert als: DREws, Logik DROBISCH, M. W.: Neue Darstellung der Logik nach ihren einfachsten Verhältnis
sen mit Rücksicht auf Mathematik und Naturwissenschaft, 5. Aufl. Hamburg, Leipzig 1887. Zitiert als: DROBISCH, Logik
DuBISLAV, W.: Die Definition, 3. Aufl., Leipzig 1931, Neudruck, Harnburg 1981. Zitiert als: DuBISLAv, Definition Die Philosophie der Mathematik in der Gegenwart. Berlin 1932. Zitiert als: DuBISLAV, Philos. d. M. Naturphilosophie. Berlin 1933. Zitiert als: DuBISLAV, Naturphil. Siehe auch CLAUBERG
EBBINGHAUS, H.-D., FLuM, ]., THOMAS, W.: Einführung in die mathematische Logik. Darmstadt 1978
EMGE, C. A.: Vorschule der Rechtsphilosophie. Berlin-Grunewald 1925. Zitiert als: EMGE, Rechtsphilosophie Geschichte der Rechtsphilosophie. Berlin 1931. Zitiert als: EMGE, Geschichte Einführung in die Rechtsphilosophie. Frankfurt/Main, Wien 1955. Zitiert als: EMGE, Einführung Philosophie der Rechtswissenschaft. Berlin 1961
ENDEBROCK, P., FisCHER, W., LoHsE, D.: Informatik 1 u. 2. Köln 1972 ENGISCH, K.: Sinn und Tragweite juristischer Systematik. Studium Generale 10,
173ff. (1957) Aufgaben einer Logik und Methodik des juristischen Denkens. Studium Generale 12, 76 (1959) Logische Studien zur Gesetzesanwendung, 3. Aufl. Heidelberg 1963. Zitiert als: ENGISCH, Logische Studien
212 Literaturverzeichnis
Vom Weltbild des Juristen, 2. Auf!. Heidelberg 1965. Zitiert als: ENGISCH, Weltbild d. Juristen Die Idee der Konkretisierung in Recht und Rechtswissenschaft unserer Zeit, 2. Auf!. Heidelberg 1968. Zitiert als: ENGISCH, Konkretisierung Logische Überlegungen zur Verbrechensdefinition. In: Festschrift für Hans Welzel, S. 344 ff. Berlin 1974 Einführung in das juristische Denken, 7. Auf!. Stuttgart, Berlin, Köln, Mainz 1977. Zitiert als: ENGISCH, Jurist. Denken
ENNECCERUS, L., NIPPERDEY, H. C.: Lehrbuch des Bürgerlichen Rechts, 1. Bd., Einleitung und Allgemeiner Teil, 15. Auf!. Tübingen 1959 und 1960. Zitiert als: ENNECCERus-NIPPERDEY, Lehrbuch
ERD MANN, B.: Logik, 3. Auf!. Berlin, Leipzig 1923. Zitiert als: ERD MANN, Logik EssER, J.: Grundsatz und Norm in der richterlichen Fortbildung des Privatrechts,
3. unveränderte Auf!. Tübingen 1974
FABREGUETTES, M. P.: La logique judicaire et l'art de juger. Paris 1914. Zitiert als: FABREGUETTES, Logique judicaire
FIEDLER, H.: Ulrich Klugs Juristische Logik. ARSP XLV, 439 (1959) Mathematik und moderne Logik. ARSP XL VII, 553 (1961) Rechenautomaten als Hilfsmittel der Gesetzesanwendung. Deutsche Rentenversicherung 1962, S. 149 ff. Probleme der elektronischen Datenverarbeitung in der öffentlichen Verwaltung. Deutsche Rentenversicherung 1964, S. 40 ff. Juristische Logik in mathematischer Sicht. Einige Bemerkungen und Beispiele. ARSP LII, 93 (1966) Konstruktive und kritische Beiträge der juristischen Informatik. In: Rechtstheorie als Grundlagenwissenschaft der Rechtswissenschaft, S. 361 ff. Düsseldorf 1972 Datenschutz und Datenverarbeitungs-Technik. Der GMD-Spiegel 4, 51 ff. (1977) Strukturen und Wirkungen juristischer Informationssysteme in der Bundesrepublik Deutschland. Z. Vergl. Rechtswissenschaft 77, Heft 1/2 (1978) Zur logischen Konzeption der Rechtsfindung aus dem Gesetz und ihren historischen Bedingungen. In: Gedächtnisschrift für Jürgen Rödig. Berlin, Heidelberg 1978 "Unbestimmte Begriffe" in Datenschutzgesetzen. In: Datenschutz und Datensicherung, Nr. 2. Bonn 1980
-,KLuG, U.: Die Berücksichtigung der automatisierten Gesetzesausführung in der Gesetzgebung. In: Deutsche Rentenversicherung 1964, S. 269 ff.
FIKENTSCHER, W.: Methoden des Rechts - in vergleichender Darstellung, Bd. IV, Dogmatischer Teil. Tübingen 1977
FLECHTNER, H.-].: Grundbegriffe der Kybernetik, 5. Auf!. Stuttgart 1970 FRANK, R.: Das Strafgesetzbuch für das Deutsche Reich, 18. Auf!. Tübingen 1931.
Zitiert als: FRANK, StGB FREYTAG, gen. LÖRINGHOFF, B. Baron von: Logik, 3. Auf!. Stuttgart 1961. Zitiert
als: v. FREYTAG-LÖRINGHOFF, Logik GARciA BACCA, ]. D.: lntroducci6n a la 16gica moderna. Barcelona 1936 - Planes de 16gica jurldica. Studia luridica (Caracas) 2, 13 (1958) GARciA MAYNEZ, E.: lntroducci6n a la 16gica jurldica. Mexico 1951
Los principios de la ontologia formal del derecho y su expreswn simbolica. Mexico 1953 L6gica del juicio jurldico. Mexico, Buenos Aires 1955
GARZON VALDES, E.: Derecho y "Naturaleza de las Cosas", Bd. 1 und 2, C6rdoba (Arg.) 1970/71
- Modelle normativer Geltung. In: Rechtstheorie, 8. Bd. (1977)
Literaturverzeichnis 213
GIOJA, A. L.: L6gica formal y l6gica juridica. La Ley 58, 1046 (1950) GIORGIANNI, V.: Logica matematica e logica giuridica. Rivista Intern. di Filosofia
del Diritto 1951, S. 462 ff. GREGOROWICZ, ]. : Zarys logiki dla prawnikow (Abriß der Logik für Juristen),
3. Auf!. Warschau 1957 GRIMM, D. (Hrsg.): Rechtswissenschaft und Nachbarwissenschaften, 2. Band. Mün
chen 1976 HAAG, K.: Siehe WAGNER Handwörterbuch der Rechtswissenschaft, hrsg. von Stier-Somlo und Elster. Berlin,
Leipzig 1926-1929 HART, H.: Definition and theory in jurisprudence. Oxford 1953 HASENJAEGER, G.: Einführung in die Grundbegriffe und Probleme der modernen
Logik. Freiburg, München 1962 - Siehe auch ScHOLZ HELLER, TH.: Logik und Axiologie der analogen Rechtsanwendung. Berlin 1961 HERMES, H.: Einführung in die mathematische Logik, 3. Auf!. Stuttgart 1972 HILBERT, D., AcKERMANN, W.: Grundzüge der theoretischen Logik, 3. Auf!. Berlin,
Göttingen, Hcidelberg 1949. Zitiert als: HILBERT-ACKERMANN, Logik - - Grundzüge der theoretischen Logik, 6. Auf!. Berlin, Heidelberg, New York
1972 HoRN, D.: Studien zur Rolle der Logik bei der Anwendung des Gesetzes. Diss.
Berlin 1962 ]AMES, P. A.: Siehe ALLEN ]uHOS, B.: Elemente der neuen Logik. Frankfurt/M., Wien 1954. Zitiert als: ]uHos,
Logik KALINOWSKI, G.: Introduction a Ia logique juridique. Paris 1965. Zitiert als:
KALINOWSKI, Logique juridique - Einführung in die Normenlogik. Frankfurt 1972 KAUFMANN, ARTHUR: Analogie und "Natur der Sache". Zugleich em Beitrag zur
Lehre vom Typus. Karlsruhe 1965 KELSEN, H.: Reine Rechtslehre, 2. Auf!. Wien 1960 -,KLUG, U.: Rechtsnormen und logische Analyse, Ein Briefwechsel 1959 bis 1965,
Wien 1981 KEMPSKI ]. v.: Gedanken zu einer Strukturtheorie des Rechts. ARSP XLIII, 471
(1957) Art. "Mathematische Sozialtheorie". In: Handwörterbuch der Sozialwissenschaften 1960 Grundlegung zu einer Strukturtheorie des Rechts. Mainz 1961
KERIMOV, D. A.: Future applicability of cybernetics to jurisprudence in the U.S.S.R. In: M.U.L.L. (Modern Uses of Logic in Law), S. 153 ff., Chicago 1963
KLUG, U.: Zur Lehre von den Kontrapositionsschlüssen. In: Zeitschrift für Philosophische Forschung, Bd. III, S. 1-27 (1948)
- L6gica juddica. Übersetzt von]. D. GARciA BACCA. Caracas 1961 Bemerkungen zur logischen Analyse einiger rechtstheoretischer Begriffe und Behauptungen. In: Logik und Logikkalkül, Festschrift für WILHELM BRITZELMAYR zum 70. Geburtstag. KÄsBAUER, M., KuTSCHERA, F. v. (Hrsg.), S. 115 ff. Freiburg, München 1962 Acerca de Ia estructura logica de las normas. Revista Juridica de Buenos Aires 1964, s. 9 ff. Die Reine Rechtslehre von HANS KELSEN und die formallogische Rechtfertigung der Kritik an dem Pseudoschluß vom Sein auf das Sollen. In: Law, state and international legal order. Essays in honor of HA.Ns KELSEN. ENGEL, S., METALL, R. A. (Hrsg.), S. 153 ff. Knoxville 1964
214 Literaturverzeichnis
Skeptische Rechtsphilosophie und humanes Strafrecht, Bd. 1 u. 2. Berlin, Heidelberg, New York 1981 Siehe auch FIEDLER Siehe auch KELSEN
KNAPP, V.: über die Möglichkeit der Anwendung kybernetischer Methoden in Ge-setzgebung und Rechtsanwendung. ARSP XLIX, 45 (1963)
- Einige Fragen der Legaldefinition. ARSP (1980) KocH, H.-J., RüssMANN, H.: Juristische Begründungslehre, München 1982 KoTARBINSKI, T.: Kurs logiki dla prawnikow (Logik für Juristen), 4. Aufl. War-
schau 1960 KRIES,]. v.: Logik. Tübingen 1916. Zitiert als: v. KRIES, Logik KuTSCHERA, F. voN: Elementare Logik. Wien, New York 1967 - Einführung in die Logik der Normen, Werte und Entscheidungen. Freiburg,
München 1973 LAHTINEN, 0.: Zum Aufbau der rechtlichen Grundlagen. Helsinki 1951 LEHMANN, H.: Allgemeiner Teil des Bürgerlichen Gesetzbuches. Neubearbeitet von
H. HüBNER, 16. Aufl. Berlin 1966. Zitiert als: LEHMANN-HÜBNER, Allg. Teil LIPCZYNSKA, MARIA: ULRICH KLuG: Juristische Logik (Rezensionsabhandlung).
Studia Logica (Warschau) X, 127 (1960) - Zbi6r zadan z logiki. Warszawa, Wroclaw 1975 LORENZEN, P.: Formale Logik, 4. Aufl. Berlin 1970 LuHMANN, N.: Lob der Routine. Verwaltungsarchiv 1964, S. 1 MAG NI, C.: Logica, matematica e scienza giuridica. I! Diritto Ecclesiastico, 1950,
s. 193 ff. - Logica giuridica e logica simbolica, estratto della "Rivista di Diritto Pro
cessuale". Padova 1952 Per i rapporti fra logica giuridica e moderna sintassi logica. Rivista Italiana per le Science Giuridiche 1952/53 "Logica speculativa" e interpretazione giuridica. Rivista di Diritto Industriale 1956, s. 1 ff.
MAZUREK, P.: Kriterien der Richtigkeit in der juristischen Argumentation - Zum Verhältnis von normativer und deskriptiver Methode: In: Reasoning on legal reasoning, S. 147 ff. Lund, Helsinki 1979
MENGER, K.: Moral, Wille und Weltgestaltung. Grundlegung der Logik der Sitten. Wien 1934
MENNE, A.: Logik und Existenz. Meisenheim/Glan 1954. Zitiert als: MENNE, Logik Einführung in die Logik, 2. Aufl., München 1973
- Einführung in die Methodologie, Darmstadt 1980 - Siehe auch BacHENSKI MEURER, D.: Systematische Studien zum Prinzip der freien Beweisführung 1m
Strafprozeß (im Druck) MICHAELIS, K.: über das Verhältnis von logischer und praktischer Richtigkeit bei
der sogenannten Subsumtion. In: Göttinger Festschrift für das Oberlandesgericht Celle, S. 117 ff. Göttingen 1961
NIPPERDEY, H. C.: Siehe ENNECCERus ÜLBRECHTS-TYTECA, L.: Siehe PERELMAN ÜPPENHEIM, F. E.: Out!ine of a logical analysis of law. In: Philosophy of science,
S.142ff. (1944) - Dimensions of freedom. New York, London 1961 PEKLO, B.: Einige Bemerkungen zu den deomischen Systemen, welche Sanktionen
und mehrere Funktoren enthalten. Logique et analyse (n. s.) 19, 98 (1962) - Über Norminferenzen. Logique et analyse (n. s.) 28, 203 (1964)
Literaturverzeichnis 215
PERELMAN, C.: Juristische Logik als Argumentationslehre. Freiburg, München 1979 -, ÜLBRECHTS-TYTECA, L.: La nouvelle rhetorique. Traite de l'argumentation.
Paris 1958 PFÄNDER, A.: Logik, 2. Aufl. Halle 1929. Zitiert als: PFÄNDER, Logik PHILIPPS, L.: Rechtliche Regelung und formale Logik. ARSP L, 318 (1964) PoDLECH, A.: Datenschutz im Bereich der öffentlichen Verwaltung, Berlin 1973 PRIOR, A. N.: Logic and the basis of ethics. Oxford 1959 QmNE, W. V.: Grundzüge der Logik, 2. Aufl. Frankfurt 1969 RADBRUCH, G.: Vorschule der Rechtsphilosophie, 2. Aufl. Göttingen 1959. Zitiert
als RADBRUCH, Vorsch. d. RPhil. - Rechtsphilosophie, 8. Aufl. Hrsg. von E. WoLF u. H.-P. ScHNEIDER. Stuttgart
1973. Ztiert als: RADSRUCH, Rechtsphilosophie RAISER, L.: Rechtswissenschaft und Rechtspraxis. Neue Juristische Wochenschrift
1964, s. 1201 ff. RömG, ]. : Die Denkform der Alternative in der Jurisprudenz. Berlin, Heidelberg,
NewYork 1969 Die Theorie des gerichtlichen Erkenntnisverfahrens. Berlin, Heidelberg, New York 1973 Logik und Rechtswissenschaft. In: Rechtswissenschaft und Nachbarwissenschaften, 2. Band. GRIMM, D. (Hrsg.), S. 53 ff. München 1976 Schriften zur juristischen Logik. Berlin, Heidelberg, New York 1980
RoTTLEUTHNER, H.: Plädoyer für eine empirische Argumentationstheorie. ARSP Beiheft Nr. 14 (1980)
RüssMANN, H.: Siehe KocH RussELL, B.: Einführung in die mathematische Philosophie. übe·rs. von E. ]. GuM
SEL und W. GoRDON, 2. Aufl. München 1930. Zitiert als: RussElL, Einf. - Siehe auch WHITEHEAD SAx, W.: Zum logischen und sachlichen Gehalt des sog. "Umkehrschlusses aus
§59 StGB". Juristenzeitung 1964, S. 241 ff. ScARPELLI, U.: Filosofia analitica e giurisprudenza. Milano 1953 ScHEUERLE, W.: Rechtsanwendung. Nürnberg, Düsseldorf 1952 - Beiträge zum Problem der Trennung von Tat- und Rechtsfrage. Archiv für die
civilistische Praxis 157, 1 ff. (1958/59} ScHLOSKY: Revision wegen Verletzung der Denkgeseue. Deutsche Richterzeitung
1933, s. 103 ff. ScHMIDT, Es.: Lehrkommentar zur Strafprozeßordnung und zum Gerichtsverfas
sungsgesetz. Göttingen 1952-1960. Zitiert als: Es. ScHMIDT, StPO ScHNEIDER, E.: Logik für Juristen, 2. Aufl. München 1972 ScHOLZ, H.: Was ist Philosophie? Der erste und der letzte Schritt auf dem Wege
zu ihrer Selbstbestimmung. ARSP XXXIII, 1 (1939/40) Metaphysik als strenge Wissenschaft. Köln 1941. Zitiert als: Sc HOLZ, Metaphysik Grundzüge der mathematischen Logik, 2. Aufl. Münster 1950, 1951. Zitiert als: ScHOLZ, Logik I (bzw. II) Abriß der Geschichte der Logik, 3. Aufl. Freiburg, München 1967. Zitiert als: ScHOLZ, Geschichte
-, HAsENJAEGER, G.: Grundzüge der mathematischen Logik. Berlin, Göttingen, Heidelberg 1961.
-, ScHWEITZER, H.: Die sogenannten Definitionen durch Abstraktion. Leipzig 1935. Zitiert als: ScHOLZ-ScHWEITZER, Definition
ScHÖNKE, A., ScHRÖDER, H.: Kommentar zum Strafgesetzbuch, 20. Aufl. München 1980. Zitiert als: ScHÖNKE-SCHRÖDER, StGB
ScHREIBER, R.: Logik des Rechts. Berlin 1962
216 Literaturverzeichnis
- Die Geltung von Rechtsnormen, Berlin, Beideiberg 1966 ScHRÖDER, H.: Siehe ScHÖNKE ScHWEITZER, H.: Siehe ScHOLZ SEIDEL, U.: Datenbanken und Persönlichkeitsrecht. Köln 1972 SEIFFERT, H.: Einführung in die Logik. München 1973 SIGWART, CH.: Logik, 5. Auf!. mit Anmerkungen von Heinrich Maier. Tübingen
1924. Zitiert als: SIGWART, Logik SIMITIS, S.: Zum Problem einer juristischen Logik. Ratio, S. 52 ff. (1960) - Rechtliche Anwendungsmöglichkeiten kybernetischer Systeme. In: Kybernetische
Maschinen. FRANK, H. (Hrsg.), S. 351 ff. Frankfurt/M. 1964 SPENDEL, G.: Die Kausalitätsformel der Bedingungstheorie für die Handlungs
delikte, Diss. Beideiberg 1948 - Der sog. Umkehrschluß aus §59 StGB nach der subjektiven Versuchstheorie,
ZStW, Bd. 69, 441 ff. STAMMLER, R.: Lehrbuch der Rechtsphilosophie, 3. Auf!. Berlin, Leipzig 1928. Zitiert
als: STAMMLER, Rechtsphilosophie STEGMÜLLER, W.: Metaphysik, Skepsis, Wissenschaft, 2. Auf!. Berlin, Beideiberg
1969 STEINBUCH, K.: Automat und Mensch, 4. Auf!. Berlin, Heidelberg, New York 1971 STEINMÜLLER, W.: Rechtspolitische Fragen der Rechts- und Verwaltungsautomation
in der Bundesrepublik Deutschland. In: D VR 197 4, S. 54 ff. - Automationsunterstützte Informationssysteme in privaten und öffentlichen Ver
waltungen. In: Leviathan 1975, S. 504 ff. TAMMELO, I.: Sketch for a symbolic juristic logic. ]. of Legal Education 1956,
s. 277 ff. - Outlines of modern legal logic. Wiesbaden 1969 - Modern logic in the service of law. Wien 1878 TARSKI, A.: Einführung in die mathematische Logik, 4. Auf!. Göttingen 1971 ToPITSCH, E. (Hrsg.): Logik der Sozialwissenschaften, 10. Auf!. Berlin 1980 ToPS0E, F.: Informationstheorie. Stuttgart 197 4 VIEHWEG, TH.: Die juristischen Beispiele in Leibnizens ars combinatoria. In: Bei-
träge zur Leibniz-Forschung. ScHISCHKOFF, G. (Hrsg.). Reutlingen 1947 - Rechtsphilosophie als Grundlagenforschung. ARSP XLVII, 519 (1961) - Topik und Jurisprudenz, 5. Auf!. München 197 4 WAGNER, H., HAAG, K.: Die moderne Logik in der Rechtswissenschaft. Bad Horn
burg v. d. H., Berlin, Zürich 1970 WEINBERG ER, 0.: Philosophische Studien zur Logik. Prag 1964
Rechtslogik. Wien 1970 Recht und Logik. In: Rechtswissenschaft und Nachbarwissenschaften, 2. Band. GRIMM, D. (Hrsg.), S. 80 ff. München 1976 Logische Analyse in der Jurisprudenz. Berlin 1979
WHITEHEAD, A. N., RussELL, B.: Principia mathematica, Bd. I, 2. Auf!. Cam-bridge 1925, Neudruck 1950. Zitiert als: WHITEHEAD-RussELL, P. M.
WIENER, N.: Mensch und Menschmaschine. Frankfurt, Berlin 1952 WILLIAMS, G.: Language and the law. The Law Quarterly Rev. 1945/46 WINKLER, G.: Sein und Sollen. Rechtstheorie 10, 257 ff. (1979) WITTGENSTEIN, L.: Tractatus logico philosophicus. New York 1922, Nachdruck
6. Auf!. Frankfurt 1969 WoLTER, W., LIPCZYNSKA, M.: Elementy logiki, wyklad dla prawnik6w (Elemente
der Logik, Vorträge für Juristen), 2. Auf!. Warszawa, Wroclaw 1975 WoLTERS, M. F. (Hrsg.): Der Schlüssel zum Computer. Reinbek bei Harnburg 1980 WRIGHT, G. H. voN: Deontic logic. Mind LX, 1 (1951) - Norm and action. London 1963
Literaturverzeichnis 217
WROBLEWSKI, J.: Meaning and truth. In: Judical decision. Helsinki 1979 WuNDT, W.: Logik, 4. Auf!. Stuttgart 1919-1921. Zitiert als: WuNDT, Logik ZIEHEN, TH.: Lehrbuch der Logik auf positivistischer Grundlage mit Berücksichti-
gung der Geschichte der Logik. Bonn 1920. Zitiert als: ZIEHEN, Logik ZIEMBA, Z.: Deontic logic. In: Z. ZIEMBIN SKI, Practical logic, S. 360 ff. Dordrecht,
Boston, Warszawa 1976 ZIEMBINSKI, Z.: Logic in law schools in Poland. In: M.U.L.L. (Modern Uses of
Logic in Law), S. 98 ff. New Haven 1960 Practicallogic. Dordrecht, Boston, Warszawa 1976 Le raisonnement par analogie dans le systeme du droit polonais. In: Rapports Polonais, 10. Congres Int. de Droit Compare, S. 25 ff. Wroclaw, Warszawa 1978
Namenverzeichnis
Die Zahlen geben die Seiten an. Die besonders oft erwähnten Namen AcKERMANN, CARNAP, HILBERT, RussELL und WHITEHEAD sind nicht berücksichtigt
Ajdukiewicz 21 40,43, 51, 59, 66,67, Dohna 8 Alchourron 148, 193 68, 69, 70, 72, 75, 76, Dotterweich 211 Alexy 155 77, 79, 80, 81, 83, 84, Drews 13, 19, 61, 66, 88, Allen 175, 187, 210 85, 86, 8~99, 13~ 152, 139, 140, 152, 173, 211 Alpsten 107 194, 202, 203, 210 Drobisch 13, 116, 117, Andrejew 175 Bodenheimer 210 118, 119, 120, 122, 130, Androulakis 44 Böhm 3 211 v. Aquino 128 Böhmer 100 Dubislav 14, 22, 32, 59, Aristoteles 12, 66, 118, Boethius 123 65, 8~ 88, 89,90,91,
119, 122, 127, 158, 160, Boole 18 92, 93, 94, 96, 97, 99, 164, 170, 200 Bovensiepen 110, 111, 113, 103, 128, 130, 139, 140,
Arnauld 14 138 152, 192, 200, 205, 206, Arndt 138 Brentano 31 211 Asser 21 Britzelmayr VIII, 18, 44 Dürr 193, 200
Brooks 187, 210 Dworatschek 187 Bäumler 15 Brugger2, 2~ 88,210 Bartholomeyczik 12, 144, Brusiin 210 Ebbinghaus 211
210 Büllesbach 155 Egger 11 Baden 99 Bull 210 Ehrlich 8, 9 Bauer 189 Bulygin 7, 193, 210 Emge VII, VIII, 6, 8, 48, Baumann 144, 145 Burkamp 2, 14, 19, 66, 98, 131, 197, 198,205, Baumgärtel 174, 210 139, 152, 171, 211 211 Becker 13, 23, 31, 32, 36,
Cardozo 11 Endebrack 177, 211
131, 210 Engel 73 Beer 190 Castaneda 203, 211 Engelhardt VII Behmann 13, 19, 65, 67, 76 Chroust 177 Engisch VII, VIII, 7, 8, Bell 210 Church 18, 191 11, 17, 44, 48, 60, 88, Below VII, 182 Clauberg 22, 88, 128, 130, 98, 102, 106, 137, 145, Berkeley 210 139, 140, 152, 211 148, 152, 153, 194, 197, Bernays 5 Cohen 8, 205 211 Bernoulli 119 Coing 197, 211 Enneccerus 8, 110, 111, Bieberbach 17 Conte 137, 211 112, 113, 114, 154,212 Bloch 197 Couturat 7 Enriques 17, 84 Blomeyer 157 Cüppers 138 Erdmann 13, 118, 120, Bobbio 7, 115, 210 Dahs 158, 211 121, 122, 123, 124, 132, Bachenski 1, 13, 15, 17, Descartes 17 212
18, 19, 21, 27, 32, 34, Deschenaux 211 Erman 165
Namenverzeichnis 219
Esser 194,196,212 Hasenjaeger 21, 213 v. Kutschera 21, 199, 202, Euler 66 Heck 11 203, 213, 214
Heller 137, 213 Fabreguettes 7, 115, 138, Hempel 88, 137 Lahtinen 213
143, 148, 149, 151, 153, Henkel 197 Langford 23 212 Hermes 21, 203, 213 Larenz 145, 146, 147, 150
Fechner 7, 197 Hesse 206 Lask 3 Fiedler VII, 18, 44, 107, Hilpinen 199, 200 Laun 29, 197
134, 151, 174, 180, 188, Höffe 155 Ledig 10 196, 212 Höfler 13, 123 Lehmann 8, 143, 147, 148,
Fikentscher 153, 212 Hofacker 140 151, 214 Fischer 177 Hoffding 118 Leibniz 8, 17, 18, 193, 200 Flavius 9, 10 Horn 6, 137, 213 Lenckner 89 Flechtner 180, 190, 212 Hübner 143, 147, 148, 151 Lewis 13, 23, 205 Fleischer 179 Husserl, E. 50, 131 Lipczynska 214, 216 Flum 211 Husserl, G. 8 v. Liszt 41 Fraenkel 15 Locke 127 Frank, H. 190, 192 Isay 9 Lohse 177 Frank, R. 110, 212 Jacoby 21 Lorenzen 4, 18, 21 Franzen 211 Jahrreiß 174 Luhmann 180, 214 Frege 4, 13, 18, 131 James 187, 213 Lukasiewicz 23 v. Freytag-Löringhoff 21, Jevons 18
212 Jorgensen 200 Mach 129, 130 Friedrich 197 Juhos 40, 51, 57, 66, 72, Machover s. Bell Friedrichs 143 75, 80, 137, 213 Magni 214 Fuchs 9 Maier 123 Fuller 155 Käsbauer 213 Maihofer 197
Kalinowski 7, 148, 155, Mally 200 Gallas 98 199, 200,202, 203, 213 Manigk 9, 10, 143, 144, Garcia Bacca 212 Kant 2, 6, 12, 123, 198 153, 154 Garcia Maynez 137, 212 Kantorowicz 9, 10 Mannheim 3 Garz6n Valdes 197, 212 Kaufmann, Arthur 143, Mauthner 88 Gast 155 197, 206, 213 Mazurek 214 Geerds 161 Kelsen 6, 138, 197, 201, Meier-Hayoz 138, 144 Geier 157 202, 213 Menger 214 Geny 115 v. Kempski 18, 88, 194, Menne 15, 18, 21, 27, 32, Gioja 212 213 34, 40, 42, 43, 51, 59, Giorgianni 193, 212 Kerimov 155, 175, 213 66, 67, 68, 69, 70, 72, v. Godin 138 Kerkau 175 75, 76, 77, 79, 80, 81, Gödel 19, 191 Kindermann 99 83, 84, 85, 86, 87, 137, Goos 189, s. Bauer Klaus 21 152, 203, 214 Gredt 22, 119, 123 Klein 199 Metall 73 Gregorowicz 212 Kleinknecht 157 Meurer 161, 163, 169, 214 Grelling 17, 84 Klug 41, 44, 60, 73, 109, Mezger 98, 111 Grimm 212 138, 154, 173, 174, 213 Michaelis 214
Knapp 97, 180, 213 Mill 123 Haag 202 Koch VII, 155, 213 Möhring 156 Händler 179 Kohlhaas 156 Mokre 18, 21 Haft 175 Kohlrausch VII, 98 Moor 48, 144 Hahn 205 Kotarbinski 213 de Morgan 18 Hall 7 Kramer 107 Motsch 107 Hart 213 Kraus 4 Müller 155 Hartmann 4, 22, 98 v. Kries 13, 123, 124, 213 Müller-Erzbach 11
220 Namenverzeichnis
Naes 203 Rüssmann VII, 215 Spendcl 44, 45, 138, 143, Nawiasky 111, 144, 147, Rumpf9 161
150 Ryffel197 Spengler 128 Neumann-Ducsberg 194 Spranger 3, 18 Neurath 193 Sarstedt 157, 160, 161, Stammler, G. 91, 206 Nicole 14 162, 163, 166, 167 Stammler, R. 8, 48, 60, 93, Niese 97 Sauer 8 110, 197,206,215 Nipperdey 8, 110, 111, v. Savigny 93, 102, 103, Stampe 9
112, 113, 148, 151, 152, 105 Staudinger 115, 138 154, 214 Sax 110, 137, 138, 215 Stegmüller 1, 166, 199,
Nowotny 8, 107, 205 Scarpelli 215 207, 215 Scheuerle 215 Steinbuch 177, 179, 180,
Olbrechts-Tyteca 214 Schild 155 190, 203, 215 Schilling 206 Steinmüller VII, 174, 175,
Oppenheim, F. E. 214 Schilpp 19 216 Oppenheim, P. 88, 137 Schischkoff 194 Stoll 11
Schlick 193 v. Strauß u. Tornay 129 Pascal 14, 17, 90 Schlosky 215 Paulus 112 Schmidt, E. 9, 41, 157, Tammclo 95, 131, 140, Peano 18 163, 215 148, 150, 151, 152, 194, Peirce 18 Schmitz VII 199, 216 Peklo 214 Schneider, E. 159, 163, 215 Tarello 155 Perelman 155, 195, 214 Schneider, E. F. 44 Tarski 13, 15, 21, 23, 45, Peters 155 Schneider, P. 197 64, 83, 84, 95, 202, 216 Pfänder 122, 123, 124, Schönke 110, 215 Topitsch 216
214 Scholz 1, 2, 4, 5, 8, 13, 17, Topsee 190, 216 Pfeiffer 194, 196 18, 20, 21, 22, 27, 32, Toumanov 155 Phitipps 4, 214 34, 40, 43, 53, 55, 66, Trendelenburg 123 Piehier 3 79, 80, 81, 83, 84, 87, Tugendhat 155 Plotin 128 91, 94, 129, 130, 193, v. Tuhr 111 Podlech 175, 214 194, 205, 215 Turquette 23 Prior 214 Schopenhauer 48 Pultke 107 Schreiber 151, 194,215
Überweg 48, 123 Puppe 68 Schreier 140
Schreiner 199 Sehröder, E. 18 Valdes s. Garz6n
Quine 13, 21, 65, 214 Schröder, H. 110, 215 Viehweg 154, 155, 194,
Schröter 15 195, 216
Radbruch 197, 205, 214 Schröter, K. 18, 91 Villey 155
Raisch 175 Schroth 155 Raiser 214 Schweitzer 13, 80, 81, 83, Wagner, G. 8 Reichenbach 22, 23, 65 84, 87, 91, 215 Wagner, H. 202, 216 Rickert 88 Schwinge 157, 166 Walther 190 Robinson 99 Seibert 155 Weber 177, 179 Rödig 64, 99, 107, 189, Seidel 192, 215 Weihermüller 211
193, 202, 203, 215 Seiffert 21, 215 Wein 88 Rotfes 164 Sganzini 27 Weinherger 89, 153, 199, Rommen 197 Shannon 190 216 Rosser 23 Sheffer 31 Welzel 97, 110, 197 Rottleuthner 155, 215 Sigwart 13, 119, 120, 125, Westermann 165 Roxin 157 130, 215 Weyl15 Rümelin, G. 9, 111 Simitis 175, 192, 215 Wiener 174, 190, 192, 195, Rümelin, M. 11 Somlo 8 216
Williams 216 Winkler 216 Wittgenstein 36, 216 Wolf 197 Woher, W. 216 Wolters 177, 216 v. Wright 200, 216 Wroblewski 216
Namenverzeichnis
Würtenberger 197 Wüstendörfer 11 Wundt 13, 88, 118, 119,
122, 123, 124, 216 Wurzel 130
Zemanek 177 Ziehen 13, 115, 120, 123,
221
124, 125, 126, 127, 131, 216
Ziemba 200, 216 Ziembinski 115, 131, 140,
151, 155, 200, 216 Zimmermann 144 Zippelius 202 Zoll 115
Sachverzeichnis
Die Zahlen geben die Seiten an. Soweit sich Stichworte aus dem Inhaltsverzeichnis ergeben, sind sie hier im allgemeinen nicht aufgeführt
Ableiten 16 Ableitungsbegriff 159 Ableitungsfehler 160, 164 Abstraktionsklasse 83, 91 .i\hnlichkeit 81, 82 -,additive 125, 131 -, frustale 125, 126, 131 -, kognate 125, 126, 131 -, propinquale 125, 126,
131 .i\hnlichkeitskreis 82,
133-136 .i\quivalenz 29, 34, 36 .i\quivalenzklasse 83 .i\quivalenzrelation 82 Allgemeingültigkeit 38 Allgemeinungültigkeit 40 Alloperator 52 Allzeichen 52, 74 Alternative 32, 34, 36, 41,
42 Amphibolie 170 Analogie, exakte 114 ff.,
130 -,im engeren Sinne 128 -,mathematische 119 -, quantitative 119 -,strenge 117 -,unvollständige 117,120 -, wahrscheinliche 117 Analogieschluß auf Gleich-
heit 120 -, juristischer 134 ff. antimetaphysisch 193 apagogisch 151 apriorisch 6 Argumentationstheorie
154, 195
argurnenturn ab auctoritate 154 a generali sensu 153 a lege ferenda 154 a ratione legis stricta 154 a rubrica 154 e silentio 138 pro subjecta materia 154
Auslegung 143, 153 ff . -,ausdehnende (exten
sive) 153 -, einschränkende
(restriktive) 154 -,grammatische 153 -,logische 154 -, objektive 153 -,semasiologische 153 -,subjektive 153 Ausgabe 176, 189 Aussage 4, 21-25 Aussagenvariable 25, 51 Automat, lernender 180 Axiom 9, 15, 36 f., 182,
192 ff., 196 ff., 206 axiomatische Methode 9,
15 ff., 36, 90 f., 160, 192ff., 196ff.
Axiome, teleologische 143, 196 ff.
barbara s. modus Bedingung 42 ff. -,hinreichende 42 ff.,
164 -,notwendige 42 ff., 164
Bedingung, notwendige u. hinreichende 42 ff., 164
Begriff, abgeleiteter 15 Begriffsbewegung 98 Begriffsjurisprudenz 11 f. Begriffskonstruktion 92,
97, 98 Begriffsvertauschung 169 Begriffszergliederung 92,
98 begründen 16 Begründ ungsun vollstän-
digkeit 172 Behauptung 23 Beweis 36 ff . -,apagogischer 151 Beweisführung, formale
50 ff. Beweisgang 37 Beweisregel 16, 36 Beziehung s. Relation Bindung, teleologische 93,
136, 143, 151, 197 ff., 206
calculus ratiocinator 17 celarent s. modus characteristica uni versalis
18 circulus in probando 170 Computer 166, 174 ff. conclusio 48 conditio sine qua non 44 counterfactual con-
ditionals 44
darii s. modus Daten 189
Datenbank 188 Datenflußplan 180 Datenschutz 188 Datenschutzrecht 192 Datenverarbeitungsanlage
174 ff. Deduktion 114 Definition durch Abstrak-
tion 91, 95 -, analytische 99 -, echte 89, 93 -,eigentliche 89, 93 -,explizite 89, 92 ff., 99 -,implizite 91, 95, 99 -, lexikalische 99 -, schöpferische 99 -, semantische 99 -,syntaktische 99 -, synthetische 99 -, uneigentliche 92 Definitionsfehler 169 Definitionslehre 159 Definitionsregel 36 Definitionssymbol 66 Denkgesetze, Verletzung
155 ff. deomisch 199 deomische Kalküle
(Anm. 169a) 73 deomische Logik 199 Dialogbetrieb (bei EDV)
179 Diallele 170 Disjunktion 26, 34, 36, 41 Dokumentation 187 Domäne 85 Durchschnitt 68 f., 76
Eigenschaften 52 f., 65 Eingabe 175, 189 eindeutig 86 Einsetzungsregel 37, 208 elektronischer Automat
(s. auch Computer) 174 ff.
Element 66 Entbehrlichkeit des
Klassenkalküls 65 Enthymem 170, 172, 196 Entropie 190 Eulersche Kreise 66 Existenzoperator 53
Sachverzeichnis
fallacia aequivocationis 169
-, ambiguitatis 170 -, consequentis 164 -, ratiocinationis 164 Falschheit 22-24 feedback s. Rückkoppelung Feld 85 ferio s. modus Formelbegriff 208 Freirechtsschule 9, 10
Gebrauchsdefinition 90, 94 Gegenstandsvariable 51,
55 Generalisator 52, 74 Generalklausel 169 Gesetzesanalogie 110 Gesetzgebungsplanung 188 Gignomene (bzw. gigno-
menologisch) 126, 131 Glasperlenspiel 206 Gleichheit 83, 84 Gleichheitskreis 83, 84 Gleichwertigkeit 29 GMD-Projektgruppe 188 Grundbegriff 15, 16 Grundform des juristischen
Schlusses 60 ff. Grundprämisse 16 Grundrechte 192 Grundregel 37 Grundsatz 16 Grundvoraussetzung 16
Handlung, Begriff der finalen 97
Hinterglied 74 Homöomorphie 137 Homologie 128-130 Homonymie 170 Hypothese 120, 205
Idee 198 Imperativ 203 Implikation 26 ff., 34, 36,
42 -, extensive 27, 34, 36,
42 -,gegenseitige 27, 34, 36,
42 -,intensive 27, 34, 36, 42
223
Implikationsfehler 164, 165
Individuenvariable 51 Induktion 115, 118, 123,
127, 129 -, strenge 118 -,unvollständige 118 -, vollständige 118 Informatik, juristische 17 4 Information 175, 179, 189,
191 Informationstheorie 189 f. Informationsverarbeitung
175, 179 Inklusion 67, 76 input 175, 189 Interessenjurisprudenz 11 Interpretation, extensive
110, 153 -,restriktive 154 irrationale Faktoren 191 Isomorphie 86, 87
Junktor 24 JURIS, Datenbank 188
Kalkül, Deutung 91 -,logischer 17, 18 -, ungedeuteter 91 Kalkülbegriff 17, 18, 91 Kettenbeweis 15 Kettendefinition 16 Klassenvariable 66 Kombinationsmöglich-
keiten 35, 36, 39 Kommunikation 190 Kondomäne 85 Konjunktion 24, 25, 34,
36 Konnex 78 Konsimilität 125, 126, 131 Konstante 51, 66 Kontraposition 60, 138,
140 Kontravalenz 32 Konventionalismus 205 Konverse 79 Korrela tor 86 Kreisschluß 170 Kriminalstatistik 28 Kybernetik 175, 190
224
Lehrsatz 16 Leibnizsprache 194 lernende Automaten 180 lexikographisch (s. auch
Definition) 93 Liberalisierungseffekt 197 Logik, dreiwertige 23 -,formale 1, 2 -, intuitionistische 4 -,juristische (Definition)
6, 7 -, kalkülisierte 14 ff ., 18 -, klassische 12 f. -,konventionelle 13 -,mathematische 18 -, mehrwenige 23 -,moderne 12, 13 -,symbolische 14 -,traditionelle 12 ff. Logikkalkül 18 logische Routine 180 logische Verknüpfung 203 Logistik 14, 193 Logizismus 3, 192 Lügner 206 Lügner, Antinomie des
206
Materialsammlung 187 Mathematisierung 18, 194 Mehrdeutigkeit 189 Menschenrechte 192 Metaphysik 193 Metasprache 104, 206 Mittelbegriff 49 Modalitätenlogik 23 modus barbara 19, 49 f.,
57, 59, 72, 75, 78, 115, 130 celarent 130 darii 130 ferio 130
Modus-ponens-Regel 37, 56
Nachbereich 85 Nachrichten 189 Naturrecht 197 Negat 70, 77 Negation 24, 35, 66 Niveauschluß 115 Nominaldefinition 88, 98
Sachverzeichnis
Norm, generelle 201 -, individuelle 201 -,negative 138
Obersatz 48 Objektsprache 104, 206 Operationsregel 16, 36,
207 f. Operand 53 Operations research 188 Operator 51 Opposition 140 Ordnung 85 output 175, 189
Paralogismus 158 -, formaler 159 -,maschineller 166 -, materieller 158 -,logischer 158 -,nicht-formaler 159 -,pragmatischer 159,
170 ff. -,semantischer 159, 169,
170 -,syntaktischer 159,
160 ff. Partikularisator 53, 74 Persönlichkeitsrecht 192 petitio principii 170-172 Positivismus 193 Postulat 16 Prädikate, ein-, zwei-,
n-stellige 51, 52, 65, 73 Prädikatenvariable 51 Prädikatsbegriff 49 praemissa maior 48, 49 - minor 48, 49 Prämissenmangel 160, 162 Prämissenredundanz 172 Prämissenregreß 173 Prämissenüberfluß 172 Prämissenwiderspruch 160,
161 f. Präzisionssprache 194 Pragmatismus 18 Prinzip, regulatives 198 Programm 180 Programmablaufplan
180 ff. für LohnsteuerEinbehaltung 181
Programmablaufplan für Rentenanspruchsermittlung 182
programmieren 180, 188 Proportion 118 Protokollsätze 24 proton pseudos 173 Pseudodefinition 89, 92
Quantifikator 52, 54, 74 quasi-axiomatisch 17, 160,
163, 194 Quasikalkül (s. auch quasi
axiomatisch) 91, 96 quaternio terminorum
121, 127, 132, 169
Realdefinition (s. auch Sacherklärung) 89
Rechenfehler 166 Recht, regelwidriges 112 -,richtiges 198 -, singuläres 112, 113 Rechtsanalogie 11 0 Rechtsbegriff 98 Rechtsfindung 6 "Rechtsknecht" 180, 189 Rechtsphilosophie, exakte
197 Rechtssätze, begriffs-
entwickelnde 93 -,lexikographische 93 Rechtsvergleichung 87 reduktive Methode 6 Redundanz 190 Referent 74 Regelungsnachricht 190 Reihe 84 Relation 52, 73 ff. -, asymmetrische 79 -, beschränkte 85 -, eineindeutige 86 -, einmehrdeutige 86 -, intransitive 80 -, irreflexive 80 -, konnexe 81 -, mehreindeutige 86 -, nicht-konnexe 81 -, nicht-reflexive 80 -, nicht-symmetrische 79 -, nicht-transitive 80 -,reflexive 80 -, symmetrische 79
Relation, totalreflexive 80
-,transitive 80 -, zwei-, drei-, mehr-
steilige 73, 75 Relationsähnlichkeit 125 Relationsvariable 75 Relativismus 199 ff. Relatum 74 Revision 155 Rhetorik, neue 154, 195 Richtigkeit 22 Rückkoppelung 190
Sacherklärung 89, 92, 96, 99
Sachrüge 157 ff. sa!tus in concludendo 163 Satz vom Widerspruch 4 schachspielende Automaten
179 Schaltdiagramme 176 ff. Schluß, mittelbarer 115 -,unmittelbarer 139, 141,
195 Schlußform, ungültige 165 Schlußsatz 48, 49 Seinszeichen 53, 54, 7 4 Semantik 104, 206 semantische Stufen 104,
206 Skepsis 15, 206 Signal 203 Sollenssätze 114, 203 Sonderrechtsvorschriften
112, 113 Sprung im Schließen 163 Statistik 28 Strukturgleichheit 86 f. Subalternation 140 Subjektsbegriff 49 Substitutionsregel 37
Sachverzeichnis
Subsumtion 48, 66, 67, 76 -, rechtliche 48 Syllogismus 19, 48, 50 Symbolik 17 symmetrisch 81 Syntax 194, 204
Tatsachenbeweis 24 Tatsachenfeststellung 166 Tatsachenwürdigung 166 Teilisomorphie 87 Teilrelation 76, 77 ff. Teleologik (s. auch
Axiome und Bindung) 196 ff.
Theorem 16, 195 These 23 Toleranzprinzip 205 Topik 154, 194, 195 Topoi 196 Totalreflexivität 80 transitiv 37, 80 Trugschluß 152 Typentheorie 51, 80, 85
überpositive Grundlagen 6 Umbenennungsregel 209 Umkehrung 78, 140, 164,
165 Ungenauigkeiten 188 Untersatz 48 Unvereinbarkeit 31, 34, 36 Unverträglichkeit (s. Un-
vereinbarkeit) 31 Unvollständigkeitssätze
191 Unzulänglichkeit der
klassischen Logik 20 Urteil 23 -, allgemein bejahendes
49
Urteil, hypothetisches 60 f.
-, singuläres 49
Variable, freie 54, 208
225
-, gebundene 54, 208, 209 Vereinfachung 189 Vereinigung 69, 77, 78 Verfahrensrüge 157 f. Vermutungsschluß 166 Verschiedenheit 84 Völkerrecht 114 vollkommenste Methode
14 Voraussetzung 42 -, apriorische 6 Vorbereich 85 Vorderglied 74
Wahrheit 22-24 Wahrheitsbegriff 176 Wahrheitsfunktion 29 Wahrheitswerttafel 34 ff.,
37-39 Wahrscheinlichkeitslogik
23, 163 Wahrscheinlichkeitsschluß
166 Wesen 89, 92, 96 Widerspruch 4, 152 Widerspruch im Gesetz
152, 188 Wissenschaftslehre 1
Zeichenerklärung 92, 96, 99
Zirkel im Beweis 170 Zuordnungsdefinition 91,
96, 99 Zwecksetzung (s. auch
Teleologik) 198 zweiwertige Logik 23
Verzeichnis der logischen Symbole
Die Zahlen geben die Seiten an. Das Verzeichnis enthält nur Symbole der kalkülisierten, nicht solche der klassischen Logik
W (wahr) 22
F (falsch) 22
X, Y, Z, U, ... (Aussagenvariable) 25, 51
x, y, z, ... (Gegenstandsvariablc) 51
& (Konjunktion) 25
v (Disjunktion) 26
(extensive Implikation) 26
=:> (intensive Implikation) 33
<=>
(Im Aussagen- und im Prädikatenkalkül: Aquivalenz, gegenseitige Implikation) 29
(Im Klassen- und im Relationenkalkül: Negation) 66
(Im Klassen- und im Relationenkalkül: Aquivalenz, gegenseitige Implikation) 66
} (Im Aussagen- und im Prädikatenkalkül: liquivalenz, gegenseitige Implikation) 29, 34
X (Im Aussagen- und im Prädikatenkalkül: Negation) 29
/ (Unvereinbarkeit) 31
# (Alternative) 32
F (.), G (. '.), H (.' ·' .) · · · ) (Prädikatenvariable) 51, 52 F (x), F (x, y), F (x, y, z)
(x) Generalisator (Allzeichen) } { Quantifikatoren (Unterart der (Ex) Partikularisator (Seinszeichen) Operatoren) 52, 74
E (Element) 66
a, ß, y, ... (Klassen variable) 66
= Df (Definition) 66
c (Klassen-Subsumtion) 67
2) (Klassen-Inklusion) 67
(Identität) 67
(') (Klassen-Durchschnitt) 68
x 68
Verzeichnis der logischen Symbole
u (Klassen-Vereinigung) 69 --a (Negat von a) 70 R, S, T, ... (Relationenvariable) 75 x, R,y 75
x R (y, z) 75 x R (y, z, ... n) 75
C (Relationen-Subsumtion) 76 ~ (Relationen-Inklusion) 7(,
n (Relationen-Durchschnitt) 76 \.:) (Relationen-Vereinigung) 77 -'--R (Negat von R) 77
R (Konverse) 79
sim 134
227