Hostname: page-component-7f64f4797f-stzjp Total loading time: 0 Render date: 2025-11-04T02:35:31.721Z Has data issue: false hasContentIssue false
  • English
  • Français

On a Practical Way of Describing Formal Deductions

Published online by Cambridge University Press:  22 January 2016

Katuzi Ono
Katuzi Ono*
Affiliation:
Mathematical Institute, Nagoya University
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Even though the logical structure of any formal deduction can be nicely expressed in a tree-form diagram, it is more practical to write it down in a series of propositions. In each step of inference, we usually deduce a proposition on basis of some foregoing propositions. However, global aspects of mathematical theories show us that this is not always the case. For, in mathematical theories, theorems are usually stated before their proofs. In fact, also in proofs of theorems, it is often practical that we prove propositions after stating them. Accordingly, in our real way of thinking, we arrange propositions going back and forth in the logical order.

Information

Type
Research Article
Information
Nagoya Mathematical Journal , Volume 21 , December 1962 , pp. 115 - 121
Copyright
Copyright © Editorial Board of Nagoya Mathematical Journal 1962

References

[1] Gentzen, G., Untersuchungen über das logischen Schliessen. Math. Z., 39, pp. 176–210, 405–431 (1935).Google Scholar
[2] Kuroda, S., An investigation on the logical structure of mathematics (I). Hamburger Abhandlungen, 22, pp. 242–266 (1958).Google Scholar
[3] Ono, K., A theory of mathematical objects as a prototype of set theory. Nagoya J. of math., vol. 20 (in press).Google Scholar