„Barbaramodus“ – Versionsunterschied
| [ungesichtete Version] | [ungesichtete Version] |
Die Seite wurde neu angelegt: „= <span class="mw-page-title-main">modus Barbara</span> = <span class="mw-page-title-main"></span><div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" dir="ltr" lang="de"><p>'''Modus Barbara''' ist ein logischer Schluss ([https://de.wikipedia.org/wiki/Syllogismus Syllogismus]) einer bestimmten Form. Der Name „Barbara“ rührt vom lateinischen Merkwort für diesen Syllogismus her. Die Folge der drei Vokale „a…“ |
Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
[[Barbara]]{{–}}[[Modus]] {{lat.-dt.}} | |||
<span class="mw-page-title-main"> | == <span class="mw-page-title-main">modus Barbara</span> == | ||
'''Modus Barbara''' ist ein [[Logikschluß|logischer Schluss]] ([[Syllogismus]]) einer bestimmten Form. Der Name „Barbara“ rührt vom lateinischen Merkwort für diesen Syllogismus her. Die Folge der drei Vokale „a“ im Merkwort bedeutet, dass sowohl beide Voraussetzungen als auch die Folgerung [[bejahend]] und allgemein gültig ([https://de.wikipedia.org/wiki/Quantor allquantifiziert], aber nicht [https://de.wikipedia.org/wiki/Negation verneint]) sind. („A“ ist der erste Vokal des lateinischen „[[affirmare]]“, das mit „[[bejahen]]“ übersetzt werden kann.) | |||
<span class="mw-page-title-main"><span class="mw-page-title-main">Alle Griechen (𝐺) sind Menschen (𝑀) | Folgendes Beispiel zeigt die Gestalt des Modus Barbara<ref><span class="reference-text">N. I. Kondakow: <cite>Wörterbuch der Logik</cite>. Hrsg.: Erhard Albrecht, Günter Asser. 1. Auflage. VEB Bibliographisches Institut Leipzig, Leipzig 1978, S. 72.</span></ref>: (rechts in [[Prädikatenlogik]]) | ||
{| class="wikitable" | |||
<span class="mw-page-title-main"><span class="mw-page-title-main"><span class="mw-page-title-main"> | | | ||
|<span class="mw-page-title-main">Alle Menschen (𝑀) sind sterblich (𝑆)</span> | |||
| | |||
|<big>∀</big>𝑥(𝐺𝑥 → 𝑀𝑥) | |||
|- | |||
| | |||
|<span class="mw-page-title-main"><span class="mw-page-title-main">Alle Griechen (𝐺) sind Menschen (𝑀)</span></span> | |||
| | |||
|<span class="mw-page-title-main"><big>∀</big>𝑥(𝑀𝑥 → 𝑆𝑥)</span> | |||
|- | |||
|<span class="mw-page-title-main"><span class="mw-page-title-main"><span class="mw-page-title-main">Es folgt</span></span></span> | |||
| <span class="mw-page-title-main"><span class="mw-page-title-main"><span class="mw-page-title-main">Alle Griechen (𝐺) sind sterblich (𝑆)</span></span></span> | |||
|<span class="mw-page-title-main"><span class="mw-page-title-main"><span class="mw-page-title-main">Es folgt</span></span></span> | |||
|<span class="mw-page-title-main"><span class="mw-page-title-main"><span class="mw-page-title-main"><big>∀</big>𝑥(𝐺𝑥 → 𝑆𝑥)</span></span></span> | |||
|} | |||
Die obige Darstellung ist die Kodierung des [[Petrus Hispanus#Codierung der Syllogismen|Petrus Hispanus]]. Der Modus Barbara wurde durch Aristoteles in seiner Urform mit Prämissen in anderer Reihenfolge dargestellt<ref><span class="reference-text">Aristoteles: An.pr. A4 25b37b-26a2, 26a23-28, vollkommene Syllogismen (Axiome)</span></ref> und hat dann Ähnlichkeit mit dem [https://de.wikipedia.org/wiki/Kettenschluss Kettenschluss] für den Spezialfall 𝑛=3.<div class="mw-heading mw-heading2"> | |||
== Siehe auch == | == Siehe auch == | ||
</div> | </div> | ||
| Zeile 18: | Zeile 33: | ||
== Weblinks == | == Weblinks == | ||
</div> | </div> | ||
*[https://lms.sulb.uni-saarland.de/moodle/mod/page/view.php?id=18220 Syllogistik des Aristoteles] | *[https://lms.sulb.uni-saarland.de/moodle/mod/page/view.php?id=18220 Syllogistik des Aristoteles]<div class="mw-body-content"></div> | ||
<div class="mw- | |||
Version vom 25. August 2024, 10:37 Uhr
Barbara–Modus Vorlage:lat.-dt.
modus Barbara
Modus Barbara ist ein logischer Schluss (Syllogismus) einer bestimmten Form. Der Name „Barbara“ rührt vom lateinischen Merkwort für diesen Syllogismus her. Die Folge der drei Vokale „a“ im Merkwort bedeutet, dass sowohl beide Voraussetzungen als auch die Folgerung bejahend und allgemein gültig (allquantifiziert, aber nicht verneint) sind. („A“ ist der erste Vokal des lateinischen „affirmare“, das mit „bejahen“ übersetzt werden kann.)
Folgendes Beispiel zeigt die Gestalt des Modus Barbara[1]: (rechts in Prädikatenlogik)
| Alle Menschen (𝑀) sind sterblich (𝑆) | ∀𝑥(𝐺𝑥 → 𝑀𝑥) | ||
| Alle Griechen (𝐺) sind Menschen (𝑀) | ∀𝑥(𝑀𝑥 → 𝑆𝑥) | ||
| Es folgt | Alle Griechen (𝐺) sind sterblich (𝑆) | Es folgt | ∀𝑥(𝐺𝑥 → 𝑆𝑥) |
Die obige Darstellung ist die Kodierung des Petrus Hispanus. Der Modus Barbara wurde durch Aristoteles in seiner Urform mit Prämissen in anderer Reihenfolge dargestellt[2] und hat dann Ähnlichkeit mit dem Kettenschluss für den Spezialfall 𝑛=3.
Siehe auch
- Transitive Relation
- Weitere traditionelle Schlussweisen: