6 rodzajów logiki i ich znaczenie

Istnieje kilka Rodzaje logiki i wszyscy koncentrują swój cel studiowania na zrozumieniu rozumowania i identyfikacji, kiedy są poprawni lub nieprawidłowe. Badanie logiki ewoluowało od czasów greckiego filozofa Arystotelesa.

Etyka została dostosowana do zamiaru bycia bardziej szczegółowym, a jednocześnie bardziej przystosowanym do codziennego życia człowieka, co pozwala na bardziej namacalne zastosowanie w różnych obszarach.

Arystoteles, uznany za ojca logiki.

Logika poszukuje systematycznych badań argumentów i propozycji, a różne rodzaje logiki pozwalają jej być możliwe badanie zarówno formalnej struktury tych stwierdzeń, jak i tego, co ma wspólnego z treścią, jak i siłą wspomnianej treści.

Chociaż logika opiera się na badaniu stwierdzeń, nie koncentruje się wyraźnie na języku naturalnym (języku, jaką znamy), ale jej przydatność osiągnęła różnorodne obszary i różne struktury, takie jak matematyka i przetwarzanie.

Najbardziej odpowiednie rodzaje logiki

Logika formalna

Formalna logika, znana również jako klasyczna lub logiczna logika arystotelesowska, jest badaniem propozycji, argumentów, stwierdzeń lub zdań z strukturalnego punktu widzenia. Jest to metoda struktury myślenia i określenia prawidłowych lub niepoprawnych sposobów określonego podejścia.

Formalna logika nie koncentruje się na prawdziwości ani fałszu treści konkretnego argumentu, ale koncentruje się na ważności lub nie budowie jej formy.

Oznacza to, że przedmiot studiowania logiki formalnej nie jest empiryczny, ponieważ logika nie ma istotnego ustalenia, czy przedstawiony argument jest rzeczywisty i sprawdzony; Ale twoje badanie wyraźnie koncentruje się na strukturze wspomnianego argumentu.

Może ci służyć: Empedocles

W logice 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 ogólnych pojęć. Dzięki tego rodzaju logice mogą stać się wnioskowania z koncepcji lub teorii, które już istnieją.

Na przykład w obrębie logiki dedukcyjnej można powiedzieć, że jeśli ludzie mają nogi i jasne, jest istotą ludzką, to jasne ma nogi.

W przypadku logiki indukcyjnej budowa argumentów występuje przeciwnie; Oznacza to, że ogólne pojęcia powstają na podstawie konkretnych argumentów.

Na przykład w obrębie logiki indukcyjnej można powiedzieć, że jeśli kot lubi rybę, a inny też lubi, a także inne, wszystkie koty takie jak ryby.

Nieformalna logika

Nieformalna logika to gałąź studiów, która koncentruje się na języku i przesłaniu emanującej z konstrukcji i argumentów semantycznych.

Ta logika różni się od logiki formalnej, w tej formalnej logice struktury modlitw i propozycji; A nieformalna logika koncentruje się na dolnej części przesłanego wiadomości.

Jego celem studiów jest sposób na argumentowanie o uzyskanie pożądanego wyniku. Nieformalna logika daje ważność logicznym argumentom, które są bardziej spójne między innymi, które mają słabszą strukturę argumentacyjną.

Logika nieklasyczna

Logika nieklasyczna lub nowoczesna logika pochodzi z XIX wieku i powstaje w przeciwieństwie do stwierdzeń logiki klasycznej. Ustanawia inne formy analizy, które mogą obejmować więcej aspektów, które można objąć za pomocą klasycznego podejścia logicznego.

Może ci służyć: temat moralny

W ten sposób uwzględniono elementy matematyczne i symboliczne, nowe stwierdzenia lub twierdzenia, które dostarczały braki formalnego systemu logicznego.

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

Wszystkie te typy logiki różnią się w pewnym stopniu od formalnej logiki lub zawierają nowe elementy, które są uzupełniające się, i pozwalają logicznemu badaniu konkretnego stwierdzenia, aby być dokładniejsze i dostosowane do użyteczności w życiu codziennym.

Logika symboliczna

W tej grze musisz zlokalizować każdy kawałek centralnego kwadratu w różnych postaciach

Logika symboliczna jest również nazywana logiką pierwszego zamówienia lub logikę matematyczną i charakteryzuje się użyciem symboli, które stanowią nowy język, za pomocą którego „tłumaczą” argumenty.

Intencją symbolicznej logiki 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 przekształca zdania w elementy podatne na zastosowanie dokładniejszych zasad, które można zastosować w języku naturalnym.

Następnie logika symboliczna umożliwia leczenie propozycji poprzez prawa obliczeniowe, aby uniknąć zamieszania lub niedokładności.

Dąży do włączenia elementów matematycznych do analizy struktur formalnej logiki. W polu matematycznym logika służy do zademonstrowania twierdzeń.

Krótko mówiąc, symboliczna lub matematyczna logika ma na celu wyrażanie człowieka przez język matematyczny.

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

Logika modalna

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

Może ci służyć: utylitaryzm

Modalna logika ma być bardziej spójna z ludzką myślą, dlatego obejmuje użycie konstrukcji takich jak „może”, „prawdopodobnie”, „czasami”, „być może”, „prawdopodobnie”, „jest„ może ”, wśród”, wśród wśród nich, „wśród”. Inny.

W logice modalnej chodzi o rozważenie scenariusza, w którym istnieje możliwość i wszystkie możliwości, które mogą istnieć z logicznego punktu widzenia,.

Logika obliczeniowa

Logika obliczeniowa jest rodzajem logiki pochodzącej z logiki symbolicznej lub matematycznej, tylko że jest stosowana w obszarze obliczeń.

Programy komputerowe używają języka programowania do ich rozwoju i, poprzez logikę, można pracować z tymi systemami językowymi, przypisywać określone zadania i wykonać działania weryfikacyjne.

Bibliografia

1. „Logic” w Britannica Encyclopedia. Pobrano w Britannica.com
2. „Formalna logika” w Britannica Encyclopedia. Pobrano w Britannica.com
3. Hernández, f. „Logika obliczeniowa” na National Autonomous University of Mexico. Pobrano w Unam.MX
4. Muñoz, c. „Logika nieklasyczna” na Complutense University of Madryt. Pobrano w UCM.Jest
5. „Wnioski dedukcyjne i indukcyjne” w Radzie Extremadura. Pobrano w Educarex.Jest.