display all the ideas for this combination of texts
3 ideas
3809 | If complex logic requires rules, then so does basic logic [Searle] |
13534 | In first-order logic syntactic and semantic consequence (|- and |=) nicely coincide [Wolf,RS] |
13535 | First-order logic is weakly complete (valid sentences are provable); we can't prove every sentence or its negation [Wolf,RS] |