Philosophical Certainty: Historical Perspectives

Introduction

Two broad traditions frame any inquiry into philosophical certainty. One is the rationalist aspiration that reason can produce indubitable foundations—Descartes’ meditative method exemplifies this (the cogito as a purportedly non-deceptible bedrock) [Descartes, 1641], joined historically by Spinoza and Leibniz in other texts noted by historians [Boulter, 2007]. The opposing empiricist tradition places primary epistemic weight on sensory experience, with Locke and Hume insisting that many supposedly certain claims (especially about the external world and causal regularities) rest on habit rather than logical proof [Locke, 1689]. Both traditions propelled later moves: Kant reframed the problem by delimiting what theoretical reason can secure [Kant, 2000], and analytic philosophers shifted attention to the language and methods that make certainty intelligible—Moore defended common-sense propositions and Wittgenstein later reconceived certain beliefs as hinge propositions that underwrite epistemic practice rather than themselves being shown true by argument [Moore et al., 1993].

Different senses of “certainty” must be kept distinct from the outset. Mathematical and logical demonstratives offer a sort of certainty tied to formal proof and the conventions of a system—historians of mathematics show how that perceived certainty is culturally and methodologically contingent even while being powerful in practice [Richards, 2006]. Phenomenological and epistemological accounts probe immediacy: some argue that perceptual experience presents itself transparently and thereby seems to secure belief [Martin, 2002], while others note that introspective ‘certainty’ can be illusory. Scientific practice yields probabilistic confidence and instrumental reliability, a domain where historical critique undermines naive realism about convergence to absolute truth [Laudan, 1981]. Contemporary epistemology highlights further limits: fallibilism, the regress of justification, and the distinction between knowing-as-a-practice and psychological conviction (topics treated in recent overviews of knowledge’s bounds) [Williamson, 2000].

This lecture asks a tightly circumscribed question: has any philosopher in history actually established absolute certainty about existence, logic, or

Discussion

Is absolute certainty about existence or fundamental truths possible?

"How can one be certain that one exists if every faculty can be deceived?" — the very question Descartes forces on the table remains a philosophical sore point rather than a neat prize to be won. Descartes stages doubt as a methodological tool: sense deception, dreaming, and the malicious deceiver strip away contingent beliefs until only what resists even the most extreme hypothesis of falsity survives. That theatrical stripping yields the famous locus of certainty, summed in Latin as "Cogito, ergo sum" — "I think, therefore I am" (Descartes, 1641). Julian Baggini encapsulates the Cartesian move neatly: "Descartes argued that the existence of reflective thought should be the first principle of philosophy because it is indubitable" [Baggini, 2002]. The cogito thus appears as a strong candidate for absolute certainty: it is supposed to be impossible to coherently doubt one's own thinking without thereby thinking.

A closer look at the cogito exposes its limited scope. The intuition that thinking entails existence secures something immediate — the existence of a thinking subject at the moment of reflection — but it does not effortlessly expand into broad metaphysical or epistemic territory. Norman Malcolm points to the seductive simplicity of Descartes' step from "I am thinking" to "I am a thing whose essence is to think" and resists the leap to an ontologically simple soul defined merely as thinking. Malcolm writes that moving from the fact of thinking to the claim that the self is nothing but thought invites equivocation: "was like saying am walking, hence I am the walking" (paraphrase from Malcolm, 1965) [Malcolm, 1965]. This critical pressure shows that the cogito secures a tight, occasioned certainty — present self-awareness — without thereby guaranteeing a metaphysical account of the self or the external world.

The Cartesian program nevertheless aspires to more: a criterion of truth and proofs for God, which together are meant to underwrite the trustworthiness of clear and distinct perceptions. That step has long been contested as vulnerable to circularity. Interpretations collected in Descartes scholarship emphasize the circularity worry: the criterion of truth depends on God's non-deceptive nature, but the proof of God's existence in turn uses the reliability of clear and distinct ideas [Reid et al., 1996]. The net result is that the cogito might be the one indubitable axiom left after doubt, yet it stands lonely; its intended function as the foundation for a secure system depends on auxiliary metaphysical claims whose epistemic credentials are themselves contested.

Historic skepticism takes the cogito's parochial success as proof that broad epistemic certainty is unreachable. David Hume's radical empiricism (as summarized in many treatments) insists that matters beyond immediate impressions — causal entailments, induction, necessary connections — lack the sort of rational grounding that would render them indubitable [Hume, 1739]. Later commentators such as Larry Laudan draw on the history of science to argue that certainty as a normative epistemic goal for scientific or theoretical knowledge is undermined by the contingency of theory choice and the fallibility of inference [Laudan, 1981]. Bertrand Russell, diagnosing the epistemic landscape, separates knowledge by acquaintance (immediate) from knowledge by description (mediated), and suggests that only a sliver of belief achieves that immediate, indubitable status [Russell, 1999]. The Humean lesson is stark: apparent certainties outside immediate mental states are at best pragmatic steadiness, not metaphysical bedrock.

G.E. Moore and later Wittgenstein respond to skepticism differently: rather than trying to build a tower of indubitable propositions, they defend ordinary language and common-sense propositions as epistemic bedrock. Moore's insistence on the certainty of propositions such as "Here is one hand" operates as a refusal to allow radical scepticism to override everyday epistemic commitments; Moore treats such propositions as epistemically more secure than skeptical hypotheses [Moore et al., 1993]. Avrum Stroll and others reading Wittgenstein stress that certainty, in this later Wittgensteinian sense, is a feature of language-games and forms of life rather than a matter of justificatory chains; certainty functions as an unargued backdrop to the very practice of doubting [Stroll, 1994]. This line of thought shifts the debate: absolute certainty is not a property of isolated propositions proven from first principles, but a status embedded in ordinary practices and grammar.

Saul Kripke intervenes on the modal and semantic side by complicating the a priori/a posteriori and necessary/contingent taxonomy. His treatment of rigid designators and metaphysical necessity shows that modal status and epistemic access do not align in simple ways; some necessary truths are known only empirically, others are a priori yet contingent in particular senses [Kripke, 1980]. Kripke's manoeuvres do not grant blanket metaphysical certainty about the world, but they do demonstrate that "certainty" must be teased apart into at least three dimensions: modal necessity, epistemic justification, and semantic or conceptual fixation. The upshot is that even where philosophers once hoped to operate with univocal notions of certainty, subtle distinctions proliferate and make the claim "absolute certainty" a phrase that needs disambiguation before being defended or rejected.

Philosophy of mathematics and logic often appear to offer the strongest cases for certainty: proofs seem to deliver apodictic knowledge. Yet the philosophical status of mathematical certainty has been repeatedly qualified. Russell's project to ground mathematics in logic sought such certainty and yielded incisive results about the limits and ambitions of formal grounding [Russell, 1999]. Subsequent developments in logic and meta-mathematics (not least Gödelian results, though not canvassed directly in the present reading list) caution that formal systems have boundaries and that certainty internal to a system does not automatically translate into absolute epistemic safety. Thomas Kuhn's historical sociology of scientific revolutions undermines confidence that any disciplinary corpus enjoys timeless certainty: paradigms shape what counts as a legitimate problem and a valid solution, and shifts between paradigms make long-held "certainties" contingent on historical configurations [Kuhn, 1962]. Kuhn thus reframes epistemic certainty as locally effective rather than universally immutable.

The historical record therefore fragments: Descartes claims a form of immediate certainty for the thinking self; Moore and Wittgenstein defend certainties embedded in ordinary life; Hume and later skeptics insist on the impossibility of extending certainty beyond impressions; and Kripke and Kuhn show that modal and historical complexities multiply the senses in which "certainty" might be meant. The reader—pardon the figure of speech, the interlocutor—can notice a pattern: absolute certainty, when carefully unpacked, either reduces to trivialities (I think, therefore something thinks) or hinges on contentious philosophical moves (theistic guarantees, transcendental claims, linguistic frameworks). The diversity of strategies across authors indicates that philosophical certainty is a contested achievement, not a single trophy to be triumphantly delivered.

Two closing observations point forward. First, the cogito's force reveals an asymmetry: immediate self-awareness enjoys a kind of incorrigibility that outward-directed belief lacks; this asymmetry motivates but also constrains ambitions to secure knowledge of the external world by purely internal means [Descartes, 1641]. Second, the variety of responses — skeptical, common-sense, semantic, historical — suggests that the question "Is absolute certainty possible?" depends crucially on which domain one targets (selfhood, logic, empirical fact) and what counts as a legitimate standard of certainty (phenomenal indubitability, conceptual necessity, institutional stability). The next step is to examine whether ordinary, common-sense experience can plausibly carry the kind of epistemic authority that some have taken as a bulwark against radical doubt, which leads naturally to the following subsection: What is the status of common sense and ordinary experience in claims to certainty?

What is the status of common sense and ordinary experience in claims to certainty?

Having pursued whether absolute certainty about existence or first principles is attainable, attention shifts to a different locus of epistemic confidence: the plain convictions people carry through their daily lives—what philosophers call common sense. That shift matters because many responses to scepticism do not appeal to abstruse proofs but to the claim that certain ordinary beliefs deserve privileged status as defaults. The debate is not merely about temperament; it is about where epistemic burden should rest when philosophy collides with everyday judgement [Boulter, 2007].

Stephen Boulter sets out a programmatic case for treating common sense beliefs as default positions and specifies five tasks for defenders of that stance: identify what counts as a common sense belief, justify their default status, diagnose errors in anti-common-sense philosophical arguments, explain why philosophers repeatedly deny pre-philosophical convictions, and offer a metaphysical account of the background that makes ordinary judgments possible [Boulter, 2007]. That is not a plea for anti-theory or intellectual conservatism; it is a methodological manifesto about how to distribute epistemic labour. The practical upshot is simple: if a belief is a genuine principle of common sense, it should not be overturned by philosophy unless serious argument exposes concrete errors.

The common-sense camp often invokes authority from surprising quarters. Gilbert Ryle’s remark captures the moral: “We possess a wealth of information which is neither derived from, nor upset by, the arguments of philosophers”. H. P. Grice supplies a sharper warning when philosophical theory threatens to repudiate basic perceptual claims: “It is almost certainly (perhaps quite certainly) wrong to reject as false, absurd, or linguistically incorrect some class of ordinary statements if this rejection is based merely on philosophical grounds”. Those passages frame two related claims: ordinary beliefs are epistemically substantial, and philosophical argument alone is a perilous basis for wholesale rejection of them.

G. E. Moore offers a different but congenial tack—defence by assertion allied to conceptual clarification. Moore famously insisted that certain common-sense propositions are known with certainty even by philosophers who deny them; his confidence functions both as a reductio and as a method of conceptual diagnosis (see Moore’s assertive strategy reported in Boulter’s discussion). Moore’s method is not raw dogmatism; it is analytic pressure. By holding fixed intuitive truths and demanding that any revisionary theory explain how those intuitions could be false, conceptual analysis becomes a tool for exposing sleights-of-hand in philosophical proofs.

Thomas Reid supplies an historically earlier, but allied, line of argument. Reid rejects the Cartesian demand that nothing contingent be accepted without deductive foundation, arguing instead that many of the “principles of common sense” are the very roots of philosophy and of ordinary cognition. “In this unequal contest betwixt Common Sense and Philosophy,” Reid writes, “the latter will always come off both with dishonour and loss; nor can she ever thrive till this rivalry is dropt” [Reid]. Reid’s point is not that common sense is infallible; it is that certain pre-theoretical convictions—belief in the existence of perceived objects, trust in memory—constitute the background conditions for any philosophical inquiry and deserve an initial presumption of correctness (Reid’s texts, as discussed by Boulter, frame these convictions as the “rightful possession” demanding a shifted burden of proof) [Boulter, 2007].

The methodological implications are consequential. Treating common sense as default shifts the burden of proof onto revisionists: those who would deny that ordinary objects exist, or that memories track past events, must show precisely where the anti-common-sense argument goes wrong. Boulter emphasizes that this is not a metaphysical veto: common sense beliefs can be abandoned, but only when philosophical or empirical considerations provide sufficiently strong reasons that survive scrutiny [Boulter, 2007]. Aristotle’s pragmatic admonition—save the common opinions where possible—resonates here: it is better to accommodate the largest portion of the initial data unless the cost of doing so is prohibitive [Boulter, 2007].

Pragmatist and fallibilist resources complicate the common-sense defense. Charles S. Peirce’s account of inquiry insists on the provisionality of belief and on the corrective role of doubt and experiment; common-sense convictions are not immune to correction when systematic inquiry produces reliable counter-evidence [Peirce et al., 1998]. That perspective introduces an important asymmetry: common sense enjoys a prima facie status in epistemic practice, but Peircean fallibilism humbly acknowledges that “what everyone takes for granted” might be revised in light of stronger empirical or theoretical grounds. The tension between Reid–Moore conservatism and Peircean fallibilism reveals the core methodological question: how strong must the reasons be to dislodge a default?

Philosophers who tempt radical revision often rely on conceptual maneuvering that looks like progress inside a narrow formalism but reads as eccentric when judged by ordinary judgement. Boulter catalogs the philosopher’s recurring error: an argument that purports to overturn a common-sense belief typically rests on an unexamined shift in concepts or on a hidden assumption that, once exposed, dissolves the revolutionary conclusion [Boulter, 2007]. Ryle’s category-mistake diagnosis exemplifies the corrective technique: some philosophical problems evaporate once the conceptual taxonomy is straightened out (Ryle’s notion appears in Boulter’s genealogy of the tradition).

Empirical psychology and evolutionary theory provide resources both for and against elevated faith in common sense. Boulter himself appeals to evolutionary biology and psychology to explain why many common-sense dispositions are reliable—they are survival-endowed heuristics that generally track environmental regularities—but he also admits that evolutionary provenance does not guarantee truth in every domain [Boulter, 2007]. The normative lesson follows: one can have a defeasible, scientifically informed respect for ordinary beliefs while remaining alert to systematic biases that require revision in some contexts.

A persistent, underexamined difficulty remains the delimitation problem: which ordinary convictions count as the “principles of common sense” whose default status is epistemically privileged? Boulter assigns the common-sense philosopher the task of principled demarcation—distinguish trivial social conventions from those cornerstones that underpin ordinary conceptual schemes—and to show why the latter deserve presumption [Boulter, 2007]. The lack of a clear demarcation invites two risks: overextension, where mere folk habits gain unwarranted philosophical authority, and under-protection, where deep-seated background assumptions are excised on the strength of slender theoretical pressures.

That dialectic—between conservatism about ordinary belief and openness to revision—frames the epistemic stakes. If common sense is accorded default status, many sceptical or revisionary projects are forced to carry a heavy argumentative burden; if common sense is treated as merely one source among others, then philosophical theory and scientific evidence may more readily reshape the commonsense landscape. The disagreement is not purely semantic; it concerns research strategy, evidential thresholds, and the legitimacy of conceptual scrutiny.

Which brings the inquiry to an unavoidable crossroad: certain domains of knowledge, notably mathematics, have historically claimed a kind of certainty that seems unlike ordinary empirical conviction. The question now becomes whether the kind of epistemic assurance grounded in everyday belief has any purchase on the special case of mathematical truth—are arithmetic and geometry simply elevated common sense, or do they instantiate a distinct form of cognitive reliability that must be analysed on its own terms? That is the issue to confront next: Can mathematics provide epistemological certainty, or is it historically and culturally contingent?

Can mathematics provide epistemological certainty, or is it historically and culturally contingent?

If ordinary experience negotiates its own modest authority rather than delivering metaphysical foundations, mathematics often appears as the counterexample: a discipline that promises conclusions with necessity and immunity to empirical caprice. The classical image—Euclidean proofs, inevitable theorems—supports a narrative in which mathematics supplies an island of absolute certainty within a sea of contingency. That image requires scrutiny: is the certainty of mathematics intrinsic to human reason, or is it a product of historical and institutional processes that shape what counts as proof and rigor?

Joan L. Richards provides an instructive genealogy of that tension in eighteenth- and nineteenth-century France. Her argument insists that mathematics carries "a strange combination of epistemological certainty and ontological power" which made it an object of cultural negotiation rather than a fixed archival deposit of truth [Richards, 2006]. The rhetorical force of her phrase highlights two points at once: mathematics persuades because of its apparent necessity, and its authority extends into claims about what exists—structures, forces, courses of nature. Recognizing both effects invites the historian's question: how stable are the methods that generate that persuasion?

A concrete episode Richards recounts shows a conceptual rupture rather than a smooth consolidation. The humanistic, narrative-inflected mathematics taught through Montucla, Lacroix, and others framed the subject as intimately tied to l’esprit humain and to a story of intellectual progress. In 1799 Lacroix extended that tradition into textbooks for postrevolutionary France, keeping the historical framing even while adjusting pedagogy [Richards, 2006]. The pedagogical choice matters: if the certainty of mathematics depends on a teaching regime that links deduction to humanist narrative, then certainty is embedded in social practices, not purely in immutable propositions.

The shift came with Augustin-Louis Cauchy. As Richards observes, "It was not until 1822, when Augustin Louis Cauchy published his Cours d’analyse, that the Enlightenment vision was successfully challenged" and "Cauchy’s rigor guaranteed him certainty, but it came at the expense of the integrated panoply of history" [Richards, 2006]. This formulation captures a paradox: rigor can shore up epistemic claims while simultaneously narrowing the cultural scaffolding that made mathematics intelligible as human progress. Cauchy's method sought to make analysis immune to metaphoric or rhetorical support; it institutionalized definitions, epsilons, and limits as the grounds for certainty. That institutionalization provides a different kind of contingency—one contingent on newly instituted norms of proof.

Historical contingency does not collapse into arbitrary relativism. The eighteenth-century debates about the value and scope of mathematics—Buffon's skepticism about abstract methods versus Cauchy's confidence in formal rigor, as Richards recounts—were not mere quarrels over taste but competing epistemic frameworks that shaped what counted as evidence and explanation [Richards, 2006]. The phrase "The moral of my story is that this kind of disagreement about the value of mathematics is essential to its practice and development" can be read normatively: disagreement fuels refinement of standards, and standards become the locus of what looks like certainty [Richards, 2006]. The consequence is that mathematical certainty, though effective within a community, emerges from procedural consensus as much as from logical compulsion.

Philosophical reflection on mathematical certainty has long been eager to borrow the language of necessity. Descartes famously elevated mathematical clarity as a model for philosophical knowledge, arguing that clear and distinct ideas provide foundations beyond sensory error. Baggini notes the awkward ambivalence in Descartes between an a priori rationalist metaphysics and an appeal to sensory evidence in scientific practice: "It is difficult to determine the place of experience in Descartes’ philosophy and science" [Baggini, 2002]. The Cartesian program treats mathematics as an exemplar of certainty to which other domains can aspire, but the mixed methodological gestures reveal that even for Descartes the relation between mathematics and empirical grounding remained contested.

Contemporary metaphilosophical accounts add another layer. Stephen Boulter insists that philosophy’s task is co-ordination among special sciences and pre-theoretical beliefs, which situates mathematics as one kind of input into philosophical projects rather than as an independent guarantor of all truth claims [Boulter, 2007]. If philosophy draws on mathematics among other materials to build coherent pictures, then mathematical certainty functions pragmatically: it stabilizes certain inferences and models within contexts of inquiry rather than serving as a universal epistemic solvent. That functional perspective weakens the absolutist reading without denying mathematics its unique force.

Epistemologists and historians converge on the idea that axioms and definitions are decisive. The certainty of a proof rests upon acceptance of its axioms and rules of inference; change those, and the certainties shift. Cauchy’s move toward rigor redefined acceptable foundations—real analysis required precise epsilon–delta definitions—and so the apparent inevitability of earlier results required reinterpretation. The lesson is procedural: notions of rigor evolve, and with them the range of propositions counted as certain. Hence mathematical certainty is conditional on background practices that can be historically reconstituted.

Sociological and interpretivist considerations reinforce the contingency claim. Scotland’s account of epistemology in research paradigms emphasizes that knowledge constructions are "culturally derived and historically situated" and that interpretive frameworks shape what is taken as meaningful evidence [Scotland, 2012]. Transpose that insight to mathematics: the criteria for proof, the privileging of particular methods, and the educational infrastructures that reproduce them are cultural artifacts. Certainty therefore appears as an outcome of communal practices shaped by pedagogy, institutions, and intellectual priorities, not solely of inferential isolation.

A further dimension comes from the juridical and anthropological study of certainty. Ogneviuk’s work on legal certainty underscores how normative systems require public intelligibility and institutional reproduction to be effective; laws must be publicly available and interpretable to secure stability [Ogneviuk, 2018]. Mathematics parallels this: for mathematical proofs to function as certainties in broader discourse, they must be teachable, communicable, and institutionally validated. The social fact of shared standards is a necessary condition for the epistemic authority mathematics exerts outside narrowly expert circles.

Yet a counterargument insists on a distinction between epistemic certainty within formal systems and cultural contingency. Within a formal system, given axioms and inference rules, certain conclusions follow inexorably—this is the Löwenheim–Skolem-style internal necessity of formal logic. That structure seems to salvage an absolute form of certainty: once the rules are fixed, the derivations are determinate. The critical response is procedural: fixing rules itself is an act embedded in history, pedagogy, and methodological preference. The supposed absoluteness of the consequent does not erase the contingency of the antecedent choices.

The dialectic between formal necessity and historical contingency leads to a pragmatic synthesis: mathematics can deliver forms of high epistemic reliability and intersubjective agreement within well-defined systems, but the justificatory weight granted to those systems depends on historical choices about foundations, rigor, and pedagogy. Insisting on one of these aspects while neglecting the others produces a false absolutism. Insisting on contingency alone misreads the extraordinary stability and transferability mathematics achieves across cultures and epochs.

If mathematical certainty is thus a hybrid—procedurally rigorous within systems yet historically shaped in its bases and authority—the question naturally shifts toward experience: can perceptual or sensory knowledge supply the kind of grounding that would make mathematical or other forms of certainty immune to cultural reconfiguration? The next problem is whether perceptual experience can function as a comparable epistemic anchor for claims about the external world.

Is perceptual experience a source of certainty about the external world?

After probing whether mathematics secures epistemic certainty only relative to axioms and historical practice, attention turns to the everyday epistemic currency: perception. Perceptual experience feels immediate and compelling in a way that mathematical proofs do not; the face of a clock, the taste of coffee, the sight of a lavender bush press themselves into belief with an urgency that suggests a kind of authority. The central question is whether that felt authority amounts to epistemic certainty about the external world, or whether it is only a defeasible, domain‑specific entitlement.

Martin frames the dispute sharply in phenomenological terms: on the one hand, there is the disjunctivist claim that veridical perception can present the world to a subject such that “the fact that there is a lavender bush there is just manifest to me” [Martin, 2002]. That quotation compresses the disjunctivist core: in cases of genuine perception the world, not an internal representation, is directly given. The consequence is stark — if correct, certain perceptual contexts deliver a kind of epistemic sovereignty for belief formation not available to inference-driven cognition.

Opposing this, intentionalists and sense‑datum theorists maintain that perceptual states are mediated by representational contents or internal items. Tye’s account and the formulation Martin rehearses captures this: “I experienced blue as a property of the ocean not as a property of my experience. My experience itself certainly wasn’t blue. Rather it was an experience that represented the ocean as blue”. That sentence shifts the locus of epistemic grounding from the world to representational content, and with that shift comes fallibility: representations can misrepresent, so perceptual immediacy does not by itself guarantee truth.

Martin’s “transparency” argument supplies a sophisticated bridge between phenomenology and epistemology. He suggests that the phenomenological character of experience — its felt directedness on objects and properties — is the phenomenological echo of a functional role: experiences typically “fix” belief unless countervailing reasons intervene [Martin, 2002]. The transparency thesis therefore attempts to explain why perception bears justificatory weight without committing to infallibility. If an experience’s phenomenology is such that attending to it leads naturally to belief about the external object, then that experience plays a role in epistemic justification that is at least prima facie authoritative.

The debate cannot be settled by introspective rhetoric alone because classical skeptical pressures remain. Burge’s intervention is instructive: he starts “with the premise that our perceptual experience represents or is about objects, properties, and relations that are objective” and draws from that premise the obvious implication that misperceptions and hallucinations are possible. Burge’s realism about the object‑directedness of perception preserves the connection to the world while acknowledging error. The tension is now clear — realism about perceptual content preserves the possibility of knowledge but not the guarantee of certainty.

Common‑sense epistemology, as Boulter explains, reacts differently to this tension. Boulter objects to Cartesian hyper‑skepticism and argues that philosophy should respect the “initial data” of the sciences and ordinary life rather than attempt to reconstruct everything from radical doubt [Boulter, 2007]. His critique matters here because it reframes the demand for certainty: the philosopher’s job, per Boulter, is not to secure metaphysical infallibility for perception but to explain how ordinary perceptual claims can serve as reliable data within the division of intellectual labour. This shifts the burden from proving absolute certainty to articulating conditions under which perceptual beliefs are warranted in practice.

Peacocke’s alternative intentionalist move — defended in Martin’s discussion — complicates the dichotomy further by insisting that intentional properties can account for much of perceptual phenomenology without invoking non‑intentional qualia. That position accepts that experiences represent but resists reducing representational content to mere internal mosaics. The implication for certainty is moderate: representation suffices for justification in many ordinary contexts, and yet representation leaves open the theoretical possibility of systematic misrepresentation, which prevents infallibility.

Phenomenological immediacy and epistemic warrant diverge especially sharply when hallucination enters the picture. Disjunctivists answer that a veridical perception is of a fundamentally different logical type from a hallucination; the former places one in direct epistemic contact with the world, the latter does not [Martin, 2002]. The intuitive pull of that reply is strong: it preserves the common‑sense verdict that seeing a tree grounds belief that there is a tree in a way that imagining or hallucinating does not. The cost, however, is a metaphysically demanding ontology of perceptual states and a technical account of how two phenomenally similar situations can differ in epistemic kind.

Empirical psychology complicates the neat philosophical map by demonstrating the fragility and context‑sensitivity of perception. Perceptual processes are susceptible to cognitive penetration, background beliefs, and neural anomalies; these facts suggest that perceptual evidence is theory‑laden more often than a naïve realism admits. Boulter’s plea for respecting first‑order disciplines becomes relevant: perceptual claims attain credibility partly because they cohere with broader sensory science, not solely because they are phenomenologically compelling [Boulter, 2007]. This places perception within a network of corroboration rather than as a solitary fountain of certainty.

Descartes’ introspective turn remains an instructive contrast. Baggini’s reading highlights that the Cogito furnishes a different modal status for certain introspective judgments — the thought “I think” seems to present an indubitable bedrock that perception lacks [Baggini, 2002]. That distinction clarifies why many philosophers are willing to treat certain forms of self‑knowledge as closer to certainty than any perception about external objects. Introspective certainty does not easily generalize to perceptual certainty because the latter depends on external causal and representational links liable to fail.

Synthesizing these threads suggests a graded epistemology rather than a binary one: perceptual experience often confers a defeasible but robust entitlement to form beliefs about the world, rooted in phenomenology, representational content, and the corroboration of other cognitive systems. Burge’s realism preserves objective content; Martin’s transparency explains how experience can fix belief; Boulter’s common‑sense perspective explains why demanding Cartesian infallibility for perception misconstrues ordinary epistemic practice. None of these moves, however, yields the sort of absolute, incorrigible certainty that Descartes sought for all knowledge.

A final philosophical sting: if perception does not deliver metaphysical certainty, it still underwrites most of epistemic life in a way that mathematics rarely does — perception anchors action and everyday inference. The fact that perception is corrigible does not negate its normative authority; instead, it places perceptual justification on the same terrain as legal and ethical judgments, where interpretation, context, and background commitments structure what counts as justified belief or action. That observation opens a pressing transition: if perceptual certainty is defeasible and context‑sensitive, what hope remains for legal and ethical certainty, which must negotiate interpretive frameworks, institutional practices, and value conflicts? The next section will take up precisely that problem.

Can legal and ethical certainty be achieved, or are such norms always subject to interpretation and context?

Perceptual fallibility makes the leap from sensory certainty to normative certainty perilous: if seeing does not guarantee metaphysical knowledge, why should speaking of rights or duties guarantee moral or legal truth? H. Z. Ogneviuk frames legal certainty not as metaphysical finality but as a multi-element legal principle designed to coordinate human action with institutions: "The principle of legal certainty enables to overcome these difficulties, due to it the requirements of lawfulness and observance of human rights and freedoms are agreed upon" [Ogneviuk, 2018]. That sentence already reframes certainty as practical alignment—a social technology for predictability—rather than access to some ahistorical foundation.

Ogneviuk then unpacks what this social technology requires: clarity and accessibility of norms, stability and predictability of legal positions, proper procedure for adopting rules, and limits on discretionary powers of state bodies [Ogneviuk, 2018]. Those components read like design constraints for reliability: if law is to guide conduct and protect liberty, it must be legible and reasonably stable. Quoting Ogneviuk again, "legal certainty appears as a principle in various legal areas, in particular in European countries" [Ogneviuk, 2018], which signals an institutional aspiration rather than the claim that law sits atop unchallengeable truths.

That institutional aspiration rests on an anthropological claim about persons: the law matters because people must be able to plan and rely on norms to exercise rights. Ogneviuk states, "In the sphere of legal regulation, there is always a person for whom legal norms are embodied in acts of individual action" [Ogneviuk, 2018]. The phrase moves certainty into the horizon of human practices: certainty here is judged by its capacity to coordinate expectations and enable agency, not by correspondence to some normative absolute.

Yet commentators and comparative scholars insist on the ambivalence of this ideal. Louise Marinoni argues that "legal certainty is a fundamental right and an indispensable principle of the state of law" (quoted in Ogneviuk, 2018), while Juha Raitio finds it "a general legal principle that personifies predictability in law". Those endorsements sound robust, but they coexist with centuries of jurisprudential recognition that statutes are indeterminate, gaps exist, and judges must interpret. B. Totskyi points to constitutional complexities that complicate application in practice. Predictability, therefore, is aspirational and piecemeal, realized through doctrine rather than guaranteed by ontology.

Ethical certainty follows a different logic. Charles Kivunja and Ahmed Bawa Kuyini summarize ethical decision-making via four criteria—teleology, deontology, morality and fairness—and treat these as heuristics for evaluating actions: "Answers to these questions are best guided by four criteria of ethical conduct namely, teleology, deontology, morality and fairness (Mill, 1969)" [Kivunja et al., 2017]. That list signals the pluralism of moral epistemology: competing normative currencies (consequences, duties, inherent values, fairness) will point in different directions in hard cases. Ethical certainty, when conceived as single unambiguous verdicts about right action, therefore collides with conceptual pluralism.

David Hume offers a reminder that political and moral generalizations can be empirically robust without being metaphysically necessary. Reflecting on constitutions and governance, Hume declares that some practical political maxims may be "pronounced as an universal axiom in politics"—yet his argument is empirical, grounded in observation of human character and institutions rather than a priori demonstration [Hume, 1777]. Hume’s move implies that normative regularities achieve the status of common-sense truth through repeatable social patterns, not through escape from contingency. Accordingly, certainty here resembles high-probability generalization, not infallible knowledge.

John Rawls’ theory supplies a procedural gambit for moral and legal justification. The original position aims to secure principles through a reflective equilibrium that treats fairness as the outcome of a fair decision-construct [Rawls, 1971]. That procedural anchoring buys normative authority by institutionalizing impartial reflection, but it does not deliver metaphysical certainty: Rawlsian principles depend on the acceptability of the underlying assumptions (the veil of ignorance, the choice situation) and so inherit contestability when those premises are rejected.

Stephen Boulter’s discussion of common-sense philosophy is useful for understanding how certainty functions as conservatism of initial data: "the common sense philosopher would prefer to be able to show that the perceived tensions... can be preserved if understood aright" [Boulter, 2007]. Applied to law and ethics, this conservatism translates into a default in favor of existing practices and understandings unless a decisive reason for revision appears. That preference helps explain why legal systems emphasize stare decisis, res judicata, and incrementalism: stability is a form of epistemic modesty about moral and legal revision.

Despite institutional designs and philosophical strategies to shore up certainty, several distinct sources of indeterminacy persist. First, linguistic vagueness and conceptual plasticity mean statutes and moral terms admit multiple sensible readings. Ogneviuk notes that "the phrase 'legal certainty' consists of words of general use, so its content can be established through a comparison of their meaning" [Ogneviuk, 2018], which unintentionally underscores semantic fragility. Second, normative pluralism—captured by Kivunja & Kuyini’s taxonomy and by Rawlsian contests about idealized conditions—entails that different legitimate evaluative frameworks will produce incompatible prescriptions. Third, institutional discretion and human fallibility create pragmatics of application that guarantee divergence in outcomes even under the same formal rules, as Totskyi and Raitio document in comparative legal practice.

Despite those indeterminacies, narrower and actionable forms of certainty are achievable within limits. Procedural safeguards, clear statutory drafting, and stable jurisprudence can produce reliable expectations for actors; Marinoni’s claim that legal certainty functions as a fundamental right expresses this protectionist aim (quoted in Ogneviuk, 2018). Where the objective is predictability rather than metaphysical truth, doctrines like res judicata and transparent rule-making work: they transform the messy contingency of interpretation into a managed background of expectation, even if that background remains corrigible.

Two normative tensions remain unsettled. The first is epistemic: how much revision of legal or moral beliefs is justified when new arguments or evidence appear? Boulter’s hierarchy suggests conservatism, but moral progress sometimes demands revisionism—abolitionism against entrenched injustice is a classic case. The second is distributive: if certainty serves predictability, whom does that predictability protect? Ogneviuk stresses human rights as focal values to be secured even when laws are imperfect [Ogneviuk, 2018]; yet history shows that stability can protect privileged interests as often as vulnerable ones, an observation Hume’s political reflections and Rawls’ corrective ideal seek to account for [Hume, 1777].

Ultimately, legal and ethical certainty resembles a spectrum rather than a binary: at one pole sits institutionalized predictability achieved through doctrine, procedure, and conservative epistemic norms; at the other pole sit interpretive indeterminacy, plural normative frameworks, and discretionary application. Kivunja & Kuyini remind that ethical reasoning must ask concrete questions about harm, fairness, and cultural context rather than presume universal accord [Kivunja et al., 2017]. That orientation reframes the normative aim from seeking absolute, context-free certainty to constructing justifiable, contestable, and revisable grounds for action.

What remains pressing, and what the next section will interrogate, is how to weigh the value of stability against the demand for justice when the two conflict: under which conditions should legal systems prefer certainty at the cost of perpetuating injustice, and when should ethical critique compel destabilizing reform?

Critique and limitations

Which exact claim does the cogito secure? Descartes’ procedure indeed isolates an epistemic kernel—awareness of thinking—that resists the most extreme hypothetical deception [Descartes, 1641]. The specific weakness is scope: the cogito secures existence only as immediate self-consciousness, not the existence of an external world, the ontological nature of the self, or the infallibility of logical laws. Pressing Descartes’ project outward requires auxiliary metaphysical moves (God’s non‑deceptiveness, causal links) that invite circularity and contested premises [Reid et al., 1996]. Absent a secure, non‑circular bridge, claims that philosophy has attained absolute certainty about “existence” in the broad sense are undermined; the strongest, historically defensible result is local and occasioned certainty about one’s present mental states. Moore‑style appeals to common sense and Wittgensteinian hinge‑propositions offer a counterstrategy—treating certain propositions as non‑evidential foundations of practice—but that reply relocates certainty into grammar and practice rather than producing the sort of universal metaphysical proof Descartes sought [Moore et al., 1993].

Historical and procedural contingency weakens claims of mathematical or logical absoluteness. Mathematics displays internal necessity once axioms and inference rules are fixed, yet the concrete choice of axioms, the formulation of rigor, and the institutional standards of proof have varied historically (Buffon vs. Cauchy debates; eighteenth‑century shifts described by Richards) [Richards, 2006]. The specific weakness here is foundation‑dependence: certainty resides inside a formal system but rests on historically negotiated starting points and methodological conventions, so the philosophical conclusion “mathematics proves absolute truths about reality” is overstated. This reconfiguration changes conclusions by turning universal claims into conditional ones: mathematics furnishes apodictic results relative to adopted systems and communal practices rather than metaphysical certainties immune to revision [Boulter, 2007]. Proponents of formalist or logicist readings can reply that internal necessity still yields real epistemic security for practice; historians and pragmatists answer that such security is socially reproduced and thus not the same as an ahistorical metaphysical guarantee [Laudan, 1981].

Perceptual, legal and ethical “certainties” reveal a final, pragmatic limitation: authority without infallibility. Perception often feels immediate and justificatory (the transparency intuition), but phenomenological immediacy does not eliminate the logical possibility of hallucination, theory‑laden interpretation, or systematic bias [Martin, 2002]. Legal certainty functions as an institutional design for predictability and protectable rights, not as metaphysical truth—its weakness is normative contingency and reliance on procedural clarity, which can fail or be captured by power [Ogneviuk, 2018]. Ethical frameworks (teleological, deontological, fairness‑based) yield competing certainties rather than a unified, absolute verdict [Kivunja et al., 2017]. These facts reframe conclusions: what philosophy can reliably offer in these domains is defensible, revisable warrant sufficient for action and coordination, not incorrigible proof. Disjunctivists and defenders of common sense press back—arguing veridical perception or entrenched practices secure privileged epistemic status—but those positions accept corrigibility in border cases and thus stop short of delivering metaphysical absolutes [Martin, 2002]. A sharply focused open question remains: can one articulate a unified epistemic standard that (a) preserves the cogito’s incorrigibility, (b) respects the internal necessity of formal systems, and (c) accommodates the social‑institutional character of legal and ethical justification—and if so, what conceptual machinery could reconcile these incommensurable modalities? The difficulty lies in bridging fundamentally different modalities (phenomenal immediacy, formal necessity, and institutional normativity) without smuggling in contentious metaphysical assumptions or collapsing the distinctions that make each domain intelligible.

Conclusion

• Descartes' cogito provides a narrow, immediate certainty of one's own thinking existence, but its extension to broader metaphysical claims about God or the external world faces significant challenges, notably the problem of circularity.
• Common-sense philosophy, exemplified by Moore and Reid, argues that certain ordinary beliefs possess a default epistemic authority, shifting the burden of proof onto radical skeptical claims rather than attempting to derive all knowledge from indubitable first principles.
• Humean skepticism highlights the limits of reason in establishing certainty about causal relations and inductive inferences, suggesting that many beliefs about the world are founded on habit and custom rather than logical necessity.
• Mathematical certainty, while powerful and internally rigorous, is shown to be historically and culturally contingent in its foundations, methods, and perceived value, rather than an absolute, context-independent truth.
• Perceptual experience offers a defeasible but robust entitlement to form beliefs about the external world, explained by its phenomenological transparency and representational content, yet it does not yield the absolute, incorrigible certainty sought by foundationalist projects.
• Legal and ethical certainty are primarily institutional and procedural achievements, aiming for predictability and coordination through clear norms and stable practices, but they remain subject to interpretive indeterminacy, normative pluralism, and the ongoing tension between stability and justice.
• Given the historical trajectory, is the pursuit of absolute philosophical certainty a misguided endeavor, or does its elusive nature serve as a necessary regulative ideal for critical inquiry?