Productive reason See THEORETICAL REASON. professional ethics, a term designating one or...

Programming language See COMPUTER THEORY.

Programs, modal logic of See DYNAMIC LOGIC.

Projectible predicate See GRUE PARADOX.

Projection See HEIDEGGER.

Projectivism See MORAL PSYCHOLOGY.

Prolepsis See EPICUREANISM, HELLENISTIC PHILOSO-. PH.

Proof See PROOF THEORY.

Proof by recursion also called proof by mathematical induction, a method for conclusively...

Proof-theoretic reflection principles See REFLEC -. TION PRINCIPLE. proof theory, a branch of...

Proof, finitary See HILBERT'S PROGRAM.

Proof, indirect See REDUCTIO AD ABSURDUM.

Proper class See CLASS.

Proper names, causal theory of See CAUSAL THEORY. OF PROPER NAME.

Proper sensibles See ARISTOTLE.

Proper symbol See SYNCATEGOREMATA.

Properly basic relief See EVIDENTIALISM, PLAN -. TING.

Properties of terms, doctrine of See SHERWOOD.

Property roughly, an attribute, characteristic, feature, trait, or aspect. Intensionality. There...

Property, accidental See RELATION.

Property, Cambridge See CAMBRIDGE CHANGE.

Property, consequential See SUPERVENIENCE.

Property, extrinsic See RELATION.

Property, hereditary See RELATION.

Property, impredicative See TYPE THEORY.

Property, intrinsic See RELATION.

Property, non-predicative See TYPE THEORY.

Property, phenomenal See QUALIA.

Property, predicative See TYPE THEORY.

Proportionality, principle of See CAJETAN.