logic : Idioms & Phrases

Index

alethic logic

  • noun the modal logic of necessity and possibility and contingency
WordNet

aristotelian logic

  • noun the syllogistic logic of Aristotle as developed by Boethius in the Middle Ages
WordNet

boolean logic

  • noun a system of symbolic logic devised by George Boole; used in computers
    Boolean algebra.
WordNet

chop-logic

Chop"-log`ic noun
Definitions
  1. One who bandies words or is very argunentative. Jocular Shak.
Webster 1913

deontic logic

  • noun the modal logic of obligation and permissibility
WordNet

doxastic logic

  • noun the modal logic of belief and disbelief
WordNet

epistemic logic

  • noun the modal logic of knowledge and uncertainty and ignorance
WordNet

formal logic

  • noun any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
    formal logic; mathematical logic.
WordNet

fuzzy logic

  • noun a form of mathematical logic in which truth can assume a continuum of values between 0 and 1
WordNet

logic bomb

  • noun a set of instructions inserted into a program that are designed to execute (or `explode') if a particular condition is satisfied; when exploded it may delete or corrupt data, or print a spurious message, or have other harmful effects
    slag code.
    • a disgruntled employee planted a logic bomb
WordNet

logic diagram

  • noun a graphical representation of a program using formal logic
    logical diagram.
WordNet

logic element

  • noun an electronic device that performs an elementary logic operation
WordNet

logic gate

  • noun a computer circuit with several inputs but only one output that can be activated by particular combinations of inputs
    gate.
WordNet

logic operation

  • noun an operation that follows the rules of symbolic logic
    logical operation.
WordNet

logic programing

  • noun a computer language designed in Europe to support natural language processing
    logic programing; Prolog.
  • noun creating a program that enables the computer to reason logically
    logic programing.
WordNet

logic programming

  • noun a computer language designed in Europe to support natural language processing
    logic programing; Prolog.
  • noun creating a program that enables the computer to reason logically
    logic programing.
WordNet

mathematical logic

  • noun any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
    formal logic; mathematical logic.
WordNet
  • noun the logical study of necessity and possibility
  • noun a system of logic whose formal properties resemble certain moral and epistemological concepts
WordNet

propositional logic

  • noun a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
    propositional calculus.
WordNet

symbolic logic

  • noun any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
    formal logic; mathematical logic.
WordNet

system of logic

  • noun a system of reasoning
    logical system; logic.
WordNet

To chop logic

  • to dispute with an affected use of logical terms; to argue sophistically.
Webster 1913