Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

For questions about logic, whether it concerns syllogistic logic, mathematical logic or the nature of logic itself.

Logic is the study of formal systems of reasoning, especially of the deductive variety. It is one of the fundamental philosophical subdisciplines.

The traditional approach to logic, starting with Aristotle, is syllogistic logic. The introduction of mathematical methods during the late 19th century and with it the formulation of first-order logic have resulted in a complete transformation of the field. This development allowed to raise and answer questions about the foundations of mathematics. During the second part of the 20th century many philosophical logics have been introduced in order to tackle many other questions in philosophy.

Key notions of logic are formal languages, proofs and truth.

history | excerpt history