3 ideas
9560 | S5 provides the correct logic for necessity in the broadly logical sense [Fine,K] |
14303 | Truth-functional conditionals have a simple falsification, when A is true and B is false [Peirce] |
22489 | 'Good' is an attributive adjective like 'large', not predicative like 'red' [Geach, by Foot] |