| Thread Links | Date Links | ||||
|---|---|---|---|---|---|
| Thread Prev | Thread Next | Thread Index | Date Prev | Date Next | Date Index |
pat hayes wrote: > Ah, that is what is usually called a (logical) theory. I think it is > useful to have a term for a set of sentences accepted as true which > is NOT closed under logical inference. Theories tend to be infinite, > and therefore tricky to put on computer disc files. There is a commonly accepted term: "set of axioms", or if you prefer a single word, "axiomatization". John Sowa