Czym jest logika:
Logika Jest to nauka formalna, która bada strukturę lub formy ludzkiej myśli (takie jak twierdzenia, koncepcje i rozumowanie) w celu ustanowienia ważnych praw i zasad w celu uzyskania kryteriów prawdy.
Jako przymiotnik „logiczny” lub „logiczny” oznacza, że coś podlega regułom logiki i rozumu. Wskazuje również oczekiwaną naturalną lub normalną konsekwencję.
Jest również używany w odniesieniu do tak zwanego „zdrowego rozsądku”. Pochodzi z łaciny logika, i z kolei z greckiego λογική (logika, 'mający rozum, „intelektualny”, „dialektyczny”, „argumentujący”), który z kolei wywodzi się od słowa λόγος (logotypy, „słowo”, „myśl”, „powód”, „pomysł”, „argument”).
Logika zdaniowa, matematyczna lub symboliczna
Logika zdań to gałąź logiki, która bada zmienne zdań, spójniki logiczne (
). Niektórzy autorzy utożsamiają go również z logiką matematyczną lub logiką symboliczną, ponieważ używa serii specjalnych symboli, które zbliżają ją do języka matematycznego. Propozycje mogą być prawdziwe lub fałszywe.
Logika filozoficzna
Logika jest zwykle uważana za część filozofii, chociaż logika jako taka jest stosowana w różnych obszarach i działaniach człowieka.
Logika filozoficzna wykorzystuje cztery podstawowe zasady, które ustanawiają prawidłowe procesy myślowe. Zasady te to zasada tożsamości, zasada niesprzeczności, zasada wykluczonej osoby trzeciej oraz zasada dostatecznego powodu.
Logika formalna i logika nieformalna
Logika formalna to taka, której przedmiotem badań są wnioskowania techniczne poprzez zastosowanie systemów dedukcyjnych oraz języków formalnych i semantyki. Z kolei logika nieformalna bada naturalne rozumowanie i systemy argumentacji za pomocą języka i codziennego myślenia.
Logika arystotelesowska
Jest to logika oparta na badaniach Arystotelesa, greckiego filozofa z IV wieku p.n.e. Logika arystotelesowska posługuje się tzw. sylogizmami, które są dedukcją lub formą rozumowania, w której ustala się przesłanki, z których wyprowadza się wniosek.
Jest to zatem pojęcie podobne do dedukcyjnie uzasadnionych argumentów. Klasycznym przykładem logiki Arystotelesa jest: „Wszyscy ludzie są śmiertelni. Wszyscy Grecy to mężczyźni. Dlatego wszyscy Grecy są śmiertelni. Pierwsze dwa zdania byłyby przesłankami, a trzecie wnioskiem.
Logika rozproszona
Pojęcie logika rozproszona pochodzi z angielskiego ('logika rozmyta'). Jest to rodzaj logiki, która wykorzystuje losowe wartości, ale kontekstualizowane i powiązane ze sobą, ustalające relację tego, co jest obserwowane jako pozycja różnicowa. Logika rozmyta jest stosowana w różnych dziedzinach, takich jak informatyka i przemysł.
