Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
domain_of_discourse [2015/10/10 13:09] nikolaj |
domain_of_discourse [2015/10/10 13:46] 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{Sets}$ ... [[Sets]] | * ${\mathfrak D}_\mathrm{Sets}$ ... [[Sets]] | ||
| * ${\mathfrak D}_{\to}$ ... [[Functions]] | * ${\mathfrak D}_{\to}$ ... [[Functions]] | ||
| Line 13: | Line 11: | ||
| * ${\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. | ||
