A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

'Laws of Nature: Necessity vs. Regularity'

Research Depth 108 in the knowledge graph ☐ I know this ☆ Set as goal
672prerequisites beneath it
See this on the map →
Laws of NatureNecessity and Contingency→
laws nature necessity

Core Idea

A law of nature is an exceptionally stable, universal regularity governing how things behave. But are laws merely regularities describing what happens, or do they express metaphysical necessity determining what must happen? This question profoundly affects theories of causation, explanation, and the unity of science through reduction.

Explainer

Your study of laws of nature established what we want from them: universality, support for counterfactuals ("if this were copper, it would conduct"), explanatory power, and a distinction from mere accidental regularities. "All copper conducts electricity" feels different from "all the coins in my pocket are silver" — even if both happen to be true. Your work on necessity and contingency gave you the modal vocabulary: necessary truths hold in all possible worlds; contingent truths hold in some but not others. The debate about laws asks which of these categories laws belong to.

The Humean Regularity view denies that laws are anything over and above stable patterns. Laws are the generalizations that describe what actually, universally happens — nothing more is needed or available. David Hume argued that when we observe regularities, we add the idea of necessity from our own psychological habits, not from the world itself. The most sophisticated Humean account is the Best Systems Analysis (Mill-Ramsey-Lewis): laws are the axioms of the simplest, strongest, most unified systematization of all particular facts. "All copper conducts" is a law because it appears in the best theory; "all coins in my pocket are silver" does not. There is no hidden necessity in the world — just patterns and the best descriptions of them.

Non-Humean accounts insist that this picture leaves something out. The necessitation view (Armstrong, Dretske, Tooley) holds that laws express genuine metaphysical necessities: relations of nomic necessitation between universals. When "all F's are G" is a law, it is because the universal F stands in a necessitation relation to the universal G — not merely because all the F-instances happen to be G-instances. This extra metaphysical ingredient explains why laws support counterfactuals: it is not just that every actual piece of copper conducts, but that the property of being copper necessitates the property of being conductive.

What is at stake goes beyond academic metaphysics. If laws are mere regularities, scientific explanation becomes a puzzle: regularities describe patterns, but do they explain them? Saying "the copper conducts because all copper conducts" seems circular. Non-Humeans argue that genuine explanation requires necessitation — the law tells you why the particular event had to happen. The debate also bears on induction: if laws are merely the best systematization of past facts, what justifies projecting them onto unobserved cases? And it connects to intertheoretic reduction: if chemistry reduces to physics, is that reduction merely the discovery of correlating regularities, or the identification of genuine necessities that make the upper-level laws hold with metaphysical force?

What did you take from this?

Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.

Quiz me anyway →

Prerequisite Chain

Understanding Zero → The Number Zero → Counting to Five → Counting to 10 → Counting to 20 → Counting a Set of Objects Up to 20 → Cardinality: The Last Number Counted → Matching Numerals to Quantities → Subitizing Small Quantities → Addition Within 10 → Number Bonds to 10 → Addition Within 20 → Doubles and Near Doubles → Doubles Facts Within 10 → Near Doubles Facts Within 20 → Mental Math Strategies for Addition → Mental Math: Adding and Subtracting Tens → Addition Within 100 → Repeated Addition as Multiplication → Multiplication as Equal Groups → Multiplication: Arrays → Basic Multiplication Facts (0s, 1s, 2s, 5s, 10s) → Multiplication Facts Within 100 → Division as Equal Sharing → Division as Grouping (Measurement Division) → Division: Grouping (Repeated Subtraction) Model → Division: Fair Sharing Model → Division as Equal Sharing → Division as Grouping → Basic Division Facts → Division Facts Within 100 → Multiplication and Division Fact Families → Relationship Between Multiplication and Division → Division Facts as Inverse of Multiplication → Remainders and Quotients in Division → Division Word Problems → Multi-Step Word Problems → Solving Multi-Step Word Problems → Multiplication Word Problems → Division Word Problems → Introduction to Long Division → Factors and Multiples → Prime and Composite Numbers → Equivalent Fractions → Relating Fractions and Decimals → Decimal Place Value → Integers and the Number Line → Comparing and Ordering Integers → Absolute Value → Adding Integers → Subtracting Integers → Multiplying Integers → Introduction to Exponents → Order of Operations → Integer Order of Operations → Variable Expressions → The Distributive Property → Variables and Expressions Review → Introduction to Polynomials → Adding and Subtracting Polynomials → Multiplying Polynomials → Factorial → Permutations → Combinations → Counting Principles: Addition and Multiplication Rules → Introduction to Graph Theory → Propositional Logic Foundations → Logical Equivalences → Boolean Algebra → Introduction to Propositional Logic → Introduction to Predicate Logic (First-Order Logic) → First-Order Logic Syntax → Terms and Atomic Formulas in FOL → Variable Binding and Scope → Open and Closed Formulas in First-Order Logic → Variable Substitution and Capture-Avoidance in First-Order Logic → Quantifier Instantiation Rules in First-Order Proof Systems → Universal Quantification: Meaning and Scope → Free Variables and Bound Variables → Substitution and Instantiation in Predicate Logic → Terms and Atomic Formulas → Formulas and Well-Formed Expressions → Structures and Interpretations → Model Interpretation and Satisfaction → Interpretation, Truth, and Satisfaction of Formulas → Logical Consequence and Entailment → Soundness Theorem and Validity of Proof Systems → Deductive Reasoning and Formal Proof Systems → First-Order Resolution → Propositional Resolution → Semantic Tableaux (Propositional) → Semantic Tableaux (First-Order) → Decidable Fragments of First-Order Logic → Gödel's Completeness Theorem for First-Order Logic → Gödel's Incompleteness Theorems → Introduction to Intuitionistic Logic → Introduction to Modal Logic → Modal Semantics: Necessity and Possibility → Intensionality and Possible Worlds Semantics → Event Semantics → Aktionsart (Lexical Aspect) → Tense and Aspect in Formal Semantics → Viewpoint Aspect (Perfective and Imperfective) → Formal Semantics of Tense and Time → Formal Semantics of Modality and Possibility → Possible Worlds Semantics → Modal Realism → Necessity and Contingency → 'Laws of Nature: Necessity vs. Regularity'

Longest path: 109 steps · 672 total prerequisite topics

Prerequisites (2)

Leads To (0)

No topics depend on this one yet.