Browse content
Table of contents
Actions for selected chapters
- Full text access
- Book chapterAbstract only
Chapter 1 - INTRODUCTION
Pages 9-24 - Book chapterAbstract only
Chapter 2 - THE LANGUAGE OF MATHEMATICS AND ITS SYMBOLIZATION
Pages 25-37 - Book chapterAbstract only
Chapter 3 - RECURSIVE CONSTRUCTION OF THE RELATION OF CONSEQUENCE
Pages 38-69 - Book chapterAbstract only
Chapter 4 - EXPRESSIVE POSSIBILITIES OF THE PRESENT SYMBOLIZATION
Pages 70-82 - Book chapterAbstract only
Chapter 5 - INTUITIVE AND MATHEMATICAL NOTIONS OF AN IDEALIZED AXIOMATIC MATHEMATICAL THEORY
Pages 83-100 - Book chapterAbstract only
Chapter 6 - THE ALGEBRAIC THEORY OF ELEMENTARY PREDICATE LOGIC
Pages 101-122 - Book chapterAbstract only
Chapter 7 - FOUNDATIONS OF THE ALGEBRAIC THEORY OF LOGICAL SYNTAX
Pages 123-180 - Book chapterAbstract only
Chapter 8 - ALGEBRAIC LAWS OF SEMANTICS OF FIRST-ORDER PREDICATE LOGIC
Pages 181-199 - Book chapterNo access
Bibliography
Pages 200-206 - Book chapterNo access
Index
Pages 207-210
About the book
Description
Algebraic Methods of Mathematical Logic focuses on the algebraic methods of mathematical logic, including Boolean algebra, mathematical language, and arithmetization. The book first offers information on the dialectic of the relation between mathematical and metamathematical aspects; metamathematico-mathematical parallelism and its natural limits; practical applications of methods of mathematical logic; and principal mathematical tools of mathematical logic. The text then elaborates on the language of mathematics and its symbolization and recursive construction of the relation of consequence. Discussions focus on recursive construction of the relation of consequence, fundamental descriptively-semantic rules, mathematical logic and mathematical language as a material system of signs, and the substance and purpose of symbolization of mathematical language. The publication examines expressive possibilities of symbolization; intuitive and mathematical notions of an idealized axiomatic mathematical theory; and the algebraic theory of elementary predicate logic. Topics include the notion of Boolean algebra based on joins, meets, and complementation, logical frame of a language and mathematical theory, and arithmetization and algebraization. The manuscript is a valuable reference for mathematicians and researchers interested in the algebraic methods of mathematical logic.
Algebraic Methods of Mathematical Logic focuses on the algebraic methods of mathematical logic, including Boolean algebra, mathematical language, and arithmetization. The book first offers information on the dialectic of the relation between mathematical and metamathematical aspects; metamathematico-mathematical parallelism and its natural limits; practical applications of methods of mathematical logic; and principal mathematical tools of mathematical logic. The text then elaborates on the language of mathematics and its symbolization and recursive construction of the relation of consequence. Discussions focus on recursive construction of the relation of consequence, fundamental descriptively-semantic rules, mathematical logic and mathematical language as a material system of signs, and the substance and purpose of symbolization of mathematical language. The publication examines expressive possibilities of symbolization; intuitive and mathematical notions of an idealized axiomatic mathematical theory; and the algebraic theory of elementary predicate logic. Topics include the notion of Boolean algebra based on joins, meets, and complementation, logical frame of a language and mathematical theory, and arithmetization and algebraization. The manuscript is a valuable reference for mathematicians and researchers interested in the algebraic methods of mathematical logic.
Details
ISBN
978-1-4832-3123-5
Language
English
Published
1967
Copyright
Copyright © 1967 Elsevier Inc. All rights reserved.
Imprint
Academic Press