Logique symbolique moderne

Forme de logique formelle développée à partir du XIXᵉ siècle, employant un langage de symboles et de calculs pour représenter les inférences, par contraste avec la logique syllogistique aristotélicienne traditionnelle.