158 59

więc żadna planeta nie jest gwiazdą” czy. „Niektóre grzyby są trujące, a zatem niektóre trujące substancje są grzybami”.

Obecnie częściej przyjmowany jest inny podział rozumowań na dedukcyjne i redakcyjne. W tym podziale kryterium wyróżniającym jest zgodność bądź niezgodność kierunku wynikania z kierunkiem uzasadniania (czy uznawania).

3.3.1. Rozumowania dedukcyjne a redukcyjne

Rozumowanie dedukcyjne jest to takie rozumowanie, w którym za pomocą racji logicznej uzasadnia się następstwo logiczne. A więc kierunek uzasadniania jest tu zgodny z kierunkiem wynikania logicznego. W dedukcji bowiem zdanie stanowiące rację logiczną jest już skądinąd uzasadnione (uznane za prawdziwe) i na podstawie tej racji uzasadnia się (uznaje za prawdę) następstwo.

Rozumowanie redukcyjne jest natomiast takim rozumowaniem, w którym za pomocą następstwa logicznego uzasadnia się (częściowo) rację logiczną. Kierunek uzasadniana jest tu przeciwny do kierunku wynikania. Właśnie dlatego rozumowanie to nazwano redukcją (od tac. reductio - prowadzenie wstecz). W redukcji bowiem to właśnie następstwo jest już skądinąd uzasadnione (uznane za prawdę) i na tej podstawie próbuje się częściowo uzasadnić (uznać za prawdopodobną) rację logiczną.

Zarówno przy dedukcji, jak i przy redukcp można postępować w dwóch różnych kierunkach; albo wychodzić od racji logicznej i dobierać następstwo logiczne, czyli rozumować progresywnie, albo odwrotnie - wychodzić od następstwa logicznego i dobierać dla niego rację logiczną, czyli rozumować regresy wnie.

Dećnkcją progresywną jest wnioskowanie dedukcyjne, w którym do racji logicznej, uznanej skądinąd za prawdę, dobiera się jej następstwo. We wnioskowaniu dedukcyjnym - jak pamiętamy - wnioskuje się z prawdziwości racji o prawdziwości następstwa i stąd jest to rozumowanie niezawodne.

Dedukcją regresywną jest dowodzenie. Przy dowodzeniu bowiem, mając okazać prawdziwość jakiegoś zdania, dobieramy dla niego rację logiczną wśród zdań już wcześniej przyjętych (uzasadnionych), a następnie wyprowadzamy to dowodzone zdanie (wprost bądź nie wprost) jako wniosek wynikający logicznie ze znalezionej racji Jak wiemy, tak rozumiane dowodzenie jest również rozumowaniem niezawodnym. Owo niepewne w punkcie wyjjcń zdanie stqc się po udowodnienia tez* systemu, w którym dowód został przeprowadzony.

Tak jak podzielifttiny dedukcję. również redakcję można podzielić aa progresywną i regresywną.

Redakcją progresywną będzie sprawdzanie (pozytywne), nazywane także weryfikacją. Polega ano na tym, że mając jakieś zdanie niepewne (jakąś hipotezę), szukamy jego następstw, aby w przypadku ich prawdziwości wnioskować o prawdopodobieństwie owego sprawdzanego zdania.

Redukcją regresywną natomiast będzie    (faktów, zdarzeń). Wy

jaśnianie polega na wskazaniu jakiejś racji dla zdania . które zostało stwierdzone jako prawdziwe. Jest więc dobieraniem niepewnej racji do prawdziwego następstwa.

Ten podział rozumowań wydaje się dosyć konsekwentny, chociaż też ma pewne wady, np. nie uwzględnia, tzw. wnioskowania przez ansńogię. F\xiział rozumowań na progresywne i regresywne jest nierozłączny. Gdy przesłanka jer równoważna konkluzji, to wychodzi się od racy. która zarazem jest następstwem, a jednocześnie dobiera się następstwo, które jest leż racją, gdyż wynikanie zachodzi w obie strony. Z tych powodów może właściwiej byłeby ar mówić o typologii niż o klasyfikacji roznmowań.

Obydwa rodzaje rozumowań dedukcyjnych, zarówno wnioskowanie denat kcyjne jak i dowodzenie, zostały jnż dość dokładnie omówione w ramach kytAi formalnej (zwłaszcza w p. 2-2-5.1 i n.)- Natomiast bardziej szczegółowego omówienia wymagają rozumowania redukcy jne, mianowicie: wyjaśnianie i sprawdzanie. Zanim jednak do lego przejdziemy, poświęcimy nieco uwagi odktji, analizując ją z punktu widzenia powyższej klasyfikacji (czy raczej typologii, zob. rozdz. 3.4), a następnie także wnioskowaniu przez analogię, ktore pozostaj: poza tą klasyfikacją.

3.3.2. Rodzaje indukcji

Terminem Jndukcja "obejmuje się trzy zasadniczo odmienne rodzaje rozumowań, mianowicie: 1) indukcję przez proste wyliczenie, czyli inaczej indukcję enumeracyjną, 2) indukcję eliminacyjną oraz 3) tzw. indukc je matematyczną.

159