|
Showing 1 - 4 of
4 matches in All Departments
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 Tubingen in 2013, where
contributing authors were asked to provide 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.
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 Tubingen in 2013, where
contributing authors were asked to provide 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.
This open access book is the first ever collection of Karl Popper's
writings on deductive logic. Karl R. Popper (1902-1994) was one of
the most influential philosophers of the 20th century. His
philosophy of science ("falsificationism") and his social and
political philosophy ("open society") have been widely discussed
way beyond academic philosophy. What is not so well known is that
Popper also produced a considerable work on the foundations of
deductive logic, most of it published at the end of the 1940s as
articles at scattered places. This little-known work deserves to be
known better, as it is highly significant for modern
proof-theoretic semantics. This collection assembles Popper's
published writings on deductive logic in a single volume, together
with all reviews of these papers. It also contains a large amount
of unpublished material from the Popper Archives, including
Popper's correspondence related to deductive logic and manuscripts
that were (almost) finished, but did not reach the publication
stage. All of these items are critically edited with additional
comments by the editors. A general introduction puts Popper's work
into the context of current discussions on the foundations of
logic. This book should be of interest to logicians, philosophers,
and anybody concerned with Popper's work.
This open access book is the first ever collection of Karl Popper's
writings on deductive logic. Karl R. Popper (1902-1994) was one of
the most influential philosophers of the 20th century. His
philosophy of science ("falsificationism") and his social and
political philosophy ("open society") have been widely discussed
way beyond academic philosophy. What is not so well known is that
Popper also produced a considerable work on the foundations of
deductive logic, most of it published at the end of the 1940s as
articles at scattered places. This little-known work deserves to be
known better, as it is highly significant for modern
proof-theoretic semantics. This collection assembles Popper's
published writings on deductive logic in a single volume, together
with all reviews of these papers. It also contains a large amount
of unpublished material from the Popper Archives, including
Popper's correspondence related to deductive logic and manuscripts
that were (almost) finished, but did not reach the publication
stage. All of these items are critically edited with additional
comments by the editors. A general introduction puts Popper's work
into the context of current discussions on the foundations of
logic. This book should be of interest to logicians, philosophers,
and anybody concerned with Popper's work.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|