Category:History of logic

A

• Ancient Greek logic (3 C, 27 P)

B

• Buddhist logic (21 P)

N

• Nyaya (1 C, 28 P)

S

• School of Names (5 P)

• 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
• Lwów–Warsaw school

M

• 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
• 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