Symbolic Logic

Symbolic Logic, co-authored by C.I. Lewis and Cooper Harold Langford in 1932, is a significant work in the field of logic. Lewis, an American logician and philosopher, criticized existing formal systems that used material implication. He proposed an alternative system based on strict implication, which is concerned with the meanings of propositions rather than solely their truth values. This approach aimed to create a formal relationship that more closely aligned with the intuitive understanding of implication, rejecting systems that did not strictly adhere to what is implicit in experience. The development of symbolic logic, which represents logical structures in formal languages, was a pivotal moment for analytic philosophy, offering new ways to analyze concepts and resolve philosophical puzzles.123