Try Our Apps
New Words Added
the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition
© William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012
Cite This Source
Discover our greatest slideshows
New Words in the Dictionary: From...
11 Empowering Quotes About...
Baseball Slang True Fans Should...
Use One Of These Words To Avoid...
Browse more topics on our blog
What Is the Difference Between Discreet and Discrete?
Learn the correct uses of these two commonly confused homophones.
What Character Was Removed from the Alphabet?
What mistaken pronunciation gave this character its name?
This small mark has two primary uses: to signify possession or omitted letters.
How Do I Get a Word into the Dictionary?
People invent new words all the time, but which ones actually make it?
Word of the Day
Word Value for
Words With Friends
Nearby words for proof theory
proof of the pudding, the