PhiLang

A Philosophical Programming Language

PhiLang bridges the gap between formal systems and philosophical discourse, providing a grammar for expressing and deriving insights across the great traditions.

emptiness ⊗ dep-orig → ¬substance

"Emptiness synthesized with dependent origination derives the negation of substance"

⊹ Explore Derivations ⟐ Start Dialogue
φ
View on GitHub

Explore

Interactive modules for philosophical inquiry

⟹

Derivation Graph

Visualize concept relationships through magnetic force-directed networks. Semantic affinity reveals productive philosophical combinations.

D3.js Claude AI
⚔

Dialectical Dialogue

Simulate debates between philosophical traditions. Phenomenology, Buddhism, Hegelianism engage in dialectical exchange.

10 Traditions Claude AI
☉

Socratic Counsel

Philosophical therapy. Engage in Socratic dialogue, Stoic counsel, Buddhist mindful inquiry, or existential confrontation.

7 Methods Claude AI
◎

Semantic Embeddings

Train neural embeddings on PhiLang concepts. PCA visualization, k-means clustering, analogy completion.

32D Vectors Skip-gram
✧

Advanced Embeddings

64-dimensional embeddings with semantic axes, t-SNE projection, concept interpolation, philosophical analogy discovery.

t-SNE Claude AI
⊛

P ≠ NP Explorer

Whiteheadian process ontology meets computational complexity. Explore how concrescence, prehension, and creativity illuminate the P vs NP question.

Complexity Process

Core Concepts

Primitives from the great philosophical traditions

Σ Self ▣ Substance śū Emptiness ⦿ Concrescence ⍟ Aufhebung 𝔇 Dasein 𝔖𝔭 Language-game ⌒ Fold ⊗ₚ Prehensive Gap

Operators

The grammar of philosophical transformation

→
Derivation
A derives B
⊗
Synthesis
A combined with B
¬
Negation
dialectical negation
⟨ ⟩
Epoché
phenomenological bracket
∘
Composition
A composed with B
↺
Recursion
self-referential
∅
Emptiness
void, absence
Δ
Difference
change, becoming
✦

Powered by Claude AI

PhiLang integrates with Anthropic's Claude to provide genuine philosophical reasoning. The oracle can engage in Socratic dialogue, argue from different traditions, explain concept connections, and generate novel philosophical insights.

Genuine reasoning
Streaming responses
Rule-based fallback