ك» أمكننا أن نترجم هذه الصيغة إلى صيغة أخرى تستغني عن كلمة «تستلزم» وتستعمل النفي والبدائل فقط، فتكون:

ق

ك =

ق

ك.

أي إن قولنا إن ق تستلزم ك مساو لقولنا إنه إما أن تكون ق باطلة أو أن تكون ك صادقة.

وهكذا يبين رسل أن جميع الثوابت المنطقية يمكن ردها إلى اللامعرفات الثلاثة التي ذكرناها، ثم يبني من هذه اللامعرفات مجموعة قليلة من بديهات، ثم يستخرج من هذه البديهات نتائجها التي تلزم عنها، ومن هذه النتائج نتائجها، حتى يتكامل له المنطق الصوري كله فالرياضة البحتة كلها؛ لأن الرياضة البحتة استمرار للمنطق الخالص.

وليس هنا موضع التفصيل فيما قد استحدثه رسل خلال تحليلاته المنطقية، مما يكفي أن يجعل منه بناء منطقيا جديدا يعارض المنطق الأرسطي أو يكاد، ونخص بالذكر من هذه المستحدثات نظرياته في الفئات وفي الأنماط وفي التعريف وفي الاستنباط، مما قد عرضنا بعضه في مؤلفات أخرى،

11

وما سنعرض له في مواضع متفرقة من هذا الكتاب.

Неизвестная страница