Logic Before 1879