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.
@MindForgedManacle8 жыл бұрын
Great talk. It had a lot of useful content for me!
@RealNRD10 жыл бұрын
Thanks for posting this!
@andrewwells63237 жыл бұрын
A very interesting video. Thank you for uploading.
@randomharass11 жыл бұрын
This was superb. Thank you!
@xmikeydx9 жыл бұрын
Thank you very much for this upload.
@braininahat8 жыл бұрын
Great lecture
@oooltra3 жыл бұрын
Thank you for this
@johnvilla37 жыл бұрын
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.
@cladwith8 жыл бұрын
great
@timblackburn15938 жыл бұрын
In the long run we're all enlightened
@hookedonafeeling10011 жыл бұрын
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.
@Blodhosta11 жыл бұрын
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.
@Kemenesfalvi11 жыл бұрын
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.
@tomwright9904 Жыл бұрын
Out of date but for other readers. If, EyAx ySx, then we can take one such y, say Y and then for any x YSx However if AxEy ySx you don't necessarily have such a Y.
@jyak277 жыл бұрын
a set of all sets is a spike
@michaelhaag33674 жыл бұрын
lucid talk
@stefos64314 жыл бұрын
Sounds to me, a newbie in mathematical philosophy, that Herr Frege was a genius.