Index

A

B

C

D-E

F-H

I

J-N

O-R

S

T

U-Z

"only if"

"or", exclusive

"or", inclusive

p.r.o.'s

Possibility

Predicate rules (summary)

Predicate tableaux

Predicates

Predicates and truth-functors

Predicates, 2-place etc

Premise

Primary reference

Propositional calculus, language of

Propositional language

Propositional rules (summary)

Purely referential occurrences of designators

Quantification, domain of

Quantifiers

Quantifiers, existential

Quantifiers, universal

Quantifiers, vacuous

Reflexive

Reflexivity

Relations, binary

Relations, formalising claims about

Relations, tableau proof example

Right hand rule for identity

Rules: which tableau rules can I use?

Rule VII

Russell's theory of descriptions