formell logik
formell logik, logik enligt vilken det är formen (i motsats till innehållet) hos t.ex. en slutledning som är avgörande för dess giltighet.
Logik som studieämne har sedan Aristoteles varit formell i denna bemärkelse. Tillägget ”formell” är därför oftast överflödigt, men det används ibland för att markera att man inte avser t.ex. dialektisk logik eller logik i en mer allmän betydelse.
Information om artikeln
Källangivelse