A.J. Ayer
An experiment in propositional calculus
Q: Are truths simply objective reasons whose truth-values may or may not be verifiable? A: This question seems to possess a native paradox, but that simply arises from a logical error in the semantics: we can’t address unverifiable statements as “truths”. Instead, they are logically contingent statements. Even so:
