Logika to rzeczownik rodzaju żeńskiego od greckiego terminu logo, związany z logo, powód, słowo lub przemówienie, co oznacza rozumowanie nauka.
W sensie przenośnym słowo logika jest powiązane z a konkretny sposób rozumowaniasłusznie. Na przykład: To nigdy nie zadziała! Twój plan nie ma logiki!
ty problemy lub gry logiczne są czynnościami, w których dana osoba musi używać logiczne rozumowanie rozwiązać problem.
Logika arystotelesowska
Według Arystotelesa przedmiotem badań logiki jest myśl, a także prawa i zasady, które ją kontrolują, aby ta myśl była poprawna. Dla greckiego filozofa elementami składowymi logiki są pojęcie, osąd i rozumowanie. Prawa logiki odpowiadają powiązaniom i relacjom istniejącym między tymi elementami.
Niektórzy następcy Arystotelesa odpowiadali za podwaliny średniowiecznej logiki, która przetrwała do XIII wieku. Myśliciele średniowieczni, tacy jak Galen, Porfiriusz i Aleksander z Afrodyzji, zaklasyfikowali logikę jako naukę o prawidłowym osądzaniu, co umożliwia dojście do poprawnego i formalnie uzasadnionego rozumowania.
Logika programowania
Logika programowania to język używany do tworzenia programu komputerowego. Logika programowania jest niezbędna do tworzenia programów i systemów komputerowych, ponieważ definiuje logiczny łańcuch dla tego rozwoju. Kroki tego rozwoju są znane jako algorytm, który składa się z logicznej sekwencji instrukcji dla funkcji, która ma zostać wykonana.
Logika argumentacji
Logika argumentacji umożliwia sprawdzenie poprawności lub tego, czy stwierdzenie jest prawdziwe, czy nie. Nie opiera się na pojęciach względnych ani subiektywnych. Są to namacalne propozycje, których ważność można zweryfikować. W tym przypadku logika ma na celu ocenę formy zdań, a nie treści. Przykładem logiki argumentacji są sylogizmy (składające się z dwóch przesłanek i wniosku). Na przykład:
Mąka kukurydziana to pies.
Wszystkie psy to ssaki.
Dlatego mąka kukurydziana jest ssakiem.
Logika matematyczna
Logika matematyczna (lub logika formalna) bada logikę zgodnie z jej strukturą lub formą. Logika matematyczna składa się z system dedukcyjny twierdzeń, których celem jest stworzenie zespołu praw i reguł w celu ustalenia słuszności rozumowania. Tak więc rozumowanie uważa się za ważne, jeśli możliwe jest wyciągnięcie prawdziwego wniosku z prawdziwych przesłanek.
Logika matematyczna służy również do budowania prawidłowego rozumowania za pomocą innych rozumowań. Rozumowanie może być: dedukcyjny (wniosek jest obowiązkowo wyciągany z prawdziwości przesłanek) i indukcyjny (probabilistyczny).
Logikę formalną można podzielić na dwie grupy: logikę zdań i logikę predykatów.
Leibniz jest postrzegany przez wielu jako umysł, który zapoczątkował koncepcję logiki formalnej lub matematyki, która zajmuje się podstawowymi zagadnieniami matematyki. Jednak dopiero po 1890 roku, wraz z Peano, rozpoczęło się kwestionowanie spójności aksjomatów. Niektóre ważne zasady logiki formalnej można znaleźć w The Mathematical Analysis of Logic George'a Boole'a (autora logiki lub algebry Boole'a).
logika zdaniowa
Logika zdań to dziedzina logiki, która bada rozumowanie według relacji między zdaniami (zdaniami), minimalnymi jednostkami dyskursu, które mogą być prawdziwe lub fałszywe.