The notion of a proposition as a set of possible worlds or states occupies central stage in probability theory, semantics and epistemology, where it serves as the fundamental unit both of information and meaning. But this fact should not blind us to the existence of prospects with a di¤erent structure. In the paper I examine the use of random variables in particular, proposition-valued random v...

Propositions form the basis for scientific research. The validity of a research study is, to a large extent, evaluated on the criteria of its propositions. For internal validity, study propositions provide information regarding precision of definitions, measurements, associations, confounding factors etc. that are considered in research. While for external validity, propositions form the premis...

Multimedia are becoming one of the most important elements of the user interface with regard to the acceptance of modern mobile devices. The multimodal content that is delivered and available for a wide range of mobile telephony terminals is indispensable to bind users to a system and its services. Currently available mobile devices are equipped with multimedia capabilities and decent processin...

Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is only evaluated if the first argument does not suffice to determine the value of the expression. In programming, short-circuit evaluation is widely used. We review proposition algebra [2010], an algebraic approach to propositional logic with side effects that models short-circuit evaluatio...

We present improvements to our incremental proposition-based summariser, which is inspired by Kintsch and van Dijk’s (1978) text comprehension model. Argument overlap is a central concept in this summariser. Our new model replaces the old overlap method based on distributional similarity with one based on lexical chains. We evaluate on a new corpus of 124 summaries of educational texts, and sho...

The proposition that Tweety is a bird coheres better with the proposition that Tweety has wings than with the proposition that Tweety cannot fly. This relationship of contrastive coherence is the focus of the present paper. Based on recent work in formal epistemology we consider various possibilities to model this relationship by means of probability theory. In a second step we consider differe...

Difficulty. The use of Proposition 5.5 to obtain Proposition 5.6 is inadequate if the reduction map rp on the set of distinct points among {P,Q,PQ} is not oneone. For example, if P , Q, and PQ are distinct and rp(P ) = rp(Q) = rp(PQ), then Proposition 5.5 shows that the intersection multiplicity for rp(P ) is ≥ 1, but it does not produce either a second or a third point on rp of the line. Thus ...