• Czym jest logika?
• Logika filozoficzna
• Logika arystotelesowska
• Logika matematyczna
• Logika obliczeniowa
• Logika formalna i nieformalna

Wyjaśniamy, czym jest logika i jakie są cechy logiki filozoficznej, arystotelesowskiej, matematycznej, obliczeniowej, formalnej i nieformalnej.

Logika jest używana w różnych procesach, takich jak dowód, wnioskowanie lub dedukcja.

Czym jest logika?

Logika to nauka formalna, który jest częścią filozofia i z matematyka. Koncentruje się na badaniu ważnych i nieważnych procedur myśl, czyli w procesach takich jak dowodzenie, wnioskowanie czy dedukcja, a także w pojęciach takich jak błędy, paradoksy i prawda.

Logika to dyscyplina niezwykle starożytny, niezależnie urodzony wśród wielkich myślicieli cywilizacje klasyczne i starożytne, jak Chińczycy, Grecy czy Hindusi. Od początku był rozumiany jako sposób oceniania myśli w celu sprawdzenia jej formalnej ważności, czyli rozpoznania, jaka jest idealna procedura rozumowanie, ten, który naprawdę prowadzi do prawdy.

Jednak od XX wieku była uważana za dziedzinę bardziej zbliżoną do matematyki, ponieważ jej zastosowania zyskały duże znaczenie przemysłowe, społeczne i technologiczne.

Słowo „logika” wywodzi się z greckiego głosu logika („Obdarzony rozumem”), od terminu logo, co jest odpowiednikiem słowa „słowo” lub „myśli”.

Jednak w języku potocznym używamy tego słowa jako synonimu „zdrowego rozsądku”, to znaczy w wartościowym lub cenionym sposobie myślenia, w ich odpowiednich konteksty możliwy. Jest również używany jako równoznaczny „sposób myślenia”, jak w przypadku „logiki sportowej”, „logiki wojskowej” i tak dalej.

Logika filozoficzna

Tym terminem nazywamy obszary filozofii, w których metody logiki w celu rozwiązania lub rozwinięcia pewnych dylematów filozoficznych, które można rozwiązać w ramach rozważanej logiki tradycyjnej lub, przeciwnie, logiki nieklasycznej. Innymi słowy, logika w ramach filozofii.

Jest to dyscyplina bardzo bliska filozofii języki jest zasadniczo kontynuacją logiki starożytności, skoncentrowanej na myśli i języku naturalnym. Powszechnie używamy tej nazwy, aby odróżnić ją od najnowszej logiki matematycznej.

Logika arystotelesowska

W obrębie logiki filozoficznej tradycja myśli, która wywodzi się z dzieł greckiego filozofa Arystotelesa de Estagira (384-322 pne), uważanego za zachodniego twórcę logiki i jednego z najważniejszych autorów, jest znana jako logika arystotelesowska. światowa tradycja filozoficzna.

Główne prace Arystotelesa dotyczące logiki są zebrane w jego Organ (z greckiego „instrument”), skompilowany przez Andronika z Rodos kilka wieków po napisaniu. W nich rozwija się cały system logiczny, który był niezwykle wpływowy Europa i Bliskiego Wschodu aż do późniejszej Średniowiecze.

Co więcej, w tej pracy Arystoteles postulował podstawowe aksjomaty logiki:

• Zasada niesprzeczności. Zgodnie z którym coś nie może być i nie być w tym samym czasie (A i ¬A nie mogą być jednocześnie prawdziwe).
• Zasada tożsamości. Zgodnie z którym coś jest zawsze identyczne (A jest zawsze równe A).
• Zasada wykluczonej trzeciej. W zależności od tego, czy coś jest lub nie jest prawdą, bez żadnej możliwej gradacji (A lub potem ¬A).

Logika matematyczna

Jest ona znana jako logika matematyczna, zwana również logiką symboliczną, logiką formalną, logiką teoretyczną lub logistyczną, do zastosowania logiczne myślenie do pewnych dziedzin matematyki i nauka.

Oznacza to badanie procesu wnioskowania za pomocą formalnych systemów reprezentacji, takich jak logika zdań, logika modalna lub logika pierwszego rzędu, które umożliwiają „przetłumaczenie” języka naturalnego na język matematyczny w celu opracowania rygorystycznych demonstracji.

Logika matematyczna obejmuje cztery główne obszary, którymi są:

• Teoria modeli. Proponuje to badanie teorii aksjomatycznych i logiki matematycznej za pomocą struktur matematycznych znanych jako grupy, ciała lub wykresy, przypisując w ten sposób treść semantyczną czysto formalnym konstrukcjom logiki.
• Teoria demonstracji. Nazywana również teorią dowodu, proponuje dowody za pomocą obiektów matematycznych i techniki matematyka jako sposób sprawdzania problemów logicznych. Zatem tam, gdzie teoria modeli zajmuje się dawaniem a semantyka (znaczenie) formalnych struktur logiki, Teoria Dowodu zajmuje się raczej ich składnia (jej kolejność).
• Teoria zestawy. Zajmuje się badaniem abstrakcyjnych kolekcji obiektów, rozumianych same w sobie jako obiekty, a także ich podstawowych operacji i wzajemnych relacji. Ta gałąź logiki matematycznej jest jedną z najbardziej podstawowych, jakie istnieją, do tego stopnia, że ​​stanowi podstawowe narzędzie każdej teorii matematycznej.
• Teoria obliczalności. Wspólny obszar między matematyką i przetwarzanie danych lub przetwarzanie danych, bada problemy decyzyjne, do których a algorytm (odpowiednik maszyny Turinga) może sobie poradzić. W tym celu wykorzystuje teorię mnogości, rozumiejąc je jako zbiory obliczalne lub nieobliczalne.

Logika obliczeniowa

Logika obliczeniowa tworzy inteligentne systemy obliczeniowe.

Logika obliczeniowa to ta sama logika matematyczna, ale stosowana w dziedzinie informatyki, to znaczy na różnych podstawowych poziomach obliczeń: obwody obliczeniowe, programowanie logika i algorytmy zarządzania. Częścią jest również sztuczna inteligencja, stosunkowo nowa dziedzina w tej dziedzinie.

Można powiedzieć, że najogólniej mówiąc, logika obliczeniowa dąży do zasilenia systemu komputerowego strukturami logicznymi, które wyrażają w języku matematycznym różne możliwości ludzkiej myśli, tworząc w ten sposób inteligentne systemy komputerowe.

Logika formalna i nieformalna

Często dokonuje się również rozróżnienia między dwoma odrębnymi polami logiki: formalną i nieformalną, w oparciu o ich podejście do języka, w którym wyrażane są wypowiedzi.

• Logika formalna. To ten, który dba o język formalny, czyli o sposób wyrażania jego treści, używając ich ściśle, bez dwuznaczności, w taki sposób, aby drogę dedukcyjną można było analizować na podstawie słuszności jego treści. kształty (stąd jego nazwa).
• Logika nieformalna. Zamiast tego przestudiuj ich argumenty a posteriori, rozróżniając ważne i nieważne formy od podanych informacji, niezależnie od ich formy logicznej lub języka formalnego. Ten wariant pojawił się w połowie XX wieku jako dyscyplina filozofii.