Wnioskowanie:
> Niezawodne -na podstawie prawdziwości pewnego zdania lub kilku zdań będących przesłankami stwierdzamy prawdziwość innego zdania będącego wnioskiem. Wnioskowania tego typu są oparte o niezawodne schematy inferencyjne o postaci implikacji, (prawdziwość przesłanek potwierdza prawdziwości wniosku)
> Zawodne - polega na stwierdzeniu na podstawie uznanego za prawdziwe zdania lub zdań innego zdania(wniosku) z określonym stopniem prawdopodobieństwa, (prawdziwość przesłanek nie potwierdza prawdziwości wniosku)
WNIOSKOWANIA DZ1EL1M TEŻ NA:
D Wnioskowanie dedukcyjne - to takie które opierają się na wynikaniu logicznym, gdzie uznana za prawdziwą jest racja(oparte o niezawodne schematy inferencyjne) [NIEZAWODNE!!]
0 Sensu stricte - kiedy mamy uznaną rację i badamy jakie jest jej następstwo D Dowodzenie - gdy poszukujemy uznanej racji dla określonego nieznanego jeszcze następstwa
D Wprost - Polega na wskazaniu przesłanek będących uznanymi racjami z, których wynika udowodnione zdanie
D Niewprost - polega na tym, że dokonuje się zanegowania zdania dowodzonego, a następnie dochodzi się poprzez reguł dowodzenia do zaprzeczenia jakiegoś już uprzednio udowodnionego zdania
D Wnioskowanie niededukcyjne - to takie, które opierają się na związkach innych niż wynikanie logiczne[ZAWODNE!!](związek między przesłanką a wnioskiem nie opiera się na implikacji lecz na związkach o innym charakterze).
D Tłumaczenie - dla pewnego następstwa uznanego za prawdziwe(w tym rozumieniu będącego przesłanką) szuka się prawdziwej racji (w tym rozumieniu będącej wnioskiem)
0 Sprawdzenie - jest to rozumowanie polegające na tym, że uważając jakieś zdanie za prawdziwe, szukamy jego następstw, aby z ich prawdziwości bądź fałszywości wnosić o wartość logiczną zdania sprawdzanego.
D Sprawdzanie pozytywne - dla zdania znajdujemy następstwa prawdziwe i wtedy choć jedynie z pewnym prawdopodobieństwem, wnioskujemy o jego prawdziwości
D Sprawdzanie negatywne - dla zdania znajdujemy następstwa fałszywe i wtedy choć jedynie z pewnym prawdopodobieństwem, wnioskujemy o jego fałszywości jako racji.[NIEZAWODNE!!]
D Wnioskowanie indukcyjne - polega na tym, że na podstawie wielu przesłanek
jednostkowych stwierdzających, iż poszczególne zbadane przedmioty pewnego rodzaju mają określoną cechę, dochodzi się do wniosku ogólnego stwierdzającego, że każdy przedmiot tego rodzaju taką cechę posiada.
D Indukcja enumeracyjna niezupełna — zbiór przesłanek
jednostkowych( stwierdzających o poszczególnych badanych przedmiotach, że posiadają pewną cechę) nie jest pełny[ZAWODNE!!]
0 Indukcja enumeracyjna zupełna - zbiór przesłanek jednostkowych
(stwierdzających o poszczególnych badanych przedmiotach, że posiadają pewną cechę) jest pełny[NIEZAWODNE!!)
0 Indukcja eliminacyjna rozwiązanie tą metodą odbywa się za pomocą kanonów.