|
15927
|
Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine]
|
|
Full Idea:
For mathematics, Weyl arrived (by 1917) at a satisfactory list of definition principles: negation, identification of variables, conjunction, disjunction, substitution of constants, and existential quantification over the domain.
|
|
From:
report of Hermann Weyl (works [1917]) by Shaughan Lavine - Understanding the Infinite V.3
|
|
A reaction:
Lavine summarises this as 'first-order logic with parameters'.
|
|
8326
|
Science has shown that causal relations are just transfers of energy or momentum [Fair, by Sosa/Tooley]
|
|
Full Idea:
Basic causal relations can, as a consequence of our scientific knowledge, be identified with certain physicalistic [sic] relations between objects that can be characterized in terms of transference of either energy or momentum between objects.
|
|
From:
report of David Fair (Causation and the Flow of Energy [1979]) by E Sosa / M Tooley - Introduction to 'Causation' §1
|
|
A reaction:
Presumably a transfer of momentum is a transfer of energy. If only anyone had the foggiest idea what energy actually is, we'd be doing well. What is energy made of? 'No identity without substance', I say. I like Fair's idea.
|
|
10379
|
Fair shifted his view to talk of counterfactuals about energy flow [Fair, by Schaffer,J]
|
|
Full Idea:
Fair, who originated the energy flow view of causation, moved to a view that understands connection in terms of counterfactuals about energy flow.
|
|
From:
report of David Fair (Causation and the Flow of Energy [1979]) by Jonathan Schaffer - The Metaphysics of Causation 2.1.2
|
|
A reaction:
David Fair was a pupil of David Lewis, the king of the counterfactual view. To me that sounds like a disappointing move, but it is hard to think that a mere flow of energy through space would amount to causation. Cause must work back from an effect.
|