Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Logical Status of Diagrams

Name: Logical Status of Diagrams
Brand: Cambridge University Press
SKU: 02031775
Price: 142.79 EUR
Availability: InStock
Author: Shin
ISBN: 9780521461573

Shin

Sun-Joo (University of Notre Dame

Indiana)

Lingua

Inglese

Libro Rigido

Codice Libristo: 02031775

Casa editrice Cambridge University Press, gennaio 1995

Diagrams are widely used in reasoning about problems in physics, mathematics and logic, but have tra... Descrizione completa

Codice Libristo: 02031775

349 b

142.79 €

Magazzino esterno Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Recueil de Voyages Interessans Pour l'Instruction Et l'Amusement de la Jeunesse. Tome 5 Sans Auteur

In brossura

23.89 €

Flüsterwald - Der Schattenmeister erwacht (Band 4) Andreas Suchanek

Digitale

9.59 €

L'âge des miracles - une nouvelle approche de la cinquantaine Marianne Williamson

In brossura

17.89 €

Poslední na řadě Helen Fieldsová

Rigido

15.19 €

La Princesse de Clèves - La princesse de Montpensier et autres romans Lafayette

In brossura

5.69 €

Reload Metallica

CD audio

12.69 €

Karl-May-Filmbuch Michael Petzel

Rigido

23.99 €

Strukturgelenkte Grenzfl chenvorg nge in Der Unbelebten Und Belebten Natur Hans Seifert

In brossura

49.59 €

Diagrams are widely used in reasoning about problems in physics, mathematics and logic, but have traditionally been considered to be only heuristic tools and not valid elements of mathematical proofs. This book challenges this prejudice against visualisation in the history of logic and mathematics and provides a formal foundation for work on natural reasoning in a visual mode. The author presents Venn diagrams as a formal system of representation equipped with its own syntax and semantics and specifies rules of transformation that make this system sound and complete. The system is then extended to the equivalent of a first-order monadic language. The soundness of these diagrammatic systems refutes the contention that graphical representation is misleading in reasoning. The validity of the transformation rules ensures that the correct application of the rules will not lead to fallacies. The book concludes with a discussion of some fundamental differences between graphical systems and linguistic systems. This groundbreaking work will have important influence on research in logic, philosophy and knowledge representation.