Namely, the postulate of formal equality demands more than consistency with one's subjective preferences.
Increase in BCL-2 upon hCG treatment in human colorectal and lung cancer cells in the current study suggests that inhibition of the mitochondrial pathway of apoptosis also possibly contributes to hCG-induced protection from drug-induced tumor cell death, although this postulate awaits formal verification.
Grice took an opposite view to Strawson and part of the point of his account of implication, as opposed to meaning or saying, was to generate an explanation for the data that Strawson appealed to in arguing for a semantic difference between ordinary language and formal logic, without having to postulate a semantic difference.
In trying to explain how Bush always an active man and an avid jogger could have run such a lifeless campaign and performed so poorly in formal debates with Clinton, some analysts postulated that Bush was hampered by medication he had been taking to treat his atrial fibrillation, reportedly caused by Graves disease.
In set theory, however, as is usual in mathematics, sets are given axiomatically, so their existence and basic properties are postulated by the appropriate formal axioms.
In formal terms, the 'amyloid cascade hypothesis' postulates that Aβ accumulation is sufficient to trigger the full spectrum of neuropathological and cognitive sequelae characterizing AD [ 4].
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".
In this paper, we present a formal analysis of the deficiency of the standard postulates alone, and we show how to solve the problem by an additional postulate of independence.
Bart (2001) postulates a mission statement as a formal written document constructed with the intension of capturing the core reason for the existence of the organization, which is the primary purpose that it wishes to accomplish.
The common feature is that in each case some formal or "neat" properties of objects that had to be postulated in axioms before could now be derived as logical consequences of definitions.
