What is Logic?

or
Bitcoin: 1J29nKVys3anVaQNnyW8DBkD4vCzFxdB2r

[michaelgerring]

Well written and well illustrated.
A bunch of interesting and familiar examples to engage the viewer to teach them something worth learning.
Bravo.

[ishandave]

people watching this video and reading my comment let me tell you we have stumbled across a true gem if you are reading this comment just share this video with one person. I bet we can make a difference.This is seriously underrated.

[cmmndrblu]

I love these videos, thank you so much for making them

[bsirius]

In answer to your final question: Are there some true statements which are out of the reach of logic? Yes, as Kurt Gödel's incompleteness theorems demonstrated. Gödel's initial insight came in response to his attempt to answer Hilbert’s second problem – which challenged mathematicians to prove the consistency of the axioms of arithmetic. Gödel demonstrated that such a proof was not possible in his first incompleteness theorem which demonstrated that systems having at least the properties of Peano arithmetic cannot be both complete and consistent. Furthermore, his second incompleteness theorem shows that no system with such properties can be proved consistent within itself, unless it is an inconsistent system thus the properties of Peano arithmetic cannot be both complete and consistent. Sorry this is TMI, but I love this stuff and I could not resist answering your last question...

[Skyrime]

I was finding this video in internet for 5yrs . I watched the video remembered some content but forgot the thumbnail or the name .. finally found it🌟

[drewendly]

So Aristotle invented the computer! Im not a CS major/programmer but you finally made me realize why the types of logic gates are And/XOR/ect…

Your last question, i’d say pain and qualia in general. Pain is undesirable or pain feels bad is probably a truth statement that is beyond logic 🤷🏼‍♂️ its also what i think will be the major problem of Ai and consciousness.

[Tubeytime]

You can learn about the external world, but apart from that, you can also learn about your internal world, a part of the human experience that is often neglected.

[lamcho]

So next video on Gödel's incompleteness theorems?

[cargamer]

Can you please put english subtitles???
Your channel is great

[alanhere]

I think predictions using minimum description length and a load of data is the limit.

[GegoXaren]

Are you going to make a video on the formal mathematical notation for logic?

Like $p \vee q \wedge r$ and so on.

[jamoxploder]

You're famous! Was recommended this video by my discrete mathematics lecturer :P

[nbme-answers]

Nice work, Brit, as always. Very much looking forward to your beautiful and eerie descriptions of our world ;) By the way, quick question, how familiar are you with Alan Watts?

[mughat]

Logic is the art of non-contradictory identification.


"According to Objectivism, concepts “represent classifications of observed existents according to their relationships to other observed existents.” (Ayn Rand, Introduction to Objectivist Epistemology; all further quotations in this section, unless otherwise identified, are from this work.) To form a concept, one mentally isolates a group of concretes (of distinct perceptual units), on the basis of observed similarities which distinguish them from all other known concretes (similarity is “the relationship between two or more existents which possess the same characteristic(s), but in different measure or degree”); then, by a process of omitting the particular measurements of these concretes, one integrates them into a single new mental unit: the concept, which subsumes all concretes of this kind (a potentially unlimited number). The integration is completed and retained by the selection of a perceptual symbol (a word) to designate it. “A concept is a mental integration of two or more units possessing the same distinguishing characteristic(s), with their particular measurements omitted.”

[TheSidyoshi]

Is there a connection between Aristotle's category theory and modern mathematical category theory? There seems to be composition, and there is probably also identity, since we can use that to say trivial things like all humans are human.

Is that why category theory is called category theory?

[georgebolo]

great videos, keep up the great work!

[gregbard]

An abstract concept is one that does not appear to the mind as the image of some object. So the thought of a "tree" is not an abstract concept, it is a concrete one. Concepts like "hope, " "decency, " and "time" are abstract concepts.

[karmarule]

I just your channel! getting addicted to you!

[pogmog]

Hmm sounds like we need some kind of critique, possibly of pure reason.

[mouazq]

is it possible to elaborate on first and second order logics in a new vid ?