display all the ideas for this combination of philosophers
4 ideas
7789 | Necessary implication is called 'strict implication'; if successful, it is called 'entailment' [Girle] |
12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
7790 | If an argument is invalid, a truth tree will indicate a counter-example [Girle] |
10631 | If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright] |