====== Modus Camestros ======

Form eines [[begriffe:syllogismus|Syllogismus]] auf Basis des [[logik:schlussformen:modus_celarent:hauptseite|Modus Celarent]] als Grundform, bei dem von einem positiven und einem negativen [[begriffe:allsatz|Allsatz]] auf einen negativen [[begriffe:existenzsatz|Existenzsatz]] geschlossen wird. 

<aside float-right>
<figure box>
<h3>Modus Camestros</h3>
{{modus_camestros.svg?nolink|Modus Camestros}}
<figcaption centered>Typ ''AEO'', Form ''2''<span noprint> [[app>#AE2O|In Syllogism-Finder App anzeigen]]</span> \\ Hauptform: [[hauptseite|Celarent]]</figcaption>
</figure>
</aside>

> Alle <abbr "Oberbegriff">O</abbr> sind <abbr "Mittelbegriff">M</abbr>.
> Kein <abbr "Unterbegriff">U</abbr> ist <abbr "Mittelbegriff">M</abbr>.
> [//und es existiert wenigstens ein// <abbr "Unterbegriff">U</abbr>]*
> <span conclusio><span "Daraus folgt">∴</span> Einige <abbr "Unterbegriff">U</abbr> sind nicht <abbr "Oberbegriff">O</abbr>.</span>

Zum Beispiel:

> Alle //Quadrate// sind //Rechtecke//.
> Kein //Kreis// ist ein //Rechteck//.
> [und es existiert wenigstens ein //Kreis//]*
> <span conclusio>Daraus folgt: Einige <em>Kreise</em> sind keine //Quadrate//.</span>

<aside box>
<small>**Hinweis:** * Wenn von //Allsätzen// auf einen //Existenzsatz// geschlossen wird, wird dadurch [[begriffe:existenzeinfuehrung|Existenz eingeführt]]. Um mögliche mögliche Fehler der [[logik:fehlannahmen:leere_begriffsmenge|leeren Begriffs­menge]] zu vermeiden, muss die Existenz hier explizit nachgewiesen werden. Beim //Modus Camestros// reicht es aus, die Existenz für den Unterbegriff (<abbr "Unterbegriff">U</abbr>) zu beweisen, da der Schlusssatz keine Existenz von <abbr "Mittelbegriff">M</abbr> und/oder <abbr "Oberbegriff">O</abbr> impliziert.</small>
</aside>

Der //Modus Camestros// ist eine schwächere Form des [[logik:schlussformen:modus_celarent:hauptseite|Modus Celarent]], der nur auf einen //Existenz-// anstatt auf einen //Allsatz// schließt. Da jeder Allsatz, der sich nicht auf eine //leere Begriffsmenge// bezieht, prinzipiell auch immer einen Existenzsatz impliziert, ist dies problemlos möglich, allerdings hat ein solcher auch weniger Aussage­kraft als die Allaussage im //Modus Celarent//.

===== Namensherkunft =====

Der Name „Camestros“ ist ein Kunstwort, welches hilft, die wichtigsten Eigenschaften dieses Modus in Er­inner­ung zu behalten: Dabei steht das „C“ am Wortanfang für die Verwandtschaft zum [[logik:schlussformen:modus_celarent:hauptseite|Modus Celarent]], das „a“ steht für einen positiven und das „e“ für einen negativen [[begriffe:allsatz|Allsatz]], während das „o“ für einen negativen [[begriffe:existenzsatz|Existenz­satz]] im Schlusssatz steht. 

==== Alternative Namen ====

  * Modus Camestrop

===== Siehe auch =====

  * [[begriffe:allsatz|Allsatz]]
  * [[begriffe:existenzeinfuehrung|Existenzeinführung]]
  * [[begriffe:existenzsatz|Existenzsatz]]
  * [[logik:fehlannahmen:leere_begriffsmenge|Fehler der leeren Begriffs­menge]]
  * [[logik:schlussformen:modus_celarent:hauptseite|Modus Celarent]]
  * [[begriffe:syllogismus|Syllogismus]]

{{page>templates:banner#Short-BG-Logic&noheader&nofooter}}