DiscoverMCMP – Mathematical Philosophy (Archive 2011/12)Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas)
Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas)

Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas)

Update: 2019-04-20
Share

Description

Peter Schroeder-Heister (Tübingen) gives a talk at the MCMP Colloquium Mathematical Philosophy - first part: "Proof-theoretic semantics and the format of deductive reasoning", second part: "Prawitz's completeness conjecture (A sketch of some ideas)".
Comments 
Top Podcasts
The Best New Comedy Podcast Right Now – June 2024The Best News Podcast Right Now – June 2024The Best New Business Podcast Right Now – June 2024The Best New Sports Podcast Right Now – June 2024The Best New True Crime Podcast Right Now – June 2024The Best New Joe Rogan Experience Podcast Right Now – June 20The Best New Dan Bongino Show Podcast Right Now – June 20The Best New Mark Levin Podcast – June 2024
In Channel
Modality and Categories

Modality and Categories

2019-04-2201:01:52

Adaptive Logics: Introduction, Applications, Computational Aspects and Recent Developments

Adaptive Logics: Introduction, Applications, Computational Aspects and Recent Developments

2019-04-2201:18:33

Belief Dynamics under Iterated Revision: Cycles, Fixed Points and Truth-tracking

Belief Dynamics under Iterated Revision: Cycles, Fixed Points and Truth-tracking

2019-04-2001:19:40

Tracking the Truth Requires a Non-wellfounded Prior!

Tracking the Truth Requires a Non-wellfounded Prior!

2019-04-2001:31:54

Possible Worlds, The Lewis Principle, and the Myth of a Large Ontology

Possible Worlds, The Lewis Principle, and the Myth of a Large Ontology

2019-04-2054:20

Accuracy, Chance, and the Principal Principle

Accuracy, Chance, and the Principal Principle

2019-04-2001:09:46

Theory and Concept in Tarski's Philosophy of Language

Theory and Concept in Tarski's Philosophy of Language

2019-04-2001:00:21

The 'fitting problem' for logical semantic systems

The 'fitting problem' for logical semantic systems

2019-04-2001:08:55

The conservativity of truth and the disentanglement of syntax and semantics

The conservativity of truth and the disentanglement of syntax and semantics

2019-04-2054:22

Cognitive motivations for treating formalisms as calculi

Cognitive motivations for treating formalisms as calculi

2019-04-2001:15:18

Do 'Looks' Reports Reflect the Contents of Perception?

Do 'Looks' Reports Reflect the Contents of Perception?

2019-04-2047:34

On the Emergence of Descriptive Norms

On the Emergence of Descriptive Norms

2019-04-2048:48

Conclusive Reasons, Transmission, and Epistemic Closure

Conclusive Reasons, Transmission, and Epistemic Closure

2019-04-2038:05

Hume on Space and Geometry

Hume on Space and Geometry

2019-04-2048:14

Toward Leibniz's Goal of a Computational Metaphysics

Toward Leibniz's Goal of a Computational Metaphysics

2019-04-2048:13

Russellian Descriptions & Gibbardian Indicatives (Two Case Studies Involving Automated Reasoning)

Russellian Descriptions & Gibbardian Indicatives (Two Case Studies Involving Automated Reasoning)

2019-04-2045:35

Logic and the Brain

Logic and the Brain

2019-04-2001:36:40

Accuracy & Coherence

Accuracy & Coherence

2019-04-2049:20

The Lockean Thesis Revisited

The Lockean Thesis Revisited

2019-04-2001:04:47

Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas)

Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas)

2019-04-2001:07:06

loading
Google Play
Download from Google Play
Castbox
Download from App Store
usUnited States
00:00
00:00
x

0.5x

0.8x

1.0x

1.25x

1.5x

2.0x

3.0x

Sleep Timer

Off

End of Episode

5 Minutes

10 Minutes

15 Minutes

30 Minutes

45 Minutes

60 Minutes

120 Minutes

Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas)

Proof-theoretic semantics and the format of deductive reasoning & Prawitz's completeness conjecture (A sketch of some ideas)

Peter Schroeder-Heister (Tübingen)