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

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 of logic 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 science of logic. In its inception...

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

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

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

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

called epistemology and the philosophy of science. He saw logic as the formal branch of semiotics or study of signs, of which he is a founder, which foreshadowed...

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

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

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

construction of a physical model of all of Boolean logic, and therefore, all of the algorithms and mathematics that can be described with Boolean logic. Logic circuits...

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

Non-classical logics (and sometimes alternative logics) are formal systems that differ in a significant way from standard logical systems such as propositional...

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

branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals...

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

contains logic symbols. Without proper rendering support, you may see question marks, boxes, or other symbols instead of logic symbols. In logic, a set of symbols...

systems includes Indian logic of Pāṇini, syllogistic logic of Aristotle, propositional logic of Stoicism, and Chinese logic of Gongsun Long (c. 325–250...

awarding of funding. The scope of the annual BCTCS Conference includes all aspects of logic, including mathematical logic, logic in computer science, philosophical...