History and Philosophy of Logic - Ontify