M.D. Rawlings
Classical Liberal
Constructive/Intuitionistic logic 101
No. Let me point something out to you. Neither organic logic nor any additional/alternative forms of logic are in and of themselves philosophy. They're tools used by scientists, philosophers, theologians, engineers, mathematicians, linguists. . . . The fundamental nature of philosophy is the indispensable business of metaphysical definition premised on the delineations of the organic principle of identity. Unlike the vast majority of system-building philosophy, What is it? can be objectively and universally weighed, tested or falsified as it most immediately goes to conceptualization and linguistics. As for as system-building philosophy goes . . . if it's not directly based on natural law as delineated by the principle of identity and affirmed by scripture: I've got no use for it.
What you have failed to share with the others as you make this assertion for the third time is that the identity of constructive logic is an artificial analytic tool predicated on the organic principle of identity, as any other form of logic must necessarily be, that merely precludes double negation elimination and the law of the excluded middle from its set of axioms.
Ultimately, it's a microcosmic, alternate-world-model of logic within the macrocosmic real-world-model of organic logic. Notwithstanding, it’s a very useful tool as it provides a means of evaluating propositional formulations in terms of direct evidence about the real world. Also, in alternate-word mathematics, especially, this model serves to amplify organic logic's power in very much the same way that various technologies amplify our senses. It also provides an alternative way of looking at the real world that can divulge new possibilities, albeit, from a negative perspective that goes to some real-world positive.
The foundational law of the principle of identity, the discrete law of identity as considered separately from its elaborations, and the law contradiction still operate. It cannot be otherwise. But instances of excluded middles or double negation eliminations cannot be generally demonstrated, only discretely demonstrated.
In organic logic, the major premise of the transcendental argument (MPTA), for example, is assigned a truth value as it's inhabited by its own objectively demonstrable proof: it cannot be falsified, as any counterargument necessarily presupposes it to be true. God exists! The principle of identity, the foundation of knowledge, universally applies! For its logical proof is unassailable.
But in constructive logic it cannot be assigned a truth value in terms of ultimacy because the substance of its Object does not assert any direct material
evidence, only inferential evidence, namely, the cosmological order, and the inferentially apparent synchronization of our minds the cosmological order's properties and mechanisms (more on this vital distinction below). In other words, we've all been talking about the MPTA in terms of constructive logic all along, most of you unawares. Instead, the MPTA would be assigned an unknown truth value, as it' not inhabited by a proof of direct evidence. It would be regarded as being valid, though not in the same sense as in organic logic, until it was disproved by direct evidence or by deducing a contradiction.
In other words, the MPTA cannot be falsified in either of the respective worlds of logic, but for different reasons.
As I said before, because the principle of identity, which is the basis of the MPTA, is organic, one can never escape it or opt out of it. In fact, even in doing constructive logic, one is never actually not aware of the law of the excluded middle or double negation elimination. We simply enter into a world of logic where those aspects of organic logic are not presupposed to be axioms.
An analogy that assumes God's existence in terms of ultimacy for the sake of illustration:
In short, QW has never really been alluding to anything that constitutes a game changer as far as the principle of identity is concerned. He's simply making the very same rather unremarkable observation that all of us with an IQ above that of a gnat have made all along: the existence of God, beyond the rules of logic and evidence of the organic principle of identity, is not demonstrable/provable in terms of ultimacy, as the proofs for God's existence are based on inferential evidence, not direct evidence, in spite of the fact that the cosmological order arguably constitutes direct evidence under the terms of organic logic.
As for the vitally important distinction in the above: the organic laws of logic (comprehensively, the principle of identity) evince two distinct levels of being.
One of them is a scientifically falsifiable: the laws of human apprehension/thought are intrinsically organic or universally hard-wired by nature in our brains. Most scientists and philosophers hold this to be true. Hence, in constructive logic this would be assigned a truth value.
The other is a theological proposition: the laws of human apprehension/thought are ultimately grounded in God, as He is universal the Principle of Identity on Whom they are contingent. Ultimately, this is the reason for the apparent synchronization of the rational forms and logical categories of human consciousness with the rest of the cosmological order. This proposition, of course, would only be assigned a valid, might or might not be true value in constructive logic until disproved by direct evidence or by deducing a contradiction.
That's not what I said. My opinions don't have primacy over the principle of identity or over the ground of existence. You seem to think your opinions do without a shred of evidence.
I think no such thing. I keep pointing out that you philosophy is incomplete because you insist that untested assumptions from classical logic trump newer schools of logic that acknowledge that it is actually possible to tell the truth and still be lying.
No. Let me point something out to you. Neither organic logic nor any additional/alternative forms of logic are in and of themselves philosophy. They're tools used by scientists, philosophers, theologians, engineers, mathematicians, linguists. . . . The fundamental nature of philosophy is the indispensable business of metaphysical definition premised on the delineations of the organic principle of identity. Unlike the vast majority of system-building philosophy, What is it? can be objectively and universally weighed, tested or falsified as it most immediately goes to conceptualization and linguistics. As for as system-building philosophy goes . . . if it's not directly based on natural law as delineated by the principle of identity and affirmed by scripture: I've got no use for it.
What you have failed to share with the others as you make this assertion for the third time is that the identity of constructive logic is an artificial analytic tool predicated on the organic principle of identity, as any other form of logic must necessarily be, that merely precludes double negation elimination and the law of the excluded middle from its set of axioms.
Ultimately, it's a microcosmic, alternate-world-model of logic within the macrocosmic real-world-model of organic logic. Notwithstanding, it’s a very useful tool as it provides a means of evaluating propositional formulations in terms of direct evidence about the real world. Also, in alternate-word mathematics, especially, this model serves to amplify organic logic's power in very much the same way that various technologies amplify our senses. It also provides an alternative way of looking at the real world that can divulge new possibilities, albeit, from a negative perspective that goes to some real-world positive.
The foundational law of the principle of identity, the discrete law of identity as considered separately from its elaborations, and the law contradiction still operate. It cannot be otherwise. But instances of excluded middles or double negation eliminations cannot be generally demonstrated, only discretely demonstrated.
In organic logic, the major premise of the transcendental argument (MPTA), for example, is assigned a truth value as it's inhabited by its own objectively demonstrable proof: it cannot be falsified, as any counterargument necessarily presupposes it to be true. God exists! The principle of identity, the foundation of knowledge, universally applies! For its logical proof is unassailable.
But in constructive logic it cannot be assigned a truth value in terms of ultimacy because the substance of its Object does not assert any direct material
evidence, only inferential evidence, namely, the cosmological order, and the inferentially apparent synchronization of our minds the cosmological order's properties and mechanisms (more on this vital distinction below). In other words, we've all been talking about the MPTA in terms of constructive logic all along, most of you unawares. Instead, the MPTA would be assigned an unknown truth value, as it' not inhabited by a proof of direct evidence. It would be regarded as being valid, though not in the same sense as in organic logic, until it was disproved by direct evidence or by deducing a contradiction.
In other words, the MPTA cannot be falsified in either of the respective worlds of logic, but for different reasons.
As I said before, because the principle of identity, which is the basis of the MPTA, is organic, one can never escape it or opt out of it. In fact, even in doing constructive logic, one is never actually not aware of the law of the excluded middle or double negation elimination. We simply enter into a world of logic where those aspects of organic logic are not presupposed to be axioms.
An analogy that assumes God's existence in terms of ultimacy for the sake of illustration:
From this side of heaven, under the rules of organic logic, God exists! But under the rules of constructive logic/mathematics, God might or might not exist. But the observer beyond this mortal coil can safely assert that God exists under the rules of both organic and constructive logic, as he has direct evidence, not merely inferential evidence.
In short, QW has never really been alluding to anything that constitutes a game changer as far as the principle of identity is concerned. He's simply making the very same rather unremarkable observation that all of us with an IQ above that of a gnat have made all along: the existence of God, beyond the rules of logic and evidence of the organic principle of identity, is not demonstrable/provable in terms of ultimacy, as the proofs for God's existence are based on inferential evidence, not direct evidence, in spite of the fact that the cosmological order arguably constitutes direct evidence under the terms of organic logic.
As for the vitally important distinction in the above: the organic laws of logic (comprehensively, the principle of identity) evince two distinct levels of being.
One of them is a scientifically falsifiable: the laws of human apprehension/thought are intrinsically organic or universally hard-wired by nature in our brains. Most scientists and philosophers hold this to be true. Hence, in constructive logic this would be assigned a truth value.
The other is a theological proposition: the laws of human apprehension/thought are ultimately grounded in God, as He is universal the Principle of Identity on Whom they are contingent. Ultimately, this is the reason for the apparent synchronization of the rational forms and logical categories of human consciousness with the rest of the cosmological order. This proposition, of course, would only be assigned a valid, might or might not be true value in constructive logic until disproved by direct evidence or by deducing a contradiction.