• History of logic

A

• Adhyavas?ya
• Algebraic logic
• Analytic philosophy
• Anviksiki
• Argument?deduction?proof distinctions
• J. L. Austin

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

• Susan Haack
• 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
• Lwow?Warsaw school

M

• Minimal axioms for Boolean algebra
• Munchhausen 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
• Pratibandhaka
• 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