This famous philosopher has 4 big ideas... one of which was "Think More"...
This philosopher founded formal logic
Imported from external platform