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

Update: 2019-04-20

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

In Channel

Modality and Categories

2019-04-2201:01:52

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

2019-04-2001:19:40

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

2019-04-2054:20

Accuracy, Chance, and the Principal Principle

2019-04-2001:09:46

Theory and Concept in Tarski's Philosophy of Language

2019-04-2001:00:21

The 'fitting problem' for logical semantic systems

2019-04-2001:08:55

The conservativity of truth and the disentanglement of syntax and semantics

2019-04-2054:22

Cognitive motivations for treating formalisms as calculi

2019-04-2001:15:18

Do 'Looks' Reports Reflect the Contents of Perception?

2019-04-2047:34

On the Emergence of Descriptive Norms

2019-04-2048:48

Conclusive Reasons, Transmission, and Epistemic Closure

2019-04-2038:05

Hume on Space and Geometry

2019-04-2048:14

Toward Leibniz's Goal of a Computational Metaphysics

2019-04-2048:13

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

2019-04-2045:35

Logic and the Brain

2019-04-2001:36:40

Accuracy & Coherence

2019-04-2049:20

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)

2019-04-2001:07:06

00:00

1.0x

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

Peter Schroeder-Heister (Tübingen)

#box-pro-ellipsis-176041615941287{-webkit-line-clamp:2;}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)

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