Tennant, Neil Core Logic

ISBN 13: 9780198777892

Core Logic

0 valoración promedio
( 0 valoraciones por Goodreads )
 
9780198777892: Core Logic
Ver todas las copias de esta edición ISBN.
 
 
Críticas:

Due to the author's clear and approachable style this book may be interesting to a large circle of logicians, mathematicians and philosophers. (Branislav Boricic)

Although the author's approach is purely logical and philosophical, rather than mathematical, it seems likely that the book would be extremely interesting to mathematicians specializing in logic and the foundations of mathematics. Due to the author's clear and approachable style this book may be interesting to a large circle of logicians, mathematicians and philosophers. Students with a basic understanding of classical, intuitionistic and relevant logic principles will find this book an invaluable introduction to an area of central importance in logic, philosophy, computer science and, generally, methodology and philosophy of science. (Branislav Boricic, mathSciNet)

Reseña del editor:

Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic, which lies deep inside Classical Logic, best formalizes rigorous mathematical reasoning. It captures constructive relevant reasoning. And the classical extension of Core Logic handles non-constructive reasoning. These core systems fix all the mistakes that make standard systems harbor counterintuitive irrelevancies. Conclusions reached by means of core proof are relevant to the premises used. These are the first systems that ensure both relevance and adequacy for the formalization of all mathematical and scientific reasoning. They are also the first systems to ensure that one can make deductive progress with potential logical strengthening by chaining proofs together: one will prove, if not the conclusion sought, then (even better!) the inconsistency of one's accumulated premises. So Core Logic provides transitivity of deduction with potential epistemic gain. Because of its clarity about the true internal structure of proofs, Core Logic affords advantages also for the automation of deduction and our appreciation of the paradoxes.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver este artículo

Gastos de envío: EUR 5,01
A Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

Imagen de archivo

1.

Tennant, Neil
Publicado por Oxford University Press (2017)
ISBN 10: 0198777892 ISBN 13: 9780198777892
Nuevo Tapa dura Cantidad disponible: 1
Librería
ACJBooks
(Staten Island, NY, Estados Unidos de America)

Descripción Oxford University Press, 2017. Hardcover. Condición: New. This is a hardcover book. Nº de ref. del artículo: mon0000008730

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 49,91
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 5,01
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

2.

Neil Tennant
Publicado por Oxford University Press, United Kingdom (2017)
ISBN 10: 0198777892 ISBN 13: 9780198777892
Nuevo Tapa dura Cantidad disponible: 10
Librería
The Book Depository
(London, Reino Unido)

Descripción Oxford University Press, United Kingdom, 2017. Hardback. Condición: New. Language: English. Brand new Book. Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic, which lies deep inside Classical Logic, best formalizes rigorous mathematical reasoning. It captures constructive relevant reasoning. And the classical extension of Core Logic handles non-constructive reasoning. These core systems fix all the mistakes that make standard systems harbor counterintuitiveirrelevancies. Conclusions reached by means of core proof are relevant to the premises used. These are the first systems that ensure both relevance and adequacy for the formalization of all mathematical and scientific reasoning. They are also the first systems to ensure that one can make deductiveprogress with potential logical strengthening by chaining proofs together: one will prove, if not the conclusion sought, then (even better!) the inconsistency of one's accumulated premises. So Core Logic provides transitivity of deduction with potential epistemic gain. Because of its clarity about the true internal structure of proofs, Core Logic affords advantages also for the automation of deduction and our appreciation of the paradoxes. Nº de ref. del artículo: AOP9780198777892

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 58,20
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

3.

Tennant, Neil
Publicado por Oxford University Press (2017)
ISBN 10: 0198777892 ISBN 13: 9780198777892
Nuevo Tapa dura Cantidad disponible: 5
Librería
GreatBookPrices
(Columbia, MD, Estados Unidos de America)

Descripción Oxford University Press, 2017. Condición: New. Nº de ref. del artículo: 28532418-n

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 56,06
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,21
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

4.

Tennant, Neil
Publicado por OUP Oxford (2017)
ISBN 10: 0198777892 ISBN 13: 9780198777892
Nuevo Tapa dura Cantidad disponible: 15
Librería
Paperbackshop-US
(Wood Dale, IL, Estados Unidos de America)

Descripción OUP Oxford, 2017. HRD. Condición: New. Illustrated. New Book. Shipped from UK. Established seller since 2000. Nº de ref. del artículo: FU-9780198777892

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 61,05
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

5.

Neil Tennant (author)
Publicado por OUP Oxford 2017-09-07, Oxford (2017)
ISBN 10: 0198777892 ISBN 13: 9780198777892
Nuevo Tapa dura Cantidad disponible: 5
Librería
Blackwell's
(Oxford, OX, Reino Unido)

Descripción OUP Oxford 2017-09-07, Oxford, 2017. hardback. Condición: New. Illustrated. Language: ENG. Nº de ref. del artículo: 9780198777892

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 57,78
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,35
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

6.

Tennant, Neil
ISBN 10: 0198777892 ISBN 13: 9780198777892
Nuevo Cantidad disponible: 5
Librería
GreatBookPricesUK
(Castle Donington, DERBY, Reino Unido)

Descripción Condición: New. Nº de ref. del artículo: 28532418-n

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 52,60
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 17,41
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

7.

Neil Tennant
Publicado por Oxford University Press, United Kingdom (2017)
ISBN 10: 0198777892 ISBN 13: 9780198777892
Nuevo Tapa dura Cantidad disponible: 10
Librería
Book Depository hard to find
(London, Reino Unido)

Descripción Oxford University Press, United Kingdom, 2017. Hardback. Condición: New. Language: English. Brand new Book. Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic, which lies deep inside Classical Logic, best formalizes rigorous mathematical reasoning. It captures constructive relevant reasoning. And the classical extension of Core Logic handles non-constructive reasoning. These core systems fix all the mistakes that make standard systems harbor counterintuitiveirrelevancies. Conclusions reached by means of core proof are relevant to the premises used. These are the first systems that ensure both relevance and adequacy for the formalization of all mathematical and scientific reasoning. They are also the first systems to ensure that one can make deductiveprogress with potential logical strengthening by chaining proofs together: one will prove, if not the conclusion sought, then (even better!) the inconsistency of one's accumulated premises. So Core Logic provides transitivity of deduction with potential epistemic gain. Because of its clarity about the true internal structure of proofs, Core Logic affords advantages also for the automation of deduction and our appreciation of the paradoxes. Nº de ref. del artículo: BTA9780198777892

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 71,65
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

8.

Neil Tennant
Publicado por OUP Oxford 2017-09-07 (2017)
ISBN 10: 0198777892 ISBN 13: 9780198777892
Nuevo Tapa dura Cantidad disponible: > 20
Librería
Chiron Media
(Wallingford, Reino Unido)

Descripción OUP Oxford 2017-09-07, 2017. Hardcover. Condición: New. Illustrated. Nº de ref. del artículo: 6666-OUP-9780198777892

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 58,48
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 17,40
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

9.

Neil Tennant (Arts & Humanities Distinguished Professor of Philosophy, Arts & Humanities Distinguished Professor of Philosophy, Ohio State University)
Publicado por Oxford University Press (2017)
ISBN 10: 0198777892 ISBN 13: 9780198777892
Nuevo Tapa dura Cantidad disponible: 1
Librería
Asano Bookshop
(Nagoya, AICHI, Japon)

Descripción Oxford University Press, 2017. Condición: Brand New. Neil Tennant presents an original logical system with unusual philosophical, proof-theoretic, metalogical, computational, and revision-theoretic virtues. Core Logic is the first system that ensures both relevance and adequacy for the formalization of all mathematical and scientific reasoning. Nº de ref. del artículo: b41741

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 60,25
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 16,29
De Japon a Estados Unidos de America
Destinos, gastos y plazos de envío
Imagen de archivo

10.

Tennant, Neil
Publicado por Oxford Univ Pr (2017)
ISBN 10: 0198777892 ISBN 13: 9780198777892
Nuevo Tapa dura Cantidad disponible: 1
Librería
Revaluation Books
(Exeter, Reino Unido)

Descripción Oxford Univ Pr, 2017. Hardcover. Condición: Brand New. 357 pages. 9.75x7.00x1.00 inches. In Stock. Nº de ref. del artículo: __0198777892

Más información sobre este vendedor | Contactar al vendedor

Comprar nuevo
EUR 66,94
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 11,61
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda