Revision as of 12:34, 17 March 2019

• Work In progress

History

The previous incarnation of Name The Trait had several issues (as discussed in that article) which led to us recommending strongly against its usage. The new formalization of Name The Trait (discussed here) has largely corrected for these and is formally valid. While a number of unofficial fixes have been recommended, this article covers the new versions recognized by the original author as authoritative.

Whether this formalization represents a new argument in terms of structure that replaces an invalid original argument or represents only a formalization of the original argument that corrects for informal semantic issues is moot. Arguments for the former appeal to early comments and original usage/presentation (discussed briefly in the old article), while arguments for the latter appeal to stated authorial intent. Given that the argument is valid now, its pedigree or relationship to the previous argument isn't particularly relevant to its current force or persuasive ability.

The formalization discussed here was endorsed by the original author Isaac Brown (A.K.A. Ask Yourself) in consultation with or including corrections from discord users Dr. Avi, _jhc, and Alex Malpass. The degree to which Brown's argument can be said to have been "fixed for him", which arguably implies him not being very instrumental in its correction, is also insubstantial and not topical to this article. At risk of labouring the point, the argument is valid now and that is what matters.

While some practical limitations (in terms of audience) may still apply, this argument could serve as a compelling one for veganism within its niche (which is speculated to be most strongly applicable be non-theistic subjectivists who want to be generalists) and deserves some discussion.

This article will begin by presenting the argument, explaining how it is formally valid, and conclude by discussing potential pros and cons to its usage and which audiences may be most likely to be swayed to veganism by the argument and those it generates. This page will also keep track of future iterations of or improvements to the argument.

Formal Argument

p1) If all views in category x are all views that affirm a given human is reducible to a given human animal (via trait switching) while retaining moral value, all views in category x can only deny the given animal has moral value on pain of p^-P.

P2) All views in category x are all views that affirm a given human is reducible to a given animal (via trait switching) while retaining moral value

c) Therefore, all views in category x can only deny the given animal has moral value on pain given p^-P.

This argument is a simple Modus Ponens. Put simply: If A then B. A, therefore B. While the premises (P1 and P2) may be challenged, the conclusion must follow if both premises are true.

Rejecting P2 as false

P2 appears to take a rather unusual form of being a category definition rather than a substantive claim, which if true would make it functionally impossible to refute.

Somebody could attempt deny the name for that category (category x) on the basis that category x means something else or has another definition.

IF the argument meant to make an empirical claims about a literal defined "category X", then such an objection could be credible. This is one interpretation (and it's an interpretation that the creator of the argument has recognized as valid).

This would be along the lines of rejecting a premise such as: "The category "Mammals" contains the set of all fish and insects."

So such an objection would run along the lines of rejecting P2 with: "No, I Google searched "category X" and it is defined as the category of drugs that should not be taken during pregnancy"

If "category x" is taken literally, then this Name The Trait argument fails due to a false premise.

However, this interpretation appears very silly since based on the argument's wording and usage, and the typical use of variables in arguments, what the category is called does not seem to be an essential part of the argument: category y, z, a, b, 198hdf784tfuy, etc. would all seem to be acceptable.

If what the argument actually means is not a literal "category x" but "any given conceivable category of ideas labeled arbitrarily for the purpose of this discussion", then there are a seemingly infinite number of potential conceptual categories and respective names for those categories. As long as the category can exist, that's all that's needed.

To deny that there is any category available to classify these views would be a very bizarre claim; as though all possible categories are already named, filled, and accounted for. Any effort to prove such a claim (consistently demonstrating a complete accounting of an infinite number of sets) might run afoul of Godel's incompleteness, but that's another matter of contention and it's probably sufficient to just say the claim that there's not a conceptual set available for any given notion is unsubstantiated and seems apparently false given we can name the category precisely what it contains. The category we call "All red apples" contains all red apples, and so on.

However, IF category X is an open ended variable as mentioned, what isn't a far fetched refutation is that P2 isn't substantive, and that it could (and perhaps should) just be a definition for a term in P1.

Rejecting the argument because P2 is trivial

The refutation that P2 isn't substantive, and that it could (and perhaps should) just be a definition for a term in P1, or "category x" stated more clearly there as what it represents, suggests that the argument may not be much of an argument at all.

In other words, the argument could reduce to:

p1) For any given category of views that contains only views that affirm a given human is reducible to a given human animal (via trait switching) while retaining moral value, all views in that category can only deny the given animal has moral value on pain of p^-P.

c) Therefore, all views in such a category (the one contains only views that affirm a given human is reducible to a given human animal (via trait switching) while retaining moral value) can only deny the given animal has moral value on pain given p^-P.

This would be question-begging, and might not be very persuasive (or in the very least doesn't make very good argument form).

Labeling and exporting the definition of category x to P2 in this case only serves to shoehorn the essential claim of P1 into a classical form of argument. It makes it look like something it isn't, at least in any substantive way.

Compare a rough theological equivalent:

P1) If God is God, then God exists.
P2) God is God.
C) Therefore, God exists.

Note how the second premise is unnecessary given the law of identity.

This is distinct from more substantive uses, such as:

p1) If Dogs are mammals, then baby Dogs drink milk.
p2) Dogs are mammals.
c) Therefore, baby Dogs drink milk.

We can say that being a mammal is part of the definition of a Dog, but it is not only that. Being a mammal is also a substantive claim that could conceivably be argued. It would seem odd to argue that Dogs are not mammals given how common knowledge that claim is, but it is conceivable that lacking the relevant empirical information it could be in question.

Not so with P2 from Name The Trait; it is merely a matter of arbitrary categorical definition, and offers nothing substantive to be argued at all. It is trivially true, which makes it arguably bad form to offer it as a premise (much like the "God is God" premise in the theological equivalent).

It's important to make clear that validity is not in question (question begging arguments, and those containing circular logic *are* still technically valid), it is just that it is possible that the argument could be seen as question begging due to its structure and definitions.

What does it mean to be question begging? In short, it would mean the argument is less of an argument and more of an assertion (P1 encapsulating the entirety of the substantive content). But that does NOT make it false.

Does this make it less persuasive? Possibly, but also possibly not. If the first premise is true then that alone could be compelling. The issue is more that the form of the argument could be better focused on proving the claim of the first premise, or offering something more.

For example, introducing a substantive P2 the argument could be represented (roughly) as:

p1) If you hold views that affirm a given human is reducible to a given human animal (via trait switching) while retaining moral value, then you can only deny the given animal has moral value on pain of p^-P.

P2) You hold views that affirm a given human is reducible to a given animal (via trait switching) while retaining moral value.

c) Therefore, you can only deny the given animal has moral value on pain given p^-P.

A minor change like this retains the force of the argument, as well as its intent. If you want to reject P2, then you need to "Name The Trait" that you think, when switched, causes the human to lose moral value, or otherwise explain why your views are not in line with P2. For more on these arguments see #non-applicability.

Niche

While the logic still holds, those who can name traits that would make them appear to be complacent moral monsters may not be persuaded to veganism by the argument (for example those who would endorse raising, killing, and eating mentally challenged humans on the basis of an IQ trait).