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ı / Begriffsschriftadlı ç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."