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

Date: 12.01.2017

Lecturer: 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

Date: 12.01.2017

Lecturer: 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

Date: 12.01.2017

Lecturer: 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

Date: 12.01.2017

Lecturer: 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

Date: 12.01.2017

Lecturer: 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

Date: 11.01.2017

Lecturer: 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

Date: 11.01.2017

Lecturer: 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

Date: 10.01.2017

Lecturer: 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

Date: 10.01.2017

Lecturer: 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

Date: 10.01.2017

Lecturer: 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

Date: 10.01.2017

Lecturer: 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

Date: 10.01.2017

Lecturer: 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?

Date: 10.01.2017

Lecturer: 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

Date: 09.01.2017

Lecturer: 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

Date: 09.01.2017

Lecturer: 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

Date: 09.01.2017

Lecturer: 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

Date: 09.01.2017

Lecturer: 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

Date: 09.01.2017

Lecturer: 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

Date: 09.01.2017

Lecturer: Prof. Gila Sher, PhD

Website:

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

RSS-Feed abonnieren: