### logic:

Inductive logic
* analyzes events to identify generalizations.
* goes in the reverse direction.
* is beyond the purview of neural networks
  - concerned with techniques for the appraisal of inductive arguments
* is the more lenient form of logic
  - study of arguments that aspire to be, at least, cogent

Informal logic
* generalization based on samples, or a hypothesis based on evidence.
* includes decision making and critical thinking.
* is logic
  - the reasoning out the Content of the argument

Interval logic
* field of mathematics dealing with reasoning over different time periods.
* translates a four bit value to a note number.

Intuitionistic logic
* admits a semantics given by topological spaces.
* includes classical logic as a special case.
* limit the power of proof by contradiction.

Mathematical logic
* furnishes clear answers to precisely defined questions.
* is system of logic
* is the basis of computer science and machine languages
  - use of symbols instead of words to write mathematical statements
* modern branch of mathematics.
* provides a precise framework for mathematical assertions and deductive systems.

Predicate logic
* can break sentences down into their subjects and predicates.
* more general formalism with more expressive power.
* precise logical system developed to formally express mathematical reasoning.
+ Fuzzy logic: Artificial Intelligence
  * Predicate logic says calculate the point to be at to catch the ball. Fuzzy logic says because of wind or other things you might not be in the correct place so just keep getting closer until you catch the ball.

Propositional logic
* is formal logic
  - symbolic logic
* sub-set of propositional logic.
* uses variables to represent statements.

Symbolic logic
* helps formulate useful queries to search engines.
* is logic
  - system of logic
* is the application of formal, mathematical methods to human reasoning
  - methods to reasoning
  - useful for simplifying complicated electrical circuits
* rigorous introduction to formal logic.

Temporal logic
* are extensions of classical logic, with operators that deal with time.
* is obtained by adding temporal connectives to a logic language.
* provides a simple paradigm for event scheduling.

Traditional logic
* is chiefly concerned with the analysis of the syllogism.
* studies the validity of syllogistic arguments.

### long-term investment:

Venture capital
* focuses on investing in private, young, fast growing companies.
* is an important source of equity for start-up companies
  - industry that continuously reinvents itself
  - investment in an unproven business
  - capital
  - described as risk capital for new ventures
  - dominated by men
  - medium term equity funding for business
* is money provided by professionals to startup rapidly growing companies
  - that is risked
  - often a second career begun after a successful career in management or finance
  - one of three main sources of funding used to start and grow new companies
  - particularly relevant to the development and transfer of new technologies
  - patient capital
  - the lifeblood of new technology companies
  - what creates an industry around a new idea
* long-term investment.
* relationship business.
* speculative investment with high risk and potential high reward.
* spurs growth at the critical early stages of growing companies' development.
  * can also include managerial and technical expertise. Most venture capital comes from a group of rich investors, investment banks and other financial institutions that pool such investments or partnerships. This form of raising capital is popular among new companies, or ventures.
* subset of the larger private equity asset class.
* type of equity financing.