Logos 2000: rulial foundations

Logos 2000:  rulial foundations
https://www.youtube.com/watch?v=GkqfnoFGj14&list=PLb7rLSBiE7F4_E-POURNmVLwp-dyzjYr-
Foundations, nature, entropy, emergence, reality and ideals, inference and reason, intelligence and wisdom, de Morgan, causality and implication, model theory, Boole,  abstract symbolic logic, forms and syllogism, entailment and monotonicity, arithmetization and algebraization and geometrization, model theory and proof theory, the inner and outer, comprehension, structure and truth, paradox, consistency and completeness, theory of theory, the liar paradox, Comenius language, the ex falso, contradiction in itself, deduction and abduction, monism, natural language and intersubjectivity, noumenological and phenomenological senses, consistency and completeness and constancy and concreteness, mathematical and physical intepretations and models, natural science and super-natural theory, completions and limits, analytical bridges, positivism and axiomatization, diversity and variety, closed categories and continuous quantities, Aristotle's actual infinite, Kant and the sublime, Hegel and Being and Nothing, an integer continuum, Euclid's geometry, models of continuous domains, the modular and replete, axiomless geometry, perceived paradox, restriction of comprehension, fin de siecle foundations, logicist positivism and mathematical platonism, science and the empirical, idealism and absolutes, mathematical universe hypothesis, space-time, state and change, cosmic book-keeping, freedom of imagination and thought, absolutes and truth, Derrida and Husserl and Quine, lies and logic, the quasi-modal and modal, rules and the rulial, inductive limits and infinite limits, Zermel-Fraenkel set theory, elt, set-theoretic paradoxes, regularity and regularit(ies), well-foundedness, ZFC, well-ordering, univalency the illative and well-dispersion, class/set distinction, descriptive set theory, expansion and restriction of comprehension, Goedel and incompleteness, uncountability, Russell's reto-thesis, Mirimanoff and Skolem, Frege and Russell, Peirce, du Bois-Reymond and Cantor, Russell's paradox applied to finite numbers, Russell in logic, apologetics in logical, Occam and Plotinus and Philo, Russell and Whitehead, descriptive set theory and model theory, Tarski, 20'th century modern classical logic, three regularities, alternation and carriage, newer modern logic, Peano, Goedelian incompleteness applied to itself, Cohen and the independency of the Continuum Hypothesis, forcing's axiom, induction as blind and invincibly ignorant, contradiction not in itself, DesCartes and Quine, Principia Mathematica, Chwistek, anti-foundational set theories, set theories with universes, Burali-Forti and the gesammelt, Myhill paradox, Russell on candidate axioms, composability and separability, Sheffer and Gentzen, the Begriffsschrift and concept-scripts, Russell and classes and relations, Russell and "significance" and "isolation", Suppes, principles of mathematics, Shoenfield, Moschavakis and Jech, ruliality and perfection, modern mathematics.