### logic:

Aristotelian logic
* is concerned with actual human thought
  - largely the art of deducing valid assertions by means of syllogisms
* uses terms such as major premise, minor premise, and conclusion.

### logic:

Boolean logic
* allows multiple key words to be used, joined by a logical operator.
* defines logical relationships between terms in a search
* enables a searcher to define sets and search on sets using Boolean operators.
* establishes specific relationships among search terms.
* helps refine searches.
* involves understanding how sets of things overlap.
* is basic to searching Boolean Logic Boolean logic is basic to searching
  - derived from a system used to manipulate sets in mathematics
  - simply a way of comparing individual bits
  - symbolic logic
  - the means by which computers combine terms to perform complex operations
  - used to increment or decrement the counter
* method for describing a set of objects or ideas.
* programming process for doing multilevel searches.
* refers to the logical relationship among search terms
  - relationships terms can have with one another
* represents a fundamental principle in searching information.
* uses a basic syntax made up of search terms and operators
  - three basic 'operators' or limiters to manipulate sets
* uses words called operators to determine whether a statement is true or false
* way to a tell a computer how words or data sets relate to each other.
* works in most search engines
  - with sets of propositions which are definitely true or definitely false

Business logic
* is represented as service collaboration descriptions stored in an enterprise model
  - the 'user' code in the system
* suggests that greater control in fewer hands increases market share and profits.

Categorical logic
* is primarily concernedwith categorical claims
  - the study of connections between formal logic and category theory
  - useful in a variety of ways
* sub-set of propositional logic.

Deductive logic
* Most deductive logic assumes that a proposition is either true or false.
* deals with rules for drawing valid conclusions from assump- tions.
* examines arguments in which the conclusion necessarily follows from the premises.
* is the process of reasoning from the general to the specific
  - stricter type of logic

Deontic logic
* is formal logic
  - the logic of obligation, permission and prohibition
* modal logic with operators for permission, obligation and prohibition.

Description logic
* Description Logics are a subset of relational logic.
* are a family of formal languages used for structured knowledge representation
  - knowledge representation languages
  - logics for modeling complex hierarchical structures
  - good candidates for representing complex objects

### logic:

Formal logic
* deals with the form or structure of an argument.
* is based on the relation of identity and simplicity of concatenation.
* is concerned with nothing but the rules of consistent thought
  - the method of deriving one truth from another
  - interested in the form or structure of reasoning
  - nothing more nor less than the behaviour of sets of things
  - system of logic
* is the study and analysis of good reasoning
  - of logical form
* means of expressing declarative knowledge.
* presents methods of recognizing and constructing valid arguments.
* proceeds without meaning and without intentionality.
* takes structural constraints as basic in characterizing possible uses.

Human logic
* can find no trustworthy evidence to prove, or disprove, the existence of unseen spirits.
* is limited to an assessment of our experiences
  - often in error pertaining to the growth of the jaws