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, For­male Logik Die zeitgenössischen Denkmethoden, 8. Auf!. München 1980. Zitiert als: Bo­CHENSKI, Denkmethoden

-, MENNE, A.: Grundriß der Logistik, 4. Auf!. Paderborn 1973. Zitiert als: Bo­CHENSKI-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. Leip­zig 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 Lo­gik. 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 Ge­nerale 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 Wel­zel, 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 Rentenver­sicherung 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: Rechts­theorie 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 Bundesrepu­blik Deutschland. Z. Vergl. Rechtswissenschaft 77, Heft 1/2 (1978) Zur logischen Konzeption der Rechtsfindung aus dem Gesetz und ihren histori­schen Bedingungen. In: Gedächtnisschrift für Jürgen Rödig. Berlin, Heidelberg 1978 "Unbestimmte Begriffe" in Datenschutzgesetzen. In: Datenschutz und Daten­sicherung, 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 Sozialwissenschaf­ten 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 Philo­sophische Forschung, Bd. III, S. 1-27 (1948)

- L6gica juddica. Übersetzt von]. D. GARciA BACCA. Caracas 1961 Bemerkungen zur logischen Analyse einiger rechtstheoretischer Begriffe und Be­hauptungen. In: Logik und Logikkalkül, Festschrift für WILHELM BRITZELMAYR zum 70. Geburtstag. KÄsBAUER, M., KuTSCHERA, F. v. (Hrsg.), S. 115 ff. Frei­burg, 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, Hei­delberg, 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 Oberlandes­gericht 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 Nachbarwissenschaf­ten, 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, Meta­physik 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 Lohnsteuer­Einbehaltung 181

Programmablaufplan für Rentenanspruchs­ermittlung 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