This section has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these template messages)
This article may need to be rewritten to comply with Wikipedia's quality standards. You can help. The talk page may contain suggestions.(September 2022)
This article relies excessively on references to primary sources. Please improve this article by adding secondary or tertiary sources. Find sources: "Science of Logic" – news · newspapers · books · scholar · JSTOR(September 2022) (Learn how and when to remove this message)
This article possibly contains original research. Please improve it by verifying the claims made and adding inline citations. Statements consisting only of original research should be removed.(September 2022) (Learn how and when to remove this message)
(Learn how and when to remove this message)
Title page of original 1816 publication
Georg Wilhelm Friedrich Hegel
Hegelianism
Forerunners
Aristotle
Böhme
Spinoza
Rousseau
Kant
Goethe
Fichte
Hölderlin
Schelling
Principal works
The Phenomenology of Spirit
The Science of Logic
Encyclopedia of the Philosophical Sciences
Elements of the Philosophy of Right
Schools
Absolute idealism
British idealism
German idealism
Related topics
Right Hegelians
Young Hegelians
Related categories
Georg Wilhelm Friedrich Hegel
v
t
e
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 his vision of logic. Hegel's logic is a system of dialectics, i.e., a dialectical metaphysics: it is a development of the principle that thought and being constitute a single and active unity. Science of Logic also incorporates the traditional Aristotelian syllogism: it is conceived as a phase of the "original unity of thought and being" rather than as a detached, formal instrument of inference.
For Hegel, the most important achievement of German idealism, starting with Immanuel Kant and culminating in his own philosophy, was the argument that reality (being) is shaped by thought and is, in a strong sense, identical to thought. Thus ultimately the structures of thought and being, subject and object, are identical. Since for Hegel the underlying structure of all of reality is ultimately rational, logic is not merely about reasoning or argument but rather is also the rational, structural core of all of reality and every dimension of it. Thus Hegel's Science of Logic includes among other things analyses of being, nothingness, becoming, existence, reality, essence, reflection, concept, and method.
Hegel considered it one of his major works and therefore kept it up to date through revision.
Science of Logic is sometimes referred to as the Greater Logic to distinguish it from the Lesser Logic, the moniker given to the condensed version Hegel presented as the "Logic" section of his Encyclopedia of the Philosophical Sciences.
ScienceofLogic (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 oflogic 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 oflogic deals with the study of the development of the scienceof valid inference (logic). Formal logics developed in ancient times in India...
Philosophy oflogic is the area of philosophy that studies the scope and nature oflogic. It investigates the philosophical problems raised by logic, such...
Spirit, The ScienceofLogic, his teleological account of history, and his lectures at the University of Berlin on topics from his Encyclopedia of the Philosophical...
the social sciences (e.g., economics, psychology, and sociology), which study individuals and societies; and the formal sciences (e.g., logic, mathematics...
three major groups: Formal sciences: the study of formal systems, such as those under the branches oflogic and mathematics, which use an a priori, as opposed...
ScienceLogic is a software and service vendor. It produces information technology (IT) management and monitoring software for IT Operations and cloud computing...
Computational logic is the use oflogic to perform or reason about computation. It bears a similar relationship to computer science and engineering as...
philosophies of Charles Sanders Peirce, William James, John Dewey, and others, inquiry is closely associated with the normative scienceoflogic. In its inception...
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...
referred to as the Lesser Logic (or Shorter Logic) to distinguish it from the Greater Logic, the moniker given to Hegel's ScienceofLogic. The Encyclopedia has...
also notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and...
properties of 'matter in motion as a whole'." After reading Hegel's ScienceofLogic in 1914, Lenin made some brief notes outlining three "elements" oflogic. They...
Fuzzy logic is a form of many-valued logic in which the truth value of variables may be any real number between 0 and 1. It is employed to handle the concept...
history ofscience, being a strong influence on scientists such as Dirac. A System ofLogic also had an impression on Gottlob Frege, who rebuked many of Mill's...
of a projected "System ofScience", which would have contained the ScienceofLogic "and both the two real sciencesof philosophy, the Philosophy of Nature...
combinatory logic. The upshot of these historical contingencies was that until theoretical computer science began taking an interest in combinatory logic in the...
Logic is the formal scienceof using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic...
The Logicof Scientific Discovery is a 1959 book about the philosophy ofscience by the philosopher Karl Popper. Popper rewrote his book in English from...
contains logic symbols. Without proper rendering support, you may see question marks, boxes, or other symbols instead oflogic symbols. In logic, a set of symbols...
Formal science is a branch ofscience studying disciplines concerned with abstract structures described by formal systems, such as logic, mathematics...
called epistemology and the philosophy ofscience. He saw logic as the formal branch of semiotics or study of signs, of which he is a founder, which foreshadowed...
period of nearly two thousand years. The mathematical scienceoflogic likewise had revolutionary breakthroughs after a similarly long period of stagnation...
and mathematical logic, Boolean algebra is a branch of algebra. It differs from elementary algebra in two ways. First, the values of the variables are...