Engineering prof Karl D. Stephan: Symbolic logic says nothing about the truth or reality of what you give it. To understand what things really are, you have to get outside the pristine mathematical structure of symbolic logic and embrace what Prof. Kreeft calls Socratic logic.