Neutral Predication

Predication 1 Predication

Predication

Plural Predication

My thesis consists of three self-contained but interconnected papers. In the first one, 'Word and Objects', I assume that it is possible to quantify over absolutely everything, and show that certain English sentences containing collective predicates resist paraphrase in first-order languages and even in first-order languages enriched with plural quantifiers. To capture such sentences I develop ...

Rumfitt’s Theory of Predication∗

Before Frege there was no satisfactory way of explaining both the validity of the inference of (B) from (A) and also that of the inference of (C) from (B). Frege’s solution has several components, but one key element is his ability to decompose (B) in at least two different ways. The unasserted proposition contained in (B) can be seen as obtained by attaching the expression of generality ‘someb...

Dataflow Predication Aaron

Predication facilitates high-bandwidth fetch and large static scheduling regions, but has typically been too complex to implement comprehensively in out-of-order microarchitectures. This paper describes dataflow predication, which provides per-instruction predication in a dataflow ISA, low predication computation overheads similar to VLIW ISAs, and low complexity out-of-order issue. A twobit fi...