👷 Constructional system language
=== a language to describe parts of the constructional system or undefined basic concepts of it==
Notation1
- Enclosed in k-symbols: (or c-symbols)
Sub languages
- Most specific: 📘 Logistic language (Carnap)
- Testing: 🧪 Language of fictitious constructive operations
Footnotes
-
Carnap R. The Logical Structure of the World.; 1963. ↩