The Historian of Logic comments:
It seems to me that what you call the ‘Discursive Framework’ is what I and others call ‘logic’, and that it reflects a Kantian view of logic that prevailed before Russell and Frege, namely that logic reflects the ‘laws of thought’ only. Are you mooting the possibility of beings which defy conception under these laws, or realms where the laws do not apply?
I was re-reading Kant’s Logic last week and it is full of this stuff.
Logic. I would define logic as the normative science of inference. Science: scientia, study of. Inference: the mental process of deriving a proposition (the conclusion) from one or more propositions (the premises). Normative: logic is not concerned with how people think as a matter of fact, which is a concern of psychology, but with how they ought to think if they are to arrive at truth and move from known truths to further truths. The task of logic is to set forth the criteria whereby correct inferences may be distinguished from incorrect inferences.
The above definition is neutral with respect to any number of ontological questions. Thus I used 'proposition' above innocuously without presupposing any theory as to what propositions are. I spoke of inference as a mental process, but this too is innocuous inasmuch as one could be a mind-brain identity theorist and agree with me about logic. (But if you are an eliminativist about the mental, then you 'get the boot': it is a Moorean fact that there are inferences.)
Discursive Framework. This is not the same as logic, pace the Historian, even though it does contain such logical principles as LNC and LEM, and indeed the whole of standard logic. (We can argue about 'standard' in the ComBox.) The DF also contains principles that are not strictly logical -- they are not logical truths -- but are better classifiable as metaphysical, as propositions of metaphysica generalis. Examples:
a. Everything exists: There are no nonexistent items. Pace van Inwagen, the negation of this is not a logical contradiction.
b. Everything has properties. (Partisans of bare or thin particulars do not deny this.)
c. Nothing has a property P by being identical to P. (The 'is' of predication is not assimilable to the 'is' if formal identity.)
d. Principles of logic, such as For any x, x = x, are not just true of objects of thought qua objects of thought, but are also true of mind-independentally real items. Thus the principles of logic are not merely principles of thought but principles of reality as well. Not merely logical, they are also ontological. There is a jump here, from the logical to the ontological, that Aristotle was aware of. With that jump comes the problem of justifying it.
e. The thinking of ectypal intellects such as ourselves is necessarily such as to involve a distinction between subject and predicate. There are no simple thoughts/propositions if by that we mean thoughts/proposition lacking sub-propositional structure. Every proposition is internally structured, e.g. Fa, Rab, (x)Fx, etc.
Laws of Thought but No Psychologism. Kant, Husserl, and Frege all rejected psychologism in logic. Are the laws of logic laws of thought? Yes, of course. What else would they be? But this is not to say that they are laws of human psychology. They are laws that govern the thinking of any actual or possible ectypal intellect. They might also be laws of reality, all reality, with no exceptions. But surely it would be uncritical simply to assume this. It wants proof, or at least argument. As I said, Aristotle had already seen the problem.
Are you mooting the possibility of beings which defy conception under these laws, or realms where the laws do not apply?
Yes, that is what I am doing, although I wouldn't speak of beings. That's plural, and the singular-plural distinction is part and parcel of the Discursive Framework. My aim is to make philosophy safe for mysticism. My aim is to show that while remaining in philosophy, in the DF, one can come to descry the 'possibility' of a, or rather, THE transdiscursive realm. I deny that the via negativa is the road to nowheresville or u-topia.
I am not attempting anything new; the novelty is merely in the way I go about it. And there is nothing illogical about it. Or can you find non sequiturs or other strictly logical mistakes in the above or in recent cognate posts? If there is a suprarational realm would it not be sloppy thinking, and thus 'illogical,' to assume that it must be infrarational?
Nothing new: we have seen this sort of thing in the Far East in Buddhist schools like that of Nagarjuna and in Taoism; in the ancient and medieval Western world, e.g., Pseudo-Dionysus the Areopagite, and in the modern period with Kant and then again in the early Wittgenstein.
The Doctrine of Divine Simplicity (DDS) Helps Focus The Issue. Duality is unavoidable on the discursive plane. To think is to judge, and to judge at the most basic level is to judge of a that it is or is not F. At a bare minimum, then, there is the duality of subject and property. (Brentano transformations of predications into existential sentences avail nothing: the duality of existence-nonexistence remains.) As I said above, no thought/proposition, no content of an act of thinking, is simple. But God is simple according to DDS. He is identical to his attributes, which implies that each attribute is identical to every other one. If he weren't then he would be dependent on his attributes for his nature, and he would not be the absolute reality. He could not possess aseity. He could not be uniquely unique. If God were unique only in the sense that he is necessarily one of a kind, then he would one of a class of such beings, and a greater could be conceived, namely, a being uniquely unique, i.e., unique in the sense of transcending the very distinction between instance and kind.
Now if God is simple, then how can our talk and thought, which is necessarily discursive, be literally true of him? One response is that God talk is literal but analogical. This needs exploring in a separate post. But if we cannot accept the doctrine of analogy, then the simple God lies entirely beyond the DF.