Normenlogik - Mentis Verlag

Werbung
Edgar Morscher
Normenlogik
Grundlagen – Systeme – Anwendungen
mentis
Paderborn
Gedruckt mit Unterstützung der Stiftungs-und Förderungsgesellschaft
der Paris-Lodron-Universität Salzburg, der Stadt Salzburg und des Amtes
der Vorarlberger Landesregierung.
Bibliografische Information der Deutschen Nationalbibliothek
Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der
Deutschen Nationalbibliografie; detaillierte bibliografische Daten sind
im Internet über http://dnb.d-nb.de abrufbar.
© 2012 mentis Verlag GmbH
Schulze-Delitzsch-Str. 19, D-33100 Paderborn
www.mentis.de
Alle Rechte vorbehalten. Dieses Werk sowie einzelne Teile desselben sind
urheberrechtlich geschützt. Jede Verwertung in anderen als den gesetzlich zugelassenen Fällen ist ohne vorherige Zustimmung des Verlages
nicht zulässig.
Gedruckt auf umweltfreundlichem, chlorfrei gebleichtem und alterungsbeständigem Papier ISO 9706
Printed in Germany
Druck: AZ Druck- und Datentechnik GmbH, Kempten
ISBN: 978-3-89785-784-1
1. Der Begriff der Normenlogik und ihre Zielsetzung
Unter ‘Normenlogik’ versteht man – wie schon der Name sagt – die Lo­
gik der Normen. Mit dem Terminus ‘Norm’ bezieht man sich im allge­
meinen auf beliebige Gebote, Verbote und Erlaubnisse – gleich­­­gültig,
ob sie rechtlicher, moralischer oder anderer Art sind. Normsätze sind
sprachliche Aus­­drücke für solche Normen. In der Logik geht es zwar
letztlich um abstrakte Strukturen, doch diese können durch sprach­li­­che
Ausdrücke repräsentiert werden. Aus diesem Grund hat es auch die
Normenlogik mit Norm­sät­zen zu tun, und man kann sie daher nicht nur
als Logik der Normen, sondern ebensogut auch als Logik der Norm­sätze
charakteri­sie­ren.
Sehr häufig bedient man sich des Hilfszeitwortes ‘sollen’, um eine
Norm auszudrücken: Statt zu sagen ‘Es ist geboten, daß Du Deinem
Nachbarn in der Not beistehst’, sagt man oft auch ein­fach ‘Du sollst Dei­
nem Nachbarn in der Not beistehen’. Aber auch andere Normen – z.B.
Ver­bo­te – las­sen sich mit Hilfe von ‘sollen’ ausdrücken; so drückt etwa
‘Du sollst nicht töten’ ein Ver­bot aus. Sollsätze gelten daher als Prototy­
pen von Norm­­sätzen, und wenn man von Sollsätzen spricht, meint man
damit oft pars pro toto alle Normsätze. Man bezeichnet deshalb die Nor­
men­lo­gik oft auch als ‘Logik des Sollens’, ‘Logik der Soll­sätze’ oder –
mit einem aus dem Griechi­schen stammenden Terminus – als ‘Deonti­
sche Logik’. (Der Ausdruck ‘deontisch’ hat seine ety­mo­­­lo­gische Wurzel
im griechischen Wort ‘deîn’, welches soviel wie ‘zwin­gen’, ‘nötigen’ oder
‘sollen’ be­deutet. ‘Deon­­tisch’ in diesem Sinn tritt in ver­schie­denen Kon­
texten – wie ‘deon­ti­sche Phrase’, ‘deontischer Satz’, ‘deontische Theo­
rie’ – auf und ist dabei aus­tauschbar mit ‘normativ’; zum Un­ter­schied
davon charakterisiert man heute mit dem Terminus ‘deontologisch’ eine
bestimmte Art von normativen bzw. deontischen Theorien.) Be­reits Ernst
Mally hatte 1926 seine Logik des Sol­lens als ‘Deontik’ bezeichnet. Seit
dem Er­scheinen des Aufsatzes “Deontic Logic” von Georg Hen­­rik von
Wright im Jahre 1951 ist der Ter­mi­nus ‘Deontische Logik’ fester Be­
standteil der phi­­­lo­sophischen und logischen Termi­no­logie.
9
Kapitel 1 / Begriff und Zielsetzung der Normenlogik
Da die Normenlogik in der Anwendung auf Recht und Moral beson­
dere Bedeutung erlangt, rechnet man sie häu­­­fig zur Angewandten Logik;
und da diese Anwendungen ebenso wie die theoretischen Grund­la­­­gen
der Normenlogik mit philosophischen Fragestellungen eng verknüpft
sind, wird sie oft auch als Teil­ge­­biet der sogenannten Philosophischen
Logik angesehen.
Logik ist eine Formalwissenschaft: Sie hat nicht die Aufgabe, inhalt­
liche Probleme zu lösen, son­­­­dern stellt nur die zur Lösung inhaltlicher
Probleme erforderlichen formalen Hilfsmittel zur Ver­­­­fügung. Man nennt
sie daher auch ‘formale Logik’. Oft wir die Logik – insbesondere, wenn
man ihre Anwendungen im Auge hat – als Lehre von den (in formaler Hin­
sicht) gültigen Argumenten aufgefaßt. (Unter dem Terminus ‘Argument’
versteht man dabei einfach die sprachliche Wiedergabe einer Schluß­
folgerung.) Die “praktische” Haupt­­­aufgabe der Logik besteht demnach
darin, gültige (d.s. de­duk­tiv korrekte) von ungültigen Argumenten zu
unterscheiden. Ein Argument mit den Prämissen P1, P2,…, Pk und der
Kon­klu­­­sion K ist genau dann gültig, wenn K aus der Prä­mis­senmenge
{P1, P2,…, Pk} logisch folgt; und K folgt logisch aus {P1, P2,…, Pk} genau
dann, wenn es keine Interpretation der nicht-logischen Ausdrücke gibt,
die in K oder P1, P2,… oder Pk vorkommen, unter welcher jeder der Sät­
ze P1, P2,… und Pk wahr und K falsch ist. Das aber ist im allgemeinen
genau dann der Fall, wenn der dem Argument entsprechende Konditio­
nalsatz ‘Wenn P1 und P2 und … und Pk, dann K’ allgemeingültig (d.i.
logisch wahr) ist. Die Logik kann ihre Aufgabe somit auf zweierlei Weise
er­fül­len: Sie bestimmt entweder, welche Argumente gültig sind, oder sie
sagt uns, welche Sätze allgemeingültig sind. Im Rah­men der “klassi­
schen” Logik, innerhalb dessen wir uns hier vor­wie­gend bewegen, dec­
ken sich die­se bei­den Aufgaben weitgehend. Wir können uns daher auf
eine der beiden Aufgaben be­schrän­ken. Der Einfachheit halber steht
bei der folgenden Behandlung der Normenlogik die zweite Aufgabe im
Vor­der­grund: Wir fassen dabei die Logik primär (wenn auch nicht aus­
schließlich) als Lehre von den allgemeingültigen Sätzen auf­. Dem­ge­mäß
hat die Normenlogik die Aufgabe zu bestimmen, welche Normsätze all­
ge­mein­gültig sind und welche nicht.
10
2. Allgemeingültigkeit von Normsätzen
und die Gültigkeit normativer Argumente
Ein Satz ist nach klassischer Auffassung genau dann allgemeingültig,
wenn er wahr ist und in ihm nur logische Ausdrücke wesentlich vorkom­
men; alle deskriptiven bzw. nicht-logischen Aus­drücke (d.s. in erster
Linie Individuennamen und Prädikate) können daher in einem allge­
mein­gül­­ti­gen Satz nur unwesentlich enthalten sein. Daß ein Ausdruck
A in einem Satz S unwesentlich vor­­­kommt, heißt nichts anderes, als daß
man A in S uniform durch einen Ausdruck A', der zur selben syntakti­
schen Kategorie wie A gehört, ersetzen kann, ohne daß sich dadurch der
Wahr­­­­­­heitswert von S ändert (d.h.: Wenn S wahr ist, ist auch jeder von
diesen neuen Sätzen wahr, und wenn S falsch ist, dann sind diese Sätze
allesamt falsch). Wenn hier von der uniformen Ersetzung eines Aus­
drucks die Rede ist, so läßt sich diese Redeweise für Ausdruckstokens
genausogut erläutern wie für Ausdruckstypes: Ein Ausdruckstoken A
wird in einem Satztoken S durch einen Ausdruckstoken A' genau dann
uniform ersetzt, wenn jeder mit A gestaltgleiche Ausdruckstoken, der in
S vorkommt, durch einen mit A' gestaltgleichen Ausdruckstoken ersetzt
wird; und ein Ausdruckstype A wird in einem Satztype S durch einen
Ausdruckstype A' genau dann uniform ersetzt, wenn der Ausdrucksty­
pe A an jeder Stelle, an der er in S vorkommt, durch A' ersetzt wird.
Wir können also bei unserer Redeweise vom uniformen Ersetzen von
Ausdrücken bei Bedarf mühelos zwischen der Token- und Typeebene
hin- und herwechseln. Wir führen nun eine bequeme Notation ein, die
sich ebenfalls sowohl auf der Ebene der Tokens als auch auf der Ebene
der Types einsetzen läßt: S(A'/A) ist derjenige Satz (und zwar entweder
Satztoken oder Satztype), der auf die soeben erläuterte Art und Weise
aus S durch uniforme Ersetzung von A durch A' entsteht. Etwas genauer
gesagt: S(A'/A) ist derjenige Satztoken, der genau gleich wie S ist, außer
daß an allen Stellen, an denen in S ein mit A gestaltgleicher Token steht,
ein mit A' gestaltgleicher Token steht; bzw.: S(A'/A) ist derjenige Satztype,
der genau gleich wie S ist, außer daß an allen Stellen, an denen in S der
Type A vorkommt, der Type A' vorkommt. (Wenn A' mit A gestaltgleich
11
Kapitel 2 / Normenlogische Allgemeingültigkeit und Gültigkeit
bzw. identisch ist, dann ist auch S(A'/A) mit S gestaltgleich bzw. iden­
tisch.) Mit Hilfe dieser Notation können wir nun präziser ausdrücken,
was es heißt, daß ein Ausdruck in einem Satz unwesentlich vorkommt:
A kommt in S ge­nau dann unwesentlich vor, wenn für jeden Ausdruck
A', der zur sel­­­­ben syntaktischen Kategorie wie A gehört, gilt, daß S(A'/A)
denselben Wahrheitswert wie A hat. Wenn A1, A2,…, An die ein­zi­gen
deskriptiven bzw. nicht-logischen Ausdrücke sind, die in einem Satz
S vorkommen, dann ist S genau dann allgemeingültig, wenn für alle
Aus­drücke A'1, A'2,…, A'n, die – der Reihe nach – zu derselben syntak­
tischen Kategorie wie A1, A2,…, An ge­hö­ren, gilt, daß S(A'1, A'2,…, A'n/
A1, A2,…, An) wahr ist. (Diese Definition muß auf Satztypes beschränkt
bleiben; ihre Anwendung auf Satztokens würde nämlich zu Problemen
theoretischer Natur führen, auf die ich hier nicht näher eingehen kann.
Solange aus dem Kontext nichts Gegenteiliges hervorgeht, werden wir
sprachliche Ausdrücke, Sätze, Formeln usw. im allgemeinen immer als
Types verstehen.)
Wenn wir z.B. im Satz S1 = ‘Saul Kripke ist Logiker’ den Individuen­
namen ‘Saul Kripke’ durch andere Individuennamen (wie ‘Barack Oba­
ma’ oder ‘Peter Handke’) und das Prädikat ‘ist Logiker’ durch ein ande­
res Prädikat (wie ‘ist Österreicher’, ‘ist Engländer’, ‘ist Amerikaner’, ‘ist
Tischler’, ‘ist Dich­­ter’ usw.) ersetzen, erhalten wir viele neue Sätze wie
z.B. ‘Saul Kripke ist Engländer’ (d.i. S1(‘ist Eng­­­länder’/‘ist Logiker’)),
‘Barack Obama ist Logiker’ (d.i. S1(‘Barack Obama’/‘Saul Kripke’)), ‘Ba­
rack Obama ist Engländer’ (d.i. S1(‘Barack Obama’, ‘ist Engländer’/‘Saul
Kripke’, ‘ist Logiker’)), ‘Pe­ter Handke ist Österreicher’ (d.i. S1(‘Peter
Handke’, ‘ist Österreicher’/‘Saul Kripke’, ‘ist Logiker’)), ‘Saul Kripke ist
Tischler’ (d.i. S1(‘ist Tischler’/‘ist Logiker’)) usw., von denen eini­ge wahr
und andere falsch sind. Wenn wir hin­gegen solche Ersetzungen im Satz
S2 = ‘Saul Krip­ke ist Logiker, oder es ist nicht der Fall, daß Saul Kripke
Logiker ist’ uniform vornehmen, sind al­le Sät­­­ze, die so entstehen, wahr,
und es ist kein ein­zi­ger falscher Satz darunter. Wir könnten sogar im
Satz S2 den ganzen Teilsatz ‘Saul Kripke ist Logiker’ durch einen be­
liebigen anderen Satz wie ‘Pe­t­er Handke ist Öster­reicher’ oder ‘Peter
Handke ist Amerikaner’ oder aber auch durch ‘2 + 2 = 4’ oder ‘2 + 2 = 7’
uniform ersetzen – das Ergebnis wäre immer wieder ein wahrer Satz.
12
Kapitel 2 / Normenlogische Allgemeingültigkeit und Gültigkeit
Ein allgemeingültiger Satz ist also ein wahrer Satz, der auch dann
noch wahr bleibt, wenn man alle deskriptiven Ausdrücke in ihm durch
beliebige andere Aus­drücke der jeweils selben Kategorie uniform er­
setzt oder – wie man statt dessen auch sagen kann – wenn man alle diese
deskriptiven Ausdrücke in ihm auch anders als gewöhnlich interpre­
tiert. (Was das genau heißt, wird in Kapitel 7 näher er­­läutert.)
Die logisch wahren Sätze der Aussagenlogik (AL), die man auch ‘Tau­
tologien’ nennt, sind die­­­­j­enigen allgemeingültigen Sätze, in denen nur
aussagenlogische Phrasen (die sogenannten Junk­­­­toren) wesentlich vor­
kommen, d.s. vor allem die folgenden Ausdrücke für Negation, Kon­junk­­­
tion, Disjunktion, Subjunktion und Bisubjunktion: ‘es ist nicht der Fall,
daß’ (symbolisch ab­ge­kürzt durch: ¬), ‘und’ (∧), ‘oder’ (∨), ‘wenn – dann’
(→) und ‘genau dann, wenn’ (↔).
In den logisch wahren Sätzen der Quantifikationstheorie bzw. Prädi­
katenlogik (PL) können dar­­über hinaus auch noch die prädikatenlogi­
schen Konstanten (die sogenannten Quantoren) we­sent­­­­lich vor­kommen,
nämlich Allquantoren und Existenzquantoren; Allquantoren sind Aus­
drücke der Art ‘für jedes Ding x gilt:’ (bzw.: ∀x), ‘für jedes Ding y gilt:’
(∀y) usw., und Existenzquantoren sind Ausdrücke der Art ‘für min­­
destens ein Ding x gilt:’ (∃x), ‘für min­­destens ein Ding y gilt:’ (∃y) usw.
Wenn wir auch noch das Identitätszeichen ‘=’ als logische Konstante
hinzufügen, wird die Spra­­­­­che der elementaren Logik dadurch zur Spra­
che der Prädikatenlogik erster Ordnung mit Iden­ti­tät (PL=) er­­weitert.
Allgemeingültige Sätze der AL sind Sätze, deren Form wir symbol­
sprachlich folgendermaßen wiedergeben können: p ∨ ¬p (z.B.: Saul
Kripke ist Logiker, oder es ist nicht der Fall, daß Saul Kripke Logi­
ker ist); ¬(p ∨ q) → (¬p ∧ ¬q) (z.B.: Wenn es nicht der Fall ist, daß
Peter Handke Logiker ist oder daß Saul Kripke Dichter ist, dann ist
es nicht der Fall, daß Peter Handke Logiker ist, und auch nicht, daß
Saul Kripke Dichter ist); p → ( p ∨ q); ( p ∧ q) → p; (( p → q) ∧ p) → q;
(p → q) ↔ (¬q → ¬p); usw. An die Stelle der Satzvariablen ‘p’ und
‘q’ können dabei beliebige Formeln (und in den entsprechenden wort­
sprachlichen Formulierungen beliebige Sätze) treten, solange berück­
sichtigt wird, daß die Ersetzung der Satzvariablen uniform erfolgt.
13
Herunterladen