Similarly, being male has presupposition ⊤ and assertion m, so the program male is defined as ⊥? ; abort ∪ m?, which reduces to m? What this says is that male is a program without presupposition (the program never aborts), whereas bachelor does have a presupposition (the program aborts if the test m ∧ a fails).
But there is one very interesting and important way in which Bailey is consistent in his consideration of transwomen: If one reads TMWWBQ without presupposition, it's clear that Bailey measures long-term "success" for transwomen specifically in terms of whether or not they are happy.
It purports to begin without presuppositions and to conclude with a final, all-encompassing system.
The very idea that thought should be without presuppositions, however, is itself a presupposition, and thus the system is never quite able to complete itself.
Of course the use of diverse futures studies for orientation purposes is not without presuppositions.
How would you feel if someone made a joke about your eggs?" From the other side, a feminist outcry, how can the Queen's eggs function as a joke in this context without the presupposition that shame is indivisible from the condition of being female?
In its search for universal and unchangeable laws, modern science is to a great extent inspired by the same idea as Parmenides', since universal laws presuppose a certain unity in the material world, and unchangeable laws cannot be established without the presupposition that something unchangeable must be hidden behind all changes.
Without the presupposition of 'absolute identity', therefore, the evident relativity of particular knowledge becomes inexplicable, since there would be no reason to claim that a revised judgement is predicated of the same world as the preceding — now false — judgement.
This objection was influentially articulated by Jacobi, when he complained that "without that presupposition [of things in themselves] I could not enter into the system, but with it I could not stay within it" (Jacobi 1787, 336).
It is there that Jacobi made the famous quip: 'Without the presupposition [of the "thing in itself,"] I was unable to enter into [Kant's] system, but with it I was unable to stay within it'.
It is hard enough for victims to report their abuse without the presupposition that they won't be believed or, worse, that they will be immediately discredited and shamed.
