Repository | Series | Book | Chapter

206316

Meaningfulness and structure

Karl Menger

pp. 61-67

Abstract

During a visit to Poland in the summer of 1929, I learned about the parenthesis-free notation that Łukasiewicz had just devised for logic — a simple but fascinating idea. Today this symbolism is widely known and its variations are even utilized in mass-produced calculators; but at that time, probably no other Western mathematician was acquainted with it. So upon my return to Vienna, I spoke about it before my Mathematics Colloquium as well as in the Circle. The latter, I felt, should be informed of Łukasiewicz" idea since in the Tractatus Wittgenstein had emphasized how significant was "the apparently unimportant fact that the logical pseudo-relations such as ∨ and ⊃ (for or and implies) require parentheses — in contrast to the real relations." Łukasiewicz" notation demonstrated that the alleged requirement did not exist.

Publication details

Published in:

Menger Karl (1979) Selected papers in logic and foundations, didactics, economics. Dordrecht, Springer.

Pages: 61-67

DOI: 10.1007/978-94-009-9347-1_5

Full citation:

Menger Karl (1979) Meaningfulness and structure, In: Selected papers in logic and foundations, didactics, economics, Dordrecht, Springer, 61–67.