34 (220)

u

Sztuka argumentacji - Krzysztof Szymanek, Krzysztof A. Wieczorek, Andrzej S. Wójcik - iLibrary Reader

& Limit wydruku: 0

Slrona 34/150

& O 0

i Następna strona (Page Down) I

Gra FreeCell #30416

IK. Sx)miiKk. K. A. Wmiccik. A. S. WZjcik. SiiutudtmmtćMKU. &*suAf.. tatafo owułKtinlw. Wjiwjo. ;ucO. iSSN*.voi-14C«i» U.Ob> WNPWN200J

34 Podstawowe zagadnienia

Zrozumienie niniejszego rozdziału wymaga podstawowych wiadomości z logiki formalnej. W szczególności z klasycznego rachunku zdań oraz. sylogistyki. Osoby, które z tymi działami logiki nigdy się me zetknęły, maja do wyboru trzy wyjścia. Po pierwsze, mogą one najpierw zapoznać się z Dodatkiem, gdzie wszystkie potrzebne pojęcia zostały w miarę przystępnie wyjaśnione. Po drugie, mogą kontynuować lekturę, nic przejmując się tym. że nie wszystko, o czym jest mowa w obecnym rozdziale, zrozumieją. Po trzecie wreszcie, można na razie pominąć ten lozdział. jako że jego znajomość nie jest konieczna do zrozumienia dalszych części książki.

§ 2. Argument dedukcyjny w sensie ścisłym

Argument dedukcyjny w sensie ścisłym to argument, w którym konklu/ja wynika logic/.nic z przesłanek. W argumencie dedukcyjnym cała pewność, z którą przyjęto przesłanki, może być prawomocnie przelana na konkluzję.

Gwarantem niezawodności uzasadnienia dostarczanego konkluzji przez przesłanki jest tutaj samo ściśle ustalone znaczenie stałych logicznych — słów takich jak każtły, niektóry, nieprawda, te, i, lub, jeśli...to, wtedy i tylko wtedy*. Badanie dedukcyjności argumentu opiera się na jego formalizacji, czyli wypisaniu schematu' oddającego sposób użycia w nim stałych logicznych, a następnie zbadaniu. czy ów schemat (zwany też schematem formalnym) jest niezawodny — czy rzeczywiście każdorazowe zastosowanie go musi prowadzić do prawdziwej konkluzji, o ile tylko wychodzi się od prawdziwych przesłanek⁶. Wykazanie, że zastosowany w argumencie schemat jest niezawodny oznacza, żc konkluzja tego argumentu wynika logicznie z przesłanek, a co zatem idzie, że argument jest dedukcyjny.

Przykład 5.2.1.

$ 33-Paint

(a) Rozważmy argument:

( P) Każdy komunista jest ateistą. (K) Każdy ateista jest komunistą.

*    Szczegółowe omówienie stałych logicznych w kontekście problematyki wynikania logicznego znajdzie Czytelnik w Dodatku. Niniejszy rozdział napisano w ten sposób, by możliwe było zrozumienie przynajmniej podstawowych zagadnień argumentu dedukcyjnego bez sięgania do Dodatku.

⁵ Tzw. reguły inferencyjnej (patrz Dodatek).

*    Posługując się terminologią wyłożoną w Dodatku powiedzielibyśmy, że aby stwierdzić dedukcyjność argumentu, należy wykonać następujące czynności:

(a)    posiłkując się formalizmem logicznym odnaleźć formę logiczną jego przesłanek oraz. konkluzji:

(b)    zestawić z otrzymanych formuł regułę infercncyjną;

(c)    posługując się metodami logiki formalnej zbadać, czy otrzymana reguła infercncyjną jest dedukcyjna.