Image: Wikimedia Commons

logic

Study of correct reasoning

Entityclass used in Universal Decimal Classification formal science branch of philosophyQ8078

Instance of: class used in Universal Decimal Classification
, formal science
, branch of philosophy
+1 more
Subclass of: scientific study
Part of: mathematics
, philosophy

Overview

From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0

Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics.

Overview

All data

109 statements · 13% with external sources · numbers in brackets are citations

On other databases

75 identifiers linking logic across the web's reference databases

Data quality

109

statements

13%

externally sourced

Source last edited October 3, 2026. AIDB refreshes this page daily.

Suggest a fact or correction

Links

Use this data

curl https://aidb.si/api/v1/entities/Q8078

API docs, limits & keys

Cite this page

AIDB. (2026). logic (Q8078). Retrieved from https://aidb.si/e/logic-Q8078