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