6 głównych typów logicznych

Istnieje kilka rodzajów logiki i wszystkie koncentrują swój przedmiot badania na zrozumieniu rozumowania i identyfikacji, kiedy są poprawne lub niepoprawne.

Studium logiki ewoluowało od czasów greckiego filozofa Arystotelesa do współczesności i zostało to dostosowane z zamiarem bycia bardziej szczegółowym, a jednocześnie bardziej dostosowanym do codziennego życia człowieka, co pozwala mu na bardziej wymierne zastosowanie w różnych obszarach.

Logika poszukuje systematycznego badania argumentów i twierdzeń, a różne typy logiki pozwalają badać zarówno formalną strukturę tych wypowiedzi, jak i to, co ma związek z treścią i mocą wspomnianych treści.

Chociaż logika opiera się na badaniu twierdzeń, nie koncentruje się wyraźnie na języku naturalnym (znanym nam języku), ale jego użyteczność dotarła do różnych obszarów i różnych struktur, takich jak matematyka i obliczenia.

Najbardziej odpowiednie typy logiki

Formalne

Logika formalna, znana również jako logika klasyczna lub logika arystotelesowska, polega na badaniu zdań, argumentów, stwierdzeń lub zdań z strukturalnego punktu widzenia.

Jest to metoda konstruowania myśli i określania poprawnych lub niepoprawnych form określonego podejścia.

Logika formalna nie koncentruje się na prawdzie lub fałszu treści konkretnego argumentu, ale skupia się na ważności lub innej konstrukcji jego formy.

Oznacza to, że przedmiot badania logiki formalnej nie jest empiryczny, dla logika nie ma znaczenia, czy przedstawiony argument jest prawdziwy i udowodniony; ale jego badanie koncentruje się wyraźnie na strukturze argumentu.

W ramach logiki formalnej istnieją dwie bardzo ważne klasyfikacje: logika dedukcyjna i logika indukcyjna.

Logika dedukcyjna odnosi się do tych konkretnych stwierdzeń, które są generowane z pojęć ogólnych. Dzięki takiej logice można wyciągać wnioski z już istniejących pojęć lub teorii.

Na przykład w logice dedukcyjnej można powiedzieć, że jeśli ludzie mają nogi, a Klara jest istotą ludzką, to Clara ma nogi.

W przypadku logiki indukcyjnej konstruowanie argumentów odbywa się w odwrotny sposób; to znaczy ogólne pojęcia są tworzone z konkretnych argumentów.

Na przykład w logice indukcyjnej można powiedzieć, że jeśli jeden kot lubi ryby, inny lubi to, a drugi także, a wszystkie koty lubią ryby.

Nieformalne

Nieformalna logika to dziedzina nauki, która koncentruje się na języku i przesłaniu, które emanuje z semantycznych konstrukcji i argumentów.

Logika ta różni się od logiki formalnej, ponieważ logika formalna bada struktury zdań i zdań; a nieformalna logika skupia się na tle przekazywanej wiadomości.

Jego przedmiotem badań jest sposób argumentowania w celu uzyskania pożądanego rezultatu. Nieformalna logika nadaje ważność logicznym argumentom, które są bardziej spójne między innymi, które mają słabszą strukturę argumentacyjną.

Nie klasyczny

Nieklasyczna logika lub nowoczesna logika wywodzi się z XIX wieku i powstaje w opozycji do wymowy logiki klasycznej.

Ustanawia inne formy analizy, które mogą obejmować więcej aspektów niż mogą być objęte klasycznym podejściem logiki.

W ten sposób zawarte są elementy matematyczne i symboliczne, nowe stwierdzenia lub twierdzenia, które nadrobiły braki systemu logiki formalnej.

W logice nieklasycznej istnieją różne podtypy logiki, takie jak między innymi modalne, matematyczne, trójwartościowe.

Wszystkie te typy logiki różnią się w pewnym stopniu od logiki formalnej lub zawierają nowe elementy, które się uzupełniają, i pozwalają, aby logiczne badanie określonego stwierdzenia było bardziej dokładne i dostosowane do użyteczności w życiu codziennym.

Symboliczny

Logika symboliczna jest również nazywana logiką pierwszego rzędu lub logiką matematyczną i charakteryzuje się użyciem symboli, które tworzą nowy język, za pomocą którego można „tłumaczyć” argumenty.

Intencją logiki symbolicznej jest przekształcenie abstrakcyjnych myśli w bardziej formalne struktury.

W rzeczywistości nie używa języka naturalnego (języka), ale używa języka technicznego, który konwertuje zdania na elementy podatne na stosowanie bardziej dokładnych reguł niż te, które można zastosować w języku naturalnym.

Następnie logika symboliczna pozwala traktować zdania za pomocą praw obliczeniowych, aby uniknąć nieporozumień lub nieścisłości.

Ma na celu włączenie elementów matematycznych do analizy struktur logiki formalnej. W polu matematycznym logika jest używana do udowodnienia twierdzeń.

Krótko mówiąc, logika symboliczna lub matematyczna stara się wyrazić ludzką myśl za pomocą języka matematycznego.

To matematyczne zastosowanie logiki pozwala na dokładniejsze argumenty i konstrukcje.

Modal

Logika modalna koncentruje się na badaniu argumentów, ale dodaje elementy związane z możliwością, że dane stwierdzenie jest prawdziwe lub fałszywe.

Logika modalna udaje, że jest bardziej zgodna z ludzką myślą, dlatego obejmuje użycie takich konstrukcji, jak „może”, „być może”, „czasami”, „być może”, „prawdopodobnie”, „jest prawdopodobne”, „być może” „Między innymi.

W logice modalnej chodzi o rozważenie scenariusza, w którym istnieje możliwość, i z logicznego punktu widzenia, rozważa się wszystkie możliwe możliwości.

Obliczeniowe

Logika obliczeniowa jest rodzajem logiki wywodzącej się z logiki symbolicznej lub matematycznej, tyle że jest stosowana w dziedzinie informatyki.

Programy komputerowe używają języka programowania do ich rozwoju, a dzięki logice można pracować na tych systemach językowych, przypisywać określone zadania i wykonywać działania weryfikacyjne.