Type Theoretical Intensional Logic
Already in 1951, Alonzo Church had developed an intensional calculus. The semantical motivations were explained expressively, of course without those tools that we know in establishing semantics for modal logic in a formal way, because they had not been invented yet that time: Church has not provided formal semantic definitions.
Later, possible world approach to semantics provided tools for a comprehensive study in intensional semantics. Richard Montague could preserve the most important advantages of Church's intensional calculus in his system. Unlike its forerunner, Montague grammar was built in a purely semantical way: a simpler treatment became possible, thank to the new formal tools invented since Church's work.
Read more about this topic: Intensional Logic
Famous quotes containing the words type, theoretical and/or logic:
“They had supposed their formula was fixed.
They had obeyed instructions to devise
A type of cold, a type of hooded gaze.
But when the Negroes came they were perplexed.
These Negroes looked like men....”
—Gwendolyn Brooks (b. 1917)
“There are theoretical reformers at all times, and all the world over, living on anticipation.”
—Henry David Thoreau (1817–1862)
“Neither Aristotelian nor Russellian rules give the exact logic of any expression of ordinary language; for ordinary language has no exact logic.”
—Sir Peter Frederick Strawson (b. 1919)