Return to the logic wiki

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.

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 philosophers and logicians 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.

Logic is the study of formal systems of reasoning, especially of the deductive variety. It is one of the few fundamental philosophical subdisciplines, along with metaphysics, ontology and aesthetics. Logic has taken on considerable importance in recent mathematical developments, and one of the concerns of philosophy-of-mathematics involves the role, extent and conceptual architecture of various kinds of logical or formal axiomatic systems.

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.

Logic is the study of formal systems of reasoning, especially of the deductive variety.

Logic is the study of formal systems of reasoning, especially of the deductive variety. It is one of the few fundamental philosophical subdisciplines, along with metaphysics, ontology and aesthetics. Logic has taken on considerable importance in recent mathematical developments, and one of the concerns of philosophy-of-mathematics involves the role, extent and conceptual architecture of various kinds of logical or formal axiomatic systems.