لاواقعية: الفرق بين النسختين

وفقًا لمتبعي فلسفة البداهة (اللاواقعيين فيما يتعلق بالموضوعات الرياضية)، تتمثل [[حقيقة]] التعبيرات الرياضية في قدرتنا على إثباتها. ووفقًا لمتبعي الفلسفة الأفلاطونية ([[الواقعية الفلسفية|الواقعيين]]),، تتمثل حقيقة التعبيرات في تطابقها مع الواقع الموضوعي. وبالتالي فإن متبعي مذهب البداهة غير مستعدين لقبول تعبيرًا من الشكل "P أو Q" صحيح إلا إذا استطعنا إثبات P أو إثبات Q:

وهذا ما يُسمى بـخاصية الفصل. وبشكل خاص، لا يمكننا الادعاء بشكل عام أن التعبير "P أو غير P" صحيح ( قانون الثالث المرفوع)، لأنه في بعض الحالات قد لا نكون قادرين على إثبات التعبير "P" ولا إثبات التعبير "غير P". وبالمثل، يعارض متبعو فلسفة البداهة خاصية الوجود للمنطق الكلاسيكي، حيث يمكن للمرء إثبات <math>\exists x.\phi(x)</math>، دون القدرة على إنتاج أي مصطح <math>t</math> يحمله <math>\phi</math>.