---
tag: S2MZ6KV3G9
kind: concept
name: Semantically closed language
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section S
    note: adopted
    mention: wikipedia://en/76765067#QO25
    sections: [Summary]
inventory: [JS10H99XMW]
---

## Summary

A language that contains its own truth predicate, allowing statements about the truth of sentences formulated within the same language.