Natlogik

Natürliche Logik

Pjotr Dmitrijewitsch Lodi unterschied die natürliche Logik, die er auch volkstümliche Logik nennt, von der erworbenen Logik.

Die natürliche Logik ist die natürliche Anlage zum folgerichtigen Denken.

Nebenbeg

Nebenbegriff

Nebenbegriffe nennt man Begriffe, die gleichermaßen ein und demselben Gattungsbegriff untergeordnet sind.

Die Nebenbegriffe gehören zu den vereinbaren Begriffen.

Nebenbegriffe werden auch koordinierte Begriffe genannt.

Negbegr

Negativer Begriff

Begriff, der das Fehlen einer gewissen Eigenschaft im Gegenstand widerspiegelt, z. B. nicht schön, mittellos. Nach Aristoteles darf ein Begriff nicht negativ sein.

Negmehr

Wahrheitswertfunktionen für Negationen

Häufig wird zur Beschreibung der Negation in Systemen mehrwertiger Logik die Wahrheitswertfunktion non1 verwendet, die sich durch die Formel

non1(x) =df 1 – x

beschreiben lässt. Man nennt diese Negation auch &;ukasiewiczTarski-Negation.

In der fünfwertigen Logik ergibt sich folgende Funktionstabelle

Die Negation non1 fällt mit der dreiwertigen Negation von &;ukasiewicz [1] und für den allgemeinen Fall mit der Negation von &;ukasiewicz und Tarski [2] zusammen. Sie entspricht beispielsweise auch der (dreiwertigen) inneren Negation von Bo&;var.

Diese Negation erfüllt die Normalbedingung der Negation, aber wenn es den Quasiwahrheitswert 1/2 gibt nie die Standardbedingung der Negation.

Eine andere Negation hat Post [3] verwendet. Sie wird auch als Post-Negation bezeichnet. Diese Negation lässt sich in die Formel:

non2 =df x – (1 / (M – 1)), falls x &; 0, 1 sonst

bringen, wobei M die Anzahl der Quasiwahrheitswerte ist.

In der fünfwertigen Logik ergibt sich folgende Funktionstabelle

x01/41/23/41 non1(x)13/41/21/40

Während die Funktion non1 auch bei unendlichen Quasiwahrheitsmengen sinnvoll ist und auch von
&;ukasiewicz und Tarski zu verwendet wurde, ist non2 nur für endliche Quasiwahrheitswertmengen sinnvoll. Man kann sie aber auf verschiedene Weise für unendliche Quasiwahrheitswertmengen verallgemeinern. Eine natürliche Verallgemeinerung ist die Formel

non2 =df x, falls x &; 0, 1 sonst

für die unendliche Wahrheitswertmenge.

Die Funktion non1 erfüllt die Normalbedingung der Negation, die Funktion non2 dagegen nicht, falls M > 2 ist.

Bei Gödel findet sich eine weitere Negation, die sich daher zu Recht als Gödel-Negation bezeichnen lässt und wie folgt definiert ist:

non3(x) =df 1, falls x = 0, 1 sonst

In der fünfwertigen Logik ergibt sich folgende Funktionstabelle

x01/41/23/41 non2(x)101/41/23/4

Diese Negation erfüllt zwar die Normalbedingung der Negation, aber nicht allgemein die Standardbedingung der Negation.


[1] &;ukasiewicz, J.: O logice trójwarto&;ciowej, Ruch Filozoficzny 5 1920, 170f.;
engl. in: &;ukasiewicz, J.: Selected Works (ed. L. Borkowski) Amsterdam/London/Warschau 1970
[2] &;ukasiewicz, J./Tarski, A.: Untersuchungen über den Aussagenkalkül, Comptes Rendus Séances Société des Sciences et Lettres Varsovie, Cl. III, 23 (1930), 30 – 50
[3] Post, E. L.: Introduction to a general theory of elementary proposition, American Journal Mathematics 43 (1921), 163 – 185

Mitl

Mitleidsethik

Als Mitleidsethik bezeichnet man ethische Theorien, die das menschliche Gefühl des Mitleids als zentrales ethisches Kriterium heranziehen. Solche Theorien sind mit einer anthropozentrischen Position verbunden, wenn sie als nur den Mensch als mitleidfähig ansehen.

Wenn das Mitleid nicht nur als Gefühl des Akteurs betrachtet, sondern – wie bei Schopenhauer – mit der Aufnahme des Leidens anderer in Verbindung gebracht wird, sind auch pathozentrische Positionen möglich.

Mitwirk

Mitwirkende Ursache

Mitwirkende Ursachen nennt man eine der vielen Ursachen, die in einen kausalen Zusammenhang eingehen, aber nicht allein die Wirkung hervorbringen kann.

Mill verwirft die Unterscheidung zwischen mitwirkender und vollständiger Ursache. Für ihn ist die Ursache immer mit einer vollständigen Ursache identisch.

Spezielle mitwirkende Ursachen sind die entscheidende Ursachen und wesentlichen Ursachen.

Mod Schl

Modaler Schluss

Als modalen Schluss bezeichnet man einen mittelbarer Schluss, der auf einer Veränderung der Modalität der Urteile basiert.

In derartigen Schlüssen kann man

  • vom Notwendigen auf das Wirkliche,
  • vom Notwendigen und vom Wirklichen auf das Mögliche,
  • vom Unmöglichen und vom Nichtwirklichen auf das Nichtnotwendige

schließen.

Modell

Modell

Als Modell bezeichnet man ein ideell vorgestellt oder materiell realisiertes System, das einen Forschungsgegenstand adäquat widerspiegelt oder spezifische Eigenschaften und Relationen analog reproduziert und ihn so zu vertreten vermag, dass sein Studium es dem Menschen ermöglicht, neue Erkenntnisse über diesen Untersuchungsgegenstand zu erhalten oder zur besseren Beherrschung des Untersuchungsgegenstandes selbst beizutragen.

Bewußt angewandt wurde die Modellierung wohl erst von Galileio Galilei, der den Ausdruck Modell noch nicht verwendet.

Bei Descartes kommt der Begriff Modell vor. Seine theoretischen Vorstellungen werden mitunter als Physik der Modelle bezeichnet.

Im 18. Jahrhundert wurde die Modellierung zu einer vielbenutzten Methode. So benutzte man bei der Entwicklung der Atom- und Molekülvorstellungen in der Chemie Modelle in zunehmendem Maße.

In der Biologie wird die Modellierung bewusst seit O. Bütschli und St. Leduc (Ende des 19. Jh./Anfang des 20. Jh.) angewandt.

Eine wichtige Rolle spielt die Klassifizierung der Modelle nach ihrer Funktion. Folgende Funktionen spielen hierbei eine Rolle:

  1. Erkenntnis: neue Informationen über das Original sind gesucht;
  2. Erklärung und Demonstration: gesucht sind Hilfsinformationen, die das Verständnis für im Prinzip bekannte, nicht absolut neue Erkennntisse über das Original ermöglichen bzw. erleichtern (z. B. Maxwellsches Modell des elektrischen Stromes, Fallbeispiele);
  3. Indikation: am Modell werden Eigenschaften des Originals sichtbar oder meßbar gemacht, die am Original selbst nicht zugänglich sind (z. B. Herzsimulator);
  4. Variation und Optimierung: das Modell soll die Möglichkeit schaffen, durch gezielte Operationen bei gegebener Prinziplösung bzw. Struktur und Funktion von Original und Modell eine quantitative Optimierung des Originals durch schrittweise Annäherung am Modell zu erlauben (z. B. Netzmodell der Energieverteilung);
  5. Verifikation: eine vorhandene Hypothese oder eine technische Konsturktion soll am verkleinerten Modell geprüft werden (z. B. Versuchsmuster);
  6. Projektierung : mittels eines Modells soll eine zweckmäßige Variante eines zu erarbeitenden oder zu produzierendes Objekts ausgearbeitet werden (engverwandt mit dem vorigen Punkt) (z. B. technische Konstruktionszeichnungen, Projektierungsmodell des Städtebaus);
  7. Ersatzfunktion: andere Teilsystems sollen direkt vertreten werden (z. B. künstliche Gliedmaßen).

Wird in einem Modell ein Prozeß modelliert, sprechen wir von Simulationsmodellen.

In der Mathematik und in der Logik gebraucht man den Modellbegriff in anderer Bedeutung. Hier versteht man unter dem Modell eines Axiomensystems eine konkrete Interpretation dieses Systems.


Moderkl

Modellerklärung

Wenn etwas als erklärt betrachtet wird, insofern es in ein vorher angenommenes Modell eines bestimmten Teils der Wirklichkeit eingefügt werden kann, spricht man von Modellerklärung. Das vorausgesetzte Modell ist entscheidend dafür, welche Erklärung als Erklärung akzeptiert werden können.

Moralth

Deskriptive Ethik

Die deskriptive Ethik auch Moralwissenschaft ist derjenige Zweig der Ethik der die psychologischen, biologischen, sozialen und historischen Grundlagen moralischer Phänomene untersucht.
x01/41/23/41 non1(x)10000