Logic, Language, and Mathematics: Themes from the Philosophy of Crispin Wright, Miller Alexander
Автор: Lakatos Название: Proofs and Refutations ISBN: 1107534054 ISBN-13(EAN): 9781107534056 Издательство: Cambridge Academ Рейтинг: Цена: 3326.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Imre Lakatos`s influential and enduring work on the nature of mathematic discovery and development continues to be relevant to philosophers of mathematics. Including a specially commissioned preface written by Paolo Mancosu, and presented in a fresh twenty-first-century series livery, it is now available for a new generation of readers.
Автор: Petr Hajek Название: Metamathematics of First-Order Arithmetic ISBN: 1107168414 ISBN-13(EAN): 9781107168411 Издательство: Cambridge Academ Рейтинг: Цена: 16743.00 р. 23918.00-30% Наличие на складе: Есть (1 шт.) Описание: This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.
Описание: A thoroughly updated introduction to the concepts, methods, and standards of critical thinking, A Practical Guide to Critical Thinking: Deciding What to Do and Believe, Second Edition is a unique presentation of the formal strategies used when thinking through reasons and arguments in many areas of expertise.
"The book is divided into 8-10 chapters that are each only 2 or 3 pages long ... this feels like a nice feature of the book, since you can dip in and just read a short bite before moving on. The author clearly has some interesting ideas and at times I found his writing to be quite engaging."
MAA Review
"I did enjoy reading (and re-reading) this book very much. Reading it deserves a warm recommendation not only for mathematicians but for anybody ... this book makes you think about how and what you think you are thinking."
European Mathematical Society
"Circularity" is the story of a Janus-faced conceptual structure, that on the one hand led to deep scientific discoveries, and on the other hand is used to trick the mind into believing the impossible. Alongside mathematical revolutions that eventually led to the invention of the computer, the book describes ancient paradoxes that arise from circular thinking. Another aspect of circularity, its ability to entertain, leads to a surprising insight on the time old question "What is humor." The book presents the ubiquity of circularity in many fields, and its power to confuse and to instruct.
Автор: Jan Wolenski Название: Philosophical Logic in Poland ISBN: 9048142768 ISBN-13(EAN): 9789048142767 Издательство: Springer Рейтинг: Цена: 38433.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This collection presents contemporary Polish work in philosophical logic which in many respects continue the Polish way of doing philosophical logic. This book will be of interest to logicians, mathematicians, philosophers, and linguists.
Автор: Dieter Probst, Peter Schuster Название: Concepts of Proof in Mathematics, Philosophy, and Computer Science ISBN: 1501510800 ISBN-13(EAN): 9781501510809 Издательство: Walter de Gruyter Цена: 20446.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: A proof is a successful demonstration that a conclusion necessarily follows by logical reasoning from axioms which are considered evident for the given context and agreed upon by the community. It is this concept that sets mathematics apart from other disciplines and distinguishes it as the prototype of a deductive science. Proofs thus are utterly relevant for research, teaching and communication in mathematics and of particular interest for the philosophy of mathematics. In computer science, moreover, proofs have proved to be a rich source for already certified algorithms. This book provides the reader with a collection of articles covering relevant current research topics circled around the concept 'proof'. It tries to give due consideration to the depth and breadth of the subject by discussing its philosophical and methodological aspects, addressing foundational issues induced by Hilbert's Programme and the benefits of the arising formal notions of proof, without neglecting reasoning in natural language proofs and applications in computer science such as program extraction.
In a career that spans 60 years so far, W.W. Tait has made many highly influential contributions to logic, the philosophy of mathematics, and their history. The present collection of new essays - contributed by former students, colleagues, and friends - is a Festschrift, i.e., a celebration of his life and work. The essays address a variety of themes prominent in his work or related to it.
The collection starts with an introduction in which Tait's contributions are sketched and put into context. The eleven essays that follow are arranged in three parts: Part I. Proof Theory and its History; Part II. Logic and Philosophy of Mathematics; and Part III. History of Logic and Philosophy of Mathematics. Each of the essays contributes substantially to one or several of these areas.
The authors included are: Steve Awodey, Solomon Feferman, Michael Friedman, Warren Goldfarb, Geoffrey Hellman, William Howard, Stephen Menn, Rebecca Morris, Charles Parsons, Erich Reck, Thomas Ricketts, and Wilfried Sieg.
The editor, Erich H. Reck is Professor of Philosophy at the University of California at Riverside.
Автор: Hossack Keith Название: Knowledge and the Philosophy of Number ISBN: 1350102903 ISBN-13(EAN): 9781350102903 Издательство: Bloomsbury Academic Рейтинг: Цена: 15840.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
If numbers were objects, how could there be human knowledge of number? Numbers are not physical objects: must we conclude that we have a mysterious power of perceiving the abstract realm? Or should we instead conclude that numbers are fictions?
This book argues that numbers are not objects: they are magnitude properties. Properties are not fictions and we certainly have scientific knowledge of them. Much is already known about magnitude properties such as inertial mass and electric charge, and much continues to be discovered. The book says the same is true of numbers. In the theory of magnitudes, the categorial distinction between quantity and individual is of central importance, for magnitudes are properties of quantities, not properties of individuals. Quantity entails divisibility, so the logic of quantity needs mereology, the a priori logic of part and whole. The three species of quantity are pluralities, continua and series, and the book presents three variants of mereology, one for each species of quantity. Given Euclid's axioms of equality, it is possible without the use of set theory to deduce the axioms of the natural, real and ordinal numbers from the respective mereologies of pluralities, continua and series. Knowledge and the Philosophy of Number carries out these deductions, arriving at a metaphysics of number that makes room for our a priori knowledge of mathematical reality.
Автор: Belohlavek Radim, Dauben Joseph W., Klir George J. Название: Fuzzy Logic and Mathematics: A Historical Perspective ISBN: 0190200014 ISBN-13(EAN): 9780190200015 Издательство: Oxford Academ Рейтинг: Цена: 27301.00 р. Наличие на складе: Нет в наличии.
Описание: The main part of the book is a comprehensive overview of the development of fuzzy logic and its applications in various areas of human affair since its genesis in the mid 1960s. This overview is then employed for assessing the significance of fuzzy logic and mathematics based on fuzzy logic.
Описание: The first category includes papers on non-classical logics, including intuitionistic logic, constructive logic, basic logic, and substructural logic.
Автор: Reinhard Kahle; Thomas Strahm; Thomas Studer Название: Advances in Proof Theory ISBN: 3319291963 ISBN-13(EAN): 9783319291963 Издательство: Springer Рейтинг: Цена: 13275.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss recent trends and results in these areas.
Автор: Luca Castagnoli, Paolo Fait Название: The Cambridge Companion to Ancient Logic ISBN: 110765677X ISBN-13(EAN): 9781107656772 Издательство: Cambridge Academ Рейтинг: Цена: 4435.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This Companion provides a comprehensive guide to ancient logic. The first part charts its chronological development, focussing especially on the Greek tradition, and discusses its two main systems: Aristotle's logic of terms and the Stoic logic of propositions. The second part explores the key concepts at the heart of the ancient logical systems: truth, definition, terms, propositions, syllogisms, demonstrations, modality and fallacy. The systematic discussion of these concepts allows the reader to engage with some specific logical and exegetical issues and to appreciate their transformations across different philosophical traditions. The intersections between logic, mathematics and rhetoric are also explored. The third part of the volume discusses the reception and influence of ancient logic in the history of philosophy and its significance for philosophy in our own times. Comprehensive coverage, chapters by leading international scholars and a critical overview of the recent literature in the field will make this volume essential for students and scholars of ancient logic.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru