Logic học hình thức là môn khoa học nghiên cứu về các hình thức và quy luật tư duy (phản ánh trạng thái tương đối ổn định của các sự vật, hiện tượng); đồng thời nghiên cứu các thao tác, quy tắc logic, qua đó, khẳng định tính đúng đắn của tư duy là điều kiện cần để đạt tới chân lí trong qúa trình phản ánh hiện thực.

Hình thức tư duy là phương thức liên kết các bộ phận cấu thành của nội dung tư tưởng tạo nên ý nghĩa tương đối hoàn chỉnh về đối tượng, qua đó có thể đánh giá được tính chân thực hay giả dối của các tư tưởng. Các hình thức tư duy: khái niệm, phán đoán, suy luận….

Quy luật tư duy là những mối liên hệ bản chất, tất yếu, phổ biến giữa các tư tưởng tạo thành kết cấu bên trong của quá trình tư duy, kết cấu này đã hình thành trong lịch sử, thích ứng với những mối liên hệ của các sự vật, hiện tượng của thế giới khách quan. 

Thao tác logic là những phương thức để tiến hành tạo lập, xây dựng hoặc làm thay đổi kết cấu logic của các hình thức tư duy nhằm chỉ ra cách xác định đối tượng phản ánh hoặc thay đổi cách tiếp cận khác nhau về vấn đề nghiên cứu. Ví dụ, các thao tác định nghĩa khái niệm, phân chia khái niệm, biến đổi phán đoán. 

Quy tắc logic là sự khái quát ngắn gọn các thao tác cần thiết, nêu lên những điều phải làm trong những điều kiện nhất định, để đảm bảo tính đúng đắn, chuẩn xác của các thao tác logic. Chẳng hạn, quy tắc định nghĩa, quy tắc phân chia khái niệm hoặc quy tắc của luận ba đoạn.