34 ideas
| 291 | Don't assume that wisdom is the automatic consequence of old age [Plato] |
| 7786 | Propositional logic handles negation, disjunction, conjunction; predicate logic adds quantifiers, predicates, relations [Girle] |
| 7798 | There are three axiom schemas for propositional logic [Girle] |
| 7799 | Proposition logic has definitions for its three operators: or, and, and identical [Girle] |
| 7797 | Axiom systems of logic contain axioms, inference rules, and definitions of proof and theorems [Girle] |
| 7794 | There are seven modalities in S4, each with its negation [Girle] |
| 7793 | ◊p → □◊p is the hallmark of S5 [Girle] |
| 7795 | S5 has just six modalities, and all strings can be reduced to those [Girle] |
| 7787 | Possible worlds logics use true-in-a-world rather than true [Girle] |
| 7788 | Modal logic has four basic modal negation equivalences [Girle] |
| 7796 | Modal logics were studied in terms of axioms, but now possible worlds semantics is added [Girle] |
| 7789 | Necessary implication is called 'strict implication'; if successful, it is called 'entailment' [Girle] |
| 7790 | If an argument is invalid, a truth tree will indicate a counter-example [Girle] |
| 17536 | If it can't be expressed mathematically, it can't occur in nature? [Heisenberg] |
| 17545 | Quantum theory shows that exact science does not need dogmatic realism [Heisenberg] |
| 17538 | Quantum theory does not introduce minds into atomic events [Heisenberg] |
| 17534 | A 'probability wave' is a quantitative version of Aristotle's potential, a mid-way type of reality [Heisenberg] |
| 17553 | We can retain the idea of 'substance', as indestructible mass or energy [Heisenberg] |
| 17544 | Basic particles have a mathematical form, which is more important than their substance [Heisenberg] |
| 7800 | Analytic truths are divided into logically and conceptually necessary [Girle] |
| 7801 | Possibilities can be logical, theoretical, physical, economic or human [Girle] |
| 7792 | A world has 'access' to a world it generates, which is important in possible worlds semantics [Girle] |
| 17550 | We give a mathematical account of a system of natural connections in order to clarify them [Heisenberg] |
| 293 | Being unafraid (perhaps through ignorance) and being brave are two different things [Plato] |
| 17549 | Seven theories in science: mechanics, heat, electricity, quantum, particles, relativity, life [Heisenberg, by PG] |
| 17540 | Energy is that which moves, and is the substance from which everything is made [Heisenberg] |
| 17541 | Energy is an unchanging substance, having many forms, and causing all change [Heisenberg] |
| 17548 | Maxwell introduced real fields, which transferred forces from point to point [Heisenberg] |
| 17533 | Radiation interference needs waves, but radiation photoelectric effects needs particles [Heisenberg] |
| 17532 | An atom's stability after collisions needs explaining (which Newton's mechanics can't do) [Heisenberg] |
| 17537 | Position is complementary to velocity or momentum, so the whole system is indeterminate [Heisenberg] |
| 17551 | It was formerly assumed that electromagnetic waves could not be a reality in themselves [Heisenberg] |
| 17543 | So-called 'empty' space is the carrier of geometry and kinematics [Heisenberg] |
| 17552 | In relativity the length of the 'present moment' is relative to distance from the observer [Heisenberg] |