Apps

🧪 This platform is in early beta. Features may change and you might encounter bugs. We appreciate your patience!

Future Promise

Also Known As: Horizon promise Accountability-free commitment Next-generation pledge
Discourse Mechanics 💨 Hollow Rhetoric ID: future_promise

Definition

A rhetorical pattern where speakers make grand promises about outcomes that will only materialize — or be measurable — long after they've left their position. The promise is cost-free because no one will be around to collect on it. Climate targets for 2050, housing construction by 2035, carbon neutrality 'within a generation' — all safely beyond the next election cycle.

Examples

"We will build 400,000 new apartments per year." — a promise made every legislative period without being fulfilled.

"By 2050, we will have achieved full carbon neutrality."

"Within a generation, every child in this country will have equal access to education."

Formal Logic Pattern
FOL Pattern
The First-Order Logic formula representing this reasoning pattern's logical structure.
FOL (First-Order Logic) uses quantifiers (∀ = for all, ∃ = there exists), connectives (∧ = and, ∨ = or, ⇒ = implies, ¬ = not), and predicates to capture the essential form of a reasoning pattern. For example, the Ad Hominem fallacy: Person(x) ∧ HasFlaw(x) ⇒ Invalid(Claim(x)). These patterns allow automated verification of logical validity.

∃x∃t(Promise(x) ∧ FutureTime(t) ∧ DueDate(x,t) ∧ ¬Accountable(Speaker,x,t))
Formal Verification:
Formal Verification
Checks whether a reasoning pattern is logically valid or invalid using an automated theorem prover.
Formal verification uses an SMT (Satisfiability Modulo Theories) solver — specifically Z3 — to mathematically check whether an argument's logical structure is valid. Each reasoning pattern is translated into First-Order Logic and tested: Can the premises be true while the conclusion is false? If yes, it's formally invalid. If no, it's formally valid. Many real-world patterns (analogies, heuristics) cannot be fully captured in formal logic — these are marked as not formally decidable, which doesn't mean they're wrong.
Not formally decidable

Verification Steps
Verification Steps
Binary yes/no questions that an AI must answer to detect a reasoning pattern in a text.
Each of the 452 aspects has verification steps — simple yes/no questions designed to systematically detect whether a pattern appears in a text. For ad hominem: "Does the argument attack a person rather than their claim?" For false dichotomy: "Are only two options presented when more exist?" This ensures consistent, reproducible analysis.

Binary (yes/no) questions an LLM must answer to identify this aspect:

  1. 1

    Does the statement contain a promise or commitment about the future?

    Type: binary
  2. 2

    Does the fulfillment date extend beyond the speaker's current term or accountability period?

    Type: binary
  3. 3

    Is there any mechanism to hold the speaker accountable if the promise isn't fulfilled?

    Type: binary
Deep Dive
The expandable detail section on each aspect page with examples, psychology, and counter-strategies.
The Deep Dive section provides in-depth information about each aspect: a real-world example showing the pattern in action, an explanation of why it works psychologically, practical advice on how to counter it, alternative names, and links to related aspects.

Hierarchical Context