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:
“in the absence of feet, “a method of conclusions”;
“a knowledge of principles,”
in the curious phenomenon of your occipital horn.”
—Marianne Moore (1887–1972)
“Frankly, I adore your catchy slogan, “Adoption, not Abortion,” although no one has been able to figure out, even with expert counseling, how to use adoption as a method of birth control, or at what time of the month it is most effective.”
—Barbara Ehrenreich (b. 1941)
“Nature’s law says that the strong must prevent the weak from living, but only in a newspaper article or textbook can this be packaged into a comprehensible thought. In the soup of everyday life, in the mixture of minutia from which human relations are woven, it is not a law. It is a logical incongruity when both strong and weak fall victim to their mutual relations, unconsciously subservient to some unknown guiding power that stands outside of life, irrelevant to man.”
—Anton Pavlovich Chekhov (1860–1904)
“If any doubt has arisen as to me, my country [Virginia] will have my political creed in the form of a “Declaration &c.” which I was lately directed to draw. This will give decisive proof that my own sentiment concurred with the vote they instructed us to give.”
—Thomas Jefferson (1743–1826)