wyszukanych pozycji: 6
![]() |
The Unprovability of Consistency: An Essay in Modal Logic
ISBN: 9780521092975 / Angielski / Miękka / 2009 / 196 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study of the principles that govern the concepts of necessity and possibility; proof theory is, in part, the study of those that govern provability and consistency. In this book, George Boolos looks at the principles of provability from the standpoint of modal logic. In doing so, he provides two perspectives on a debate in modal logic that has persisted for at least thirty years between the followers of C. I. Lewis and W. V. O. Quine. The author...
The Unprovability of Consistency is concerned with connections between two branches of logic: proof theory and modal logic. Modal logic is the study o...
|
cena:
323,22 zł |
![]() |
Meaning and Method: Essays in Honor of Hilary Putnam
ISBN: 9780521115858 / Angielski / Miękka / 2009 / 392 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. In this festschrift for the eminent philosopher Hilary Putnam, a team of distinguished philosophers write on a broad range of topics and thus reflect the remarkably fertile and provocative research of Putnam himself. The volume is not merely a celebration of a man, but also a report on the state of philosophy in a number of significant areas. The essays fall naturally into three groups: a central core on the theme of conventionality and content in the philosophy of mind, language, and science, and two smaller sections on the relationship of ethics and language, and on the philosophy of logic...
In this festschrift for the eminent philosopher Hilary Putnam, a team of distinguished philosophers write on a broad range of topics and thus reflect ...
|
cena:
230,16 zł |
![]() |
The Logic of Provability
ISBN: 9780521483254 / Angielski / Miękka / 1995 / 316 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the author's earlier The Unprovability of Consistency (1979). Its subject is the relation between provability and modal logic, a branch of logic invented by Aristotle but much disparaged by philosophers and virtually ignored by mathematicians. Here it receives its first scientific application since its invention.
This book, written by one of the most distinguished of contemporary philosophers of mathematics, is a fully rewritten and updated successor to the aut...
|
cena:
195,88 zł |
![]() |
Logic, Logic, and Logic
ISBN: 9780674537675 / Angielski / Miękka / 1999 / 443 str. Termin realizacji zamówienia: ok. 18-20 dni roboczych. George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the GOdel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege's work on logic and the philosophy of mathematics. John Burgess has provided...
George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himsel...
|
cena:
232,59 zł |
![]() |
Computability and Logic
ISBN: 9780521701464 / Angielski / Miękka / 2007 / 366 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel s incompleteness theorems, but also a large number of optional topics, from Turing s theory of computability to Ramsey s theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel...
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simp...
|
cena:
195,88 zł |
![]() |
Computability and Logic
ISBN: 9780521877527 / Angielski / Twarda / 2007 / 366 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel s incompleteness theorems, but also a large number of optional topics, from Turing s theory of computability to Ramsey s theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel...
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simp...
|
cena:
612,26 zł |