Proof-Theoretic Semantics: Formal Semantics, Logical Connective, Tarski, Gerhard Gentzen, Dag Prawitz - Tapa blanda

Proof-Theoretic Semantics

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. Proof-theoreticsemantics is an approach to the semantics of logic that attempts tolocate the meaning of propositions and logical connectives not in termsof interpretations, as in Tarskian approaches to semantics, but in therole that the proposition or logical connective plays within the systemof inference. Gerhard Gentzen is the founder of proof-theoreticsemantics, providing the formal basis for it in his account ofcut-elimination for the sequent calculus, and some provocativephilosophical remarks about locating the meaning of logical connectivesin their introduction rules within natural deduction. It is not a greatexaggeration that the history of proof-theoretic semantics since thenhas been devoted to exploring the consequences of these ideas. DagPrawitz extended Gentzen's notion of analytic proof to naturaldeduction, and suggested that the value of a proof in natural deductionmay be understood as its normal form.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 88 pp. Englisch. Nº de ref. del artículo: 9786134625470

Contactar al vendedor