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:
“Letters are above all useful as a means of expressing the ideal self; and no other method of communication is quite so good for this purpose.... In letters we can reform without practice, beg without humiliation, snip and shape embarrassing experiences to the measure of our own desires....”
—Elizabeth Hardwick (b. 1916)
“If all feeling for grace and beauty were not extinguished in the mass of mankind at the actual moment, such a method of locomotion as cycling could never have found acceptance; no man or woman with the slightest aesthetic sense could assume the ludicrous position necessary for it.”
—Ouida [Marie Louise De La Ramée] (1839–1908)
“It is merely a linguistic peculiarity, not a logical fact, that we say “that is red” instead of “that reddens,” either in the sense of growing, becoming, red, or in the sense of making something else red.”
—John Dewey (1859–1952)
“The source of Pyrrhonism comes from failing to distinguish between a demonstration, a proof and a probability. A demonstration supposes that the contradictory idea is impossible; a proof of fact is where all the reasons lead to belief, without there being any pretext for doubt; a probability is where the reasons for belief are stronger than those for doubting.”
—Andrew Michael Ramsay (1686–1743)