View topic on PhilPapers for more information
Related categories

11 found
Order:
More results on PhilPapers
  1. added 2019-04-30
    What is a Logical Diagram?Catherine Legg - 2013 - In Sun-Joo Shin & Amirouche Moktefi (eds.), Visual Reasoning with Diagrams. Springer. pp. 1-18.
    Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g. Brown, Shin, Giaquinto) to take diagrams seriously - as more than a mere “heuristic aid” to proof, but either proofs themselves, or irreducible components of such. However what exactly is a diagram in logic? Does this constitute a semiotic natural kind? The paper will argue that such a natural kind does (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  2. added 2019-04-30
    The Hardness of the Iconic Must: Can Peirce’s Existential Graphs Assist Modal Epistemology.C. Legg - 2012 - Philosophia Mathematica 20 (1):1-24.
    Charles Peirce's diagrammatic logic — the Existential Graphs — is presented as a tool for illuminating how we know necessity, in answer to Benacerraf's famous challenge that most ‘semantics for mathematics’ do not ‘fit an acceptable epistemology’. It is suggested that necessary reasoning is in essence a recognition that a certain structure has the particular structure that it has. This means that, contra Hume and his contemporary heirs, necessity is observable. One just needs to pay attention, not merely to individual (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   20 citations  
  3. added 2019-02-27
    The Epistemology of Mathematical Necessity.Cathy Legg - 2018 - In Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz & Francesco Bellucci (eds.), Diagrammatic Representation and Inference10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Berlin: Springer-Verlag. pp. 810-813.
    It seems possible to know that a mathematical claim is necessarily true by inspecting a diagrammatic proof. Yet how does this work, given that human perception seems to just (as Hume assumed) ‘show us particular objects in front of us’? I draw on Peirce’s account of perception to answer this question. Peirce considered mathematics as experimental a science as physics. Drawing on an example, I highlight the existence of a primitive constraint or blocking function in our thinking which we might (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. added 2017-12-14
    Forms and Roles of Diagrams in Knot Theory.Silvia De Toffoli & Valeria Giardino - 2014 - Erkenntnis 79 (4):829-842.
    The aim of this article is to explain why knot diagrams are an effective notation in topology. Their cognitive features and epistemic roles will be assessed. First, it will be argued that different interpretations of a figure give rise to different diagrams and as a consequence various levels of representation for knots will be identified. Second, it will be shown that knot diagrams are dynamic by pointing at the moves which are commonly applied to them. For this reason, experts must (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  5. added 2017-10-30
    A Diagrammatic Representation for Entities and Mereotopological Relations in Ontologies.José M. Parente de Oliveira & Barry Smith - 2017 - In CEUR, vol. 1908.
    In the graphical representation of ontologies, it is customary to use graph theory as the representational background. We claim here that the standard graph-based approach has a number of limitations. We focus here on a problem in the graph-based representation of ontologies in complex domains such as biomedical, engineering and manufacturing: lack of mereotopological representation. Based on such limitation, we proposed a diagrammatic way to represent an entity’s structure and various forms of mereotopological relationships between the entities.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. added 2017-08-23
    ‘Chasing’ the Diagram—the Use of Visualizations in Algebraic Reasoning.Silvia de Toffoli - 2017 - Review of Symbolic Logic 10 (1):158-186.
    The aim of this article is to investigate the roles of commutative diagrams (CDs) in a specific mathematical domain, and to unveil the reasons underlying their effectiveness as a mathematical notation; this will be done through a case study. It will be shown that CDs do not depict spatial relations, but represent mathematical structures. CDs will be interpreted as a hybrid notation that goes beyond the traditional bipartition of mathematical representations into diagrammatic and linguistic. It will be argued that one (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. added 2017-08-23
    Envisioning Transformations – The Practice of Topology.Silvia De Toffoli & Valeria Giardino - 2016 - In Brendan Larvor (ed.), Mathematical Cultures: The London Meetings 2012--2014. Zurich, Switzerland: Birkhäuser. pp. 25-50.
    The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  8. added 2017-08-23
    An Inquiry Into the Practice of Proving in Low-Dimensional Topology.Silvia De Toffoli & Valeria Giardino - 2015 - In Gabriele Lolli, Giorgio Venturi & Marco Panza (eds.), From Logic to Practice. Zurich, Switzerland: Springer International Publishing. pp. 315-116.
    The aim of this article is to investigate specific aspects connected with visualization in the practice of a mathematical subfield: low-dimensional topology. Through a case study, it will be established that visualization can play an epistemic role. The background assumption is that the consideration of the actual practice of mathematics is relevant to address epistemological issues. It will be shown that in low-dimensional topology, justifications can be based on sequences of pictures. Three theses will be defended. First, the representations used (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  9. added 2016-12-05
    Perceiving Necessity.Catherine Legg & James Franklin - 2017 - Pacific Philosophical Quarterly 98 (3).
    In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive or (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  10. added 2014-05-30
    “Things Unreasonably Compulsory”: A Peircean Challenge to a Humean Theory of Perception, Particularly With Respect to Perceiving Necessary Truths.Catherine Legg - 2014 - Cognitio 15 (1):89-112.
    Much mainstream analytic epistemology is built around a sceptical treatment of modality which descends from Hume. The roots of this scepticism are argued to lie in Hume’s (nominalist) theory of perception, which is excavated, studied and compared with the very different (realist) theory of perception developed by Peirce. It is argued that Peirce’s theory not only enables a considerably more nuanced and effective epistemology, it also (unlike Hume’s theory) does justice to what happens when we appreciate a proof in mathematics.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  11. added 2012-05-15
    Diagrammatic Reasoning and Modelling in the Imagination: The Secret Weapons of the Scientific Revolution.James Franklin - 2000 - In Guy Freeland & Anthony Corones (eds.), 1543 and All That: Image and Word, Change and Continuity in the Proto-Scientific Revolution. Kluwer Academic Publishers.
    Just before the Scientific Revolution, there was a "Mathematical Revolution", heavily based on geometrical and machine diagrams. The "faculty of imagination" (now called scientific visualization) was developed to allow 3D understanding of planetary motion, human anatomy and the workings of machines. 1543 saw the publication of the heavily geometrical work of Copernicus and Vesalius, as well as the first Italian translation of Euclid.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   18 citations