Charles Sanders Peirce was an American philosopher, logician, mathematician, and scientist whose work founded pragmatism and transformed epistemology, semiotics, and the philosophy of science. Despite professional marginalization (he never held a permanent academic position after Johns Hopkins dismissed him in 1884), Peirce produced a body of work—published in scattered articles, lectures, and manuscripts—whose influence on twentieth-century philosophy was profound. His pragmatic maxim ('consider what effects, that might conceivably have practical bearings, we conceive the object of our conception to have. Then, our conception of these effects is the whole of our conception of the object') grounded meaning in consequences. His fallibilism (no belief is immune to revision) rejected Cartesian certainty while maintaining the possibility of knowledge. His 'Fixation of Belief' (1877) distinguished four methods: tenacity (clinging to prior belief), authority (accepting what trusted sources declare), the a priori method (believing what seems reasonable), and the method of science (submitting beliefs to experiential testing). Only the last is self-correcting.
Haack has described Peirce as the deepest influence on her philosophical development. His fallibilism—the insistence that all knowledge is provisional, improvable, never final—structures her foundherentist framework. His distinction between genuine and sham inquiry is the foundation of her taxonomy. His semiotics (the study of signs and their interpretation) influenced her account of how language and thought relate to reality. And his commitment to the method of science—not as a rigid set of procedures but as the orientation toward truth that submits beliefs to experiential testing—is the normative core of her epistemology. Peirce's pragmatism was not the instrumentalism it is often mistaken for (the reduction of truth to 'what works'). It was a methodological commitment: the meaning of a concept consists in its conceivable experiential consequences, and the truth of a belief is what would be settled by indefinitely extended inquiry conducted by an ideal community of inquirers. Truth is the regulative ideal inquiry aims at—not a possession but a horizon.
Peirce's three modes of inference—deduction, induction, abduction—provide the framework Haack extends into her evidential analysis. Deduction is necessary inference (if premises are true, conclusion must be true). Induction generalizes from particular observations. Abduction generates hypotheses—the logic of discovery, moving from surprising facts to explanations that would make them unsurprising. Peirce considered abduction the most important and least understood mode. Haack's foundherentism operationalizes abduction: the crossword solver, encountering a clue, generates candidate answers (abduction), checks them against intersections (deduction and induction), and settles on the answer that best fits both clue and grid. AI performs statistical abduction—generating candidates consistent with training patterns. It does not perform the checking that converts abduction into justified belief. That remains human work.
Peirce's 1887 essay 'Logical Machines' asked whether machines could think. His answer was conditional: machines can perform logical operations—deduction, some induction—but the capacity to formulate genuinely new questions (abduction in its deepest sense) requires experience and caring. A machine can compute. It cannot wonder. The distinction, prophetic in 1887, is foundational to the Susan Haack—On AI simulation: the model generates possibilities (mechanical abduction), but the human must evaluate them (caring-driven inquiry). Peirce's framework places the normative weight where Haack's does—on the inquirer's commitment to truth, which shapes how evidence is gathered, weighed, and followed. No method guarantees truth. The method of science works because it includes self-correction: the willingness to revise when evidence demands it. AI has no such willingness. It has training schedules, updated parameters, reinforcement signals. These approximate self-correction's surface behavior without embodying its epistemic substance—responsiveness to reality, not to reward functions.
Peirce was born in Cambridge, Massachusetts, in 1839, son of Benjamin Peirce (Harvard mathematician). He worked as a scientist for the U.S. Coast and Geodetic Survey for thirty years, conducting geodetic and astronomical research while developing his philosophy in parallel. His academic career was brief and catastrophic—five years at Johns Hopkins (1879–1884), dismissed over a scandal involving his second marriage. He spent the final thirty years of his life in near-poverty in Milford, Pennsylvania, writing obsessively, publishing sporadically, supported financially by William James and others. He died in 1914, largely unrecognized. His papers—more than 100,000 manuscript pages—were acquired by Harvard and are still being edited and published. His influence exploded posthumously, shaping pragmatism (James, Dewey), semiotics (Saussure, Eco), and epistemology (Haack, Floridi).
Haack encountered Peirce as a graduate student and found in his work the antidote to the sterile formalism dominating mid-century analytic philosophy. Peirce's insistence that logic serves inquiry (not the reverse), that inquiry is a living practice (not a formal calculus), and that caring about truth is constitutive of genuine inquiry gave Haack the normative foundation for her epistemology. She has written extensively on Peirce, defended his pragmatism against misreadings, and credited him as the thinker who taught her that epistemology is about how real inquirers, with real limitations, pursue real knowledge—not about constructing ideal systems for ideal reasoners in ideal conditions.
Fallibilism. No belief is immune to revision—knowledge is provisional, improvable, never final—without collapsing into skepticism or relativism.
Four methods of belief-fixation. Tenacity, authority, a priori reasoning, and the method of science—only the last self-corrects by submitting beliefs to experiential testing.
Pragmatic maxim. A concept's meaning consists in its conceivable experiential consequences—not abstract definition but practical bearing.
Abduction as discovery. The logic of generating hypotheses to explain surprising facts—distinct from deduction and induction, essential to inquiry, irreducible to formal rules.
Inquiry as self-correcting process. Truth is the regulative ideal an indefinitely extended community of inquirers would settle on—not a possession but a horizon guiding ongoing investigation.