7581047708

7581047708



17.2.4.    Zdanie typu E: Żadne A nie są B

Zdania typu E symbolizuje się w analogii do zdań typu A. Rozważmy następujący przykład zdania typuE:

(4) Żaden mężczyzna nie jest piękny.

Parafrazujemy:

{4} Dla każdego x, jeżeli x jest mężczyzną, to nieprawda, że x jest giękny.

czyli:

[4] Vx (Mx —» ~Px)

17.2.5.    Podsumowanie

Oto zestawienie czterech typów zdań kategorycznych:

Żadne A nie są B

Vx (Ax ~Bx)

Pewne A nie są B

3x (Ax~Bx)


(A)    Wszystkie A są B    (E)

Vx (Ax -> Bx)

(I) Pewne A są B    (O)

3x (AxBx)

Dlaczego zdania typu I nie są symbolizowane jako (3x) (Ax —» Bx)

Nie sposób nie zauważyć asymetrii w symbolizowaniu zdań kategorycznych typu A oraz typu I, które wydają się mieć podobną postać w języku naturalnym. Jest zupełnie jasne dlaczego nie można symbolizować zdania typu A (np. „Wszystkie algi są brunatne") w sposób analogiczny do tego, w jaki symbolizuje się zdania typu I, a więc jako „Vx (Ax • Bx)" - a to dlatego, że ostatni zapis odczytać musimy: „Wszystko jest brunatnymi algami", co jest zupełnie niezgodne ze znaczeniem zdania wyjściowego. Dlaczego jednak nie mielibyśmy przedstawić zdania „Pewne astry są białe" jako „3x (Ax -» Bx)"? Przeciw tej sugestii przemawia fakt, że implikacje zdania typu „Pewne A są B" są bliższe implikacjom zdania postaci „3x (Ax • Bx)'' niż implikacjom zdania postaci „3x (Ax —> Bx)".

Okazuje się, że zdanie postaci „3x (AxBx)" jest logicznie rów noważne zdaniu postaci „~Vx (Ax —> ~Bx)" (por. §17.5), co jest zgodne z naszymi intuicjami, gdyż istotnie intuicyjnie wyczuwamy, że zdanie „Nieprawda, że żaden aster nie jest biały" jest równoważne zdaniu „Pewne astry są białe".

Natomiast zdanie postaci „3x (Ax —> Bx)" jest logicznie równoważne zdaniu postaci „~Vx (Ax • ~Bx)'\ Gdyby więc zdanie „Pewne astry' są białe" miało być oddane jako „3x (Ax —> Bx)”, to musiałoby być równoważne zdaniu „Nieprawda, że wszystko jest niebiałym astrem”. Jednak z tego prawdziwe jest zdanie „Nieprawda, że wszy stko jest niebiałym astrem" wcale nie wynika, że pewne astry są białe. Podobnie przecież prawdziwe jest zdanie „Nieprawda, że wszystko jest nieblękitną anty lopą", lecz nie wynika stąd, że pewne antylopy są błękitne.

17-3


Katarzyna Paprzycka, Samouczek (wersja 2008): Temat 17. Podstawy symbohzacji



Wyszukiwarka

Podobne podstrony:
PYTANIA 1 ODPOWIEDZI Pytania -Nie są zdaniami w sensie logicznym. Zatem nie mają wartości logicznej.
54 (193) ki wychowawcze z ojcem dziewczynki, panem M. Już od dawna nie są oni parą kochających się l
2012 10 17 157 KOMETY orbity komet są wydłużonymi elipsami znajdują się w polu
o nie są monarchistami i katolikami o starają się powstrzymać rewolucję o chcą ograniczyć rolę
84948 IMG 31 Amerykańscy uczeni badający zagadnienia komunikowania nie są w żadnym wy. 4 padku zgodn
img009 na to, że nie są wynikiem zamierzonego przeniesienia znaczenia, w przeciwieństwie do metafor
DSCN0807 Definicje nadciśnienia tętniczego w citjży nie są ujednolicone. Obecnie preferuje się
23372 KOLOROWE DYKTANDA KL1 7 Te dwa obrazki nie są takie same - różnią się siedmioma szczegółami.
28821 IMGE87 Poezja jako    ^ nie są definitywne, wciąż stąją się, ulegając przekszta
Czy nie są oni wszyscy służebnymi duchami, posyłanymi do pełnienia służby gwoli tych, którzy mają
psychospołeczna teoria horney 3 charakteru środowiska społecznego, od ludzi jacy są wokół niego, jak
100?75 Jeśli zasoby wody nie zostaną uzupełnione* woda przemieszcza się z komórek do przestrzenie po

więcej podobnych podstron