From these observations, propositions can be made to explain the discrepancies observed between some data obtained from static (batches) and dynamic (reactor and column) experiments.
Remark 2.2 In fact, proving Proposition 2.1 can be made even easier by working in the Banach space C ( I ) instead of C 1 ( I ) ; see, for instance, [9].
There is no doubt that there are some propositions (statements) that can be made after acquaintance with works of art that could not be made before: for example, that this performance of Beethoven's Eroica Symphony was 47 minutes long, that this painting predominates in green, that this piece of sculpture originated about 350 bce.
So, on a B-theory, there can be future facts to make propositions about the future true; but, on an A-theory of type 1, a proposition about the future can be made true only by present and past facts together with timeless facts; and, on an A-theory of type 2, propositions both about the future and about the past, can be made true only by present facts together with timeless facts.
Most advocates maintain that propositions of different logical types can be made true by items from different ontological categories: e.g., propositions of some types are made true by facts, others just by individual things, others by events, others by tropes (cf., e.g. Armstrong 1997).
As Price (1996, 278 n.7) puts it in the context of endorsing Horwich's conclusion: "the hypothesis of time travel can be made to imply propositions of arbitrarily low probability.
Figure 7 shows that a diversity order of 3 is still achieved, which corroborates Proposition 4. In addition, two main conclusions can be made.
