What makes the universal and existential quantifiers classical? Stanisław Krajewski

Channel:

Copernicus

Subscribers:

192,000

Published on October 25, 2018 4:22:23 PM ● Video Link: https://www.youtube.com/watch?v=WzguGASY0kA

Duration: 33:04

546 views

5

Thesis: The universal quantifier is the simplest one that suffices to define all context- independent quantifiers in the framework of logic. Logic is understood here as classical logic – both first order and higher order. The higher order logics assume an absolute concept of set, that is, the concept which forms the basis of so-called classical mathematics. So classical quantifiers are the ones that distinguish context-independent ones among all quantifiers by making it possible to define them in the framework of classical logic or classical mathematics.
http://22kmc.copernicuscenter.edu.pl