3750 | "It is true that x" means no more than x |

13430 | Infinity: there is an infinity of distinguishable individuals |

13428 | Reducibility: to every non-elementary function there is an equivalent elementary function |

13427 | Either 'a = b' vacuously names the same thing, or absurdly names different things |

13334 | Contradictions are either purely logical or mathematical, or they involved thought and language |

6409 | The 'simple theory of types' distinguishes levels among properties |

13426 | Formalists neglect content, but the logicists have focused on generalizations, and neglected form |

13425 | Formalism is hopeless, because it focuses on propositions and ignores concepts |

8495 | The distinction between particulars and universals is a mistake made because of language |

8493 | We could make universals collections of particulars, or particulars collections of their qualities |

8494 | Obviously 'Socrates is wise' and 'Socrates has wisdom' express the same fact |

13766 | 'If' is the same as 'given that', so the degrees of belief should conform to probability theory |

10993 | Ramsey's Test: believe the consequent if you believe the antecedent |

14279 | Asking 'If p, will q?' when p is uncertain, then first add p hypothetically to your knowledge |

3212 | Beliefs are maps by which we steer |

19724 | Belief is knowledge if it is true, certain, and obtained by a reliable process |

19143 | Ramsey gave axioms for an uncertain agent to decide their preferences |

18818 | Sentence meaning is given by the actions to which it would lead |

9420 | Causal laws result from the simplest axioms of a complete deductive system |

9418 | All knowledge needs systematizing, and the axioms would be the laws of nature |