logika je věda, která je formální, to znamená, že jako některý z formálních věd vytváří svůj vlastní předmět studia a uvažování a vytváření nápadů na mysli, jsou jeho metodika práce a znalostí, ale kromě toho, logika, to je jedna z větví z nejdůležitějších a populární v rámci Filozofie, být jeho předmět studia zásady demonstrace a platné inference, což jsou metody, které v konečném důsledku umožní rozlišit uvažování správné od špatného.
původ logika jde zpět do zlaté doby klasického Řecka a řecký filozof Aristoteles je považován za stvořitele a otce, protože on byl první používat pojem a dát to osoba, která udržuje dodnes, obor argumentů jako demonstranti pravdy ve vědě.
Tato logika, že jsme je uvedeno výše, a které Aristoteles stojí jako její zakladatel, je také nazýván jako formální logiky, v obou, tam je také neformální logiky, která bude zaměřit svou pozornost na metodické studium těchto argumentů pravděpodobně z filozofie, rétorika a řečnické umění, mezi ostatními vědami, které se zabývají tyto.
neformální logika v podstatě věnuje veškeré své úsilí identifikaci omylů a paradoxů a správnému strukturování diskurzů.
Ale ve formální a neformální logiku, otázkou je, není vyčerpaná, protože jsme také další typy logik, které navrhují naprosto různých metodik, jako jsou přírodní logiku, což je jeden navržené přírodní myslel, jak to probíhá, aniž by se uchylovat k formální vědy jako základ podpory.
Pak se objeví rozmazaný nebo také tzv. fuzzy logika, která trvá určitou licencí s ohledem na ostatní a přiznává určitá nejednoznačnost mezi pravdou či nepravdivosti jejich tvrzení, a to v úzké dohody a vztah s lidským rozumem.
v jiném pořadí můžeme najít matematickou logiku, která je zpracována pomocí umělého a symbolického jazyka a abstrakce obsahu. A konečně binární logika, která pracuje s proměnnými, které podporují pouze dvě diskrétní hodnoty.