It is explained what it is for a statement to be logically true and it is thereby explained what it is for a statement to be formally true. It is also explained how logical truth differs from formal truth. Further, it is explained what a system of logic is. Finally, the nature of entailment is explained and, in particular, it is explained how formal entailment differs from analytic entailment.
What made the experience of listening to Logic and Formal Truth the most enjoyable?
that it was true and original
What was one of the most memorable moments of Logic and Formal Truth?
the proof of the incompleteness of formal logic
What about J.-M. Kuczynski’s performance did you like?
the quiet focus
If you were to make a film of this book, what would the tag line be?
logic and formal truth
Any additional comments?
it presents an original and substantial mathematical result