Về số lượng các công thức đúng của Tam đoạn luận nhất quyết đơn

Tóm tắt

Trong bài, tác giả đề cập vấn đề phân tích số lượng các công thức đúng của tam đoạn luận nhất quyết đơn theo trình tự hình thành và phát triển trong lịch sử lôgíc học, bắt đầu từ Arixtốt. Theo Arixtốt, chỉ cần 14 công thức được phân bố theo ba dạng hình là đủ. Sau đó, các học trò của ông là Teofrast và Evdem đã bổ sung thêm 5 công thức mới vào dạng hình thứ nhất. Việc chuyển 5 công thức mới sang dạng hình mới độc lập, dạng hình IV, đã được C.Galen - nhà lôgíc học La Mã thực hiện. Sau lôgíc học Port - Royal, con số 19 công thức đúng của tam đoạn luận nhất quyết đơn mới được khẳng định. Leibniz đã phát triển quan niệm truyền thống và chỉ ra một sự phân bố các công thức đúng của tam đoạn luận một cách độc đáo - 24 công thức được phân bố đều cho bốn dạng hình. Tuy nhiên, theo chúng tôi, về mặt khoa học, chỉ cần 19 công thức là đủ