|
Showing 1 - 9 of
9 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 book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl Castle, Germany, in October 2001.The 13 thoroughly revised full papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, categories, induction-recursion, post-Turing analysis, natural deduction, implicit characterization, iterate logic, and Java programming.
This book constitutes the refereed proceedings of the 5th
International Workshop on Extensions of Logic Programming, ELP '96,
held in Leipzig, Germany in March 1996.
The 18 full papers included were carefully selected by the program
committee and are presented together with three invited papers.
Among the topics addressed in this book are categorical logic
programming, correctness of logic programs, functional-logic
languages, implementation issues, linear logic programming,
nonmonotonic reasoning, and proof search.
This volume contains papers presented at the second international
workshop on extensions of logic programming, which was held at the
Swedish Institute of Computer Science, Stockhom, January 27-29,
1991. The 12 papers describe and discuss several approaches to
extensions of logic programming languages such as PROLOG, as well
as connections between logic programming and functional
programming, theoretical foundations of extensions, applications,
and programming methodologies. The first workshop in this series
was held in T}bingen in 1989 and its proceedings areavailable as
LNCS 475. The third workshop will be held in Bologna in 1992.
This volume contains finalized versions of papers presented at an
international workshop on extensions of logic programming, held at
the Seminar for Natural Language Systems at the University of
TA1/4bingen in December 1989. Several recent extensions of definite
Horn clause programming, especially those with a proof-theoretic
background, have much in common. One common thread is a new
emphasis on hypothetical reasoning, which is typically inspired by
Gentzen-style sequent or natural deduction systems. This is not
only of theoretical significance, but also bears upon computational
issues. It was one purpose of the workshop to bring some of these
recent developments together. The volume covers topics such as the
languages Lambda-Prolog, N-Prolog, and GCLA, the relationship
between logic programming and functional programming, and the
relationship between extensions of logic programming and automated
theorem proving. It contains the results of the first conference
concentrating on proof-theoretic approaches to logic programming.
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.
|
|