| The theory TRC is an illative theory, in the sense that it can encode notions of propositional logic. |
| The entasis of this skyscraper, like that of a Doric column, leads to a new kind of propositional beauty, one worked out digitally. |
| To see that modal propositional logic is not truth-functional, just consider the following pair of statements. |
| Scripture is made up of propositional truth statements, but the natural realm has no such statements. |
| And, indeed, any general argument for narrow content will presumably apply to sensory representation as well as to propositional attitudes. |
| Even for propositional logics, models of such systems are usually algebras, e.g., Boolean or Heyting algebras, and as such they are categories. |
