In 1974, a wonderful little book came out entitled Formal Philosophy: Selected Papers of Richard Montague, edited by Richmond H. Thomason. The book was a beautiful testimony to the fact that formal methods may indeed ...