BSTS / Mantık Terimleri Sözlüğü
biçimsel mantık anlamı İng. formal logic Osm. surî mantık Alm.formale Logik Fr. logique formelle
1- Mantığın inceleme konusu olan tutarlılık ile geçerliliğin mantıksal olmayan deyimlerin içeriğine değil de yalnız biçimine bağlı olduğunu vurgulamak amacıyla mantığa verilen bir ad, 2- Yalnız biçimsel dillere ilişkin mantık dizgelerini konu edinen mantık bölümü. || Krş. sezgisel mantık.