Work
In 1927 Ramsey published the influential article Facts and Propositions, in which he proposed what is sometimes described as a redundancy theory of truth.
One of the theorems proved by Ramsey in his 1928 paper On a problem of formal logic now bears his name (Ramsey's theorem). While this theorem is the work Ramsey is probably best remembered for, he only proved it in passing, as a minor lemma along the way to his true goal in the paper, solving a special case of the decision problem for first-order logic, namely the decidability of (what is now called) Bernays–Schönfinkel–Ramsey class of first-order logic, as well as a characterization of the spectrum of sentences in this fragment of logic. Alonzo Church would go on to show that the general case of the decision problem for first-order logic is unsolvable (see Church's theorem). A great amount of later work in mathematics was fruitfully developed out of the ostensibly minor lemma, which turned out to be an important early result in combinatorics, supporting the idea that within some sufficiently large systems, however disordered, there must be some order. So fruitful, in fact, was Ramsey's theorem that today there is an entire branch of mathematics, known as Ramsey theory, which is dedicated to studying similar results.
His philosophical works included Universals (1925), Facts and propositions (1927), Universals of law and of fact (1928), Knowledge (1929), Theories (1929), On Truth (1929), and General propositions and causality (1929). Wittgenstein mentions him in the introduction to his Philosophical Investigations as an influence.
Read more about this topic: Frank P. Ramsey
Famous quotes containing the word work:
“The best thing about Sassy Seats is that grandmothers cannot figure out how they work and are in constant fear of the child’s falling. This often makes them forget to comment on other aspects of the child’s development, like why he is not yet talking or is still wearing diapers. Some grandmothers will spend an entire meal peering beneath the table and saying, “Is that thing steady?” rather than, “Have you had a doctor look at that left hand?””
—Anna Quindlen (20th century)
“All too soon these feet must hide
In the prison cells of pride,
Lose the freedom of the sod,
Like a colt’s for work be shod,”
—John Greenleaf Whittier (1807–1892)
“We ought, says Kant, to become acquainted with the instrument, before we undertake the work for which it is to be employed; for if the instrument be insufficient, all our trouble will be spent in vain. The plausibility of this suggestion has won for it general assent and admiration.... But the examination can be only carried out by an act of knowledge. To examine this so-called instrument is the same as to know it.”
—Georg Wilhelm Friedrich Hegel (1770–1831)