Inferentialism, made concrete as "proof-theoretic semantics," redefines logic through relationships between words, not abstract categories. This could transform AI reasoning.

Comments

Posting Rules

  • Be respectful to others
  • No spam or self-promotion
  • Stay on topic
  • Follow Bluesky's terms of service