display all the ideas for this combination of texts
4 ideas
9457 | The two main views in philosophy of logic are extensionalism and intensionalism [Jacquette] |
3746 | Logic seems to work for unasserted sentences [O'Connor] |
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] |