Advances in Proof Theoretic Semantics 2016

Name: Advances in Proof Theoretic Semantics
Author: Piecha Thomas

Auteur: Piecha Thomas

Taal: Engels

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Piecha Thomas

Engels
Hardcover
9783319226859
04 november 2015
283 pagina's

Alle productspecificaties

Samenvatting

This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Dummett's justification of logical laws, Kreisel's theory of constructions, paradoxical reasoning, and the defence of model theory.

The field of proof-theoretic semantics has existed for almost 50 years, but the term itself was proposed by Schroeder-Heister in the 1980s. Proof-theoretic semantics explains the meaning of linguistic expressions in general and of logical constants in particular in terms of the notion of proof. This volume emerges from presentations at the Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013, where contributing authors were asked toprovide a self-contained description and analysis of a significant research question in this area. The contributions are representative of the field and should be of interest to logicians, philosophers, and mathematicians alike.

Productspecificaties

Inhoud

Taal: en
Bindwijze: Hardcover
Oorspronkelijke releasedatum: 04 november 2015
Aantal pagina's: 283
Illustraties: Nee

Betrokkenen

Hoofdauteur: Piecha Thomas
Hoofdredacteur: Thomas Piecha
Tweede Redacteur: Peter Schroeder-Heister
Hoofduitgeverij: Springer International Publishing Ag

Overige kenmerken

Editie: 1st ed. 2016
Extra groot lettertype: Nee
Product breedte: 159 mm
Product hoogte: 22 mm
Product lengte: 241 mm
Studieboek: Nee
Verpakking breedte: 155 mm
Verpakking hoogte: 235 mm
Verpakking lengte: 235 mm
Verpakkingsgewicht: 574 g

EAN

EAN: 9783319226859

Je vindt dit artikel in

Categorieën: Wetenschap & Natuur

Religie, Spiritualiteit & Filosofie

Computers & Informatica

Computertechnologie

Filosofie

Wiskunde

Wiskunde voor computerwetenschappers

Logica

Grondslagen van de wiskunde

Wiskundige logica

Boeken
Beschikbaarheid: Leverbaar
Taal: Engels
Boek, ebook of luisterboek?: Boek
Studieboek of algemeen: Algemene boeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.