Author: Alonzo Church
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 164
Book Description
A Bibliography of Symbolic Logic, 1666-1935
Author: Alonzo Church
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 164
Book Description
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 164
Book Description
The A to Z of Logic
Author: Harry J. Gensler
Publisher: Rowman & Littlefield
ISBN: 0810875969
Category : History
Languages : en
Pages : 354
Book Description
The A to Z of Logic introduces the central concepts of the field in a series of brief, non-technical, cross-referenced dictionary entries. The 352 alphabetically arranged entries give a clear, basic introduction to a very broad range of logical topics. Entries can be found on deductive systems, such as propositional logic, modal logic, deontic logic, temporal logic, set theory, many-valued logic, mereology, and paraconsistent logic. Similarly, there are entries on topics relating to those previously mentioned such as negation, conditionals, truth tables, and proofs. Historical periods and figures are also covered, including ancient logic, medieval logic, Buddhist logic, Aristotle, Ockham, Boole, Frege, Russell, Gödel, and Quine. There are even entries relating logic to other areas and topics, like biology, computers, ethics, gender, God, psychology, metaphysics, abstract entities, algorithms, the ad hominem fallacy, inductive logic, informal logic, the liar paradox, metalogic, philosophy of logic, and software for learning logic. In addition to the dictionary, there is a substantial chronology listing the main events in the history of logic, an introduction that sketches the central ideas of logic and how it has evolved into what it is today, and an extensive bibliography of related readings. This book is not only useful for specialists but also understandable to students and other beginners in the field.
Publisher: Rowman & Littlefield
ISBN: 0810875969
Category : History
Languages : en
Pages : 354
Book Description
The A to Z of Logic introduces the central concepts of the field in a series of brief, non-technical, cross-referenced dictionary entries. The 352 alphabetically arranged entries give a clear, basic introduction to a very broad range of logical topics. Entries can be found on deductive systems, such as propositional logic, modal logic, deontic logic, temporal logic, set theory, many-valued logic, mereology, and paraconsistent logic. Similarly, there are entries on topics relating to those previously mentioned such as negation, conditionals, truth tables, and proofs. Historical periods and figures are also covered, including ancient logic, medieval logic, Buddhist logic, Aristotle, Ockham, Boole, Frege, Russell, Gödel, and Quine. There are even entries relating logic to other areas and topics, like biology, computers, ethics, gender, God, psychology, metaphysics, abstract entities, algorithms, the ad hominem fallacy, inductive logic, informal logic, the liar paradox, metalogic, philosophy of logic, and software for learning logic. In addition to the dictionary, there is a substantial chronology listing the main events in the history of logic, an introduction that sketches the central ideas of logic and how it has evolved into what it is today, and an extensive bibliography of related readings. This book is not only useful for specialists but also understandable to students and other beginners in the field.
Historical Dictionary of Logic
Author: Harry J. Gensler
Publisher: Scarecrow Press
ISBN: 9780810855311
Category : History
Languages : en
Pages : 360
Book Description
"Historical Dictionary of Logic contains a dictionary section of more than 300 entries on persons, concepts, theories, forms of logic, fields in which logic is used, and the many fallacies that can trap the unwary. It includes entries on historical periods and figures, including ancient logic, medieval logic, Buddhist logic, Aristotle, Ockham, Boole, Frege, Russell, Godel, and Quine. It also includes information on propositional logic, modal logic, deontic logic, temporal logic, set theory, many-valued logic, mereology, and para-consistent logic. A substantial chronology lists the main events in the history of logic, and an introduction sketches the central ideas and their evolution. The bibliography provides a broad range of additional reading."--BOOK JACKET.
Publisher: Scarecrow Press
ISBN: 9780810855311
Category : History
Languages : en
Pages : 360
Book Description
"Historical Dictionary of Logic contains a dictionary section of more than 300 entries on persons, concepts, theories, forms of logic, fields in which logic is used, and the many fallacies that can trap the unwary. It includes entries on historical periods and figures, including ancient logic, medieval logic, Buddhist logic, Aristotle, Ockham, Boole, Frege, Russell, Godel, and Quine. It also includes information on propositional logic, modal logic, deontic logic, temporal logic, set theory, many-valued logic, mereology, and para-consistent logic. A substantial chronology lists the main events in the history of logic, and an introduction sketches the central ideas and their evolution. The bibliography provides a broad range of additional reading."--BOOK JACKET.
A Bibliography of Symbolic Logic
Author: Alonzo Church
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 106
Book Description
Publisher:
ISBN:
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 106
Book Description
The Journal of Symbolic Logic
Author:
Publisher:
ISBN:
Category : Electronic journals
Languages : en
Pages : 324
Book Description
Includes lists of members.
Publisher:
ISBN:
Category : Electronic journals
Languages : en
Pages : 324
Book Description
Includes lists of members.
Ernst Zermelo - Collected Works/Gesammelte Werke
Author: Ernst Zermelo
Publisher: Springer Science & Business Media
ISBN: 3540793844
Category : Mathematics
Languages : en
Pages : 673
Book Description
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and best-known for the first formulation of the axiom of choice. However, his papers include also pioneering work in applied mathematics and mathematical physics. This edition of his collected papers will consist of two volumes. Besides providing a biography, the present Volume I covers set theory, the foundations of mathematics, and pure mathematics and is supplemented by selected items from his Nachlass and part of his translations of Homer's Odyssey. Volume II will contain his work in the calculus of variations, applied mathematics, and physics. The papers are each presented in their original language together with an English translation, the versions facing each other on opposite pages. Each paper or coherent group of papers is preceded by an introductory note provided by an acknowledged expert in the field which comments on the historical background, motivations, accomplishments, and influence.
Publisher: Springer Science & Business Media
ISBN: 3540793844
Category : Mathematics
Languages : en
Pages : 673
Book Description
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and best-known for the first formulation of the axiom of choice. However, his papers include also pioneering work in applied mathematics and mathematical physics. This edition of his collected papers will consist of two volumes. Besides providing a biography, the present Volume I covers set theory, the foundations of mathematics, and pure mathematics and is supplemented by selected items from his Nachlass and part of his translations of Homer's Odyssey. Volume II will contain his work in the calculus of variations, applied mathematics, and physics. The papers are each presented in their original language together with an English translation, the versions facing each other on opposite pages. Each paper or coherent group of papers is preceded by an introductory note provided by an acknowledged expert in the field which comments on the historical background, motivations, accomplishments, and influence.
Canadian Journal of Mathematics
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 164
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 164
Book Description
Logico-Philosophical Studies
Author: A. Menne
Publisher: Springer Science & Business Media
ISBN: 9401036497
Category : Philosophy
Languages : en
Pages : 144
Book Description
Publisher: Springer Science & Business Media
ISBN: 9401036497
Category : Philosophy
Languages : en
Pages : 144
Book Description
Canadian Journal of Mathematics
Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 144
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 144
Book Description
The Journal of Philosophy
Author:
Publisher:
ISBN:
Category : Philosophy
Languages : en
Pages : 426
Book Description
Publisher:
ISBN:
Category : Philosophy
Languages : en
Pages : 426
Book Description