Cargando…

Visual Reasoning with Diagrams

Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of d...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Moktefi, Amirouche (Editor ), Shin, Sun-Joo (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Basel : Springer Basel : Imprint: Birkhäuser, 2013.
Edición:1st ed. 2013.
Colección:Studies in Universal Logic,
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-0348-0600-8
003 DE-He213
005 20220117221155.0
007 cr nn 008mamaa
008 130708s2013 sz | s |||| 0|eng d
020 |a 9783034806008  |9 978-3-0348-0600-8 
024 7 |a 10.1007/978-3-0348-0600-8  |2 doi 
050 4 |a QA8.9-10.3 
072 7 |a PBCD  |2 bicssc 
072 7 |a PBC  |2 bicssc 
072 7 |a MAT018000  |2 bisacsh 
072 7 |a PBCD  |2 thema 
072 7 |a PBC  |2 thema 
082 0 4 |a 511.3  |2 23 
245 1 0 |a Visual Reasoning with Diagrams  |h [electronic resource] /  |c edited by Amirouche Moktefi, Sun-Joo Shin. 
250 |a 1st ed. 2013. 
264 1 |a Basel :  |b Springer Basel :  |b Imprint: Birkhäuser,  |c 2013. 
300 |a XV, 200 p. 139 illus., 13 illus. in color.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Studies in Universal Logic,  |x 2297-0290 
505 0 |a Preface -- 1. What is a logical diagram? (Catherine Legg) -- 2. The geometry of diagrams and the logic of syllogisms (Richard Bosley).- 3. A diagrammatic calculus of syllogisms (Ruggero Pagnan) -- 4. Beyond syllogisms: Carroll's (marked) quadriliteral diagram (Amirouche Moktefi) -- 5. A diagrammatic bridge between classical and fuzzy logics (Ferdinando Cavaliere) -- 6. Diagrammatic reasoning with Classes and relationships (Jørgen Fischer Nilsson).- 7. On the completeness of spider diagrams augmented with constants (Gem Stapleton, John Howse, Simon Thompson, John Taylor and Peter Chapman) -- 8. A practice-based approach to diagrams (Valeria Giardino) -- 9. Figures, formulae, and functors (Zach Weber) -- 10. Diagrams and concepts of graph theory (Mitsuko Mizuno). 
520 |a Logic, the discipline that explores valid reasoning, does not need to be limited to a specific form of representation but should include any form as long as it allows us to draw sound conclusions from given information. The use of diagrams has a long but unequal history in logic: The golden age of diagrammatic logic of the 19th century thanks to Euler and Venn diagrams was followed by the early 20th century's symbolization of modern logic by Frege and Russell. Recently, we have been witnessing a revival of interest in diagrams from various disciplines - mathematics, logic, philosophy, cognitive science, and computer science. This book aims to provide a space for this newly debated topic - the logical status of diagrams - in order to advance the goal of universal logic by exploring common and/or unique features of visual reasoning. 
650 0 |a Mathematical logic. 
650 0 |a Information visualization. 
650 0 |a Logic. 
650 0 |a Mathematics. 
650 1 4 |a Mathematical Logic and Foundations. 
650 2 4 |a Data and Information Visualization. 
650 2 4 |a Logic. 
650 2 4 |a Mathematics. 
700 1 |a Moktefi, Amirouche.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Shin, Sun-Joo.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783034806015 
776 0 8 |i Printed edition:  |z 9783034805995 
830 0 |a Studies in Universal Logic,  |x 2297-0290 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-0348-0600-8  |z Texto Completo 
912 |a ZDB-2-SMA 
912 |a ZDB-2-SXMS 
950 |a Mathematics and Statistics (SpringerNature-11649) 
950 |a Mathematics and Statistics (R0) (SpringerNature-43713)