Amanda Ayer

In the sense in which astronomy or botany are sciences, philosophy is not a science. Philosophers have theories, but their theories do not enable them to make predictions; they can not be empirically confirmed or refuted in the way that scientific theories can. But, it will be objected, this is not true of all the sciences. Palaeontologists do not make predictions: in pure mathematics there is no appeal to experience. But even if they are not predictive the propositions which figure in the historical sciences are at any rate empirically testable: and even if the propositions of pure mathematics are not confutable by observation, they are subject to recognized methods of proof. There are standard procedures for deciding whether they are true or false. But where in philosophy are such procedures to be found? If anywhere, in formal logic which has come very close to mathematics. Nowadays, indeed, it is hardly possible to draw a line between them. But by the very process of becoming a science, formal logic detaches itself from philosophy. Philosophers do indeed make use of formal logic. They employ deductive arguments; sometimes they are able to take advantage of the economy and precision of logical symbolism. But the premises on which they reason, the propositions which the use of logical symbolism helps them to state more clearly, are not themselves drawn from formal logic. The truths which can be established by formal logic alone are not philosophical.