Correction -it's *Brouwer Also-- on the grounding of Math into logic, it wasn't merely because I thought it 'was cool' lol. I now think it's a little misleading the way I phrased it, It's not the idea that logicians were trying to show themselves more especially super awesome somehow than mathematicians, if that's what it seemed like I was saying. They were trying ground math in logic, so that math could be as secured logic, because the foundations of math became threatened due to some issues I hope I can get into and explain one day when I make videos on the OG Analytics, namely Russell. Whether they were successful or not is another topic, but I still think it's super cool that they even thought to do this with logic! Don't you?
I really enjoyed this video. I hoped you don't get discouraged by having a relatively small audience, cause this is a really good video. Informative and entertaining.
I'm from Spain, but I wish I could have you as a friend dude. You seem like a nice guy who I would have long conversations with :) I'm really enjoying your videos, I hope your channel booms
I love that Susan Haack dual wields axes. In my head-canon, she named them Foundationalism and Coherentism, and they combine at the hilt to make a giant two-sided axe called Foundherentism.
Beautiful head-canon, and actually yes exactly, I WAS alluding to her foundherentism with the dual weilding visual! lol So it makes me very happy to know that someone is picking up on that! :)
Great work, i am really confused as to how this channel only has this many subscribers. I will try to share but i dont know many people who will care about non-pop culture academic philosophy. Although you are obviously analytically oriented, have you thought about making videos on continental philosophy, even if it is a take-down video lol
Re: Sheffer's Stroke, look up Alonzo Church. He systematized all computation into the lambda calculus in 1934. I see Sheffer devised the stroke in 1913. Although Church didn't do it earlier, he and Alan Turing both independently proved that digital logic, formal proofs, mathematics, and algorithms are fundamentally equivalent in terms of computability. At a glance, it looks like Sheffer's Stroke is equivalent to digital NAND, which is the basis for all digital computing, as it has been shown (by Sheffer, no less!) that all logical operations can be formed from a collection of NAND gates (or NOR gates, in fact, the formal logic equivalent of which is Peirce's Arrow or Quine's Dagger).
Given that you were serious about not knowing how to say Begriffsschrift you can use forvo, there are pronounciation examples for words by natives of many languages.
Really cool video! There's a lot of untapped potential in logic, I think particularly for making conclusions and frameworks of rules for future physics and such.
Great sorry, but you must to know that… 1) CONCLUSION FOR ANY SYLLOGISM CAN CALCULATE INTO ALGEBRAIC FORM; 2) DIAGRAMMS OF ANY SYLLOGISM MAY BE PRESENTING AS SUM-SET INTO VOLUM OF EIGHT SUB-MULTITUBES (SMP, SMP’, SM’P, SM’P’, S’MP, S’MP’, S’M’P, S’M’P’)... :-)
39:21 I'd like to introduce Quine to psychology of thought and neural networks hahaha Spoiler alert: logic is not fundamental to our thought. Heuristics on the other hand, seem to be.
The term "fundamental to our thought" has ambiguous interpretation. Considering that even heuristics have logical descriptions. Even the heuristics end up being at least constrained by what is logically describable. Even neural networks can be described by analogue logic gates and the ones used in computers operate equivalently to matrix multiplication.
Correction -it's *Brouwer
Also-- on the grounding of Math into logic, it wasn't merely because I thought it 'was cool' lol. I now think it's a little misleading the way I phrased it, It's not the idea that logicians were trying to show themselves more especially super awesome somehow than mathematicians, if that's what it seemed like I was saying. They were trying ground math in logic, so that math could be as secured logic, because the foundations of math became threatened due to some issues I hope I can get into and explain one day when I make videos on the OG Analytics, namely Russell. Whether they were successful or not is another topic, but I still think it's super cool that they even thought to do this with logic! Don't you?
I really enjoyed this video. I hoped you don't get discouraged by having a relatively small audience, cause this is a really good video. Informative and entertaining.
philosophy battle your channel is something new that I've never seen on youtube like your channel very much and videos you post
I'm from Spain, but I wish I could have you as a friend dude. You seem like a nice guy who I would have long conversations with :)
I'm really enjoying your videos, I hope your channel booms
I love that Susan Haack dual wields axes. In my head-canon, she named them Foundationalism and Coherentism, and they combine at the hilt to make a giant two-sided axe called Foundherentism.
Beautiful head-canon, and actually yes exactly, I WAS alluding to her foundherentism with the dual weilding visual! lol So it makes me very happy to know that someone is picking up on that! :)
Great video! I just started getting into logic this really helped
Great work, i am really confused as to how this channel only has this many subscribers. I will try to share but i dont know many people who will care about non-pop culture academic philosophy. Although you are obviously analytically oriented, have you thought about making videos on continental philosophy, even if it is a take-down video lol
Re: Sheffer's Stroke, look up Alonzo Church. He systematized all computation into the lambda calculus in 1934. I see Sheffer devised the stroke in 1913. Although Church didn't do it earlier, he and Alan Turing both independently proved that digital logic, formal proofs, mathematics, and algorithms are fundamentally equivalent in terms of computability.
At a glance, it looks like Sheffer's Stroke is equivalent to digital NAND, which is the basis for all digital computing, as it has been shown (by Sheffer, no less!) that all logical operations can be formed from a collection of NAND gates (or NOR gates, in fact, the formal logic equivalent of which is Peirce's Arrow or Quine's Dagger).
Given that you were serious about not knowing how to say Begriffsschrift you can use forvo, there are pronounciation examples for words by natives of many languages.
Really cool video! There's a lot of untapped potential in logic, I think particularly for making conclusions and frameworks of rules for future physics and such.
Here in the next bro 😎
Great presentation. Thank you.
Practical logic.. bypasses important intervals and symbolic that's medieval mathematical logic
I can't really imagine an alternative to the logic you showed. What would it be for? Quantum Sudoku?
Can't believe that is the last video of the series was wishing for some more forks
Great sorry, but you must to know that…
1) CONCLUSION FOR ANY SYLLOGISM CAN CALCULATE INTO ALGEBRAIC FORM;
2) DIAGRAMMS OF ANY SYLLOGISM MAY BE PRESENTING AS SUM-SET INTO VOLUM OF EIGHT SUB-MULTITUBES (SMP, SMP’, SM’P, SM’P’, S’MP, S’MP’, S’M’P, S’M’P’)...
:-)
✅🧡👍
It's 'Peirce', not 'Pierce', and it's pronounced like 'purse'.
39:21 I'd like to introduce Quine to psychology of thought and neural networks hahaha
Spoiler alert: logic is not fundamental to our thought. Heuristics on the other hand, seem to be.
The term "fundamental to our thought" has ambiguous interpretation. Considering that even heuristics have logical descriptions. Even the heuristics end up being at least constrained by what is logically describable. Even neural networks can be described by analogue logic gates and the ones used in computers operate equivalently to matrix multiplication.
15:08 That ~~S DN was pretentiously unnecessary.
I think it was to show a use of ~~
Sheffer