Skepdick wrote: ↑Mon Sep 23, 2019 8:29 am
FlashDangerpants wrote: ↑Sun Sep 22, 2019 11:43 pm
Or it may be the other way round, and formal logic can be seen as an attempt to recreate what is largely natural and common sense in a manner that suits the psychological needs of some subeset of humanity that cannot cope with ambiguity very well or else has domain specific needs for certain levels of precision. Thus you get yourselves all bound up worrying about various paradoxes that are creations of the strict logics you imprison yourself within, and then escape those with silly ideas about contradictions being valid and sound (even though they make a mockery of validity and soundness).
Do you not see the irony in all this? To "cope with ambiguity" is precisely the ability to overlook contradictions! Ambiguity in syntax, grammar and semantics is what causes contradictions. Language is ambiguous.
Formal logic is merely a tool to study language by idealising it. In that regard it has inherited all of language's problems. The most serious error of all being treating language as ontological.
The point from all this: If a precise formal language cannot escape contradictions/paradoxes then an imprecise language can't avoid them either! Contradictions are part of language and our brains do an amazing job at sweeping all that stuff under the carpet.
Not actually ironic, sort of part of my point. Although ambiguity is only one source of contradictions, and I'm not sure it's the most important, I certainly see no reason why we should limit oursleves to that one alone.
When we find contradictions within the evidence a witness presents to a court, we don't blame it all on the vaguaries of some picture model of language, and we don't call Aristotle a fool and just the guy be innocent AND guilty, instead we seek to resolve the contradictions. This seems like the better option in my humbles. It is thus with the vast majority of philosophical argument also.
When you engage in formal logic, and all the propositions a merely asserting P or not P, it might make every possible bit of sense there to just assume true contradiction in pursuit of some locally desirable meta-logic that skips the dirty business of resolution. But the rest of us have contexts, we aren't asserting some hyper neutral P.
Skepdick wrote: ↑Mon Sep 23, 2019 8:29 am
FlashDangerpants wrote: ↑Sun Sep 22, 2019 11:43 pm
You have created a special tool to get yourself out of holes that only persons using your other broken tools could ever end up in, and now you are telling me I have to use that tool for a problem I don't have.
Obviously, a problem overlooked is a problem not had!
The broken tool is Language itself. Logic is a tool created to study the broken tool. And you "don't have that problem" because you are intuitively using para-consistent logic, not a strict consistent logic.
You are more tolerant of contradictions than you claim to be - you actually ignore very many of them. Consciously or subconsciously - I can't possibly know that.
Some contradictions are immaterial, I try to only take an interest in the ones that affect an outcome, I assume I make mistakes in this regard sometimes.
Some pursue weak contradictions for deflective purposes - a favourite tactic of Immanuel Can for instance, who once took immense umbrage at my use of the phrase 'culture wars', mysteriously failing to ever notice the sentence within which it had beeen written... apparently it's not an actual war, and not cultural enough for him. A more common use of immaterial contradictions by far would be Veggie's obsessive 'whataboutism', whereby no point ever presented by any American is ever valid, because of some bombs their country dropped on the Middle East.
But there are other contradictions I don't need to deal with because they genuinely aren't my problem. Russell's Paradox is absolutely not an issue for me, I have never once worried about whether 1+1 can be proven to equal 2, it's tautologous, so I don't need special tools to deal with any contradictions that formal logic arrives when it attempts to prove that tautological information is true.
Skepdick wrote: ↑Mon Sep 23, 2019 8:29 am
FlashDangerpants wrote: ↑Sun Sep 22, 2019 11:43 pm
Contradictory statements are not in agreement with each other.
English is para-consistent, it's not contradiction-free so your claim above is an uninteresting dichotomy.
Dichotomy? I was simply explaining why there is no choice in the matter of whether contradictory statements are disagreeing with each other.
Skepdick wrote: ↑Mon Sep 23, 2019 8:29 am
FlashDangerpants wrote: ↑Sun Sep 22, 2019 11:43 pm
If you don't agree with me, contradict away, and see if it helps.
Obviously it's not going to help, but that's hardly the point.
Am I really contradicting you or am I merely pointing out that you contradict yourself?
And it was your own claim that "If you can't agree with yourself why should I agree with you?", so I can trivially dismiss you then?
I know that I can trivially force you into contradicting yourself by engineering a question that (if answered) will lead to a contradiction. And so goes the game...
I know that I can do this on command. By the principle of charity - I assume you know this too.
Am I being too charitable in assuming this, or is this one of those *wink*wink* *secret handshake* moments?
You can tell me I am contradicting myself if you want, but this is a show-don't-tell sort of game. I might have given myself an out with the materiality angle anyway. Otherwise I might have screwed up royally, which is always fun.
You can sort of force me to contradict myself within some artificial logic game where the rules require me to accept some self evidently absurd proposition, but the prize might not impress. The most likely outcome would be that I would cheerfully accept that because not all anteaters are named Keith, therefore Age is the smartest guy I have ever met. I will absolutely let you have one of those if that's the direction we're headed in.
Skepdick wrote: ↑Mon Sep 23, 2019 8:29 am
FlashDangerpants wrote: ↑Sun Sep 22, 2019 11:43 pm
I think you have proven less than you have convinced yourself of. I have noticed that you have a vendetta against the LNC for some while, but it wasn't of great interest to me as I am not bound up in formal logic.
See... The above is a contradiction from where I am standing, but instead of flat out dismissing you i can simply say this.
You may not be bound by a formal logic, but you are bound by a logic or logics (that you aren't aware of). And you seem unaware whether the logic you are bound by is consistent, para-consistent or dialethistic (and perhaps you don't even know what the difference is).
My vendetta is not against the LNC. It's against its (mis?)interpretation. At the very least you have chosen to bind yourself by the LNC itself, and a contradiction means different things in different logic-systems. There is more than one way to interpret and react to that which has been defined as a contradiction.
Sometimes I am clumsy, and invariably if you stick with it I will run out of steam if you are persistent (offer not available to anybody I have some burning desire to annoy), so you might be able to make that stick, at least against me. But I am just a stand-in here. To properly test your claim you would need to find a decent ordinary language philosopher to take this up with, somebody who is winging it less than I do.
I guess if I am to give it a go, the gist would be that the public shared concept of contradiction, consistency and so on are not really something that can be contained by something like ∼(A&∼A) or any variation thereof. These concepts are defined and constrained entirely by how they are used in living discourse. Where we find common language unsuited for our technical use cases, we often find ways to devise terms of art that express wildly different ideas to those of our wider shared language. But in truth, when you try to explain them, you will be frustrated by their lack of applicability beyond the boundaries of that language game. It's always fun to try though.
Skepdick wrote: ↑Mon Sep 23, 2019 8:29 am
FlashDangerpants wrote: ↑Sun Sep 22, 2019 11:43 pm
If I am dumb enough to allow you to impose some theory of language derived from MIT's comp-sci labs, that first assumption might work for you. Otherwise, it looks overambitious.
I am not imposing anything. I am pointing out that the choice exists for you.
Interpret any argument weakly and contradictions disappear.
Interpret any argument strictly and contradictions appear.
If you were smart enough you would recognize that. Hence my claim "if you choose to be persuaded - then you will be."
(Mis?)interpretation reduces to choice.
Yeah, my ego isn't particularly fragile so the if your'e smart enough line is more one to fling at Handjob7.
I think my current point is that the choice you prescribe is a mirage. I could choose to immerse myself in formal logic and adopt the conventions of language that allow P and not P to contradict without conflict in that context, but if I then try to make that understood in natural language, I would run into the emergency contradiction that I could only say such a thing if it were untrue.
Skepdick wrote: ↑Mon Sep 23, 2019 8:29 am
FlashDangerpants wrote: ↑Sun Sep 22, 2019 11:43 pm
The second looks absurd, are you about to do a 1 = 0 routine on me?
Now look who's blurring the lines between precise formalisms and language
Give me an ambiguity and I will give you a contradiction. And the "=" sign is very ambiguous in Mathematics.
https://ncatlab.org/nlab/show/equality#DifferentKinds
What seems "absurd" to you reduces to your own conception of "sufficient proof". I can prove 1=0 via
ex falso quodlibet .
It doesn't mean you will accept my proof, even though the LNC compels you to.
Which, once again, demonstrates that persuasion is more about understanding your interlocutor's interpretation, than understanding your own argument.
I'm sure you can prove that 1=0, but this does not contradict my position. The real trick is to do this with something other than maths or formal logic, as I have consistely assumed you can do such things in those contexts.
Skepdick wrote: ↑Mon Sep 23, 2019 8:29 am
FlashDangerpants wrote: ↑Sun Sep 22, 2019 11:43 pm
I think you have taken my reference to persuasion a little too much to heart. A philosophical arg should have persuasive power in the sense that if some propositions are true, then a consequence is true, , and some stuff is thereby shown to be the case, while other stuff is shown not to be the case.
Ok, but it's not clear why any such argument ought to persuade me. There are any number of premises which can lead to the exact same conclusions/consequence from all sorts of varying premises.
And it's not exactly clear to me who, where or how it has been mandated that one MUST start with premises then arrive at conclusions, and why it shouldn't be done the other way around.
This is exactly why I pointed to reverse mathematics/comprehension. Start with true conclusions then seek true premises. It's how justification works, and it is also how pragmatists think. I need not justify my desires - I need only articulate them to others.
In fact (and in so far as I can tell)
From Premises to Conclusions is the way epistemic
foundationalists think (e.g Mathematicians)
From Conclusions to Premises is the way epistemic
coherentists think (e.g Reverse Mathematicians)
Premise and conclusion is a conceptual relationship that involves a very important instance of of "therefore". If that last thing is needed for the argument then writing them in reverse order seems to make little difference to me, but I am happy to see examples.
Investigation from true conclusion to true premise is I am sure a very useful idea, however the entire religion subforum is dominated by people who think they are doing exactly that. The atheists then argue their impossible to prove case in terms that other atheists find highly persuasive, while the various God botherers prove exactly the opposite with identically impressive results.
Beyond tautologies, I'm not sure how many strictly true conclusions are to be found that somehow need supporting argument.