xsmt 17 4

Mô tả sản phẩm

xsmt 17 4 Leibniz chưa bao giờ xuất bản những tư tưởng triết học của ông một cách hệ thống và hoàn chỉnh, do vậy, nghiên cứu tổng thể về triết học của ông không phải là nhiệm vụ đơn giản. Leibniz lập luận rằng, những thứ gì phức tạp ắt phải được cấu tạo từ những thứ đơn giản hơn, và những thứ đơn giản này phải không mang cho mình những đặc điểm về quảng tính (ví dụ như chiều dài, chiều rộng và chiều cao), vì nếu vậy thì chúng sẽ có thể được chia nhỏ hơn nữa. Ta biết rằng, những thứ gì thuộc về vật chất đều có trong mình đặc điểm về quảng tính, vì vậy, thành phần đơn giản mà ta đang tìm kiếm là phi vật chất, có phần giống với những ý niệm hay linh hồn hơn; và Leibniz gọi đó là các ''đơn tử'' (en. ''Monad''). Những đơn tử này tồn tại độc lập, không phát triển cũng như không bị tàn hoại và chúng không phụ thuộc vào thứ gì ngoài Chúa. Tuy nhiên, những đơn tử này có thể biến đổi, như ta sẽ thấy ngay sau đây.

Frege đã mang những thuật ngữ từ đại số vào bộ môn logic học. Trong toán học, cách viết x/2+1 được gọi là một hàm số phụ thuộc biến số x hay nói cách khác, giá trị của hàm này phụ thuộc vào x. Nếu x = 2 thì hàm có giá trị là 2, còn nếu x = 4 thì hàm có giá trị là 3. Tương tự như vậy, mệnh đề nếu x là người nhận giá trị đúng với x = Socrates và nhận giá trị sai với x = thần Mặt trời. Cụm từ với mọi x đi trước thể hiện rằng: toàn bộ những gì phía sau (nếu x là người, x sẽ chết) sẽ đúng với mọi giá trị (en. ''argument'') thay vào vị trí của x. Đây được gọi là một hàm chân lý (en. ''truth-function'') và là cách Frege lượng hóa logic. Phương pháp mới của Frege đã thay thế tam đoạn luận truyền thống, vốn đã được sử dụng trong hàng thế kỷ với vai trò là công cụ logic duy nhất.