16
ولنبدأ أولا وقبل كل شيء بتحديد بعض الرموز التي سوف نستخدمها. سوف نعبر فيما يتعلق بالخاصتين «ب» و«ق»: عن القضية القائلة بأن أية قضية تقرر عن شيء معين أن له الخاصية «ب» تستلزم القضية القائلة بأن الشيء الذي نبحثه له أيضا الخاصية «ق» على النحو التالي:
س ب تستلزم س ق.
وسوف نعبر في حالة أية قضية عن نقيض «ب» بالرمز «ب»، وبالتالي فإن صيغة كهذه «س ب» تستلزم «س ق» سوف تعني أن أية قضية تتكرر على شيء ما أن له الخاصية «ب» تستلزم القضية فيما يتعلق بالشيء الذي تتحدث عنه، أن له «ق».
ومن ناحية أخرى فيما يتعلق بشيئين «ب» و«أ»، فإننا سوف نعبر عن القول بأن ««ب» تتحد في هوية واحدة مع «أ»» بالرموز «ب = أ». وعن القول بأن «ب» لا تتحد في هوية واحدة مع «أ»، بالرموز «ب = أ».
وبناء على الرموز السابقة، فإن الصيغة الآتية:
س ب تستلزم «س = أ».
سوف تعني: «كل قضية تقول عن شيء ما إنه ليس له الخاصية «ب» تستلزم - فيما يتعلق بهذا الشيء - القول بأنه شيء آخر غير «أ».»
وهذه القضية تساوي منطقيا: «س = أ» تستلزم «س ب».
وهي تقرأ على النحو التالي: «أي شيء يتحد في هوية واحدة مع «أ» لا بد - في أي عالم يمكن تصوره - أن يكون له بالضرورة «ب».» أو بعبارة أخرى: ««أ» لا يمكن لها أن توجد في أي عالم ممكن دون أن يكون لها «ب».»
صفحة غير معروفة