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:
“A cigarette is the perfect type of a perfect pleasure. It is exquisite, and it leaves one unsatisfied. What more can one want?”
—Oscar Wilde (1854–1900)
“Post-structuralism is among other things a kind of theoretical hangover from the failed uprising of ‘68Ma way of keeping the revolution warm at the level of language, blending the euphoric libertarianism of that moment with the stoical melancholia of its aftermath.”
—Terry Eagleton (b. 1943)
“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)