L.H. Hackstaff Systems of Formal Logic

ISBN 13: 9789401035491

Systems of Formal Logic

0 avg rating
( 0 ratings by Goodreads )
 
9789401035491: Systems of Formal Logic
View all copies of this ISBN edition:
 
 

The present work constitutes an effort to approach the subject of symbol­ ic logic at the elementary to intermediate level in a novel way. The book is a study of a number of systems, their methods, their rela­ tions, their differences. In pursuit of this goal, a chapter explaining basic concepts of modern logic together with the truth-table techniques of definition and proof is first set out. In Chapter 2 a kind of ur-Iogic is built up and deductions are made on the basis of its axioms and rules. This axiom system, resembling a propositional system of Hilbert and Ber­ nays, is called P +, since it is a positive logic, i. e. , a logic devoid of nega­ tion. This system serves as a basis upon which a variety of further sys­ tems are constructed, including, among others, a full classical proposi­ tional calculus, an intuitionistic system, a minimum propositional calcu­ lus, a system equivalent to that of F. B. Fitch (Chapters 3 and 6). These are developed as axiomatic systems. By means of adding independent axioms to the basic system P +, the notions of independence both for primitive functors and for axiom sets are discussed, the axiom sets for a number of such systems, e. g. , Frege's propositional calculus, being shown to be non-independent. Equivalence and non-equivalence of systems are discussed in the same context. The deduction theorem is proved in Chapter 3 for all the axiomatic propositional calculi in the book.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 109.00
US$ 79.69

Convert currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Other Popular Editions of the Same Title

9780677012803: Systems of Formal Logic

Featured Edition

ISBN 10:  0677012802 ISBN 13:  9780677012803
Publisher: Gordon & Breach Science Publ..., 1966
Hardcover

9789027700773: Systems of Formal Logic

Springer, 1966
Hardcover

Top Search Results from the AbeBooks Marketplace

1.

L.H. Hackstaff
Published by Springer, Netherlands (2011)
ISBN 10: 9401035490 ISBN 13: 9789401035491
New Paperback Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description Springer, Netherlands, 2011. Paperback. Condition: New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. The present work constitutes an effort to approach the subject of symbol- ic logic at the elementary to intermediate level in a novel way. The book is a study of a number of systems, their methods, their rela- tions, their differences. In pursuit of this goal, a chapter explaining basic concepts of modern logic together with the truth-table techniques of definition and proof is first set out. In Chapter 2 a kind of ur-Iogic is built up and deductions are made on the basis of its axioms and rules. This axiom system, resembling a propositional system of Hilbert and Ber- nays, is called P +, since it is a positive logic, i. e. , a logic devoid of nega- tion. This system serves as a basis upon which a variety of further sys- tems are constructed, including, among others, a full classical proposi- tional calculus, an intuitionistic system, a minimum propositional calcu- lus, a system equivalent to that of F. B. Fitch (Chapters 3 and 6). These are developed as axiomatic systems. By means of adding independent axioms to the basic system P +, the notions of independence both for primitive functors and for axiom sets are discussed, the axiom sets for a number of such systems, e. g. , Frege s propositional calculus, being shown to be non-independent. Equivalence and non-equivalence of systems are discussed in the same context. The deduction theorem is proved in Chapter 3 for all the axiomatic propositional calculi in the book. Softcover reprint of the original 1st ed. 1966. Seller Inventory # LIE9789401035491

More information about this seller | Contact this seller

Buy New
US$ 79.69
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

2.

L.H. HACKSTAFF
Published by Springer (2011)
ISBN 10: 9401035490 ISBN 13: 9789401035491
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2011. Paperback. Condition: NEW. 9789401035491 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0430948

More information about this seller | Contact this seller

Buy New
US$ 74.47
Convert currency

Add to Basket

Shipping: US$ 10.52
From United Kingdom to U.S.A.
Destination, rates & speeds

3.

L.H. Hackstaff
Published by Springer (2013)
ISBN 10: 9401035490 ISBN 13: 9789401035491
New Softcover Quantity Available: 15
Print on Demand
Seller:
Rating
[?]

Book Description Springer, 2013. Condition: New. This item is printed on demand for shipment within 3 working days. Seller Inventory # LP9789401035491

More information about this seller | Contact this seller

Buy New
US$ 91.29
Convert currency

Add to Basket

Shipping: US$ 3.21
From Germany to U.S.A.
Destination, rates & speeds

4.

L.H. Hackstaff
Published by Springer, Netherlands (2011)
ISBN 10: 9401035490 ISBN 13: 9789401035491
New Paperback Quantity Available: 10
Print on Demand
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description Springer, Netherlands, 2011. Paperback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****. The present work constitutes an effort to approach the subject of symbol- ic logic at the elementary to intermediate level in a novel way. The book is a study of a number of systems, their methods, their rela- tions, their differences. In pursuit of this goal, a chapter explaining basic concepts of modern logic together with the truth-table techniques of definition and proof is first set out. In Chapter 2 a kind of ur-Iogic is built up and deductions are made on the basis of its axioms and rules. This axiom system, resembling a propositional system of Hilbert and Ber- nays, is called P +, since it is a positive logic, i. e. , a logic devoid of nega- tion. This system serves as a basis upon which a variety of further sys- tems are constructed, including, among others, a full classical proposi- tional calculus, an intuitionistic system, a minimum propositional calcu- lus, a system equivalent to that of F. B. Fitch (Chapters 3 and 6). These are developed as axiomatic systems. By means of adding independent axioms to the basic system P +, the notions of independence both for primitive functors and for axiom sets are discussed, the axiom sets for a number of such systems, e. g. , Frege s propositional calculus, being shown to be non-independent. Equivalence and non-equivalence of systems are discussed in the same context. The deduction theorem is proved in Chapter 3 for all the axiomatic propositional calculi in the book. Softcover reprint of the original 1st ed. 1966. Seller Inventory # AAV9789401035491

More information about this seller | Contact this seller

Buy New
US$ 96.26
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

L.H. Hackstaff
Published by Springer, Netherlands (2011)
ISBN 10: 9401035490 ISBN 13: 9789401035491
New Paperback Quantity Available: 10
Print on Demand
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description Springer, Netherlands, 2011. Paperback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****. The present work constitutes an effort to approach the subject of symbol- ic logic at the elementary to intermediate level in a novel way. The book is a study of a number of systems, their methods, their rela- tions, their differences. In pursuit of this goal, a chapter explaining basic concepts of modern logic together with the truth-table techniques of definition and proof is first set out. In Chapter 2 a kind of ur-Iogic is built up and deductions are made on the basis of its axioms and rules. This axiom system, resembling a propositional system of Hilbert and Ber- nays, is called P +, since it is a positive logic, i. e. , a logic devoid of nega- tion. This system serves as a basis upon which a variety of further sys- tems are constructed, including, among others, a full classical proposi- tional calculus, an intuitionistic system, a minimum propositional calcu- lus, a system equivalent to that of F. B. Fitch (Chapters 3 and 6). These are developed as axiomatic systems. By means of adding independent axioms to the basic system P +, the notions of independence both for primitive functors and for axiom sets are discussed, the axiom sets for a number of such systems, e. g. , Frege s propositional calculus, being shown to be non-independent. Equivalence and non-equivalence of systems are discussed in the same context. The deduction theorem is proved in Chapter 3 for all the axiomatic propositional calculi in the book. Softcover reprint of the original 1st ed. 1966. Seller Inventory # APC9789401035491

More information about this seller | Contact this seller

Buy New
US$ 96.35
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

Hackstaff, L.H.
Published by Springer (2016)
ISBN 10: 9401035490 ISBN 13: 9789401035491
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9789401035491_lsuk

More information about this seller | Contact this seller

Buy New
US$ 91.88
Convert currency

Add to Basket

Shipping: US$ 5.09
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

L.H. Hackstaff
Published by Springer, Netherlands (2011)
ISBN 10: 9401035490 ISBN 13: 9789401035491
New Paperback Quantity Available: 10
Print on Demand
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Springer, Netherlands, 2011. Paperback. Condition: New. Language: English . Brand New Book ***** Print on Demand *****.The present work constitutes an effort to approach the subject of symbol- ic logic at the elementary to intermediate level in a novel way. The book is a study of a number of systems, their methods, their rela- tions, their differences. In pursuit of this goal, a chapter explaining basic concepts of modern logic together with the truth-table techniques of definition and proof is first set out. In Chapter 2 a kind of ur-Iogic is built up and deductions are made on the basis of its axioms and rules. This axiom system, resembling a propositional system of Hilbert and Ber- nays, is called P +, since it is a positive logic, i. e. , a logic devoid of nega- tion. This system serves as a basis upon which a variety of further sys- tems are constructed, including, among others, a full classical proposi- tional calculus, an intuitionistic system, a minimum propositional calcu- lus, a system equivalent to that of F. B. Fitch (Chapters 3 and 6). These are developed as axiomatic systems. By means of adding independent axioms to the basic system P +, the notions of independence both for primitive functors and for axiom sets are discussed, the axiom sets for a number of such systems, e. g. , Frege s propositional calculus, being shown to be non-independent. Equivalence and non-equivalence of systems are discussed in the same context. The deduction theorem is proved in Chapter 3 for all the axiomatic propositional calculi in the book. Softcover reprint of the original 1st ed. 1966. Seller Inventory # AAV9789401035491

More information about this seller | Contact this seller

Buy New
US$ 99.90
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

L.H. Hackstaff
Published by Springer (2011)
ISBN 10: 9401035490 ISBN 13: 9789401035491
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer, 2011. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9789401035491

More information about this seller | Contact this seller

Buy New
US$ 101.59
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

9.

L.H. Hackstaff
Published by Springer (2011)
ISBN 10: 9401035490 ISBN 13: 9789401035491
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2011. PAP. Condition: New. New Book. Delivered from our UK warehouse in 3 to 5 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9789401035491

More information about this seller | Contact this seller

Buy New
US$ 97.67
Convert currency

Add to Basket

Shipping: US$ 11.83
From United Kingdom to U.S.A.
Destination, rates & speeds

10.

L. H. Hackstaff
Published by D. Reidel Publishing Company (2013)
ISBN 10: 9401035490 ISBN 13: 9789401035491
New Paperback Quantity Available: 2
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description D. Reidel Publishing Company, 2013. Paperback. Condition: Brand New. In Stock. Seller Inventory # x-9401035490

More information about this seller | Contact this seller

Buy New
US$ 112.74
Convert currency

Add to Basket

Shipping: US$ 9.86
From United Kingdom to U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book