LOGÍSTICA
El término español ‘logística’ y sus equivalentes en varias lenguas (Logistic, Logistik, Logistique, Logistiek, etc.) ha sido usado durante un tiempo para designar lo que se ha llamado a veces «lógica moderna», a partir de Boole, a diferencia de la «lógica clásica» y «lógica tradicional». ‘Logística’ está hoy en desuso; se reserva casi únicamente para expresiones como ‘cálculo logístico’. En vez de lo que se llamó «logística» se usan los nombres ‘lógica simbólica’, ‘lógica matemática’ y ‘lógica formal’.
Crecientemente se usa simplemente el nombre ‘lógica’, especificado según las ramas de que se trate (lógica sentencial o preposicional o lógica de enunciados; lógica cuantificacional elemental o lógica de predicados; lógica cuantificacional superior; lógica de clases, etc.) o según los modelos que se tomen (lógica «standard»; lógicas no «standard», como las lógicas «desviadas»). Siendo