Logicism
Logicism
OF
MATHEMATICS
LOGICISM
Logic
is the study of correct reasoning or good
arguments. It is often defined in a more narrow
sense as the science of deductively valid
inferences or of logical truths.
LOGICISM, school of mathematical thought
introduced by the 19th–20th-century German
mathematician Gottlob Frege and the British
mathematician Bertrand Russell, which holds that
mathematics is actually logic. Logicists contend that all
of mathematics can be deduced from pure logic, without
the use of any specifically mathematical concepts, such
as number or set.
Quine (1995)
LOGICISM, a mathematical truth and
logical demonstration go hand in hand.