(schemat: przedmiot x1 ma własność p, przedmiot x2 ma własność p, przedmiot x3 ma własność p, ..., przedmiot xn ma własność p, a zatem każde x jest p). wnioskowaniu redukcyjnym jako o wnioskowaniu ze szczegółu o szczególe – tzw. wnioskowanie przez analogię (schemat: przedmiot x1 ma własność p, przedmiot x2 ma własność p, przedmiot x3 ma własność p, ..., przedmiot xn ma własność p, a zatem przedmiot xn+1 też będzie miał własność p.) o wnioskowaniu redukcyjnym jako o wnioskowaniu z następstwa o racji; (przykład: Skoro jest mokro na jezdni i chodniku to pewnie padał deszcz) o wnioskowaniu nieinferencyjnym, w którym nie stwierdza się związku pomiędzy przesłankami a konkluzją (przykład: Jeśli dziś jest wtorek, to życie jest piękne).
Logika formalna W logice formalnej rozważa się teorie, będące zbiorami zdań logicznych. Wprowadza się następnie reguły wnioskowania. Reguły są zapisywane za pomocą symbolu oznaczającego, iż jeśli do jakiejkolwiek teorii należą zdania to należy do niej także Przykładem może tutaj być reguła modus ponens: Jeśli zdanie daje się wywnioskować z pewnych zdań teorii zapisujemy to
Przypisy
Bibliografia Kazimierz Ajdukiewicz, Klasyfikacja rozumowań, w: Język i poznanie, t. 2.
Kategoria:Rozumowanie