A logika tárgya, eredete, kapcsolata a szaktudományokkal. A formális, a matematikai és a szimbolikus logika.

A logika a „logosz” többjelentésű görög szóból származik. Jelentése: gondolkodás, beszéd, szó. A logika kifejezést használjuk a tudomány megnevezésére is, annak a tudománynak a megnevezésére, amely a gondolkodást, mint az objektív igazság feltárásának eszközét vizsgálja és a gondolkodás törvényeit, formáit és műveleteit rendszerbe foglalja.

A logika az igaz, a helyes, a megismerő végső fokon a tudományos gondolkodás törvényeivel, formáival és műveleteivel foglalkozik. Ahhoz ad segítséget, hogy hogyan használhatja fel az ember a gondolkodását annak érdekében, hogy a valóságot igazán hűen tárja fel.

A szaktudományok tárgya a tőlük függetlenül létező valóság, a logikáé a gondolkodás. A logika a megismerés feltételeit vizsgálja, segíti az egyes tudományokat a valóság megismerésében, és a tudományok vívmányai alapján fejlődik.

A gondolkodással foglalkozik a pszichológia is, de más szemszögből vizsgálja a gondolkodást.

A logikai kutatás tárgya kizárólagosan a gondolkodás. A pszichológia a gondolkodáson kívül, amelynek egyike a gondolkodás, az érzelmeket és a cselekvést is vizsgálja.

A logika annak kutatását tűzi ki célul, hogy milyen feltételek, szabályok megtartása mellett válik a gondolkodás a világ hű tükrözésének eszközévé.

Tárgya a helyes-, a megismerő-, a tudományos gondolkodás.

Arisztotelész nevéhez fűződik a logika tudomány megteremtése. Arisztotelész a nagy filozófusok gondolatai közül kiválogatta azokat a nézeteket, amelyek az emberi gondolkodásra vonatkoztak. Rendszerbe foglalta és kiegészítette sok új ismerettel. Ezért mondjuk, hogy ő a logika atyja.

A formális logika a logikának az az ága, amely a gondolkodást a tartalomtól elvonatkoztatva vizsgálja, és csak a tartalom részeinek közös összefüggési módjait kutatja. A matematikai logika a matematika és a logika határtudománya. Tárgya lényegében azonos a logika tárgyával, tárgyalási módjára viszont matematikai módszerek alkalmazása jellemző. A logikai szimbólumok eredményei megfogalmazhatók szimbólumok nélkül, a köznapi nyelv szavaival is, csak nem annyira szabatosan, tömören és gazdaságosan