<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" encoding="UTF-8" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:sy="http://purl.org/rss/1.0/modules/syndication/" xmlns:admin="http://webns.net/mvcb/" xmlns:atom="http://www.w3.org/2005/Atom/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:googleplay="http://www.google.com/schemas/play-podcasts/1.0" xmlns:itunes="http://www.itunes.com/dtds/podcast-1.0.dtd" xmlns:fireside="http://fireside.fm/modules/rss/fireside">
  <channel>
    <fireside:hostname>web02.fireside.fm</fireside:hostname>
    <fireside:genDate>Fri, 15 May 2026 19:06:57 -0500</fireside:genDate>
    <generator>Fireside (https://fireside.fm)</generator>
    <title>Increments - Episodes Tagged with “Logic”</title>
    <link>https://www.incrementspodcast.com/tags/logic</link>
    <pubDate>Wed, 23 Oct 2024 09:00:00 -0700</pubDate>
    <description>Vaden Masrani, a senior research scientist in machine learning, and Ben Chugg, a PhD student in statistics, get into trouble arguing about everything except machine learning and statistics. Coherence is somewhere on the horizon. 
Bribes, suggestions, love-mail and hate-mail all welcome at incrementspodcast@gmail.com. 
</description>
    <language>en-us</language>
    <itunes:type>episodic</itunes:type>
    <itunes:subtitle>Science, Philosophy, Epistemology, Mayhem</itunes:subtitle>
    <itunes:author>Ben Chugg and Vaden Masrani</itunes:author>
    <itunes:summary>Vaden Masrani, a senior research scientist in machine learning, and Ben Chugg, a PhD student in statistics, get into trouble arguing about everything except machine learning and statistics. Coherence is somewhere on the horizon. 
Bribes, suggestions, love-mail and hate-mail all welcome at incrementspodcast@gmail.com. 
</itunes:summary>
    <itunes:image href="https://media24.fireside.fm/file/fireside-images-2024/podcasts/images/3/3229e340-4bf1-42a5-a5b7-4f508a27131c/cover.jpg?v=18"/>
    <itunes:explicit>no</itunes:explicit>
    <itunes:keywords>Philosophy,Science,Ethics,Progress,Knowledge,Computer Science,Conversation,Error-Correction</itunes:keywords>
    <itunes:owner>
      <itunes:name>Ben Chugg and Vaden Masrani</itunes:name>
      <itunes:email>incrementspodcast@gmail.com</itunes:email>
    </itunes:owner>
<itunes:category text="Society &amp; Culture">
  <itunes:category text="Philosophy"/>
</itunes:category>
<itunes:category text="Science"/>
<item>
  <title>#75 -  The Problem of Induction, Relitigated (w/ Tamler Sommers)</title>
  <link>https://www.incrementspodcast.com/75</link>
  <guid isPermaLink="false">620c85f4-0377-4a5a-ba7e-71006bcb89b4</guid>
  <pubDate>Wed, 23 Oct 2024 09:00:00 -0700</pubDate>
  <author>Ben Chugg and Vaden Masrani</author>
  <enclosure url="https://dts.podtrac.com/redirect.mp3/https://chrt.fm/track/1F5B4D/aphid.fireside.fm/d/1437767933/3229e340-4bf1-42a5-a5b7-4f508a27131c/620c85f4-0377-4a5a-ba7e-71006bcb89b4.mp3" length="98840196" type="audio/mpeg"/>
  <itunes:episodeType>full</itunes:episodeType>
  <itunes:author>Ben Chugg and Vaden Masrani</itunes:author>
  <itunes:subtitle>When Very Bad Wizards meets Very Culty Popperians. Famed philosopher, podcaster, and Kant-hater Tamler Sommers joins the boys for a spirited disagreement over Popper, and whether he solved the Problem of Induction. </itunes:subtitle>
  <itunes:duration>1:41:13</itunes:duration>
  <itunes:explicit>no</itunes:explicit>
  <itunes:image href="https://media24.fireside.fm/file/fireside-images-2024/podcasts/images/3/3229e340-4bf1-42a5-a5b7-4f508a27131c/episodes/6/620c85f4-0377-4a5a-ba7e-71006bcb89b4/cover.jpg?v=4"/>
  <description>&lt;p&gt;When Very Bad Wizards meets Very Culty Popperians.  We finally decided to have a real life professional philosopher on the pod to call us out on our nonsense,  and are honored to have on Tamler Sommers, from the esteemed Very Bad Wizards podcast, to argue with us about the Problem of Induction. Did Popper solve it, or does his proposed solution, like all the other attempts, "fail decisively"? &lt;/p&gt;

&lt;p&gt;(Warning: One of the two hosts maaay have revealed their Popperian dogmatism a bit throughout this episode. Whichever host that is - they shall remain unnamed - apologizes quietly and stubbornly under their breath.) &lt;/p&gt;

&lt;p&gt;Check out &lt;a href="https://www.tamlersommers.com/" target="_blank" rel="nofollow noopener"&gt;Tamler's website&lt;/a&gt;, his podcast (&lt;a href="https://verybadwizards.com/" target="_blank" rel="nofollow noopener"&gt;Very Bad Wizards&lt;/a&gt;), or follow him on twitter (@tamler). &lt;/p&gt;

We discuss

&lt;ul&gt;
&lt;li&gt;What is the problem of induction? &lt;/li&gt;
&lt;li&gt;Whether regularities really exist in nature&lt;/li&gt;
&lt;li&gt;The difference between certainty and justification &lt;/li&gt;
&lt;li&gt;Popper's solution to the problem of induction &lt;/li&gt;
&lt;li&gt;If whiskey will taste like orange juice next week&lt;/li&gt;
&lt;li&gt;What makes a good theory?&lt;/li&gt;
&lt;li&gt;Why prediction is secondary to explanation for Popper &lt;/li&gt;
&lt;li&gt;If science and meditiation are in conflict &lt;/li&gt;
&lt;li&gt;The boundaries of science&lt;br&gt;
&lt;/li&gt;
&lt;/ul&gt;

References

&lt;ul&gt;
&lt;li&gt;&lt;a href="https://verybadwizards.com/episode/episode-294-the-scandal-of-philosophy-humes-problem-of-induction" target="_blank" rel="nofollow noopener"&gt;Very Bad Wizards episode on induction&lt;/a&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href="https://home.csulb.edu/%7Ecwallis/100/articles/salmon.html" target="_blank" rel="nofollow noopener"&gt;The problem of induction, by Wesley Salmon&lt;/a&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href="https://plato.stanford.edu/entries/induction-problem/#HumeProb" target="_blank" rel="nofollow noopener"&gt;Hume on induction&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;

Errata

&lt;ul&gt;
&lt;li&gt;Vaden mentions in the episode how "Einstein's theory is better because it can explain earth's gravitational constant". He got some of the details wrong here - it's actually the inverse square law, not the gravitational constant. Listen to Edward Witten explain it much better &lt;a href="https://www.youtube.com/watch?v=A_9RqsHYEAs" target="_blank" rel="nofollow noopener"&gt;here&lt;/a&gt;. &lt;/li&gt;
&lt;/ul&gt;

Socials

&lt;ul&gt;
&lt;li&gt;Follow us on Twitter at @IncrementsPod, @BennyChugg, @VadenMasrani, @tamler&lt;/li&gt;
&lt;li&gt;Come join our discord server! DM us on twitter or send us an email to get a supersecret link&lt;/li&gt;
&lt;li&gt;Trust in our regularity and get exclusive bonus content by becoming a patreon subscriber &lt;a href="https://www.patreon.com/Increments" target="_blank" rel="nofollow noopener"&gt;here&lt;/a&gt;. Or give us one-time cash donations to help cover our lack of cash donations &lt;a href="https://ko-fi.com/increments" target="_blank" rel="nofollow noopener"&gt;here&lt;/a&gt;.&lt;/li&gt;
&lt;li&gt;Click dem like buttons on &lt;a href="https://www.youtube.com/channel/UC_4wZzQyoW4s4ZuE4FY9DQQ" target="_blank" rel="nofollow noopener"&gt;youtube&lt;/a&gt;
&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;If you are a Very Bad Wizards listener, hello! We're exactly like Tamler and David, except younger. Come join the Cult of Popper over at &lt;a href="mailto:incrementspodcast@gmail.com" target="_blank" rel="nofollow noopener"&gt;incrementspodcast@gmail.com&lt;/a&gt; &lt;/p&gt;

&lt;p&gt;Image credit: From this &lt;a href="https://aeon.co/essays/hume-is-the-amiable-modest-generous-philosopher-we-need-today" target="_blank" rel="nofollow noopener"&gt;Aeon essay on Hume&lt;/a&gt;. Illustration by Petra Eriksson at Handsome Frank.  Special Guest: Tamler Sommers.&lt;/p&gt;
</description>
  <itunes:keywords>induction, popper, belief, certainty, justification, deduction, logic</itunes:keywords>
  <content:encoded>
    <![CDATA[<p>When Very Bad Wizards meets Very Culty Popperians.  We finally decided to have a real life professional philosopher on the pod to call us out on our nonsense,  and are honored to have on Tamler Sommers, from the esteemed Very Bad Wizards podcast, to argue with us about the Problem of Induction. Did Popper solve it, or does his proposed solution, like all the other attempts, &quot;fail decisively&quot;? </p>

<p>(Warning: One of the two hosts maaay have revealed their Popperian dogmatism a bit throughout this episode. Whichever host that is - they shall remain unnamed - apologizes quietly and stubbornly under their breath.) </p>

<p>Check out <a href="https://www.tamlersommers.com/" rel="nofollow">Tamler&#39;s website</a>, his podcast (<a href="https://verybadwizards.com/" rel="nofollow">Very Bad Wizards</a>), or follow him on twitter (@tamler). </p>

<h1>We discuss</h1>

<ul>
<li>What is the problem of induction? </li>
<li>Whether regularities really exist in nature</li>
<li>The difference between certainty and justification </li>
<li>Popper&#39;s solution to the problem of induction </li>
<li>If whiskey will taste like orange juice next week</li>
<li>What makes a good theory?</li>
<li>Why prediction is secondary to explanation for Popper </li>
<li>If science and meditiation are in conflict </li>
<li>The boundaries of science<br></li>
</ul>

<h1>References</h1>

<ul>
<li><a href="https://verybadwizards.com/episode/episode-294-the-scandal-of-philosophy-humes-problem-of-induction" rel="nofollow">Very Bad Wizards episode on induction</a></li>
<li><a href="https://home.csulb.edu/%7Ecwallis/100/articles/salmon.html" rel="nofollow">The problem of induction, by Wesley Salmon</a></li>
<li><a href="https://plato.stanford.edu/entries/induction-problem/#HumeProb" rel="nofollow">Hume on induction</a></li>
</ul>

<h1>Errata</h1>

<ul>
<li>Vaden mentions in the episode how &quot;Einstein&#39;s theory is better because it can explain earth&#39;s gravitational constant&quot;. He got some of the details wrong here - it&#39;s actually the inverse square law, not the gravitational constant. Listen to Edward Witten explain it much better <a href="https://www.youtube.com/watch?v=A_9RqsHYEAs" rel="nofollow">here</a>. </li>
</ul>

<h1>Socials</h1>

<ul>
<li>Follow us on Twitter at @IncrementsPod, @BennyChugg, @VadenMasrani, @tamler</li>
<li>Come join our discord server! DM us on twitter or send us an email to get a supersecret link</li>
<li>Trust in our regularity and get exclusive bonus content by becoming a patreon subscriber <a href="https://www.patreon.com/Increments" rel="nofollow">here</a>. Or give us one-time cash donations to help cover our lack of cash donations <a href="https://ko-fi.com/increments" rel="nofollow">here</a>.</li>
<li>Click dem like buttons on <a href="https://www.youtube.com/channel/UC_4wZzQyoW4s4ZuE4FY9DQQ" rel="nofollow">youtube</a></li>
</ul>

<p>If you are a Very Bad Wizards listener, hello! We&#39;re exactly like Tamler and David, except younger. Come join the Cult of Popper over at <a href="mailto:incrementspodcast@gmail.com" rel="nofollow">incrementspodcast@gmail.com</a> </p>

<p>Image credit: From this <a href="https://aeon.co/essays/hume-is-the-amiable-modest-generous-philosopher-we-need-today" rel="nofollow">Aeon essay on Hume</a>. Illustration by Petra Eriksson at Handsome Frank. </p><p>Special Guest: Tamler Sommers.</p><p><a rel="payment" href="https://www.patreon.com/Increments">Support Increments</a></p>]]>
  </content:encoded>
  <itunes:summary>
    <![CDATA[<p>When Very Bad Wizards meets Very Culty Popperians.  We finally decided to have a real life professional philosopher on the pod to call us out on our nonsense,  and are honored to have on Tamler Sommers, from the esteemed Very Bad Wizards podcast, to argue with us about the Problem of Induction. Did Popper solve it, or does his proposed solution, like all the other attempts, &quot;fail decisively&quot;? </p>

<p>(Warning: One of the two hosts maaay have revealed their Popperian dogmatism a bit throughout this episode. Whichever host that is - they shall remain unnamed - apologizes quietly and stubbornly under their breath.) </p>

<p>Check out <a href="https://www.tamlersommers.com/" rel="nofollow">Tamler&#39;s website</a>, his podcast (<a href="https://verybadwizards.com/" rel="nofollow">Very Bad Wizards</a>), or follow him on twitter (@tamler). </p>

<h1>We discuss</h1>

<ul>
<li>What is the problem of induction? </li>
<li>Whether regularities really exist in nature</li>
<li>The difference between certainty and justification </li>
<li>Popper&#39;s solution to the problem of induction </li>
<li>If whiskey will taste like orange juice next week</li>
<li>What makes a good theory?</li>
<li>Why prediction is secondary to explanation for Popper </li>
<li>If science and meditiation are in conflict </li>
<li>The boundaries of science<br></li>
</ul>

<h1>References</h1>

<ul>
<li><a href="https://verybadwizards.com/episode/episode-294-the-scandal-of-philosophy-humes-problem-of-induction" rel="nofollow">Very Bad Wizards episode on induction</a></li>
<li><a href="https://home.csulb.edu/%7Ecwallis/100/articles/salmon.html" rel="nofollow">The problem of induction, by Wesley Salmon</a></li>
<li><a href="https://plato.stanford.edu/entries/induction-problem/#HumeProb" rel="nofollow">Hume on induction</a></li>
</ul>

<h1>Errata</h1>

<ul>
<li>Vaden mentions in the episode how &quot;Einstein&#39;s theory is better because it can explain earth&#39;s gravitational constant&quot;. He got some of the details wrong here - it&#39;s actually the inverse square law, not the gravitational constant. Listen to Edward Witten explain it much better <a href="https://www.youtube.com/watch?v=A_9RqsHYEAs" rel="nofollow">here</a>. </li>
</ul>

<h1>Socials</h1>

<ul>
<li>Follow us on Twitter at @IncrementsPod, @BennyChugg, @VadenMasrani, @tamler</li>
<li>Come join our discord server! DM us on twitter or send us an email to get a supersecret link</li>
<li>Trust in our regularity and get exclusive bonus content by becoming a patreon subscriber <a href="https://www.patreon.com/Increments" rel="nofollow">here</a>. Or give us one-time cash donations to help cover our lack of cash donations <a href="https://ko-fi.com/increments" rel="nofollow">here</a>.</li>
<li>Click dem like buttons on <a href="https://www.youtube.com/channel/UC_4wZzQyoW4s4ZuE4FY9DQQ" rel="nofollow">youtube</a></li>
</ul>

<p>If you are a Very Bad Wizards listener, hello! We&#39;re exactly like Tamler and David, except younger. Come join the Cult of Popper over at <a href="mailto:incrementspodcast@gmail.com" rel="nofollow">incrementspodcast@gmail.com</a> </p>

<p>Image credit: From this <a href="https://aeon.co/essays/hume-is-the-amiable-modest-generous-philosopher-we-need-today" rel="nofollow">Aeon essay on Hume</a>. Illustration by Petra Eriksson at Handsome Frank. </p><p>Special Guest: Tamler Sommers.</p><p><a rel="payment" href="https://www.patreon.com/Increments">Support Increments</a></p>]]>
  </itunes:summary>
</item>
<item>
  <title>#28 (C&amp;R Series, Ch. 9) - Why is Logic Applicable to Reality?</title>
  <link>https://www.incrementspodcast.com/28</link>
  <guid isPermaLink="false">99e52867-1669-4c24-ad72-bcedab880c07</guid>
  <pubDate>Mon, 19 Jul 2021 01:00:00 -0700</pubDate>
  <author>Ben Chugg and Vaden Masrani</author>
  <enclosure url="https://dts.podtrac.com/redirect.mp3/https://chrt.fm/track/1F5B4D/aphid.fireside.fm/d/1437767933/3229e340-4bf1-42a5-a5b7-4f508a27131c/99e52867-1669-4c24-ad72-bcedab880c07.mp3" length="44221753" type="audio/mpeg"/>
  <itunes:episodeType>full</itunes:episodeType>
  <itunes:author>Ben Chugg and Vaden Masrani</itunes:author>
  <itunes:subtitle>We discuss Chapter 9 of Conjectures and Refutations: Why are the Calculi of Logic and Arithmetic Applicable to Reality?</itunes:subtitle>
  <itunes:duration>1:01:25</itunes:duration>
  <itunes:explicit>no</itunes:explicit>
  <itunes:image href="https://media24.fireside.fm/file/fireside-images-2024/podcasts/images/3/3229e340-4bf1-42a5-a5b7-4f508a27131c/cover.jpg?v=18"/>
  <description>&lt;p&gt;Why do logic and mathematics work so well in the world? Why do they seem to describe reality? Why do they they enable us to design circuit boards, build airplanes, and listen remotely to handsome and charming podcast hosts who rarely go off topic? &lt;/p&gt;

&lt;p&gt;To answer these questions, we dive into Chapter 9 of Conjectures and Refutations: &lt;em&gt;Why are the Calculi of Logic and Arithmetic Applicable to Reality?&lt;/em&gt;. &lt;/p&gt;

&lt;p&gt;But before we get to that, we touch on some of the good stuff: evolutionary psychology, cunnilingus, and why Robin is better than Batman. &lt;/p&gt;

&lt;p&gt;&lt;strong&gt;References&lt;/strong&gt;: &lt;/p&gt;

&lt;ul&gt;
&lt;li&gt;Conjectures and Refutations, Chapter 9: Why are the Calculi of Logic and Arithmetic Applicable to Reality? &lt;a href="https://books.google.ca/books?id=iXp9AwAAQBAJ&amp;amp;printsec=frontcover&amp;amp;source=gbs_ge_summary_r&amp;amp;cad=0#v=onepage&amp;amp;q&amp;amp;f=false" target="_blank" rel="nofollow noopener"&gt;https://books.google.ca/books?id=iXp9AwAAQBAJ&amp;amp;amp;printsec=frontcover&amp;amp;amp;source=gbs_ge_summary_r&amp;amp;amp;cad=0#v=onepage&amp;amp;amp;q&amp;amp;amp;f=false&lt;/a&gt;
&lt;/li&gt;
&lt;li&gt;&lt;a href="https://www.doexplain.org/episodes/311-nonuniversal-explainers-with-ben-chugg" target="_blank" rel="nofollow noopener"&gt;Ben on Do Explain with Christofer Lovgren&lt;/a&gt;&lt;/li&gt;
&lt;li&gt;
&lt;a href="https://www.youtube.com/watch?v=-Hb3oe7-PJ8&amp;amp;ab_channel=HarvardUniversity" target="_blank" rel="nofollow noopener"&gt;Debate&lt;/a&gt; between Spelke and Pinker&lt;/li&gt;
&lt;li&gt;Very Bad Wizards discussing the paper "Oral Sex as Infidelity detection" (&lt;a href="https://www.verybadwizards.com/216" target="_blank" rel="nofollow noopener"&gt;episode&lt;/a&gt;, &lt;a href="https://www.toddkshackelford.com/downloads/Pham-Shackelford-PAID-2013.pdf" target="_blank" rel="nofollow noopener"&gt;paper&lt;/a&gt;). &lt;/li&gt;
&lt;li&gt;Sturgeon's Law: &lt;a href="https://en.wikipedia.org/wiki/Sturgeon%27s_law#:%7E:text=Sturgeon%27s%20law%20(or%20Sturgeon%27s%20revelation,science%20fiction%20author%20and%20critic" target="_blank" rel="nofollow noopener"&gt;https://en.wikipedia.org/wiki/Sturgeon%27s_law#:~:text=Sturgeon%27s%20law%20(or%20Sturgeon%27s%20revelation,science%20fiction%20author%20and%20critic&lt;/a&gt;.&lt;/li&gt;
&lt;li&gt;Eugene Wigner's &lt;a href="https://www.maths.ed.ac.uk/%7Ev1ranick/papers/wigner.pdf" target="_blank" rel="nofollow noopener"&gt;paper&lt;/a&gt; &lt;em&gt;The Unreasonable Effective of Mathematics in the Natural Sciences&lt;/em&gt;. &lt;/li&gt;
&lt;li&gt;Stoic versus Aristotelian logic. &lt;a href="https://www.uvm.edu/%7Ejbailly/courses/196Stoicism/notes/StoicLogic.html" target="_blank" rel="nofollow noopener"&gt;Here&lt;/a&gt; is a nice discussion of the differences between the two. &lt;/li&gt;
&lt;li&gt;Rob Wiblin's &lt;a href="https://twitter.com/robertwiblin/status/1345800502093766657" target="_blank" rel="nofollow noopener"&gt;tweet&lt;/a&gt; that all probabilities are subjective probabilities (in an otherwise very good thread). &lt;/li&gt;
&lt;li&gt;Buhler's three functions of language: (i) Expressive, (ii) Signaling, and (iii) Descriptive. See the &lt;a href="https://en.wikipedia.org/wiki/Organon_model#:%7E:text=B%C3%BChler's%20work%20influenced%20Roman%20Jakobson,the%20representation%20function%20(Darstellungsfunktion)" target="_blank" rel="nofollow noopener"&gt;"Organon Model"&lt;/a&gt;. &lt;/li&gt;
&lt;li&gt;
&lt;a href="https://www.skeptic.org.uk/2021/06/youre-probably-not-galileo-scientific-advance-rarely-comes-from-lone-contrarian-outsiders/" target="_blank" rel="nofollow noopener"&gt;Piece&lt;/a&gt; on Brett Weinstein and Ivermectin.&lt;br&gt;
&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;&lt;strong&gt;Quotes:&lt;/strong&gt;&lt;/p&gt;

&lt;p&gt;“The indescribable world I have in mind is, of course, the world I have ‘in my mind’—the world which most psychologists (except the behaviourists) attempt to describe, somewhat unsuccessfully, with the help of what is nothing but a host of metaphors taken from the languages of physics, of biology, and of social life.” &lt;/p&gt;

&lt;p&gt;“In so far as a calculus is applied to reality, it loses the character of a logical calculus and becomes a descriptive theory which may be empirically refutable; and in so far as it is treated as irrefutable, i.e. as a system of logically true formulae, rather than a descriptive scientiﬁc theory, it is not applied to reality.” &lt;/p&gt;

&lt;p&gt;Send us the most bizarre use of evolutionary psychology you've seen at &lt;a href="mailto:incrementspodcast@gmail.com" target="_blank" rel="nofollow noopener"&gt;incrementspodcast@gmail.com&lt;/a&gt;.  &lt;/p&gt;
</description>
  <itunes:keywords>logic, rules of inference, arithmetic, philosophy of mathematics</itunes:keywords>
  <content:encoded>
    <![CDATA[<p>Why do logic and mathematics work so well in the world? Why do they seem to describe reality? Why do they they enable us to design circuit boards, build airplanes, and listen remotely to handsome and charming podcast hosts who rarely go off topic? </p>

<p>To answer these questions, we dive into Chapter 9 of Conjectures and Refutations: <em>Why are the Calculi of Logic and Arithmetic Applicable to Reality?</em>. </p>

<p>But before we get to that, we touch on some of the good stuff: evolutionary psychology, cunnilingus, and why Robin is better than Batman. </p>

<p><strong>References</strong>: </p>

<ul>
<li>Conjectures and Refutations, Chapter 9: Why are the Calculi of Logic and Arithmetic Applicable to Reality? <a href="https://books.google.ca/books?id=iXp9AwAAQBAJ&printsec=frontcover&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false" rel="nofollow">https://books.google.ca/books?id=iXp9AwAAQBAJ&amp;printsec=frontcover&amp;source=gbs_ge_summary_r&amp;cad=0#v=onepage&amp;q&amp;f=false</a></li>
<li><a href="https://www.doexplain.org/episodes/311-nonuniversal-explainers-with-ben-chugg" rel="nofollow">Ben on Do Explain with Christofer Lovgren</a></li>
<li><a href="https://www.youtube.com/watch?v=-Hb3oe7-PJ8&ab_channel=HarvardUniversity" rel="nofollow">Debate</a> between Spelke and Pinker</li>
<li>Very Bad Wizards discussing the paper &quot;Oral Sex as Infidelity detection&quot; (<a href="https://www.verybadwizards.com/216" rel="nofollow">episode</a>, <a href="https://www.toddkshackelford.com/downloads/Pham-Shackelford-PAID-2013.pdf" rel="nofollow">paper</a>). </li>
<li>Sturgeon&#39;s Law: <a href="https://en.wikipedia.org/wiki/Sturgeon%27s_law#:%7E:text=Sturgeon%27s%20law%20(or%20Sturgeon%27s%20revelation,science%20fiction%20author%20and%20critic" rel="nofollow">https://en.wikipedia.org/wiki/Sturgeon%27s_law#:~:text=Sturgeon%27s%20law%20(or%20Sturgeon%27s%20revelation,science%20fiction%20author%20and%20critic</a>.</li>
<li>Eugene Wigner&#39;s <a href="https://www.maths.ed.ac.uk/%7Ev1ranick/papers/wigner.pdf" rel="nofollow">paper</a> <em>The Unreasonable Effective of Mathematics in the Natural Sciences</em>. </li>
<li>Stoic versus Aristotelian logic. <a href="https://www.uvm.edu/%7Ejbailly/courses/196Stoicism/notes/StoicLogic.html" rel="nofollow">Here</a> is a nice discussion of the differences between the two. </li>
<li>Rob Wiblin&#39;s <a href="https://twitter.com/robertwiblin/status/1345800502093766657" rel="nofollow">tweet</a> that all probabilities are subjective probabilities (in an otherwise very good thread). </li>
<li>Buhler&#39;s three functions of language: (i) Expressive, (ii) Signaling, and (iii) Descriptive. See the <a href="https://en.wikipedia.org/wiki/Organon_model#:%7E:text=B%C3%BChler&#x27;s%20work%20influenced%20Roman%20Jakobson,the%20representation%20function%20(Darstellungsfunktion)" rel="nofollow">&quot;Organon Model&quot;</a>. </li>
<li><a href="https://www.skeptic.org.uk/2021/06/youre-probably-not-galileo-scientific-advance-rarely-comes-from-lone-contrarian-outsiders/" rel="nofollow">Piece</a> on Brett Weinstein and Ivermectin.<br></li>
</ul>

<p><strong>Quotes:</strong></p>

<p>“The indescribable world I have in mind is, of course, the world I have ‘in my mind’—the world which most psychologists (except the behaviourists) attempt to describe, somewhat unsuccessfully, with the help of what is nothing but a host of metaphors taken from the languages of physics, of biology, and of social life.” </p>

<p>“In so far as a calculus is applied to reality, it loses the character of a logical calculus and becomes a descriptive theory which may be empirically refutable; and in so far as it is treated as irrefutable, i.e. as a system of logically true formulae, rather than a descriptive scientiﬁc theory, it is not applied to reality.” </p>

<p>Send us the most bizarre use of evolutionary psychology you&#39;ve seen at <a href="mailto:incrementspodcast@gmail.com" rel="nofollow">incrementspodcast@gmail.com</a>. </p><p><a rel="payment" href="https://www.patreon.com/Increments">Support Increments</a></p>]]>
  </content:encoded>
  <itunes:summary>
    <![CDATA[<p>Why do logic and mathematics work so well in the world? Why do they seem to describe reality? Why do they they enable us to design circuit boards, build airplanes, and listen remotely to handsome and charming podcast hosts who rarely go off topic? </p>

<p>To answer these questions, we dive into Chapter 9 of Conjectures and Refutations: <em>Why are the Calculi of Logic and Arithmetic Applicable to Reality?</em>. </p>

<p>But before we get to that, we touch on some of the good stuff: evolutionary psychology, cunnilingus, and why Robin is better than Batman. </p>

<p><strong>References</strong>: </p>

<ul>
<li>Conjectures and Refutations, Chapter 9: Why are the Calculi of Logic and Arithmetic Applicable to Reality? <a href="https://books.google.ca/books?id=iXp9AwAAQBAJ&printsec=frontcover&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false" rel="nofollow">https://books.google.ca/books?id=iXp9AwAAQBAJ&amp;printsec=frontcover&amp;source=gbs_ge_summary_r&amp;cad=0#v=onepage&amp;q&amp;f=false</a></li>
<li><a href="https://www.doexplain.org/episodes/311-nonuniversal-explainers-with-ben-chugg" rel="nofollow">Ben on Do Explain with Christofer Lovgren</a></li>
<li><a href="https://www.youtube.com/watch?v=-Hb3oe7-PJ8&ab_channel=HarvardUniversity" rel="nofollow">Debate</a> between Spelke and Pinker</li>
<li>Very Bad Wizards discussing the paper &quot;Oral Sex as Infidelity detection&quot; (<a href="https://www.verybadwizards.com/216" rel="nofollow">episode</a>, <a href="https://www.toddkshackelford.com/downloads/Pham-Shackelford-PAID-2013.pdf" rel="nofollow">paper</a>). </li>
<li>Sturgeon&#39;s Law: <a href="https://en.wikipedia.org/wiki/Sturgeon%27s_law#:%7E:text=Sturgeon%27s%20law%20(or%20Sturgeon%27s%20revelation,science%20fiction%20author%20and%20critic" rel="nofollow">https://en.wikipedia.org/wiki/Sturgeon%27s_law#:~:text=Sturgeon%27s%20law%20(or%20Sturgeon%27s%20revelation,science%20fiction%20author%20and%20critic</a>.</li>
<li>Eugene Wigner&#39;s <a href="https://www.maths.ed.ac.uk/%7Ev1ranick/papers/wigner.pdf" rel="nofollow">paper</a> <em>The Unreasonable Effective of Mathematics in the Natural Sciences</em>. </li>
<li>Stoic versus Aristotelian logic. <a href="https://www.uvm.edu/%7Ejbailly/courses/196Stoicism/notes/StoicLogic.html" rel="nofollow">Here</a> is a nice discussion of the differences between the two. </li>
<li>Rob Wiblin&#39;s <a href="https://twitter.com/robertwiblin/status/1345800502093766657" rel="nofollow">tweet</a> that all probabilities are subjective probabilities (in an otherwise very good thread). </li>
<li>Buhler&#39;s three functions of language: (i) Expressive, (ii) Signaling, and (iii) Descriptive. See the <a href="https://en.wikipedia.org/wiki/Organon_model#:%7E:text=B%C3%BChler&#x27;s%20work%20influenced%20Roman%20Jakobson,the%20representation%20function%20(Darstellungsfunktion)" rel="nofollow">&quot;Organon Model&quot;</a>. </li>
<li><a href="https://www.skeptic.org.uk/2021/06/youre-probably-not-galileo-scientific-advance-rarely-comes-from-lone-contrarian-outsiders/" rel="nofollow">Piece</a> on Brett Weinstein and Ivermectin.<br></li>
</ul>

<p><strong>Quotes:</strong></p>

<p>“The indescribable world I have in mind is, of course, the world I have ‘in my mind’—the world which most psychologists (except the behaviourists) attempt to describe, somewhat unsuccessfully, with the help of what is nothing but a host of metaphors taken from the languages of physics, of biology, and of social life.” </p>

<p>“In so far as a calculus is applied to reality, it loses the character of a logical calculus and becomes a descriptive theory which may be empirically refutable; and in so far as it is treated as irrefutable, i.e. as a system of logically true formulae, rather than a descriptive scientiﬁc theory, it is not applied to reality.” </p>

<p>Send us the most bizarre use of evolutionary psychology you&#39;ve seen at <a href="mailto:incrementspodcast@gmail.com" rel="nofollow">incrementspodcast@gmail.com</a>. </p><p><a rel="payment" href="https://www.patreon.com/Increments">Support Increments</a></p>]]>
  </itunes:summary>
</item>
<item>
  <title>#25 - Mathematical Explanation with Mark Colyvan</title>
  <link>https://www.incrementspodcast.com/25</link>
  <guid isPermaLink="false">1a5864a9-d5d7-43af-b8d6-e78dcb1d90c3</guid>
  <pubDate>Mon, 24 May 2021 14:00:00 -0700</pubDate>
  <author>Ben Chugg and Vaden Masrani</author>
  <enclosure url="https://dts.podtrac.com/redirect.mp3/https://chrt.fm/track/1F5B4D/aphid.fireside.fm/d/1437767933/3229e340-4bf1-42a5-a5b7-4f508a27131c/1a5864a9-d5d7-43af-b8d6-e78dcb1d90c3.mp3" length="61259231" type="audio/mpeg"/>
  <itunes:episodeType>full</itunes:episodeType>
  <itunes:author>Ben Chugg and Vaden Masrani</itunes:author>
  <itunes:subtitle>We're joined by professor Mark Colyvan to talk about the philosophy of mathematics, logic, and thought experiments. </itunes:subtitle>
  <itunes:duration>2:07:37</itunes:duration>
  <itunes:explicit>no</itunes:explicit>
  <itunes:image href="https://media24.fireside.fm/file/fireside-images-2024/podcasts/images/3/3229e340-4bf1-42a5-a5b7-4f508a27131c/cover.jpg?v=18"/>
  <description>&lt;p&gt;We often talk of explanation in the context of empirical sciences, but what about explanation in logic and mathematics? Is there such a thing? If so, what does it look like and what are the consequences? In this episode we sit down with professor of philosophy Mark Colyvan and explore &lt;/p&gt;

&lt;ul&gt;
&lt;li&gt;How mathematical explanation differs from explanation in the natural sciences&lt;/li&gt;
&lt;li&gt;Counterfactual reasoning in mathematics &lt;/li&gt;
&lt;li&gt;Intra versus extra mathematical explanation &lt;/li&gt;
&lt;li&gt;Alternate logics &lt;/li&gt;
&lt;li&gt;Mathematical thought experiments &lt;/li&gt;
&lt;li&gt;The use of probability in the courtroom&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;References: &lt;/p&gt;

&lt;ul&gt;
&lt;li&gt;
&lt;a href="https://www.maths.ed.ac.uk/%7Ev1ranick/papers/wigner.pdf" target="_blank" rel="nofollow noopener"&gt;The Unreasonable Effectiveness of Mathematics in the Natural Sciences&lt;/a&gt; by Eugene Wigner. &lt;/li&gt;
&lt;li&gt;
&lt;a href="https://en.wikipedia.org/wiki/Proofs_and_Refutations#:%7E:text=Proofs%20and%20Refutations%3A%20The%20Logic,characteristic%20defined%20for%20the%20polyhedron." target="_blank" rel="nofollow noopener"&gt;Proofs and Refutations&lt;/a&gt; by Imre Lakatos. &lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;&lt;em&gt;&lt;a href="http://www.colyvan.com/" target="_blank" rel="nofollow noopener"&gt;Mark Colyvan&lt;/a&gt; is a professor of philosophy at the University of Sydney, and a visiting professor (and, previously, Humboldt fellow) at Ludwig-Maximilians University in Munich. He has a wide array of research interests, including the philosophy of mathematics, philosophy of logic, decision theory, environmental philosophy, and ecology. He has authored three books: The Indispensability of Mathematics (Oxford University Press, 2001), Ecological Orbits: How Planets Move and Populations Grow (Oxford University Press, 2004, co-authored with Lev Ginzburg), and An Introduction to the Philosophy of Mathematics (Cambridge University Press, 2012).&lt;/em&gt;&lt;/p&gt;

&lt;p&gt;Special Guest: Mark Colyvan.&lt;/p&gt;
</description>
  <itunes:keywords>counterfactual, explanation, philosophy of mathematics, logic, thought experiments</itunes:keywords>
  <content:encoded>
    <![CDATA[<p>We often talk of explanation in the context of empirical sciences, but what about explanation in logic and mathematics? Is there such a thing? If so, what does it look like and what are the consequences? In this episode we sit down with professor of philosophy Mark Colyvan and explore </p>

<ul>
<li>How mathematical explanation differs from explanation in the natural sciences</li>
<li>Counterfactual reasoning in mathematics </li>
<li>Intra versus extra mathematical explanation </li>
<li>Alternate logics </li>
<li>Mathematical thought experiments </li>
<li>The use of probability in the courtroom</li>
</ul>

<p>References: </p>

<ul>
<li><a href="https://www.maths.ed.ac.uk/%7Ev1ranick/papers/wigner.pdf" rel="nofollow">The Unreasonable Effectiveness of Mathematics in the Natural Sciences</a> by Eugene Wigner. </li>
<li><a href="https://en.wikipedia.org/wiki/Proofs_and_Refutations#:%7E:text=Proofs%20and%20Refutations%3A%20The%20Logic,characteristic%20defined%20for%20the%20polyhedron." rel="nofollow">Proofs and Refutations</a> by Imre Lakatos. </li>
</ul>

<p><em><a href="http://www.colyvan.com/" rel="nofollow">Mark Colyvan</a> is a professor of philosophy at the University of Sydney, and a visiting professor (and, previously, Humboldt fellow) at Ludwig-Maximilians University in Munich. He has a wide array of research interests, including the philosophy of mathematics, philosophy of logic, decision theory, environmental philosophy, and ecology. He has authored three books: The Indispensability of Mathematics (Oxford University Press, 2001), Ecological Orbits: How Planets Move and Populations Grow (Oxford University Press, 2004, co-authored with Lev Ginzburg), and An Introduction to the Philosophy of Mathematics (Cambridge University Press, 2012).</em></p><p>Special Guest: Mark Colyvan.</p><p><a rel="payment" href="https://www.patreon.com/Increments">Support Increments</a></p>]]>
  </content:encoded>
  <itunes:summary>
    <![CDATA[<p>We often talk of explanation in the context of empirical sciences, but what about explanation in logic and mathematics? Is there such a thing? If so, what does it look like and what are the consequences? In this episode we sit down with professor of philosophy Mark Colyvan and explore </p>

<ul>
<li>How mathematical explanation differs from explanation in the natural sciences</li>
<li>Counterfactual reasoning in mathematics </li>
<li>Intra versus extra mathematical explanation </li>
<li>Alternate logics </li>
<li>Mathematical thought experiments </li>
<li>The use of probability in the courtroom</li>
</ul>

<p>References: </p>

<ul>
<li><a href="https://www.maths.ed.ac.uk/%7Ev1ranick/papers/wigner.pdf" rel="nofollow">The Unreasonable Effectiveness of Mathematics in the Natural Sciences</a> by Eugene Wigner. </li>
<li><a href="https://en.wikipedia.org/wiki/Proofs_and_Refutations#:%7E:text=Proofs%20and%20Refutations%3A%20The%20Logic,characteristic%20defined%20for%20the%20polyhedron." rel="nofollow">Proofs and Refutations</a> by Imre Lakatos. </li>
</ul>

<p><em><a href="http://www.colyvan.com/" rel="nofollow">Mark Colyvan</a> is a professor of philosophy at the University of Sydney, and a visiting professor (and, previously, Humboldt fellow) at Ludwig-Maximilians University in Munich. He has a wide array of research interests, including the philosophy of mathematics, philosophy of logic, decision theory, environmental philosophy, and ecology. He has authored three books: The Indispensability of Mathematics (Oxford University Press, 2001), Ecological Orbits: How Planets Move and Populations Grow (Oxford University Press, 2004, co-authored with Lev Ginzburg), and An Introduction to the Philosophy of Mathematics (Cambridge University Press, 2012).</em></p><p>Special Guest: Mark Colyvan.</p><p><a rel="payment" href="https://www.patreon.com/Increments">Support Increments</a></p>]]>
  </itunes:summary>
</item>
<item>
  <title>#24 - Popper's Three Worlds</title>
  <link>https://www.incrementspodcast.com/24</link>
  <guid isPermaLink="false">Buzzsprout-8500607</guid>
  <pubDate>Tue, 11 May 2021 10:00:00 -0700</pubDate>
  <author>Ben Chugg and Vaden Masrani</author>
  <enclosure url="https://dts.podtrac.com/redirect.mp3/https://chrt.fm/track/1F5B4D/aphid.fireside.fm/d/1437767933/3229e340-4bf1-42a5-a5b7-4f508a27131c/30c82dba-ee1d-4014-8612-0ecc20ba0c2e.mp3" length="53550960" type="audio/mpeg"/>
  <itunes:episodeType>full</itunes:episodeType>
  <itunes:author>Ben Chugg and Vaden Masrani</itunes:author>
  <itunes:subtitle></itunes:subtitle>
  <itunes:duration>1:13:16</itunes:duration>
  <itunes:explicit>no</itunes:explicit>
  <itunes:image href="https://media24.fireside.fm/file/fireside-images-2024/podcasts/images/3/3229e340-4bf1-42a5-a5b7-4f508a27131c/episodes/3/30c82dba-ee1d-4014-8612-0ecc20ba0c2e/cover.jpg?v=3"/>
  <description>&lt;p&gt;This episode begins with a big announcement! Ben has officially become a cat person, and is now Taking Cats Seriously. Vaden follows up with some news of his own, before diving into the main subject for today's episode - &lt;a href="https://tannerlectures.utah.edu/_documents/a-to-z/p/popper80.pdf" target="_blank" rel="nofollow noopener"&gt;Popper's Three Worlds&lt;/a&gt;.
&lt;br&gt;In this episode we discuss:&lt;/p&gt;&lt;ul&gt;
&lt;li&gt;The &lt;a href="https://fallibleideas.com/taking-children-seriously" target="_blank" rel="nofollow noopener"&gt;TCS&lt;/a&gt; parenting movement &lt;/li&gt;
&lt;li&gt;Chesto's &lt;a href="https://twitter.com/mynameisChesto/status/1381798896960086016" target="_blank" rel="nofollow noopener"&gt;tweet&lt;/a&gt; to Deutsch&lt;/li&gt;
&lt;li&gt;How Popper's Three Worlds differs from Deutsch's Things/Qualia/Abstractions classification&lt;/li&gt;
&lt;li&gt;Would prime numbers exist if humans didn't exist?&lt;/li&gt;
&lt;li&gt;What constitutes reality?&lt;/li&gt;
&lt;li&gt;The existence of non-physical entities and the reality of abstractions &lt;/li&gt;
&lt;/ul&gt;&lt;p&gt; &lt;br&gt;Having a quick glance at the following wikipedia pages will help ground the conversation:&lt;/p&gt;&lt;ul&gt;
&lt;li&gt;
&lt;a href="https://en.wikipedia.org/wiki/Formal_system" target="_blank" rel="nofollow noopener"&gt;Formal systems&lt;/a&gt; &lt;/li&gt;
&lt;li&gt;&lt;a href="https://en.wikipedia.org/wiki/Formal_language" target="_blank" rel="nofollow noopener"&gt;Formal languages&lt;/a&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href="https://en.wikipedia.org/wiki/Modular_arithmetic" target="_blank" rel="nofollow noopener"&gt;Modular Arithmetic&lt;/a&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href="https://en.wikipedia.org/wiki/List_of_rules_of_inference#:~:text=Rules%20of%20inference%20are%20syntactical,conclusion%2C%20if%20it%20is%20sound." target="_blank" rel="nofollow noopener"&gt;Rules of inference&lt;/a&gt;&lt;/li&gt;
&lt;li&gt;&lt;a href="https://en.wikipedia.org/wiki/Non-classical_logic#:~:text=Non%2Dclassical%20logics%20(and%20sometimes,extensions%2C%20deviations%2C%20and%20variations." target="_blank" rel="nofollow noopener"&gt;Alternative Logics&lt;/a&gt;&lt;/li&gt;
&lt;/ul&gt;&lt;p&gt;&lt;br&gt;Errata:&lt;/p&gt;&lt;ul&gt;&lt;li&gt;Somewhere Vaden says English is a formal language. Nope definitely not - English is &lt;em&gt;natural&lt;/em&gt; language, which is distinct from a &lt;em&gt;formal&lt;/em&gt; language.  &lt;/li&gt;&lt;/ul&gt;&lt;p&gt;&lt;br&gt;Send us your best guess for whether or not we're real at &lt;em&gt;incrementspodcast@gmail.com.&lt;/em&gt;  &lt;em&gt;&lt;br&gt;&lt;br&gt;&lt;/em&gt;&lt;br&gt;&lt;/p&gt; 
</description>
  <itunes:keywords>abstractions, reality, logic, explanation, popper</itunes:keywords>
  <content:encoded>
    <![CDATA[<p>This episode begins with a big announcement! Ben has officially become a cat person, and is now Taking Cats Seriously. Vaden follows up with some news of his own, before diving into the main subject for today&apos;s episode - <a href='https://tannerlectures.utah.edu/_documents/a-to-z/p/popper80.pdf'>Popper&apos;s Three Worlds</a>.
<br/>In this episode we discuss:</p><ul><li>The <a href='https://fallibleideas.com/taking-children-seriously'>TCS</a> parenting movement </li><li>Chesto&apos;s <a href='https://twitter.com/mynameisChesto/status/1381798896960086016'>tweet</a> to Deutsch</li><li>How Popper&apos;s Three Worlds differs from Deutsch&apos;s Things/Qualia/Abstractions classification</li><li>Would prime numbers exist if humans didn&apos;t exist?</li><li>What constitutes reality?</li><li>The existence of non-physical entities and the reality of abstractions </li></ul><p> <br/>Having a quick glance at the following wikipedia pages will help ground the conversation:</p><ul><li><a href='https://en.wikipedia.org/wiki/Formal_system'>Formal systems</a> </li><li><a href='https://en.wikipedia.org/wiki/Formal_language'>Formal languages</a></li><li><a href='https://en.wikipedia.org/wiki/Modular_arithmetic'>Modular Arithmetic</a></li><li><a href='https://en.wikipedia.org/wiki/List_of_rules_of_inference#:~:text=Rules%20of%20inference%20are%20syntactical,conclusion%2C%20if%20it%20is%20sound.'>Rules of inference</a></li><li><a href='https://en.wikipedia.org/wiki/Non-classical_logic#:~:text=Non%2Dclassical%20logics%20(and%20sometimes,extensions%2C%20deviations%2C%20and%20variations.'>Alternative Logics</a></li></ul><p><br/>Errata:</p><ul><li>Somewhere Vaden says English is a formal language. Nope definitely not - English is <em>natural</em> language, which is distinct from a <em>formal</em> language.  </li></ul><p><br/>Send us your best guess for whether or not we&apos;re real at <em>incrementspodcast@gmail.com.</em>  <em><br/><br/></em><br/></p><p><a rel="payment" href="https://www.patreon.com/Increments">Support Increments</a></p>]]>
  </content:encoded>
  <itunes:summary>
    <![CDATA[<p>This episode begins with a big announcement! Ben has officially become a cat person, and is now Taking Cats Seriously. Vaden follows up with some news of his own, before diving into the main subject for today&apos;s episode - <a href='https://tannerlectures.utah.edu/_documents/a-to-z/p/popper80.pdf'>Popper&apos;s Three Worlds</a>.
<br/>In this episode we discuss:</p><ul><li>The <a href='https://fallibleideas.com/taking-children-seriously'>TCS</a> parenting movement </li><li>Chesto&apos;s <a href='https://twitter.com/mynameisChesto/status/1381798896960086016'>tweet</a> to Deutsch</li><li>How Popper&apos;s Three Worlds differs from Deutsch&apos;s Things/Qualia/Abstractions classification</li><li>Would prime numbers exist if humans didn&apos;t exist?</li><li>What constitutes reality?</li><li>The existence of non-physical entities and the reality of abstractions </li></ul><p> <br/>Having a quick glance at the following wikipedia pages will help ground the conversation:</p><ul><li><a href='https://en.wikipedia.org/wiki/Formal_system'>Formal systems</a> </li><li><a href='https://en.wikipedia.org/wiki/Formal_language'>Formal languages</a></li><li><a href='https://en.wikipedia.org/wiki/Modular_arithmetic'>Modular Arithmetic</a></li><li><a href='https://en.wikipedia.org/wiki/List_of_rules_of_inference#:~:text=Rules%20of%20inference%20are%20syntactical,conclusion%2C%20if%20it%20is%20sound.'>Rules of inference</a></li><li><a href='https://en.wikipedia.org/wiki/Non-classical_logic#:~:text=Non%2Dclassical%20logics%20(and%20sometimes,extensions%2C%20deviations%2C%20and%20variations.'>Alternative Logics</a></li></ul><p><br/>Errata:</p><ul><li>Somewhere Vaden says English is a formal language. Nope definitely not - English is <em>natural</em> language, which is distinct from a <em>formal</em> language.  </li></ul><p><br/>Send us your best guess for whether or not we&apos;re real at <em>incrementspodcast@gmail.com.</em>  <em><br/><br/></em><br/></p><p><a rel="payment" href="https://www.patreon.com/Increments">Support Increments</a></p>]]>
  </itunes:summary>
</item>
  </channel>
</rss>
