To tylko jedna z 2 stron tej notatki. Zaloguj się aby zobaczyć ten dokument.
Zobacz
całą notatkę
Sprawdzanie trybów za pomocą diagramów Venna Tryby sylogistyczne można badać również za pomocą, znanych już nam, diagramów Venna. Metoda ta polega na zaznaczeniu na kołach Venna relacji, jakie zachodzą między zakresami terminów występujących w obu przesłankach i sprawdzeniu, czy wynik obu relacji odpowiada wnioskowi. Procedura postępowania w tym wypadku jest następująca: 1) Kreślimy trzy koła tak, aby każde przecinało się z każdym. Trzy koła przedstawiają zakresy trzech terminów: większego P, mniejszego S, i średniego M. 2) Zaznaczamy na tych kołach relacje zachodzące między zakresami terminów w przesłance ogólnej, zakreślając stosowne pole. Korzystniej jest zacząć od przesłanki ogólnej.
3) Podobnie zaznaczamy stosowne pole, wynikające z relacji między zakresami terminów w przesłance szczegółowej, biorąc pod uwagę wynik z poprzedniej przesłanki.
4) Sprawdzamy, czy pole z obu przesłanek odpowiada wnioskowi. Jeśli tak jest, to tryb jest niezawodny.
Dla przykładu zbadajmy, czy tryb podany niżej tryb jest niezawodny:
M e P
M a S
------------
S o P
Zgodnie z podaną procedurą, na diagramie Venna musimy zaznaczyć jako odrzuconą część wspólną koła M oraz P, pozostawiając tę część koła M, która nie nachodzi na koło P (M e P). Następnie odrzucamy część koła M, która wychodzi poza koło S, pozostawiając tę część koła M, która znajduje się w kole S (M a S), pomijając już odrzucony wspólny obszar koła M oraz P. W wyniku otrzymamy pole, które odpowiada wnioskowi (S o P). Zatem tryb jest niezawodny. Skądinąd wiemy, że jest to tryb III figury, zwany Felapton. Więcej przykładów w: K. Ajdukiewicz, op. cit. , s. 131-146.
P S M
... zobacz całą notatkę
Komentarze użytkowników (0)