Languages developed in the field of philosophy, typically characterized by their rigor and precision.