logic
study of correct reasoning
probabilistic logic
use of probability and logic to deal with uncertain situations
logic in computer science
academic discipline
free logic
form of logic with fewer existential presuppositions than classical logic
computational logic
use of logic to perform or reason about computation
Theory of obligationes
medieval form of debate game
dependence logic
type of logic
pure inductive logic
type of logic
philosophical logic
application of logical methods to philosophical problems
combinatory logic
logical formalism using combinators instead of variables
deviant logic
class of non-classical logics
substructural logic
type of logic
verbal reasoning
understanding and reasoning using concepts framed in words
independence-friendly logic
type of logic
syllogism
type of logical argument
formal logic
study of propositions, statements, and deductive arguments; practice of deriving conclusions from premises
informal logic
branch of logic related more to reasoning and argumentation
mathematical logic
subfield of mathematics
game semantics
approach to formal semantics