Aritmetik, mantığın bir alt kategorisi midir?
Bir işlem dizisindeki *sıra* kavramı mantıksal *sonuç* kavramına indirgenebilir mi?
Mantıksal çıkarımların temsilinde mantıksal bir dizge oluşturulabilir mi?
Kelimelerin biçimsel anlamı ile gönderimi arasında nasıl bir ilişki vardır?
Fonksiyonlar ve değişkenler biçimsel bir dil içinde temsil edilebilir mi?

Frege, mantık ve felsefeye yoğunlaşmış bir matematikçidir. Analitik felsefenin kurucusu olarak kabul edilir. Kavram-Yazısı / Begriffsschrift adlı çalışması bir dizideki sıra kavramının mantıksal sonuç kavramına indirgenebileceğini; matematiğin mantığa dayandığını; söyleme’nin, konuşma’nın, kısacası dil’in mantığını matematiksel formüllerle / ifade biçimleriyle göstermeye çalışmıştır. Frege, çıkarımların temsilinde mantıksal bir dizge oluşturmayı amaçlamıştır. Kendi ifadesiyle *Hakikatleri keşfetmek tüm bilimlerin görevidir; mantık hakikatlerin yasalarını tanımaktır.*