MCMP Conference "Model Theory: Philosophy, Mathematics and Language"

Hinweis:

Please note the reversed chronological order on this page: The earliest talks are at the bottom, the latest at the top.

The last missing talk will be published shortly after final quality checks.

Axiomatic Semantics and the Substitutional Theory of Logical Consequence

(00:00:00) >: Introduction

(00:01:03) >: Set-theoretic reductionism in semantics

(00:03:15) >: Logical validity

(00:06:41) >: The model-theoretic definition

(00:16:31) >: The substitutional analysis of logical validity

(00:25:16) >: Substitutional interpretations

(00:31:57) >: Satisfaction

(00:36:07) >: The substitutional definition of logical validity

(00:37:29) >: Properties of the substitutional definition

(00:47:43) >: Worries

(00:51:43) >: Summary

Aufzeichnung vom: 12.01.2017

Dozent(in): Prof. Volker Halbach, PhD

Generics and Conservativity

(00:00:00) >: Introduction: Generics and Conservativity

(00:12:25) >: What Generic Sentences Mean, acc’d to Nickel (2016)

(00:16:45) >: Two Ways for the Why-Question to fail

(00:25:46) >: Two Things I didn’t get to talk about

Aufzeichnung vom: 12.01.2017

Dozent(in): Prof. Bernhard Nickel, PhD

The Cognitive Reality of Model-Theoretic Semantics for Natural Languages

(00:00:00) >: Introduction and Overview

(00:07:09) >: A Modest Theory of Meaning

(00:15:42) >: A Full-Bloaded Theory of Semantic Competence?

(00:27:40) >: Two Problematic Reactions

(00:31:58) >: Conclusion

Aufzeichnung vom: 12.01.2017

Dozent(in): Fabrizio Calzavarini, PhD

Models and Worlds in Linguistic Semantics

(00:00:00) >: 1 Introduction

(00:14:01) >: 2 Model-theoretic 'Semantics'

(00:29:55) >: 3 Alternative Semantics: a Case Study

Aufzeichnung vom: 12.01.2017

Dozent(in): Prof. Dr. Thomas Ede Zimmermann

Is Independence Relevant?

(00:00:00) >: Introduction

(00:00:55) >: The Ugly Monster

(00:16:45) >: Fighting the Monster

(00:34:40) >: Independence in Arithmetics

(00:46:54) >: The Case of Applicable Mathematics

(00:59:23) >: Conclusion

Aufzeichnung vom: 12.01.2017

Dozent(in): Prof. Menachem Magidor, PhD

Generalizing Fuzzy Logic and its Model Theory, for Semantic Paradoxes and Vagueness

(00:00:00) >: Introduction

(00:08:29) >: Lukasiewicz successes

(00:12:17) >: Brouwer theorem

(00:17:25) >: Trouble with quantifiers

(00:22:07) >: ω-inconsistency vs. inconsistency

(00:24:40) >: Generalizing Kripke

(00:31:25) >: Valuations for Conditionals

(00:41:12) >: Fundamental Theorem

(00:48:31) >: Summary

Aufzeichnung vom: 11.01.2017

Dozent(in): Prof. Hartry Field, PhD

Partial Models and the Symmetry-Collectivity Hypothesis

(00:00:00) >: Introduction

(00:10:01) >: Challenges

(00:20:13) >: Symmetric, Collective and Comitative Expressions

(00:31:06) >: Semantics of Comitatives

(00:59:50) >: Summary

Aufzeichnung vom: 11.01.2017

Dozent(in): Prof. Dr. Yoad Winter

Geometrical Roots of Model Theory

(00:00:00) >: Introduction and overview

(00:07:13) >: Projective geometry and duality

(00:35:01) >: Consistency and independence

(00:42:37) >: Hilbert’s metatheory revisited

(00:59:48) >: Summary

Aufzeichnung vom: 10.01.2017

Dozent(in): Dr. Georg Schiemer

Minimal Adequacy and Semantic Truth

(00:00:00) >: Introduction

(00:03:07) >: Minimal Conditions of Truth

(00:06:14) >: The Model Theory of CT−

(00:10:32) >: Extending the Equivalence Schema

(00:20:04) >: Consequences

Aufzeichnung vom: 10.01.2017

Dozent(in): Alexander Jones

Model Theory in the Univalent Foundations

(00:00:00) >: Plan and Introduction

(00:05:31) >: Homotopy Types and Infinity Groupoids

(00:16:56) >: First-Order Logic with Isomorphism

(00:31:30) >: Prospects

Aufzeichnung vom: 10.01.2017

Dozent(in): Dimitris Tsementzis, PhD

Short Elementary Cuts in Countable Models of Compositional Arithmetical Truth

(00:00:00) >: Introduction and Outline

(00:01:54) >: Introduction - Compositional Truth and Computable Saturation

(00:20:33) >: The Isomorphism Question for Expansions of Models of CT / Cuts, Extensions, and Gaps

(00:34:01) >: The Answers for Coshort and Short Elementary Cuts

(00:38:27) >: Conclusions

Aufzeichnung vom: 10.01.2017

Dozent(in): Michal Tomasz Godziszewski

Tarski and "The Mathematical"

(00:00:00) >: Introduction & Background

(00:05:50) >: Two "domains": the mathematical and metamathematical

(00:33:18) >: The present

(00:45:55) >: Looking at mathematical/logical space through the lense of model classes

Aufzeichnung vom: 10.01.2017

Dozent(in): Prof. Juliette Kennedy, PhD

Philosophical Implications of the Paradigm Shift in Model Theory

(00:00:00) >: Provocation

(00:07:58) >: The Paradigm Shift

(00:25:09) >: The Role of Set Theory

(00:33:29) >: From Boole to Shelah

(00:53:39) >: Why does this matter?

Aufzeichnung vom: 10.01.2017

Dozent(in): Prof. John T. Baldwin, PhD

Models, Formal Languages, and Truth in Natural Language Semantics

(00:00:00) >: Introduction and Plan

(00:02:05) >: Model-Theoretic Semantics (MTS)

(00:19:15) >: Semantic modeling

(00:22:28) >: First examples (Generative/Montague grammar, Possible worlds, Generalized quantifiers)

(00:35:01) >: MTS and Logic

(00:36:00) >: MTS and Psychology

(00:38:46) >: Evaluating MTS

(00:41:49) >: Another example (Epistemic logic)

(00:57:50) >: Conclusion

Aufzeichnung vom: 09.01.2017

Dozent(in): Prof. Dag Westerstahl, PhD

The Meaning of a First-Order Formula, Compositionality and Alphabetic Innocence

(00:00:00) >: Introduction

(00:03:28) >: First-Order Languages and their Semantics

(00:09:59) >: Algebraization of the Satisfaction Relation for Ordinary First-Order Languages

(00:11:05) >: Cylindric set algebras of dimension α

(00:12:01) >: Algebraic Semantics for Ordinary First-Order Languages

(00:16:23) >: Meanings of First-Order Formulas

(00:18:47) >: What is wrong with this account?

(00:26:56) >: What is Principle of Alphabetic Innocence?

(00:33:31) >: Towards an Alphabetically Innocent Semantics

(00:39:03) >: Variable Transformation Operations

(00:41:59) >: Alphabetically Innocent Semantics

Aufzeichnung vom: 09.01.2017

Dozent(in): Maciej Kleczek

Categorical Model Theory and the Semantic View of Theories

(00:00:00) >: Introduction and overview

(00:03:12) >: The Tarski-style Model Theory

(00:07:20) >: Functional Semantics

(00:18:35) >: Models of HoTT

(00:31:38) >: Syntactic and Semantic Views of Theories

(00:34:05) >: Constructive Axiomatic Method

(00:37:54) >: Conclusions and Further Research

Aufzeichnung vom: 09.01.2017

Dozent(in): Andrei Rodin, PhD

Mathematics as the Science of (Different Kinds of) Structures

(00:00:00) >: Introduction

(00:04:24) >: Structuralism

(00:07:13) >: Two kinds of pattern: Particular and general

(00:14:35) >: Kreisel, Isaacson, and informal rigour

(00:19:48) >: Quasi-categoricity and quasi-particular patterns

(00:24:44) >: Ancestral logic

(00:25:39) >: Infinitary logic

(00:27:39) >: Omitting types

(00:30:01) >: Categoricity in power and dimensionally fixed patterns

(00:34:41) >: Philosophical upshots and questions for further research

Aufzeichnung vom: 09.01.2017

Dozent(in): Neil Barton, PhD

Internal Categoricity Results and Internalism in the Philosophy of Mathematics

(00:00:00) >: Introduction and overview

(00:02:06) >: Familiar problems (recast)

(00:16:44) >: Internal categoricity for set theory

(00:26:28) >: Internalism about set theory

(00:34:55) >: Situating internalism

Aufzeichnung vom: 09.01.2017

Dozent(in): Tim Button

The Foundational Role of Model Theory

(00:00:00) >: Introduction

(00:05:55) >: Methodological Problems

(00:19:23) >: A Holistic Foundation for Logic

(00:34:30) >: Formal Laws

(00:42:39) >: Formality & Modal Force

(00:49:37) >: Outlook

Aufzeichnung vom: 09.01.2017

Dozent(in): Prof. Gila Sher, PhD

Website:

http://www.modeltheory2017.philosophie.uni-muenchen.de/

RSS-Feed abonnieren: