What is 'World Hopping' in this context?

World Hopping is a formal methodology for navigating between different logical or mathematical states, referred to as 'possible worlds,' using rules derived from modal logic and set theory.

How does the triangle inequality constraint work?

It serves as a distance metric constraint to ensure that the direct path between two worlds is never longer than an indirect path, maintaining logical consistency in the traversal graph.

How does this skill use Badiou's philosophy?

It implements Badiou’s event ontology, where an 'event' is a rupture that creates new possibilities and a 'truth procedure' is a way to extend those possibilities into a new world configuration.

What are accessibility relations?

Accessibility relations determine which worlds can be reached from others based on properties like reflexivity, symmetry, and transitivity, forming the topology of the possibility space.

Can I use this for music theory or composition?

Yes, it is specifically designed to treat musical keys, modes, and harmonies as possible worlds, enabling structured modulations through event-based triggers.

World Hopping Logic

Name: World Hopping Logic
Author: plurigrid

byplurigrid

•

データサイエンスとML

Navigates complex mathematical and ontological possibility spaces using Badiou-inspired event logic and Kripke semantics.

World Hopping is a specialized skill for Claude Code designed to navigate and model 'possible worlds' across mathematical, musical, and philosophical domains. By synthesizing Kripke's modal logic with Alain Badiou's event ontology, this skill allows Claude to manage state transitions, define accessibility relations between configurations, and calculate distances within a possibility space using triangle inequality constraints. It is an essential tool for researchers and developers working on high-level abstraction, generative systems, or complex state machines where the underlying logic of the environment shifts based on specific events or truth procedures.

主な機能

01Model possible worlds using ontological seeds, temporal epochs, and state invariants

02Execute structured navigation moves including Slides, Leaps, Reflections, and Compositions

032 GitHub stars

04Calculate multi-dimensional distances using Hamming, temporal, and truth-based metrics

05Define Kripke-style accessibility relations to control world reachability and transitions

06Trigger Badiou-inspired 'Events' to create ontological ruptures and new possibility spaces

ユースケース

01Mapping abstract mathematical proofs and relationships across different axiomatic systems

02Modeling generative musical modulations and transitions between tonal or modal spaces

03Designing complex game states or branching narratives governed by modal logic constraints

主な機能

01Model possible worlds using ontological seeds, temporal epochs, and state invariants

02Execute structured navigation moves including Slides, Leaps, Reflections, and Compositions

032 GitHub stars

04Calculate multi-dimensional distances using Hamming, temporal, and truth-based metrics

05Define Kripke-style accessibility relations to control world reachability and transitions

06Trigger Badiou-inspired 'Events' to create ontological ruptures and new possibility spaces

ユースケース

01Mapping abstract mathematical proofs and relationships across different axiomatic systems

02Modeling generative musical modulations and transitions between tonal or modal spaces

03Designing complex game states or branching narratives governed by modal logic constraints