search

Carnap / Carnap-Documentation

Documentation for Carnap
GNU General Public License v3.0
2 stars 3 forks source link

Document set theory systems #11

Open rzach opened 3 years ago

rzach commented 3 years ago

Documentation for the OLP set theory systems is coming, but I don't know what the syntax of separative abstractions is. Are there rules for it (e.g., t in {x : phi(x)} / phi(t) or something?)

gleachkr commented 3 years ago

Either {x in t | φ(x)} or {x in t : φ(x)} should work. There aren't any rules for abstracts in the NK systems, but there were rules in the Montague-style set theory system. Here's a fragment of documentation about that: https://carnap.io/shared/gleachkr@gmail.com/Set_Theory_Demo.pandoc.