Science of Logic (SL; German: Wissenschaft der Logik, WdL), first published between 1812 and 1816, is the work in which Georg Wilhelm Friedrich Hegel outlined...

Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main...

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...

The history of logic deals with the study of the development of the science of valid inference (logic). Formal logics developed in ancient times in India...

the social sciences (e.g., economics, psychology, and sociology), which study individuals and societies; and the formal sciences (e.g., logic, mathematics...

Philosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic, such...

three major groups: Formal sciences: the study of formal systems, such as those under the branches of logic and mathematics, which use an a priori, as opposed...

Spirit, The Science of Logic, his teleological account of history, and his lectures at the University of Berlin on topics from his Encyclopedia of the Philosophical...

In computer science, separation logic is an extension of Hoare logic, a way of reasoning about programs. It was developed by John C. Reynolds, Peter O'Hearn...

combinatory logic. The upshot of these historical contingencies was that until theoretical computer science began taking an interest in combinatory logic in the...