Outstanding Contributions to Logic (195 Ergebnisse)

HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.

Hardcover. Zustand: Very Good. Inscribed.

Hardcover. Zustand: Very Good. Zustand des Schutzumschlags: Picture Boards. 1st Edition. This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher. Philosophically, indeterminism and free action can seem far apart, but in Belnap's work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth on Belnap's logical and philosophical work. Some contributions take the form of critical discussions of Belnap's published work, some develop points made in his publications in new directions, and others provide additional insights on the topics of indeterminism and free action. In Nuel Belnap's work on indeterminism and free action, three formal frameworks figure prominently: the simple branching histories framework known as "branching time;" its relativistic spatio-temporal extension, branching space-times; and the "seeing to it that" (stit ) logic of agency. As those frameworks provide the formal background for the contributed papers, the volume introduction gives an overview of the current state of their development. It also introduces case-intensional first order logic (CIFOL), a general intensional logic offering resources for a first-order extension of the mentioned frameworks and a recent research focus of Belnap's. The volume also contains an extended biographical interview with Nuel Belnap. Size: 8vo - over 7¾" - 9¾" tall. Book.

1st edition 2018. 23.5 cm x 15.5 cm. XII, 371 p. Hardcover. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Outstanding Contributions to Logic, 15. Sprache: Englisch.

xxxiii, 454 p. Hardcover. Gestempelt/Stamped. Outstanding Contributions to Logic, 16. Sprache: Englisch.

1 Online-Ressource(XIII, 586 p. 66 illus., 5 illus. in color.). Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Outstanding Contributions to Logic, 22. Sprache: Englisch.

lxxx, 551 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.

XVIII, 502 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Outstanding Contributions to Logic Book 17 Sprache: Englisch.

Hardcover. Zustand: neuwertig. Neuwertig In englischer Sprache. 359 S. pages. 24 x 15 cm.

Gebunden. Zustand: New. Celebrates the life and work of Don Pigozzi Highlights Pigozzi s important contribution to the rise and development of abstract algebraic logic (AAL), universal algebra, and computer science Brings together an international group of schol.

Hardcover. Zustand: neuwertig. Neuwertig In englischer Sprache. 502 S. pages. 24 x 15 cm.

, Hardcover/Pappeinband. Zustand: Sehr gut. Auflage: 1st ed. 2018. 284 Seiten Fresh and clean hardcover copy in good condition. Contents: Chapter 1. Memories of Hilary Putnam (Roy T Cook).- Chapter 2. Bibliography of Putnam's Writings in Logic & Mathematics (Roy T Cook).- Part I: Logic and the Philosophy of Logic.- Chapter 3. Logic, Empiricism, and Translation (Roy T Cook).- Chapter 4. Putnam's Theorem on the Complexity of Models (Warren Goldfarb).- Chapter 5. Extendability and Paradox (G. Hellman).- Chapter 6. The Metaphysics of Model-theoretic Arguments (Kate Hodeson).- Chapter 7. Normativity and Mechanism (Tim McCarthy).- Chapter 8. Changing the Subject: Quine, Putnam and Waismann (Stewart Shapiro).- Part II: Mathematics, Foundations, and Philosophy of Mathematics.- Chapter 9. Putnam on Foundations: Models, Modals, Muddles (John Burgess).- Chapter 10. Pragmatic Platonism (Martin Davis).- Chapter 11. Abstraction, Axiomatization, & Rigor: Pasch & Hilbert (Mic Detlefsen).- Chapter 12. Concrete Mathematical Incompleteness: Emulation Theory (Harvey Friedman).- Chapter 13. Putnam's Constructivization Argument (Akihiro Kanimori).- Chapter 14. Putnam on Mathematics as Modal Logic (Oystein Linnebo). ISBN 9783319962733 Sprache: Englisch Gewicht in Gramm: 540.

Hardcover. Zustand: neuwertig. Original eingeschweißt In englischer Sprache. 454 S. pages. 24 x 15 cm.

Zustand: Very Good. Condition: Very Good | Language: English | Product Type: Books.

Paperback. Zustand: Brand New. 473 pages. 9.25x6.10x0.96 inches. In Stock.

hardcover. Zustand: Very Good. Cover and edges may have some wear. Mild to Moderate creasing / bending to covers and pages.

Paperback. Zustand: Brand New. 384 pages. 9.25x6.10x0.87 inches. In Stock.

Hardcover. Zustand: Brand New. 383 pages. 9.25x6.10x1.10 inches. In Stock.

Hardcover. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. Outstanding Contributions to Logic 11. Hardcover with printed boards, no dust jacket, in very good condition. Board corners and spine ends are slightly bumped and rubbed, and page block is lightly blemished. Content is as unread. LW. Used.

Zustand: New.

Zustand: New.

Buch. Zustand: Neu. Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science | Janusz Czelakowski | Buch | xxxiii | Englisch | 2018 | Springer International Publishing | EAN 9783319747712 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Hardcover. Zustand: Brand New. 409 pages. 9.25x6.25x1.00 inches. In Stock.

Hardcover. Zustand: Brand New. 473 pages. 9.25x6.10x1.14 inches. In Stock.

Taschenbuch. Zustand: Neu. Neuware -This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language.The chapters of which this book is composed discuss the subject from a rich variety of angles, including the history of logic, the proper interpretation of logical validity, natural deduction rules, the notions of harmony and of synonymy, the structure of proofs, the logical status of equality, intentional phenomena, and the proof theory of second-order arithmetic. All chapters relate directly to questions that have driven Schroeder-Heister's own research agendaand to which he has made seminal contributions. The extensive autobiographical chapter not only provides a fascinating overview of Schroeder-Heister's career and the evolution of his academic interests but also constitutes a contribution to the recent history of logic in its own right, painting an intriguing picture of the philosophical, logical, and mathematical institutional landscape in Germany and elsewhere since the early 1970s. The papers collected in this book are illuminatingly put into a unified perspective by Schroeder-Heister's comments at the end of the book. Both graduate students and established researchers in the field will find this book an excellent resource for future work in proof-theoretic semantics and related areas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language. The chapters of which this book is composed discuss the subject from a rich variety of angles, including the history of logic, the proper interpretation of logical validity, natural deduction rules, the notions of harmony and of synonymy, the structure of proofs, the logical status of equality, intentional phenomena, and the proof theory of second-order arithmetic. All chapters relate directly to questions that have driven Schroeder-Heister's own research agendaand to which he has made seminal contributions. The extensive autobiographical chapter not only provides a fascinating overview of Schroeder-Heister's career and the evolution of his academic interests but also constitutes a contribution to the recent history of logic in its own right, painting an intriguing picture of the philosophical, logical, and mathematical institutional landscape in Germany and elsewhere since the early 1970s. The papers collected in this book are illuminatingly put into a unified perspective by Schroeder-Heister's comments at the end of the book. Both graduate students and established researchers in the field will find this book an excellent resource for future work in proof-theoretic semantics and related areas.

Taschenbuch. Zustand: Neu. Peter Schroeder-Heister on Proof-Theoretic Semantics | Thomas Piecha (u. a.) | Taschenbuch | x | Englisch | 2024 | Springer | EAN 9783031509834 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Buch. Zustand: Neu. Neuware -This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language.The chapters of which this book is composed discuss the subject from a rich variety of angles, including the history of logic, the proper interpretation of logical validity, natural deduction rules, the notions of harmony and of synonymy, the structure of proofs, the logical status of equality, intentional phenomena, and the proof theory of second-order arithmetic. All chapters relate directly to questions that have driven Schroeder-Heister's own research agendaand to which he has made seminal contributions. The extensive autobiographical chapter not only provides a fascinating overview of Schroeder-Heister's career and the evolution of his academic interests but also constitutes a contribution to the recent history of logic in its own right, painting an intriguing picture of the philosophical, logical, and mathematical institutional landscape in Germany and elsewhere since the early 1970s. The papers collected in this book are illuminatingly put into a unified perspective by Schroeder-Heister's comments at the end of the book. Both graduate students and established researchers in the field will find this book an excellent resource for future work in proof-theoretic semantics and related areas.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific autobiography and original contributions from experts in the field of non-classical logics.Professor Larisa Maksimova's influential work involved combining methods of algebraic and relational semantics. Readers will be able to trace both influences on her work, and the ways in which her work has influenced other logicians. In the historical part of this book, it is possible to trace important milestones in Maksimoväs career. Early on, she developed an algebraic semantics for relevance logics and relational semantics for the logic of entailment. Later, Maksimova discovered that among the continuum of superintuitionisitc logics there are exactly three pretabular logics. She went on to obtain results on the decidability of tabularity and local tabularity problems for superintuitionistic logics and for extensions of S4. Further investigations by Maksimova were aimed at the study of fundamental properties of logical systems (different versions of interpolation and definability, disjunction property, etc.) in big classes of logics, and on decidability and recognizability of such properties. To this end she determined a powerful combination of algebraic and semantic methods, which essentially determine the modern state of investigations in the area, as can be seen in the later chapters of this book authored by leading experts in non-classical logics. These original contributions bring the reader up to date on the very latest work in this field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.

Buch. Zustand: Neu. Neuware -This edited volume focuses on the work of Professor Larisa Maksimova, providing a comprehensive account of her outstanding contributions to different branches of non-classical logic. The book covers themes ranging from rigorous implication, relevance and algebraic logic, to interpolation, definability and recognizability in superintuitionistic and modal logics. It features both her scientific autobiography and original contributions from experts in the field of non-classical logics.Professor Larisa Maksimova's influential work involved combining methods of algebraic and relational semantics. Readers will be able to trace both influences on her work, and the ways in which her work has influenced other logicians. In the historical part of this book, it is possible to trace important milestones in Maksimoväs career. Early on, she developed an algebraic semantics for relevance logics and relational semantics for the logic of entailment. Later, Maksimova discovered that among the continuum of superintuitionisitc logics there are exactly three pretabular logics. She went on to obtain results on the decidability of tabularity and local tabularity problems for superintuitionistic logics and for extensions of S4. Further investigations by Maksimova were aimed at the study of fundamental properties of logical systems (different versions of interpolation and definability, disjunction property, etc.) in big classes of logics, and on decidability and recognizability of such properties. To this end she determined a powerful combination of algebraic and semantic methods, which essentially determine the modern state of investigations in the area, as can be seen in the later chapters of this book authored by leading experts in non-classical logics. These original contributions bring the reader up to date on the very latest work in this field.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 384 pp. Englisch.