Combining Philosophers

All the ideas for Herodotus, Edwin D. Mares and Tim Maudlin

unexpand these ideas     |    start again     |     specify just one area for these philosophers


59 ideas

1. Philosophy / E. Nature of Metaphysics / 4. Metaphysics as Science
The metaphysics of nature should focus on physics [Maudlin]
     Full Idea: Metaphysics, insofar as it is concerned with the natural world, can do no better than to reflect on physics.
     From: Tim Maudlin (The Metaphysics within Physics [2007], Intro)
     A reaction: I suppose so. Physics only works at one level of description. Metaphysics often works with concepts which only emerge at a more general level than physics. There are also many metaphysical problems which are of no interest to most physicists.
1. Philosophy / E. Nature of Metaphysics / 6. Metaphysics as Conceptual
Kant survives in seeing metaphysics as analysing our conceptual system, which is a priori [Maudlin]
     Full Idea: The Kantian strain survives in the notion that metaphysics is not about the world, but about our 'conceptual system', especially as what structures our thought about the world. This keeps it a priori, and so not about the world itself.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 3)
     A reaction: Strawson would embody this view, I suppose. I take our conceptual system to be largely a reflection of (and even creation of) the world, and not just an arbitrary conventional attempt to grasp the world. Analysing concepts partly analyses the world.
1. Philosophy / E. Nature of Metaphysics / 7. Against Metaphysics
After 1903, Husserl avoids metaphysical commitments [Mares]
     Full Idea: In Husserl's philosophy after 1903, he is unwilling to commit himself to any specific metaphysical views.
     From: Edwin D. Mares (A Priori [2011], 08.2)
Wide metaphysical possibility may reduce metaphysics to analysis of fantasies [Maudlin]
     Full Idea: If metaphysical possibility extends more widely than physical possibility, this may make metaphysics out to be nothing but the analysis of fantastical descriptions produced by philosophers.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 7 Epilogue)
     A reaction: Maudlin wants metaphysics to be firmly constrained in its possibilities by what scientific undestanding permits, and he is right. Metaphysics must integrate into science, or wither away on the margins.
2. Reason / A. Nature of Reason / 9. Limits of Reason
Inconsistency doesn't prevent us reasoning about some system [Mares]
     Full Idea: We are able to reason about inconsistent beliefs, stories, and theories in useful and important ways
     From: Edwin D. Mares (Negation [2014], 1)
2. Reason / B. Laws of Thought / 6. Ockham's Razor
If the universe is profligate, the Razor leads us astray [Maudlin]
     Full Idea: If the universe has been profligate, then Ockham's Razor will lead us astray.
     From: Tim Maudlin (The Metaphysics within Physics [2007], Intro)
     A reaction: That is, there may be a vast number of entities which exist beyond what seems to be 'necessary'.
The Razor rightly prefers one cause of multiple events to coincidences of causes [Maudlin]
     Full Idea: The Razor is good when it councils higher credence to explanations which posit a single cause to multiple events that occur in a striking pattern, over explanations involving coincidental multiple causes.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 2.5)
     A reaction: This is in the context of Maudlin warning against embracing the Razor too strongly. Presumably inductive success suggests that the world supports this particular use of the Razor.
4. Formal Logic / E. Nonclassical Logics / 2. Intuitionist Logic
Intuitionism as natural deduction has no rule for negation [Mares]
     Full Idea: In intuitionist logic each connective has one introduction and one elimination rule attached to it, but in the classical system we have to add an extra rule for negation.
     From: Edwin D. Mares (Negation [2014], 5.5)
     A reaction: How very intriguing. Mares says there are other ways to achieve classical logic, but they all seem rather cumbersome.
Intuitionist logic looks best as natural deduction [Mares]
     Full Idea: Intuitionist logic appears most attractive in the form of a natural deduction system.
     From: Edwin D. Mares (Negation [2014], 5.5)
4. Formal Logic / E. Nonclassical Logics / 3. Many-Valued Logic
Three-valued logic is useful for a theory of presupposition [Mares]
     Full Idea: One reason for wanting a three-valued logic is to act as a basis of a theory of presupposition.
     From: Edwin D. Mares (Negation [2014], 3.1)
     A reaction: [He cites Strawson 1950] The point is that you can get a result when the presupposition does not apply, as in talk of the 'present King of France'.
5. Theory of Logic / A. Overview of Logic / 6. Classical Logic
Material implication (and classical logic) considers nothing but truth values for implications [Mares]
     Full Idea: The problem with material implication, and classical logic more generally, is that it considers only the truth value of formulas in deciding whether to make an implication stand between them. It ignores everything else.
     From: Edwin D. Mares (Negation [2014], 7.1)
     A reaction: The obvious problem case is conditionals, and relevance is an obvious extra principle that comes to mind.
In classical logic the connectives can be related elegantly, as in De Morgan's laws [Mares]
     Full Idea: Among the virtues of classical logic is the fact that the connectives are related to one another in elegant ways that often involved negation. For example, De Morgan's Laws, which involve negation, disjunction and conjunction.
     From: Edwin D. Mares (Negation [2014], 2.2)
     A reaction: Mares says these enable us to take disjunction or conjunction as primitive, and then define one in terms of the other, using negation as the tool.
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
Excluded middle standardly implies bivalence; attacks use non-contradiction, De M 3, or double negation [Mares]
     Full Idea: On its standard reading, excluded middle tells us that bivalence holds. To reject excluded middle, we must reject either non-contradiction, or ¬(A∧B) ↔ (¬A∨¬B) [De Morgan 3], or the principle of double negation. All have been tried.
     From: Edwin D. Mares (Negation [2014], 2.2)
Standard disjunction and negation force us to accept the principle of bivalence [Mares]
     Full Idea: If we treat disjunction in the standard way and take the negation of a statement A to mean that A is false, accepting excluded middle forces us also to accept the principle of bivalence, which is the dictum that every statement is either true or false.
     From: Edwin D. Mares (Negation [2014], 1)
     A reaction: Mates's point is to show that passively taking the normal account of negation for granted has important implications.
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
The connectives are studied either through model theory or through proof theory [Mares]
     Full Idea: In studying the logical connectives, philosophers of logic typically adopt the perspective of either model theory (givng truth conditions of various parts of the language), or of proof theory (where use in a proof system gives the connective's meaning).
     From: Edwin D. Mares (Negation [2014], 1)
     A reaction: [compressed] The commonest proof theory is natural deduction, giving rules for introduction and elimination. Mates suggests moving between the two views is illuminating.
5. Theory of Logic / H. Proof Systems / 4. Natural Deduction
Many-valued logics lack a natural deduction system [Mares]
     Full Idea: Many-valued logics do not have reasonable natural deduction systems.
     From: Edwin D. Mares (Negation [2014], 1)
5. Theory of Logic / I. Semantics of Logic / 1. Semantics of Logic
Situation semantics for logics: not possible worlds, but information in situations [Mares]
     Full Idea: Situation semantics for logics consider not what is true in worlds, but what information is contained in situations.
     From: Edwin D. Mares (Negation [2014], 6.2)
     A reaction: Since many theoretical physicists seem to think that 'information' might be the most basic concept of a natural ontology, this proposal is obviously rather appealing. Barwise and Perry are the authors of the theory.
5. Theory of Logic / K. Features of Logics / 2. Consistency
Consistency is semantic, but non-contradiction is syntactic [Mares]
     Full Idea: The difference between the principle of consistency and the principle of non-contradiction is that the former must be stated in a semantic metalanguage, whereas the latter is a thesis of logical systems.
     From: Edwin D. Mares (Negation [2014], 2.2)
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
The truth of the axioms doesn't matter for pure mathematics, but it does for applied [Mares]
     Full Idea: The epistemological burden of showing that the axioms are true is removed if we are only studying pure mathematics. If, however, we want to look at applied mathematics, then this burden returns.
     From: Edwin D. Mares (A Priori [2011], 11.4)
     A reaction: One of those really simple ideas that hits the spot. Nice. The most advanced applied mathematics must rest on counting and measuring.
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
Mathematics is relations between properties we abstract from experience [Mares]
     Full Idea: Aristotelians treat mathematical facts as relations between properties. These properties, moreover, are abstracted from our experience of things. ...This view finds a natural companion in structuralism.
     From: Edwin D. Mares (A Priori [2011], 11.7)
     A reaction: This is the view of mathematics that I personally favour. The view that we abstract 'five' from a group of five pebbles is too simplistic, but this is the right general approach.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
For intuitionists there are not numbers and sets, but processes of counting and collecting [Mares]
     Full Idea: For the intuitionist, talk of mathematical objects is rather misleading. For them, there really isn't anything that we should call the natural numbers, but instead there is counting. What intuitionists study are processes, such as counting and collecting.
     From: Edwin D. Mares (Negation [2014], 5.1)
     A reaction: That is the first time I have seen mathematical intuitionism described in a way that made it seem attractive. One might compare it to a metaphysics based on processes. Apparently intuitionists struggle with infinite sets and real numbers.
7. Existence / C. Structure of Existence / 5. Supervenience / d. Humean supervenience
The Humean view is wrong; laws and direction of time are primitive, and atoms are decided by physics [Maudlin]
     Full Idea: The Humean project is unjustified, in that both the laws of nature and the direction of time require no analysis, and is misconceived, in that the atoms it employs do not correspond to present physical ontology.
     From: Tim Maudlin (The Metaphysics within Physics [2007], Intro)
     A reaction: I certainly find it strange, or excessively empirical, that Lewis thinks our account of reality should rest on 'qualities'. Maudlin's whole books is an implicit attack on David Lewis.
Lewis says it supervenes on the Mosaic, but actually thinks the Mosaic is all there is [Maudlin]
     Full Idea: At base it is not merely, as Lewis says, that everything else supervenes on the Mosaic; but rather that anything that exists at all is just a feature or element or generic property of the Mosaic.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 6)
     A reaction: [Maudlin has just quoted Idea 16210] Correct about Lewis, but Lewis just has a normal view of supervenience. Only 'emergentists' would think the supervenience allowed anything more, and they are deeply misguided, and in need of help.
If the Humean Mosaic is ontological bedrock, there can be no explanation of its structure [Maudlin]
     Full Idea: The Humean Mosaic appears to admit of no further explanation. Since it is the ontological bedrock, …none of the further things can account for the structure of the Mosaic itself.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 6)
     A reaction: A very nice point, reminiscent of Popper's objection to essentialism, that he thought it blocked further enquiry, when actually further enquiry was possible. Lewis and Hume seem too mesmerised by epistemology. They need best explanation.
The 'spinning disc' is just impossible, because there cannot be 'homogeneous matter' [Maudlin]
     Full Idea: The 'spinning disc' is not metaphysically possible. We have every reason to believe that there is no such thing as 'perfectly homogeneous matter'. The atomic theory of matter is as well established as any scientific theory is likely to be.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 7 Epilogue)
     A reaction: This is a key case for Maudlin, and his contempt for metaphysics which is not scientifically informed. I agree with him. Extreme thought experiments are worth considering, but impossible ones are pointless.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / d. Commitment of theories
To get an ontology from ontological commitment, just add that some theory is actually true [Maudlin]
     Full Idea: The doctrine of ontological commitment becomes a central element in a theory of ontology if one merely adds that a particular theory is, in fact, true
     From: Tim Maudlin (The Metaphysics within Physics [2007], 3.1)
     A reaction: Helpful. I don't think the truth of a theory entails the actual existence of every component mentioned in the theory, as some of them may be generalisations, abstractions, vague, or even convenient linking fictions.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
Naïve translation from natural to formal language can hide or multiply the ontology [Maudlin]
     Full Idea: Naïve translation from natural language into formal language can obscure necessary ontology as easily as it can create superfluous ontological commitment. …The lion's share of metaphysical work is done when settling on the right translation.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 3.1)
     A reaction: I suspect this is more than a mere problem of 'naivety', but may be endemic to the whole enterprise. If you hammer a square peg into a round hole, you expect to lose something. Language is subtle, logic is crude.
8. Modes of Existence / B. Properties / 5. Natural Properties
A property is fundamental if two objects can differ in only that respect [Maudlin]
     Full Idea: Fragility is not a fundamental physical property, in that two pieces of glass cannot be physically identical save for their fragility.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 2.5)
     A reaction: Nice. The best idea I have found in Maudlin, so far! This gives a very nice test for picking out the fundamental physical and intrinsic properties.
8. Modes of Existence / B. Properties / 12. Denial of Properties
Fundamental physics seems to suggest there are no such things as properties [Maudlin]
     Full Idea: If one believes that fundamental physics is the place to look for the truths about universals (or tropes or natural sets), then one may find that physics is telling us there are no such things.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 3.2)
     A reaction: His prior discussion of quantum chromodynamics suggests, to me, merely that properties can be described in terms of vectors etc., and remains neutral on the ontology - but then I am blinded by science.
8. Modes of Existence / D. Universals / 2. Need for Universals
Existence of universals may just be decided by acceptance, or not, of second-order logic [Maudlin]
     Full Idea: On one line of thought, the question of whether universals exist seems to reduce to the question of the utility, or necessity, of using second-order rather than first-order logic.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 3.1)
     A reaction: Second-order logic quantifies over properties, where first-order logic just quantifies over objects. This is an extreme example of doing your metaphysics largely through logic. Not my approach.
10. Modality / A. Necessity / 5. Metaphysical Necessity
Logically impossible is metaphysically impossible, but logically possible is not metaphysically possible [Maudlin]
     Full Idea: While logical impossibility is a species of metaphysical impossibility, logical possibility is not a species of metaphysical possibility. The logically impeccable description 'Cicero was not Tully' describes a metaphysically impossible situation.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 7 Epilogue)
     A reaction: The context of this is Maudlin attack on daft notions of metaphysical possibility that are at variance with the limits set by science, but he is still conceding that there are types of metaphysical modality.
10. Modality / B. Possibility / 9. Counterfactuals
A counterfactual antecedent commands the redescription of a selected moment [Maudlin]
     Full Idea: The purpose of the antecedent of a counterfactual is to provide instructions on how to pick a Cauchy surface (pick a moment in time) and how to generate an altered description of that moment. It is more of a command than an indicative sentence.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 1.5)
     A reaction: Quite plausible, but the antecedent might contain no description. 'If things had gone differently, we wouldn't be in this mess'. The antecedent might be timeless. 'If pigs had wings, they still wouldn't fly'.
10. Modality / D. Knowledge of Modality / 2. A Priori Contingent
Light in straight lines is contingent a priori; stipulated as straight, because they happen to be so [Mares]
     Full Idea: It seems natural to claim that light rays moving in straight lines is contingent but a priori. Scientists stipulate that they are the standard by which we measure straightness, but their appropriateness for this task is a contingent feature of the world.
     From: Edwin D. Mares (A Priori [2011], 02.9)
     A reaction: This resembles the metre rule in Paris. It is contingent that something is a certain way, so we make being that way a conventional truth, which can therefore be known via the convention, rather than via the contingent fact.
12. Knowledge Sources / A. A Priori Knowledge / 6. A Priori from Reason
Aristotelians dislike the idea of a priori judgements from pure reason [Mares]
     Full Idea: Aristotelians tend to eschew talk about a special faculty of pure reason that is responsible for all of our a priori judgements.
     From: Edwin D. Mares (A Priori [2011], 08.9)
     A reaction: He is invoking Carrie Jenkins's idea that the a priori is knowledge of relations between concepts which have been derived from experience. Nice idea. We thus have an empirical a priori, integrated into the natural world. Abstraction must be involved.
12. Knowledge Sources / C. Rationalism / 1. Rationalism
Empiricists say rationalists mistake imaginative powers for modal insights [Mares]
     Full Idea: Empiricist critiques of rationalism often accuse rationalists of confusing the limits of their imaginations with real insight into what is necessarily true.
     From: Edwin D. Mares (A Priori [2011], 03.01)
     A reaction: See ideas on 'Conceivable as possible' for more on this. You shouldn't just claim to 'see' that something is true, but be willing to offer some sort of reason, truthmaker or grounding. Without that, you may be right, but you are on weak ground.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / a. Coherence as justification
The most popular view is that coherent beliefs explain one another [Mares]
     Full Idea: In what is perhaps the most popular version of coherentism, a system of beliefs is a set of beliefs that explain one another.
     From: Edwin D. Mares (A Priori [2011], 01.5)
     A reaction: These seems too simple. My first response would be that explanations are what result from coherence sets of beliefs. I may have beliefs that explain nothing, but at least have the virtue of being coherent.
14. Science / B. Scientific Theories / 3. Instrumentalism
Operationalism defines concepts by our ways of measuring them [Mares]
     Full Idea: The central claim of Percy Bridgman's theory of operational definitions (1920s), is that definitions of certain scientific concepts are given by the ways that we have to measure them. For example, a straight line is 'the path of a light ray'.
     From: Edwin D. Mares (A Priori [2011], 02.9)
     A reaction: It is often observed that this captures the spirit of Special Relativity.
14. Science / C. Induction / 1. Induction
Induction leaps into the unknown, but usually lands safely [Maudlin]
     Full Idea: Induction is always a leap beyond the known, but we are constantly assured by later experience that we have landed safely.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 2.5)
     A reaction: Not philosophically very interesting, but a nice remark for capturing the lived aspect of inductive thought, as practised by the humblest of animals.
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
Laws should help explain the things they govern, or that manifest them [Maudlin]
     Full Idea: A law ought to be capable of playing some role in explaining the phenomena that are governed by or are manifestations of it.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 1.2)
     A reaction: I find this attitude bewildering. 'Why do electrons have spin?' 'Because they all do!' The word 'governed' is the clue. What on earth is a law, if it can 'govern' nature? What is its ontological status? Natures of things are basic, not 'laws'.
18. Thought / D. Concepts / 2. Origin of Concepts / b. Empirical concepts
Aristotelian justification uses concepts abstracted from experience [Mares]
     Full Idea: Aristotelian justification is the process of reasoning using concepts that are abstracted from experience (rather than, say, concepts that are innate or those that we associate with the meanings of words).
     From: Edwin D. Mares (A Priori [2011], 08.1)
     A reaction: See Carrie Jenkins for a full theory along these lines (though she doesn't mention Aristotle). This is definitely my preferred view of concepts.
18. Thought / D. Concepts / 4. Structure of Concepts / c. Classical concepts
The essence of a concept is either its definition or its conceptual relations? [Mares]
     Full Idea: In the 'classical theory' a concept includes in it those concepts that define it. ...In the 'theory theory' view the content of a concept is determined by its relationship to other concepts.
     From: Edwin D. Mares (A Priori [2011], 03.10)
     A reaction: Neither of these seem to give an intrinsic account of a concept, or any account of how the whole business gets off the ground.
19. Language / C. Assigning Meanings / 2. Semantics
In 'situation semantics' our main concepts are abstracted from situations [Mares]
     Full Idea: In 'situation semantics' individuals, properties, facts, and events are treated as abstractions from situations.
     From: Edwin D. Mares (Negation [2014], 6.1)
     A reaction: [Barwise and Perry 1983 are cited] Since I take the process of abstraction to be basic to thought, I am delighted to learn that someone has developed a formal theory based on it. I am immediately sympathetic to situation semantics.
19. Language / C. Assigning Meanings / 8. Possible Worlds Semantics
Possible worlds semantics has a nice compositional account of modal statements [Mares]
     Full Idea: Possible worlds semantics is appealing because it gives a compositional analysis of the truth conditions of statements about necessity and possibility.
     From: Edwin D. Mares (A Priori [2011], 02.2)
     A reaction: Not sure I get this. Is the meaning composed by the gradual addition of worlds? If not, how is meaning composed in the normal way, from component words and phrases?
19. Language / D. Propositions / 3. Concrete Propositions
Unstructured propositions are sets of possible worlds; structured ones have components [Mares]
     Full Idea: An unstructured proposition is a set of possible worlds. ....Structured propositions contain entities that correspond to various parts of the sentences or thoughts that express them.
     From: Edwin D. Mares (A Priori [2011], 02.3)
     A reaction: I am definitely in favour of structured propositions. It strikes me as so obvious as to be not worth discussion - so I am obviously missing something here. Mares says structured propositions are 'more convenient'.
26. Natural Theory / C. Causation / 9. General Causation / c. Counterfactual causation
Evaluating counterfactuals involves context and interests [Maudlin]
     Full Idea: The evaluation of counterfactual claims is widely recognised as being influenced by context and interest.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 1.5)
     A reaction: Such evaluation certainly seems to involve imagination, and so the pragmatics can creep in there. I don't quite see why it should be deeply contextual.
We don't pick a similar world from many - we construct one possibility from the description [Maudlin]
     Full Idea: It seems unlikely the psychological process could mirror Lewis's semantics: people don't imagine a multiplicity of worlds and the pick out the most similar. Rather we construct representations of possible worlds from counterfactual descriptions.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 1.5)
     A reaction: I approve of fitting such theories into a psychology, but this may be unfair to Lewis, who aims for a logical model, not an account of how we actually approach the problem.
The counterfactual is ruined if some other cause steps in when the antecedent fails [Maudlin]
     Full Idea: A counterexample to the counterfactual approach is that perhaps the effect would have occurred despite the absence of the cause since another cause would have stepped in to bring it about.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 5)
     A reaction: …Hence you cannot say 'if C had not occurred, E would definitely not have occurred'. You have to add 'ceteris paribus', which ruins the neatness of the theory.
If we know the cause of an event, we seem to assent to the counterfactual [Maudlin]
     Full Idea: When we think we know the cause of an event, we typically assent to the corresponding Hume counterfactual.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 5)
     A reaction: This is the correct grounding of the counterfactual approach - not that we think counterfactuals are causation, but that knowledge of causation will map neatly onto a network of counterfactuals, thus providing a logic for the whole process.
If the effect hadn't occurred the cause wouldn't have happened, so counterfactuals are two-way [Maudlin]
     Full Idea: If Kennedy had still been President in Dec 1963, he would not have been assassinated in Nov 1963, so the counterfactual goes both ways (where the cause seems to only go one way).
     From: Tim Maudlin (The Metaphysics within Physics [2007], 5)
     A reaction: Maudlin says a lot of fine-tuning has sort of addressed these problems, but that counterfactual causation is basically wrong-headed anyway, and I incline to agree, though one must understand what the theory is (and is not) trying to do.
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
Laws of nature are ontological bedrock, and beyond analysis [Maudlin]
     Full Idea: The laws of nature stand in no need of 'philosophical analysis'; they ought to be posited as ontological bedrock.
     From: Tim Maudlin (The Metaphysics within Physics [2007], Intro)
     A reaction: This is Maudlin's most basic principle, and I don't agree with it. The notion that laws are more deeply embedded in reality than the physical stuff they control is a sort of 'law-mysticism' that needs to be challenged.
Laws are primitive, so two indiscernible worlds could have the same laws [Maudlin]
     Full Idea: Laws are ontologically primitives at least in that two worlds could differ in their laws but not in any observable respect. ….[21] I take content of the laws to be expressed by equations.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 1.4)
     A reaction: At least that spells out his view fairly dramatically, but I am baffled as to what he thinks a law could be. He is arguing against the Lewis regularity-axioms view, and the Armstrong universal-relations view. He ignores the essentialist view.
Fundamental laws say how nature will, or might, evolve from some initial state [Maudlin]
     Full Idea: The fundamental laws of nature appear to be laws of temporal evolution: they specify how the state of the universe will, or might, evolve from a given intial state.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 6)
     A reaction: Maudlin takes both laws of nature and the passage of time to be primitive facts, and this is how they are connected. I think (this week) that I take time and causation to be primitive, but not laws.
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
'Humans with prime house numbers are mortal' is not a law, because not a natural kind [Maudlin]
     Full Idea: 'All humans who live in houses with prime house numbers are mortal' is not a law because the class referred to is not a natural kind.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 1.6)
     A reaction: Maudlin wants laws to be primitive, but he now needs a primitive notion of a natural kind to make it work. If kinds generate laws, you can ditch the laws, and build your theory on the kinds. He also says no death is explained by 'all humans are mortal'.
26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory
If laws are just regularities, then there have to be laws [Maudlin]
     Full Idea: On the Mill-Ramsey-Lewis account of laws, I take it that if the world is extensive and variegated enough, then there must be laws.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 5.2)
     A reaction: A nice point. If there is any sort of pattern discernible in the surface waves on the sea, then there must be a law to cover it, not matter how vague or complex.
27. Natural Reality / C. Space / 3. Points in Space
Maybe space has points, but processes always need regions with a size [Mares]
     Full Idea: One theory is that space is made up of dimensionless points, but physical processes cannot take place in regions of less than a certain size.
     From: Edwin D. Mares (A Priori [2011], 06.7)
     A reaction: Thinkers in sympathy with verificationism presumably won't like this, and may prefer Feynman's view.
27. Natural Reality / D. Time / 1. Nature of Time / a. Absolute time
I believe the passing of time is a fundamental fact about the world [Maudlin]
     Full Idea: I believe that it is a fundamental, irreducible fact about the spatio-temporal structure of the world that time passes.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 4)
     A reaction: Worth quoting because it comes from a philosopher fully informed about, and heavily committed to, the physicist's approach to reality. One fears that physicists steeped in Einstein are all B-series Eternalists. Get a life!
27. Natural Reality / D. Time / 2. Passage of Time / b. Rate of time
If time passes, presumably it passes at one second per second [Maudlin]
     Full Idea: It is necessary and, I suppose, a priori that if time passes at all it passes at one second per second. …Similarly, the fair exchange rate for a dollar must be a dollar.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 4.1)
     A reaction: [He is discussing Huw Price on time] This is a reply to the claim that if time passes it has to pass at some rate, and 'one second per second' is ridiculous. Not very convincing, even with the dollar analogy.
27. Natural Reality / D. Time / 2. Passage of Time / e. Tensed (A) series
There is one ordered B series, but an infinitude of A series, depending on when the present is [Maudlin]
     Full Idea: Given events ordered in a B series, one defines an infinitude of different A series that correspond to taking different events as 'now' or 'present'. McTaggart talks of 'the A series' when there is an infinitude of such.
     From: Tim Maudlin (The Metaphysics within Physics [2007], 4.3 n11)
     A reaction: This strikes me as a rather mathematical (and distorted) claim about the A series view. The A-series is one dynamic happening. Not an infinity of static times lines, each focused on a different 'now'.
29. Religion / D. Religious Issues / 2. Immortality / a. Immortality
The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus]
     Full Idea: The Egyptians were the first to claim that the soul of a human being is immortal, and that each time the body dies the soul enters another creature just as it is being born.
     From: Herodotus (The Histories [c.435 BCE], 2.123.2)