8 ideas
6294 | In the beginning was the Word, and the Word was with God, and the word was God [John] |
10882 | Predicative definitions only refer to entities outside the defined collection [Horsten] |
8821 | Jesus said he bore witness to the truth. Pilate asked, What is truth? [John] |
6710 | You can only define a statement that something is 'true' by referring to its functional possibilities [James] |
22305 | If the hypothesis of God is widely successful, it is true [James] |
10884 | A theory is 'categorical' if it has just one model up to isomorphism [Horsten] |
10885 | Computer proofs don't provide explanations [Horsten] |
10881 | The concept of 'ordinal number' is set-theoretic, not arithmetical [Horsten] |