Sprawdzanie: Różnice pomiędzy wersjami
| [wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
mNie podano opisu zmian |
lepszy termin |
||
Linia 1:
'''Sprawdzanie''' jest to jedna z najbardziej podstawowych odmian [[rozumowanie|rozumowania]] obok [[wnioskowanie|wnioskowania]], [[dowodzenie|dowodzenia]] i [[wyjaśnianie|wyjaśniania]].
''Sprawdzanie'' – definiując za [[Kazimierz Ajdukiewicz|Ajdukiewiczem]] pojęcie – ''jakiegoś zdania, np. zdania „a jest b” polega na rozwiązaniu zadania, które znajduje swe słowne sformułowanie w tzw. [[pytanie|pytaniu rozstrzygnięcia]] „czy a jest b?”''. Rozwiązaniem jest udzielenie jednej z dwóch właściwych odpowiedzi: „a jest b” albo „a nie jest b” na podstawie stwierdzenia prawdziwości lub fałszywości pewnych następstw wyprowadzonych ze zdania „a jest b”. W związku z powyższym procedura sprawdzania nie wyznacza jednoznacznie postaci konkluzji, [[
: W procesie sprawdzania wyróżnić można następujące fazy: '''(a)''' postawienie pytania rozstrzygnięcia: „czy a jest b?”; '''(b)''' wyprowadzenie ze zdania „a jest b” jakichś następstw; '''(c)''' uznanie lub odrzucenie tych następstw.
:: Wnioskowanie (inferencja), prowadzące do uznania lub odrzucenia tych następstw i w sumie do uznania lub odrzucenia zdania sprawdzanego, przebiega jedną z dwóch dróg: '''(1)''' od odrzucenia następstw do odrzucenia racji – droga dedukcyjna; '''(2)''' od uznania następstw do uznania racji – droga [[dedukcja|dedukcyjna]] albo [[redukcja|redukcyjna]]: '''(2.1.)''' dedukcyjna gdy następstwa są [[równoważność|równoważne]] ze zdaniem sprawdzanym; '''(2.2.)''' redukcyjna gdy następstwa nie są równoważne ze zdaniem sprawdzanym.
| |||