| Natural Deduction Logic |
Article Index for Natural |
Website Links For Natural |
Information AboutNatural Deduction Logic |
|
Hypothetical Syllogism HS:If A then B, if B then C; therefore If A then C. Consider the following ''deduction'' of hypothetical syllogism HS, which employs the natural deduction known as modus ponens, in order to 'deduce' that hypothetical syllogism is a natural deduction. Let A,B denote arbitrary statements. # If A then B to be true # If B then C to be true # A scope of first assumption # B Modus Ponens # C Modus Ponens # If A then C scope of first assumption QED As can be seen, this proof that hypothetical syllogism is a natural deduction, relied on the reasoning agent already knowing that modus ponens is a natural deduction. Modus Ponens MP: If A then B, A; therefore B Thus, in order for a Reasoning Agent to learn that hypothetical syllogism is a valid natural deduction from this deduction(alternatively Reasoning Event ), the reasoning agent had to already know that modus ponens is a natural deduction. Modus ponens is A Priori Knowledge of this reasoning event (knowledge possessed at the beginning of the reasoning event), and hypothetical syllogism is the A Posteriori Knowledge of this reasoning event(new knowledge). A reasoning agent who already knows enough natural deductions, so that in principle (memory limitations aside), he can determine whether or not some statement is a natural deduction, is said to be Logically Omnisicent . Natural deduction was rigorously worked on by S. Jaskowski in 1934, and G. Gentzen in 1935. However, serious work using natural deduction goes as far back as the ancient Greeks, who worked out the mathematics of geometry, using natural deductions. The greatest example of this, is Euclid's elements. Thus, the technique of natural deduction has been around for as long as there have been reasoners. REFERENCES Hintikka, J. ''Knowledge and Belief: An Introduction to the Logic of the Two Notions'', Cornell University Press, Ithaca: 1962. EXTERNAL LINKS |
|
|