I am pretty busy with my life, right now, but when I have time, I plan on writing a blog post that tackles it. I'm going to give a little blurb, until then, though. Pretty much, definitions are tautological in such a way that they give necessary conditions(intensionality) for something to be that thing where extensional members are sufficient to be placed within that set(extensionality). Different paradigms within magic are sufficient; however, they are not necessarily true. This means there exists no deductive proof which means one cannot derive a theorem. There can be no overarching metaphysical theory for magic because issues with the definition of "What is magic?". When people answer this question, they list sufficient things that don't necessarily hold true. If I say that a two-dimensional square has four sides of equal length, then I can deductively prove that a triangle is necessarily not a square. We can't do this with magic, because a tautological definition of it that addresses what is necessary has not been fleshed out. A deductive issues is the problem.corvidus wrote: My post is off topic, but you've made me curious. I'd be interested in hearing your reasons (maybe in another thread) as to why you think there can be no theory for magic.
Science does not suffer from this problem, because theories are couched inductively within an unbounded probability space per empirical observations whereas magic is metaphysical, and in being metaphysical, you end up dealing with deduction. Metaphysics says that is an x whereas Science says that is probably an x from what we can currently see but we don't have an exhaustive list of what is necessary for that thing to be an x.
I made my comment to pretty much state I am not going to make a categorical syllogism referring to incubus and succubus because it is not logically possible, so I cannot and will not try to draw up an exhaustive list of the nature of incubus.
For example, a lot of people who practice theurgy take a definition partially derive from the Keys of Solomon:
Here is the problem, though. While I can say that is sufficient to be called magic, is it the case that all magic necessarily be this? The answer is no. This isn't to say that this definition is not sufficient, rather, I am saying it is not necessary. A lot of the fighting you see among different magical paradigms has to do with presupposing that their particular tradition is what is required for something to be considered "real magic", but logically, they are simply sufficient; therefore, there is no definition which fits the requirements that allow a theorem to be drawn up in that the intensional aspects of a term bear the connoted aspect of it. In other words, I can give a listing of all the different magical paradigms out there(that is called an extensional definition), however, I could not state what is necessary for those things to be considered magical. I only know when to label these things in a sufficient sense that is pragmatic.MAGIC is the Highest, most Absolute, and most Divine Knowledge of Natural Philosophy, 1 advanced in its works and wonderful operations by a right understanding of the inward and occult virtue of things; so that true Agents 2 being applied to proper Patients, 3 strange and admirable effects will thereby be produced. Whence magicians are profound and diligent searchers into Nature; they, because of their skill, know how to anticipate an effort, 4 the which to the vulgar shall seem to be a miracle.
Intensional DefinitonIn logic and mathematics, an intensional definition gives the meaning of a term by specifying all the properties required to come to that definition, that is, the necessary and sufficient conditions for belonging to the set being defined.
For example, an intensional definition of bachelor is "unmarried man". Being an unmarried man is an essential property of something referred to as a bachelor. It is a necessary condition: one cannot be a bachelor without being an unmarried man. It is also a sufficient condition: any unmarried man is a bachelor.[1]
This is the opposite approach to the extensional definition, which defines by listing everything that falls under that definition – an extensional definition of bachelor would be a listing of all the unmarried men in the world.