논리의 대수 수학.The Algebra of Logic, by Louis Couturat
유럽에서 학자들이 철학 논리학 대수 수학에 대해서 쓴 책. 매우 이해가 어려운 학문 분야임.
LOUIS COUTURAT
AUTHORIZED ENGLISH TRANSLATION
BY
LYDIA GILLINGHAM ROBINSON, B. A.
With a Preface by PHILIP E. B. JOURDAIN. M. A. (Cantab.)
0.1 Introduction
The algebra of logic was founded by George Boole (1815-1864); it was
developed and perfected by Ernst Schr？der (1841-1902). The fundamental
laws of this calculus were devised to express the principles of reasoning, the
laws of thought. But this calculus may be considered from the purely formal
point of view, which is that of mathematics, as an algebra based upon certain
principles arbitrarily laid down. It belongs to the realm of philosophy to decide
whether, and in what measure, this calculus corresponds to the actual operations
of the mind, and is adapted to translate or even to replace argument; we cannot
discuss this point here. The formal value of this calculus and its interest for the
mathematician are absolutely independent of the interpretation given it and of
the application which can be made of it to logical problems. In short, we shall
discuss it not as logic but as algebra.