Share
VIDEOS 1 TO 50
Heinrich Wansing - Compositionality in Proof-Theoretic Semantics [pt.1] (2015)
Heinrich Wansing - Compositionality in Proof-Theoretic Semantics [pt.1] (2015)
Published: 2015/09/27
Channel: Logic UFRN
What is PROOF-THEORETIC SEMANTICS? What does PROOF-THEORETIC SEMANTICS mean
What is PROOF-THEORETIC SEMANTICS? What does PROOF-THEORETIC SEMANTICS mean
Published: 2017/04/29
Channel: The Audiopedia
Heinrich Wansing - Compositionality in Proof-Theoretic Semantics [pt.2] (2015)
Heinrich Wansing - Compositionality in Proof-Theoretic Semantics [pt.2] (2015)
Published: 2015/09/27
Channel: Logic UFRN
LambdaConf 2015 - Type Theory and its Meaning Explanations   Jon Sterling
LambdaConf 2015 - Type Theory and its Meaning Explanations Jon Sterling
Published: 2016/01/04
Channel: Confreaks
What is TRUTH-CONDITIONAL SEMANTICS? What does TRUTH-CONDITIONAL SEMANTICS mean?
What is TRUTH-CONDITIONAL SEMANTICS? What does TRUTH-CONDITIONAL SEMANTICS mean?
Published: 2017/04/27
Channel: The Audiopedia
What are the limits of mathematical explanation? An interview with David Charles McCarty
What are the limits of mathematical explanation? An interview with David Charles McCarty
Published: 2015/01/26
Channel: Copernicus Center for Interdisciplinary Studies
1.4 Proof theoretic validity
1.4 Proof theoretic validity
Published: 2013/06/13
Channel: Chico Jones
2.4 K  proof theoretic validity
2.4 K proof theoretic validity
Published: 2013/06/24
Channel: Chico Jones
What is NON-MONOTONIC LOGIC? What does NON-MONOTONIC LOGIC mean? NON-MONOTONIC LOGIC meaning
What is NON-MONOTONIC LOGIC? What does NON-MONOTONIC LOGIC mean? NON-MONOTONIC LOGIC meaning
Published: 2017/01/25
Channel: The Audiopedia
Being, Univocity, & Logical Syntax
Being, Univocity, & Logical Syntax
Published: 2017/07/18
Channel: Philosophy Overdose
Frege
Frege's Puzzle (Philosophy of Language)
Published: 2015/03/16
Channel: Carneades.org
Programming Languages Background 1 - Robert Harper - OPLSS 2017
Programming Languages Background 1 - Robert Harper - OPLSS 2017
Published: 2017/06/26
Channel: OPLSS
Compositional semantics and event semantics
Compositional semantics and event semantics
Published: 2014/11/25
Channel: Lucas Champollion
Understanding & Inference
Understanding & Inference
Published: 2013/12/19
Channel: Philosophy Overdose
Modal logic 1.5 - logical consequence in K
Modal logic 1.5 - logical consequence in K
Published: 2013/02/07
Channel: Kane B
Theories, Solvers and Static Analysis by Abstract Interpretation
Theories, Solvers and Static Analysis by Abstract Interpretation
Published: 2016/08/17
Channel: Microsoft Research
Formal semantics (logic)
Formal semantics (logic)
Published: 2016/01/22
Channel: WikiAudio
What is INFERENTIAL ROLE SEMANTICS? What does INFERENTIAL ROLE SEMANTICS mean?
What is INFERENTIAL ROLE SEMANTICS? What does INFERENTIAL ROLE SEMANTICS mean?
Published: 2017/04/15
Channel: The Audiopedia
CLE4Science Colloquia: Stephen Read
CLE4Science Colloquia: Stephen Read
Published: 2015/02/05
Channel: Fabio Bertato
Tarski
Tarski's semantic theory of truth
Published: 2012/03/27
Channel: Frege100
What is PROOF THEORY? What does PROOF THEORY mean? PROOF THEORY meaning, definition & explanation
What is PROOF THEORY? What does PROOF THEORY mean? PROOF THEORY meaning, definition & explanation
Published: 2016/08/30
Channel: The Audiopedia
CS224u - Learning compositional semantics: approaches
CS224u - Learning compositional semantics: approaches
Published: 2015/03/27
Channel: Chris Potts
2 - 5 - PRG Security Definitions -Cryptography-Professor Dan Boneh
2 - 5 - PRG Security Definitions -Cryptography-Professor Dan Boneh
Published: 2012/04/16
Channel: OpenCourseOnline
Conservative extension
Conservative extension
Published: 2016/01/22
Channel: WikiAudio
M. Sadrzadeh: "A generalised quantifier theory of natural language in categorical semantics"
M. Sadrzadeh: "A generalised quantifier theory of natural language in categorical semantics"
Published: 2016/06/30
Channel: OxfordQuantumVideo
1.3 Semantic validity
1.3 Semantic validity
Published: 2013/06/13
Channel: Chico Jones
2.2 K  semantic validity 1
2.2 K semantic validity 1
Published: 2013/06/23
Channel: Chico Jones
Modern Physics Formalized in Modal Homotopy Type Theory by Urs Schreiber
Modern Physics Formalized in Modal Homotopy Type Theory by Urs Schreiber
Published: 2017/07/12
Channel: FOMUS 2016
Models as Structures: The Structural Semantics of Model-based design
Models as Structures: The Structural Semantics of Model-based design
Published: 2016/09/07
Channel: Microsoft Research
Modal logic 1.4 - truth trees for invalid arguments in K
Modal logic 1.4 - truth trees for invalid arguments in K
Published: 2013/02/01
Channel: Kane B
2 - 2 - Stream ciphers and pseudo random generators-Cryptography-Professor Dan Boneh
2 - 2 - Stream ciphers and pseudo random generators-Cryptography-Professor Dan Boneh
Published: 2012/04/16
Channel: OpenCourseOnline
A CLP Approach to Modelling Systems
A CLP Approach to Modelling Systems
Published: 2016/09/06
Channel: Microsoft Research
What is CIRQUENT CALCULUS? What does CIRQUENT CALCULUS mean? CIRQUENT CALCULUS meaning & explanation
What is CIRQUENT CALCULUS? What does CIRQUENT CALCULUS mean? CIRQUENT CALCULUS meaning & explanation
Published: 2017/10/26
Channel: The Audiopedia
Mod-01 Lec-23 Predicate Logic: Proof Theory (Contd..)
Mod-01 Lec-23 Predicate Logic: Proof Theory (Contd..)
Published: 2012/09/03
Channel: nptelhrd
Jacques Herbrand
Jacques Herbrand
Published: 2018/01/13
Channel: FrogCast
3 What is a sequent?
3 What is a sequent?
Published: 2014/03/30
Channel: Chico Jones
Morehouse1
Morehouse1
Published: 2015/06/18
Channel: formal methods
1.2 Formulas of classical logic
1.2 Formulas of classical logic
Published: 2013/06/13
Channel: Chico Jones
Mod-01 Lec-17 Introduction to Predicate Logic
Mod-01 Lec-17 Introduction to Predicate Logic
Published: 2012/09/03
Channel: nptelhrd
Valentin Goranko - A logical framework for multi-agent visual-epistemic reasoning [pt. 1] (2015)
Valentin Goranko - A logical framework for multi-agent visual-epistemic reasoning [pt. 1] (2015)
Published: 2015/10/01
Channel: Logic UFRN
What is CATEGORICAL LOGIC? What does CATEGORICAL LOGIC mean? CATEGORICAL LOGIC meaning & explanation
What is CATEGORICAL LOGIC? What does CATEGORICAL LOGIC mean? CATEGORICAL LOGIC meaning & explanation
Published: 2016/10/07
Channel: The Audiopedia
1.6 Tableaux soundness
1.6 Tableaux soundness
Published: 2013/06/15
Channel: Chico Jones
Daniel Hoffmann, Model theoretic dynamics in a Galois fashion
Daniel Hoffmann, Model theoretic dynamics in a Galois fashion
Published: 2017/11/24
Channel: Instytut Matematyczny Uniwersytetu Wrocławskiego
Truth Logic Value
Truth Logic Value
Published: 2016/09/29
Channel: InfoBlast
cse471 s12 week7 1
cse471 s12 week7 1
Published: 2012/03/08
Channel: Subbarao Kambhampati
1.1 Logic and the propositional calculus
1.1 Logic and the propositional calculus
Published: 2013/06/12
Channel: Chico Jones
Programming Languages, Self-Application, and Computational Complexity
Programming Languages, Self-Application, and Computational Complexity
Published: 2015/05/18
Channel: Stepan Stepicov
Protocol Composition Logics
Protocol Composition Logics
Published: 2016/09/06
Channel: Microsoft Research
1.5 Conditionals
1.5 Conditionals
Published: 2013/06/15
Channel: Chico Jones
Samson Abramsky: "A unified sheaf-theoretic account of non-locality and contextuality"
Samson Abramsky: "A unified sheaf-theoretic account of non-locality and contextuality"
Published: 2012/05/01
Channel: OxfordQuantumVideo
NEXT
GO TO RESULTS [51 .. 100]

WIKIPEDIA ARTICLE

From Wikipedia, the free encyclopedia
Jump to: navigation, search

Proof-theoretic semantics is an approach to the semantics of logic that attempts to locate the meaning of propositions and logical connectives not in terms of interpretations, as in Tarskian approaches to semantics, but in the role that the proposition or logical connective plays within the system of inference.

Gerhard Gentzen is the founder of proof-theoretic semantics, providing the formal basis for it in his account of cut-elimination for the sequent calculus, and some provocative philosophical remarks about locating the meaning of logical connectives in their introduction rules within natural deduction. The history of proof-theoretic semantics since then has been devoted to exploring the consequences of these ideas.[citation needed]

Dag Prawitz extended Gentzen's notion of analytic proof to natural deduction, and suggested that the value of a proof in natural deduction may be understood as its normal form. This idea lies at the basis of the Curry–Howard isomorphism, and of intuitionistic type theory. His inversion principle lies at the heart of most modern accounts of proof-theoretic semantics.

Michael Dummett introduced the very fundamental idea of logical harmony, building on a suggestion of Nuel Belnap. In brief, a language, which is understood to be associated with certain patterns of inference, has logical harmony if it is always possible to recover analytic proofs from arbitrary demonstrations, as can be shown for the sequent calculus by means of cut-elimination theorems and for natural deduction by means of normalisation theorems. A language that lacks logical harmony will suffer from the existence of incoherent forms of inference: it will likely be inconsistent.

See also[edit]

References[edit]

External links[edit]

Disclaimer

None of the audio/visual content is hosted on this site. All media is embedded from other sites such as GoogleVideo, Wikipedia, YouTube etc. Therefore, this site has no control over the copyright issues of the streaming media.

All issues concerning copyright violations should be aimed at the sites hosting the material. This site does not host any of the streaming media and the owner has not uploaded any of the material to the video hosting servers. Anyone can find the same content on Google Video or YouTube by themselves.

The owner of this site cannot know which documentaries are in public domain, which has been uploaded to e.g. YouTube by the owner and which has been uploaded without permission. The copyright owner must contact the source if he wants his material off the Internet completely.

Powered by YouTube
Wikipedia content is licensed under the GFDL and (CC) license