Category:論理学

Logic

Foundations of mathematics

IMRAD

Modal logic

Many-valued logic

Quantum logic

Automated theorem proving

Evidence of absence

Mathematical logic

Critical thinking

Counterexample

Formal logic

First principle

Pragmaticism

Philosophy of logic

Formation rule

Philosophical logic

Herbrandization

Interpretability logic

Colorless green ideas sleep furiously

Not even wrong

Two wrongs don't make a right