On a Problem of Formal Logic

E381621

academic paper mathematics paper philosophy of mathematics paper

"On a Problem of Formal Logic" is a seminal philosophical and mathematical paper by F. P. Ramsey that contributed to the foundations of logic and helped inspire what is now known as Ramsey theory.

Try in SPARQL Jump to: Surface forms Statements Referenced by

All labels observed (3)

Label	Occurrences
On a Problem of Formal Logic canonical	2
Frank P. Ramsey 1930 paper on logic and combinatorics	1
Ramsey 1927 paper	1

Statements (44)

Predicate	Object
instanceOf	academic paper ⓘ mathematics paper ⓘ philosophy of mathematics paper ⓘ
associatedWith	Cambridge language philosophy circle ⓘ surface form: Cambridge school of analytic philosophy Cambridge University ⓘ surface form: University of Cambridge
author	F. P. Ramsey ⓘ F. P. Ramsey ⓘ surface form: Frank Plumpton Ramsey
contributedTo	Ramsey theory ⓘ
countryOfOrigin	United Kingdom ⓘ
era	20th-century logic ⓘ
field	combinatorics ⓘ mathematical logic ⓘ philosophy of logic ⓘ
hasConcept	Ramsey theory ⓘ surface form: Ramsey’s theorem coloring of combinations ⓘ combinatorial partition theorem ⓘ formal logical systems ⓘ homogeneous sets ⓘ infinite combinatorics ⓘ logical decision problem ⓘ truth and satisfiability in logic ⓘ
hasInfluenceOn	combinatorial number theory ⓘ combinatorial set theory ⓘ graph theory ⓘ model theory ⓘ philosophy of mathematics ⓘ proof theory ⓘ theory of computation ⓘ
hasTitle	On a Problem of Formal Logic self-link ⓘ
inspired	Ramsey theory ⓘ
language	English ⓘ
mainTopic	Ramsey theory ⓘ surface form: Ramsey-type theorems combinatorial principles ⓘ decision problems in logic ⓘ foundations of logic ⓘ
notableFor	contributions to the foundations of logic ⓘ early formulation of a Ramsey-type combinatorial principle ⓘ influencing later work on Ramsey theory ⓘ linking combinatorics with logical decision problems ⓘ
philosophicalTradition	analytic philosophy ⓘ
relatedTo	combinatorial logic ⓘ decision problem for logical calculi ⓘ infinite graphs and hypergraphs ⓘ partition calculus ⓘ

Referenced by (4)

Full triples — surface form annotated when it differs from this entity's canonical label.

F. P. Ramsey → notableWork → On a Problem of Formal Logic ⓘ

Ramsey theory → influencedBy → On a Problem of Formal Logic ⓘ

this entity surface form: Frank P. Ramsey 1930 paper on logic and combinatorics

On a Problem of Formal Logic → hasTitle → On a Problem of Formal Logic self-link ⓘ

1927 paper "A Contribution to the Theory of Taxation" → hasAlternativeName → On a Problem of Formal Logic ⓘ

subject surface form: A Contribution to the Theory of Taxation

this entity surface form: Ramsey 1927 paper