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í
m |
|||
Řádek 1: | Řádek 1: | ||
− | '''Sylogismus''' – 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 | + | == 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 - Subjekt | ||
+ | *P - Predikát | ||
+ | *M - 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 je 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 se vyskytuje v obou premisách, avšak nikoli v závěru. | ||
Předpoklady a závěr sylogismu může být kteréhokoli ze čtyř typů, které se značí písmenným kódem tak, že první velké | Předpoklady a závěr sylogismu může být kteréhokoli ze čtyř typů, které se značí písmenným kódem tak, že první velké | ||
− | písmeno slova je pro obecné a druhé pro dílčí. | + | písmeno slova je pro obecné a druhé pro dílčí.<ref>[https://www.esf.kfi.zcu.cz/logika/opory/phk1201/prezentace/PL_10_sylogismy.pdf Raclavský, Jiří. ''Úvod do logiky: PL Kategorický sylogismus''] <ref/> |
# Obecný kladný výrok – '''Všechna S jsou P. SaP''' | # Obecný kladný výrok – '''Všechna S jsou P. SaP''' |
Verze z 22. 9. 2020, 11:51
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 - Subjekt
- P - Predikát
- M - 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 je 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 se vyskytuje v obou premisách, avšak nikoli v závěru.
Předpoklady a závěr sylogismu může být kteréhokoli ze čtyř typů, které se značí písmenným kódem tak, že první velké
písmeno slova je pro obecné a druhé pro dílčí.<ref>Raclavský, Jiří. Úvod do logiky: PL Kategorický sylogismus Chybná citace: Otvírací značka <ref>
je chybná nebo má špatný název
- Obecný kladný výrok – Všechna S jsou P. SaP
- Obecný záporný výrok – Žádné S není P. SeP
- Částečný kladný výrok – Některá S jsou P. SiP
- Částečný záporný výrok – Některá S nejsou P. SoP
Zdroje
Reference