Trình bày và phân tích logic cơ bản hình thức

Logic trở thành một môn khoa học, đó là từ Aristotle bắt đầu, này chỉ sợ hoài nghi người rất ít. Chúng ta biết á thị cũng không có đem hắn nghiên cứu gọi là “Logic”, nhưng hắn minh xác chỉ ra hắn nghiên cứu đối tượng là “Tam đoạn luận”, mà đây là về từ một cái thật sự tiền đề “Tất nhiên mà” đẩy ra một ít kết luận khoa học. Hắn tam đoạn luận có hai loại, một là ẩn dấu tam đoạn luận, nhị là quy nạp tam đoạn luận. Người trước chúng ta không cần phải nói, người sau trên thực tế là một loại hoàn toàn quy nạp, cho nên cũng là suy diễn tính. Bởi vậy, Aristotle ý nghĩa thượng “Logic”, chính là về “Tất nhiên trinh thám quy tắc”, hoặc “Tất nhiên chứng minh hoặc luận chứng quy tắc” khoa học. Hắn cứ việc nhắc tới quá đơn giản cái cử quy nạp, nhưng cũng không phải từ “Logic” ý nghĩa đi lên nói, chỉ là vì cùng “Logic” tiến hành đối lập mà từ biện luận ý nghĩa thượng mà nói.
Từ từ nguyên tới nói: Heraclitus sớm nhất sử dụng logos cũng là chỉ ngôn ngữ trung thể hiện “Khách quan thứ tự”, cũng là ở “Tất nhiên” ý nghĩa thượng giảng. Bởi vậy, “Logic” nghĩa gốc không chỉ là chỉ “Trinh thám quy tắc”, hơn nữa là chỉ “Tất nhiên trinh thám quy tắc”. Logic học cùng cái khác ngành học phân khoa ý nghĩa, trên thực tế liền ở chỗ này. Giống như đương kim Trung Quốc rất nhiều người chỉ trích kinh tế học không có nghiên cứu “Sức sản xuất” giống nhau, ngạnh muốn logic học đi nghiên cứu nó nội dung hay không vì thật, vốn dĩ liền không hợp phân khoa nguyên lý. Nếu logic học cái gì đều có thể nghiên cứu, nên kêu “Tri thức học”.

Khái niệm, phán đoán, trinh thám.