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 ZeroThe Number ZeroCounting to FiveCounting to 10Counting to 20Counting a Set of Objects Up to 20Cardinality: The Last Number CountedMatching Numerals to QuantitiesSubitizing Small QuantitiesAddition Within 10Number Bonds to 10Addition Within 20Doubles and Near DoublesDoubles Facts Within 10Near Doubles Facts Within 20Mental Math Strategies for AdditionMental Math: Adding and Subtracting TensAddition Within 100Repeated Addition as MultiplicationMultiplication as Equal GroupsMultiplication: ArraysBasic Multiplication Facts (0s, 1s, 2s, 5s, 10s)Multiplication Facts Within 100Division as Equal SharingDivision as Grouping (Measurement Division)Division: Grouping (Repeated Subtraction) ModelDivision: Fair Sharing ModelDivision as Equal SharingDivision as GroupingBasic Division FactsDivision Facts Within 100Multiplication and Division Fact FamiliesRelationship Between Multiplication and DivisionDivision Facts as Inverse of MultiplicationRemainders and Quotients in DivisionDivision Word ProblemsMulti-Step Word ProblemsSolving Multi-Step Word ProblemsMultiplication Word ProblemsDivision Word ProblemsIntroduction to Long DivisionFactors and MultiplesPrime and Composite NumbersEquivalent FractionsRelating Fractions and DecimalsDecimal Place ValueIntegers and the Number LineComparing and Ordering IntegersAbsolute ValueAdding IntegersSubtracting IntegersMultiplying IntegersIntroduction to ExponentsOrder of OperationsInteger Order of OperationsVariable ExpressionsThe Distributive PropertyVariables and Expressions ReviewIntroduction to PolynomialsAdding and Subtracting PolynomialsMultiplying PolynomialsFactorialPermutationsCombinationsCounting Principles: Addition and Multiplication RulesIntroduction to Graph TheoryPropositional Logic FoundationsLogical EquivalencesBoolean AlgebraIntroduction to Propositional LogicIntroduction to Predicate Logic (First-Order Logic)First-Order Logic SyntaxTerms and Atomic Formulas in FOLVariable Binding and ScopeOpen and Closed Formulas in First-Order LogicVariable Substitution and Capture-Avoidance in First-Order LogicQuantifier Instantiation Rules in First-Order Proof SystemsUniversal Quantification: Meaning and ScopeFree Variables and Bound VariablesSubstitution and Instantiation in Predicate LogicTerms and Atomic FormulasFormulas and Well-Formed ExpressionsStructures and InterpretationsModel Interpretation and SatisfactionInterpretation, Truth, and Satisfaction of FormulasLogical Consequence and EntailmentSoundness Theorem and Validity of Proof SystemsDeductive Reasoning and Formal Proof SystemsFirst-Order ResolutionPropositional ResolutionSemantic Tableaux (Propositional)Semantic Tableaux (First-Order)Decidable Fragments of First-Order LogicGödel's Completeness Theorem for First-Order LogicGödel's Incompleteness TheoremsIntroduction to Intuitionistic LogicIntroduction to Modal LogicModal Semantics: Necessity and PossibilityIntensionality and Possible Worlds SemanticsEvent SemanticsAktionsart (Lexical Aspect)Tense and Aspect in Formal SemanticsViewpoint Aspect (Perfective and Imperfective)Formal Semantics of Tense and TimeFormal Semantics of Modality and PossibilityPossible Worlds SemanticsModal RealismNecessity 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.