Phép chuyển hoá / Obversion

PHÉP CHUYỂN HÓA 

OBVERSION

(LOGIC HỌC) Trong logic học truyền thống, một suy luận trực tiếp rút ra kết luận từ một mệnh đề khác bằng cách phủ định vị từ và đổi chất của nó từ khẳng định sang phủ định hoặc từ phủ định sang khẳng định. Kết luận, được gọi là mệnh đề đã chuyển hóa (observe), là một tương đương về logic với tiền đề, được gọi là mệnh đề dùng để chuyển hóa (obvertend). Tất cả bốn mệnh đề trong logic học truyền thống có thể chuyển hóa một cách hợp lệ: "Mọi s là p" được chuyển hóa thành "Mọi s không phải là không-p"; "Mọi s không phải là p" thành "Mọi s là không-p"; "Một số s là p" thành "Một số s không phải là không-p"; và "Một số s không phải là p" thành "Một số s là không-p."

------------------------------------

"Phép chuyển hóa là một quá trình suy luận trực tiếp trong đó mệnh đề được suy ra (hay mệnh đề đã chuyển hóa), trong khi đó vẫn giữ lại chủ từ ban đầu, có vị từ mâu thuẫn với vị từ của mệnh đề ban đầu (hay mệnh đề dùng để chuyển hóa)." Keynes, Studies and Exercises in Formal Logic

------------------------------------

Nguồn: Từ điển triết học phương Tây, (ĐHP dịch).