Scott Mayers wrote: ↑Thu Jan 21, 2021 9:43 pm
Proof that you cannot recognize CONTEXTUAL reflection of my point. If you embrace being "inconsistency' of the necessary minimal laws, then stop being hypocritical by using more than 26 letters and 5 or so punctuation rules. Why would it matter if you said,
jllkdjghohfdj dkl eoth
Given you think that this CAN 'mean' something by SOME measure of inconsistent structure? Thus, you missed the point.
I missed your point then. I am missing your point now.
All you are proving is that you are failing to make your point.
Scott Mayers wrote: ↑Thu Jan 21, 2021 9:43 pm
YOU are the confused one. If you want to get technical, speak on the machine level of some given architecture. Prove to me further that you understand the literal electronic engineering that goes into computer logic. A higher order logic is cheating when we are discussing metalogical rules.
That you continue speak of rules (which are 100% arbitrarily chosen by humans) when we speak about logic is nothing but indication of your confusion.
I am not talking about the rules of logic - it doesn't have any!
I am talking about the logic of rules. The reasons behind constructing logical systems. The reason for choosing the rules/axioms that you choose for your logical system.
Logic is just symbol manipulation! How you manipulate those symbols, why you manipulate those symbols and the rules according to which you choose to manipulate those symbols are ENTIRELY UP TO YOU!
There is no difference between logic and metalogic! That's literally how
meta-circular evaluators work work! They use the same host AND meta language!
Scott Mayers wrote: ↑Thu Jan 21, 2021 9:43 pm
If you cannot do this, use some explicit system's rules that you find breaks those metalogical rules.
There! Are! No! Metalogical! Rules!
The Universal Turing Machine is a blank slate UNTIL you program it.
Scott Mayers wrote: ↑Thu Jan 21, 2021 9:43 pm
That is, show me directly that you know what you are talking about by LISTING a set of propositions, definitions, and undefined terms of a specific logic that you are implying works. Then I can point to where those metalogical rules still require existing.
The meta-logical rule you are appealing to is called "choice"!
I choose the propositions.
I choose the definitions.
I choose the terms.
I choose the rules.
I choose the axioms.
I choose the operators.
Scott Mayers wrote: ↑Thu Jan 21, 2021 9:43 pm
I already KNOW what you mean and my own attempt at setting up what you think is something that I am doing. I only have to use those given laws
There are no given laws! Humane MAKE laws.