Carnegie Mellon University Department of Philosophy
Carnegie Mellon University Department of Philosophy
  • Видео 30
  • Просмотров 51 147
Cisinski, Nguyen, Walde: Univalent Directed Type theory, Part 3
CMU HoTT seminar, March 27, 2023
Denis-Charles Cisinski (Universität Regensburg)
Hoang Kim Nguyen (Universität Regensburg)
Tashi Walde (Technische Universität München)
Univalent Directed Type theory, Part 3
We will introduce a version of dependent type theory that is suitable to develop a synthetic theory of 1‑categories. The axioms are both a fragment and an extension of ordinary dependent type theory. The axioms are chosen so that (∞,1)‑category theory (under the form of quasi-categories or complete Segal spaces) gives a semantic interpretation, in a way which extends Voevodsky's interpretation of univalent dependent type theory in the
homotopy theory of Kan complexes. More generally, using a...
Просмотров: 273

Видео

Cisinski, Nguyen, Walde: Univalent Directed Type theory, Part 2
Просмотров 284Год назад
CMU HoTT seminar, March 20, 2023 Denis-Charles Cisinski (Universität Regensburg) Hoang Kim Nguyen (Universität Regensburg) Tashi Walde (Technische Universität München) Univalent Directed Type theory, Part 2 We will introduce a version of dependent type theory that is suitable to develop a synthetic theory of 1‑categories. The axioms are both a fragment and an extension of ordinary dependent typ...
Cisinski, Nguyen, Walde: Univalent Directed Type theory, Part 1
Просмотров 858Год назад
CMU HoTT seminar, March 13, 2023 Denis-Charles Cisinski (Universität Regensburg) Hoang Kim Nguyen (Universität Regensburg) Tashi Walde (Technische Universität München) Univalent Directed Type theory, Part 1 We will introduce a version of dependent type theory that is suitable to develop a synthetic theory of 1‑categories. The axioms are both a fragment and an extension of ordinary dependent typ...
Why study Logic & Computation?
Просмотров 1,5 тыс.Год назад
Francesca Zaffora Blando, Professor of Philosophy, discusses the benefits of studying Logic & Computation at Carnegie Mellon University. www.cmu.edu/dietrich/philosophy/
The Logic & Computation Major at Carnegie Mellon University
Просмотров 1,2 тыс.Год назад
Logic & Computation is a rigorous but flexible major that explores the foundational questions and assumptions that underpin a variety of disciplines. Logic & Computation majors gain skills in logic, analytic philosophy, mathematics, statistics, and computer science, enabling them to pursue professional careers or graduate study in many areas. www.cmu.edu/dietrich/philosophy/
Mike Shulman: Towards Third-Generation HOTT, Part 3
Просмотров 7192 года назад
CMU HoTT seminar, May 12, 2022 Mike Shulman - University of San Diego Towards Third-Generation HOTT, Part 3 In Book HoTT, identity is defined uniformly by the principle of "indiscernibility of identicals". This automatically gives rise to higher structure; but many desired equalities are not definitional, and univalence must be asserted by a non-computational axiom. Cubical type theories also d...
Mike Shulman: Towards Third-Generation HOTT, Part 2
Просмотров 9302 года назад
CMU HoTT seminar, May 5, 2022 Mike Shulman - University of San Diego Towards Third-Generation HOTT, Part 2 In Book HoTT, identity is defined uniformly by the principle of "indiscernibility of identicals". This automatically gives rise to higher structure; but many desired equalities are not definitional, and univalence must be asserted by a non-computational axiom. Cubical type theories also de...
Mike Shulman: Towards Third-Generation HOTT, Part 1
Просмотров 2,8 тыс.2 года назад
CMU HoTT seminar, April 28, 2022 Mike Shulman - University of San Diego Towards Third-Generation HOTT, Part 1 In Book HoTT, identity is defined uniformly by the principle of "indiscernibility of identicals". This automatically gives rise to higher structure; but many desired equalities are not definitional, and univalence must be asserted by a non-computational axiom. Cubical type theories also...
Nagel Lecture 2013 2
Просмотров 2033 года назад
Nagel Lecture 2013 2
Nagel Lecture 2013 3
Просмотров 2283 года назад
Nagel Lecture 2013 3
André Joyal "Three mutations of topos theory" Thursday, February 15, 2018
Просмотров 1 тыс.6 лет назад
Department of Philosophy Pure and Applied Logic Colloquium André Joyal, The Université du Québec à Montréal (UQAM)
Nagel Lecture 2013 1
Просмотров 9746 лет назад
Lecture 1 of Nagel Lecture, 2013
Dana Scott - What is explicit mathematics? Oct. 27, 2017
Просмотров 7866 лет назад
Department of Philosophy Pure and Applied Logic Colloquium Prof. Dana S. Scott - Carnegie Mellon University (emeritus) Title: What is explicit mathematics? Abstract: Beginning in about 1975, the late Solomon Feferman started writing about ways of making “real” mathematics more explicit. He was much influenced at the time by writers such as Georg Kreisel, Errett Bishop, John Myhill, Per Martin-L...
Causal Discovery from Mass Cytometry Data - Ioannis Tsamardinos
Просмотров 1,7 тыс.10 лет назад
This talk is part 18 of the Workshop on Case Studies of Causal Discovery with Model Search, held on October 25-27, 2013, at Carnegie Mellon University. Speaker: Ioannis Tsamardinos Title: Causal Discovery from Mass Cytometry Data Abstract: The emergence of Mass Cytometry technology presents unprecedented opportunities for causal discovery algorithms. This technology measures protein concentrati...
Biomolecular network models from single cell data - Karen Sachs
Просмотров 2 тыс.10 лет назад
This talk is part 17 of the Workshop on Case Studies of Causal Discovery with Model Search, held on October 25-27, 2013, at Carnegie Mellon University. Speaker: Karen Sachs Title: Causal Discovery from Mass Cytometry Data Abstract: Single cell data provides a rich source of data for statistical inference among biological variables of interest, including proteins and mRNA species. We previously ...
Causal Models from Online Course & Tutor Logs; and Searching for mediation models in ITS data
Просмотров 1,6 тыс.10 лет назад
Causal Models from Online Course & Tutor Logs; and Searching for mediation models in ITS data
The worldwide leaf economic spectrum - Bill Shipley
Просмотров 1,3 тыс.10 лет назад
The worldwide leaf economic spectrum - Bill Shipley
Two applications of causal discovery in climate science - Imme Ebert-Uphoff
Просмотров 62910 лет назад
Two applications of causal discovery in climate science - Imme Ebert-Uphoff
IMaGES in the Brain - Catherine Hanson
Просмотров 24710 лет назад
IMaGES in the Brain - Catherine Hanson
Strategies for Discovering Mechanisms of Mind using fMRI - Joe Ramsey
Просмотров 53510 лет назад
Strategies for Discovering Mechanisms of Mind using fMRI - Joe Ramsey
Causality workbench - Isabelle Guyon
Просмотров 1,2 тыс.10 лет назад
Causality workbench - Isabelle Guyon
All of causal discovery - Frederick Eberhardt
Просмотров 3,7 тыс.10 лет назад
All of causal discovery - Frederick Eberhardt
Causal model search applied to economics: gains, pitfalls and challenges - Alessio Moneta
Просмотров 1,1 тыс.10 лет назад
Causal model search applied to economics: gains, pitfalls and challenges - Alessio Moneta
The Causal Structure of the Vector Autoregression in Economics - Kevin Hoover
Просмотров 10 тыс.10 лет назад
The Causal Structure of the Vector Autoregression in Economics - Kevin Hoover
Learning gene regulatory networks - Marloes Maathius
Просмотров 3,4 тыс.10 лет назад
Learning gene regulatory networks - Marloes Maathius
Brain Connectivity Analysis: from Unimodal to Multimodal - Sergey Plis
Просмотров 1,1 тыс.10 лет назад
Brain Connectivity Analysis: from Unimodal to Multimodal - Sergey Plis
Approaches to two problems in causal discovery searches on functional MRI data - Kathleen Gates
Просмотров 57010 лет назад
Approaches to two problems in causal discovery searches on functional MRI data - Kathleen Gates
Unsolved Problems - Clark Glymour and Richard Scheines
Просмотров 1,5 тыс.10 лет назад
Unsolved Problems - Clark Glymour and Richard Scheines
On Micro Economics I: The Use of TETRAD for Demand Specification - David Bessler
Просмотров 2,2 тыс.10 лет назад
On Micro Economics I: The Use of TETRAD for Demand Specification - David Bessler
Tutorial on Causal Learning - Richard Scheines
Просмотров 7 тыс.10 лет назад
Tutorial on Causal Learning - Richard Scheines

Комментарии

  • @robertvann7349
    @robertvann7349 6 месяцев назад

    Please give my truth proposal to a PhD logic science instructor and have him write with logic science notation. Law of contradiction, A is non A A is non conscious non intelligent non being caused the effect of Non A conscious intelligent being in the universe This is A is Non A, ILLOGICAL IMPOSSIBLE CONTRADICTION. a false scientific hypothesis only the opposite can be true A isn't Non A A conscious intelligent being caused the effect of A conscious intelligent being in the universe This is A is A, logical non contradiction A conscious intelligent being must exist outside the universe to cause the effect of A conscious intelligent being A is B ie. non A A law of abiogenesis caused the effect of B law of biogenesis A is non A a false scientific hypothesis Publish these arguments, e pamphlet, philosophy and religion e books. Sell for 1 dollar and become a millionaire.

  • @alessandrorossi1294
    @alessandrorossi1294 Год назад

    This looks like an amazing major, kudos to CMU for putting this together

  • @haroldhughes8815
    @haroldhughes8815 Год назад

    𝘱𝘳𝘰𝘮𝘰𝘴𝘮

  • @alexismarquez3674
    @alexismarquez3674 2 года назад

    ELOQUENT DECENT WOMAN ALWAYS DO NICE THINGS. THE FARM EXPOSURE LAST JANUARY 2020. I'M STILL NICE LIKE SERENA VANDERWOODSEN FROM THE BEGINNING. I'M HONEST ♥️ BEING A ELOQUENT DECENT WOMAN FROM THE BEGINNING. I'M SINCERE TO TITA BETTINA LARAZZABAL VELOSO SINCE GRADESCHOOL DAYS. ELOQUENT PEOPLE ARE SINCERE ALWAYS. I LOVE TITA BETTINA LARAZZABAL VELOSO SINCE GRADESCHOOL DAYS BECAUSE SHE IS A NICE PERSON ❤️ I'M NOT AFTER CEBU DOCTORS UNIVERSITY. I'M HONEST ❤️ BLESSINGS WILL GO TO THE LARAZZABAL FAMILY BACKGROUND 🙏🙏🙏🙏🙏🙏🙏 TITA BETTINA LARAZZABAL VELOSO IS A NICE PERSON ❤️ I'M HONEST ♥️ TIME: 6:42PM

  • @alexismarquez3674
    @alexismarquez3674 2 года назад

    I'M ALREADY ACQUAINTED WITH ERNEST NAGEL SINCE GRADESCHOOL DAYS. I DIDN'T WASTE MY TUITION FEE SINCE KINDERGARTEN DAYS. I GRADUATED WITHIN 4 YEARS ONLY. IT FEELS I'M STILL ON MY FIRST YEAR COLLEGE. I ALWAYS "A"'S ALL THE EXAMS. I ALWAYS AIM FOR THE VERY BEST OF MY ABILITIES. I'M STILL NICE LIKE SERENA VANDERWOODSEN FROM THE BEGINNING. I'M HONEST ♥️ I'M THE MOST SINCERE DECENT HARDWORKING STUDIOUS DECENT WOMAN FROM THE BEGINNING. I'M HONEST ❤️ TITA BETTINA LARAZZABAL VELOSO NEVER WRONGED ME FROM THE BEGINNING. I'M NOT AFTER CEBU DOCTORS UNIVERSITY. I'M HONEST ♥️ SINCE GRADESCHOOL DAYS, I LOVE TITA BETTINA LARAZZABAL VELOSO BECAUSE SHE IS A NICE PERSON ❤️ I'M HONEST ❤️ JESUS CHRIST IS MY WITNESS 🙏🙏🙏🙏🙏🙏🙏🙏🙏🙏🙏 I'M SINCERE ♥️ TIME: 6:37PM

  • @nickhockings443
    @nickhockings443 2 года назад

    Tetrad demo starts 17:45

  • @DanElton
    @DanElton 2 года назад

    This was given at the Philosophy department? That's pretty badass. Glad to see philosophers engaged in something useful for a change!

  • @ГалинаГалянт-р2щ
    @ГалинаГалянт-р2щ 3 года назад

    Опор и не только в понедельник в первой половине дня

  • @naeemabbasi3343
    @naeemabbasi3343 3 года назад

    thank you very much for wonderful presentation please upload a video on causality using pure economic variables and data sets

  • @ABDU7194
    @ABDU7194 6 лет назад

    Excellent lecture Thanks

  • @roshanram
    @roshanram 7 лет назад

    Great talk. Thank you.

  • @darthyzhu5767
    @darthyzhu5767 8 лет назад

    great review!

  • @GiorgosIoak
    @GiorgosIoak 10 лет назад

    Very nice presentation, mr Tsamardinos

  • @a_little_bit_of_wisdom
    @a_little_bit_of_wisdom 10 лет назад

    1. Problem: lack of robust theory (i.e., predictive and explanatory) in the domain of money supply macroeconomics. 2. Institutional knowledge exists, in Fed Reserve experience. 3. Institution provided variables it considered important. 4. Researchers place them all in model and correlated each possible pair. 5. Causal structural search finds little evidence for monetary effect on variables. 6. "The Fed seems to waste intellectual energy." Comment: If Fed's key variables lack causality, what is next step? a. Develop different search algorithms to detect causal structure. assumption: Fed must know something. b. Develop "expert system" search to detect different institutional knowledge variables. assumption: Fed knows something that it doesn't realize. c. Identify other variables unknown or unrecognized by institution. assumption: one knows better than Fed. d. Considering (1), reform theory that impacts federal reserve. e: Fig. 2, Final Contemporaneous Causal Graph, shows S&P is primary dependent variable. A causal search is induction, whose outcome offers prospects, not deductive conclusion. If S&P is primary dependent variable, this offers a window on new theoretical model. Per philosophy of science, this offers abduction. Also, Fig 2, at 20:43, does not use explicit labels for variables. It's not that they're impossible to decipher, but it impedes turning ideas over in one's head. Ditto the miniature arrow-heads.