Historical and philosophical dimensions of logic