Meinongianism and Platonism

I have recently been reflecting on an objection to Meinongianism that I have encountered on occasion (cf. David Lewis 'Noneism or Allism?' for just one example), and that is the notion that the Meinongian is trying to have his cake and eat it too. In effect, the objection here states that the Meinongian is quantifying over and making theoretical use of a plenitude of objects, but avoids the requisite ontological commitment to these objects by holding that they do not exist. In effect, the Meinongian is doing nothing more than playing a word game.

If we wholeheartedly accept the current Quinean dogma in contemporary Meta-Ontology, then this would certainly be a natural objection. But what I would like to do is to turn this objection on its head and demonstrate how we can raise the very same sort of worry with regard to the Platonist.

The Platonist, for those who don't know, believes that, in addition to the singular concrete objects of the everyday world, there exist untold infinities of 'abstract objects' (such objects might include Numbers, Universals, Propositions, States of Affairs, etc.). What distinguishes these abstract objects from the aforementioned concrete objects is that, while concrete objects are always spatio-temporally locatable, abstract objects exist beyond space and time. 

This view is certainly well-established within the history of Philosophy, but it does appear rather strange sounding at first glance. For if someone were to inform us that an object such as Bigfoot exists, we might very sensibly want to ask 'Where does Bigfoot exist?' If we were told that Bigfoot does not exist anywhere in the universe, we might feel that our interlocutor was using the word 'exist' to mean 'timeless existence.' Realizing this, we might then ask him 'Well then, at what time does Bigfoot exist?' If he responds by saying that 'Bigfoot does not exist at any point in time, for he is an abstract object!' we would most likely feel that the wool has been pulled over our eyes.  Surely to claim that an object exists nowhere and never is the same thing as to say that it does not exist at all. And since the Platonist makes the exact same claim regarding all the endless abstracta, should we not then conclude that the abstracta also do not exist in any way?

(For clarification's sake, let us call the Platonist view of Ontological Commitment the Quantificational View, and let us call the view we have just adumbrated the Spatio-Temporal View, for obvious reasons).

Of course, a standard reply that the Platonist might make at this point is to say that "While abstract objects surely do not exist in our physical universe, they nevertheless do exist in the Realm of the Forms." But this can't be right, for to say that these objects exist 'in' the Realm of the Forms is already to imply that they are spatially located somewhere.

So is it not already apparent how we can apply the same sort of reasoning to attack the Platonist? For at least according to one plausible way of looking at things, the Platonist is doing nothing more than playing a word game. The Platonist has denied both of the factors that are used in determining existence (at least according to the Spatio-Temporal View). So we can very easily say that he has actually denied the existence of abstract objects, but in order to hold on to his pristine Platonic Heaven, he has inexplicably claimed that these abstract objects still somehow exist. Quite literally (to adapt a phrase from David Lewis) he has 'affirmed existence without affirming existence.'

In closing, what I would like to get across with my observations is that the objection that the Meinongian is playing a word game holds no water as of yet, because as has just been demonstrated, the same sort of remark can be made towards the Platonist. What is actually needed is a solid argument in favor of the Quantificational View and also a demonstration that something like the Spatio-Temporal View is incorrect. Modern classics like 'On What There Is' and 'Noneism and Allism' contain only dogmatic assertions, and thus are not fruitful places to look for the requisite arguments.

Finishing the Fifth Corner of Four

I have now finished reading the Fifth Corner of Four. The final three chapters of the work are particularly interesting because Graham Priest uses the Plurivalent Logical tools he has already adumbrated to provide a formal analysis of the Jinzang Hierarchy, the Net of Indra, and the notion of Enlightenment (especially how it relates to the work of Dogen).

Now these sections of the work started to drift away from my areas of specialization, but it was clear from my reading that Buddhist metaphysical issues can be given a rigorous logical grounding. Take the Jinzang Hierarchy for instance. This concerns the notion of transcending dualities in order to reach Ultimate Reality. Say we have some true description P of Conventional Reality. Since we know that Ultimate Reality is ineffable, we must conclude that ~P is true of Ultimate Reality. But we have already concluded earlier that Ultimate Reality is ineffable, and ~P is just as conceptual as P. Therefore, we must conclude that we are actually also describing conventional reality with the sentence ~P. Thus, the compound proposition P & ~P is true of Conventional Reality.

So to throw off this additional conceptual fetter, it is only natural to conclude that neither conjunct is true of Ultimate Reality, in other words ~(P & ~P) is true of Ultimate Reality. But this is still just another concept, so it too must also describe Conventional Reality. Thus (P & ~P) & ~(P & ~P) is true of Conventional Reality. But then we must negate this new compound proposition in order to reach Ultimate Reality, and so on, ad infinitum.

What Graham Priest concludes from all of this is that the transcendence of all dualities is not a final state that must be reached, but an ever continuing process up the hierarchy. Priest connects this result to the view of enlightenment broached by the Japanese philosopher Dogen. For Dogen, enlightenment is not some ultimate state that must be reached after a long and arduous regime of disciplinary practice, rather, enlightenment is already here, right before our eyes. Indeed, while the notions of samsara and nirvana are useful notions for the practitioner, we can only be enlightened once we see that they are actually one and the same. To borrow a metaphor from Wittgenstein, they are like a ladder which once climbed, must be thrown away.


So to conclude, I would highly recommend this book to anyone interested in Logic or Metaphysics. I would recommend it in particular to 2 classes of people: Firstly, I would recommend it to those who might not be familiar with Buddhist Metaphysics. Secondly, I would recommend it to those who might be curious regarding the applicative capabilities of Non-Classical Logics.

But one thing that especially shines through in my opinion is the perennial usefulness of First Degree Entailment, which Priest makes quite patent throughout the course of the book. Anyone familiar with Non-Classical Logics is certainly aware that FDE can be a base system for a wide variety of other systems of logic. These systems can be reached either by tweaking the truth values (a la K3, LP, Classical Logic, and FDEe) or by adding on a suitable conditional (a la N4 or the Affixing Relevant Logics). This being the case, I think we might be justified in concluding that FDE provides the true 'basement level' consequence relation (to use a term of JC Beall).

I certainly plan on continuing my study of Buddhist Philosophy, and I am now confident that FDE and FDEe are the perfect tools for logical analysis in this endeavor.

Continuing on in my reading of the Fifth Corner of Four

I have now gone deeper into my reading of The Fifth Corner of Four. Graham Priest has now touched upon the Paradox of Ineffability. For those who don't know, this arises when we attempt to say that some part of reality cannot be talked about and we give reasons why it cannot be talked about, but in the course of giving those reasons we inevitably talk about that which cannot be talked about. In other words, the ineffable is indeed effable.

Anyone familiar with the history of Philosophy should recognize this dilemma from the works of such gigantic figures like Kant, Heidegger, and Wittgenstein. Now the Paradox of Ineffability cannot be adequately dealt with using the system FDEe that I alluded to in the last post. For if a state of affairs is both effable and ineffable, we cannot just give that state of affairs the value e, because even though that does describe one facet of the situation at hand (namely its ineffability), we have to remember that the paradoxical state of affairs is also effable. So perhaps we should just give the state of affairs the value b? That won't work either, for while a state of affairs with such a value is certainly effable, it is not ineffable. Similar reasoning applies to all of the other cotis.

So a natural thought might be to just add a sixth coti, called 'P', that means something like 'both effable and ineffable.' But this solution is inadequate. For suppose that a certain Philosopher was to say something like the following: 'Ultimate Reality is ineffable because it is beyond all conceptual understanding and dualistic thinking.' This obviously leads to the Paradox of Ineffability, and thus it would be correct to say that Ultimate Reality under this picture is both effable and ineffable. But this isn't the end of the story. For what would be the value of the state of affairs described by the following sentence: 'Ultimate Reality is beyond all conceptual understanding?' Obviously, it has the value e (since all states of affairs that include Ultimate Reality are ineffable), but some thought into the matter makes it clear that it also has the value 'b'. The reason for this is that the sentence in question must describe a true state of affairs (since being beyond conceptual understanding is one of the reasons that Ultimate Reality is ineffable), but the state of affairs it describes is also False since we can conceptually understand that Ultimate Reality is beyond all conceptual understanding. So it would appear that the state of affairs in question has both the value e and the value b.

In order to accommodate this insight, Priest makes use of Plurivalent Logic. Plurivalent Logic is unique among Non-Classical Logics because instead of forcing wffs to be assigned only one truth-value, it allows wffs to be assigned more than one truth-value. The main technical trick that allows one to achieve this is making use of a relation between wffs and truth values, rather than the standard functional assignment of wffs to truth values.

When we do this, we can very easily accommodate the fact that sentences describing states of affairs can have more than one truth value, and thus we can solve the Paradox of Ineffability.

As a side note, one quite surprising feature of Plurivalent FDE is that it has exactly the same theorems as the Many-Valued FDE. So this means we can simply bring over all the deductive apparatus of FDE when applying our new semantical modeling.

Meinongianism, Noneism, Radical Noneism

In this post, I would like to describe three closely related Philosophical theories, viz. Meinongianism, Noneism, and Radical Noneism. Collectively, we might refer to all of these schools of thought as belonging to the Philosophical field known as object theory, or item theory. I should also like to lay out the features of these theories that I find attractive and the reasons why I personally am a Radical Noneist.

Meinongianism is a wide ranging theory encompassing every subdiscipline of philosophy. Its comes out of the work of the severely underappreciated Austrian philosopher Alexius Meinong. It is based on several important theses. Firstly, it holds that everything whatever is an object. This feature distinguishes Meinongianism from other schools of thought that either do not include objects at all, or do not take everything to be an object. Secondly, it holds that many objects do not exist, and among those objects that don't have existence, some have a lower form of being called subsistence (like numbers, universals, properties etc.) and others have a 'being-like' property called absistence (like fictional characters and impossible objects). Last but not least, it holds that nonexistent objects possess properties and true statements can be made about them.

We should quickly note that since nonexistent objects are given standing in Meinongian theory, the traditional philosophical subfield of Ontology is extended into Sistology. Sistology is the field of enquiry that investigates all objects, whether existent, or nonexistent; Ontology, as the field concerned with the study of all existent objects, is included within Sistology.


Noneism is a closely related theory that builds off of Meinongianism in 2 different ways. It agrees with Meinongianism in holding that everything whatever is an object. It also agrees that very many objects do not exist, but Noneism does not recognize the notions of subsistence and absistence. For the Noneist, if an object does not exist, then it does not have any kind of being at all (This idea goes back to the work of Thomas Reid). Noneism also holds that nonexistent objects can have properties and that true statements can be made about them. The other change that Noneism brings to bear upon Meinongianism is that it situates nonexistent objects within different worlds, both possible worlds and impossible worlds. So for example, Gandalf is a nonexistent object that is a part of the world that realizes the Lord of the Rings stories. Crucially for the Noneist, inconsistent objects, like the round square, are part of impossible worlds where the laws of logic are different.

Radical Noneism has exactly the same principles as Noneism, but with only one difference: namely, for the Radical Noneist, the actual world is inconsistent. This being the case, the Radical Noneist locates some inconsistent objects within the actual world.


Now to the benefits and drawbacks of the theories. Meinongianism has numerous theoretical virtues to it's credit, including scope, explanatory power, and adherence to the data. But more importantly, Meinongianism resolves a number of long-standing problems in Philosophy. The first of these problems does not have a name in the literature (as far as I am aware), but it concerns the paradox of describing something as not being an object. Gottlob Frege and Alfred North Whitehead are 2 notable Philosophers that ran into this problem. For Frege, the world is split up into 3 different kinds of things: objects, concepts, and names. Consequently for Frege, concepts and names are not objects. But this leads us straight into a paradox, as Frege himself recognized. For if we say that 'A concept is not an object', we are treating a concept as if it were an object. Frege was never able to get around this problem and was eventually forced to say that natural language does not allow him to properly express what he means in this case.

Whitehead ran into a similar problem. For Whitehead, there really are no such things as objects at all, only what he called 'processes'. But again, just as with Frege, if we say that 'A process is not an object', we are treating a process as if it were an object. There seems to be no way around this paradox for Whitehead.

However, Meinongianism is able to avoid this paradox entirely. Since Meinongianism takes everything whatever as an object, it simply does not run across the problems of Frege and Whitehead. Indeed, even things that are not objects are still considered objects by the Meinongian. So the Meinongian could perfectly well say that 'A concept is not an object', and he could perhaps speak truly by saying this, but he does not run into the paradox because he still takes concepts to be objects (even though they might not be objects).

The second longstanding problem that Meinongianism resolves is the so-called 'Paradox of Non-Being'. This is one of the oldest problems of Philosophy, going all the way back to the days of Parmenides and Plato. The basic idea behind the paradox is that, in order to say of an object that it does not exist, it would allegedly seem to be the case that the object must exist in order for us to say this. Or to put in a more memorable way: "Non-being must in some sense be." This problem has absolutely befuddled many of the greatest philosophers since the earliest days of the subject. But this problem does not even arise for the Meinongian, since he allows non-existent objects to have standing in his theory. Thus, the Meinongian can perfectly well say that a certain object does not exist, without thereby committing himself to the existence of that object.

Meinongianism also has another benefit. As we noted earlier, Meinongianism holds that true statements can me made about nonexistent objects. Thus, if we say 'Unicorns have one horn', we speak truly by saying this. This is quite natural, since if someone were to say 'Unicorns have 17 horns', we would most likely dispute that statement. But mainstream Philosophical theories do not believe that true statements can me made about nonexistent objects. For Parmenides and Plato, all statements about nonexistent objects are meaningless. For Frege and P.F. Strawson, all such statements are neither true nor false. For Bertrand Russell and contemporary Classical Logic, all such statements are false. But these theories are all incorrect. For we can perfectly well understand what is meant by saying 'Unicorns have one horn', to wit, it is ascribing the property of having one horn to every Unicorn. In addition, there have been times throughout history where people have thought that something exists, only to later find out that it doesn't. For instance, luminferous aether. This object was a standard feature of cutting edge scientific theory in the late 19th century. Many scientists did in fact think that such an object existed, only to eventually discover that it does not exist. Should we then say that when those 19th century scientists had made statements regarding the luminferous aether they were thereby talking nonsense? But they perfectly well understood the statements they were making about the aether, and surely it is incoherent to speak of understanding a meaningless statement, since there is quite literally no meaning there to be understood. So it is incorrect to say that such statements are meaningless. It is also incorrect to say that it is either false or neither true nor false; because we can actually provide evidence that Unicorns do have one horn, for example by consulting the relevant folk and mythological traditions and the relevant texts. Thus, Meinongianism admirably fits perfectly with the data on this point. Some people might respond to this by saying that merely consulting folk traditions and textual sources is not sufficient evidence to determine the truth-value of statements concerning nonexistent objects. However, if this were true, then all historical investigation of ancient people and cultures is thereby illegitimate, since in many cases these disciplines must rely on folk traditions and textual sources.

But Meinongianism has 2 major difficulties. The first difficult concerns how to make sense of subsistence and absistence. What does it mean to possess a 'lower level of being' than ordinary existence? What is meant by saying that absistence is 'being-like'? Also, quite apart from the interpretational difficulties involved with these notions, they complicate our logical theory by introducing two new primitives. We would do well to simplify the theory if at all possible. The second difficulty is in my opinion more damaging. Meinongianism locates every nonexistent object within the actual world (along with all the existent objects). But this leads to numerous problems, for take a nonexistent object such as Bigfoot. Even though this object does not exist, we can truly describe it as being located in the Pacific Northwest. But, and here is the kicker, if we were to conduct an exhaustive search of the Pacific Northwest, we would not find any such creature. The situation is similar with many fictional stories that take place in real locations in the actual world.

But there is also a more troubling facet of this problem, and that concerns impossible objects. Since impossible objects are given standing according to Meinongianism, and since impossible objects are located in the actual world, it follows that the actual world contains both incomplete and inconsistent objects. Whether this is considered to be a problem will of course depend on one's view of logic, but for many this implication would count against the theory. Thus it would seem that many nonexistent objects cannot be located in the actual world if they are to properly perform the needed work in logical theorizing.


Noneism does not run into the 2 aforementioned problems. Firstly, the Noneist does away with the notions of subsistence and absistence entirely. For the Noneist, an object either exists or it does not, full stop. This greatly simplifies our logical theory. Secondly, Noneism duly locates every object within either a possible or an impossible world (Note: This does not mean that every object is located in a unique world. Some nonexistent objects can be a part of the same world) Worlds, both possible and impossible, are another sort of nonexistent object for the Noneist. The role they play is in smoothing out the logical geography of Sistology. Since the Noneist locates Bigfoot within a possible world we can coherently say that 'Bigfoot is located in the Pacific Northwest', because what we mean by this is that if the possible world that contains Bigfoot existed, we would find Bigfoot in the Pacific Northwest region of that world. Noneism also allows us to avoid the problem of impossible objects populating the actual world by placing those objects in the appropriate impossible worlds.

Noneism does have one glaring weakness though, and that is that it does not have anything to say about the logical paradoxes of self-reference. There are a large number of these paradoxes, but perhaps the most famous example of that of the Liar Sentence. Put quite simply, the Liar Sentence says the following: "This sentence is false". This immediately leads us into a paradox, for if the sentence is false, then the sentence is actually true (because it says that it is false). But if the sentence is true, then it is actually false (because it says that it is false). So the sentence seems to be both true and false.


One might think that the Noneist can accompany the Liar Sentence by locating it in the appropriate Impossible World, but this does not help matters because the Liar Sentence is surely a part of the Actual World, and the Noneist (like the Meinongian) does not allow for contradictions to inhabit the Actual World.

This where Radical Noneism comes in. As I mentioned earlier, Radical Noneism is exactly like Noneism, except that it holds that the Actual World is inconsistent. By doing this, it is able to accept that the Liar Sentence is both true and false in the Actual World. This means that Radical Noneism provides a uniform solution to the paradoxes of self reference, since they all have essentially the same logical structure as the Liar Sentence

Now Radical Noneism has one big limitation, namely, it does not provide a solution to the Paradoxes of Implication. However, dealing with these paradoxes takes us outside of the realm of object theory. In particular what is needed is a Relevant Logic, and in particular a Deep Relevant Logic (since the main systems of Relevant Logic do not solve Curry's Paradox).


So to conclude, we can see the appeal of all 3 of these theories. They are all very powerful and work very effectively in areas where mainstream philosophical theories have considerable difficulties. However, it is my opinion that Radical Noneism is the best of the 3. Radical Noneism, duly combined with a Deep Relevant Logic, promises to be a universal paradox solver and that cherished goal of many Philosophers, a true theory of everything.

Beginning the Fifth Corner of Four

I have begun reading the new book by Graham Priest called The Fifth Corner of Four. This book covers both Buddhist Logic and Metaphysics, and particularly the philosophical import of the Catuskoti. The Catuskoti, for those who don't know, is a principle within Buddhist logic that allows for any proposition to have one of four values: True only, False only, Both True and False, and Neither True nor False.

Of course, in all the Aristotle-related systems of Logic (such as Classical Logic) only the first two cotis would be considered live options. This means that any attempt to interpret the Catuskoti from such a framework will be doomed to failure. However, we can very easily capture the logical structure of the Catuskoti by appealing to the simple Relevant Logic called FDE ('First Degree Entailment').


Now, where the title of the book comes in is to explain certain rather odd passages in the Buddhist literature which seem to indicate that the Catuskoti is not applicable to certain questions concerning the nature of ultimate reality. These passages can obviously not be captured by using FDE, but as Graham Priest has alluded to in previous work, we can adequately capture them by adding a fifth, 'Bochvar-style' truth-value to our system. The main effect that this has on the deductive capacity of the apparatus is to invalidate the rule of Addition (although there is a way that we can regain a variant of this rule with some suitable refinements).

I am very interested to see how this work will turn out. However, what I am particularly interested to know is what is the correct system of Relevant Logic to capture the higher-degree inferences of Buddhist philosophy. We can see on the Stanford Encyclopedia of Philosophy article for Logic in Classical Indian Philosophy that:

"Many of the arguments formulated in these texts correspond to such well recognized rules of inference as modus ponens (i.e., from α and α→β, one infers β), modus tollens (i.e., from ¬β and α→β, one infers ¬α), disjunctive syllogism (i.e., from ¬α and α∨β, one infers β), constructive dilemma (i.e., from α∨β, α→γ and β→γ, one infers γ), categorical syllogism (i.e., from α→β and β→γ, one infers α→γ) and reductio ad absurdum (i.e., if something false follows from an assumption, then the assumption is false)."

Of course, the minimal system needed to capture these rules of inference is N* coupled both with a Reflexive accessibility relation on at least the actual world, and with an Intensional Disjunction to accommodate Disjunctive Syllogism. I am particularly interested to know whether the Buddhist logicians would have accepted the principles of Prefixing and Suffixing, and thus the Relevant Logic B.

However, it really remains to be seen whether they would have accepted the Exported form of Categorical Syllogism. One would hope not, since that would lead to the problem of incompleteness in the Routley-Meyer semantics.

The Type/Token Distinction

I just read an article by the Philosopher David Schmidtz called "Are All Species Equal?" and I came across an interesting observation about the mindset of Speciesists. Here is the context of the remark:

Assume that some Speciesist, when pressed to give the relevant property that demarcates humans as having moral status and animals as not having moral status, says that rationality is just such a property. I think all vegans know the proper response, for we would point out the fact that individuals within the human species widely differ in the intelligence that they possess. Some humans have a very high level of intelligence, whilst other have a low level of intelligence. Indeed, some humans have such a low level of intelligence that they are on par with the other animals. We would then point out that, in order to avoid hypocrisy, the Speciesist should affirm that these low intelligence humans do not have moral status.

This is where Schmidtz's observation comes into play, for he points out that the Speciesist might very well respond by saying that he is not invoking rationality at the token level, but rather at the type level. Now this remark appeals to the type-token distinction. Assume that we have a sentence such as "The raven is an ornery creature." Appearances to the contrary, this sentence is actually ambiguous. It could mean either that:

1. The species of raven is composed of ornery creatures.

2. Some particular raven is an ornery creature.


Interpretation number 1 appeals to  a type of item (i.e. as a class of individuals). Interpretation 2 appeals to a token individual.

Now, the concept under discussion in our example is that of rationality. The Vegan is assuming that the Speciesist is referring to token instances of rationality. But the Speciesist, according to Schmidtz, is actually appealing to a certain type of rationality, namely, the sort of rationality unique to humans.

So what the speciesist is really saying is that the type of rationality unique to humans is what determines the moral status of the human species.

Now this observation by Schmidtz is particularly instructive because it only further strengthens the connections between Speciesism and other exclusionary ideologies like Racism and Sexism. For indeed, there have been numerous examples of dominant groups throughout history using the same sort of reasoning as in our example. In many instances white men have asserted that the alleged type of rationality unique to white males places them on a higher pedestal than women and people of color, and what the Carnist is saying in our example is no different.

So it would seem that no matter how we interpret the Carnist's response to our objection, it still fits in perfectly with racism, sexism, ableism, and other exclusionary ideologies.

Veganism and Subjective Morality

Throughout the history of philosophy there has been a divide between two broad ethical camps; on the one side we have ethical theories which can be broadly categorized as objectivist (Note: This is not at all the objectivism of the Ayn Rand variety). These theories all make the claim that moral statements are either true or false independently of the existence of any subject. On the other side, we have those theories which may be called subjectivist. These theories hold that the truth or falsity of ethical statements depends upon the existence of subjects.

As a concrete example, say that we have an ethical proposition like the following: "Murder is bad." Call this proposition P. An objectivist might say that P is 'objectively true,' and what they would mean by this is that even if there were no subjects at all in existence, P would still be true. The subjectivist, on the other hand, might also say that P is true, but this is the case only when he is existing. If he were to go out of existence, then P would no longer be true.

Now, as you might very well imagine, this split has shown up within veganism as well, for there have been both objectivist vegans (including Tom Regan and Gary Francione) and subjectivist vegans (including the early Peter Singer, and both Vegan Gains and Ask Yourself on YouTube). This had led to several different and interesting approaches to veganism.

I fully recognize that one can coherently hold to both veganism and to moral subjectivism, but I have some serious reservations about the usefulness of the subjectivist approach for vegan activism, and I would like to explore these reservations briefly.


To begin, we should note that the activist strategy for objectivists will most likely differ from that of subjectivists. If the objectivist wants to promote veganism, then he will most likely express to his interlocutors that they have moral obligation to go vegan. This will be the case because he will hold both that veganism is objectively obligatory, and that it is also objectively obligatory for us to follow the moral law.

However, the moral subjectivist cannot use the same sort of approach. This is because, while the moral subjectivist might very well subjectively believe that veganism is the right approach to life, his interlocutor might not feel the same way. So the only real option that the subjectivist has at this point is to probe the ethical beliefs of his interlocutor and try to do one of two things:

1. Find a contradiction in his interlocutor's ethical system.

2. Demonstrate that the carnists' ethical beliefs have certain implications that most people would regard as either absurd or highly offensive.

If the vegan manages to succeed with the first strategy, that is all well and good. But let us assume that the carnists ethical position is consistent, but that it has some untoward consequences. I feel that this is especially problematic because the effectiveness of this tactic is wholly contingent on the majority opinion of humanity. We might very well imagine that our subjectivist vegan has demonstrated that the carnists ethical system implies that it is morally acceptable to kill and eat marginal humans. This might very well turn many people away from the sort of system advocated by the carnist and closer to a vegan position, but perhaps it won't. What is more, it could have been the case that the vast majority of people in the world believe that it is morally virtuous to kill and eat marginal humans.

If this were the case, and if the subjectivist vegan did show that the carnists ethical system had this sort of implication, then this would only serve to turn the peoples attention away from the vegans position and towards the carnists position.

So that is why I am quite hesitant with regard to a subjectivist meta-ethic. I don't think for a moment that my observations in this post have conclusively demonstrated the ineffectiveness of that sort of meta-ethic, so I would like to know if there might be another way for the subjectivist vegan to proceed.

As well, I fully recognize that I have also not shown the objectivist meta-ethic to be correct, but that is a topic for another time