The author seems to attack logical and rational thinking a lot, however, their argument is not convincing.
"But I think Impostor Syndrome is valuable. The people with Impostor Syndrome are the people who aren't sure that a logical proof of their smartness is sufficient. They're looking around them and finding something wrong, an intuitive sense that around here, logic does not always agree with reality, and the obviously right solution does not lead to obviously happy customers, and it's unsettling because maybe smartness isn't enough, and maybe if we don't feel like we know what we're doing, it's because we don't."
Most importantly, consider the quote "logic does not always agree with reality". Logic neither agrees nor disagrees with reality. Logic itself is flawless, but the assumptions you put into it can be wrong. The problem is not with thinking logically, thinking logically is good. Rather, it's an issue with holding incorrect assumptions.
Leaving aside the problem of defining smart, the claim, then, is that the smarter you are, the more false assumptions you hold. That's quite a bold claim. It needs a lot more evidence than personal anecdote for me to accept.
There is no quote that "the smarter you are, the more false assumptions you have". I can't even find the words false or assumption in the article. You are strawmanning or reading incorrectly.
This is what he says:
> Here's the problem. Logic is a pretty powerful
> tool, but it only works if you give it good input.
> As the famous computer science maxim says,
> "garbage in, garbage out." If you know all the
> constraints and weights - with perfect precision
> - then you can use logic to find the perfect
> answer. But when you don't, which is always,
> there's a pretty good chance your logic will lead
> you very, very far astray.
My personal experience in life has been that this is the case. No matter how much I have studied, it's not possible to logic your way out of insufficient or misperceived data which in most domains other than programming is the rule.
I've also experienced the same over-confidence of logical thinkers kept in bubbles - they adjust to the quantity and correctness of data they have in one part of their life and then use logic and cognitive biases to rationalise the outcomes they have in life.
> My personal experience in life has been that this is the case. No matter how much I have studied, it's not possible to logic your way out of insufficient or misperceived data which in most domains other than programming is the rule.
> I've also experienced the same over-confidence of logical thinkers kept in bubbles - they adjust to the quantity and correctness of data they have in one part of their life and then use logic and cognitive biases to rationalise the outcomes they have in life.
Well if they use logic then they are dumb, not smart. Centuries ago we've invented better tools called statistics and probability theory that are designed to deal with uncertain and incorrect data, and do this job optimally, as opposed to human intuition and cognitive shortcuts humans normally do.
> ... the claim, then, is that the smarter you are, the more false assumptions you hold ...
I disagree, the claim wasn't that smart people are wrong more often. But that smart people, even when they are wrong, are too good at rationalizing their wrongness to ever realize they were wrong in the first place.
Not recognizing you are wrong and heading down the wrong path is a sign of a lack of experience. Experience is what teaches you how to recognize 'wrongness' whether the reason for not recognizing it is rationalization or obtuseness doesn't matter. And a smart person would learn the lessons of this faster and thus suffer from it less in the long run.
As the author was speaking of his experience as a founder, I read his "logic does not always agree with reality" to mean that in an environment of sufficient uncertainty logic is not that useful, because you can think logically as much as you want, but you still cannot predict your environment. No thinking-based solution, be it logic or something else can work if you cannot predict your environment. It does not matter if logic is flawless or not. It is misleading to think about it as putting in the wrong assumptions, rather it is that in an unpredictable environment you cannot know what the right assumptions are.
> No thinking-based solution, be it logic or something else can work if you cannot predict your environment. It does not matter if logic is flawless or not. It is misleading to think about it as putting in the wrong assumptions, rather it is that in an unpredictable environment you cannot know what the right assumptions are.
Of course there is a solution that can do this, it's called probability theory and it was invented exactly for this - for dealing with uncertainty and unpredictability. Moreover, I don't know where this meme that IT people/geeks/smart people use "logic" came from, it's nonsense and it must die now. Reality runs on probability theory, not by high-school logic.
Also I think that those smart people are getting things right, the "curse" seems to me to be partly jealousy of the less smart (so they "those smarter guys are actually dumb" to boost their self-esteem [0]) and partly the fact that many things in this world are actually pointless nonsense that the society cultivates because, well, not everyone is smart. Many people get labeled "geeks" or "introverts" because they couldn't possibly care less about the soap operas average person play out in their lives.
[0] - I've seen this behavior countless of times when objectively better schools, universities, courses, or even TED gets called "elitistic" and thus becomes bad/stupid in the eyes of those who're outside of the "elite" group.
Probability theory is great, but there are still environments that are unpredictable enough that experimentation is the only alternative. Think of science, for example; If probability theory combined with past experience was enough, there would be no point in doing experiments.
Probability theory can only give you the best estimate from the past. If the future is in any way different from the past, for instance because the past gives insufficient information about the process in question, the prediction will still often be wrong, and you are back to experimentation rather than thinking.
Mr. Spock was always illogically neglecting the reality of emotional behavior in humans. I always thought Spock was the most illogical person on the Enterprise.
But look at what they did on ST:Next Generation! They went the other way and replaced him with a psychologist who would proffer such advice as "The Klingons are firing at us, I sense anger."
It also repeates the cliche that emotions are opposed to reason. That's kind of a self-fulfilling prophecy for most people, but it just doesn't have to be that way.
All you have to do is stop repressing your emotions but also stop appeasing them, two opposite sides of the same mistake. Rather you listen to them and treat them as an input and an output just like all other data (except they are special in being both input and output). (In a nutshell---in practice there is a lot more to it.)
> the smarter you are, the more false assumptions you hold.
I read a bit past what the author wrote. I think he observed that smart people in that context externalize blame. This is extremely natural, and something only seasoned individuals learn to avoid. Thinking that a project fails purely for external reasons prevents correction of personal actions on future events. As such, it is better to err on the side of blaming oneself than to err towards blaming the environment.
II personally believe this behavior is pervasive across the entire intelligence spectrum. Personal accountability is something that is socially learned.
> Personal accountability is something that is socially learned.
But the problem arises, when you then need to take things into account which you simply can't anticipate.
Consider this (overly simplified) exampe: I have to choose one out of A, B and C. I know that A is ruled out because of this and this. So I only have B and C as realistic options. I choose C, as it is furthest away from A and I could use this as an reasoning for it to be the safest bet. So, C it is. But then it just happens that for whatever reason C is ruled out too for whatever reason. Thus, by choosing C out of the three, I make no mistake. I had solid reasoning, for all I knew C should have been the safest bet. The fault is not mine, the fault is external.
How can someone ever just suck it up, when they follow a precise, definite and convincing procedure to come to a situation in which external influence just makes it all fail for them? How could there be any personal accountability in an example described above? There is none, the reasons for failure are absolutely out of my control. I can not be held personally accountable (in a philosophical sense, world out there doesn't give a fuck) for things I have had absolutely no way to anticipate.
How could you just go all "Oh well, you should have picked B instead, because had you done so, your choice wouldn't have failed!". Yeah, that's true, but there's nothing to learn about personal accountability there.
Personal Accountability is about more than just admitting you were wrong. Sometimes it's about admitting that you didn't have enough information to make a definite choice. In you hypothetical situation while you didn't do anything wrong you still had something to learn.
If you don't look back and see what information would have allowed you to pick B and instead go oh well, there was nothing I could have done differently. Guess it was just inevitable. You will miss an opportunity to learn and possibly do better next time. That missed opportunity is an example of arrogance in action.
I also think it's ok to look back and believe you made the best decision you could have given the information, and that you simply got it wrong (and that it's ok and understandable). And that while you may have gotten it wrong, going another route still wouldn't have necessarily been the best decision due to risks vs rewards.
Logic is very much flawed in the sense that you can't necessarily model reality using logic, and good paradoxes point out examples (for example look at the torturous "solutions" to http://en.wikipedia.org/wiki/Sorites_paradox ).
And that is a blatant lie. By a famous philosophy professor, no less, which just means it a worse lie.
All statements are true, false, arbitrary, or nonsensical.
Contrary to Priest, a statement can't be true and false. (It can be neither true nor false, by virtue of being arbitrary or nonsensical.)
A self-referential sentence, like "This sentence is false," is simply nonsensical. Famous philosophers have written whole books on the premise that this is an important problem, but it isn't.
Graham Priest would probably gesticulate that I just don't "get it," but no, I do get it. I've read the article, and it's bullshit.
You can define any consistent logic system you want. It would help if you think of "T" and "F" merely as two symbols rather than having semantics that seem familiar to you in the real world. But once you assign the meanings "true" and "false" to those symbols, you venture beyond mathematics into the realm of philosophy (in particular, epistemology). The problem is that while you can define "true" and "false" in a common logic system, taking the same definitions into the real world isn't so smooth. The main problem is that in the real world you don't have axioms -- you have assumptions which might be "true" or "false" (whatever that means once we go beyond our measurement range). This alone pretty much precludes almost everything in the real world from being "true" in the mathematical sense. These assumptions are so pervasive that even the most basic quality, or concept, underlying all of science -- namely, causality -- is a mere assumption. Therefore, your statement "All statements are true, false, arbitrary, or nonsensical" can only be defined to hold in a system of logic, but doesn't necessarily translate into the real world. Mathematically speaking, nothing we know of the physical universe is known to be either true or false. In fact, you can't even conclusively (again, in the mathematical sense) say that two statements about the physical universe contradict, because we don't "know" anything about the physical universe in the same sense as we know something in a mathematical logic system. In short, your opinion is neither true about mathematics (where you can define any system you want) nor about the physical universe, where you can't directly apply any mathematical logic system, and in particular the one you think is "the one true logic".
This is pure skepticism. Your position is: "We don't know anything about the real world."
That is absolute hokum. The Earth orbits the Sun, living things need fuel to survive, two units combined with two units sums to four units. I could go on and on.
You need good epistemology to explain why this is, since while it's common sense, I agree that common sense is not sufficient when we're talking about philosophy. Clearly you have not discovered good epistemology.
Isn't his position that mathematical (2+2=4) and logical (!T=F) knowledge is a different kind of knowledge than empirical (temp=20C) or scientific (F=ma)?
I took this to be similar to what Einstein [1] said:
"As far as the laws of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality."
Thanks for the Einstein reference. I wasn't familiar with it. However, my comment expressed little more than well established principles in epistemology and the philosophy of science. Einstein in his essay discusses the same general issue. My favorite demonstration of the difficulty of defining (non-mathematical) knowledge is the Gettier problem. The coolest thing about it is that if we try to come up with a definition of knowledge that is always agreed upon by everybody -- one that fully reconciles what we can intuitively and "logically" consider to be knowledge with all forms of the Gettier problem[1] -- we find ourselves with such a narrow definition that hardly covers anything we consider to be "known". This means that in science, as with everything else, we must adopt more lenient -- or pragmatic -- definitions of knowledge, but those definitions are not rigorous in any mathematical sense, and are always lacking.
> Your position is: "We don't know anything about the real world."
This is absolutely not my "position". The word know requires definition, which is a very hard thing to do, and is the subject of the whole of epistemology. All I'm saying is that "know" in the real world and "know" in logic are not -- and can never be -- the same. We cannot "know" something about the physical universe in the same sense that we "know" something to be true in mathematics (but we can certainly know a lot about the physical universe, if only we would define knowledge differently than in math, which is pretty much what every philosophy does). The point I was making is that you can't blindly overlay mathematical concepts on the real world merely because they use similar terminology. Particularly, the definition of "truth" is inevitably different in math and in science, if only because science does not have the concept of the axiom, which is a core principle in the definition of mathematical truth.
You cannot directly apply your notion of truth from logic to the physical universe and vice versa. Even in your examples you're confusing two different notions of truth. We do not know that the earth orbits the sun in the same sense that we know that 2 + 2 = 4. The latter is simply an algebraic axiom of the field of real numbers, while the former is an application of scientific assumptions to observations. We can be content with both types of knowledge, but we cannot equate them. We can treat both as true, but they are not true in the same sense.
I didn't just say that to take a cheap whack at you. I'm not interested in that kind of low-brow discussion. But I see why you don't agree with that characterization. So I'll back off on that point.
I do think you're making a very serious error (albeit common in philosphers and mathematicians).
What you are saying is that mathematics is derived from a set of axioms, and therefore is true "by definition," whereas truth about the real world is something else. And you have a harder time in various ways) with non-mathematical truth. The foundations there are shakier.
However, the foundations actually are not shakier. They just aren't as widely known among philosophers (or common people). I'm not going to try to explain it here. That would be ridiculous. But to say one important thing that most people miss: You have to realize that knowledge is only valid in its context. It is contextual. So it is true to say, for example, that Earth orbits the Sun. It could turn out that we all live in the Matrix and that Earth doesn't orbit the Sun, but that claim would still have been true in the current context (where we have no reason to assume we live in the Matrix). Likewise, Newtonian mechanics can never be invalidated by later discoveries, because it is true in its context, i.e. at a macro scale. I don't know if this point will help you, but it is one barrier to getting scientific knowledge on a non-shaky foundation.
A separate point: while it's true that you can have a mathematical system with arbitrary axioms, you can also have a mathematical system that describes reality that is developed using philosophical (as opposed to mathematical) induction (just like all "scientific" truths), and thus that is actual true in a scienfic sense, and which is NOT based on axioms.
For instance, you can define a mathematics where 1 + 1 is 2, but you can also induce this rule from reality by looking at objects.
You can define a mathematics where 1 + 1 is 1, but you can't induce that from reality, because it isn't true in reality.
Really, the point of mathematics is to improve human life, not to be an idle pasttime for professors that don't have moral qualms with getting paid by taxpayers yet not rendering them a service. So the point of mathematics should be to look at mathematics as it can be induced from reality, and figure out things that are not only true in what you call a mathematical sense, but also true in reality. It's also fine to look at made-up mathematics, but only in that that sometimes turns into useful discoveries for real mathematics.
That anything can be induced from nature is a scientific assumption, and cannot be readily reconciled with logic. This is the "problem of induction".
In any case, even if you decide to accept induction (and therefore causality) as "axiomatic truths of nature", even then you cannot reconcile mathematical deduction with scientific induction. Worse: induction is a constant "working assumption", as laws of nature "induced" from observation have often been shown to be false, or at the very least inaccurate, making even axiomatic induction (if you prescribe to that notion) a theoretical, yet unattainable ideal. This holds regardless of whether or not we live in the matrix.
I don't quite get your distinction between "real" and "made-up" mathematics, but I think you're affirming the consequent by presupposing a "true math", and then arguing that some set of axioms is "false" simply because it is not your own. In particular, the concept of truth and falsehood are not induced from nature because they are properties of statements about nature. Therefore, your own claim about the only possible truth values is not any more "real", or even induced from observation, than any other.
First, you absolutely can do scientific induction. For example, if I drop a ball a bunch of times, I know that balls fall, as long as the context does not change. If a primitive man stands atop a tower, looks around, and says, "The land is flat" (as far as he can see, it is), that is true, in that context. Sometimes you don't know the boundaries of your context, as in these simple cases. (I am well familiar with the problem of induction.)
But the thing is, with modern science, you can say "In the full context of modern thought, gravity behaves thusly," and the context is absolutely enormous.
You can't ask for more than that from induction. You can't ask for omniscience, and then, not getting it, throw the baby out with the bath water.
Note that there are no mathematical axioms here. I do assume that existence exists, that A is A, and that I am conscious. So those things have special status (for reasons I won't get into). But they are implicit in all claims to knowledge---even if you deny them, you are assuming them. They are not like mathematical axioms, which are just assumed and could be different (and are in different systems).
I don't know why you would say that deduction cannot be reconciled with induction. Let me give you an example.
Premise 1: All men are mortal.
Premise 2: Socrates is a man.
Thus: Socrates is mortal.
This is a deductive argument. However, how did we arrive at Premise 1? By induction. And it's true in a certain context. (And we all know what the context is; it not longer applies if Aubrey de Grey "solve death," for example, which is changing the context.) We also got Premise 2 by observation, which is kind of like induction, but is simpler.
Let me address your second paragraph.
I'm not making the error you suppose, which strikes me as a bizarre supposition, but that's because we are coming from such fundamentally different approaches. Anyway, I didn't say anthing about "true math" or "false math," that is your interpretation but it is not accurate.
What I am saying is that if I take one seed and add another seed and count them, I have two. In fact, if I have any number of seeds and add one and count them, I have one more than I did before. Moreover, if I plant five rows of seeds with five seeds in each row, it requires 25 seeds. Here, I am inductively discovering mathematical rules, instead of deducing them from axioms.
So you can have mathematical rules that are (or could be) gotten inductively from reality, and thus correspond to reality.
It would also be possible for mathematicians to come up with axioms that deductively lead to the same conclusions, and a lot of that goes on in mathematics. So if you start with Z-F set theory or Piano numbers or whatever (I'm not a mathematician), you can end up figuring out a lot of stuff (like calculus) that actually does correspond to reality. Though it's not coincidence that Newton did not discover calculus by reasoning from basic axioms, but did in trying to solve actual real-world problems using algebra.
Mathematicians also can and do come up with axioms that do not correspond with reality. That's fine, too, but it's not directly useful, though it can shed light on mathematics that DOES correspond to reality and be useful that way, and/or be used to develop techniques that are logical and then can be used to work with math that does correspond to reality, or whatever. So it's not totally pointless to do this. I'm not saying it shouldn't be done. I'm just saying, for example, that if I create a mathematical system where 1 + 1 = 1, or something can be true and false at the same time, that's fine, but it won't correspond to what we see in reality. I won't put two seeds into a pile and only have one seed, and I won't be able to have my cake and eat it too, even if that would be possible under a certain mathematical system.
> First, you absolutely can do scientific induction. For example, if I drop a ball a bunch of times, I know that balls fall, as long as the context does not change.
You absolutely can do it, but that the result of scientific induction is meaningful is, itself -- at best -- a proposition that rests on scientific induction. Specifically, the proposition that "my memories of patterns of things which I have observed is a useful basis for predicting future observations from other acts or observations" is a proposition that, itself, must either is unsupported or is a generalization from past experience of exactly the type it supports.
> What I am saying is that if I take one seed and add another seed and count them, I have two.
You can't count them and get "one" or "two" until you define what one and two are, at which you have already made one plus one equals two deductively true, and the same is true of any other supposedly induced mathematical truths -- in order to be able to induce them, you must first have definitions, from which deductive mathematical truths follow of necessity.
Let me state your argument in the most general form: You need reason to validate reason.
That is true, but it's completely fine.
Ultimately you have to assume certain things. In Objectivism they are stated as: Identity (A is A), Existence (Existence exists), and Consciousness (And I know it). They are called "axioms," but they are not like mathematical axioms. Rather, they are rules that must be assumed in any claim to knowledge, including in any claim to deny them. For example, if identity is invalid, a claim like "Identity is invalid" would be meaningless.
Another difference from axioms as they are used by mathematicians is that nothing is deduced from these axioms; they are just the prerequisites for induction, any induction at all, from reality.
To address your second point.
First you need to induce the concept of "unit." Then, you can induce the concept "one," "two," and, if you want, other numbers.
Then you can come up with the concept of "addition." I'm not sure how you could deduce addition from the notion of counting numbers. If you'd like to explain it to me (without presuming it in the argument, or any other mathematical knowledge that we haven't gotten to yet), I'd like to see that. I'm skeptical that it can be done.
However, you certainly can inductively observe that groups of things denoted by counting numbers have a certain relationship, and then come up with addition that way, which is induction. And then you realize the causal reason for it being that way. But that is a normal thing in induction. Induction doesn't mean, "there is no cause for this to be true."
To summarize, my point is that the logic is something like observing "If I put one and one together, I have two," but that is induction, not deduction, prior to having addition defined (and then you do it deductively from then on because you already know the rule and you are just applying it).
Though at this point we only know about 1 and 1, we don't know about 2 and 1, for example. So to make it general, and have a general rule of addition, would require more inductive work.
This is all just me thinking through it. I don't claim to be representing Objectivism perfectly on this point, though I do on the first point.
The only difference is that Math adds a few extra requirements in that it is required to stay internally consistent using a given system of logic (in this case, strictly Boolean logic, it's the entire reason why proof by contradiction is even possible).
No it's not. Not any more than chemistry is a philosophy or history is a philosophy.
> The only difference is that Math adds a few extra requirements in that it is required to stay internally consistent using a given system of logic (in this case, strictly Boolean logic, it's the entire reason why proof by contradiction is even possible).
Philosophy is also required to be consistent (properly, both internally and with the external world), and allows proof by contradiction without relying on strictly Boolean logic.
As someone with a pretty strong Math background, I certainly didn't take that from his comment. I took it to mean he understands Math fairly strongly as well, and that most of your grievances with him have more to do with your lack of familiarity with the deeper underpinnings of Mathematics.
>All statements are true, false, arbitrary, or nonsensical.
And which was that?
AI depends heavily on statements that are somewhat true and somewhat false at the same time.
How distorted does a letter shape have to be before it stops being readable? How much does readability depend on context? How much does meaning depend on context? What if input is inherently ambiguous and noisy but there's a signal under there somewhere?
As for smarts, there are different kinds:
Abstract symbolic reasoning (e.g. pure maths)
Using abstract symbolic reasoning to predict possible futures (physics, engineering, finance, AI)
A talent for optimising choices towards an explicit goal through abstract reasoning about possible futures (all of the above, with brain-powered decision making)
The same, but using unconscious processes ('intuition') that are not explicitly abstract or logical (all brain, no AI so far, but still effective)
The author seems to be suggesting that the first two kinds of smarts don't necessarily translate into the second two kinds, for various reasons. And not all smart people realise this.
>There is also “awareness”, but awareness is not a thing or localized in a particular place, so to even say “there is also awareness” is already a tremendous problem, as it implies separateness and existence where none can be found. To be really philosophically correct about it, borrowing heavily from Nagarjuna, awareness cannot be said to fit any of the following descriptions: that it exists, that it does not exist, that it both exists and does not exist, that it neither exists nor doesn’t exist. Just so, in truth, it cannot be said that: we are awareness, that we are not awareness, that we are both awareness and not awareness, or even that we are neither awareness nor not awareness. We could go through the same pattern with whether or not phenomena are intrinsically luminous.
-Daniel Ingram
You're too quick to reject it. The classic dichotomy works well in the objective sphere, but not so well on the boundary of objective and subjective.
There is awareness---I am conscious, so are you. It's a fact. It's true. There is simply no problem, here. It is not a great mystery. We don't know precisely how consciousness works, of course.
There is no boundary of the objective and subjective, because there is no such thing as subjective truth, which is an oxymoron. For example, if vanilla is my favorite ice cream, that is an objective truth about my personal preferences.
How is it a fact? It's your fact, subjective fact. That we both have an agreement doesn't make it objective. You can't prove that there exists no man that will say he doesn't possess awareness. Even if everyone agreed that vanilla is their favourite flavor, it won't make vanilla objectively the best flavor of all.
Godel constructed statements S that are neither true nor false (more precisely, you could add an axiom saying "S is true", or you could add an axiom saying "S is false", and you'd get a consistent logical system either way).
It turns out that if you can prove something is both true and false, then EVERYTHING is both true and false. For example, let's say you want to prove X. Note that Y is true. But then you obtain a contradiction (since Y is false)! Hence X is true.
"Godel constructed statements S that are neither true nor false"
No, that's not what he did.
He constructed a statement that is true, but that can't be proved in a certain logical system. The statement was basically "This statement is unprovable with these axioms", which can either be proved - meaning you've proved something false, or can't be proved, meaning the statement is true, but is unprovable.
Note that this uses two notions of "true" - provable (can be derived from axioms), and actually true.
> Note that this uses two notions of "true" - provable (can be derived from axioms), and actually true.
Even the second notion of truth actually just semantic consequence of the second-order theory of the naturals, which is a mathematical formal concept, not quite the same as actual (ontological) truth.
For e.g. the continuum hypothesis, there are models which obey the ZFC axioms in which it is true and models which obey the axioms in which it is false. The Gödel sentences are less interesting; any model in which those sentences were false would be a model in which PA was inconsistent. Which sure, can exist (e.g. the "self-hating theory", PA plus the axiom that PA is inconsistent, is a somewhat legitimate set theory with some interesting properties). So saying the Gödel sentences are true was not entirely accurate; rather, it depends which model we're working with. But a model which declares PA is inconsistent doesn't seem like the sort of model that we'd want to do physics with.
You're right that there are "larger" theories that can prove the consistency of PA, e.g. PA + existence of a large cardinal proves the consistency of PA. But, per Gödel, no consistent axiom system large enough to contain PA can prove its own consistency. This is probably a lot less bad than it sounds though; after all, if we have some unknown axiom system T, and we have a proof in T that T is consistent, does that really tell us anything? Because if T isn't consistent, then it can prove anything, including that T is consistent.
Ok, now here's a question: are there any textbooks introducing model theory and talking about these sorts of topics that don't rely on preexisting knowledge of abstract algebra? Not that I don't want to learn abstract algebra, but I don't even know a good textbook to start that from.
All statements are true, false, arbitrary, or nonsensical.
I'm missing something here. Is the statement "the three angles in a triangle add up to 180 degrees" true, false, arbitrary, or nonsensical? What do you call a statement that lacks (or reveals the lack of) crucial context?
In that particular case, any proof that the angles of a triangle add up to 180 degrees has to start from the relevant axioms - and if you include the Euclidean parallel postulate then yes, that can be proved. What would the "crucial context" outside of the axioms you start with and inference steps to get from the axioms to your statement be?
The statement given is equivalent to the parallel postulate, and thus is true in a Euclidean geometry. The statement is tautologically false in a non-Euclidean geometry.
still, logic is simply a system of thought, it's philosophy, nothing more (which is why Mathematics is considered a branch of philosophy).
So the idea that logic isn't reality is a completely valid idea both because logic is simply a system of thought, and because logic cannot reasonably take into account perspective.
you can reason about perspective, but reasoning by itself is not enough for logic, logic dicatates that you reason in a specific manner, and sometimes it's better to reason in other manners.
"But I think Impostor Syndrome is valuable. The people with Impostor Syndrome are the people who aren't sure that a logical proof of their smartness is sufficient. They're looking around them and finding something wrong, an intuitive sense that around here, logic does not always agree with reality, and the obviously right solution does not lead to obviously happy customers, and it's unsettling because maybe smartness isn't enough, and maybe if we don't feel like we know what we're doing, it's because we don't."
Most importantly, consider the quote "logic does not always agree with reality". Logic neither agrees nor disagrees with reality. Logic itself is flawless, but the assumptions you put into it can be wrong. The problem is not with thinking logically, thinking logically is good. Rather, it's an issue with holding incorrect assumptions.
Leaving aside the problem of defining smart, the claim, then, is that the smarter you are, the more false assumptions you hold. That's quite a bold claim. It needs a lot more evidence than personal anecdote for me to accept.