6 głównych typów logicznych

Jest ich kilka rodzaje logiki i wszystkie koncentrują swój przedmiot badań na zrozumieniu rozumowania i określeniu, 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 namacalna aplikacja w różnych dziedzinach.

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

Chociaż logika opiera się na badaniu twierdzeń, nie koncentruje się ona 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 informatyka.

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 braku 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 tego 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. Poprzez ten typ logiki można wnioskować z pojęć lub teorii, które już istnieją.

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 rybę, a inny lubi to, a drugi także, wtedy 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 potwierdza logiczne argumenty, 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 twierdzeń klasycznej logiki.

Ustanawia inne formy analizy, które mogą obejmować więcej aspektów niż możliwe jest objęcie 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 są komplementarne, i pozwalają logicznemu badaniu określonego stwierdzenia być bardziej dokładnym i dostosowanym do użyteczności w życiu codziennym.

Symboliczny

Logika symboliczna nazywana jest również 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.

Modalny

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 jest kwestią rozważenia scenariusza, w którym istnieje możliwość, a z logicznego punktu widzenia zwykle rozważa się wszystkie możliwości, które mogą istnieć.

Obliczeniowe

Logika obliczeniowa jest rodzajem logiki wywodzącej się z logiki symbolicznej lub matematycznej, tylko 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..

Referencje

1. „Logika” w Encyklopedii Britannica. Pobrane 4 sierpnia 2017 r. Z Encyclopedia Britannica: britannica.com
2. „Formalna logika” w Encyclopedia Britannica. Pobrane 4 sierpnia 2017 r. Z Encyclopedia Britannica: britannica.com
3. Hernández, F. „Logika obliczeniowa” w National Autonomous University of Mexico. Źródło: 4 sierpnia 2017 r. Z Narodowego Autonomicznego Uniwersytetu Meksyku: unam.mx
4. Muñoz, C. „Logika nieklasyczna” na Uniwersytecie Complutense w Madrycie. Pobrane 4 sierpnia 2017 r. Z Universidad Complutense de Madrid: ucm.es
5. Julia, J. „Co to jest logika symboliczna?” W eHow en Español. Pobrane 4 sierpnia 2017 r. Z eHow en Español: ehowenespanol.com
6. Oller, C. „Formalna logika i argumentacja” (2006) w National University of La Plata. Źródło: 4 sierpnia 2017 z National University of La Plata: rfytp.fahce.unlp.edu.ar
7. „Wnioski dedukcyjne i indukcyjne” w Junta de Extremadura. Źródło: 4 sierpnia 2017 r. W Junta de Extremadura: educarex.es.