Method of Logical Proof
When a proof is done by the Kalish and Montague method, the lines have an indentured structure of "proofs within proofs." The first line of the outermost proof always starts with the word "Show" followed by the statement to be proven. Additional "Show" lines can appear anywhere within the proof, thereby commencing sub-proofs. Immediately after a "Show" line, the subsequent lines are indented one level. When a proof at any level is completed, a box is drawn around the lines in that indentation, making them inaccessible thereafter, and the word "Show" is canceled, whereupon the statement after the canceled "Show" becomes an active line, accessible at the next level out. A proof is finished when all the lines except the first line are enclosed in one or more boxes, and the word "Show" on the first line is canceled. The method is extremely elegant and greatly aides the understanding and teaching of logic.
The proof system is set forth in detail in Logic: Techniques of Formal Reasoning by Richard Montague and Donald Kalish, which was published in 1964. Montague died tragically in 1971. Kalish published a second edition of the book in 1980 with Gary Mar. Since the late 1960s, these books have been used as a textbook at many universities, including UCLA.
Read more about this topic: Donald Kalish
Famous quotes containing the words method of, method, logical and/or proof:
“I have a new method of poetry. All you got to do is look over your notebooks ... or lay down on a couch, and think of anything that comes into your head, especially the miseries.... Then arrange in lines of two, three or four words each, don’t bother about sentences, in sections of two, three or four lines each.”
—Allen Ginsberg (b. 1926)
“The good husband finds method as efficient in the packing of fire-wood in a shed, or in the harvesting of fruits in the cellar, as in Peninsular campaigns or the files of the Department of State.”
—Ralph Waldo Emerson (1803–1882)
“It is possible—indeed possible even according to the old conception of logic—to give in advance a description of all ‘true’ logical propositions. Hence there can never be surprises in logic.”
—Ludwig Wittgenstein (1889–1951)
“If some books are deemed most baneful and their sale forbid, how, then, with deadlier facts, not dreams of doting men? Those whom books will hurt will not be proof against events. Events, not books, should be forbid.”
—Herman Melville (1819–1891)