SORU: Modern mantıkta önermeler biçimsel bir dil içerisinde temsil edilir. Biçimsel dile örnek olarak nasıl bir örnek gösterilebilir?
CEVAP: Biçimsel dil, sadece işaret dizilerinden oluşur. Biçimsel bir dizge, söz konusu bu biçimsel dile işaret dizileri arasındaki dönüştürme kurallarının eklenmesi ile elde edilir. Söz konusu işaretlerin ve işaret dizilerinin, neye işaret ettikleri ya da ne anlama geldikleri dikkate alınmaz. Bu itibarla gündelik dilden kaynaklanan muğlaklıklar, vurgu ya da tonlamaya bağlı belirsizlikler, hemen tamamen aşılmış olur.
