brimstoneSalad wrote: ↑Tue May 22, 2018 7:44 pm
Albus on Seitainism had some comments on replying to NTT, @Margaret Hayek @DrSinger I'd like to hear your thoughts on this.
Albus wrote:"You're saying that it's okay to kill cows for food, but not kill humans for food.
Cows and humans are different. So what is your reason/justification for that difference of treatment?"
notice how it doesnt say anything about "traits"
ntt should be worded more like that
It should, that is another way to correct it: talk about justification instead of traits.
I wonder if the following would best capture the logical form of the argument that you are suggesting. As in our our current version of NTT 2.0 (see
wiki/index.php/NameTheTrait#Correction and
wiki/index.php/NameTheTrait_2.0), let 'x has non-trivial moral status' mean at least that we are morally required not to treat x in the ways that consuming animal products treats non-human animals - for instance, x is such that we are morally required not to inflict enormous suffering upon and / or kill x for relatively trivial reasons (like taste-pleasure):
(P1) Sentient humans have non-trivial moral status.
(P2) If sentient humans have non-trivial moral status but sentient non-human animals lack this status, then there must be some morally relevant difference between sentient humans and sentient non-human animals that is important enough to justify this difference in moral status.
(P3) There is no morally relevant difference between sentient humans and sentient non-human animals that is important enough to justify this difference in moral status.
Therefore, (C) Sentient non-human animals have non-trivial moral status.
One very nice thing about this argument is that its logical form and validity can be very simply and easily explained using only sentential / propositional logic (one does not have to get into predicate / first order logic). The logical form is:
(p1) A
(p2) If A and not B, then C
(p3) Not C
Therefore, B
Where:
A = Sentient humans have non-trivial moral status
B = Sentient non-human animals have non-trivial moral status, and
C = There is some morally relevant difference between sentient humans and sentient non-human animals that is important enough to justify this difference in moral status [viz. sentient humans having non-trivial moral status but sentient non-human animals lacking such status].
The validity of the argument can be easily shown as follows:
1. A; premise
2. If A and not B, then C; premise
3. Not C; premise
4. It is not case that both A and not B; 2, modus tollens
5. Either not A or B; 4, demorgan's law [~(A & B) iff ~A or ~B]; dropping double negation [~~B iff B]
6. B; 1, 4, disjunctive syllogism [C or D, ~C |- D] (and ~~A iff A, since in our case the inference is ~A or B, A|-B)
If you want to make P3 more compelling at first sight, or make the strategy for defending P3 (a la less able humans / "marginal cases") clearer at first sight, we could try to do so by explicitly talking about ALL sentient humans:
(P1) All sentient humans have non-trivial moral status.
(P2) If all sentient humans have non-trivial moral status but farmed animals [or 'some sentient non-human animals'] lack this status, then there must be some morally relevant difference between all sentient humans and farmed [/these sentient non-human] animals that is important enough to justify this difference in moral status.
(P3) There is no morally relevant difference between all sentient humans and farmed [/ some / these sentient non-human] animals that is important enough to justify this difference in moral status.
Therefore, (C) Farmed [or 'all sentient non-human] animals have non-trivial moral status.
Even here, while you do have to put it into FOL to show how we can infer that all sentient non-human animals have moral status from P1, P2, and there being no sufficiently important difference between any given sentient non-human animal and all sentient humans, the logical form of the argument and proof that it is valid are still pretty straightforward (and if you run this with 'farmed animals' instead of 'some sentient non-human animals', then you again don't even have to put it into FOL and sentence / predicate logic suffices, because the logical form and proof of validity are identical to those above).
Best,
Margaret