biçimci mantık anlamı İng. formal logic Osm. suri mantık
Deyişlerin içeriğine değil, biçimine göre tutarlılık koşullarını koyan ve bunu matematik dili ve işlemlerine başvurarak yapan çağdaş mantık.