Kultura

4 najważniejsze typy logiki (i funkcje)

4 najważniejsze typy logiki (i funkcje) / Kultura

Logika to badanie 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 jak do nich dochodzimy.

W tym celu niezbędny był rozwój różnych systemów i form studiów, które doprowadziły do ​​czterech głównych rodzajów logiki. Zobaczymy poniżej, o co chodzi w każdym z nich.

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

Czym jest logika?

Słowo „logika” pochodzi z greckiego „logo”, 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 to badanie zasad i rozumowania.

Celem tego badania jest zrozumienie różnych kryteriów wnioskowania i sposobu, w jaki dochodzimy do ważnych demonstracji, w przeciwieństwie do nieważnych demonstracji. Zatem podstawowe pytanie o logikę brzmi: jakie jest właściwe myślenie i jak możemy odróżnić ważny argument od błędu??

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

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

  • Spójność (nie ma sprzeczności między twierdzeniami tworzącymi system)
  • Siła (systemy testowe nie zawierają fałszywych wniosków)
  • Kompletne (wszystkie prawdziwe zdania muszą być możliwe do udowodnienia)

4 rodzaje logiki

Jak widzieliśmy, logika używa różnych narzędzi, aby zrozumieć rozumowanie, którego używamy, aby coś usprawiedliwić. Tradycyjnie rozpoznawane są cztery główne typy logiki, z których każda ma pewne podtypy i specyfikę. Zobaczymy poniżej, o co chodzi.

1. Formalna logika

Znana również jako tradycyjna logika lub logika filozoficzna, chodzi o badanie wniosków z treścią czysto formalną i wyraźną. Chodzi o analizę formalnych stwierdzeń (logicznych lub matematycznych), których znaczenie nie jest wewnętrzne, ale ich symbole mają sens dzięki użytecznej aplikacji, która jest podana. Tradycja filozoficzna, z której ta ostatnia się wywodzi, nazywana jest 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 pomieszczeń. Mogą to być aksjomaty (twierdzenia oczywiste) lub twierdzenia (wnioski ustalonego zbioru reguł wnioskowania i aksjomatów).

2. Nieformalna logika

Ze swej strony nieformalna logika jest nowszą dyscypliną, która badać, oceniać i analizować argumenty wyświetlane w języku naturalnym lub codziennym. Dlatego otrzymuje kategorię „nieformalny”. Może to być język mówiony lub pisany lub dowolny rodzaj mechanizmu i interakcji używany do komunikowania się. W przeciwieństwie do logiki formalnej, która na przykład miałaby zastosowanie do badania 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 być analizowana od osobistego rozumowania i argumentów po debaty polityczne, argumenty prawne lub przesłanki rozpowszechniane przez media takie jak gazety, telewizja, internet itp..

3. Logika symboliczna

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

  • Logika predykcyjna lub pierwsze zamówienie: jest to system formalny składający się ze wzorów i zmiennych wymiernych
  • Propozycyjny: jest to formalny system złożony z zdań, które są w stanie tworzyć inne propozycje poprzez złącza zwane „łącznikiem logicznym”. W tym prawie nie ma zmiennych ilościowych.

4. Logika matematyczna

W zależności od autora, który to opisuje, logikę matematyczną można uznać za rodzaj logiki formalnej. Inni uważają, że logika matematyczna obejmuje zarówno stosowanie logiki formalnej do matematyki, jak i stosowanie 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 jest to bardzo obecne w rozwoju sztucznej inteligencji iw paradygmatach obliczeniowych badania poznania.

Zwykle dzieli się na dwa podtypy:

  • Logika: dotyczy zastosowania logiki w matematyce. Przykładami tego typu są teoria testu, teoria modeli, teoria zbiorów i teoria rekurencji.
  • Intuicjonizm: argumentuje, że zarówno logika, jak i matematyka są metodami, których zastosowanie jest spójne do wykonywania złożonych konstrukcji umysłowych. Mówi jednak, że logika i matematyka same w sobie nie mogą wyjaśnić głębokich właściwości analizowanych elementów.

Indukcyjne, dedukcyjne i modalne rozumowanie

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 wyciąganie z ogólnej przesłanki do określonej przesłanki. Klasycznym przykładem jest ten zaproponowany przez Arystotelesa: Wszyscy ludzie są śmiertelni (to jest ogólne założenie); Sokrates jest człowiekiem (jest to główne założenie), a na koniec Sokrates jest śmiertelny (to jest wniosek).

Z drugiej strony, rozumowanie indukcyjne jest procesem, za pomocą którego wyciąga się wniosek w przeciwnym kierunku: od konkretnego do ogólnego. Przykładem może być „Wszystkie wrony, które widzę, są czarne” (szczególna przesłanka); wtedy wszystkie wrony są czarne (wniosek).

Wreszcie, rozumowanie lub logika modalna opierają 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”, „powinien”, „ewentualnie”.

Odnośniki bibliograficzne:

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