P. J. Cohen's work on the generalised continuum hypothesis showed, in tandem with Gödel's relative consistency proof, that it and countless related set-theoretic propositions concerning the relations of the cardinality of a set to that of its powerset are undecidable by current axioms.
One straightforward grounding-theoretic proposal is this: x is a truthmaker for the proposition that p just in case [x exists] grounds $[p]$ (see Tahko 2013 for objections to this view).
SAL and JN undertook the analysis, developed the propositions and theoretic framework, and made critical revisions to the paper.
Though Bealer in some sense adopts an algebraic approach to propositions (see the above discussion), he apparently holds that propositions have no (set theoretic or mereological) parts, and so doesn't count as a structured proposition theorist in the sense in which the term is used here.
However, Bealer denies that these semantic values are in any sense set-theoretic members or mereological parts of the proposition.
In Remark 3, we provide a generalised version of inequality (1.8) (cf. Proposition 3) in the measure-theoretic (and probabilistic) form.
We provide a generalised version of the Ostrowski inequality (1.8) (cf. Proposition 3) in the measure-theoretic (and probabilistic) form in Remark 3.
This interpretation is in agreement with a previous proposition, based on an information-theoretic approach, according to which the ligand-contacting residues perform a dual role: a functional role in ligand recognition and a structural role as core residues [ 41].
On the near side, ambiguities, references, and issues of vagueness will be resolved so as to make the 'explicature' — the relevance theoretic replacement for 'what is said,' or 'the proposition expressed' — maximally relevant.
The importance of this proposition is that it connects a spectral theoretic object, namely (D zeta )), with ODE objects, namely the (theta _j)'s.
