Peter van Inwagen
Peter van Inwagen is a prominent contemporary analytic philosopher whose work has shaped debates in metaphysics, philosophy of religion, and the philosophy of action. Trained in the mid‑20th century analytic tradition, he became best known for formulating and rigorously defending the "Consequence Argument," which contends that if determinism is true, then no one can do otherwise than they in fact do. This placed him at the center of modern free will debates and made his book "An Essay on Free Will" a standard text. Beyond free will, van Inwagen has made major contributions to ontology and mereology, especially in "Material Beings," where he advances a sparse ontology of material objects and challenges common‑sense assumptions about composition. In philosophy of religion, he has been a leading defender of the rationality of Christian theism, developing influential responses to the problem of evil and engaging in careful analysis of doctrines such as the Incarnation and the Resurrection. As a long‑time figure in the Society of Christian Philosophers and a major contributor to analytic metaphysics, he has demonstrated how formal, argumentative tools can be applied to traditional theological and metaphysical questions, thereby influencing both secular metaphysicians and religious philosophers.
At a Glance
- Field
- Thinker
- Born
- 1942-09-21 — Schenectady, New York, United States
- Died
- Floruit
- 1970–presentPeriod of major philosophical activity in metaphysics and philosophy of religion
- Active In
- United States, North America
- Interests
- Metaphysics of material objectsFree will and determinismProblem of evilPhilosophical theologyOntologyMereology
Peter van Inwagen defends a combination of libertarianism about free will, a sparse and highly revisionary ontology of material objects that recognizes only simples and living organisms as fundamental composites, and a rigorous, analytic defense of Christian theism that treats traditional theological doctrines as subject to the same standards of clarity and argument as secular metaphysics.
An Essay on Free Will
Composed: late 1970s–1983
An Essay on the Problem of Evil
Composed: mid‑1980s–1988
Material Beings
Composed: late 1980s–1995
Ontology, Identity, and Modality: Essays in Metaphysics
Composed: 1970s–1990s (collected, published 2001)
Thinking about Free Will
Composed: 1990s–2010s (collected, published 2015)
If determinism is true, then our acts are the consequences of the laws of nature and events in the remote past. But it is not up to us what went on before we were born; and neither is it up to us what the laws of nature are. Therefore the consequences of these things (including our present acts) are not up to us.— Peter van Inwagen, An Essay on Free Will (Oxford: Clarendon Press, 1983), p. 16.
Canonical statement of the Consequence Argument, summarizing his case for incompatibilism between determinism and the ability to do otherwise.
I do not think that there are any tables or chairs or rocks or sticks or stones. There are, of course, people and animals and other living things; but there are no nonliving composite material objects.— Peter van Inwagen, Material Beings (Ithaca: Cornell University Press, 1990), paraphrased from ch. 1.
Representative expression of his radical view on material composition, denying the existence of most everyday objects as genuine entities.
The problem of evil, as I see it, is not that the existence of suffering is logically inconsistent with the existence of an omnipotent, omniscient, and morally perfect being, but that the amount and kinds of suffering in the world make the existence of such a being hard to believe.— Peter van Inwagen, An Essay on the Problem of Evil (Oxford: Clarendon Press, 2006), introduction.
Clarifies his focus on the evidential, rather than purely logical, problem of evil and the challenge it poses to theistic belief.
Philosophy, as I conceive of it, does not provide us with proofs of our most fundamental beliefs, but with a clearer view of the commitments and consequences of those beliefs.— Peter van Inwagen, Ontology, Identity, and Modality (Cambridge: Cambridge University Press, 2001), essay on the methodology of metaphysics.
States his modest, clarificatory conception of philosophical practice and its role in examining rather than decisively grounding basic commitments.
That there is such a thing as metaphysical necessity is not something that can be established by argument, but something that emerges from our best attempts to make sense of possibility and impossibility.— Peter van Inwagen, Ontology, Identity, and Modality (Cambridge: Cambridge University Press, 2001), essay on modality.
Illustrates his approach to modality and metaphysical necessity as arising from reflective equilibrium about our modal judgments.
Formative Training and Early Work (1960s–early 1970s)
Educated in the analytic tradition at the University of Rochester under Richard Taylor, van Inwagen first focused on free will and determinism, absorbing and critically refining mid‑century debates about compatibilism and agency. Early technical work on modality, causation, and necessity provided the logical framework for his later Consequence Argument.
Free Will and Incompatibilism (mid‑1970s–1980s)
During this period he articulated the Consequence Argument and defended a strong incompatibilist position, culminating in "An Essay on Free Will" (1983). He argued that if determinism is true, our actions are the consequences of laws and past events beyond our control, so genuine alternative possibilities—and thus moral responsibility in a traditional sense—are impossible.
Metaphysics of Material Objects (late 1980s–1990s)
Turning to ontology and mereology, van Inwagen developed a highly revisionary account of material objects in "Material Beings" (1995). He denied the existence of most everyday composite objects, accepting only living organisms (and simples) as genuine material beings, and introduced influential puzzles about the special composition question and the status of ordinary artifacts.
Philosophy of Religion and Christian Philosophy (1980s–2000s)
In parallel with his metaphysical work, van Inwagen emerged as a leading analytic philosopher of religion. In "An Essay on the Problem of Evil" (1988) and numerous papers, he developed sophisticated defenses of the rationality of theism, offered new treatments of the evidential problem of evil, and applied analytic tools to Christian doctrines, helping to legitimize rigorous Christian philosophy in mainstream analytic circles.
Consolidation and Reflection (2000s–present)
Later work, such as "Ontology, Identity, and Modality" (2001) and "Thinking about Free Will" (2015), consolidates and refines his positions on ontology, free will, and philosophical method. He emphasizes careful argumentation, the limits of metaphysical knowledge, and a modest, fallibilist stance toward contentious metaphysical and theological claims, while continuing to influence ongoing debates.
1. Introduction
Peter van Inwagen (b. 1942) is widely regarded as one of the most influential figures in late‑20th‑ and early‑21st‑century analytic philosophy. His work spans metaphysics, philosophy of action, and philosophy of religion, with sustained engagement in Christian philosophical theology. Commentators often group him with other central analytic metaphysicians who revived systematic work on ontology, modality, and the structure of material reality.
Three clusters of ideas dominate discussions of his philosophy. First, in the free will debate, he is best known for formulating and defending the Consequence Argument, which purports to show that if determinism is true, no one has the ability to do otherwise. This has made him a leading incompatibilist and a prominent defender of libertarian free will.
Second, in metaphysics, his book Material Beings develops a highly revisionary answer to the Special Composition Question, denying the existence of most familiar composite objects and recognizing only simples and living organisms as genuine material things. This sparse ontology has become a standard reference point in contemporary mereology.
Third, in philosophy of religion, van Inwagen has offered influential treatments of the evidential problem of evil and analytic models of central Christian doctrines, contributing decisively to the movement known as analytic Christian philosophy. His work aims to show that rigorous, formal argumentation can be brought to bear on traditional theological issues without dismissing their religious significance.
Across these domains, van Inwagen is often cited for his methodologically explicit, cautiously realist approach, his insistence on clarity about logical form, and his willingness to defend philosophically and theologically unpopular positions when he judges the arguments to support them.
2. Life and Historical Context
Peter van Inwagen was born on 21 September 1942 in Schenectady, New York. He studied philosophy at the University of Rochester, completing his PhD in 1969 under Richard Taylor, a prominent defender of classical compatibilism and fatalism. This early exposure to mid‑century debates about free will and determinism shaped his later development of the Consequence Argument.
Professionally, van Inwagen taught at Syracuse University and later at the University of Notre Dame, institutions that played significant roles in the resurgence of analytic philosophy of religion and, in Notre Dame’s case in particular, analytic Christian philosophy. His election as President of the Society of Christian Philosophers in 1998 reflects his standing within that intellectual community.
Van Inwagen’s career unfolded during a period in which analytic philosophy saw renewed interest in “big” metaphysical questions—about modality, ontology, and persistence—after earlier phases of logical positivism and linguistic analysis. His metaphysical work both contributed to and benefited from this broader shift toward robust, systematic metaphysics.
Historically, his philosophical theology emerged in the wake of the so‑called “death of God” debates and the subsequent revival of analytic philosophy of religion spearheaded by figures such as Alvin Plantinga and William Alston. Van Inwagen’s publications in the 1980s and 1990s are often situated within this movement, which sought to treat religious claims with the same argumentative rigor as other philosophical topics.
The wider context of debates over physicalism, determinism in the sciences, and the status of common‑sense ontology provided the background against which van Inwagen developed his views on material beings, free will, and the rationality of theism.
| Year | Contextual Event | Relation to van Inwagen |
|---|---|---|
| 1960s | Dominance of analytic philosophy, rising interest in free will | Doctoral work under Richard Taylor |
| 1970s–80s | Revival of analytic metaphysics | Development of Consequence Argument |
| 1980s–90s | Consolidation of analytic philosophy of religion | Major works on evil and Christian doctrine |
3. Intellectual Development
Van Inwagen’s intellectual trajectory is often described in overlapping phases, each marked by a dominant set of questions and an evolving methodological stance.
Early Work: Free Will and Modality
In the late 1960s and early 1970s, drawing on his training under Richard Taylor, van Inwagen focused on free will, causation, and modality. Early papers on necessity and possible worlds supplied the formal apparatus he later deployed in the free will debate. His engagement with then‑standard compatibilist accounts set the stage for his later incompatibilism.
Incompatibilism and Agency
From the mid‑1970s through the 1980s, his attention centered on the tension between determinism and human agency. The articulation of the Consequence Argument and the publication of An Essay on Free Will (1983) mark this phase. During this period, his views shifted from exploring options within compatibilism to a firm commitment to incompatibilist libertarianism, albeit one tempered by skepticism about detailed positive theories of agency.
Turn to Ontology and Mereology
In the late 1980s and 1990s, van Inwagen’s focus broadened to ontology and the metaphysics of material objects, culminating in Material Beings (1995). Here he pursued questions about composition, persistence, and identity over time, often using puzzles about ordinary objects to challenge common‑sense beliefs. This work reflects a deepening interest in how metaphysical commitments interact with scientific descriptions of the world.
Systematic Philosophy of Religion
In parallel, especially from the 1980s onward, he developed a systematic approach to philosophy of religion and Christian theology, leading to An Essay on the Problem of Evil (1988) and later essays on doctrines such as the Incarnation and Resurrection. His treatment of these topics displays continuity with his metaphysical work, using the same tools of modal and ontological analysis.
Later Consolidation and Methodological Reflection
From the 2000s onward, collections like Ontology, Identity, and Modality (2001) and Thinking about Free Will (2015) consolidate earlier positions and reflect more explicitly on philosophical method. Van Inwagen increasingly emphasizes the limits of metaphysical knowledge, the role of intuitions, and a modest, fallibilist conception of philosophical theorizing.
4. Major Works
This section outlines van Inwagen’s principal book‑length works and their main philosophical aims.
An Essay on Free Will (1983)
This book systematically presents van Inwagen’s case for incompatibilism and libertarian free will. It develops the Consequence Argument, examines competing compatibilist strategies, and assesses the implications of indeterminism for responsibility. The work is frequently cited as a central text in contemporary free will debates.
An Essay on the Problem of Evil (1988; later editions 2006)
Here van Inwagen addresses the problem of evil, distinguishing logical from evidential formulations. He proposes a series of “stories” or possible explanations meant to show that theism can remain rational despite suffering. The book has been interpreted both as a defense of skeptical theism and as an exploration of how much explanatory detail is needed to undercut evidential arguments from evil.
Material Beings (1995)
Material Beings develops van Inwagen’s highly revisionary answer to the Special Composition Question. He argues that, strictly speaking, the only composite material objects are living organisms; there are no such things as tables, chairs, or other nonliving composites. The book explores puzzles about identity, persistence, and the problem of the many, and has become a focal text in contemporary mereology.
Ontology, Identity, and Modality (2001)
This collection gathers essays written over several decades on topics in metaphysics and modality. It includes influential pieces on existence questions, quantification, essentialism, and metaphysical necessity, as well as methodological reflections on how metaphysical inquiry proceeds. The volume serves as a key source for understanding his broader ontological commitments beyond Material Beings.
Thinking about Free Will (2015)
This later collection brings together and updates his essays on free will and moral responsibility. It revisits the Consequence Argument, assesses alternative formulations, and clarifies his stance on sourcehood, ability to do otherwise, and the nature of agent causation. Many readers treat it as his mature statement on free will, reflecting both continuity and refinement relative to An Essay on Free Will.
| Work | Primary Domain | Central Themes |
|---|---|---|
| An Essay on Free Will | Philosophy of action | Determinism, ability to do otherwise, responsibility |
| An Essay on the Problem of Evil | Philosophy of religion | Evidential evil, theism, skeptical theism‑style responses |
| Material Beings | Metaphysics | Composition, material objects, organisms |
| Ontology, Identity, and Modality | Metaphysics | Existence, modality, essentialism |
| Thinking about Free Will | Philosophy of action | Refinement of incompatibilism and libertarianism |
5. Core Ideas in Metaphysics
Van Inwagen’s metaphysical work is best known for its sparse ontology of material objects, its treatment of composition, and its views on existence and modality.
Composition and Material Objects
Central is his answer to the Special Composition Question: under what conditions do some things compose a further thing? Van Inwagen’s view, sometimes called organicism, is that composition occurs only when the activities of some simples constitute a living organism. On this view, there are human beings, cats, and trees, but—strictly speaking—no tables, rocks, or statues. Everyday talk of such objects is regarded as useful but, in a literal ontological sense, false or at best paraphrasable.
Proponents of this reading see it as a way to resolve puzzles about identity over time and vagueness in material objects. Critics argue that it conflicts with common sense, creates difficulties for science’s reference to nonliving composites, or relies on a controversial notion of “life” to solve metaphysical problems.
Mereology and the Problem of the Many
Van Inwagen uses formal mereology to examine cases such as the Ship of Theseus and “problem of the many” scenarios, arguing that many traditional puzzles arise from mistaken assumptions that every plurality of things composes a further object. By restricting composition, he aims to avoid proliferating coincident or borderline objects.
Alternative responses to these puzzles—such as universalism (everything composes something) or nihilism (nothing ever composes anything)—serve as contrasts to his position. He argues that organicism balances theoretical simplicity with fidelity to our self‑conception as organisms.
Existence, Quantification, and Modality
In essays collected in Ontology, Identity, and Modality, van Inwagen defends a broadly Quinean approach to ontology: to be is to be the value of a bound variable in our best theories. He applies this to debates about abstract objects, fictional entities, and possible worlds, typically favoring ontological seriousness about what our best explanations require.
Regarding modality, he maintains that there is such a thing as metaphysical necessity, but doubts that it can be reductively analyzed. Instead, he treats necessity as emerging from reflective equilibrium over our modal judgments, while acknowledging the potential fallibility of those judgments.
6. Free Will and the Consequence Argument
Van Inwagen’s most widely discussed contribution to the philosophy of action is the Consequence Argument for incompatibilism—the claim that free will (in the sense required for moral responsibility) is not compatible with determinism.
The Consequence Argument
The core idea is that if determinism is true, then every human action is the necessary consequence of the laws of nature and events in the remote past. Since no one has control over the past or the laws, it appears that no one has control over their present actions. Van Inwagen summarizes the intuition:
“If determinism is true, then our acts are the consequences of the laws of nature and events in the remote past. But it is not up to us what went on before we were born; and neither is it up to us what the laws of nature are. Therefore the consequences of these things (including our present acts) are not up to us.”
— Peter van Inwagen, An Essay on Free Will, p. 16
He presents various formal versions of the argument using a “rule of inference” about the transfer of powerlessness over necessary consequences.
Responses and Debates
Compatibilists have challenged the Consequence Argument in multiple ways:
| Compatibilist Strategy | Basic Idea |
|---|---|
| Deny transfer principle | Question the inference from lack of control over premises to lack of control over consequences |
| Redefine “can do otherwise” | Analyze ability in terms of conditional or dispositional notions |
| Appeal to counterfactuals | Emphasize what an agent would have done if her desires or decisions had been different |
Incompatibilists who accept the argument typically either embrace hard determinism (no free will if determinism is true) or, like van Inwagen, defend libertarianism: the view that determinism is false and we sometimes freely act.
Van Inwagen’s Libertarianism
Van Inwagen maintains that free actions must involve genuine alternative possibilities, but he is skeptical of detailed, positive theories of how indeterminism at the moment of choice works. He rejects simple appeal to randomness and is cautious about robust agent‑causal accounts, sometimes speaking of free will as a “mystery.” Critics suggest this renders libertarian freedom obscure; supporters see it as an honest response to the difficulty of explaining agency within a naturalistic framework.
7. Philosophy of Religion and the Problem of Evil
Van Inwagen’s work in philosophy of religion focuses heavily on the problem of evil, though he also addresses other theological topics.
Logical vs. Evidential Problem of Evil
He distinguishes between the logical problem of evil—the alleged inconsistency between an omnipotent, omniscient, wholly good God and the existence of evil—and the evidential problem of evil, which claims that the amount and types of suffering provide strong evidence against such a God. Van Inwagen regards the logical problem as largely defused by free‑will theodicies and similar strategies, and concentrates on the evidential challenge.
He writes:
“The problem of evil, as I see it, is not that the existence of suffering is logically inconsistent with the existence of an omnipotent, omniscient, and morally perfect being, but that the amount and kinds of suffering in the world make the existence of such a being hard to believe.”
— Peter van Inwagen, An Essay on the Problem of Evil, Introduction
“Stories” and Skeptical Elements
In response, van Inwagen offers “stories”—possible accounts of God’s reasons for allowing evil—rather than a full‑blown theodicy. One such story involves the value of significant freedom and the possibility that a fallen world is part of a larger redemptive narrative whose details are largely opaque to human knowers.
His approach has been interpreted as a form of skeptical theism, emphasizing our limited ability to judge whether God has morally sufficient reasons. Supporters see this as an effective way to undercut evidential arguments from evil without claiming to know God’s specific purposes. Critics raise concerns about moral skepticism (if we cannot see God’s reasons, can we assess any apparently gratuitous suffering?) and about the compatibility of such skepticism with robust trust in divine goodness.
Broader Philosophical Theology
Beyond evil, van Inwagen has published essays on the Incarnation, the Resurrection, and the nature of miracles, often using tools from analytic metaphysics to model these doctrines. He explores, for example, how personal identity might be preserved through bodily death and resurrection, and how a divine person could take on a human nature without contradiction. These models are presented as metaphysically possible scenarios rather than dogmatic theological claims, inviting comparison with alternative accounts offered by other analytic theologians.
8. Methodology and Philosophical Style
Van Inwagen’s work is marked by a distinctive methodological stance and literary voice within analytic philosophy.
Clarificatory, Not Foundational
He often characterizes philosophy as clarificatory rather than foundational. On his view, philosophy does not typically provide proofs of basic commitments (such as belief in an external world, other minds, or God) but instead clarifies their implications and internal coherence. He states:
“Philosophy, as I conceive of it, does not provide us with proofs of our most fundamental beliefs, but with a clearer view of the commitments and consequences of those beliefs.”
— Peter van Inwagen, Ontology, Identity, and Modality
This leads him to emphasize argumentation that traces out what follows from taking certain premises seriously, rather than claiming to settle those premises decisively.
Quinean Ontology, Metaphysical Realism
Methodologically, van Inwagen adopts a broadly Quinean approach to ontology—asking what entities we must quantify over in our best theories—while maintaining substantive metaphysical realism about questions of existence, identity, and modality. He treats metaphysical disputes as genuine disagreements about the structure of reality, not merely about language or conceptual schemes.
Use of Formal Tools and Intuitions
In both metaphysics and philosophy of action, he combines formal tools (modal and quantificational logic, mereology) with appeals to intuitions about possibility, ability, and identity. He is explicit about the fallibility of such intuitions, but regards them as indispensable data for theory‑building. Critics question the reliability and universality of these intuitions; supporters see his explicitness as a methodological virtue.
Stylistic Features
Stylistically, van Inwagen’s writing is often described as carefully structured, with numbered propositions, explicit inference rules, and detailed reconstructions of opponents’ arguments. At the same time, he frequently uses concrete examples, thought experiments, and a somewhat informal narrative voice, especially in his philosophical theology where he introduces “stories” rather than strict theodicies. This combination of precision and accessibility has contributed to the wide use of his texts in teaching and scholarly debate.
9. Impact on Analytic Christian Philosophy
Van Inwagen is widely regarded as a central figure in the development of analytic Christian philosophy, a movement that applies analytic methods to Christian theological questions.
Institutional and Community Roles
His long association with the Society of Christian Philosophers, including serving as its President (1998), positioned him at the heart of a network of scholars seeking to integrate rigorous analytic work with Christian commitments. At institutions such as the University of Notre Dame, he contributed to an environment in which philosophical theology became a respected subfield within mainstream analytic philosophy.
Theoretical Contributions
Substantively, his work on the problem of evil, the Resurrection, and the Incarnation provided models of how to engage doctrinal topics with the tools of contemporary metaphysics and modal logic. For example, his explorations of personal identity over time and material constitution inform his accounts of bodily resurrection, while his work on modality and necessity underlies his treatments of divine attributes.
These contributions have influenced subsequent analytic theologians and philosophers of religion who either extend his models, propose alternatives, or use his work as a foil for developing different approaches.
Influence and Critique within the Movement
Supporters within analytic Christian philosophy see van Inwagen’s work as demonstrating that traditional Christian doctrines can be articulated in ways that meet the standards of clarity and argumentation characteristic of analytic philosophy. His willingness to entertain revisionary metaphysical views is sometimes cited as evidence that theology can profit from rather than resist contemporary metaphysical theorizing.
Critics, including some sympathetic to Christian philosophy, question whether his metaphysical commitments—such as the denial of most composite objects—are well‑suited to doctrinal accounts that have historically presupposed ordinary object talk. Others worry that his skeptical elements in the response to evil may sit uneasily with traditional claims about knowing God’s goodness.
Despite such debates, van Inwagen’s work is widely regarded as a major reference point for anyone working at the intersection of analytic philosophy and Christian theology, and it continues to shape curricula, conferences, and research agendas in this area.
10. Legacy and Historical Significance
Van Inwagen’s legacy in contemporary philosophy is often assessed along several dimensions: his role in shaping debates, his influence on methodology, and his place in the history of analytic metaphysics and philosophy of religion.
Shaping Debates in Free Will and Metaphysics
The Consequence Argument has become a standard entry point into the free will literature, with much subsequent work framed as responses to, refinements of, or alternatives to van Inwagen’s formulation. Some commentators compare its historical role to that of earlier landmark arguments by Hume or Kant in setting the terms of debate.
In metaphysics, his organicist answer to the Special Composition Question helped to crystallize the contemporary landscape of views on composition (universalism, nihilism, restricted composition). Later work by metaphysicians either builds on, modifies, or explicitly rejects his sparse ontology, but rarely ignores it.
Influence on Philosophy of Religion
In philosophy of religion, van Inwagen’s development of evidential versions of the problem of evil and his skeptical‑theism‑style responses have become central reference points. His integration of metaphysical analysis with doctrinal issues has encouraged subsequent generations of philosophers to treat theological topics as legitimate areas of rigorous inquiry.
Methodological and Pedagogical Impact
Methodologically, his clear articulation of a modest, argument‑focused conception of philosophy has influenced discussions of what metaphysicians can and cannot reasonably claim to know. His books and essays are widely used in graduate and advanced undergraduate teaching, shaping how new philosophers understand issues of modality, ontology, and free will.
Historical Placement
Historians of analytic philosophy typically locate van Inwagen among the key figures in the late‑20th‑century revival of serious metaphysics and the rehabilitation of philosophy of religion within the analytic tradition. His work sits alongside that of Alvin Plantinga, David Lewis, and others who reintroduced large‑scale metaphysical theorizing after earlier periods of skepticism about such projects.
While assessments differ about the long‑term prospects of his specific positions (such as organicism or libertarianism), there is broad agreement that van Inwagen’s arguments and frameworks will remain central points of reference in discussions of free will, material objects, and the rationality of theism.
How to Cite This Entry
Use these citation formats to reference this thinkers entry in your academic work. Click the copy button to copy the citation to your clipboard.
Philopedia. (2025). Peter van Inwagen. Philopedia. https://philopedia.com/thinkers/peter-van-inwagen/
"Peter van Inwagen." Philopedia, 2025, https://philopedia.com/thinkers/peter-van-inwagen/.
Philopedia. "Peter van Inwagen." Philopedia. Accessed December 11, 2025. https://philopedia.com/thinkers/peter-van-inwagen/.
@online{philopedia_peter_van_inwagen,
title = {Peter van Inwagen},
author = {Philopedia},
year = {2025},
url = {https://philopedia.com/thinkers/peter-van-inwagen/},
urldate = {December 11, 2025}
}Note: This entry was last updated on 2025-12-10. For the most current version, always check the online entry.