MCMP – Mathematical Philosophy (Archive 2011/12)

Concept Calculus


Listen Later

Harvey M. Friedman (OSU) gives a talk at the MCMP Colloquium (31 October, 2012) titled "Concept Calculus". Abstract: Concept Calculus develops theories in first and second order predicate calculus arising from the analysis of various commonsense notions. The systems arising in this way are shown to closely correspond to various well known systems arising in the foundations of mathematics - via mutual interpretations. Initial work on Concept Calculus focused on the general notions of better than and much better than. More recent developments surround a basic notion of universe, based on a principle of plenitude. Universes correspond to Peano Arithmetic. ZFC, and various extensions by large cardinals arise from the axiomatization of various basic kinds of explosions of universes. We discuss some further contexts for Concept Calculus, including the evolutionary universe, and various comparison notions. We believe that any informal conceptual context leads to the natural formulation of axiomatic principles which are mutually interpretable with a range of standard formal systems ranging from PA and fragments, through type theory and ZFC, and the usual strong systems extending ZFC.
...more
View all episodesView all episodes
Download on the App Store

MCMP – Mathematical Philosophy (Archive 2011/12)By MCMP Team

  • 5
  • 5
  • 5
  • 5
  • 5

5

6 ratings


More shows like MCMP – Mathematical Philosophy (Archive 2011/12)

View all
Fakultät für Chemie und Pharmazie - Digitale Hochschulschriften der LMU - Teil 02/06 by Ludwig-Maximilians-Universität München

Fakultät für Chemie und Pharmazie - Digitale Hochschulschriften der LMU - Teil 02/06

1 Listeners

Hegel lectures by Robert Brandom, LMU Munich by Robert Brandom, Axel Hutter

Hegel lectures by Robert Brandom, LMU Munich

6 Listeners

LMU Statistik I für Studierende der Wirtschaftswissenschaften by PD Dr. Christian Heumann

LMU Statistik I für Studierende der Wirtschaftswissenschaften

0 Listeners

Institut für Produktionswirtschaft und Controlling (LMU) by Prof. Dr. Dr. h.c. Hans-Ulrich Küpper

Institut für Produktionswirtschaft und Controlling (LMU)

0 Listeners

LMU Rechtsphilosophie by Prof. Dr. jur. Dr. jur. h.c. mult. Bernd Schünemann

LMU Rechtsphilosophie

0 Listeners

MCMP – Philosophy of Science by MCMP Team

MCMP – Philosophy of Science

1 Listeners

Epistemology and Philosophy of Science: Prof. Dr. Stephan Hartmann – HD by Ludwig-Maximilians-Universität München

Epistemology and Philosophy of Science: Prof. Dr. Stephan Hartmann – HD

1 Listeners

LMU Physik 2 für Chemiker (PN2) SS2016 by Prof. Dr. Jan Lipfert

LMU Physik 2 für Chemiker (PN2) SS2016

0 Listeners

Medizin - Open Access LMU - Teil 16/22 by Ludwig-Maximilians-Universität München

Medizin - Open Access LMU - Teil 16/22

0 Listeners