Co to jest logika:
Logika jest nauką formalną, która bada strukturę lub formy myśli ludzkiej (takie jak propozycje, pojęcia i rozumowanie) w celu ustalenia obowiązujących praw i zasad, aby uzyskać kryteria prawdy.
Jako przymiotnik, „logiczny” lub „logika” oznacza, że coś jest zgodne z zasadami logiki i rozumu. Wskazuje również na naturalną lub normalną oczekiwaną konsekwencję.
Również w odniesieniu do tak zwanego „zdrowego rozsądku”. Pochodzi od łacińskiego logĭca, i z kolei od greckiego λογική ( logike, ' posiadający rozum, 'intelektualny', 'dialektyczny', 'argumentacyjny'), który z kolei wywodzi się od słowa λόγος ( logos, 'słowo', 'myśl', 'rozum', 'idea', 'argument').
logika propozycjonalna, matematyczna lub symboliczna
Logika propozycjonalna jest dziedziną logiki, która zajmuje się zmiennymi propozycjonalnymi, łącznikami logicznymi (
). Niektórzy autorzy utożsamiają ją również z logiką matematyczną lub logiką symboliczną, ponieważ używa ona szeregu specjalnych symboli, które zbliżają ją do języka matematycznego. Twierdzenia mogą być prawdziwe lub fałszywe.
Logika filozoficzna
Powiązane znaczenia:
Logika jest często uważana za część filozofii, chociaż logika jako taka znajduje zastosowanie w różnych dziedzinach i działaniach człowieka.
Filozoficzna logika posługuje się czterema podstawowymi zasadami, które ustanawiają prawidłowe procesy myślowe. Te zasady to zasada identyczności, zasada niesprzeczności, zasada wykluczonej osoby trzeciej i zasada wystarczającej racji.
Patrz również Pozytywizm.
Logika formalna i logika nieformalna
Logika formalna to taka, której przedmiotem badań jest techniczne wnioskowanie za pomocą systemów dedukcyjnych oraz języków formalnych i semantyki. Logika nieformalna natomiast bada systemy rozumowania i naturalnej argumentacji poprzez język i codzienne myślenie.
Logika arystotelesowska
Jest to logika, która opiera się na badaniach Arystotelesa, greckiego filozofa z IV wieku p.n.e. Arystotelesowska logika posługuje się tzw. sylogizmami, czyli dedukcją lub formą rozumowania, w której ustala się przesłanki, z których wyprowadza się wniosek.
Jest to więc pojęcie podobne do dedukcyjnie ważnych argumentów. Klasycznym przykładem logiki arystotelesowskiej jest: „Wszyscy ludzie są śmiertelni. Wszyscy Grecy są mężczyznami. Dlatego wszyscy Grecy są śmiertelni”. Pierwsze dwa zdania byłyby przesłankami, a trzecie zdanie byłoby wnioskiem.
Fuzzy logic
Pojęcie logiki rozmytej pochodzi od „logiki rozmytej”. Jest to rodzaj logiki, która wykorzystuje przypadkowe wartości, ale kontekstualne i powiązane ze sobą, ustalając względność obserwowanego jako pozycję różnicową. Logika rozmyta jest stosowana w różnych dziedzinach, takich jak informatyka i przemysł.
Patrz również Nauka.
