Benutzer-Werkzeuge

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
logik:begriffe:existenzsatz [19.09.21, 15:44:43]
sascha [Andere Umschreibungen]
logik:begriffe:existenzsatz [21.09.21, 21:20:13] (aktuell)
sascha [Existenzvoraussetzung]
Zeile 73: Zeile 73:
 Hierbei gilt, dass bei Aussagen vom Typ „**I**“ (z.B.: „einige <html><abbr title="Subjekt">S</abbr></html> sind <html><abbr title="Prädikat">P</abbr></html>“) sowohl <html><abbr title="Subjekt">S</abbr></html> als auch <html><abbr title="Prädikat">P</abbr></html> existent sein müssen, während bei Aussagen vom Typ „**O**“ (z.B.: „einige <html><abbr title="Subjekt">S</abbr></html> sind //nicht// <html><abbr title="Prädikat">P</abbr></html>“) nur <html><abbr title="Subjekt">S</abbr></html> existieren muss. Hierbei gilt, dass bei Aussagen vom Typ „**I**“ (z.B.: „einige <html><abbr title="Subjekt">S</abbr></html> sind <html><abbr title="Prädikat">P</abbr></html>“) sowohl <html><abbr title="Subjekt">S</abbr></html> als auch <html><abbr title="Prädikat">P</abbr></html> existent sein müssen, während bei Aussagen vom Typ „**O**“ (z.B.: „einige <html><abbr title="Subjekt">S</abbr></html> sind //nicht// <html><abbr title="Prädikat">P</abbr></html>“) nur <html><abbr title="Subjekt">S</abbr></html> existieren muss.
  
-In beiden Fällen führt dies dazu, dass bei der Ableitung von Existenz- aus Allsätzen zunächst bewiesen werden muss, dass es //wenigstens ein// Element der Begriffsmenge gibt. Solche Nebenbedingungen sind z.B. bei Syllogismen wie dem [[logik:schlussformen:modus_barbara:modus_barbari|Modus Barbari]] oder [[logik:schlussformen:modus_darii:modus_darapti|Darapti]] nötig.+In beiden Fällen führt dies dazu, dass bei der Ableitung von Existenz- aus Allsätzen zunächst bewiesen werden muss, dass es //wenigstens ein// Element der Begriffsmenge gibt. Solche Nebenbedingungen sind z.B. bei Syllogismen wie dem [[logik:schlussformen:modus_barbara:modus_barbari|Modus Barbari]] <html><a href="/app/syllogism-finder/index_en.html#barbari" title="In Syllogism-Finder App anzeigen">&#9672;</a></html> oder [[logik:schlussformen:modus_darii:modus_darapti|Darapti]] <html><a href="/app/syllogism-finder/index_en.html#darapti" title="In Syllogism-Finder App anzeigen">&#9672;</a></html> nötig.
  
 ==== Verteilung ==== ==== Verteilung ====