25 ideas
| 8952 | We reach 'reflective equilibrium' when intuitions and theory completely align [Fisher] |
| Full Idea: A state of 'reflective equilibrium' is when our theory and our intuitions become completely aligned | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 12.IV) | |
| A reaction: [Rawls made this concept famous] This is a helpful concept in trying to spell out the ideal which is the dream of believers in 'pure reason' - that there is a goal in which everything comes right. The problem is when people have different intuitions! |
| 8943 | Three-valued logic says excluded middle and non-contradition are not tautologies [Fisher] |
| Full Idea: In three-valued logic (L3), neither the law of excluded middle (p or not-p), nor the law of non-contradiction (not(p and not-p)) will be tautologies. If p has the value 'indeterminate' then so will not-p. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.I) | |
| A reaction: I quite accept that the world is full of indeterminate propositions, and that excluded middle and non-contradiction can sometimes be uncertain, but I am reluctant to accept that what is being offered here should be called 'logic'. |
| 8945 | Fuzzy logic has many truth values, ranging in fractions from 0 to 1 [Fisher] |
| Full Idea: In fuzzy logic objects have properties to a greater or lesser degree, and truth values are given as fractions or decimals, ranging from 0 to 1. Not-p is defined as 1-p, and other formula are defined in terms of maxima and minima for sets. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.II) | |
| A reaction: The question seems to be whether this is actually logic, or a recasting of probability theory. Susan Haack attacks it. If logic is the study of how truth is preserved as we move between propositions, then 0 and 1 need a special status. |
| 8951 | Classical logic is: excluded middle, non-contradiction, contradictions imply all, disjunctive syllogism [Fisher] |
| Full Idea: For simplicity, we can say that 'classical logic' amounts to the truth of four sentences: 1) either p or not-p; 2) it is not the case that both p and not-p; 3) from p and not-p, infer q; 4) from p or q and not-p, infer q. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 12.I) | |
| A reaction: [She says there are many ways of specifying classical logic] Intuition suggests that 2 and 4 are rather hard to dispute, while 1 is ignoring some grey areas, and 3 is totally ridiculous. There is, of course, plenty of support for 3! |
| 8950 | Logic formalizes how we should reason, but it shouldn't determine whether we are realists [Fisher] |
| Full Idea: Even if one is inclined to be a realist about everything, it is hard to see why our logic should be the determiner. Logic is supposed to formalize how we ought to reason, but whether or not we should be realists is a matter of philosophy, not logic. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 09.I) | |
| A reaction: Nice to hear a logician saying this. I do not see why talk in terms of an object is a commitment to its existence. We can discuss the philosopher's stone, or Arthur's sword, or the Loch Ness monster, or gravitinos, with degrees of commitment. |
| 8946 | We could make our intuitions about heaps precise with a million-valued logic [Fisher] |
| Full Idea: We could construct a 1,000,000-valued logic that would allow our intuitions concerning a heap to vary exactly with the amount of sand in the heap. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008]) | |
| A reaction: Presumably only an infinite number of grains of sand would then produce a true heap, and even one grain would count as a bit of a heap, which must both be wrong, so I can't see this helping much. |
| 8944 | Vagueness can involve components (like baldness), or not (like boredom) [Fisher] |
| Full Idea: Vague terms come in at least two different kinds: those whose constituent parts come in discrete packets (bald, rich, red) and those that don't (beauty, boredom, niceness). | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 07.II) | |
| A reaction: The first group seem to be features of the external world, and the second all occur in the mind. Baldness may be vague, but presumably hairs are (on the whole) not. Nature doesn't care whether someone is actually 'bald' or not. |
| 8941 | We can't explain 'possibility' in terms of 'possible' worlds [Fisher] |
| Full Idea: Explaining 'it is possible that p' by saying p is true in at least one possible world doesn't get me very far. If I don't understand what possibility is, then appealing to possible worlds is not going to do me much good. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 06.III) | |
| A reaction: This seems so blatant that I assume friends of possible worlds will have addressed the problem. Note that you will also need to understand 'possible' to define necessity as 'true in all possible worlds'. Necessarily-p is not-possibly-not-p. |
| 8947 | If all truths are implied by a falsehood, then not-p might imply both q and not-q [Fisher] |
| Full Idea: If all truths are implied by a falsehood, then 'if there are no trees in the park then there is no shade' and 'if there are no trees in the park there is plenty of shade' both come out as true. Intuitively, though, the second one is false. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 08.I) | |
| A reaction: The rule that a falsehood implies all truths must be the weakest idea in classical logic, if it actually implies a contradiction. This means we must take an interest in relevance logics. |
| 8949 | In relevance logic, conditionals help information to flow from antecedent to consequent [Fisher] |
| Full Idea: A good account of relevance logic suggests that a conditional will be true when the flow of information is such that a conditional is the device that helps information to flow from the antecedent to the consequent. | |
| From: Jennifer Fisher (On the Philosophy of Logic [2008], 08.III) | |
| A reaction: Hm. 'If you are going out, you'll need an umbrella'. This passes on information about 'out', but also brings in new information. 'If you are going out, I'm leaving you'. What flows is an interpretation of the antecedent. Tricky. |
| 468 | Musical performance can reveal a range of virtues [Damon of Ath.] |
| Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice. | |
| From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where? |
| 21202 | The strong force has a considerably greater range than the weak force [Martin,BR] |
| Full Idea: The strong nuclear force has a range of 10^-15 m, considerably larger than the range of the weak force. | |
| From: Brian R. Martin (Particle Physics [2011], 01) | |
| A reaction: This is because the bosons transmitting the weak force (W+, W-, W°) are much heavier than the gluons of the strong force. |
| 21211 | If an expected reaction does not occur, that implies a conservation law [Martin,BR] |
| Full Idea: If some reaction is not observed when there is apparently nothing to prevent it occurring, it is an indication that a conservation law is in operation. | |
| From: Brian R. Martin (Particle Physics [2011], 07) |
| 21209 | Electron emit and reabsorb photons, which create and reabsorb virtual electrons and positrons [Martin,BR] |
| Full Idea: In QED an electron constantly emits and reabsorbs virtual photons and these photons constantly create and reabsorb pairs of virtual electrons and positrons, and so on. | |
| From: Brian R. Martin (Particle Physics [2011], 06) | |
| A reaction: 'And so on'! These virtual particles have energy, and hence mass. |
| 21201 | A 'field' is just a region to which points can be assigned in space and time [Martin,BR] |
| Full Idea: The word 'field' is simply a shorthand way of saying that a physical property is assigned to the points of space and time in a region. | |
| From: Brian R. Martin (Particle Physics [2011], 01) | |
| A reaction: This is disappointing because I had begun to think that fields were foundational for modern ontology. Turns out they are operational abstractions (according to Martin). Note that a field extends over time. |
| 21212 | The Higgs field, unlike others, has a nozero value in a state without particles [Martin,BR] |
| Full Idea: The Higgs field has the property of having a nonzero value in a state without particles, the vacuum state. Other fields are assumed to have a value zero in a vacuum state. | |
| From: Brian R. Martin (Particle Physics [2011], 09) | |
| A reaction: This seems to make a big difference to our concept of a field, since it has a measurable reality even when there are no particles. So it isn't just a geometrical frame for locating particles. |
| 21205 | Many physicists believe particles have further structure, if only we could see it [Martin,BR] |
| Full Idea: Although standard particles are assumed to be structureless, many physicists believe that if distances could be probed down to 10^-35 m structures would be discovered. | |
| From: Brian R. Martin (Particle Physics [2011], 01) | |
| A reaction: Such probing is said to be probably impossible. And does the division then come to a halt? Aristotle's meditations on this are not irrelevant. |
| 21203 | Uncertainty allows very brief violations of energy conservation - even shorter with higher energies [Martin,BR] |
| Full Idea: The uncertainty principle states that energy conservation can be violated, but only for a limited period of time. As the energy violation increases, the time period within which 'borrowed' energy has to be 'paid back' decreases. | |
| From: Brian R. Martin (Particle Physics [2011], 01) | |
| A reaction: This is the only reason modern physicists ever seem to mention the uncertainty principle. You can ask why this debt must be paid, but it seems to be hidden where the laws of physics may not even apply. |
| 21207 | The Exclusion Principle says no two fermions occupy the same state, with the same numbers [Martin,BR] |
| Full Idea: The 'exclusion principle' initially stated that no two electrons in a system could simultaneously occupy the same quantum state and thus have the same set of quantum numbers. The principle actually applies to all fermions, but not to bosons. | |
| From: Brian R. Martin (Particle Physics [2011], 02) | |
| A reaction: This principle is said to be at the root of atomic structure, making each element unique. What exactly is a 'system'? Why does this principle hold? How do you ensure two women don't wear the same dress at a party? |
| 21204 | The standard model combines theories of strong interaction, and electromagnetic and weak interaction [Martin,BR] |
| Full Idea: As presently formulated, the standard model is two theories. One operates in the sector of strong interaction, and the other in the sector of the electromagnetic and weak interactions. | |
| From: Brian R. Martin (Particle Physics [2011], 01) | |
| A reaction: The first is Quantum Chomodynamics (QCD). The second is Quantum Electrodynamics (QED). Interesting that the weak interaction is included in the latter, which (I take it) means there is an electro-weak union. Interactions are the heart of the model. |
| 21208 | Eletrons don't literally 'spin', because they are point-like [Martin,BR] |
| Full Idea: The picture of a particle spinning like a top is sometime useful, but it is not consistent with the idea of the electron being point-like. In fact there is no analogy for spin in non-quantum physics. | |
| From: Brian R. Martin (Particle Physics [2011], 02) | |
| A reaction: If we take this stuff literally then it blow traditional metaphysics to bits, because an electron has properties without being a substance. In what sense can an electron 'have' properties if it is a point? In interactions they cease to be points. Eh? |
| 21210 | Virtual particles surround any charged particle [Martin,BR] |
| Full Idea: A cloud of virtual particles always surrounds a charged particle. | |
| From: Brian R. Martin (Particle Physics [2011], 06) | |
| A reaction: Here's a nice fact for aspiring Buddhists to meditate on. |
| 21206 | The properties of a particle are determined by its quantum numbers and its mass [Martin,BR] |
| Full Idea: In quantum theory, the full set of quantum numbers defines the state of the particle and, along with its mass, determines its properties. | |
| From: Brian R. Martin (Particle Physics [2011], 02) |
| 21213 | String theory only has one free parameter (tension) - unlike the standard model with 19 [Martin,BR] |
| Full Idea: Unlike the standard model, with its 19 free parameters (including the masses of quarks, coupling constants and mixing angles), string theories have a single free paramater: the string tension. | |
| From: Brian R. Martin (Particle Physics [2011], 10) | |
| A reaction: This must be one feature in favour of string theory, despite its problems. |
| 21200 | An 'element' is what cannot be decomposed by chemistry [Martin,BR] |
| Full Idea: In the modern sense 'element' means a substance that cannot be decomposed by the methods of chemistry. | |
| From: Brian R. Martin (Particle Physics [2011], 01) |