Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
domain_of_discourse [2015/10/10 13:09] nikolaj |
domain_of_discourse [2015/10/10 13:45] nikolaj |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== Domain of discourse ===== | ===== Domain of discourse ===== | ||
==== Meta ==== | ==== Meta ==== | ||
- | The following types form the primitive notions which, in this wiki, are not formally defined in terms of other concepts. | + | I also use the following types to classify the bulk of other entries in the wiki and these are the entries with formal content. |
- | Nevertheless, their possible axiomatics are discussed in entries of type **Framework**. | + | |
* ${\mathfrak D}_\mathrm{Propositions}$ ... [[Propositions]] | * ${\mathfrak D}_\mathrm{Propositions}$ ... [[Propositions]] | ||
Line 13: | Line 12: | ||
* ${\mathfrak D}_\mathrm{Collections}$ ... [[Collections]], ad hoc subclasses of the above sorts (I use this as in some sort of naive set theory) | * ${\mathfrak D}_\mathrm{Collections}$ ... [[Collections]], ad hoc subclasses of the above sorts (I use this as in some sort of naive set theory) | ||
- | I also use those to classify the bulk of other entries in the wiki. | + | The domains themselves are primitive notions. |
+ | Usage and axiomatics of those domains are discussed in entries of type **Framework**. | ||
There are also a minority of entries of type **Type**, as in //type theory//. They need not be part of the above framework. | There are also a minority of entries of type **Type**, as in //type theory//. They need not be part of the above framework. | ||