Formális logika
A helyes érvelés tanulmánya / From Wikipedia, the free encyclopedia
A formális logika, vagy más néven szimbolikus logika a logika tudományának egy ága, az okok és következmények struktúrájával foglalkozik. A formális logika az elméletek közötti kapcsolatokat elemzi, és lehetőséget ad az állítások bizonyításainak elkészítéséhez. Az elméletek alaposan definiáltak, és az állítások nagyon pontos, tömör és egyértelmű szimbolikus formában (jelölésrendszerrel) kerülnek leírásra. A formális logikából fejlődött ki a matematikai logika, a matematika fontos részterülete, amely a formális logika módszereit alkalmazza a matematikai következtetések és bizonyítások vizsgálatára.