• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Wnioskowanie

    Przeczytaj także...
    Kazimierz Ajdukiewicz (ur. 12 grudnia 1890 w Tarnopolu, zm. 12 kwietnia 1963 w Warszawie) – polski filozof i logik, reprezentant szkoły lwowsko-warszawskiej, profesor Uniwersytetu Jana Kazimierza, Uniwersytetu im. Adama Mickiewicza i Uniwersytetu Warszawskiego, członek Polskiej Akademii Nauk i Polskiej Akademii Umiejętności.Rozumowanie – proces myślowy polegający na uznaniu za prawdziwe danego przekonania lub zdania na mocy innego przekonania lub zdania uznanego za prawdziwe już uprzednio.
    Zdanie w sensie logiki (zdanie logiczne) – wypowiedź, która stwierdza określony stan rzeczy. Zdanie z języka J stwierdza (na mocy reguł semantycznych J) stan rzeczy s zawsze i tylko wtedy, gdy na mocy reguł semantycznych języka J: zdanie z jest prawdziwe zawsze i tylko wtedy, gdy s a z jest fałszywe zawsze i tylko wtedy, gdy nie jest tak, że s.

    Wnioskowanie – jedna z najbardziej podstawowych odmian rozumowania obok sprawdzania, dowodzenia i wyjaśniania.

    Wnioskować - za Kazimierzem Ajdukiewiczem - znaczy tyle co na podstawie uprzednio uznanych zdań (sądów) dochodzić do uznania nowego (dotąd nie uznawanego) zdania (sądu), lub wzmacniać pewność z jaką nowe zdanie uznajemy. Zdania uznawane, na podstawie których dochodzimy do uznania lub wzmocnienia pewności nowego zdania nazywane są przesłankami, zaś zdanie na ich podstawie uznane nazywany jest wnioskiem (konkluzją). Pomiędzy przesłankami a konkluzją nie musi zachodzić jakiś szczególny stosunek, a zwłaszcza jedno z nich nie musi być racją dla drugiego – wnioskowanie może być: (a) pewne albo prawdopodobne; (b) poprawne albo niepoprawne.

    W logice matematycznej teorią nazywamy niesprzeczny zbiór zdań. Dokładniej, niech T będzie zbiorem zdań zapisanych w pewnym języku L. Wtedy T jest teorią, jeśli nie istnieje zdanie napisane w języku L takie że T dowodzi zarówno tego zdania, jak i jego zaprzeczenia. Zbiór zdań T dowodzi zdania X, jeśli można przeprowadzić formalny dowód zdania X przy użyciu zdań ze zbioru T oraz aksjomatów i reguł dowodzenia klasycznego rachunku logicznego.Sprawdzanie, również konfirmacja – jedna z najbardziej podstawowych odmian rozumowania obok wnioskowania, dowodzenia i wyjaśniania.
    Można mówić o jego następujących odmianach:
    1. o wnioskowaniu inferencyjnym, w którym oderwać można wniosek od przesłanek, jako o:
      1. dedukcyjnym, które przybiera postaci:
        1. wnioskowania z przesłanek ogólnych o wniosku szczegółowym (przykład: Wszyscy ludzie są śmiertelni, Sokrates jest człowiekiem, Sokrates jest śmiertelny)
        2. wnioskowania, w którym przesłanka jest racją dla wniosku, gdzie oderwać można wniosek od przesłanek (przykład: Jeśli będzie padało to pójdę do kina, pada, idę do kina);
      2. o wnioskowaniu indukcyjnym (enumeracyjnym lub eliminacyjnym) jako o wnioskowaniu ze szczegółu o ogóle (schemat: przedmiot x 1 ma własność p, przedmiot x 2 ma własność p, przedmiot x 3 ma własność p, ..., przedmiot x n ma własność p, a zatem każde x jest p.
      3. wnioskowaniu redukcyjnym jako o wnioskowaniu ze szczegółu o szczególe - tzw. wnioskowanie przez analogię ((schemat: przedmiot x 1 ma własność p, przedmiot x 2 ma własność p, przedmiot x 3 ma własność p, ..., przedmiot x n ma własność p, a zatem przedmiot x n+1 też będzie miał własność p.)
      4. o wnioskowaniu redukcyjnym jako o wnioskowaniu z następstwa o racji; (przykład: Skoro jest mokro na jezdni i chodniku to pewnie padał deszcz)
    2. 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[edytuj kod]

    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 .

    Indukcja (łac. inductio - wprowadzenie) - typ rozumowania redukcyjnego określany jako wnioskowanie "od szczegółu do ogółu", tj. wnioskowanie z prawdziwości racji (wniosków w szerokim znaczeniu tego słowa) o prawdziwości następstw (przesłanek w szerokim znaczeniu tego słowa), przy czym bardziej złożone niż prosta indukcja enumeracyjna niezupełna typy indukcji przy pewnych interpretacjach stanowią rozumowania dedukcyjne. W odróżnieniu od rozumowania dedukcyjnego indukcja enumeracyjna niezupełna stanowi rozumowanie zawodne, tj. takie, w którym prawdziwość przesłanek nie gwarantuje pewności wniosku. Głównymi postaciami indukcji są indukcja enumeracyjna niezupełna, indukcja enumeracyjna zupełna, indukcja eliminacyjna i indukcja statystyczna - indukcja matematyczna jest natomiast uznawana za specyficzne rozumowanie dedukcyjne.

    Literatura[edytuj kod]

  • Kazimierz Ajdukiewicz, Klasyfikacja rozumowań, w: Język i poznanie, t. 2.



  • w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Reklama