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

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

referred to as the Lesser Logic (or Shorter Logic) to distinguish it from the Greater Logic, the moniker given to Hegel's Science of Logic. The Encyclopedia has...

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

philosophies of Charles Sanders Peirce, William James, John Dewey, and others, inquiry is closely associated with the normative science of logic. In its inception...

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

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

properties of 'matter in motion as a whole'." After reading Hegel's Science of Logic in 1914, Lenin made some brief notes outlining three "elements" of logic. They...

science that are concerned with formal systems, such as logic, mathematics, theoretical computer science, information theory, systems theory, decision theory...

rests chiefly upon the Phenomenology of Spirit, the Science of Logic, and his teleological account of history. Throughout his career, Hegel strove to correct...

Logic is the formal science of using reason and is considered a branch of both philosophy and mathematics and to a lesser extent computer science. Logic...

history of science, being a strong influence on scientists such as Dirac. A System of Logic also had an impression on Gottlob Frege, who rebuked many of Mill's...

Linear logic is a substructural logic proposed by French logician Jean-Yves Girard as a refinement of classical and intuitionistic logic, joining the...

of a projected "System of Science", which would have contained the Science of Logic "and both the two real sciences of philosophy, the Philosophy of Nature...

The Logic of Scientific Discovery is a 1959 book about the philosophy of science by the philosopher Karl Popper. Popper rewrote his book in English from...

ScienceLogic is a software and service vendor. It produces information technology (IT) management and monitoring software for IT Operations and cloud computing...

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

Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as...

In logic and mathematics, the converse of a categorical or implicational statement is the result of reversing its two constituent statements. For the implication...

also notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category, and...

linguistics, and computer science. First-order logic uses quantified variables over non-logical objects, and allows the use of sentences that contain variables...

Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory...

on Logic in Computer Science (LICS) is an annual academic conference on the theory and practice of computer science in relation to mathematical logic. Extended...

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

Rules of inference are ways of deriving conclusions from premises. They are integral parts of formal logic, serving as norms of the logical structure of valid...

metatheory of logic. Whereas logic studies how logical systems can be used to construct valid and sound arguments, metalogic studies the properties of logical...

result of the union of the abstract work of the understanding and the concrete input of sensation." Georg Wilhelm Friedrich Hegel: The Science of Logic, Cambridge...

Description logics (DL) are a family of formal knowledge representation languages. Many DLs are more expressive than propositional logic but less expressive...

In logic, philosophy, and theoretical computer science, dynamic logic is an extension of modal logic capable of encoding properties of computer programs...