|
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'.
|
|
20565
|
Men are created equal, and with certain inalienable rights [Jefferson]
|
|
Full Idea:
We hold these Truths to be self-evident, that all Men are created equal, that they are endowed by their Creator with certain inalienable rights, that among these are Life, Liberty and the Pursuit of Happiness.
|
|
From:
Thomas Jefferson (U.S. Declaration of Independence [1775]), quoted by Johanna Oksala - Political Philosophy: all that matters Ch.4
|
|
A reaction:
In the context, saying equality and rights are 'natural' is just a way of saying we will fight to the death to defend them. The big modern problem for the U.S. is that nominal equality before the law doesn't ensure equality in society.
|
|
8430
|
Causal statements are used to explain, to predict, to control, to attribute responsibility, and in theories [Kim]
|
|
Full Idea:
The function of causal statements is 1) to explain events, 2) for predictive usefulness, 3) to help control events, 4) with agents, to attribute moral responsibility, 5) in physical theory. We should judge causal theories by how they account for these.
|
|
From:
Jaegwon Kim (Causes and Counterfactuals [1973], p.207)
|
|
A reaction:
He suggests that Lewis's counterfactual theory won't do well on this test. I think the first one is what matters. Philosophy aims to understand, and that is achieved through explanation. Regularity and counterfactual theories explain very little.
|
|
8429
|
Counterfactuals can express four other relations between events, apart from causation [Kim]
|
|
Full Idea:
Counterfactuals can express 'analytical' dependency, or the fact that one event is part of another, or an action done by doing another, or (most interestingly) an event can determine another without causally determining it.
|
|
From:
Jaegwon Kim (Causes and Counterfactuals [1973], p.205)
|
|
A reaction:
[Kim gives example of each case] Counterfactuals can even express a relation that involves no dependency. Or they might just involve redescription, as in 'If Scott were still alive, then the author of "Waverley" would be too'.
|
|
4781
|
Many counterfactual truths do not imply causation ('if yesterday wasn't Monday, it isn't Tuesday') [Kim, by Psillos]
|
|
Full Idea:
Kim gives a range of examples of counterfactual dependence without causation, as: 'if yesterday wasn't Monday, today wouldn't be Tuesday', and 'if my sister had not given birth, I would not be an uncle'.
|
|
From:
report of Jaegwon Kim (Causes and Counterfactuals [1973]) by Stathis Psillos - Causation and Explanation §3.3
|
|
A reaction:
This is aimed at David Lewis. The objection seems like commonsense. "If you blink, the cat gets it". Causal claims involve counterfactuals, but they are not definitive of what causation is.
|