مبدأ الثالث المفروع هو مبدأ في المنطق، ينص على أن أي قضية، أما تكون صادقة ونقيضتها كاذب، أو العكس، ويمتنع أن تكون القضية ونقيضتها صادقتين أو كاذبتين بذات الوقت.
على سبيل المثال، إما أن تكون القضية «2 عدد زوجي» صادقة، أو نقضيها «2 ليس عدد زوحي»، ولا ثالث بينهما.
مبدأ الثالث المرفوع وسياق القضايا
مبدأ الثالث المرفوع ينطبق على القضايا المتناقضة، وليس القضايا المتضادة:
- القضايا المتناقضة: هي القضايا التي لا يمكن أن تكون صادقة معًا، ولا يمكن أن تكون كاذبة معًا. مثال: «أحمد واقف» و«أحمد ليس واقفًا». هنا، إذا كانت الأولى صادقة، فالثانية بالضرورة كاذبة، والعكس صحيح.
- القضايا المتضادة: هي القضايا التي لا يمكن أن تكون صادقة معًا، ولكن يمكن أن تكون كاذبة معًا. مثال: «أحمد واقف» و«أحمد جالس». من الممكن أن يكون أحمد لا واقفًا ولا جالسًا (أي نائمًا أو مستلقيًا أو في حالة أخرى).