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. Obvykle se používá kategorický sylogismus, který obsahuje věty S-P (subjekt-predikát) a má dva předpoklady a jeden závěr.
+
== 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

  1. Obecný kladný výrok – Všechna S jsou P. SaP
  2. Obecný záporný výrok – Žádné S není P. SeP
  3. Částečný kladný výrok – Některá S jsou P. SiP
  4. Částečný záporný výrok – Některá S nejsou P. SoP
Diagramy1.png

Zdroje

Reference


Související články

Klíčová slova