في الترميز المنطقي لمسألة من علم الكلام
في الترميز المنطقي لمسألة من علم الكلام يقول الفخر الرّازي –ناسجًا اعتراضا فلسفيا ومنطقيّا قويا–: «إن مسمى الحدوث، وهو الخروج من العدم إلى الوجود، غير مسمى العدم، ومسمى الوجود. وإلا لكان حيث صدق مسمى العدم، أو مسمى الوجود، صدق مسمى الخروج من العدم إلى الوجود، وهو محال». اهـ من المحصّل . أقول: صوريا لنعطِ مصطلح الحدوث رمزَ "حد"، ولنرمز لمفهوم الوجود بـ "و" ولمفهوم العدم بـ "ع": بناءً على كلام الفخر فإننَا نسلم، مقدّمًا، بأنَ تعريف الحدوث هو «الخروج من العدم إلى الوجود»، فليكن، إذن، وفق ما يلي: حد ≡ (و ∧ ع)؛ على هذَا لنا أن نشتق، مستندين إلى مبدإ منع التناقض المعبر عنه بـ: ∼ (أ ∧ ∼ أ)، ما يلي: (حد ≡ ع) ← ∼ [حد ≡ (و ∧ ع)]؛ (حد ≡ و) ← ∼ [حد ≡ (و ∧ ع)]؛ ∼ (حد ≡ ع) ← [(حد ≡ (و ∧ ع)) ∧ (حد ≡ و)]؛ ∼ (حد ≡ و) ← [(حد ≡ (و ∧ ع)) ∨ (حد ≡ ع)]؛ على أن (و ∧ ع) ≡ (ع ∧ و). حيثُ إن الثابت ≡ للتكافؤ، و∧ للوصل، و∧ للفصل، و← للشرط، و∼ للنفي. أقول بعدُ؛ إننا نسلّم بعدم ترميز نسبة البعدية في (و ∧ ع)؛ إذ الوصل بـ ∧ لا يعطي سوى الجمع، أو قل: مطلق الجمع، والمتكلمون يمنعو...