13 ideas
| 1813 | All reasoning endlessly leads to further reasoning (Mode 12) [Agrippa, by Diog. Laertius] |
| 1811 | Proofs often presuppose the thing to be proved (Mode 15) [Agrippa, by Diog. Laertius] |
| 1815 | Reasoning needs arbitrary faith in preliminary hypotheses (Mode 14) [Agrippa, by Diog. Laertius] |
| 1812 | All discussion is full of uncertainty and contradiction (Mode 11) [Agrippa, by Diog. Laertius] |
| 8758 | We could talk of open sentences, instead of sets [Chihara, by Shapiro] |
| 10265 | Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro] |
| 8759 | We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro] |
| 10264 | Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro] |
| 8850 | Agrippa's Trilemma: justification is infinite, or ends arbitrarily, or is circular [Agrippa, by Williams,M] |
| 1814 | Everything is perceived in relation to another thing (Mode 13) [Agrippa, by Diog. Laertius] |
| 21731 | Fields can be 'scalar', or 'vector', or 'tensor', or 'spinor' [Baggott] |
| 21730 | A 'field' is a property with a magnitude, distributed across all of space and time [Baggott] |
| 21732 | The current standard model requires 61 particles [Baggott] |