Istnieje kilka rodzaje logiki i wszyscy skupiają przedmiot swoich badań na zrozumieniu rozumowania i określeniu, kiedy jest ono poprawne lub niepoprawne. Studium logiki ewoluowało od czasów greckiego filozofa Arystotelesa do dnia dzisiejszego.
Etyka została dostosowana tak, aby była bardziej konkretna, a jednocześnie bardziej dostosowana do codziennego życia człowieka, co pozwala na bardziej namacalne zastosowanie w różnych obszarach.
Logika poszukuje systematycznego badania argumentów i twierdzeń, a różne typy logiki pozwalają badać zarówno czysto formalną strukturę tych stwierdzeń, jak i to, co ma wspólnego z treścią i siłą tej treści..
Chociaż logika opiera się na badaniu zdań, nie koncentruje się wyraźnie na języku naturalnym (języku, jakim go znamy), ale jej użyteczność dotarła do różnych obszarów i przy różnych strukturach, takich jak matematyka i informatyka.
Logika formalna, znana również jako logika klasyczna lub logika Arystotelesa, to badanie zdań, argumentów, twierdzeń lub zdań ze strukturalnego punktu widzenia. Jest to metoda strukturyzowania myślenia i określania prawidłowych lub niepoprawnych 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 ważności lub nie konstrukcji jego formy.
Oznacza to, że przedmiot badań logiki formalnej nie jest empiryczny, dla logika nie jest istotne ustalenie, czy przedstawiony argument jest prawdziwy i udowodniony; ale jego badanie koncentruje się wyraźnie 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 typu 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 powiedzieć, że jeśli jeden kot lubi ryby, a inny lubi ryby, a jeszcze inny, to wszystkie koty lubią ryby..
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 skupia się na istocie przekazywanego komunikatu.
Przedmiotem badań jest sposób argumentowania w celu uzyskania pożądanego rezultatu. Logika nieformalna weryfikuje argumenty logiczne, które są bardziej spójne, między innymi o słabszej strukturze argumentacyjnej.
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 twierdzenia 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 jest również nazywana logiką pierwszego rzędu lub logiką matematyczną i charakteryzuje się użyciem symboli, które stanowią 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 (języka), ale używa języka technicznego, który przekształca zdania w elementy podlegające zastosowaniu dokładniejszych reguł niż można zastosować w języku naturalnym..
Tak więc logika symboliczna pozwala na 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 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 zestrojona z ludzką myślą, dlatego obejmuje użycie konstrukcji takich jak „może”, „prawdopodobnie”, „czasami”, „może”, „prawdopodobnie”, „jest prawdopodobne”, „może”, m.in.
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 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 pracować z tymi systemami językowymi, przypisywać określone zadania i przeprowadzać działania weryfikacyjne.
Jeszcze bez komentarzy