4 najważniejsze typy logiki (i cechy)

Logika to nauka o rozumowaniu i wnioskowaniach. Jest to zestaw pytań i analiz, które pozwoliły zrozumieć, jak ważne argumenty różnią się od błędnych i jak do nich dochodzimy.

W tym celu niezbędny był rozwój różnych systemów i form badań, które zaowocowały czterema głównymi typami logiki. Zobaczymy poniżej, o co chodzi w każdym z nich.

• Polecany artykuł: „10 rodzajów błędów logicznych i argumentacyjnych”

Czym jest logika?

Słowo „logika” pochodzi od greckiego „logos”, które można tłumaczyć na różne sposoby: słowo, myśl, argument, zasada lub rozum to tylko niektóre z głównych. W tym sensie logika to nauka o zasadach i rozumowaniu.

Niniejsze badanie ma na celu zrozumienie różnych kryteriów wnioskowania i sposobu, w jaki dochodzimy do ważnych dowodów, w przeciwieństwie do dowodów nieważnych. Zatem podstawowym pytaniem logiki jest to, czym jest poprawne myślenie i jak możemy odróżnić słuszny argument od błędu?

Aby odpowiedzieć na to pytanie, logika proponuje różne sposoby klasyfikowania twierdzeń i argumentów, niezależnie od tego, czy występują w systemach formalnych, czy w języku naturalnym. W szczególności analizuje zdania (zdania deklaratywne), które mogą być prawdziwe lub fałszywe, a także błędy, paradoksy, argumenty z udziałem przyczynowości i ogólnie teoria argumentacja.

Ogólnie rzecz biorąc, aby system można było uznać za logiczny, muszą spełniać trzy kryteria:

• Konsystencja (nie ma sprzeczności między twierdzeniami składającymi się na system)
• Solidność (systemy testowe nie zawierają fałszywych wniosków)
• Kompletność (wszystkie prawdziwe zdania muszą być testowalne)

4 rodzaje logiki

Jak widzieliśmy, logika używa różnych narzędzi, aby zrozumieć rozumowanie, którego używamy do uzasadnienia czegoś. Tradycyjnie rozróżnia się cztery główne typy logiki, każdy z pewnymi podtypami i specyfiką. Zobaczymy poniżej, o co chodzi w każdym z nich.

1. Logika formalna

Znany również jako tradycyjna logika lub logika filozoficzna, jest to badanie wnioskowań o treści czysto formalnej i wyraźnej. Chodzi o analizę twierdzeń formalnych (logicznych lub matematycznych), których znaczenie nie jest samoistne, ale ich symbole mają sens ze względu na użyteczne zastosowanie, jakie są im dane. Tradycja filozoficzna, z której wywodzi się ta ostatnia, nazywa się właśnie „formalizmem”.

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

Wnioski, do których doszliśmy dzięki logice formalnej, jeśli opierają się na słusznych przesłankach i nie ma błędów w operacjach logicznych, są same w sobie prawdziwe. W rzeczywistości prowadzi to do otwartej debaty o tym, czy logika formalna należy do świata nauki. lub należą do innej dziedziny wiedzy, ponieważ nie opisują rzeczywistości, a raczej własne zasady funkcjonowanie.

2. Logika nieformalna

Ze swojej strony nieformalna logika jest nowszą dyscypliną, która: bada, ocenia i analizuje argumenty używane w języku naturalnym lub potocznym. Stąd otrzymuje kategorię „nieformalne”. Może to być zarówno język mówiony, jak i pisany, lub dowolny rodzaj mechanizmu i interakcji używanej do komunikowania się czegoś. W przeciwieństwie do logiki formalnej, która miałaby zastosowanie na przykład do nauki i rozwoju języków komputerowych; język formalny odnosi się do języków i języków.

W ten sposób nieformalna logika może analizować wszystko, od osobistego rozumowania i argumentów po debaty polityczne, argumenty prawne lub przesłanki rozpowszechniane przez media takie jak gazeta, telewizja, internet, itp.

3. Logika symboliczna

Jak sama nazwa wskazuje, logika symboliczna analizuje relacje między symbolami. Czasami używa złożonego języka matematycznego, ponieważ zajmuje się badaniem problemów, które tradycyjna logika formalna uważa za skomplikowane lub trudne do rozwiązania. Zwykle dzieli się na dwa podtypy:

• Predykat lub logika pierwszego rzędu: jest to formalny system złożony z formuł i zmiennych kwantyfikowalnych
• Propozycja: jest to formalny system złożony ze zdań, które są zdolne do tworzenia innych zdań poprzez łączniki zwane „spójnikami logicznymi”. W tym prawie nie ma wymiernych zmiennych.

4. Logika matematyczna

W zależności od autora, który ją 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 najogólniej, chodzi o zastosowanie języka matematycznego do budowy systemów logicznych, które umożliwiają odtworzenie ludzkiego umysłu. Na przykład było to bardzo obecne w rozwoju sztucznej inteligencji i paradygmatach obliczeniowych badania poznania.

Zwykle dzieli się na dwa podtypy:

• Logizm: chodzi o zastosowanie logiki w matematyce. Przykładami tego typu są teoria dowodu, teoria modeli, teoria mnogości i teoria rekurencji.
• Intuicjonizm: utrzymuje, że zarówno logika, jak i matematyka są metodami, których zastosowanie jest spójne do przeprowadzania złożonych konstrukcji umysłowych. Twierdzi jednak, że logika i matematyka same w sobie nie potrafią wyjaśnić głębokich właściwości analizowanych elementów.

Rozumowanie indukcyjne, dedukcyjne i modalne

Z drugiej strony, istnieją trzy rodzaje rozumowania, które również można uznać za systemy logiczne. To mechanizmy, które pozwalają nam wyciągać wnioski z przesłanek. Rozumowanie dedukcyjne sprawia, że ​​ekstrakcja od ogólnej przesłanki do konkretnej przesłanki. Klasycznym przykładem jest ten zaproponowany przez Arystotelesa: wszyscy ludzie są śmiertelni (jest to ogólna przesłanka); Sokrates jest człowiekiem (jest to główna przesłanka), a wreszcie Sokrates jest śmiertelny (to jest wniosek).

Z kolei rozumowanie indukcyjne jest procesem, w którym wyciąga się wniosek w przeciwnym kierunku: od szczegółu do ogółu. Przykładem może być „Wszystkie wrony, które widzę, są czarne” (szczególna przesłanka); więc wszystkie wrony są czarne (wniosek).

Wreszcie rozumowanie lub logika modalna opiera się na argumentach probabilistycznych, to znaczy wyrażają możliwość (modalność). Jest to formalny system logiczny, który zawiera terminy takie jak „może”, „może”, „musi”, „ewentualnie”.

Odniesienia bibliograficzne:

• Groarke, L. (2017). Logika nieformalna. Encyklopedia Filozofii Stanforda. Źródło 2 października 2018. Dostępne w https://plato.stanford.edu/entries/logic-informal/
• Logika (2018). Podstawy filozofii. Źródło 2 października 2018. Dostępne w https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Porwanie, rozum i nauka: procesy odkrywania i wyjaśniania. Nowy Jork: Wydawnictwo Plenum Akademickie Kluwer.
• McGinn, C. (2000). Właściwości logiczne: tożsamość, istnienie, orzekanie, konieczność, prawda. Oxford: Clarendon Press.
• Quine, W.V.O. (1986) (1970). Filozofia logiki. Cambridge, MA.: Harvard University Press.
• Shapiro, S. i Kouri, S. (2018). Klasyczna logika. Źródło 2 października 2018. Dostępne w logice (2018). Podstawy filozofii. Źródło 2 października 2018. Dostępne w https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Logika modalna. Encyklopedia Filozofii Stanforda. Źródło 2 października 2018. Dostępne w https://plato.stanford.edu/entries/logic-modal/