Properties have an important role in specifying different views on laws of nature: virtually any position on laws will make some reference to properties, and some of the leading views even reduce laws to properties. This chapter will first outline what laws of nature are typically taken to be and then specify their connection to properties in more detail. We then move on to consider three different accounts of properties: natural, essential, and dispositional properties, and we shall see that different (...) conceptions of properties also result in different views of the modal status of laws, such as the question of whether laws are metaphysically necessary or contingent. Finally, there are also important links specifically between properties, natural kinds, and laws of nature that deserve our attention. (shrink)

In this chapter, it is suggested that our epistemic access to metaphysical modality generally involves rationalist, a priori elements. However, these a priori elements are much more subtle than ‘traditional’ modal rationalism assumes. In fact, some might even question the ‘apriority’ of these elements, but I should stress that I consider a priori and a posteriori elements especially in our modal inquiry to be so deeply intertwined that it is not easy to tell them apart. Supposed metaphysically necessary identity statements (...) involving natural kind terms are a good example: the fact that empirical input is crucial in establishing their necessity has clouded the role and content of the a priori input, as I have previously argued. For instance, the supposed metaphysically necessary identity statement involving water and its microstructure can only be established with the help of a controversial a priori principle concerning the determination of chemical properties by microstructure. The Kripke-Putnam framework of modal epistemology fails precisely because it is unclear whether the required a priori element is present. My positive proposal builds on E. J. Lowe’s work. Lowe holds that our knowledge of metaphysical modality is based on our knowledge of essence. Lowe’s account strives to offer a uniform picture of modal epistemology: essence is the basis of all our modal knowledge. This is the basis of Lowe’s modal rationalism. I believe that Lowe’s proposal is on the right lines in the case of abstract objects, but I doubt that it can be successfully applied to the case of natural kinds. Accordingly, the case of natural kinds will be my main focus and I will suggest that modal rationalism, at least as it is traditionally understood, falls short of explaining modal knowledge concerning natural kinds. Yet, I think that Lowe has identified something of crucial importance for modal epistemology, namely the essentialist, a priori elements present in our modal inquiry. The upshot is that rather than moving all the way from modal rationalism to modal empiricism, a type of hybrid approach, ‘empirically-informed modal rationalism ’, can be developed. (shrink)

In this chapter, a generic definition of fundamentality as an ontological minimality thesis is sought and its applicability examined. Most discussions of fundamentality are focused on a mereological understanding of the hierarchical structure of reality, which may be combined with an atomistic, object-oriented metaphysics. But recent work in structuralism, for instance, calls for an alternative understanding and it is not immediately clear that the conception of fundamentality at work in structuralism is commensurable with the mereological conception. However, it is proposed (...) that once we understand fundamentality as an ontological minimality thesis, these two as well as further conceptions of fundamentality can all be treated on a par, including metaphysical infinitism of the ‘boring’ type, where the same structure repeats infinitely. (shrink)

Unity of science was once a very popular idea among both philosophers and scientists. But it has fallen out of fashion, largely because of its association with reductionism and the challenge from multiple realisation. Pluralism and the disunity of science are the new norm, and higher-level natural kinds and special science laws are considered to have an important role in scientific practice. What kind of reductionism does multiple realisability challenge? What does it take to reduce one phenomenon to another? How (...) do we determine which kinds are natural? What is the ontological basis of unity? In this Element, Tuomas Tahko examines these questions from a contemporary perspective, after a historical overview. The upshot is that there is still value in the idea of a unity of science. We can combine a modest sense of unity with pluralism and give an ontological analysis of unity in terms of natural kind monism. This title is available as Open Access on Cambridge Core. (shrink)

Are acids natural kinds? Or are they merely relevant kinds? Although acidity has been one of the oldest and most important concepts in chemistry, surprisingly little ink has been spilled on the natural kind question. I approach the question from the perspective of microstructural essentialism. After explaining why both Brønsted acids and Lewis acids are considered functional kinds, I address the challenges of multiple realization and multiple determination. Contra Manafu and Hendry, I argue that the stereotypical properties of acids are (...) not multiply realized. Instead, given the equivalence between the proton-donating and electron-accepting mechanisms of Brønsted and Lewis, respectively, I show that acidity as a property type can be identified with a unique microstructural property, namely the presence of a LUMO or other low energy empty orbital. In doing so, I defend the view that the Lewis theory encompasses Brønsted–Lowry, and that all Brønsted acids are also Lewis acids. Contra Hacking and Chang, I thus maintain that the different concepts of acidity do not crosscut, and that the hierarchy requirement is met. Finally, by characterizing natural kinds as powerful objects and by adopting a dispositional view of functions, I illustrate how the microessentialist can make sense of the latent and relational character of most acids. In sum, I contend that acids are genuine natural kinds, even for the microstructural essentialist. (shrink)

Three popular views regarding the modal status of the laws of nature are discussed: Humean Supervenience, nomic necessitation, and scientific/dispositional essentialism. These views are examined especially with regard to their take on the apparent modal force of laws and their ability to explain that modal force. It will be suggested that none of the three views, at least in their strongest form, can be maintained if some laws are metaphysically necessary, but others are metaphysically contingent. Some reasons for thinking that (...) such variation in the modal status of laws exists will be presented with reference to physics. This drives us towards a fourth, hybrid view, according to which there are both necessary and contingent laws. The prospects for such a view are studied. (shrink)

There have been many attempts to determine what makes a natural kind real, chief among them is the criterion according to which natural kinds must be mind-independent. But it is difficult to specify this criterion: many supposed natural kinds have an element of mind-dependence. I will argue that the mind-independence criterion is nevertheless a good one, if correctly understood: the mind-independence criterion concerns the unification principles for natural kinds. Unification principles determine how natural kinds unify their properties, and only those (...) natural kinds that have a mind-independent unification principle should be considered real. (shrink)

One type of deflationism about metaphysical modality suggests that it can be analysed strictly in terms of linguistic or conceptual content and that there is nothing particularly metaphysical about modality. Scott Soames is explicitly opposed to this trend. However, a detailed study of Soames’s own account of modality reveals that it has striking similarities with the deflationary account. In this paper I will compare Soames’s account of a posteriori necessities concerning natural kinds with the deflationary one, specifically Alan Sidelle’s account, (...) and suggest that Soames’s account is vulnerable to the deflationist’s critique. Furthermore, I conjecture that both the deflationary account and Soames’s account fail to fully explicate the metaphysical content of a posteriori necessities. Although I will focus on Soames, my argument may have more general implications towards the prospects of providing a meaning-based account of metaphysical modality. (shrink)

Some revisionary ontologies are highly parsimonious: they posit far fewer entities than what we quantify over in ordinary discourse. The most radical examples are minimal ontologies, on which physical simples are the only things that exist. Highly parsimonious ontologies, and especially minimal ones, face the challenge of either accounting for the truth of our ordinary quantificational discourse, or paraphrasing such discourse away. Common strategies for addressing this challenge include classical reduction, paraphrase nihilism, and a distinction between ontological and existence commitments. (...) I argue, however, that these strategies are either implausible or fail to provide truth conditions consistent with minimal or parsimonious ontologies. I then discuss, defend, and suggest ways to strengthen an alternative framework for reduction, on which the sentences of reducing theories ground those of reducible theories. Relative to the other options for defending minimal ontology, a strengthened grounding-reductive approach can provide more defensible truth conditions for minimal ontology, better preserve scientific realist intuitions, set a more attainable standard for reduction, and allow our existence commitments to be more responsive to empirical evidence and scientific expertise. As a result, I argue that minimal ontology becomes more defensible—though not certain—on a grounding-reductive framework. But even if minimal ontology were wrong, the grounding-reductive framework makes other parsimonious but non-minimal ontologies more plausible. (shrink)

This paper defends an ontology of weak entity realism for homeostatic property cluster (HPC) theories of natural kinds, adapted from Bird’s (Synthese 195(4):1397–1426, 2018) taxonomy of such theories. Weak entity realism about HPC kinds accepts the existence of natural kinds. Weak entity realism denies two theses: that (1) HPC kinds have mind-independent essences, and that (2) HPC kinds reduce to entities, such as complex universals, posited only by metaphysical theories. Strong entity realism accepts (1) and (2), whereas moderate entity realism (...) accepts only (1). Given its commitment to (2), strong entity realism is more theoretically complex than weak entity realism, with little explanatory payoff. Given their commitment to (1), moderate and strong entity realisms cannot explain how the identity conditions of HPC kinds are to be straightforwardly knowable. I argue that weak entity realism avoids such epistemic difficulties. I further rebut two plausible criticisms of weak entity realism, namely that weak entity realism cannot account for quantification over kinds, and that weak entity realism cannot provide identity conditions for HPC kinds which are both scientifically useful and objective. Given the theoretical costs of strong and moderate entity realism, and weak entity realism’s adequate response to its most plausible challenges, weak entity realism about HPCs is to be preferred, especially for biological and chemical kinds. (shrink)

Mineral species are, at first glance, an excellent candidate for an ideal set of natural kinds somewhere beyond the periodic table. Mineralogists have a detailed set of rules and formal procedure for ratifying new species, and minerals are a less messy subject matter than biological species, psychological disorders, or even chemicals more broadly—all areas of taxonomy where the status of species as natural kinds has been disputed. After explaining how philosophers have tended to get mineralogy wrong in discussions of natural (...) kinds, I show how minerals species don’t behave like natural kinds. They are defined on the basis of human intentionality, not merely natural distinctions. They aren’t ideal grounds for inductive inference. And they don’t form a system that divides nature along a set of equivalent joints. While this is a regrettable outcome to those of us who like the idea of science relying on natural kinds, I contend that mineralogy is doing just fine without a natural kind-based taxonomy, and may in fact be better off without one. (shrink)

Current Perspectives in Philosophy of Biology.

Some philosophers who believe that there are necessary connections in nature take it that an advantage of their commitment is that the problem of induction is solved. This paper aims to offer a comprehensive refutation of the arguments necessitarians use to show that if natural necessities are posited, then there is no problem of induction. In section 2, two models of natural necessity are presented. The “Contingent Natural Necessity” section examines David Armstrong’s explanationist ‘solution’ to the problem of induction. The (...) “Natural Necessity and IBE” section looks in detail into the claim that natural necessity is the best explanation of observed regularity. The “Dispositional Essentialism to the Rescue?” section moves on to Brian Ellis’s dispositional essentialist ‘solution’. The “Sankey’s Helping Hand” section examines Howard Sankey’s attempt to blend dispositional essentialism and explanationism. (shrink)

Standard arguments for essentialism with respect to natural kinds such as gold, star, water or tiger enlist essentialist principles or essentialist intuitions. I argue that we need neither. All it takes to establish essentialism for the kinds in question are insights from science and semantics. Semantics establishes that natural kind predicates such as “is gold” or “is a star” are paradigm terms whose application conditions are relationally determined, object involving, and actuality dependent. Science assures us that a posteriori hypotheses such (...) as “∀x” are deeply explanatory, as well as true. Taken together, these results establish essentialism for kinds such as gold, star, water or tiger. I consider this a deflationary result. When it comes to natural kind essentialism, there is no need for substantial metaphysics, be it essentialist or otherwise. (shrink)

The current tendency to moderate expectations that DNA barcode can be a method of discovering new species is due to the essentialist interpretation of this scientific analogy that is conceptually unsustainable. Something similar has happened in the philosophical field with the weakening of the initial versions of intrinsic biological essentialism. To examine the nature of this transition, I propose two principles that define a moderate EBI: one that assumes that the history of the taxon is metaphysically dependent on the evolution (...) of its intrinsic properties and another that assumes the necessary coextensivity between the intrinsic properties that explain the phenotype of the species and the bearers of identity conditions of a species. I argue that both principles are conceptually and empirically unsatisfactory. (shrink)

Sider’s Writing the Book of the World gives an account of fundamentality in terms of his central ideological notion ‘structure’. Here I first argue against Sider’s claim that to be fundamental to a degree is to be structural to a degree. I argue there’s a pair of properties, P1 and P2, such that P1 is the more fundamental, but Sider is committed to counting P2 as the more structural. I then argue that if relative structure and relative fundamentality can come (...) apart in this way, then Sider is likely also wrong to identify being absolutely structural with being absolutely fundamental. (shrink)

I propose that we approach the epistemology of modality by putting modal metaphysics first and, specifically, by investigating the metaphysics of essence. Following a prominent Neo-Aristotelian view, I hold that metaphysical necessity depends on the nature of things, namely their essences. I further clarify that essences are core properties having distinctive superexplanatory powers. In the case of natural kinds, which is my focus in the paper, superexplanatoriness is due to the fact that the essence of a kind is what causes (...) all the many properties and behaviors that are typically shared by all the instances of the kind. Accordingly, we know what is necessarily true of kinds by knowing what is essential to them in the sense of actually playing such causal-explanatory roles. Modal reasoning aimed at discovering metaphysical necessity thus proceeds via essentialist deduction: we move from essentialist truths to reach necessary truths. (shrink)

Several philosophers have recently tried to define natural kinds in epistemic terms only. Given the persistent problems with finding a successful metaphysical theory, these philosophers argue that we would do better to describe natural kinds solely in terms of their epistemic usefulness, such as their role in supporting inductive inferences. In this paper, I argue against these epistemology-only theories of natural kinds and in favor of, at least partly, metaphysical theories. I do so in three steps. In the first section (...) of the paper, I propose two desiderata for a theory of natural kinds. In the second section, I discuss one example of a ‘general’ epistemology-only theory, proposed by Marc Ereshefsky and Thomas Reydon, and argue that theories like theirs fail to provide adequate criteria of natural kinds. In the third section, I focus on one example of a ‘specific’ epistemology-only theory, proposed by P. D. Magnus, and use it to show why such theories cannot justify the claim that the proposed epistemic criteria account for the naturalness of kinds. (shrink)

In this paper, I present a critique of taxonomic pluralism, namely the view that there are multiple correct ways to classify entities into natural kinds within a given scientific domain. I argue that taxonomic pluralism, as an anti-essentialist position, fails to provide a realist alternative to taxonomic monism, i.e., the view that there is only one correct way to classify entities into natural kinds within a given scientific domain. To establish my argument, I first explain why the naturalist approach to (...) natural kinds adopted by pluralists requires them to give up the mind-independence criterion of reality presupposed by monists. Next, I survey two types of pluralist account. I argue that, while the modest pluralist account is not pluralistic enough, the radical pluralist account fails to come up with an alternative criterion of reality that is robust enough to differentiate its position from anti-realism about natural kinds. I conclude by drawing out the implications of my critique for the essentialism/anti-essentialism debate about natural kinds. (shrink)

The identity of a natural kind can be construed in terms of its causal profile. This conception is more appropriate to science than two alternatives. The identity of a natural kind is not determined by one causal role because one natural kind can have many causal roles and several functions and because some functions are shared by different kinds. Furthermore, the microstructuralist thesis is wrong: The identity of certain natural kinds is not determined by their microstructure. It is true that (...) if A and B have the same microstructural composition then a sample of a chemical substance A is of the same chemical substance as a sample of B. However, the reverse does not hold. It is not the case that if a sample of a chemical substance A is of the same chemical substance as a sample of B then A and B have the same microstructural composition. This is because a macroscopic NK can be “multiconstituted” by different microstructures. (shrink)

The article examines the role of natural kinds in semantic theorizing, which has largely been conducted in isolation from relevant work in science, metaphysics, and philosophy of science. We argue that the Kripke–Putnam account of natural kind terms, despite recent claims to the contrary, depends on a certain metaphysics of natural kinds; that the metaphysics usually assumed—micro-essentialism—is untenable even in a ‘placeholder’ version; and that the currently popular homeostatic property cluster theory of natural kinds is correct only to an extent (...) that fails to vindicate the Kripke–Putnam account. This undermines the metasemantics required for anti-descriptivist semantics. _1_ Introduction _2_ From Semantics to Metaphysics _3_ Metaphysics, Part I: The Demise of Micro-essentialism _3.1_ Original micro-essentialism _3.2_ Placeholder essentialism _4_ Metaphysics, Part II: Homeostatic Property Cluster Theory _5_ Prospects for Natural Kind Term Semantics. (shrink)

Häggqvist and Wikforss argued that in the case of so-called natural kind terms, semantic externalism relies on an untenable metaphysics of kinds: microessentialism. They further claimed that this metaphysics fails, for largely empirical reasons. Focussing on the case of water, Hoefer and Martí European Journal for the Philosophy of Science, 9, rejoin that suitably construed, microessentialism is correct. I argue that their defence of microessentialism fails.

There is a perennial philosophical dream of a certain natural order for the natural kinds. The name of this dream is ‘the hierarchy requirement’. According to this postulate, proper natural kinds form a taxonomy which is both unique and traditional. Here I demonstrate that complex scientific objects exist: objects which generate different systems of scientific classification, produce myriad legitimate alternatives amongst the nonetheless still natural kinds, and make the hierarchical dream impossible to realize, except at absurdly great cost. Philosophical hopes (...) for a certain order in nature cannot be fulfilled. Natural kinds crosscut one another, ubiquitously so, and this crosscutting spells the end of the hierarchical dream. (shrink)

Causal theories of reference for natural kind terms are widely agreed to play a central role in arguments for the claim that theoretical identity statements such as “Water is H2O” are necessary, if true. However, there is also fairly wide-spread agreement, due to the arguments of Nathan Salmon, that causal theories of reference do not alone establish such essentialism about natural kinds: an independent, non-trivial essentialist premise is also needed. In this paper I will question this latter agreement. I will (...) argue that there is an independently attractive explanation of why such identity statements are metaphysically necessary, if true: an explanation which relies on assumptions about the semantics of natural kind terms, general philosophical assumptions about reference, and straightforward empirical assumptions, but presupposes no non-trivial essentialist premises. (shrink)

Near the end of the last century, some legal philosophers adapted the so called causal theories of reference to solve internal problems in legal theory. Among those philosophers, Nicos Stavropoulos adjusted Hilary Putnam’s semantic externalism claiming it as a better philosophical view than legal positivism defended by Herbert Hart. According to him, what determines the correct application of a legal rule must be determined by the objects themselves. In that case, what determines the reference of legal terms is an issue (...) to be solved by the best theory developed. However, this is not the case necessarily: Hart’s model can reach to the same conclusions as an externalist adjustment of law. Furthermore, the epistemic criteria required by Putnam to deal with value judgements are also acceptable in a positivist model. This paper presents the central thesis of Putnam’s semantic externalism, with Stavropoulos adaptations to law, and defends that Hart’s approach to deal with legal rules and Putnam’s approach to deal with language rules can converge. (shrink)

Biochemical kinds such as proteins pose interesting problems for philosophers of science, as they can be studied from the points of view of both biology and chemistry. The relationship between the biological functions of biochemical kinds and the microstructures that they are related to is the key question. This leads us to a more general discussion about ontological reductionism, microstructuralism, and multiple realization at the biology-chemistry interface. On the face of it, biochemical kinds seem to pose a challenge for ontological (...) reductionism and hence motivate a dual theory of chemical and biological kinds, a type of pluralism about natural kinds. But it will be argued that the challenge, which is based on multiple realization, can be addressed. The upshot is that there are reasonable prospects for ontological reductionism about biochemical kinds, which corroborates natural kind monism. (shrink)

Theoria, Volume 88, Issue 2, Page 406-433, April 2022.

The aim of this paper is to provide a complete Natural Kind Semantics for an Essentialist Theory of Kinds. The theory is formulated in two-sorted first order monadic modal logic with identity. The natural kind semantics is based on Rudolf Willes Theory of Concept Lattices. The semantics is then used to explain several consequences of the theory, including results about the specificity (species–genus) relations between kinds, the definitions of kinds in terms of genera and specific differences and the existence of (...) negative kinds. First, I show under which conditions the Hierarchy principle, which has been subjected to counterexamples in the literature, holds. I also show that a different principle about the species–genus relations between kinds, namely Kant’s Law, follows from the essentialist theory. Second, I introduce two new operations for kinds and show that they can be used to provide traditional definitions of kinds in terms of genera and specific differences. Finally, I show that these operations of specific difference induce, for each kind, a uniquely specified contrary kind and a uniquely specified subcontrary kind, which can be used as semantic values for non-classical predicate negations of kind terms. (shrink)

Are acids natural kinds? Or are they merely relevant kinds? Although acidity has been one of the oldest and most important concepts in chemistry, surprisingly little ink has been spilled on the natural kind question. I approach the question from the perspective of microstructural essentialism. After explaining why both Brønsted acids and Lewis acids are considered functional kinds, I address the challenges of multiple realization and multiple determination. Contra Manafu and Hendry, I argue that the stereotypical properties of acids are (...) not multiply realized. Instead, given the equivalence between the proton-donating and electron-accepting mechanisms of Brønsted and Lewis, respectively, I show that acidity as a property type can be identified with a unique microstructural property, namely the presence of a LUMO or other low energy empty orbital. In doing so, I defend the view that the Lewis theory encompasses Brønsted--Lowry, and that all Brønsted acids are also Lewis acids. Contra Hacking and Chang, I thus maintain that the different concepts of acidity do not crosscut, and that the hierarchy requirement is met. Finally, by characterizing natural kinds as powerful objects and by adopting a dispositional view of functions, I illustrate how the microessentialist can make sense of the latent and relational character of most acids. In sum, I contend that acids are genuine natural kinds, even for the microstructural essentialist. (shrink)

The dissertation is in the format of a collection of several academic texts, composed of a two-part presentation and three papers on the topic of conceivability and the epistemology of modality. The presentation is composed of, first, a general introduction to conceivability theses and objections and, second, a discussion of two cases. Following the presentation, Asger provides three papers. The first paper, Pretense and Conceivability: A reply to Roca-Royes, presents a problem and a dilemma for Roca-Royes’ Non-Standard Dilemma for conceivability-based (...) epistemologies of de re modality in which she concludes that conceivability cannot be the whole story of our de re modal knowledge. The second paper, Conceivability Externalized, proposes an externalist conceivability-based epistemology of possibility inspired by Stalnaker. The third paper, Inconceivability as a Guide to Impossibility, considers inconceivability as an epistemic guide to impossibility, aiming to explore and add support to the underexplored thesis that one can justify beliefs about the impossibility of P on the basis of the inconceivability of P. (shrink)

The epistemology of essence is a topic that has received relatively little attention, although there are signs that this is changing. The lack of literature engaging directly with the topic is probably partly due to the mystery surrounding the notion of essence itself, and partly due to the sheer difficulty of developing a plausible epistemology. The need for such an account is clear especially for those, like E.J. Lowe, who are committed to a broadly Aristotelian conception of essence, whereby essence (...) plays an important theoretical role. In this chapter, our epistemic access to essence is examined in terms of the a posteriori vs. a priori distinction. The two main accounts to be contrasted are those of David S. Oderberg and E.J. Lowe. (shrink)

In this talk I present the main results from Anta (2021), namely, that the theoretical division between Boltzmannian and Gibbsian statistical mechanics should be understood as a separation in the epistemic capabilities of this physical discipline. In particular, while from the Boltzmannian framework one can generate powerful explanations of thermal processes by appealing to their microdynamics, from the Gibbsian framework one can predict observable values in a computationally effective way. Finally, I argue that this statistical mechanical schism contradicts the Hempelian (...) (1958) thesis that the predictive power of a scientific theory is directly proportional to its explanatory potential, and vice versa. (shrink)

This paper presents an account of what it is for a property or relation (or ‘attribute’ for short) to be logically simple. Based on this account, it is shown, among other things, that the logically simple attributes are in at least one important way sparse. This in turn lends support to the view that the concept of a logically simple attribute can be regarded as a promising substitute for Lewis’s concept of a perfectly natural attribute. At least in part, the (...) advantage of using the former concept lies in the fact that it is amenable to analysis, where that analysis—i.e., the account put forward in this paper—requires the adoption neither of an Armstrongian theory of universals nor of a primitive notion of naturalness, fundamentality, or grounding. (shrink)

Tässä artikkelissa käsittelen Descartesin ikuisten totuuksien välttämättömyyteen liittyvää ongelmaa. Teoksessa Mietiskelyjä ensimmäisestä filosofiasta (1641–1642) Descartes nostaa esiin käsitteen ikuisista totuuksista, käyttäen esimerkkinään kolmiota. Kolmion muuttumattomaan ja ikuiseen luontoon kuuluu esimerkiksi, että sen kolme kulmaa ovat yhteenlaskettuna 180°. Se on totta kolmiosta, vaikka yhtään yksittäistä kolmiota ei olisi koskaan ollutkaan olemassa. Eräät ajattelemieni asioiden piirteet ovat siis Descartesin mukaan ajattelustani riippumattomia. Ikuisia totuuksia ovat ainakin matemaattiset ja geometriset tosiseikat sekä ristiriidan laki. Samoin Descartesin kuuluisa lause “ajattelen, siis olen” lukeutuu ikuisten totuuksien (...) joukkoon. Descartesin ikuiset totuudet olisivatkin siis loogisesti välttämättömiä. Niillä on kyseinen olemus riippumatta ulkoisten kohteiden olemassaolosta tai siitä, ajattelenko niitä lainkaan. Kuitenkin kirjeenvaihdossaan Descartes pitää itsepintaisesti kiinni käsityksestään, että ikuiset totuudet ovat Jumalan vapaasti luomia ja Jumala olisi voinut luoda ne erilailla. Näin ollen luodut ikuiset totuudet eivät tarkkaan ottaen olisikaan välttämättömiä vaan kontingentteja. Ne voisivat olla myös toisella tavalla. Artikkelin alkuun esittelen Descartesin modaalista metafysiikkaa sekä luotujen ikuisten totuuksien kontingenttiudesta seuraavia tulkinnallisia vaikeuksia. Tämän jälkeen pureudun kolmeen erilaiseen ratkaisuyritykseen kommentaarikirjallisuudessa (Frankfurt 1977; Curley 1984 & Bennett 1994) ja osoitan, miksi ne eivät riitä vastaamaan ongelmaan. Lopussa vedän johtopäätöksiä ja luonnostelen mahdollisen ratkaisun. (shrink)

Title in English: "Empirical elements in modal epistemology". This article examines Peter van Inwagen's modal scepticism and argues that although van Inwagen is correct to criticise modal rationalism, there are tools in modal empiricism that are promising sources of modal knowledge.