- Najważniejsze typy logiki
- Logika formalna
- Nieformalna logika
- Logika nieklasyczna
- Logika symboliczna
- Logika modalna
- Logika obliczeniowa
- Bibliografia
Istnieje kilka rodzajów logiki i wszystkie skupiają się na zrozumieniu rozumowania i określeniu, kiedy są poprawne lub niepoprawne. Studium logiki ewoluowało od czasów greckiego filozofa Arystotelesa do dnia dzisiejszego.
Etyka dostosowuje się z zamiarem bycia bardziej konkretnym, a jednocześnie bardziej dostosowanym do codziennego życia człowieka, co pozwala na bardziej namacalne zastosowanie w różnych obszarach.

Arystoteles, uznany za ojca logiki.
Logika poszukuje systematycznego badania argumentów i twierdzeń, a różne typy logiki pozwalają badać zarówno czysto formalną strukturę tych twierdzeń, jak i to, co ma wspólnego z treścią i siłą tej treści.
Chociaż logika opiera się na badaniu twierdzeń, nie koncentruje się wyraźnie na języku naturalnym (języku, jaki znamy), ale jej użyteczność dotarła do różnych obszarów i przy różnych strukturach, takich jak matematyka i przetwarzanie danych.
Najważniejsze typy logiki
Logika formalna
Logika formalna, zwana również logiką klasyczną lub logiką arystotelesowską, jest badaniem zdań, argumentów, twierdzeń lub zdań ze strukturalnego punktu widzenia. Jest to metoda strukturyzowania myśli i określenia prawidłowych lub nieprawidłowych form określonego podejścia.
Logika formalna nie koncentruje się na prawdziwości lub fałszywości treści konkretnego argumentu, ale raczej koncentruje się na słuszności lub nie konstrukcji jego formy.
Oznacza to, że przedmiot badań logiki formalnej nie jest przedmiotem badań empirycznych, dla logika nie jest istotne ustalenie, czy przedstawiony argument jest prawdziwy i udowodniony; Jego badanie koncentruje się raczej na strukturze wspomnianego 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. Za pomocą tego rodzaju logiki można wyciągać wnioski na podstawie już istniejących koncepcji lub teorii.
Na przykład w ramach logiki dedukcyjnej można powiedzieć, że jeśli ludzie mają nogi, a Clara jest człowiekiem, to Clara ma nogi.
W przypadku logiki indukcyjnej konstrukcja argumentów przebiega odwrotnie; to znaczy, ogólne pojęcia są tworzone z określonych argumentów.
Na przykład w ramach logiki indukcyjnej można by powiedzieć, że jeśli jeden kot lubi ryby, a inny też to lubi, a inny też, to wszystkie koty lubią ryby.
Nieformalna logika
Logika nieformalna to dziedzina nauki, która koncentruje się na języku i przesłaniu, które emanuje z konstrukcji semantycznych i argumentów.
Ta logika różni się od logiki formalnej tym, że logika formalna bada struktury zdań i zdań; a logika nieformalna koncentruje się na istocie przekazywanego komunikatu.
Przedmiotem badań jest sposób argumentowania w celu uzyskania pożądanego rezultatu. Logika nieformalna nadaje ważność argumentom logicznym, które są bardziej spójne, między innymi, które mają słabszą strukturę argumentacyjną.
Logika nieklasyczna
Logika nieklasyczna, czyli logika nowoczesna, wywodzi się z XIX wieku i pojawia się w opozycji do twierdzeń logiki klasycznej. Ustanawia inne formy analizy, które mogą obejmować więcej aspektów niż te, które można objąć klasycznym podejściem do logiki.
W ten sposób włączane są elementy matematyczne i symboliczne, nowe stwierdzenia lub twierdzenia, które nadeszły, aby nadrobić wady formalnego systemu logicznego.
W ramach logiki nieklasycznej istnieją różne podtypy logiki, takie jak między innymi modalna, matematyczna, trójwartościowa.
Wszystkie te typy logiki różnią się w pewnym stopniu od logiki formalnej lub zawierają nowe elementy, które są komplementarne i pozwalają na bardziej dokładne i przystosowanie logicznego badania konkretnego stwierdzenia do użyteczności w życiu codziennym.
Logika symboliczna
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 argumenty są „tłumaczone”.
Intencją logiki symbolicznej jest przekształcenie abstrakcyjnych myśli w bardziej formalne struktury. W rzeczywistości nie używa języka naturalnego (idiomu), ale używa języka technicznego, który zamienia zdania w elementy podatne na zastosowanie dokładniejszych reguł niż można zastosować w języku naturalnym.
Tak więc logika symboliczna umożliwia traktowanie zdań za pomocą praw rachunku różniczkowego, aby uniknąć nieporozumień lub nieścisłości.
Stara się włączyć elementy matematyczne do analizy struktur logiki formalnej. W dziedzinie matematyki logika służy do dowodzenia 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.
Logika modalna
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 stara się być bardziej zestrojona z ludzką myślą, dlatego obejmuje użycie konstrukcji takich jak „mógłby”, „prawdopodobnie”, „czasami”, „być może”, „prawdopodobnie”, „jest prawdopodobne”, „może ", między innymi.
W logice modalnej chodzi o rozważenie scenariusza, w którym istnieje możliwość, i ma na celu rozważenie wszystkich możliwości, które mogą istnieć, z logicznego punktu widzenia.
Logika obliczeniowa
Logika obliczeniowa jest rodzajem logiki wywodzącej się z logiki symbolicznej lub matematycznej, tylko że jest stosowana w obszarze informatyki.
Programy komputerowe wykorzystują język programowania do swojego rozwoju i dzięki logice można na tych systemach językowych pracować, przydzielać określone zadania i przeprowadzać działania weryfikacyjne.
Bibliografia
- „Logika” w Encyklopedii Britannica. Pobrane 4 sierpnia 2017 r. Z Encyclopedia Britannica: britannica.com
- „Logika formalna” w Encyklopedii Britannica. Pobrane 4 sierpnia 2017 r. Z Encyclopedia Britannica: britannica.com
- Hernández, F. „Logika obliczeniowa” na Narodowym Autonomicznym Uniwersytecie Meksyku. Pobrane 4 sierpnia 2017 r. Z National Autonomous University of Mexico: unam.mx
- Muñoz, C. „Non-Classic Logic” na Uniwersytecie Complutense w Madrycie. Pobrane 4 sierpnia 2017 r. Z Uniwersytetu Complutense w Madrycie: ucm.es
- Julia J. "Co to jest logika symboliczna?" w eHow w języku hiszpańskim. Pobrane 4 sierpnia 2017 z eHow w języku hiszpańskim: ehowenespanol.com
- Oller, C. „Logika formalna i argumentacja” (2006) na National University of La Plata. Pobrane 4 sierpnia 2017 r. Z National University of La Plata: rfytp.fahce.unlp.edu.ar
- „Wnioskowanie dedukcyjne i indukcyjne” w Junta de Extremadura. Pobrane 4 sierpnia 2017 r. W Junta de Extremadura: Educarex.es.
