The article focuses on undefined character of primitive ideas of proposition and propositional function in selected logical works by Bertrand Russell, mainly with emphasis on elucidation of the subject in Principia Mathematica. It is thereafter compared with the conception of definitions as mere typographical conveniences and two common ways of defining the ideas are considered: the classical dictum about symbols and their truth and falsehood and an inductive definition on complexity of composition.
Financed by the National Centre for Research and Development under grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program:
SYNAT - “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.