imported>Invisigoth67: form

2024-08-28T14:54:38Z

form

Neue Seite

Das '''Prinzip der Zweiwertigkeit''', auch '''Bivalenzprinzip''' genannt, ist die Eigenschaft einer [[Formales System|Logik]], dass semantisch jeder Formel genau einer von zwei [[Wahrheitswert]]en zugewiesen wird. Häufig werden diese Wahrheitswerte als ''wahr'' und ''falsch'' bezeichnet.

Logiken, für die das Prinzip der Zweiwertigkeit erfüllt ist, nennt man auch zweiwertige Logiken. Ist das Prinzip der Zweiwertigkeit nicht erfüllt, spricht man von [[Mehrwertige Logik|mehrwertiger Logik]].

Das Prinzip der Zweiwertigkeit ist zu unterscheiden von dem auch innerhalb mehrerer mehrwertigen Logiken gültigen [[Satz vom ausgeschlossenen Dritten]], der besagt, dass sich P ∨ ¬P innerhalb des logischen Systems bzw. seines [[Kalkül]]s syntaktisch ableiten lässt.
__TOC__
== Präzisierung ==
Wenn man für einen Kalkül eine [[formale Semantik]] aufstellt, dann verwendet man für die Zuordnung von Wahrheitswerten zu [[Mathematische Formel|Formeln]] eine [[Funktion (Mathematik)|Funktion]], die ''Bewertungsfunktion'' (auch ''Denotationsfunktion'' oder ''Wahrheitswertefunktion'') genannt wird. Für die Bewertungsfunktion wird oft das Zeichen <math>[[\cdot]]</math> verwendet; die zu bewertende Formel wird dabei zwischen die eckigen Klammern geschrieben. Bezeichnet man die Menge der wohlgeformten Formeln des Kalküls mit <math>M</math>, dann besagt das Prinzip:

:<math>[[\cdot]]</math> ist eine Funktion im mathematischen Sinn, die (mindestens) für ''ganz'' <math>M</math> definiert ist und die für ''jede'' wohlgeformte Formel genau einen der Wahrheitswerte „wahr“ oder „falsch“ liefert.

Das Bivalenzprinzip impliziert weder, dass die Menge <math>M</math>, noch dass die Bewertungsfunktion in irgendeiner Weise effektiv ermittelbar ist. Diese Frage wird auf den betrachteten Kalkül verschoben.

== Diskussion des Prinzips ==
Da die Bewertungsfunktion nicht „tatsächlich ermittelbar“ sein muss, kann es auch in einer Logik, die das Bivalenzprinzip erfüllt, Aussagen geben, deren Wahrheitswert („zum augenblicklichen Zeitpunkt“ oder sogar für immer) unbekannt ist. Ein berühmtes Diskussionsbeispiel dafür, dass dies auch innerhalb der Mathematik der Fall sein kann, ist die sog. [[Goldbachsche Vermutung]], dass jede gerade Zahl größer als 2 als Summe zweier Primzahlen geschrieben werden kann. Es wird hier argumentiert: Entweder gilt die Vermutung für die „wirklichen natürlichen Zahlen“ oder sie gilt nicht; vielleicht muss aber ungeklärt bleiben, welches von beiden der Fall ist.

Da die Bewertungsfunktion für ''alle'' Aussagen einen Wahrheitswert liefert, folgt der „Satz vom ausgeschlossenen Dritten“ einfach aus dem Bivalenzprinzip.<ref>K.Wuchterl, ''Methoden der Gegenwartsphilosophie'', S. 53.</ref>

Das Bivalenzprinzip ist kein normatives Prinzip, also keine Forderung, dass logische Systeme zweiwertig sein ''müssen'', sondern deskriptive semantische Eigenschaft logischer Systeme. Einige logische Systeme haben diese Eigenschaft, z. B. die [[klassische Logik]], sie sind zweiwertig. Andere Systeme haben diese Eigenschaft nicht, sie sind mehrwertig.
{{Siehe auch|Dreiwertige Logik|Fuzzylogik|Intuitionistische Logik}}

Das Bivalenzprinzip steht mit anderen Fragestellungen in Verbindung, vor allem mit [[Metaphysik|metaphysischen]] oder mit [[Sprachwissenschaft|sprachwissenschaftlichen]] Fragen. Ein Beispiel ist die metaphysische Frage, ob die Wirklichkeit adäquat durch zweiwertige Logik beschrieben werden kann, ob also ein metaphysisches Bivalenzprinzip gilt – ob es eine absolute Wahrheit gibt. Solche Fragen werden in der [[Wissenschaftstheorie]] und [[Sprachphilosophie]] behandelt. Die [[Korrespondenztheorie]] der Wahrheit geht von einer objektiven, absoluten Wahrheit aus und bejaht eine solche metaphysische [[Idee]], während die [[Kohärenztheorie]] Wahrheit als subjektive gesellschaftliche Konstruktion versteht, die nur relativ zum sozialen Standort des Betrachters existiert.

In der Philosophie der Mathematik bezieht sich das Bivalenzprinzip insbesondere auf die Frage, ob mathematische Sätze nur Zeichenfolgen sind, die umgeformt werden, oder ob sie Aussagen über Objekte in einer mathematischen Welt machen, so wie der Satz „heute regnet es“ nach dem Realismus des Alltagsverstandes eine Aussage über die reale Welt macht. [[Platon]] war der Auffassung, dass es eine objektive ideale mathematische Welt gibt, die nach seiner [[Ideenlehre]] zur Welt der Ideen ([[Intelligibel|intelligiblen Welt]]) gehört, welche unabhängig vom denkenden Subjekt existiert, aber für dieses grundsätzlich auf rein geistige Weise erkennbar ist. Dies wird unter anderem in Platons [[Höhlengleichnis]] erörtert. Diese Sicht wird insbesondere im [[Intuitionismus]] abgelehnt, wo die Wahrheit und Falschheit eines Satzes auf das subjektive Evidenzerlebnis bei seiner deduktiven Konstruktion reduziert wird. [[Karl Popper]] versuchte in seiner pluralistischen Ontologie ([[Drei-Welten-Lehre]]), beide Sichtweisen zu vereinen, indem er zwar anerkannte, dass mathematische Welten vom Menschen geschaffen werden, jedoch trotzdem den Standpunkt vertrat, dass die Existenz der Welt und insbesondere ihre Eigenschaften objektiv und unabhängig vom Menschen ist. Mathematische Theorien gehören somit in Poppers ''Welt 3'', die Welt der objektiven Gehalte der menschlichen Kultur.<ref>Karl R. Popper: Gesammelte Werke, Band 12, Wissen und das Leib-Seele-Problem, Tübingen, Mohr Siebeck (2012). Das Buch enthält in neuer Übersetzung Knowledge and the Body-Mind Problem (1994) und den Popperteil aus Karl R. Popper, John C. Eccles: Das Ich und sein Gehirn (1977), editorische Bemerkungen und ein Nachwort des Herausgebers mit einer Übersicht über ca. 40 weitere Arbeiten zur Dreiweltenlehre.</ref>

== Einzelnachweise ==
<references />

== Belege ==
* Walter Gellert, [[Herbert Kästner]], Siegfried Neuber (Hrsg.): ''Fachlexikon ABC Mathematik''. Thun und Frankfurt 1978, ISBN 3-87144-336-0. Artikel „Aussagenkalkül“
* W. Stegmüller, M.V.v.Kibéd: ''Strukturtypen der Logik'', Band III von W. Stegmüller, ''Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie'', Springer-Verlag, Berlin, Heidelberg, New York, Tokyo 1984, ISBN 3-540-12210-9, ISBN 0-387-12210-9. Vor allem S 51 ff.
* J.M. Bochenski: ''Formale Logik'', Freiburg/München 1970. Kap 43 zur Geschichte der Formulierung dieses Prinzips
* K. Wuchterl: ''Methoden der Gegenwartsphilosophie'', Bern und Stuttgart 1977, (UTB Taschenbücher 646), ISBN 3-258-02606-8

== Weblinks ==
* [https://math.andrej.com/2005/05/16/how-many-is-two/ How many is two?] (in Englisch)

{{Normdaten|TYP=s|GND=1112753966}}

[[Kategorie:Logik]]
[[Kategorie:Semantik]]
[[Kategorie:Klassische Logik]]

[[ca:Lògica bivalent]]
[[es:Lógica bivalente]]

Prinzip der Zweiwertigkeit - Versionsgeschichte

imported>Invisigoth67: form