History and Philosophy of Logic · 2006 · 15 citations · 8 references
HumanitiesMathematicsPhilosophyLogicPhilosophy Of LanguagePhilosophy Of MathematicsFirst-order LogicMathematical LogicPredicate LogicGödel LogicType Theory
This article is an attempt to present Gödel's discussion on concepts, from 1944 to the late 1970s, in particular relation to the thought of Frege and Russell. The discussion takes its point of departure from Gödel's claim in notes on Bernay's review of ‘Russell's mathematical logic’. It then retraces the historical background of the notion of intension which both Russell and Gödel use, and offers some grounds for claiming that Gödel consistently considered logic as a free-type theory of concepts, called intensions, considered as the denotations of predicate names.
8
Introduction to Mathematical Logic.
Angelo Margaris, Alonzo Church · American Mathematical Monthly · 1957 · 935 citations
David Woodruff Smith, J. N. Mohanty · The Philosophical Review · 1986 · 88 citations