Defining Diagrams Austen Friesacher Conclusions Background

Slides:



Advertisements
Similar presentations
Deductive Arguments: Categorical Logic
Advertisements

Wyatt Andresen, M’Kyla Walker, Sarah Kerman, Jake Garn, Chris Pirrung.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
AGI 08 March 1-3, University of Memphis Hybrid Reasoning and the Future of Iconic Representations Catherine RECANATI LIPN UMR 7030 Université Paris 13.
Concepts and Realization of a Diagram Editor Generator Based on Hypergraph Transformation Author: Mark Minas Presenter: Song Gu.
1 Lecture 3 The Languages of K, T, B and S4. 2 Last time we extended the language PC to the language S5 by adding two new symbols ‘□’ (for ‘It is necessary.
Report writing in English In a professional context.
Philosophy 219 Introduction to Moral Theory. Theoretical vs. Practical  One of the ways in which philosophers (since Aristotle) subdivide the field of.
Requirements Introduction Emerson Murphy-Hill. Scope of Software Project Failures WHY PROJECTS FAIL % 1. Incomplete Requirements Lack of user involvement12.4.
Can Causal Models Include Variables with Their Time-Derivatives?
Foundations of Technology The Engineering Design Process
Chapter 1 Logic and Proof.
Comparing Counts Chi Square Tests Independence.
Searle on the Mind-Body Problem Minds, Brains and Science Chapter 1
Introduction to Moral Theory
Integrating SysML with OWL (or other logic based formalisms)
How to Research Lynn W Zimmerman, PhD.
The Literature Review 3 edition
Karen Wickett School of Information University of Texas at Austin
SysML v2 Formalism: Requirements & Benefits
Glossary of Terms Used in Science Papers AS
IB Assessments CRITERION!!!.
Using noun phrases in academic, scientific and business contexts.
Reviewing your Program
Chapter 21 More About Tests.
Writing a Thesis English 9.
Ontology From Wikipedia, the free encyclopedia
Introduction to Moral Theory
Testing for Validity with Venn Diagrams
The Propositional Calculus
Symbolic Language and Basic Operators
Arguments and Proofs Learning Objective:
Unit 1 Lesson 2 Scientific Knowledge
Philosophy of Mathematics 1: Geometry
A new perspective on philosophical debates
(Or as I like to say, “What’s your point?”)
Chapter 25 Comparing Counts.
Lesson ANOVA - D Two-Way ANOVA.
Introduction to Moral Theory
(Or as I like to say, “What’s your point?”)
Problems with Kohlberg’s method
Testing Hypotheses about Proportions
Copyright © Cengage Learning. All rights reserved.
Unit 1 – Foundations of Reason and Logic
Artificial Intelligence Lecture 2: Foundation of Artificial Intelligence By: Nur Uddin, Ph.D.
What it is and how to write one
Foundations of Technology The Engineering Design Process
(Or as I like to say, “What’s your point?”)
Chapter 26 Comparing Counts.
Foundations of Technology The Engineering Design Process
Searle on Artificial Intelligence Minds, Brains and Science Chapter 2
The Language of Exams Mrs Thompson.
Outline the naturalistic fallacy
Core Course Knowledge Lesson 6
Advanced Design Applications The Engineering Design Process
Core Course Knowledge Lesson 6
Thesis Statement Tells the reader how you will interpret the significance of the subject in the prompt.  is a road map for the paper; in other words,
Phil 148 Chapter 2A.
Dr. Jiacun Wang Department of Software Engineering Monmouth University
(Or as I like to say, “What’s your point?”)
Induction and deduction
How to Succeed at Life (and Do Well on the AP English Language and Composition Multiple Choice) Adapted from: English Language and Composition, 3rd Edition.
Unit 1 Lesson 2 Scientific Knowledge
Validity.
Subject Name: SOFTWARE ENGINEERING Subject Code:10IS51
2. Do Background Research
(Or as I like to say, “What’s your point?”)
Version Space Machine Learning Fall 2018.
Logical equivalence.
STA 291 Spring 2008 Lecture 17 Dustin Lueker.
Presentation transcript:

Defining Diagrams Austen Friesacher Conclusions Background McGill University Conclusions Background Simon & Larkin first proposed a simple definition: that diagrams are two-dimensional and sentences are one-dimensional This has since been endorsed by Shin This correctly classifies many familiar forms of representation such as Venn diagrams and written English However it f ails to correctly classify one-dimensional diagrams Obtaining a correct definition of diagrams is an important foundation for other projects in the philosophy of diagrams The definitions of Stenning, Shimonima, and Simon & Larking don’t work A definition shouldn’t treat diagrams as merely physical objects, as evidenced by the failure of definitions one and two Definitions which rely on the specifics of formal semantics are at risk of classifying the same diagram in different ways What is a diagram? What is not a diagram? At first glance it may seem easy to differentiate diagrammatic forms of representation from other forms of representation. Our intuitions are strong that Venn diagrams are an example of diagrammatic representation and that normal written English is not. But, providing a definition of diagrams is a problem that has busied and eluded many philosophers. This is problematic as many larger projects in the philosophy of diagrams hinge on the definition employed. Here I present three prominent definitions of diagrams and reject them – in two cases offering a novel objection. From this some general lessons about the philosophy of diagrams can be drawn which may aid in obtaining a satisfactory definition. Fig 1. A two-dimensional and one-dimensional representation. Fig. 2 A one-dimensional flowchart is still a diagram. Shimojima says that diagrams are defined by being subject to “nomic” constraints A constraint is defined as the inability to realize one “state of affairs” in the representing world without realizing another state of affairs Nomic constraints are constraints imposed by natural laws This treats diagrams as physical objects and fails to account for differences in interpretations Bibliography Fig. 3 Whether this is a sentence or a diagram depends on how you interpret it. Hammer, E. (1995). Logic and visual information. Larkin, J. H., & Simon, H. A. (1987). Why a diagram is (sometimes) worth ten thousand words. Shimojima, A. (2001). The graphic-linguistic distinction. Shin, S.-J. (2015). The mystery of deduction and diagrammatic aspects of representation. Stenning, K. (2002). Seeing reason: Image and language in learning to think. Stenning claims that diagrams are defined by their lack of an ”abstract syntax” A consequence of this is that if a physical relation is representative in a diagram, it always represents the sam4 thing This is not the case for sentential systems How narrowly are relations defined? Are they specified for specific types of graphical objects? Across all types of graphical objects? Is it up to the system’s creator? Issues arise for each understanding of what constitutes a significant relation Fig. 4 A diagram where the relationship of containment represents different things. However, by redefining the significant relations this can be considered as directly interpretable.