Those who "knowingly" taught or asserted them as true would suffer automatic excommunication, with the implied threat of the medieval Inquisition if they persisted.
Hence, for eliminativism to be asserted as a thesis, the eliminativist must believe that it is true; if that is the case, then there are beliefs and the eliminativist claim is false.
Hence, for eliminative materialism to be asserted as a thesis, the eliminativist herself must believe that it is true.
Or she might assert as little as is needed to preserve the basic modal inferences from actuality: for example, every true P is possibly true, and actually true, but this is the limit of literal modal truth.
Whenever one asserts, one affirms as true two propositions: explicitly the proposition one articulates as true despite one's belief that it is not, and implicitly the proposition that one believes what one is assertively articulating.
Church's formalism originally introduced in Church 1932, 1933 as a set of postulates for the foundation of formal logic includes conversion (i.e., computational) rules, which allow the replacement of terms with intensionally equivalent ones, and rules for asserting certain terms as "true".
Yes, Rexroth means to tell us, in choosing to live we assert our autonomy, but what's just as true is that living is the only choice we have.
Demurrer, in law, a process whereby a party hypothetically admits as true certain facts alleged by the opposition but asserts that they are not sufficient grounds for relief, or redress.
In this case a statement is regarded as true if conditions obtain that warrant our asserting the statement.
Although we speak of law-sentences as true or false, "they do not state truths or falsehoods of the same type as those asserted by the statements of fact to which they apply or are supposed to apply" (1949a, 116-7).
