proceduralism See JURISPRUDENCE.

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, finitary See HILBERT'S PROGRAM.

proof, indirect See REDUCTIO AD ABSURDUM.

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...

proper class See CLASS.

properly basic relief See EVIDENTIALISM, PLAN -. TING.

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

proper sensibles See ARISTOTLE.

proper symbol See SYNCATEGOREMATA.

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.