... nhiều nhánh khác logic cổ điển, logic tình thái, logic thời gian, logic kiến thiết, logic relevant, logic không đơn điệu, logic mờ, logic xác suất, logic quy nạp, logic lượng tử, logic đa trị,… ... triển logic học kể từ Leibnitz, đặc biệt từ Russel trở sau, liên quan chặt chẽ với toán học Sự liên quan chặt chẽ hai ngành logic học toán học Russel khắc họa sau Nhập môn triết học toán học ... nhiều nghĩa logic học 7 Cùng với phát triển khoa học công nghệ, logic học ngày ứng dụng rộng rãi Người ta sử dụng logic học để giúp giải vấn đề nan giải toán học, điều khiển học, khoa học máy tính,...