WorldCat Identities

Prawitz, Dag

Overview
Works: 46 works in 153 publications in 5 languages and 1,732 library holdings
Genres: Conference papers and proceedings  Periodicals 
Roles: Author, Editor, Publishing director, Other, Honoree, htt
Publication Timeline
.
Most widely held works by Dag Prawitz
Logic, methodology, and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 by Dag Prawitz( )

23 editions published between 1994 and 1995 in English and held by 419 WorldCat member libraries worldwide

This volume is the product of the Proceedings of the 9th International Congress of Logic, Methodology and Philosophy of Science and contains the text of most of the invited lectures. Divided into 15 sections, the book covers a wide range of different issues. The reader is given the opportunity to learn about the latest thinking in relevant areas other than those in which they themselves may normally specialise
Advances in natural deduction : a celebration of Dag Prawitz's work by Luiz Carlos Pereira( )

6 editions published between 2011 and 2014 in English and held by 351 WorldCat member libraries worldwide

This collection of papers celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz's work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order rules, as opposed to higher-order connectives, and a paper discussing the application of natural deduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism (itself a by-product of the work on natural deduction), via methods of category theory that have been successfully applied to linear logic, as well as many other contributions from highly regarded authorities. With an illustrious group of contributors addressing a wealth of topics and applications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative of the rich and varied directions that Prawitz work has inspired in the area of natural deduction.
Natural deduction : a proof-theoretical study by Dag Prawitz( Book )

16 editions published in 1965 in 3 languages and held by 223 WorldCat member libraries worldwide

Logic and philosophy of science in Uppsala : papers from the 9th International Congress of Logic, Methodology, and Philosophy of Science by Methodology, and Philosophy of Science International Congress of Logic( Book )

15 editions published between 1991 and 1994 in English and held by 188 WorldCat member libraries worldwide

This collection of 38 papers gives a cross-section of ongoing research in philosophy of science and philosophical logic. The papers, written by active researchers in the field and published here for the first time, are drawn from around 650 papers that were contributed to the 9th International Congress of Logic, Methodology and Philosophy of Science in Uppsala, Sweden, 1991. Some of the speakers whose contributions attracted special interest were invited to contribute their papers to this volume. A few papers appear here more or less as they were presented at the Congress, whereas others are expansions or elaborations of the talks given. There is one section with five papers on philosophical logic. The other papers deal with many different aspects of philosophy of science, including general methodological questions, problems of probability, induction and decision theory, and ethics of science and technology, as well as foundational problems about particular sciences. Five special sections are concerned with logic, mathematics and computer science, the physical sciences, the biological sciences, cognitive science, and linguistics, respectively. Finally, there is one section on the history of logic, methodology and philosophy of science. The book will be of interest to philosophers of science and logicians, as well as to all researchers interested in the foundations of their disciplines
Natural deduction : a proof-theoretical study by Dag Prawitz( Book )

17 editions published between 1965 and 2006 in English and Undetermined and held by 75 WorldCat member libraries worldwide

Meaning and interpretation : conference held in Stockholm, September 24-26, 1998( Book )

5 editions published in 2002 in English and held by 58 WorldCat member libraries worldwide

ABC i symbolisk logik : Logikens språk och grundbegrepp by Dag Prawitz( Book )

15 editions published between 1975 and 2010 in Swedish and held by 30 WorldCat member libraries worldwide

Indroduktion på universitetsniveau til logik
Theoria : tidskrift för filosofi och psykologi( )

in Multiple languages and held by 15 WorldCat member libraries worldwide

Logic and philosophy of science in Uppsala : papers from th 9th International Congress of Logic, Methodology and Philosophy of Science( Book )

1 edition published in 1994 in English and held by 13 WorldCat member libraries worldwide

A selection of papers presented at the 9th International Congress of Logic, Methodology and Philosophy of Science : August 7-14, 1991, Uppsala, Sweden by Methodology and Philosophy of Science (9, 1991, Uppsala) International Congress of Logic( Book )

3 editions published in 1993 in English and held by 11 WorldCat member libraries worldwide

Michael Dummett : contributions to philosophy by Barry Taylor( Book )

1 edition published in 1987 in English and held by 9 WorldCat member libraries worldwide

P.A. Schilpp's 'Library of Living Philosophers' is the series which introduced to the philosophical community the format of a volume of essays on the work of a distinguished philosopher, combined with replies to the essays by the philosopher targeted. The format proved attracti ve to a discipline which has always placed a high premium on debate. But the Schilpp series has shown itself unenterprising in its choice of subjects, concentrating on end-of-year reports on philosophers who are of undoubted distinction, but whose contribution to the subject can be regarded as rather definitely over. Which leaves a gap, which the present series is designed to fill, for volumes of a similar format aiming at assessment of philosophers who have distinguished themselves already by making a substanƯ tial impact on their discipline, but whose further work too is awaited with eager anticipation. Michael Dummett is an ideal subject for a series with this goal of midƯ term assessment. His writings to date have permanently altered philosophy's conception of what is at issue between realism and idealism (and its paler cousin, anti-realism); and this has been achieved by way of a supplementary clarification of a host of issues in the philosophy of language and of mathematics, and of the Frege/Wittgenstein historical tradition from which such issues are typically approached in contemporary philosophy
Novija filozofija matematike( Book )

1 edition published in 1987 in Serbian and held by 9 WorldCat member libraries worldwide

Meaning and interpretation : conference held in Stockholm, September 24-26, 1998( Book )

3 editions published in 2002 in English and held by 8 WorldCat member libraries worldwide

Filosofilexikonet : [en uppslagsbok] : [filosofer och filosofiska begrepp från A till Ö]( Book )

3 editions published between 1988 and 1997 in Swedish and held by 7 WorldCat member libraries worldwide

ABC i symbolisk logik : logikens sprak och grundbegrepp by Dag Prawitz( Book )

3 editions published in 1975 in Undetermined and Swedish and held by 5 WorldCat member libraries worldwide

ABC i symbolisk logik : logikens sprak och grundbegrepp by Dag Prawitz( Book )

2 editions published between 1968 and 1975 in Swedish and Undetermined and held by 4 WorldCat member libraries worldwide

Natural Deduction; A Proof-Theoretical Study by Dag Prawitz( Book )

2 editions published in 1965 in English and held by 3 WorldCat member libraries worldwide

In memory of Arthur Prior( Book )

1 edition published in 1970 in English and held by 3 WorldCat member libraries worldwide

ABC i symbolisk logik : 1- by Dag Prawitz( Book )

2 editions published between 1968 and 1975 in Swedish and held by 3 WorldCat member libraries worldwide

Proceedings of the Ninth International Congress of Logic, Methodology and Philosophy of Science : Uppsala, Sweden, August 7-14, 1991( Book )

1 edition published in 1994 in English and held by 3 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.64 (from 0.51 for Advances i ... to 0.94 for Logic and ...)

Logic and philosophy of science in Uppsala : papers from the 9th International Congress of Logic, Methodology, and Philosophy of Science Logic and philosophy of science in Uppsala : papers from th 9th International Congress of Logic, Methodology and Philosophy of Science
Covers
Natural deduction : a proof-theoretical studyMeaning and interpretation : conference held in Stockholm, September 24-26, 1998Logic and philosophy of science in Uppsala : papers from th 9th International Congress of Logic, Methodology and Philosophy of ScienceMichael Dummett : contributions to philosophy
Alternative Names
Dag Prawitz matematico e filosofo svedese

Dag Prawitz svensk matematikar

Dag Prawitz svensk matematiker

Dag Prawitz Swedish philosopher and logician

Dag Prawitz Zweeds wiskundige

Languages