A.J. Ayer An experiment in propositional calculus Q: Are truths simply objective reasons whose truth-values may or may not