When1: 1926
When2: 1931
Who: Frank P. Ramsey [Ramsey, Frank P.]
What: philosopher/economist
Where: England
works\ Truth and Probability [1926]; Facts and Propositions [1927]; Foundations of Mathematics [1931]
Detail: He lived 1903 to 1930 and invented a taxation theory [1927], with pricing rules {Boiteux-Ramsey pricing rule}. He also determined optimal savings [1928], with models {optimal growth} {Ramsey model} using calculus of variations.
Epistemology
Scientific statements {Ramsey sentence} cannot reference theory. Rules do not state truths but only predict experience. Logic theory {simple type theory} can use theory of types with some recursion. Propositions are about classes whose members have type one level lower than proposition or class type. Only set theory needs reducibility axiom. Asserting proposition and asserting that proposition is true are the same thing, so the predicate IS TRUE is always redundant {redundancy theory of truth, Ramsey}. However, assertion can be too general, infinite, indeterminate, ambiguous, or unknown.
Social Sciences>Philosophy>History>Epistemology
6-Philosophy-History-Epistemology
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224