Convert refs: thoughts-on-logic

1 files changed, 19 insertions, 55 deletions

diff --git a/content/entry/thoughts-on-logic.md b/content/entry/thoughts-on-logic.md
index 0e469e5..ae96238 100644
--- a/content/entry/thoughts-on-logic.md
+++ b/content/entry/thoughts-on-logic.md
@@ -2,7 +2,6 @@
 title: "Thoughts on Logic"
 date: 2020-11-25T00:00:00
 draft: false
-makerefs: false
 ---
 # Logic in Education
 The term "critical thinking" gets thrown around a lot in schools, but children aren't ever sat down and explicitly told how to think. Logic needs to be introduced in primary school and reaffirmed throughout middle and high school (secondary school in the UK). Knowing how to think logically is far more important than knowing how to calculate the area of a circle, how volcanoes work, or how to use a Bunsen burner. And teaching it shouldn't be politically controversial because there's an important distinction between telling kids what to think versus teaching them how to think. Logic is all about how to think. That's something we all should want others to know how to do well.
@@ -12,49 +11,49 @@ The point of teaching the formal, symbolic logic starting at a young age is not
 When I studied philosophy in community college, I remember there was an art student. He had a great personality and was a very likable person. Whenever he got called on to answer a question though, he was never able to produce the right answer. It was clear to me that he never learned how to think logically. I wondered what it must be like to be a young adult never having learned that. There are also plenty of functioning older adults out there that never learned how to think logically. To be clear, studying formal logic isn't a prerequisite for logical thought. What I find to be the case with nearly everyone without training in formal logic is that they have an intuitive sense of how to reason, but there's important pieces of the puzzle they're missing. That's what I'm going to focus on in this post, the things that those without experience in formal logic get confused about. In my posts, I try not to assume prior knowledge, so I'm going to explain a bit about logic before I explain some of those missing pieces. If you're already familiar with logic, click here.
 
 # Logic
-Logic is the study of rules of inference[1]. Rules of inference allow you to draw conclusions based on premises. In other words, starting with a statement A, you can conclude statement B. For example, the earth is round is a true statement. Therefore the earth is round or up is down is also a true statement. In fact, I could replace the statement up is down with any proposition Z and the earth is round or Z would still be true. I used the rule of inference "addition" to draw my conclusion, so I'm guaranteed that it's true no matter what Z is. I can apply another rule of inference to get humans have 3 legs therefore either the earth is round or up is down. That is also a true statement. It sounds strange because the normal way of understanding "therefore" is as a causal relationship. In this context, it's a strictly logical implication, not causal. Despite how strange it sounds, humans have 3 legs therefore either the earth is round or up is down logically follows from the earth is round.
+Logic is the study of [rules of inference](https://www.wikipedia.org/wiki/Rule_of_inference). Rules of inference allow you to draw conclusions based on premises. In other words, starting with a statement A, you can conclude statement B. For example, the earth is round is a true statement. Therefore the earth is round or up is down is also a true statement. In fact, I could replace the statement up is down with any proposition Z and the earth is round or Z would still be true. I used the rule of inference "addition" to draw my conclusion, so I'm guaranteed that it's true no matter what Z is. I can apply another rule of inference to get humans have 3 legs therefore either the earth is round or up is down. That is also a true statement. It sounds strange because the normal way of understanding "therefore" is as a causal relationship. In this context, it's a strictly logical implication, not causal. Despite how strange it sounds, humans have 3 legs therefore either the earth is round or up is down logically follows from the earth is round.
 
-To test your skills in logic, I suggest trying out some logic puzzles such as Knights and Knaves[2]. If you get really ambitious, you can try your hand at The Hardest Logic Puzzle Ever[3].
+To test your skills in logic, I suggest trying out some logic puzzles such as [Knights and Knaves](https://www.wikipedia.org/wiki/Knights_and_Knaves). If you get really ambitious, you can try your hand at [The Hardest Logic Puzzle Ever](https://www.wikipedia.org/wiki/The_Hardest_Logic_Puzzle_Ever).
 
 # Things People Get Confused About
 Now that I've talked about what logic is, I want to talk about some of the important aspects of logic people commonly get confused about.
 
 ## There Are Only 2 Ways an Argument Can Be Disproved
-The first way to disprove an argument is by showing that one of the premises is false. The other way is showing that the structure of the argument is invalid[4]. People are used to thinking of arguments in terms of "arguments for" and "arguments against". That's why it's easy to get confused here. It's the attitude "There's some good arguments for a proposition and some good arguments against it and it's my job to weigh the pros and cons". But, in logic, an argument is either sound or unsound. The property of soundness[5] means that the premises are true and it has valid form. If the conclusion of an argument derives from valid rules of inference based on the premises, then the only way to disprove the argument is to show one of the premises is false. If all the premises are true and the form is valid, then the argument is sound and the conclusion is true. There's no "arguments for" and "arguments against", or "maybe it's wrong some other way". There's no two ways about it. No if, ands or buts. If an argument is sound, the conclusion necessarily follows.
+The first way to disprove an argument is by showing that one of the premises is false. The other way is showing that [the structure of the argument is invalid](https://rationalwiki.org/wiki/Logical_validity). People are used to thinking of arguments in terms of "arguments for" and "arguments against". That's why it's easy to get confused here. It's the attitude "There's some good arguments for a proposition and some good arguments against it and it's my job to weigh the pros and cons". But, in logic, an argument is either sound or unsound. The property of [soundness](https://rationalwiki.org/wiki/Soundness) means that the premises are true and it has valid form. If the conclusion of an argument derives from valid rules of inference based on the premises, then the only way to disprove the argument is to show one of the premises is false. If all the premises are true and the form is valid, then the argument is sound and the conclusion is true. There's no "arguments for" and "arguments against", or "maybe it's wrong some other way". There's no two ways about it. No if, ands or buts. If an argument is sound, the conclusion necessarily follows.
 
 ## How Logical Fallacies Work
-A logical fallacy is an error in reasoning. It can be formal[6] or informal[7]. Formal fallacies have to do with the structure of an argument. If an argument has bad structure, it is invalid. Informal fallacies have to do with the content of an argument. In my experience, it's more rare for people to commit formal fallacies. This is because there are so many more ways to commit informal fallacies than there are ways to commit formal fallacies. There are only a few ways to structure an argument improperly, but there are virtually endless ways to get the content wrong since the content can be anything at all. Take a look at yourlogicalfallacyis.com[8]. It's good to become familiar with informal fallacies by name and be able to call them out in real time. To challenge yourself, try doing that during a live presidential debate. There's so many logical fallacies in those it's impossible to keep up, at least for me.
+A logical fallacy is an error in reasoning. It can be [formal](https://www.wikipedia.org/wiki/Formal_fallacy) or [informal](https://www.wikipedia.org/wiki/Informal_fallacy). Formal fallacies have to do with the structure of an argument. If an argument has bad structure, it is invalid. Informal fallacies have to do with the content of an argument. In my experience, it's more rare for people to commit formal fallacies. This is because there are so many more ways to commit informal fallacies than there are ways to commit formal fallacies. There are only a few ways to structure an argument improperly, but there are virtually endless ways to get the content wrong since the content can be anything at all. Take a look at [yourlogicalfallacyis.com](https://yourlogicalfallacyis.com). It's good to become familiar with informal fallacies by name and be able to call them out in real time. To challenge yourself, try doing that during a live presidential debate. There's so many logical fallacies in those it's impossible to keep up, at least for me.
 
 The thing people get confused about when they're unfamiliar with logical fallacies is they think fallacies are a minor problem for an argument, similar to the "arguments for" and "arguments against" I talked about earlier. They see the fallacy as the "argument against" part. That's completely the wrong way to think about logical fallacies. The presence of a single logical fallacy in an argument means that argument is toast. A logical fallacy is not a "counterpoint" to an argument. It fully invalidates the argument. An entirely new argument is needed to prove the conclusion.
 
 It's important that you get it right if you do call out a fallacy. I often see people calling out fallacies that aren't really there. The tendency by amateur logicians to call out fallacies that aren't there might actually be just as prevalent as the tendency for amateur debaters to commit logical fallacies. That's why practice at recognizing fallacies is key. I'm not going to mention every logical fallacy, just the ones I perceive as the most common. I'll start with the fallacy fallacy.
 
 ## The Fallacy Fallacy
-Sometimes people think invalidating an argument by pointing out a logical fallacy disproves its conclusion. This is known as the fallacy fallacy[9]. A conclusion is like a destination you want to reach. Premises are where you begin. And an argument is the pathway from the premises to the conclusion. There are many different paths you can take to go from origin to destination. Just because one path doesn't work, that doesn't mean other paths can't. In other words, true statements can be defended with false logic. Perhaps the argument is bad because the premises are faulty. In that case, you need to find alternative premises to make your argument. The other case is the logic is invalid, the form is wrong. In that case, you can keep your premises but you need to fix the form. In the worst case, your argument is unsalvageable and you need to use different premises and different rules of inference to get to your conclusion. But just because you can't make an argument for a conclusion doesn't mean the conclusion is false. Even if no one on earth can make a sound argument for a conclusion, that doesn't mean the conclusion is false.
+Sometimes people think invalidating an argument by pointing out a logical fallacy disproves its conclusion. This is known as [the fallacy fallacy](https://rationalwiki.org/wiki/Fallacy_fallacy). A conclusion is like a destination you want to reach. Premises are where you begin. And an argument is the pathway from the premises to the conclusion. There are many different paths you can take to go from origin to destination. Just because one path doesn't work, that doesn't mean other paths can't. In other words, true statements can be defended with false logic. Perhaps the argument is bad because the premises are faulty. In that case, you need to find alternative premises to make your argument. The other case is the logic is invalid, the form is wrong. In that case, you can keep your premises but you need to fix the form. In the worst case, your argument is unsalvageable and you need to use different premises and different rules of inference to get to your conclusion. But just because you can't make an argument for a conclusion doesn't mean the conclusion is false. Even if no one on earth can make a sound argument for a conclusion, that doesn't mean the conclusion is false.
 
 ## The Burden of Proof
-The burden of proof[10] is the obligation to supply evidence for a claim. The reason it's "guilty or not guilty" instead of "guilty or innocent" is because the prosecution bears the burden of proving guilt. You are innocent until proven guilty. The null hypothesis[11] is innocence. But the concept of the burden of proof applies far outside the courtroom. It's important in philosophy and it often gets misused. Shifting the burden of proof fallacy occurs when someone makes a claim, then when you demand evidence, they demand you prove the opposite. See the gumball analogy[12] for further explanation.
+[The burden of proof](https://rationalwiki.org/wiki/Burden_of_proof) is the obligation to supply evidence for a claim. The reason it's "guilty or not guilty" instead of "guilty or innocent" is because the prosecution bears the burden of proving guilt. You are innocent until proven guilty. [The null hypothesis](https://rationalwiki.org/wiki/Null_hypothesis) is innocence. But the concept of the burden of proof applies far outside the courtroom. It's important in philosophy and it often gets misused. Shifting the burden of proof fallacy occurs when someone makes a claim, then when you demand evidence, they demand you prove the opposite. See [the gumball analogy](https://www.wikipedia.org/wiki/Matt_Dillahunty#Gumball_analogy) for further explanation.
 
-In some cases, it may not even be possible to provide evidence to disprove a claim, but that doesn't mean the claim is true. See Church of the Flying Spaghetti Monster[13] and Russell's Teapot[14]. In debates about the existence of god, shifting of the burden of proof is an extremely common fallacy committed by theists. "You can't prove god doesn't exist!". Crucially, the burden of proof lies on the one making the claim. If I claim "There is a god", I have the burden of proving it. If I claim "There are no gods", then I have the burden to prove that. If I claim "There are probably gods", then I have the burden of proving that there are probably gods. If I claim "It's possible for a god to exist", then I have to somehow prove that it's possible, that there's a greater-than-zero chance of it occurring. So on and so forth for every claim.
+In some cases, it may not even be possible to provide evidence to disprove a claim, but that doesn't mean the claim is true. See Church of the [Flying Spaghetti Monster](https://www.spaghettimonster.org/) and [Russell's Teapot](https://rationalwiki.org/wiki/Russell%27s_Teapot). In debates about the existence of god, shifting of the burden of proof is an extremely common fallacy committed by theists. "You can't prove god doesn't exist!". Crucially, the burden of proof lies on the one making the claim. If I claim "There is a god", I have the burden of proving it. If I claim "There are no gods", then I have the burden to prove that. If I claim "There are probably gods", then I have the burden of proving that there are probably gods. If I claim "It's possible for a god to exist", then I have to somehow prove that it's possible, that there's a greater-than-zero chance of it occurring. So on and so forth for every claim.
 
-The term "evidence" in this context isn't limited to hard, physical evidence. In The Simulation Argument[15], Nick Bostrom[16] demonstrates that there is a 1 in 3 probability that we are living in a simulation despite not referencing any direct physical evidence of a simulated universe. It would be hard to say what direct evidence of a simulated universe would even look like. His paper doesn't depend on that many external observable facts about the physical universe either. The assumptions he does rely on to make his argument are fairly uncontroversial, which makes his strong result all the more surprising. It just goes to show there are many ways to meet the burden of proof for a claim, not all relying on hard physical evidence.
+The term "evidence" in this context isn't limited to hard, physical evidence. In [The Simulation Argument](https://www.simulation-argument.com), [Nick Bostrom](https://www.nickbostrom.com/papers) demonstrates that there is a 1 in 3 probability that we are living in a simulation despite not referencing any direct physical evidence of a simulated universe. It would be hard to say what direct evidence of a simulated universe would even look like. His paper doesn't depend on that many external observable facts about the physical universe either. The assumptions he does rely on to make his argument are fairly uncontroversial, which makes his strong result all the more surprising. It just goes to show there are many ways to meet the burden of proof for a claim, not all relying on hard physical evidence.
 
 ## Ad Hominem Fallacy
-There are several ways people get confused over the argumentum ad hominem. The ad hominem fallacy[17] is a logical fallacy where you attempt to refute someone's argument by attacking their character. If you attack someone's character, that might harm their credibility. But, a person's credibility has nothing to do with the logical soundness of their argument. Soundness of an argument depends only upon the truth of the premises and the validity of the argument. I'm not saying credibility isn't important. It is. Credibility may influence your willingness to believe claims made by someone, but that's a separate issue. Your willingness to believe someone also bears no relation to the soundness of their argument or the truth of the claim they're making. The soundness of a logical argument is independent of the reputation of the person making it.
+There are several ways people get confused over the argumentum ad hominem. The [ad hominem fallacy](https://rationalwiki.org/wiki/Argumentum_ad_hominem) is a logical fallacy where you attempt to refute someone's argument by attacking their character. If you attack someone's character, that might harm their credibility. But, a person's credibility has nothing to do with the logical soundness of their argument. Soundness of an argument depends only upon the truth of the premises and the validity of the argument. I'm not saying credibility isn't important. It is. Credibility may influence your willingness to believe claims made by someone, but that's a separate issue. Your willingness to believe someone also bears no relation to the soundness of their argument or the truth of the claim they're making. The soundness of a logical argument is independent of the reputation of the person making it.
 
-Yet another way people misunderstand the ad hominem fallacy is they think it's equivalent to being mean or sarcastic in an argument. An ad hominem fallacy occurs when someone attempts to disprove your argument by attacking you personally. If they attack you personally and disprove your argument separately, that's not an ad hominem fallacy. That's just them being rude. Yes it would be nice if people were compassionate to others all the time, but being rude in a debate doesn't count as a fallacy. See examples in the ad hominem fallacy fallacy[18].
+Yet another way people misunderstand the ad hominem fallacy is they think it's equivalent to being mean or sarcastic in an argument. An ad hominem fallacy occurs when someone attempts to disprove your argument by attacking you personally. If they attack you personally and disprove your argument separately, that's not an ad hominem fallacy. That's just them being rude. Yes it would be nice if people were compassionate to others all the time, but being rude in a debate doesn't count as a fallacy. See examples in the [ad hominem fallacy fallacy](https://laurencetennant.com/bonds/adhominem.html).
 
 ## Tu Quoque Fallacy
-Tu Quoque translates into "you too!". It's also known as the appeal to hypocrisy and whataboutism[19]. This one is most often used in political debates between candidates to attack each other's credibility and (seemingly) invalidate their opponent's argument. The idea is if you can call someone a hypocrite, that invalidates their argument. Obviously it doesn't. We've been over that. The only way to invalidate an argument is by showing the premises to be false or the structure to be invalid. It might be a good strategy for "winning" a debate as judged by laypeople with no training in logic, but calling someone a hypocrite does nothing against their argument, even if they are in fact a hypocrite. I've never heard it explicitly said that someone's argument is wrong because they are a hypocrite, only implied. This basically goes back to a person's credibility being irrelevant to the truth of their argument.
+Tu Quoque translates into "you too!". It's also known as the appeal to hypocrisy and [whataboutism](https://rationalwiki.org/wiki/Whataboutism). This one is most often used in political debates between candidates to attack each other's credibility and (seemingly) invalidate their opponent's argument. The idea is if you can call someone a hypocrite, that invalidates their argument. Obviously it doesn't. We've been over that. The only way to invalidate an argument is by showing the premises to be false or the structure to be invalid. It might be a good strategy for "winning" a debate as judged by laypeople with no training in logic, but calling someone a hypocrite does nothing against their argument, even if they are in fact a hypocrite. I've never heard it explicitly said that someone's argument is wrong because they are a hypocrite, only implied. This basically goes back to a person's credibility being irrelevant to the truth of their argument.
 
 ## Bad Heuristics
-There are several logical fallacies which fall into the category of what I call "bad heuristics[20]". They are substitutes for using logic to make up your own mind.
+There are several logical fallacies which fall into the category of what I call "[bad heuristics](https://www.wikipedia.org/wiki/Heuristic)". They are substitutes for using logic to make up your own mind.
 
 ### Bandwagon
-This one is the most widely-known. It simply means that many people believe something, so it must be true. There may be an evolutionary/psychological pressure to conform to what everyone else believes since it's perceived as the safest option. Several studies have been done showing that if you put a test subject in a group where the majority believes something, even if it's completely irrational, the subject will often just go along with it. Roughly 85% of the world's population believes in some form of god or gods[21] depending on how you ask the question. There's no evidence for the existence of any gods, so their beliefs are unfounded. In other words, just going along with what everyone else believes is a bad heuristic.
+This one is the most widely-known. It simply means that many people believe something, so it must be true. There may be an evolutionary/psychological pressure to conform to what everyone else believes since it's perceived as the safest option. Several studies have been done showing that if you put a test subject in a group where the majority believes something, even if it's completely irrational, the subject will often just go along with it. Roughly [85% of the world's population believes in some form of god](https://www.wikipedia.org/wiki/List_of_religious_populations) or gods depending on how you ask the question. There's no evidence for the existence of any gods, so their beliefs are unfounded. In other words, just going along with what everyone else believes is a bad heuristic.
 
 ### Genetic
-The genetic fallacy is whenever someone says something is good or true because it comes from a certain source. We can look at the media for example. While it is certainly true that some news sources are more reliable than others, the truth of an argument doesn't change depending on which news source makes it. This doesn't diminish the importance of having reliable sources of news. As a personal example, when Nick Bostrom[22] releases a new paper, I make an educated guess that I'll find it interesting based on his previous work being interesting. But the new paper that I read won't be interesting because all his previous work is. It will be interesting because of the contents of the paper. If you pick good sources of information, then that's actually not a bad heuristic for truth. You will only end up with a bad heuristic for truth if you pick bad sources of information, such as Facecrook. Just remember that the source of information has no bearing on the truth of the information. I'm really beating this point to death, but it bears repeating. The only determining factors for the soundness of an argument are the truth of the premises and the validity of the argument.
+The genetic fallacy is whenever someone says something is good or true because it comes from a certain source. We can look at the media for example. While it is certainly true that some news sources are more reliable than others, the truth of an argument doesn't change depending on which news source makes it. This doesn't diminish the importance of having reliable sources of news. As a personal example, when [Nick Bostrom](https://www.nickbostrom.com/papers) releases a new paper, I make an educated guess that I'll find it interesting based on his previous work being interesting. But the new paper that I read won't be interesting because all his previous work is. It will be interesting because of the contents of the paper. If you pick good sources of information, then that's actually not a bad heuristic for truth. You will only end up with a bad heuristic for truth if you pick bad sources of information, such as Facecrook. Just remember that the source of information has no bearing on the truth of the information. I'm really beating this point to death, but it bears repeating. The only determining factors for the soundness of an argument are the truth of the premises and the validity of the argument.
 
 ### Nature
 The appeal to nature fallacy happens when someone says something is good, just or ideal because it's "natural". Two problems with that. For one, everything that happens is natural because we live in the natural world. But let's entertain the fallacy for a moment and define "natural" as things that aren't products of human intelligence. By that definition, Coronavirus is natural. Natural disasters are natural. It's even in the name. Lots of horrible things are natural. "Unnaturalness" is often used to argue against homosexuality. Other species of primate also show homosexual behavior, so homosexuality is natural even in non-human animals. To sum up, appealing to nature is a bad heuristic since it's hard to define what counts as natural and many natural things everyone agrees are natural are not good, while things people call "artificial", such as vaccines, are good.
@@ -73,47 +72,12 @@ That wraps it up for the bad heuristics. Now we can move from fallacies to somet
 After you become really good at doing any type of logic, whether it be computational, mathematical, inductive, deductive, etc, you'll eventually wonder if it's possible for logic to prove everything. Turns out it's not. And we can prove it...using logic. Mind bending, right? But before we talk about that, I'll have to explain axioms. If you're already familiar with axioms, feel free to skip.
 
 ### Axioms
-I've said that for an argument to be valid, the premises must be true. But how do we know the premises are true? We could make another argument to prove each premise, but then we'll just have the same problem we started with. We'll have to prove each one of the premises that we used in our argument to prove our original premises. It's an infinite regress[23]. To resolve this, we need a starting point, an axiom. An axiom[24] is a proposition that is taken for granted. It is assumed to be true without justification. There are various ideas about what axioms one should accept. Typically they tend to be kept as simple as possible. For example, take a look at the logical absolutes[25]: The Law of Identity, Non-Contradiction, and Excluded Middle.
+I've said that for an argument to be valid, the premises must be true. But how do we know the premises are true? We could make another argument to prove each premise, but then we'll just have the same problem we started with. We'll have to prove each one of the premises that we used in our argument to prove our original premises. It's an [infinite regress](https://rationalwiki.org/wiki/Infinite_regress). To resolve this, we need a starting point, an axiom. An [axiom](https://rationalwiki.org/wiki/Axiom) is a proposition that is taken for granted. It is assumed to be true without justification. There are various ideas about what axioms one should accept. Typically they tend to be kept as simple as possible. For example, take a look at the [logical absolutes](https://rationalwiki.org/wiki/Essay:On_Logical_Absolutes): The Law of Identity, Non-Contradiction, and Excluded Middle.
 
 ### Gödel's Incompleteness Theorems
-In the early 1920's, famous German mathematician David Hilbert[26] put forward a proposal calling for the axiomatization of mathematics. He wanted to make all mathematical truths reducible to an agreed upon set of axioms such that all true statements could be proved, but no false statements could be proved. In 1931, one of the most significant logicians in history, Kurt Gödel[27], showed that no set of axioms is capable of proving all truths about the arithmetic of natural numbers. See Gödel's Incompleteness Theorems[28]. Gödel used mathematical logic to show that there are some places mathematical logic cannot go. Boiled down, he proved that logic cannot prove everything. This is also true in computing. See The Halting Problem[29]. The essence of the trick seems to be, no matter which logic you're talking about, to find a way to encode the liar paradox[30] in the system. A prerequisite for that is somehow getting the logical system to talk about itself. Gödel found a very fascinating theorem and I would recommend for anyone interested to look more in depth at it.
+In the early 1920's, famous German mathematician [David Hilbert](https://www.wikipedia.org/wiki/David_Hilbert) put forward a proposal calling for the axiomatization of mathematics. He wanted to make all mathematical truths reducible to an agreed upon set of axioms such that all true statements could be proved, but no false statements could be proved. In 1931, one of the most significant logicians in history, [Kurt Gödel](https://www.wikipedia.org/wiki/Kurt_G%C3%B6del), showed that no set of axioms is capable of proving all truths about the arithmetic of natural numbers. See [Gödel's Incompleteness Theorems](https://stopa.io/post/269). Gödel used mathematical logic to show that there are some places mathematical logic cannot go. Boiled down, he proved that logic cannot prove everything. This is also true in computing. See [The Halting Problem](https://www.wikipedia.org/wiki/Halting_problem). The essence of the trick seems to be, no matter which logic you're talking about, to find a way to encode [the liar paradox](https://rationalwiki.org/wiki/Liar_paradox) in the system. A prerequisite for that is somehow getting the logical system to talk about itself. Gödel found a very fascinating theorem and I would recommend for anyone interested to look more in depth at it.
 
 # Conclusion
-That's all I've got for this post. I think I've packed in a lot of information and good examples to research. Even if you never learn logic, I believe by reading this post you get a sense of what logic is all about and how to at least recognize some common informal fallacies and misunderstandings. I tried to include plenty of useful external links. This post is barely scratching the surface though. For some readers, just scratching the surface is good enough. But for all I know, the next Gödel might be reading this. In 2011, a 25-year old math problem about superpermutations was solved by an anonymous 4chan user[31]. If that doesn't show that cleverness can come from anywhere, I don't what does.
-
-I hope you enjoyed the post. If there's anything that you think I should have covered in this post or that I should talk in the future, let me know about it[32].
-
-
-Link(s):
-[1: https://www.wikipedia.org/wiki/Rule_of_inference](https://www.wikipedia.org/wiki/Rule_of_inference)
-[2: https://www.wikipedia.org/wiki/Knights_and_Knaves](https://www.wikipedia.org/wiki/Knights_and_Knaves)
-[3: https://www.wikipedia.org/wiki/The_Hardest_Logic_Puzzle_Ever](https://www.wikipedia.org/wiki/The_Hardest_Logic_Puzzle_Ever)
-[4: https://rationalwiki.org/wiki/Logical_validity](https://rationalwiki.org/wiki/Logical_validity)
-[5: https://rationalwiki.org/wiki/Soundness](https://rationalwiki.org/wiki/Soundness)
-[6: https://www.wikipedia.org/wiki/Formal_fallacy](https://www.wikipedia.org/wiki/Formal_fallacy)
-[7: https://www.wikipedia.org/wiki/Informal_fallacy](https://www.wikipedia.org/wiki/Informal_fallacy)
-[8: https://yourlogicalfallacyis.com](https://yourlogicalfallacyis.com)
-[9: https://rationalwiki.org/wiki/Fallacy_fallacy](https://rationalwiki.org/wiki/Fallacy_fallacy)
-[10: https://rationalwiki.org/wiki/Burden_of_proof](https://rationalwiki.org/wiki/Burden_of_proof)
-[11: https://rationalwiki.org/wiki/Null_hypothesis](https://rationalwiki.org/wiki/Null_hypothesis)
-[12: https://www.wikipedia.org/wiki/Matt_Dillahunty#Gumball_analogy](https://www.wikipedia.org/wiki/Matt_Dillahunty#Gumball_analogy)
-[13: https://www.spaghettimonster.org/](https://www.spaghettimonster.org/)
-[14: https://rationalwiki.org/wiki/Russell%27s_Teapot](https://rationalwiki.org/wiki/Russell%27s_Teapot)
-[15: https://www.simulation-argument.com](https://www.simulation-argument.com)
-[16: https://www.nickbostrom.com/papers](https://www.nickbostrom.com/papers)
-[17: https://rationalwiki.org/wiki/Argumentum_ad_hominem](https://rationalwiki.org/wiki/Argumentum_ad_hominem)
-[18: https://laurencetennant.com/bonds/adhominem.html](https://laurencetennant.com/bonds/adhominem.html)
-[19: https://rationalwiki.org/wiki/Whataboutism](https://rationalwiki.org/wiki/Whataboutism)
-[20: https://www.wikipedia.org/wiki/Heuristic](https://www.wikipedia.org/wiki/Heuristic)
-[21: https://www.wikipedia.org/wiki/List_of_religious_populations](https://www.wikipedia.org/wiki/List_of_religious_populations)
-[22: https://www.nickbostrom.com/papers](https://www.nickbostrom.com/papers)
-[23: https://rationalwiki.org/wiki/Infinite_regress](https://rationalwiki.org/wiki/Infinite_regress)
-[24: https://rationalwiki.org/wiki/Axiom](https://rationalwiki.org/wiki/Axiom)
-[25: https://rationalwiki.org/wiki/Essay:On_Logical_Absolutes](https://rationalwiki.org/wiki/Essay:On_Logical_Absolutes)
-[26: https://www.wikipedia.org/wiki/David_Hilbert](https://www.wikipedia.org/wiki/David_Hilbert)
-[27: https://www.wikipedia.org/wiki/Kurt_G%C3%B6del](https://www.wikipedia.org/wiki/Kurt_G%C3%B6del)
-[28: https://stopa.io/post/269](https://stopa.io/post/269)
-[29: https://www.wikipedia.org/wiki/Halting_problem](https://www.wikipedia.org/wiki/Halting_problem)
-[30: https://rationalwiki.org/wiki/Liar_paradox](https://rationalwiki.org/wiki/Liar_paradox)
-[31: https://yewtu.be/embed/OZzIvl1tbPo?local=true](https://yewtu.be/embed/OZzIvl1tbPo?local=true)
-[32: mailto:nick@nicholasjohnson.ch](mailto:nick@nicholasjohnson.ch)
+That's all I've got for this post. I think I've packed in a lot of information and good examples to research. Even if you never learn logic, I believe by reading this post you get a sense of what logic is all about and how to at least recognize some common informal fallacies and misunderstandings. I tried to include plenty of useful external links. This post is barely scratching the surface though. For some readers, just scratching the surface is good enough. But for all I know, the next Gödel might be reading this. In 2011, [a 25-year old math problem about superpermutations was solved by an anonymous 4chan user](https://yewtu.be/embed/OZzIvl1tbPo?local=true). If that doesn't show that cleverness can come from anywhere, I don't what does.
+
+I hope you enjoyed the post. If there's anything that you think I should have covered in this post or that I should talk in the future, [let me know about it](mailto:nick@nicholasjohnson.ch).