Logika - 2024./25. ljeto - 10.
Pozomo pročitajte tekst.
Pod pretpostavkom da vrijedi zaključak po subalternaciji u logičkom kvadratu koji opisuju četiri aristotelovska suda:
(1) Iz suda „Svi $A$ jesu $B$." slijedi sud „Neki $A$ jesu $B$.". No, (2) iz suda „Svi $A$ jesu $B$." slijedi i sud „Neki ne- $B$ nisu $A$.", jer je (3) sud „Svi $A$ jesu $B$." jednakovrijedan sudu „Nijedan ne- $B$ nije $A$.", a (4) iz njega slijedi sud „Neki ne-B nisu A.". (5) lz svakoga suda koji je jednakovrijedan nekome sudu slijedi sve što slijedi iz toga suda. Stoga, (6) lz suda „Svi $A$ jesu $B$." slijedi da postoje barem dvije različite stvari.
U tekstu se nalazi niz zaključaka. Brojevima su označeni sudovi koji su u tekstu u ulogama premisa i/ili konkluzije. Rekonstruirajte navedeni tekst tako da preostale brojeve upišete na prazna mjesta u dijagramu na način da toćno opisuju slijed zaključaka u tekstu. Vitičasta zagrada označava da sud koji se nalazi ispod nje slijedi iz sudova koje zagrada obuhvaća i koji se nalaze iznad nje.
