Pressuposició
De Wikisofia
Pressupòsit en general, o bé condició que ha de suposar-se perquè pugui decidir-se la veritat o la falsedat d'un enunciat. Així, per exemple l'enunciat «Vaig a la biblioteca de la facultat de filosofia a estudiar» suposa que l'enunciat «Existeix una facultat de filosofia» és vertader. Normalment, suposem –i així també ho suposa la lògica clàssica pel principi de bivalència, o del tercer exclòs– que serà veritat que existeix o no existeix una Facultat de filosofia per a fer veritable, o fals, el primer enunciat.
Però hi ha enunciats que no semblen referir-se a cap objecte existent, com per exemple les anomenades descripcions definides, a saber: enunciats com ara el del clàssic exemple de Russell: «L'actual rei de França és calb». Russell sosté que tal enunciat és fals, ja que equival al de: «Hi ha un i només un rei de França i ell és calb», mentre que Strawson sosté que l'enunciat «L'actual rei de França és calb» pressuposa l'enunciat «Existeix un rei de França», que és la condició que decideix sobre la veritat del primer, però que, si no existeix cap rei de França, llavors l'enunciat «L'actual rei de França és calb» no és ni veritable ni fals, encara que tingui sentit, atès que la pressuposició ho fa comprensible.