logic hình thức
khoa học nghiên cứu các hình thức của ý nghĩ và hình thức tổ hợp ý nghĩ, trừu tượng hoá khỏi nội dung cụ thể của phán đoán, suy lí, khái niệm.