# nLab deductive reasoning

philosophy

Science of Logic

### Of mathematics

• philosophy of mathematics?

# Contents

## Idea

Deduction is the process of passing from premises to conclusions in such a way that the truth of the former necessitates the truth of the latter. In other words, deductive logic studies what it is for an argument to be valid.

## Formalizations

A formalization of the process of deductive reasoning are deductive systems in logical frameworks such as natural deduction and sequent calculus.

Revised on September 28, 2012 11:33:38 by Urs Schreiber (82.169.65.155)