Category:History of logic

• History of logic

A

• Algebraic logic
• Analytic philosophy
• Anviksiki
• Argument–deduction–proof distinctions

B

• Bernard Bolzano
• Boole's syllogistic
• George Boolos

C

• Catch-22 (logic)
• Catuṣkoṭi
• Classical logic
• Concatenation theory
• John Corcoran (logician)
• Critical Rationalism

E

• Existential graph

F

• History of the function concept

H

• Habib ibn Bahriz
• Hetucakra
• History of type theory

I

• Illuminationism
• Inclusion (logic)
• Indian logic
• Inference
• Information theory
• Insolubilia
• Logic in Islamic philosophy

J

• Jaina seven-valued logic

K

• William Kneale

L

• Ernest Lepore
• Logic in China
• Logic Lane
• Logica nova
• Lwów–Warsaw school

M

• Memory wheels
• Minimal axioms for Boolean algebra
• Münchhausen trilemma

N

• Ernest Nagel
• Non-classical logic
• Novum Organum
• Nyaya
• Nyāya Sūtras

O

• Organon

P

• Polish Logic
• Port-Royal Logic
• Pramāṇa-samuccaya
• Principles of Mathematical Logic
• Prior Analytics

R

• Ramism
• Rational fideism
• Ratnakīrti
• Hans Reichenbach
• Rhetoric

S

• Śaṅkaranandana
• School of Names
• Stanhope Demonstrator
• Sum of Logic
• Supposition theory
• Systems of Logic Based on Ordinals

T

• Tarka-Sangraha
• Tattvachintamani
• Term logic
• Tetralemma
• Trairūpya
• Kazimierz Twardowski

W

• What the Tortoise Said to Achilles