The laws of nature have come a long way since the time of Newton: quantum mechanics and relativity have given us good reasons to take seriously the possibility of laws which may be non-local, atemporal, ‘all-at-once,’ retrocausal, or in some other way not well-suited to the standard dynamical time evolution paradigm. Laws of this kind can be accommodated within a Humean approach to lawhood, but many extant non-Humean approaches face significant challenges when we try to apply them to laws outside (...) the time evolution picture. Thus for proponents of non-Humean approaches to lawhood there is a clear need for a novel non-Humean account which is capable of accommodating these sorts of laws. In this paper we propose such an account, characterizing lawhood in terms of constraints, which are understood as a form of modal structure. We demonstrate that our proposed realist account can indeed accommodate a large variety of laws outside the time evolution paradigm, and describe some possible applications to important philosophical problems. (shrink)

I begin by defending condition (i) against five objections (section 2). Following this, I show that the theory that laws obtain contingently encounters three problems that are solved by the theory that laws are metaphysically necessary (section 3). In section 3, I criticize the regularity theory of natural laws and the universals theory of Armstrong, Dretske and Tooley, and also show how the metaphysical theory solves the “inference problem” that Van Fraassen (1989) posed for any theory of natural laws.

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these logics are intensional in nature and possess, (...) in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches. (shrink)

Could laws of nature be violated, in the sense that some proposition is both a law and false? I argue that opponents of regularity theories of laws should accept the metaphysical possibility of such genuine violations. I begin with a clarification of this claim. The main argument is then developed in three steps. I first argue that opponents of regularity theory should endorse the modal-essence view: certain modal principles are essential to the laws of nature. Second, I argue that the (...) modal-essence view entails sophisticated modal primitivism. Third, I argue from sophisticated primitivism to the metaphysical possibility of genuine violations of laws. (shrink)

Causal necessity typically receives only oblique attention. Causal relations, laws of nature, counterfactual conditionals, or dispositions are usually the immediate subject(s) of interest. All of these, however, have a common feature. In some way, they involve the causal modality, some form of natural or physical necessity. In this paper, causal necessity is discussed with the purpose of determining whether a completely general empiricist theory can account for the causal in terms of the noncausal. Based on an examination of causal relations, (...) laws of nature, counterfactual conditionals, and dispositions, it is argued that no reductive program devoid of essentialist commitments can account for all the phenomena that involve causal necessity. Hence, neo-Humean empiricism fails to provide a framework adequate for understanding causal necessity. (shrink)

The bulk of the literature concerning the governing role of non-Humean laws has been concentrated on the alleged incapability of higher order nomic facts to determine the regularities in the behaviour of actual objects, the so-called Inference Problem. Most recently Ioannidis, Livanios and Psillos (2021) argue that an adequate solution to the Inference Problem requires an answer to the question of how nomic relations manage to ‘tell’ properties what to do. Ioannidis et al. dub the difficulty that all extant accounts (...) of governing laws face to give such an answer, the Governing Problem and introduce a Dualist Model, according to which the specific behaviour of things in the world is the outcome of both the thin powers things have to be subjected to laws, and certain nomic features of the world. The aim of this paper is to show that the most plausible form of the Dualist Model can provide the basis for a novel version of the Powerful Qualities View about properties. To this end it presents ways of developing two aspects of the Dualist Model. It defends the view that nomic relations must be relata-specific in order to play their theoretical role within the Model and provides arguments for the view that natural properties should have the minimum (compatible with the core tenets of the Model) modal strength. (shrink)

In this article I intend to show that the inference problem, one of the main objections raised against the anti-Humean theory of natural laws defended by Dretske, Tooley and Armstrong (?DTA theory? for short), can be successfully answered. First, I argue that a proper solution should meet two essential requirements that the proposals made by the DTA theorists do not satisfy. Then I state a solution to the inference problem that assumes a local immanentistic view of universals, a partial definition (...) of the nomic necessitation relation as a relation of existential dependence, and a principle constraining multiple occupancy. I also argue that my solution meets the two requirements. Finally, I deal with non-standard laws such as exclusion laws, causal laws and laws involving spatiotemporal parameters. (shrink)

G. F. Stout is famous as an early twentieth century proselyte for abstract particulars, or tropes as they are now often called. He advanced his version of trope theory to avoid the excesses of nominalism on the one hand and realism on the other. But his arguments for tropes have been widely misconceived as metaphysical, e.g. by Armstrong. In this paper, I argue that Stout’s fundamental arguments for tropes were ideological and epistemological rather than metaphysical. He moulded his scheme to (...) fit what is actually given to us in perception, arguing that our epistemic practices would break down in an environment where only universals were given to us. (shrink)