8952 | We reach 'reflective equilibrium' when intuitions and theory completely align |

8943 | Three-valued logic says excluded middle and non-contradition are not tautologies |

8945 | Fuzzy logic has many truth values, ranging in fractions from 0 to 1 |

8951 | Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism |

8950 | Logic formalizes how we should reason, but it shouldn't determine whether we are realists |

8940 | Tarski avoids the Liar Paradox, because truth cannot be asserted within the object language |

8946 | We could make our intuitions about heaps precise with a million-valued logic |

8944 | Vagueness can involve components (like baldness), or not (like boredom) |

8941 | We can't explain 'possibility' in terms of 'possible' worlds |

8947 | If all truths are implied by a falsehood, then not-p might imply both q and not-q |

8949 | In relevance logic, conditionals help information to flow from antecedent to consequent |