George Boole (1815–1864) adalah orang pertama yang mempelajari latis. Pada 1847, ia menerbitkan The Investigation of the Laws of Thought, sebuah buku yang menggunakan latis untuk memformalkan logika dan kalkulus proposisi. Boole berpendapat bahwa matematika adalah kajian tentang bentuk, bukan isi; artinya, ia tidak terlalu mempersoalkan apa yang dihitungnya, melainkan bagaimana ia menghitungnya. Karya Boole diteruskan oleh sahabatnya, Augustus De Morgan (1806–1871). De Morgan mengamati bahwa prinsip dualitas sering berlaku dalam teori himpunan, sebagaimana diilustrasikan oleh hukum De Morgan untuk teori himpunan. Seperti Boole, ia berpendapat bahwa matematika adalah kajian tentang simbol dan operasi abstrak.