000 03329nam a22005297a 4500
001 sulb-eb0023147
003 BD-SySUS
005 20160413122337.0
007 cr nn 008mamaa
008 130708s2013 sz | s |||| 0|eng d
020 _a9783034806008
_9978-3-0348-0600-8
024 7 _a10.1007/978-3-0348-0600-8
_2doi
050 4 _aQA8.9-10.3
072 7 _aPBC
_2bicssc
072 7 _aPBCD
_2bicssc
072 7 _aMAT018000
_2bisacsh
082 0 4 _a511.3
_223
245 1 0 _aVisual Reasoning with Diagrams
_h[electronic resource] /
_cedited by Amirouche Moktefi, Sun-Joo Shin.
264 1 _aBasel :
_bSpringer Basel :
_bImprint: Birkhäuser,
_c2013.
300 _aXV, 200 p. 139 illus., 13 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aStudies in Universal Logic
505 0 _aPreface -- 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 _aLogic, 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 _aMathematics.
650 0 _aLogic.
650 0 _aVisualization.
650 0 _aMathematical logic.
650 1 4 _aMathematics.
650 2 4 _aMathematical Logic and Foundations.
650 2 4 _aVisualization.
650 2 4 _aLogic.
650 2 4 _aMathematics, general.
700 1 _aMoktefi, Amirouche.
_eeditor.
700 1 _aShin, Sun-Joo.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783034805995
830 0 _aStudies in Universal Logic
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-0348-0600-8
912 _aZDB-2-SMA
942 _2Dewey Decimal Classification
_ceBooks
999 _c45239
_d45239