Links

̶
Adam I. Gerard
ISU
NIU
CS MS TBD

Fatemakers

Just some random thoughts on the subject of Fatalism, Determinism, and Model Satisfaction.

Some Formal Basics

  1. Let TH be some Theory (Set of Sentences or Propositions).
  2. Let a Bounding Constraint be some stipulated Property, Feature, or Characteristic of a Model.
    • For example: the satisfaction conditions for Group Theory.
    • But we might think of these as Spatio-Temporal Constraints (e.g. - requiring some State to obtain within some inclusive Time interval and/or Spatial region).
  3. Let Mₐ be the Model Class that Satisfies TH under some Bounding Constraint a (e.g. - Time, Locality, etc.).
  4. We then say of Mₐ ⊧ TH that Mₐ Fatemakes or is a Fatemaker for TH.
  5. It might be more helpful to think of S as some structure, B as some Bounding Constraints, Indeterministic Satisfaction ⊧ⁱ, ⊧ᵈ as Deterministic Satisfaction:
    • Given that S ⊧ⁱ TH, a Fatemaker for TH is defined as: S ⋃ B ⊧ᵈ TH.
    • The addition of some sufficient B to S transforms the system into a Fatemaker.

With this basic framing verbiage in place, we might ask, "Under what conditions does Fatemaking occur?" How are indeterministic or non-deterministic systems transformed into deterministic ones? Locally, Globally?

And, perhaps the more interesting question, "What do we add to (or imbue) some arbitrary Structure Mₐ with so that it becomes a Fatemaker for TH (so, that Mₐ ⊧ TH)?

Prior Notions

  1. Is it helpful to recast questions surrounding Determinism as questions about the existence of Fatemakers?
    • Is this a more precise notion?
    • Does allow scoped or localized discussions separate from general discussions about (universal) Determinism (suppose some subsystems are locally deterministic but the Universe, say, is not).
  2. How do Fatemakers intersect with the idea of Hidden Variables in Deterministic formulations of Quantum Mechanics?
    • I firmly accept the outcome of Bell's Inequalities (unlike Einstien)
    • Still, it might be of interest to think of Hidden Variables using Fatemaker verbiage - is the addition of a Hidden Variable sufficient to transform some system into a Fatemaking Model?
  3. Supercoming - the inevitable "bringing about" of some Proposition. Under what conditions can we guarantee that some Proposition obtains?
    • Akin to Supertruth - a great summary exists here.
    • Fortune Telling (or Future Forecasting in modern parlance) is all great and wonderful but what guarantees that something obtains with certitude?
  4. Military directives, election forecasting, presience science, futurology and macroeconomics, engineering resiliency, and so on.

Contents