Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Halmos P.R., Givant S. — Logic as Algebra
Halmos P.R., Givant S. — Logic as Algebra



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Logic as Algebra

Авторы: Halmos P.R., Givant S.

Аннотация:

This book is based on the notes for a course in logic given by Paul Halmos. This book retains the spirit and purpose of those notes, which was to show that logic can (and perhaps should) be viewed from an algebraic perspective.

Propositional logic and monadic predicate calculus—predicate logic with a single quantifier—are the principal topics treated. The connections between logic and algebra are carefully explained. The key notions and the fundamental theorems are elucidated from both a logical and algebraic perspective.

The final section gives a unique and illuminating algebraic treatment of the theory of syllogisms—perhaps the oldest branch of logic, and a subject that is neglected in most modern logic texts.

The presentation is aimed at a broad audience—mathematics amateurs, students, teachers, philosophers, linguists, computer scientists, engineers, and professional mathematicians. All that is required of the reader is an acquaintance with some of the basic notions encountered in a first course in modern algebra. In particular, no prior knowledge of logic is assumed. The book could serve equally well as a fireside companion and as a course text.


Язык: en

Рубрика: Математика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1998

Количество страниц: 152

Добавлена в каталог: 30.06.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Non-distributive lattice      97 100
Non-modular lattice      100
Non-trivial algebra      43
Non-trivial ideal      68
NOR      54
Normal form      88
Normalized operation      110 113 114 125
NOT      9 13
Omission of parentheses      16
OR      9 13
Order preserving      62
Order relation      28
Parentheses      14
Parenthesis-free notation      17 80
Parity      8
Partial order relation      48
Partition      55
Period of a set      56
Periodic set      56
Plausibility      125
Pointwise complement      108
Pointwise infimum      108
Pointwise supremum      108
Polish notation      17 80
Polish sentence      17
Polyadic algebra      112 134
Possibility      125
Possibility operator      125
Pre-Boolean algebra      79 80
Precedence of operations      16
Predicate      130
Premise      130
Principal filter      70
Principal ideal      68
Principle of duality      33 46
Principle of quaternality      47
PRODUCT      63
Projection      74
proof      11 23 89 91
Proof from hypotheses      89 91
Proper ideal      68
Proper subalgebra      59
Proposition      41 88 107 109
Propositional abbreviations      15
Propositional calculus      13 14 17—19 45 66 77 79 83 85 87
Propositional connective      13
Propositional function      107 133
Propositional logic      83
Propositional variable      13 22 66
Provability      80 125
Provable element      125 126
Provable equivalence      82 86
Quantification      125
Quantifier      114
Quotient      71 122
Quotient algebra      71 72 80 81 118 127
RANGE      61 109
Reflexive relation      29
Reflexivity      28 49
Refutable element      125—127
Relativization      62
Replacement property      31
Representation theorem      75—77 97 120 122
Representation theorem for Boolean algebras      66
Representation theory      126 134
Ring      54
Ring homomorphism      62
Rosenbloom      40
Rule of inference      10 20 66
Rule of procedure      6 20
Rules of contraposition      129
Rules of conversion      129
Rules of opposition      129
Satisfiable element      85
Schema      20
Schemata      20
Semantic completeness      85 92 127
Semantic completeness theorem      86 92 127
Semantic consequence      92
Semantic consistency      85
Semantic notion      84
Semantically complete      9
Semantically complete logic      85 127
Semantically consistent logic      85 126
Semantically sound      9
Semantically sound logic      45
Semantics      84
Semigroup      20
Semisimple algebra      122 127
Semisimplicity theorem      122 126 127
Sentence      5 13 14 17 19 28 79
Sentential calculus      13
Set theory      11
Set-theoretic complement      56
Sheffer stroke      54 60
Simple algebra      75 118 119
Simple Boolean algebra      75 119
Simple monadic algebra      118 119 121
Simple quantifier      117 119 126
Small alphabet      3
Small grammar      4
Small language      8
Small logic      6
Socrates      133 134
SOME      107
Soundness      92
Soundness Theorem      92
Square of opposition      129
Stone      76 97 120 122
String      13
Stroke      54
Strong completeness      92
Strong completeness theorem      92 93
Strong soundness      92
Strong soundness theorem      92
Structural description      7
Structure-preserving mapping      60
Subalgebra      59 118
Subalgebra generated by a set      60
Subject      130
Substitution      21
Substitution rule      21 22 82
Subtraction      28 53 117
Supremum      51 95 102
Syllogism      93 127 130
Symmetric difference      54
Symmetric relation      29
Syntactic completeness      85 86
Syntactic consistency      85
Syntactic notion      84
Syntax      84
Tautology      45 85
Tennis player      2
Theorem      6 20 23 50 79 89
Theorems of the propositional calculus      23
There exists      10
Transitive relation      29
Transitivity      28
Transitivity of implication      25
Trivial algebra      43
Trivial ideal      68
TRUE      9 85 126
Truth      7 9 43
Truth table      44
Unary operation      18
Uncountable cardinal      56
union      56
Union of ideals      69
Uniqueness of free algebra      64 65
UNIT      54 99
Unit element      20 49 81 89
Unit of a lattice      99
Universal quantifier      114
University of Chicago      124
Valid      85
Valid element      85 127
Valid sentence      44
Valid syllogism      130 131
Value algebra      108
Variable      10 21
Vector      28
Versions of the propositional calculus      66
Vertical set      57
Weak completeness theorem      93
Weak soundness theorem      92
Well-formed formula      14
Wff      14
Word      5 10 13
Zero      99
Zero element      49
Zero of a lattice      99
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте