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 is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical...

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

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

Appendix:Glossary of logic in Wiktionary, the free dictionary. This is a glossary of logic. Logic is the study of the principles of valid reasoning and...

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

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

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