4 ideas
22104 | Truth is the conformity of being to intellect [Aquinas] |
10594 | Henkin semantics is more plausible for plural logic than for second-order logic [Maddy] |
22103 | Being is basic to thought, and all other concepts are additions to being [Aquinas] |
8113 | Art is like understanding a natural language, and needs a grasp of a symbol system [Goodman, by Gardner] |