Motivasi Frege

Tujuan utama Frege adalah menunjukkan bahwa matematika merupakan bagian dari logika, yaitu membuktikan bahwa semua pernyataan matematika dapat diturunkan dari sejumlah kecil aksioma logis murni (lihat Logikisme). Usaha ini hanya akan berhasil jika tersedia sebuah bahasa formal pemikiran murni, yang memungkinkan memeriksa kesinambungan suatu rangkaian inferensi tanpa keraguan, dan ini, menurut Frege, hanya mungkin dengan isi konseptual dari setiap pernyataan, tanpa unsur visual, yang bersifat independen dari sifat khusus benda-benda.

Alat ini, yang Frege sebut sebagai Begriffsschrift, dimaksudkan sebagai “alat yang berguna untuk meneliti berbagai bentuk ekspresi bahasa”. Kegunaannya, dalam konteks tujuan reduksi menyeluruh aritmetika ke bentuk “hukum-hukum berpikir”, menuntut, menurut keyakinan mendasar Frege, “prinsip keteraturan”, termasuk minimisasi cara penalaran logis dan operator sambil mempertahankan kemampuan ekspresif maksimum, agar isi konseptual murni memperoleh ruang yang cukup. Dalam pembelaannya kemudian, Frege menekankan hal ini sebagai inovasi penting dibandingkan sistem logika tradisional:

“Setiap upaya untuk menggantikan huruf sederhana dengan ekspresi isi, misalnya persamaan analitik, akan menunjukkan melalui ketidakteraturan, kekakuan, bahkan ambiguitas formula yang dihasilkan, betapa tidak cocoknya cara penulisan tersebut untuk membentuk Begriffsschrift yang benar. Dari Begriffsschrift seperti itu, saya menuntut hal berikut: ia harus memiliki bentuk ekspresi sederhana untuk hubungan logis, yang, dibatasi jumlahnya pada yang perlu saja, mudah dan pasti dikuasai. Bentuk-bentuk ini harus memungkinkan penyatuan yang paling erat dengan isi. […] Begitu bentuk umum ada, simbol dengan makna konten dapat dibuat sesuai kebutuhan.”^[7] – Gottlob Frege

Bagi Frege, Begriffsschrift hanyalah tahap pertama menuju formalitas matematika yang lengkap, yang sebagian ia capai dalam Grundgesetze der Arithmetik untuk teori bilangan. Program logikistik Frege awalnya gagal (sebelum penerbitan jilid kedua Grundgesetze) akibat antinomia Russell, tetapi kemudian dilanjutkan oleh Bertrand Russell, Rudolf Carnap, dan lainnya.

Namun, Begriffsschrift sama sekali tidak dimaksudkan hanya untuk matematika. Justru, Frege menekankan dalam kata pengantar bahwa tulisannya terkait dengan gagasan Leibniz tentang lingua characterica universalis, bahasa universal yang dirancang sebagai sistem teratur semua konsep berdasarkan model matematika. Naskah yang diterbitkan Frege pada 1879 dimaksudkan menjadi inti logis dari bahasa universal tersebut.

Diduga, istilah Begriffsschrift diambil dari tulisan Friedrich Adolf Trendelenburg mengenai rencana Leibniz untuk bahasa universal,^[8] yang dikutip Frege dalam kata pengantar. Selain itu, pada pergantian abad ke-20, kata Begriffsschrift umum digunakan sebagai padanan bahasa Jerman dari istilah “ideografi”.