4 najważniejsze rodzaje logiki (i funkcje)

Marzec 30, 2024

Logika jest nauką rozumowania i wnioskowania , Jest to zestaw pytań i analiz, które pozwoliły nam zrozumieć, jak ważne argumenty różnią się od błędów i sposobu, w jaki do nich dochodzimy.

W tym celu niezbędne było opracowanie różnych systemów i form studiów, które doprowadziły do czterech głównych rodzajów logiki. Zobaczymy poniżej, o czym jest każdy z nich.

Zalecany artykuł: ["10 rodzajów logicznych i argumentacyjnych błędów"] (10 rodzajów logicznych i argumentacyjnych błędów)

Czym jest logika?

Słowo "logika" pochodzi od greckiego "logosu", które można przetłumaczyć na różne sposoby: słowo, myśl, argument, zasada lub rozum są jednymi z głównych. W tym sensie logika jest nauką o zasadach i rozumowaniu.

Celem tego studium jest zrozumienie różnych kryteriów wnioskowania i sposobu, w jaki dochodzimy do prawdziwych demonstracji, w przeciwieństwie do nieprawidłowych demonstracji. Tak więc podstawową kwestią logiki jest prawidłowe myślenie i jak możemy odróżnić słuszną argumentację od błędu?

Aby odpowiedzieć na to pytanie, logika proponuje różne sposoby klasyfikowania stwierdzeń i argumentów, niezależnie od tego, czy występują one w systemie formalnym, czy w języku naturalnym. W szczególności analizuje twierdzenia (zdania deklaratywne), które mogą być prawdziwe lub fałszywe, a także błędy, paradoksy, argumenty, które obejmują przyczynowość i, ogólnie, teorię argumentacji.

Ogólnie mówiąc, aby uznać system za logiczny, muszą spełniać trzy kryteria:

Spójność (nie ma sprzeczności między twierdzeniami tworzącymi system)
Solidność (systemy testowe nie zawierają fałszywych wniosków)
Completud (wszystkie prawdziwe zdania muszą być udowodnione)

4 rodzaje logiki

Jak widzieliśmy, logika używa różnych narzędzi do zrozumienia rozumowania, którego używamy, aby coś usprawiedliwić. Tradycyjnie rozpoznawane są cztery główne typy logiki, każda z pewnymi podtypami i specyficznymi cechami. Zobaczymy poniżej, o czym jest każdy.

1. Formalna logika

Znany również jako tradycyjna logika lub logika filozoficzna, chodzi o badanie wniosków z czysto formalnej i jawnej treści , Chodzi o analizę sformułowań formalnych (logicznych lub matematycznych), których znaczenie nie jest wewnętrzne, ale jego symbole mają znaczenie ze względu na użyteczne zastosowanie. Tradycja filozoficzna, z której wywodzi się ta druga, nazywa się właśnie "formalizmem".

Z kolei system formalny to taki, który służy do wyciągania wniosków z jednego lub więcej przesłanek. Te ostatnie mogą być aksjomatami (oczywistymi twierdzeniami) lub twierdzeniami (wnioski ustalonego zestawu reguł wnioskowania i aksjomatów).

2. Nieformalna logika

Ze swej strony nieformalna logika jest nowszą dyscypliną, która analizować, oceniać i analizować argumenty wyświetlane w języku naturalnym lub codziennym , W związku z tym otrzymuje kategorię "nieformalne". Może to być język mówiony lub pisany, lub dowolny mechanizm i interakcja używane do komunikacji. W przeciwieństwie do formalnej logiki, która na przykład dotyczyłaby nauki i rozwoju języków komputerowych; język formalny odnosi się do języków i języków.

Tak więc nieformalna logika może analizować z osobistego rozumowania i argumentów do debat politycznych, argumentów prawnych lub przesłanek rozpowszechnianych przez media, takich jak gazety, telewizja, Internet i tak dalej.

3. Logika symboliczna

Jak sama nazwa wskazuje, logika symboliczna analizuje związki między symbolami. Czasami używa złożonego języka matematycznego, ponieważ odpowiada za badanie problemów, z którymi tradycyjna logika formalna jest skomplikowana lub trudna do rozwiązania. Zwykle dzieli się go na dwa podtypy:

Logika orzecznicza lub pierwsze zamówienie : jest formalnym systemem złożonym z formuł i zmiennych kwantyfikowalnych
Propozycyjny : jest formalnym systemem złożonym z twierdzeń, które są w stanie tworzyć inne zdania za pomocą łączników zwanych "logicznymi łącznikami". W tym prawie nie ma zmiennych kwantyfikowalnych.

4. Logika matematyczna

W zależności od autora, który je opisuje, logikę matematyczną można uznać za rodzaj logiki formalnej. Inni uważają, że logika matematyczna obejmuje zarówno zastosowanie logiki formalnej do matematyki, jak i zastosowanie rozumowania matematycznego do logiki formalnej.

Mówiąc ogólnie, zastosowanie języka matematycznego w konstrukcji systemów logicznych umożliwia odtworzenie ludzkiego umysłu. Na przykład było to bardzo obecne w rozwoju sztucznej inteligencji oraz w obliczeniowych paradygmatach badań nad poznaniem.

Zwykle dzieli się go na dwa podtypy:

Logika : chodzi o zastosowanie logiki w matematyce. Przykładami tego typu są teoria dowodu, teoria modelu, teoria mnogości i teoria rekursji.
Intuicja : argumentuje, że zarówno logika, jak i matematyka są metodami, których zastosowanie jest spójne przy wykonywaniu złożonych konstrukcji mentalnych. Mówi jednak, że logika i matematyka same w sobie nie potrafią wyjaśnić głębokich właściwości analizowanych elementów.

Wnioskowanie indukcyjne, dedukcyjne i modalne

Z drugiej strony Istnieją trzy rodzaje rozumowania, które można również uznać za systemy logiczne , Są to mechanizmy, które pozwalają nam wyciągać wnioski z przesłanek. Rozumowanie dedukcyjne sprawia, że takie wydobycie z przesłanki ogólnej do określonej przesłanki. Klasycznym przykładem jest propozycja Arystotelesa: Wszyscy ludzie są śmiertelni (to ogólne założenie); Sokrates jest człowiekiem (jest to główne przesłanie), a na koniec Sokrates jest śmiertelny (taki jest wniosek).

Ze swej strony rozumowanie indukcyjne jest procesem, w którym wyciąga się wniosek w przeciwnym kierunku: od konkretnego do ogólnego. Przykładem tego może być "Wszystkie wrony, które widzę są czarne" (szczególne założenie); następnie wszystkie wrony są czarne (zakończenie).

Wreszcie logika rozumowania lub modalna opiera się na argumentach probabilistycznych, to znaczy wyrażają one możliwość (modalność). Jest to formalny system logiczny zawierający takie terminy, jak "może", "może", "powinien", "ostatecznie".

Bibliografia:

Groarke, L. (2017). Nieformalna logika. Encyklopedia filozofii Stanforda. Źródło: 2 października 2018 r. Dostępny pod adresem //plato.stanford.edu/entries/logic-informal/
Logika (2018). Podstawy filozofii. Źródło: 2 października 2018 r. Dostępny pod adresem //www.philosophybasics.com/branch_logic.html
Shapiro, S. i Kouri, S. (2018). Klasyczna logika. Źródło: 2 października 2018. Dostępne w Logic (2018). Podstawy filozofii. Źródło: 2 października 2018 r. Dostępny pod adresem //www.philosophybasics.com/branch_logic.html
Garson, J. (2018). Logika modalna. Encyklopedia filozofii Stanforda. Źródło: 2 października 2018 r. Dostępny pod adresem //plato.stanford.edu/entries/logic-modal/