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."