propositional function

Related Overviews

Gottlob Frege (1848—1925) German philosopher and mathematician, founder of modern logic


Bertrand Russell (1872—1970) philosopher, journalist, and political campaigner

Alfred North Whitehead (1861—1947) mathematician and philosopher


More Like This

Show all results sharing this subject:

  • Philosophy


Quick Reference

The concept introduced by Frege of a function taking a number of names as arguments, and delivering one proposition as the value. The idea is that ‘x loves y’ is a propositional function, which yields the proposition ‘John loves Mary’ for those two arguments (in that order). A propositional function is therefore roughly equivalent to a property or relation. In Principia Mathematica, Russell and Whitehead take propositional functions to be the fundamental functions, since the theory of descriptions could be taken as showing that other expressions denoting functions are incomplete symbols.

Subjects: Philosophy.

Reference entries