logika-nauka jest formalna, to znaczy, że jak w każdej nauce urzędowej tworzy swój własny przedmiot badań, uzasadnienie i tworzenie pomysłów przez część umysłu-jest to metodologia pracy i wiedzy, ale także logika, jest jedną z gałęzi najważniejszych i najpopularniejszych w ramach filozofii, będąc jej przedmiotem badań zasad demonstracja i wnioskowanie jest dopuszczalne, że te metody, które ostatecznie dobro od zła.
pochodzenie logiki sięga czasów złotej Grecji klasycznej, a grecki filozof Arystoteles jest uważany za twórcę i ojca logiki, ponieważ jako pierwszy użył tego pojęcia i dał mu istotę, która przetrwała do dziś, badanie argumentów jako przejawów prawdy w nauce.
ta logika, opisana powyżej i której założycielem jest Arystoteles, jest również nazywana logiką formalną, natomiast istnieje również logika nieformalna, która skupi się na metodycznym badaniu prawdopodobnych argumentów z filozofii, retoryki i oratorium, między innymi naukami zajmującymi się tymi argumentami.
zasadniczo logika nieformalna kieruje wszystkie swoje wysiłki na identyfikację nieporozumień i paradoksów, a także na właściwą strukturę dyskursów.
ale w logice formalnej i nieformalnej to pytanie nie jest wyczerpane, ponieważ mamy również do czynienia z innymi rodzajami logiki, które oferują zupełnie inne techniki, takie jak logika naturalna, która jest oferowana przez naturalne myślenie, gdy idzie, bez odwoływania się do formalnej nauki jako podstawy wsparcia.
następnie pojawia się rozmyta lub tak zwana rozmyta logika, która akceptuje pewne licencje w stosunku do innych i pozwala na pewną dwuznaczność między prawdą a fałszem ich zdań, w ścisłej zgodzie i związku z ludzkim umysłem.
w innej kolejności możemy napotkać logikę matematyczną, która jest przetwarzana przy użyciu języka sztucznego i symbolicznego i wykonuje abstrakcję treści. Wreszcie logika binarna, która działa ze zmiennymi, które obsługują tylko dwie dyskretne wartości.