Popište pojem sylogismu a uveďte, jakým způsobem lze použít Vennovy diagramy pro ověření správnosti sylogismu: Porovnání verzí
| Řádek 1: | Řádek 1: | ||
| − | |||
== Aristotelova logika == | == Aristotelova logika == | ||
'''Sylogismus''' – Aristotelův kategorický sylogismus je úsudek, který má právě dvě premisy. Jde o druh logického tvrzení, ve kterém je jeden z výroků (závěr) odvozen z ostatních dvou předpokladů (premis) určité formy. | '''Sylogismus''' – Aristotelův kategorický sylogismus je úsudek, který má právě dvě premisy. Jde o druh logického tvrzení, ve kterém je jeden z výroků (závěr) odvozen z ostatních dvou předpokladů (premis) určité formy. | ||
| Řádek 30: | Řádek 29: | ||
[[Soubor:Diagramy1.png|750px|bezrámu|střed]] | [[Soubor:Diagramy1.png|750px|bezrámu|střed]] | ||
| + | == Příklady == | ||
| + | === I. Figura === | ||
| + | '''Map''' | ||
| + | <br /> | ||
| + | '''SaM''' | ||
| + | <br /> | ||
| + | ______ | ||
| + | <br /> | ||
| + | Sap | ||
==Zdroje== | ==Zdroje== | ||
===Reference=== | ===Reference=== | ||
Verze z 22. 9. 2020, 15:03
Obsah
Aristotelova logika
Sylogismus – Aristotelův kategorický sylogismus je úsudek, který má právě dvě premisy. Jde o druh logického tvrzení, ve kterém je jeden z výroků (závěr) odvozen z ostatních dvou předpokladů (premis) určité formy.
Dvě premisy a jeden závěr jsou značeny písmeny S, P, M.
| S | P | M |
|---|---|---|
| subjekt | predikát | medián |
- Subjekt S - termín, který stojí v závěru na místě subjektu (ve smyslu predikátové
logiky) a vyskytuje se ve druhé premise
- Predikát P - termín, který stojí v závěru na místě predikátu (ve smyslu predikátové
logiky) a vyskytuje se v první premise
- Střední člen M - vyskytuje se v obou premisách, avšak nikoli v závěru.[1]
4 FIGURY
Pro každou z figur je 64 možných soudů z logického čtverce a, i, e, o mezi termíny premis a závěru.
- SaP: Obecný kladný výrok
- Všechna S jsou P = ∀x [S(x) → P(x)]
- SeP: Obecný záporný výrok
- Žádné S není P = ∀x [S(x) → ¬P(x)]
- SiP: Částečný kladný výrok
- Některé S je P = ∃x [S(x) ∧ P(x)]
- SoP: Částečný záporný výrok
- Některé S není P = ∃x [S(x) ∧ ¬P(x)]
Příklady
I. Figura
Map
SaM
______
Sap