31 ideas
8952 | We reach 'reflective equilibrium' when intuitions and theory completely align [Fisher] |
6675 | The heart has its reasons of which reason knows nothing [Pascal] |
8943 | Three-valued logic says excluded middle and non-contradition are not tautologies [Fisher] |
8945 | Fuzzy logic has many truth values, ranging in fractions from 0 to 1 [Fisher] |
8951 | Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism [Fisher] |
8950 | Logic formalizes how we should reason, but it shouldn't determine whether we are realists [Fisher] |
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
8946 | We could make our intuitions about heaps precise with a million-valued logic [Fisher] |
8944 | Vagueness can involve components (like baldness), or not (like boredom) [Fisher] |
8941 | We can't explain 'possibility' in terms of 'possible' worlds [Fisher] |
8947 | If all truths are implied by a falsehood, then not-p might imply both q and not-q [Fisher] |
8949 | In relevance logic, conditionals help information to flow from antecedent to consequent [Fisher] |
19542 | It is nonsense that understanding does not involve knowledge; to understand, you must know [Dougherty/Rysiew] |
19543 | To grasp understanding, we should be more explicit about what needs to be known [Dougherty/Rysiew] |
19541 | Rather than knowledge, our epistemic aim may be mere true belief, or else understanding and wisdom [Dougherty/Rysiew] |
22011 | The first principles of truth are not rational, but are known by the heart [Pascal] |
19540 | Don't confuse justified belief with justified believers [Dougherty/Rysiew] |
19539 | If knowledge is unanalysable, that makes justification more important [Dougherty/Rysiew] |
19538 | Entailment is modelled in formal semantics as set inclusion (where 'mammals' contains 'cats') [Dougherty/Rysiew] |
6681 | We only want to know things so that we can talk about them [Pascal] |
6676 | Painting makes us admire things of which we do not admire the originals [Pascal] |
6680 | It is a funny sort of justice whose limits are marked by a river [Pascal] |
6677 | Imagination creates beauty, justice and happiness, which is the supreme good [Pascal] |
6678 | We live for the past or future, and so are never happy in the present [Pascal] |
20732 | If man considers himself as lost and imprisoned in the universe, he will be terrified [Pascal] |
6682 | Majority opinion is visible and authoritative, although not very clever [Pascal] |
6679 | It is not good to be too free [Pascal] |
7455 | Pascal knows you can't force belief, but you can make it much more probable [Pascal, by Hacking] |
7457 | Pascal is right, but relies on the unsupported claim of a half as the chance of God's existence [Hacking on Pascal] |
7456 | The libertine would lose a life of enjoyable sin if he chose the cloisters [Hacking on Pascal] |
6684 | If you win the wager on God's existence you win everything, if you lose you lose nothing [Pascal] |