Biçimsel Mantık

Başlangıçtaki aksiyomatik varsayımlardan veya bilgilerden geçerli sonuçlar veya tahminler üretmek için belirlenmiş kurallar sistemi. genellikle sağduyu gibi daha sezgisel düşünce biçimleriyle karşılaştırılır. bkz. tümdengelim; mantık; sembolik mantık.