An adequate account of laws should satisfy at least five desiderata: it should provide a unified account of laws and chances, it should yield plausible relations between laws and chances, it should vindicate numerical chance assignments, it should accommodate dynamical and non-dynamical chances, and it should accommodate a plausible range of nomic possibilities. No extant account of laws satisfies these desiderata. This paper presents a non-Humean account of laws, the Nomic Likelihood Account, that does.

If there are fundamental laws of nature, can they fail to be exact? In this paper, I consider the possibility that some fundamental laws are vague. I call this phenomenon 'fundamental nomic vagueness.' I characterize fundamental nomic vagueness as the existence of borderline lawful worlds and the presence of several other accompanying features. Under certain assumptions, such vagueness prevents the fundamental physical theory from being completely expressible in the mathematical language. Moreover, I suggest that such vagueness can be regarded as (...) 'vagueness in the world.' For a case study, we turn to the Past Hypothesis, a postulate that (partially) explains the direction of time in our world. We have reasons to take it seriously as a candidate fundamental law of nature. Yet it is vague: it admits borderline (nomologically) possible worlds. An exact version would lead to an untraceable arbitrariness absent in any other fundamental laws. However, the dilemma between fundamental nomic vagueness and untraceable arbitrariness is dissolved in a new quantum theory of time's arrow. (shrink)

Humeanism – the idea that there are no necessary connections between distinct existences – and Nomic Essentialism – the idea that properties essentially play the nomic roles that they do – are two of the most important and influential positions in the metaphysics of science. Traditionally, it has been thought that these positions were incompatible competitors. We disagree. We argue that there is an attractive version of Humeanism that captures the idea that, for example, mass essentially plays the role that (...) it actually does in the laws of nature. In this paper we consider the arguments that have lead many to conclude that Humeanism cannot be combined with Nomic Essentialism; we identify the weaknesses in these arguments; and we argue in detail that a version of Humeanism based on a variant of the Best System account of laws captures the key intuitions behind nomic essentialism. (shrink)

Moral realists often disagree about the nature of moral properties. These properties can be natural (as per naturalistic moral realism) or non-natural. But it is unclear how we should understand the notion of naturalness employed in these discussions. In this paper I propose a novel account of moral naturalness. I suggest that a property F is natural iff F falls within the scope of a natural law. In turn, a law is natural when it figures in a nomic nexus involving (...) the laws of physics. (shrink)

In this book Pollock deals with the subject of probabilistic reasoning, making general philosophical sense of objective probabilities and exploring their ...

I introduce "nomic-role nonreductionism" as an alternative to traditional causal-role functionalism in the philosophy of mind. Rather than identify mental properties by a theory that describes their intra-level causal roles via types of inputs, internal states, and outputs, I suggest that one identify mental properties by a more comprehensive theory that also describes inter-level realization roles via types of lower-level engineering, internal mental states, and still higher-level states generated by them. I defend this position on grounds that mental properties should (...) be understood by our best scientific theories, which at present include informatioin about mental engineering. I further defend this claim by a "parity of reasons" argument. Causal-role functionalists are justified to include sensory stimuli in their theory of mind as opposed to, say, the remote causes of sensory stimuli because the former but not the latter are items of direct mental production. But ditto for the system's physical realizations. They too directly produce mental states, only not by "causing" them but by "realizing" them. Engineering realizations and their input triggering conditions work in tandem. In addition, I tell a related but more general metaphysical story about property identity, namely, that the traditional causal theory should be replaced by a more comprehensive nomic theory that individuates properties by their intra-level causal powers as well as their inter-level realization capacities. (shrink)

This monograph presents new ideas in nomic truth approximation. It features original and revised papers from a philosopher of science who has studied the concept for more than 35 years. Over the course of time, the author's initial ideas evolved. He discovered a way to generalize his first theory of nomic truth approximation, viz. by dropping an unnecessarily strong assumption. In particular, he first believed to have to assume that theories were maximally specific in the sense that they did not (...) only exclude certain conceptual possibilities, but also that all non-excluded possibilities were in fact claimed to be nomically possible. Now, he argues that the exclusion claim alone, or for that matter the inclusion claim alone, is sufficient to motivate the formal definition of being closer to the nomic truth. The papers collected here detail this generalized view of nomic truthlikeness or verisimilitude. Besides this, the book presents, in adapted form, the relation with several other topics, such as, domain revision, aesthetic progress, abduction, inference to the best explanation, pragmatic aspects, probabilistic methods, belief revision and epistemological positions, notably constructive realism. Overall, the volume presents profound insight into nomic truth approximation. This idea seeks to determine how one theory can be closer to, or more similar to, the truth about what is nomically, e.g. physically, chemically, biologically, possible than another theory. As a result, it represents the ultimate goal of theory oriented empirical science. Theo Kuipers is the author of Studies in Inductive Probability and Rational Expectation, From Instrumentalism to Constructive Realism and Structures in Science. He is the volume-editor of the Handbook on General Philosophy of Science. In 2005 there appeared two volumes of Essays in Debate with Theo Kuipers, entitled Confirmation, Empirical Progress, and Truth Approximation and Cognitive Structures in Scientific Inquiry. (shrink)

It is commonly thought that that the best system account of lawhood ((Mill (1843), Ramsey (1978)[fp. 1928], Lewis (1973)) makes available a nice explanation for why laws are ‘distinctively appropriate targets of scientific inquiry’ (Hall, 2015). The explanation takes the following general form: laws are especially valuable for agents like us because they efficiently encode a lot of valuable (non-nomic) information in a tractable format. The goal of this paper is to challenge this style of explanation: I argue that the (...) general principle it presupposes is in conflict with our best account of practical rationality. After considering and rejecting a number of proposals for dissolving the tension, I conclude that BSA proponents may need to scale back the explanatory ambitions of their theory; in particular, they may need to give up the hope of non-circular explanations of the value of nomic information. I end by outlining some challenges for the humean world-view that results after this shift. (shrink)

It is commonly thought that that the best system account of lawhood ((Mill (1843), Ramsey (1978)[fp. 1928], Lewis (1973)) makes available a nice explanation for why laws are ‘distinctively appropriate targets of scientific inquiry’ (Hall, 2015). The explanation takes the following general form: laws are especially valuable for agents like us because they efficiently encode a lot of valuable (non-nomic) information in a tractable format. The goal of this paper is to challenge this style of explanation: I argue that the (...) general principle it presupposes is in conflict with our best account of practical rationality. After considering and rejecting a number of proposals for dissolving the tension, I conclude that BSA proponents may need to scale back the explanatory ambitions of their theory; in particular, they may need to give up the hope of non-circular explanations of the value of nomic information. I end by outlining some challenges for the humean world-view that results after this shift. (shrink)

character. So, we have learned from early on that laws are meant to portray a sort of necessity in nature. The comings and goings described by law are not merely contingently related. Rather, it is part of the concept of law that these events are connected in some significant way: "nomically" connected. One important desideratum for an account of law, then, is that it respect and perhaps explain this modal character.

Natural properties are those that carve reality at the joints. The notion of carving reality at the joints, however, is somewhat obscure, and is often understood in terms of making for similarity, conferring causal powers, or figuring in the laws of nature. I develop and assess an account of the third sort according to which carving reality at the joints is understood as having the right level of determinacy relative to nomic roles. The account has the attraction of involving very (...) weak metaphysical presuppositions, but fails to capture several features that natural properties are presumed to have. (shrink)

Thomas Kuhn's The Structure of Scientific Revolutions was published at the beginning of what has come to be known as “the cognitive revolution.” With hindsight one can construct significant parallels between the problems of knowledge, perception, and learning with which Kuhn and cognitive scientists were grappling and between the accounts developed by each. However, by and large Kuhn never utilized the research in cognitive science—especially in cognitive psychology—that we believe would have furthered his own paradigm. This is puzzling since he (...) did not have the traditional philosophical aversion to “psychologizing” and in fact drew on insights from psychology to support the most radical claims in Structure, such as the “Gestalt switch” nature of conceptual change. Indeed, the research program outlined there seems intrinsically historical, philosophical, and psychological and Kuhn's work has had considerable influence on research in cognitive science. (shrink)

Armstrong holds that a law of nature is a certain sort of structural universal which, in turn, fixes causal relations between particular states of affairs. His claim that these nomic structural universals explain causal relations commits him to saying that such universals are irreducible, not supervenient upon the particular causal relations they fix. However, Armstrong also wants to avoid Plato’s view that a universal can exist without being instantiated, a view which he regards as incompatible with naturalism. This construal of (...) naturalism forces Armstrong to say that universals are abstractions from a certain class of particulars; they are abstractions from first-order states of affairs, to be more precise. It is here argued that these two tendencies in Armstrong cannot be reconciled: To say that universals are abstractions from first-order states of affairs is not compatible with saying that universals fix causal relations between particulars. Causal relations are themselves states of affairs of a sort, and Armstrong’s claim that a law is a kind of structural universal is best understood as the view that any given law logically supervenes on its corresponding causal relations. The result is an inconsistency, Armstrong having to say that laws do not supervene on particular causal relations while also being committed to the view that they do so supervene. The inconsistency is perhaps best resolved by denying that universals are abstractions from states of affairs. (shrink)

The main purpose of this paper is to show that Kant’s transcendental philosophy is tacitly laden with the structures of modern modal thought. More exactly, the surprising parallelism which seems to exist between Kant’s manner of defining necessity (and, on this basis, nomicity) and the modern approaches of the same concepts in the frame of “possible worlds philosophy” is stressed. A new interpretation of the Categorical Imperative is also offered on this basis.

Assuming that the target of theory oriented empirical science in general and of nomic truth approximation in particular is to characterize the boundary or demarcation between nomic possibilities and nomic impossibilities, I have presented, in my article entitled “Models, postulates, and generalized nomic truth approximation” :3057–3077, 2016. 10.1007/s11229-015-0916-9), the ‘basic’ version of generalized nomic truth approximation, starting from ‘two-sided’ theories. Its main claim is that nomic truth approximation can perfectly be achieved by combining two prima facie opposing views on theories: (...) the traditional view: theories are postulates that exclude certain possibilities from being realizable, enabling explanation and prediction and the model view: theories are sets of models that claim to represent certain realizable possibilities. Nomic truth approximation, i.e. increasing truth-content and decreasing falsity-content, becomes in this way revising theories by revising their models and/or their postulates in the face of increasing evidence. The basic version of generalized nomic truth approximation is in many respects as simple as possible. Among other things, it does not take into account that one conceptual possibility may be more similar to another than a third one. However, for example, one theory may include a possibility that is more similar to a wrongly not included possibility than another theory can offer. Similarly, for wrongly not excluded possibilities. In this article it will be shown that such ‘refined’ considerations can be taken into account by adapted clauses based on a ternary similarity relation between possibilities. This allows again abductive conclusions about refined truth approximation if a theory is persistently more successful in the refined sense than another. It will also be indicated and illustrated that this refined approach enables a specification to the effect that refined truth approximation can be obtained by the method of idealization and subsequent concretization. Finally, the basic and the refined approach will be evaluated with regard to some general principles and objections that have been discussed in the literature. (shrink)

The paper proposes an explication of causation in terms of laws and their explanatory systematization. A basic notion is "nomic dependence". The definition given by David Lewis is suitable for deterministic laws, and a general definition drawing on Wesley Salmon's statistical-relevance model of explanation is proposed. A test is offered for establishing that one chain of nomically dependent events is more direct than another that ends with the same event by considering the relationship between the two chains when an explanation (...) in terms of more basic laws is sought. The chain to an event can be defined as causal if it is the most direct nomically linked chain leading up to that event. (shrink)

According to the Contingency Theory of Laws, if there are possible worlds in which it is a law that all Fs are G, there are also possible F-containing worlds in which it is not. I argue here that the theory is forced to accept the possibility of nomic inversion: i.e. pairs of properties that have their actual nomic roles swapped in some possible world. Such inversions cannot be ruled out on grounds of logical or metaphysical inconsistency, and therefore – since (...) nomic inversion is counterintuitive – the Contingency Theory is undermined. (shrink)

After identifying some existing explanations offered by nomic necessitarians for the alleged necessary connections between natural properties and their dispositional or nomic features, I discuss a less explored necessitarian strategy. This strategy is available to Platonists who hold that properties exist necessarily, as most do.

Reliabilism has received its share of bad press of late both as a theory of knowledge and as a theory of epistemic justification. We believe its credibility as a theory of knowledge may have been unjustly tarnished and we plan to defend it. However, we hasten to add that we shall defend reliabilism from attack only upon its credentials as a basis for a theory of knowledge. We shall not defend it as a theory of epistemic justification, although we do (...) believe that the latter is a worthy pursuit. (shrink)

Biological and cognitive sciences rely heavily on the idea of information transmitted between natural events or processes. This paper critically assesses some current philosophical views of natural information and defends a view of natural information as Nomic and Factive. Dretske offered a Factive view of information, and recent work on the topic has tended to reject this aspect of his view in favor of a non-Factive, probabilistic approach. This paper argues that the reasoning behind this move to non-Factivity is flawed (...) and mixes up different problems with Dretske’s original view. I show that one of these problems—strictness—has to do with Nomicity rather than Factivity. The other problem—reference class ambiguity—is not solvable just in terms of a theory of natural information. On the Dretske-inspired view I defend, natural information is Factive and Nomic but is insufficient to determine the cognitive or biological content of a natural process. In sum I present an examination what natural information is and what role it can play in our understanding of living and thinking things. (shrink)

The qualitative theory of nomic truth approximation, presented in Kuipers in his, in which ‘the truth’ concerns the distinction between nomic, e.g. physical, possibilities and impossibilities, rests on a very restrictive assumption, viz. that theories always claim to characterize the boundary between nomic possibilities and impossibilities. Fully recognizing two different functions of theories, viz. excluding and representing, this paper drops this assumption by conceiving theories in development as tuples of postulates and models, where the postulates claim to exclude nomic impossibilities (...) and the models claim to represent nomic possibilities. Revising theories becomes then a matter of adding or revising models and/or postulates in the light of increasing evidence, captured by a special kind of theories, viz. ‘data-theories’. Under the assumption that the data-theory is true, achieving empirical progress in this way provides good reasons for the abductive conclusion that truth approximation has been achieved as well. Here, the notions of truth approximation and empirical progress are formally direct generalizations of the earlier ones. However, truth approximation is now explicitly defined in terms of increasing truth-content and decreasing falsity-content of theories, whereas empirical progress is defined in terms of lasting increased accepted and decreased rejected content in the light of increasing evidence. These definitions are strongly inspired by a paper of Gustavo Cevolani, Vincenzo Crupi and Roberto Festa, viz., “Verisimilitude and belief change for conjunctive theories” :183–222, 2011). (shrink)

Almost everyone agrees, under some interpretation, that a world is nomologically accessible if and only if it obeys the laws of the base world. This surface agreement, however, has led many to attach little importance to different interpretations, thereby conflating two distinct concepts of nomological accessibility. According to the Shared Law Account (hereafter SL), a target world is nomologically accessible from the base world if, and only if, all and only the laws of the base world are laws at the (...) target world. The Compossible Events Account (hereafiter CE) holds that a target world is nomologically accessible from the base world if, and only if, all events of the target world are compossible with the laws of the base world. After demonstrating that these accounts are distinct, I shall show that the distinction matters. Not only is the correct modal system for nomic necessity determined by which characterizes accessibility, but some arguments against Humean supenfenience depend upon SL. In the final section I show that CE is the correct interpretation. (shrink)

Aristotle is essentially human; that is, for all possible worlds metaphysically consistent with our own, if Aristotle exists, then he is human. This is a claim about the essential property of an object. The claim that objects have essential properties has been hotly disputed, but for present purposes, we can bracket that issue. In this essay, we are interested, rather, in the question of whether properties themselves have essential properties (or features) for their existence. We call those who suppose they (...) do “property essentialists”; those who do not, “property anti-essentialists,” or “quidditists.” We offer two complementary arguments. Our total argument is under-girded by two assumptions: transworld identity theory and “received view” counterfactual semantics, a la David Lewis. We then argue that, if one presumes that these are true, then one risks running headlong into paradox if one also accepts property anti-essentialism. That's the first argument. By contrast, if one accepts these same assumptions in conjunction with property essentialism, then the paradox is avoided. This is the second argument. We take it that our arguments work to show that, between property essentialism and quidditism, the property essentialist is on better footing. Plausibly, properties themselves do have essential properties for their existence. (shrink)

Those who speak of the philosophy of science do not all have the same sort of study in mind. For some it is speculation about the overall nature of the world. Others take it to be basic theory of knowledge and perception. And for still others, it is a branch of philosophical analysis focused speci is meant to be a study falling under fically on science. The present book this last category. Generally, such a study has two aspects: one, methodological, (...) dealing with the logical structure of science, the other, substantive, dealing with scientific concepts. Our concern here is primarily methodological; and, where discussion veers at times towards substantive matters, this will be largely for the purpose of illustrating underlying methodological points. It should also be added that our considerations will be of a general sort, intended to apply to all of science with no special concern for any particular divisions. Except in an incidental manner, therefore, we shall give no primary attention to special problems in the methodology of the social sciences or in the philosophy of physics or of biology. And if we draw the larger portion of our examples from the physical rather than from the behavioral sciences, this is done merely for simplicity, succinctness, and similar conveniences of exposition rather than out of specialized concern for any particular area. (shrink)

After defending the ontologically genuine existence of at least some of the actual nomic relations, I discuss some issues concerning their metaphysical features. I firstly argue in favour of the metaphysical contingency of nomic relations and then I suggest that their relata-specificity is the most plausible metaphysical view that guarantees the unity of facts that the laws of nature are. Finally, I present a novel account according to which some of the actual nomic relations are neither external nor external but (...) contingently possess a kind of hybrid character. (shrink)

Consider Dretske's measles example (from page 74 in his Knowldege and the Flow of Information (MIT/Bradford: 1981) ): since the question of whether Alice's being one of Herman's children carries the information that she has the measles is a question about conditional probabilities, we must be careful about our specification of the condition, the antecedent. Although we are to suppose that it is a true generalization that all of Herman's children have the measles, since that is a coincidence, we can (...) just as well suppose that Alice is an only child with the measles. It is of course true that the conditional probability of Alice's having measles given that she has the measles is 1; but that is not relevant to the question Dretske raises. In Dretske's example, the question is whether Alice's being Herman's child carries the information that she has measles. And so the relevant condition in this example is simply Alice's being Herman's child. While it is in fact true that Alice has the measles, that isn't part of the condition: for the question is, "how probable is the one state of affairs given some other state of affairs,". (shrink)

This the first part of a two‐part article in which we defend the thesis of Humean Supervenience about Laws of Nature (HS). According to this thesis, two possible worlds cannot differ on what is a law of nature unless they also differ on the Humean base. the Humean base is easy to characterize intuitively, but there is no consensus on how, precisely, it should be defined. Here in Part I, we present and motivate a characterization of the Humean base that, (...) we argue, enables HS to capture what is really stake in the debate, without taking on extraneous commitments. “I tend to picture the [facts of the form “it is a law that s” and “is is not a lw that s”] as having been sprinkled been sprinkled like powdered sugar over the doughy surface of the non‐nomic facts.”—Marc Lange2 “Avoid empty carbohydrates.”—Runner's World3. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.1 (2003) 25-49 [Access article in PDF] Descartes's Nomic Concurrentism:Finite Causation and Divine Concurrence Andrew Pessin DESCARTES APPEARS TO HOLD the traditional view that God acts in the world via willing. 1 In recent papers on his successor Malebranche, who also holds that view, I have argued that since volitions are paradigm representational states, close attention to the representational content of God's volitions (...) has substantial exegetical rewards. 2 The same, I will argue, is true regarding Descartes. In particular, due to lack of such attention, scholars have largely failed to realize that Descartes retains [End Page 25] a version of the scholastic doctrine that God ordinarily concurs with the causal activities of both mental and material finite substances ("concurrentism"). 3 Since concurrentism implies the true causal powers of those finite substances, in exposing Descartes's adherence to it I aim to open up new ways of thinking about some old problems in Cartesian exegesis.The plan:(I) I will first sketch a partial "worldview," along with evidence that Descartes held something like it, then(II) argue, both on the basis of this worldview and other evidence, that we should interpret Descartes's account of divine and finite causality as a version of concurrentism, then(III) show how interpreting Descartes this way has significant implications for understanding his views on the causal powers of both mental and material finite substances, and finally(IV) contrast my interpretation with two recent relevant ones: Kenneth Clatterbaugh's and Daniel Garber's. 1. A Partial Worldview If Descartes's God acts on the world via willing, we may inquire into the contents of those volitions. I suggest that Descartes's God has, among others, distinguishable volitions with roughly the following contents. 4 These constitute a partial worldview (W), and will be discussed in turn:(V1) At all times beginning with original Creation matter exists everywhere.(V2) There is at original Creation a particular quantity q and particular distribution d of motion.(V3) At all times, the laws of motion apply.(V4) Mind m exists at time t (appropriately substituted).(V5) At all times, the laws of mind-body union apply.Our first task is to accommodate God's role in the Cartesian system as the continuous conserver of the material world. 5 One divine volition which would accomplish that might have the content, not that each individual body persists, but rather, simply, that [End Page 26](V1) at all times beginning with original Creation matter exists everywhere. 6Now (V1) may require us to rethink the way continuous conservation arguments are typically framed. In the texts of La Forge and Malebranche, for example, what God conserves are individual bodies,and Cartesian texts seem sometimes to suggest the same. 7 Such framing might suggest, contra (V1), that God's conservational volitional contents make explicit reference to each individual body. Nevertheless, there are reasons to think that Descartes's God's conserving activity is and ought to be framed as in (V1):(i) God's willing that (V1) provides an easy way to reconcile Cartesian mind —> body causal interaction with continuous conservation. 8 Many think that there is a tension between these two doctrines, since God, in conserving bodies, would seem to be responsible for all their modes including motion, leaving nothing for minds to contribute to them. Now that might be true where God's conserving volition explicitly represents each individual body, particularly given the role that motion plays in distinguishing individual Cartesian bodies. 9 (V1), however, in making no reference to individual bodies, is perfectly consistent with minds affecting either the quantity or distribution of motion in the material world.(ii) Similarly in Physiologia, Des Chene convincingly defends the claim that for Descartes, "since the existence of motion... is not entailed by the existence of matter, the creation of motion [is] independent of the creation of matter" (329). In light, again, of Descartes's conception of individual bodies (n. 9, below), this independence is best modeled by distinguishing God's conserving volition from those volitions... (shrink)

In their provocative 1988 paper, Fodor and Pylyshyn issued a formidable challenge to connectionists, i.e. to provide a non‐classical explanation of the empirical phenomenon of systematicity in cognitive agents. Since the appearance of F&P's challenge, a number of connectionist systems have emerged which prima facie meet this challenge. However, Fodor and McLaughlin (1990) advance an argument, based upon a general principle of nomological necessity, to show that one of these systems (Smolensky's) could not satisfy the Fodor‐Pylyshyn challenge. Yet, if Fodor (...) and McLaughlin's analysis is correct, it is doubtful whether any existing connectionist system would fare better than Smolensky's. In the view of Fodor and McLaughlin, humans and classical architectures display systematicity as a matter of nomological necessity (necessity by virtue of natural law), but connectionist architectures do not. However, I argue that the Fodor‐Pylyshyn‐McLaughlin appeal to nomological necessity is untenable. There is a sense in which neither classical nor connectionist architectures possess nomological (or‘nomic’) necessity. However, the sense in which classical architectures do possess nomic necessity applies equally well to at least some connectionist architectures. Representational constituents can have causal efficacy within both classical and connectionist architectures. (shrink)

In their provocative 1988 paper, Fodor and Pylyshyn issued a formidable challenge to connectionists, i.e. to provide a non‐classical explanation of the empirical phenomenon of systematicity in cognitive agents. Since the appearance of F&P's challenge, a number of connectionist systems have emerged which prima facie meet this challenge. However, Fodor and McLaughlin (1990) advance an argument, based upon a general principle of nomological necessity, to show that one of these systems (Smolensky's) could not satisfy the Fodor‐Pylyshyn challenge. Yet, if Fodor (...) and McLaughlin's analysis is correct, it is doubtful whether any existing connectionist system would fare better than Smolensky's. In the view of Fodor and McLaughlin, humans and classical architectures display systematicity as a matter of nomological necessity (necessity by virtue of natural law), but connectionist architectures do not. However, I argue that the Fodor‐Pylyshyn‐McLaughlin appeal to nomological necessity is untenable. There is a sense in which neither classical nor connectionist architectures possess nomological (or‘nomic’) necessity. However, the sense in which classical architectures do possess nomic necessity applies equally well to at least some connectionist architectures. Representational constituents can have causal efficacy within both classical and connectionist architectures. (shrink)

Straightforward theory revision, taking into account as effectively as possible the established nomic possibilities and, on their basis induced empirical laws, is conducive for (unstratified) nomic truth approximation. The question this paper asks is: is it possible to reconstruct the relevant theory revision steps, on the basis of incoming evidence, in AGM-terms? A positive answer will be given in two rounds, first for the case in which the initial theory is compatible with the established empirical laws, then for the case (...) in which it is incompatible with at least one such a law. (shrink)

In my From Instrumentalism to Constructive Realism I have shown how an instrumentalist account of empirical progress can be related to nomic truth approximation. However, it was assumed that a strong notion of nomic theories was needed for that analysis. In this paper it is shown, in terms of truth and falsity content, that the analysis already applies when, in line with scientific common sense, nomic theories are merely assumed to exclude certain conceptual possibilities as nomic possibilities.

This is the first part of a two-part article in which we defend the thesis of Humean Supervenience about Laws of Nature (HS). According to this thesis, two possible worlds cannot differ on what is a law of nature unless they also differ on the Humean base. The Humean base is easy to characterize intuitively, but there is no consensus on how, precisely, it should be defined. Here in Part I, we present and motivate a characterization of the Humean base (...) that, we argue, enables HS to capture what is really stake in the debate, without taking on extraneous commitments. (shrink)

In Part I, we presented and motivated a new formulation of Humean Supervenience about Laws of Nature (HS). Here in Part II, we present an epistemological argument in defense of HS, thus formulated. Our contention is that one can combine a modest realism about laws of nature with a proper recognition of the importance of empirical testability in the epistemology of science only if one accepts HS.

In this paper, we address the problem of truth approximation through theory change, asking whether revising our theories by newly acquired data leads us closer to the truth about a given domain. More particularly, we focus on “nomic conjunctive theories”, i.e., theories expressed as conjunctions of logically independent statements concerning the physical or, more generally, nomic possibilities and impossibilities of the domain under inquiry. We define both a comparative and a quantitative notion of the verisimilitude of such theories, and identify (...) suitable conditions concerning the (partial) correctness of acquired data, under which revising our theories by data leads us closer to “the nomic truth”, construed as the target of scientific inquiry. We conclude by indicating some further developments, generalizations, and open issues arising from our results. (shrink)

In Part I, we presented and motivated a new formulation of Humean Supervenience about Laws of Nature (HS). Here in Part II, we present an epistemological argument in defense of HS, thus formulated. Our contention is that one can combine a modest realism about laws of nature with a proper recognition of the importance of empirical testability in the epistemology of science only if one accepts HS.

This is the first part of a two-part article in which we defend the thesis of Humean Supervenience about Laws of Nature (HS). According to this thesis, two possible worlds cannot differ on what is a law of nature unless they also differ on the Humean base. The Humean base is easy to characterize intuitively, but there is no consensus on how, precisely, it should be defined. Here in Part I, we present and motivate a characteriza- tion of the Humean (...) base that, we argue, enables HS to capture what is really stake in the debate, without taking on extraneous commitments. (shrink)