Verificationism: are meaningful statements verifiable via senses?

“No, after all…
  • A competing theory of meaning is true

    There are two boxers, and a referree between them holding up the arm of one (the winner).

    A competing theory of meaning is true. 1


    • The correspondence theory of meaning.
    • The coherence theory of meaning.
    • The constructivist theory of meaning.
    • The consensus theory of meaning.
    • The pragmatic theory of meaning.

    This is relevant because these theories of meaning are not compatible with the verificationist theory of meaning.

  • Verificatonism is self-refuting

    A man stands holding a gun to his own head.

    Verificationism is self-refuting. (After all, the statement that “only observation-affecting statements are meaningful”, is not an observation-affecting statement).1 This is relevant because self-refuting statements are false.

    1. Or more elaborately: “In order to be meaningful, an informative sentence must be capable in principle of being empirically verified/falsified.” Rather than saying this renders verificationism self-refuting, following Plantinga, it could be more accurate to say it is self-referentially incoherent.
  • Scientific laws can't be verified for all points/times

    A man with a magnifying glass inspects a raven.

    Universal generalizations (i.e. inferences to natural laws) cannot be verified by experience.1 (For example, no matter how many ravens are observed to be black, one cannot thereby confirm that all ravens are black. The same goes for the exemplification of laws like gravity.) This is relevant because universal generalizations, like “all ravens are black,” are perfectly meaningful.

    1. The Philosophy of Science: An Encyclopedia, Vol 1: A-M: “Wittgenstein's principle of verifiability posed fairly obvious problems in any scientific context. No universal generalization can ever be verified. Perhaps independently, Karl Popper perceived the same problem... This led him to replace the requirement of verifiability with that of falsifiability, though only as a criterion to demarcate science from metaphysics and not as one to be able also used to demarcate meaningful from meaningless claims.” [The “Rudolf Carnap” entry, eds. Sahotra Sarkar, Jessica Pfeifer (Routledge, 2005), 83.]
      The Stanford Encyclopedia of Philosophy: “In a series of studies about cognitive significance and empirical testability, he demonstrated that the verifiability criterion implies that existential generalizations are meaningful, but that universal generalizations are not, even though they include general laws, the principal objects of scientific discovery. Hypotheses about relative frequencies in finite sequences are meaningful, but hypotheses concerning limits in infinite sequences are not. The verifiability criterion thus imposed a standard that was too strong to accommodate the characteristic claims of science and was not justifiable.” [James Fetzer, “Carl Hempel”, in Edward N Zalta, ed, The Stanford Encyclopedia of Philosophy (Spring 2013)]

  • Math/logic are neither “analytic” nor “synthetic”

    Truths about logic and math are neither true-by-definition nor empirically verifiable.1 This is relevant because truths of logic and math are meaningful.

    1. This analytic-synthetic dichotomy is how verificationist philosophers tried to divide propositions into two categories: Analytic = those true trivially by definition (e.g. All bachelors are unmarried, triangles have three sides.), and Synthetic = propositions which aren't analytic; true because of how their meaning relates to the world (e.g. bodies have mass). However, verificationists were famously unable to reformulate the analytic-synthetic distinction so as to reduce math/logic to semantic conventions (true by definition) and they certainly were not synthetically true.