Creative, inspiring and great fun; doubly so in the light of the the half empty aula. Keep up the good work Mr. Priest! Your audience is a flock of turtles: we get it slowly, patiently.

Thank you for posting it. Priest did an awesome job presenting Frege's ideas in a nutshell. would be nice if Priest has a similar presentation on B. Russell.

Great talk. It had a lot of useful content for me!

Thanks for posting this!

This was superb. Thank you!

A very interesting video. Thank you for uploading.

Great lecture

Thank you for this

Thank you very much for this upload.

great

That all for one and one for all could be unambiguously interpreted by iff wff makes this lecture so much more amazing that the ostrich is willing to reveal 'er head.

In the long run we're all enlightened

Sounds to me, a newbie in mathematical philosophy, that Herr Frege was a genius.

a set of all sets is a spike

They're not quite the same. EyAx(xSy) logically implies AxEy(xSy), but not the other way around. The first singles out an individual standing in the relation to all x; the second says all x stand in that relation to some individual or other. The relation < among the natural numbers would be an example to make it clearer how the implication does not go both ways. AxEy(xSy ^ (xSz → y=z)) says that everybody saw exactly one person, but not necessarily the same person.

I might be wrong but I think EyAx and AxEy mean the same thing. The differents that he wants to show is not in the order, but if we say that: Ax Ey xSy and if xSz->z=y. If i'm wrong about this could somebody explain what's the difference between the two formulation of continuity mean? I studied mathematics so I can read the notations, but I can't figure out the difference.

AxA

lucid talk