Author: Dov M. Gabbay
Publisher: Newnes
ISBN: 0080931707
Category : Mathematics
Languages : en
Pages : 706
Book Description
The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship. It is the first work in English in which the history of logic is presented so extensively. The volumes are numerous and large. Authors have been given considerable latitude to produce chapters of a length, and a level of detail, that would lay fair claim on the ambitions of the project to be a definitive research work. Authors have been carefully selected with this aim in mind. They and the Editors join in the conviction that a knowledge of the history of logic is nothing but beneficial to the subject's present-day research programmes. One of the attractions of the Handbook's several volumes is the emphasis they give to the enduring relevance of developments in logic throughout the ages, including some of the earliest manifestations of the subject. - Covers in depth the notion of logical consequence - Discusses the central concept in logic of modality - Includes the use of diagrams in logical reasoning
Logic: A History of its Central Concepts
Author: Dov M. Gabbay
Publisher: Newnes
ISBN: 0080931707
Category : Mathematics
Languages : en
Pages : 706
Book Description
The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship. It is the first work in English in which the history of logic is presented so extensively. The volumes are numerous and large. Authors have been given considerable latitude to produce chapters of a length, and a level of detail, that would lay fair claim on the ambitions of the project to be a definitive research work. Authors have been carefully selected with this aim in mind. They and the Editors join in the conviction that a knowledge of the history of logic is nothing but beneficial to the subject's present-day research programmes. One of the attractions of the Handbook's several volumes is the emphasis they give to the enduring relevance of developments in logic throughout the ages, including some of the earliest manifestations of the subject. - Covers in depth the notion of logical consequence - Discusses the central concept in logic of modality - Includes the use of diagrams in logical reasoning
Publisher: Newnes
ISBN: 0080931707
Category : Mathematics
Languages : en
Pages : 706
Book Description
The Handbook of the History of Logic is a multi-volume research instrument that brings to the development of logic the best in modern techniques of historical and interpretative scholarship. It is the first work in English in which the history of logic is presented so extensively. The volumes are numerous and large. Authors have been given considerable latitude to produce chapters of a length, and a level of detail, that would lay fair claim on the ambitions of the project to be a definitive research work. Authors have been carefully selected with this aim in mind. They and the Editors join in the conviction that a knowledge of the history of logic is nothing but beneficial to the subject's present-day research programmes. One of the attractions of the Handbook's several volumes is the emphasis they give to the enduring relevance of developments in logic throughout the ages, including some of the earliest manifestations of the subject. - Covers in depth the notion of logical consequence - Discusses the central concept in logic of modality - Includes the use of diagrams in logical reasoning
Logic from Russell to Church
Author: Dov M. Gabbay
Publisher: Elsevier
ISBN: 0080885470
Category : Mathematics
Languages : en
Pages : 1069
Book Description
This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th century, and concentrates on the achievements of the great names of the period--Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts: set theory, model theory, proof theory and recursion theory. Collectively, this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, and artificial intelligence, for whom the historical background of his or her work is a salient consideration.• The entire range of modal logic is covered• Serves as a singular contribution to the intellectual history of the 20th century• Contains the latest scholarly discoveries and interpretative insights
Publisher: Elsevier
ISBN: 0080885470
Category : Mathematics
Languages : en
Pages : 1069
Book Description
This volume is number five in the 11-volume Handbook of the History of Logic. It covers the first 50 years of the development of mathematical logic in the 20th century, and concentrates on the achievements of the great names of the period--Russell, Post, Gödel, Tarski, Church, and the like. This was the period in which mathematical logic gave mature expression to its four main parts: set theory, model theory, proof theory and recursion theory. Collectively, this work ranks as one of the greatest achievements of our intellectual history. Written by leading researchers in the field, both this volume and the Handbook as a whole are definitive reference tools for senior undergraduates, graduate students and researchers in the history of logic, the history of philosophy, and any discipline, such as mathematics, computer science, and artificial intelligence, for whom the historical background of his or her work is a salient consideration.• The entire range of modal logic is covered• Serves as a singular contribution to the intellectual history of the 20th century• Contains the latest scholarly discoveries and interpretative insights
The Logic of the History of Ideas
Author: Mark Bevir
Publisher: Cambridge University Press
ISBN: 9780521016841
Category : History
Languages : en
Pages : 356
Book Description
Human cultures generate meanings, and the history of ideas, broadly conceived, is the study of these meanings. An adequate theory of culture must therefore rest on a suitable philosophical enquiry into the nature of the history of ideas. Mark Bevir's book explores the forms of reasoning appropriate to the history of ideas, enhancing our understanding by grappling with central questions such as: What is a meaning? What constitutes objective knowledge of the past? What are beliefs and traditions? How can we explain why people held the beliefs they did? The book ranges widely over issues and theorists associated with post-analytic philosophy, post-modernism, hermeneutics, literary theory, political thought, and social theory.
Publisher: Cambridge University Press
ISBN: 9780521016841
Category : History
Languages : en
Pages : 356
Book Description
Human cultures generate meanings, and the history of ideas, broadly conceived, is the study of these meanings. An adequate theory of culture must therefore rest on a suitable philosophical enquiry into the nature of the history of ideas. Mark Bevir's book explores the forms of reasoning appropriate to the history of ideas, enhancing our understanding by grappling with central questions such as: What is a meaning? What constitutes objective knowledge of the past? What are beliefs and traditions? How can we explain why people held the beliefs they did? The book ranges widely over issues and theorists associated with post-analytic philosophy, post-modernism, hermeneutics, literary theory, political thought, and social theory.
Philosophy of Logic
Author:
Publisher: Elsevier
ISBN: 008046663X
Category : Mathematics
Languages : en
Pages : 1219
Book Description
The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert's program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights.- Written by leading logicians and philosophers- Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic- Clear, in-depth expositions of technical detail- Progressive organization from general considerations to informal to symbolic logic to nonclassical logics- Presents current work in symbolic logic within a unified framework- Accessible to students, engaging for experts and professionals- Insightful philosophical discussions of all aspects of logic- Useful bibliographies in every chapter
Publisher: Elsevier
ISBN: 008046663X
Category : Mathematics
Languages : en
Pages : 1219
Book Description
The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and its relevance for philosophy today, and explore in depth developments in informal logic and the relation of informal to symbolic logic, mathematical metatheory and the limiting metatheorems, modal logic, many-valued logic, relevance and paraconsistent logic, free logics, extensional v. intensional logics, the logic of fiction, epistemic logic, formal logical and semantic paradoxes, the concept of truth, the formal theory of entailment, objectual and substitutional interpretation of the quantifiers, infinity and domain constraints, the Löwenheim-Skolem theorem and Skolem paradox, vagueness, modal realism v. actualism, counterfactuals and the logic of causation, applications of logic and mathematics to the physical sciences, logically possible worlds and counterpart semantics, and the legacy of Hilbert's program and logicism. The handbook is meant to be both a compendium of new work in symbolic logic and an authoritative resource for students and researchers, a book to be consulted for specific information about recent developments in logic and to be read with pleasure for its technical acumen and philosophical insights.- Written by leading logicians and philosophers- Comprehensive authoritative coverage of all major areas of contemporary research in symbolic logic- Clear, in-depth expositions of technical detail- Progressive organization from general considerations to informal to symbolic logic to nonclassical logics- Presents current work in symbolic logic within a unified framework- Accessible to students, engaging for experts and professionals- Insightful philosophical discussions of all aspects of logic- Useful bibliographies in every chapter
Mediaeval and Renaissance Logic
Author: Dov M. Gabbay
Publisher: Elsevier
ISBN: 0080560857
Category : History
Languages : en
Pages : 727
Book Description
Starting at the very beginning with Aristotle's founding contributions, logic has been graced by several periods in which the subject has flourished, attaining standards of rigour and conceptual sophistication underpinning a large and deserved reputation as a leading expression of human intellectual effort. It is widely recognized that the period from the mid-19th century until the three-quarter mark of the century just past marked one of these golden ages, a period of explosive creativity and transforming insights. It has been said that ignorance of our history is a kind of amnesia, concerning which it is wise to note that amnesia is an illness. It would be a matter for regret, if we lost contact with another of logic's golden ages, one that greatly exceeds in reach that enjoyed by mathematical symbolic logic. This is the period between the 11th and 16th centuries, loosely conceived of as the Middle Ages. The logic of this period does not have the expressive virtues afforded by the symbolic resources of uninterpreted calculi, but mediaeval logic rivals in range, originality and intellectual robustness a good deal of the modern record. The range of logic in this period is striking, extending from investigation of quantifiers and logic consequence to inquiries into logical truth; from theories of reference to accounts of identity; from work on the modalities to the stirrings of the logic of relations, from theories of meaning to analyses of the paradoxes, and more. While the scope of mediaeval logic is impressive, of greater importance is that nearly all of it can be read by the modern logician with at least some prospect of profit. The last thing that mediaeval logic is, is a museum piece.Mediaeval and Renaissance Logic is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and AI, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas.- Provides detailed and comprehensive chapters covering the entire range of modal logic - Contains the latest scholarly discoveries and interpretative insights that answer many questions in the field of logic
Publisher: Elsevier
ISBN: 0080560857
Category : History
Languages : en
Pages : 727
Book Description
Starting at the very beginning with Aristotle's founding contributions, logic has been graced by several periods in which the subject has flourished, attaining standards of rigour and conceptual sophistication underpinning a large and deserved reputation as a leading expression of human intellectual effort. It is widely recognized that the period from the mid-19th century until the three-quarter mark of the century just past marked one of these golden ages, a period of explosive creativity and transforming insights. It has been said that ignorance of our history is a kind of amnesia, concerning which it is wise to note that amnesia is an illness. It would be a matter for regret, if we lost contact with another of logic's golden ages, one that greatly exceeds in reach that enjoyed by mathematical symbolic logic. This is the period between the 11th and 16th centuries, loosely conceived of as the Middle Ages. The logic of this period does not have the expressive virtues afforded by the symbolic resources of uninterpreted calculi, but mediaeval logic rivals in range, originality and intellectual robustness a good deal of the modern record. The range of logic in this period is striking, extending from investigation of quantifiers and logic consequence to inquiries into logical truth; from theories of reference to accounts of identity; from work on the modalities to the stirrings of the logic of relations, from theories of meaning to analyses of the paradoxes, and more. While the scope of mediaeval logic is impressive, of greater importance is that nearly all of it can be read by the modern logician with at least some prospect of profit. The last thing that mediaeval logic is, is a museum piece.Mediaeval and Renaissance Logic is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and AI, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas.- Provides detailed and comprehensive chapters covering the entire range of modal logic - Contains the latest scholarly discoveries and interpretative insights that answer many questions in the field of logic
Logics of History
Author: William H. Sewell Jr.
Publisher: University of Chicago Press
ISBN: 0226749193
Category : Social Science
Languages : en
Pages : 425
Book Description
While social scientists and historians have been exchanging ideas for a long time, they have never developed a proper dialogue about social theory. William H. Sewell Jr. observes that on questions of theory the communication has been mostly one way: from social science to history. Logics of History argues that both history and the social sciences have something crucial to offer each other. While historians do not think of themselves as theorists, they know something social scientists do not: how to think about the temporalities of social life. On the other hand, while social scientists’ treatments of temporality are usually clumsy, their theoretical sophistication and penchant for structural accounts of social life could offer much to historians. Renowned for his work at the crossroads of history, sociology, political science, and anthropology, Sewell argues that only by combining a more sophisticated understanding of historical time with a concern for larger theoretical questions can a satisfying social theory emerge. In Logics of History, he reveals the shape such an engagement could take, some of the topics it could illuminate, and how it might affect both sides of the disciplinary divide.
Publisher: University of Chicago Press
ISBN: 0226749193
Category : Social Science
Languages : en
Pages : 425
Book Description
While social scientists and historians have been exchanging ideas for a long time, they have never developed a proper dialogue about social theory. William H. Sewell Jr. observes that on questions of theory the communication has been mostly one way: from social science to history. Logics of History argues that both history and the social sciences have something crucial to offer each other. While historians do not think of themselves as theorists, they know something social scientists do not: how to think about the temporalities of social life. On the other hand, while social scientists’ treatments of temporality are usually clumsy, their theoretical sophistication and penchant for structural accounts of social life could offer much to historians. Renowned for his work at the crossroads of history, sociology, political science, and anthropology, Sewell argues that only by combining a more sophisticated understanding of historical time with a concern for larger theoretical questions can a satisfying social theory emerge. In Logics of History, he reveals the shape such an engagement could take, some of the topics it could illuminate, and how it might affect both sides of the disciplinary divide.
Handbook of the History of Logic: Logic: a history of its central concepts
Author: Dov M. Gabbay
Publisher:
ISBN:
Category : Logic
Languages : en
Pages :
Book Description
Publisher:
ISBN:
Category : Logic
Languages : en
Pages :
Book Description
Handbook of Logic and Proof Techniques for Computer Science
Author: Steven G. Krantz
Publisher: Springer Science & Business Media
ISBN: 1461201152
Category : Computers
Languages : en
Pages : 257
Book Description
Logic is, and should be, the core subject area of modern mathemat ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the subject. As a result, logic plays a central conceptual role. At the same time, mathematical logic has grown into one of the most recondite areas of mathematics. Most of modern logic is inaccessible to all but the special ist. Yet there is a need for many mathematical scientists-not just those engaged in mathematical research-to become conversant with the key ideas of logic. The Handbook of Mathematical Logic, edited by Jon Bar wise, is in point of fact a handbook written by logicians for other mathe maticians. It was, at the time of its writing, encyclopedic, authoritative, and up-to-the-moment. But it was, and remains, a comprehensive and authoritative book for the cognoscenti. The encyclopedic Handbook of Logic in Computer Science by Abramsky, Gabbay, and Maibaum is a wonderful resource for the professional. But it is overwhelming for the casual user. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic. Thus the present work has a different target audience. The intent of this handbook is to present the elements of modern logic, including many current topics, to the reader having only basic mathe matical literacy.
Publisher: Springer Science & Business Media
ISBN: 1461201152
Category : Computers
Languages : en
Pages : 257
Book Description
Logic is, and should be, the core subject area of modern mathemat ics. The blueprint for twentieth century mathematical thought, thanks to Hilbert and Bourbaki, is the axiomatic development of the subject. As a result, logic plays a central conceptual role. At the same time, mathematical logic has grown into one of the most recondite areas of mathematics. Most of modern logic is inaccessible to all but the special ist. Yet there is a need for many mathematical scientists-not just those engaged in mathematical research-to become conversant with the key ideas of logic. The Handbook of Mathematical Logic, edited by Jon Bar wise, is in point of fact a handbook written by logicians for other mathe maticians. It was, at the time of its writing, encyclopedic, authoritative, and up-to-the-moment. But it was, and remains, a comprehensive and authoritative book for the cognoscenti. The encyclopedic Handbook of Logic in Computer Science by Abramsky, Gabbay, and Maibaum is a wonderful resource for the professional. But it is overwhelming for the casual user. There is need for a book that introduces important logic terminology and concepts to the working mathematical scientist who has only a passing acquaintance with logic. Thus the present work has a different target audience. The intent of this handbook is to present the elements of modern logic, including many current topics, to the reader having only basic mathe matical literacy.
The Oxford Handbook of Philosophy of Mathematics and Logic
Author: Stewart Shapiro
Publisher: OUP USA
ISBN: 0195148770
Category : Mathematics
Languages : en
Pages : 850
Book Description
Covers the state of the art in the philosophy of maths and logic, giving the reader an overview of the major problems, positions, and battle lines. The chapters in this book contain both exposition and criticism as well as substantial development of their own positions. It also includes a bibliography.
Publisher: OUP USA
ISBN: 0195148770
Category : Mathematics
Languages : en
Pages : 850
Book Description
Covers the state of the art in the philosophy of maths and logic, giving the reader an overview of the major problems, positions, and battle lines. The chapters in this book contain both exposition and criticism as well as substantial development of their own positions. It also includes a bibliography.
Logic in Central and Eastern Europe
Author: Andrew Schumann
Publisher:
ISBN: 9780761858911
Category : Analysis (Philosophy)
Languages : en
Pages : 0
Book Description
This book is a collection of rare material regarding logical and analytic-philosophical traditions in Central and Eastern European countries, covering the period from the late nineteenth century to the early twenty-first century. An encyclopedic feature covers the history of l...
Publisher:
ISBN: 9780761858911
Category : Analysis (Philosophy)
Languages : en
Pages : 0
Book Description
This book is a collection of rare material regarding logical and analytic-philosophical traditions in Central and Eastern European countries, covering the period from the late nineteenth century to the early twenty-first century. An encyclopedic feature covers the history of l...