Khai Tâm – Hệ Ghi Ý – Ngôn ngữ khái niệm – Gottlob Frege

Hệ Ghi Ý (Ngôn ngữ khái niệm)
Một ngôn ngữ hình thức (được mô hình theo ngôn ngữ số học) biểu diễn tư tưởng ròng

Hệ Ghi Ý (Begriffsschrift – 1879) của Gottlob Frege là một trong những tác phẩm lẫy lừng nhất trong lịch sử logic học. Với tác phẩm này, bộ mặt của logic hình thức hiện đại được thành hình, và ngay cả hiện nay, ta cũng khó lòng hiểu được bằng cách nào mà chỉ một con người thôi lại có thể đạt được sự đa dạng về nội dung đột phá đến mức như vậy. Tuy nhiên, Hệ Ghi Ý, với tầm quan trọng như thế, gần như hoàn hảo như vậy, lại từng là một thất bại về xuất bản, bị hiểu sai và ghẻ lạnh (ngoại trừ Russell và Wittgenstein): có lẽ tác phẩm kinh điển này đã đi trước thời đại quá xa và phải mất rất nhiều năm để nó có thể bước vào lịch sử và được đón nhận nhờ những đóng góp không nhỏ qua các bài viết của Michael Dummet.