LOGIKA A INTERPRETAČNÍ PROCESY
Níže je uveden pouze náhled materiálu. Kliknutím na tlačítko 'Stáhnout soubor' stáhnete kompletní formátovaný materiál ve formátu DOCX.
Některé S není P-SoP(nego)-částečný záporný
KATEGORICKÁ SYLOGISMUS- LOGICKÝ ČTVEREC
-
implikace
výrok: kladný nebo záporný
kladný: kladná spona ztotožňuje subjekt s predikátem
záporný: záporná spona odděluje subjekt od predikátu
Převedení výroku na základní tvar:
Jablko zraje.
Jablko je zrající.
Bezprostřední vyvození v logickém čtverci
P SaP SiP SeP SoP SaP P - N N SiP P P N - SeP N N P - SoP N - P P N SaP SiP SeP SoP SaP N N - P SiP - N P P SeP - P N N SoP P P - NBEZPROSTŘEDNÍ ÚSUDKY
Ekvivalence
Změníme kvalitu na opačnou
Nahradíme predikát jeho negací
Některá jablka jsou červená.(SiP) => Některá jablka nejsou nečervená. (SoP)
jablka červené slupky
Konverze (obrat) – záměna subjektu a predikátu
Prostý- SiP (částečný kladný => částečný kladný,prohozený) => PiS
SeP => PeS
SiP : Někteří psi jsou domácí zvířata. => Některá domácí zvířata jsou psi.
SeP : Žádný pes není kočka. => Žádná kočka není pes.
Po případu
SaP=> PiS
SaP: Všichni psi jsou savci. => Někteří savci jsou psi.
Obměna (kontrapozice) –spojení ekvivalence a obratu (v tomto pořadí)
Žádný pes není nesmrtelný. => Každý pes je smrtelný. (ekvivalence) =>Někteří smrtelní tvorové jsou psi. (obrat po případu)
savci
Všichni psi (MEDIUS) jsou savci. -> PREMISA
Všichni jezevčíci jsou psi.
Všichni jezevčíci jsou savci. => ZÁVĚR (KONKLUZE)
S P
M –(MEDIUS) STŘEDNÍ POJEM
MaP
SaM
SaP
P1 p2 z
MaP SaM SaP
MiP SiM SiP
MeP
MoP
PaM
PiM
PeM
PoM
8 8 8
Kategorický sylogismus
Figury sylogismu
Aristoteles první 3
M-P P-M M-P P-M
S-M S-M M-S M-S
S-P S-P S-P S-P
FIGURA
MaP
SaM
SaP
Barbara
MaP
SiM
SiP
Darii
MeP
SaM
SeP
Celarent
MeP
SiM
SoP
Ferio
Funkční souhlásky
s…………….prostý obrat
p…………………………obrat po případu
m……………………………………záměna pořadí premis
c…………………………………………………premisa je nahrazena negací závěru ,závěr je nahrazen negací této premisy
FIGURA
PaM
SeM
SeP
Camestres
Celarent
PeM
SaM
SeP
Cesare
Celarent
PaM
SoM
SoP
Baroco => Barbara
PeM
SiM
SoP Festino
Figura
MaP
MaS
SiP
Darepti
MaP
MiS
SiP
Datisi
MiP
MaS
SiP
Disamis
MeP
MaS
SoP
Felapton
MeP
MiS
SoP
Ferison
MoP
MaS
SoP
Bocardo
FIgura
PiM
MaS
SiP
Dimatis
PaM
MaS
SiP
Bamalip
PaM
MeS
SeP
Cameles
PeM
MaS
SoP
Fesapo
PeM
MiS
SoP
Fresiso
Barbari
MaP
SaM
SiP
Celaront
2.
Camestros
Cesaro
Camestes
PaM Všichni psi jsou savci.
SeM Žádní plazi nejsou savci.
SeP Žádní plazi nejsou psi.
Všichni psi jsou savci. PaM
Někteří živočichové nejsou savci. SoM
Někteří živočichové nejsou psi. SoP
Megarsko- stoická škola
Jednoduchý x složený výrok
-logické spojky (částice)
:
Implikace (jestliže….pak….)
Konjunkce (….a….)
Disjunkce (buď,nebo)
Negace (nikoliv…)
Pravdivost složených výroků
Implikace : Jestliže první věta, pak druhá věta.