Thuật ngữ "Logic" được phiên âm từ tiếng nước ngoài (Logic: Tiếng Anh; Logique; Tiếng Pháp) thuật ngữ này có nguồn gốc từ tiếng Hy Lạp là Logos, có nghĩa là lời nói, tư tưởng, lý tính, quy luật v.v... Ngày nay logic học được định nghĩa là: "Khoa học về các quy luật và hình thức của tư duy đúng, chính xác", hay "logic học là khoa học về quy luật và hình thức cấu tạo sự suy nghĩ chính xác" Hiện nay những vấn đề về logic chiếm một địa vị quan trọng trong những vấn đề nghiên cứu của triết học. Cuốn Giáo trình Logic hình thức này gồm 7 chương trình bày về đối tượng nghiên cứu và các quy luật cơ bản của logic hình thức, khái niệm, định nghĩa và phân chia các khái niệm, phán đoán, suy lý, chứng minh và bác bỏ, giả thuyết. Giáo Trình Logic Hình Thức NXB Đại Học Quốc Gia 1998 Bùi Thanh Quất 77 Trang File PDF-SCAN Link download https://repository.vnu.edu.vn/handle/VNU_123/58988 https://drive.google.com/file/d/1clh8hXMEIVbHsJhZWwTNYmGmXaymXzkchttps://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTZ3WGQHg04L1