Glossary
Logic and Metalogic

Abduction; abduction

Reasoning that consists in inferring probable causes from an observed fact.

Abstraction; abstraction

The operation of separating and considering in isolation ideas or things that are united in essence.

Absurdity; absurdity

An idea or concept whose existence seems unjustified. It results from the contradiction of a logical system by the fact.

Assertion; affirmation

Giving truth to a judgment.

Algorithm; algorithm

A finite, unambiguous sequence of instructions and operations for solving a class of problems.

Allegation; allegation

Assertion, ill-founded or false or misleading assertion.