The Aristotle Index: Measuring Complexity in the Twenty-First Century. John N. Warfield

Similar documents
EE292: Fundamentals of ECE

1. Convert the decimal number to binary, octal, and hexadecimal.

Peirce's Remarkable Rules of Inference

Multi-Level Gate Circuits. Chapter 7 Multi-Level Gate Circuits NAND and NOR Gates. Some Terminologies (Cont.) Some Terminologies

1.b. Realize a 5-input NOR function using 2-input NOR gates only.

A Review of logic design

Grade 6 Overview texts texts texts fiction nonfiction drama texts author s craft texts revise edit author s craft voice Standard American English

Data Mining. Dr. Raed Ibraheem Hamed. University of Human Development, College of Science and Technology Department of Computer Science

Introduction to Digital Logic Missouri S&T University CPE 2210 Introduction and Application Areas

Chapter 3. Boolean Algebra and Digital Logic

Irish Math. Soc. Bulletin Number 74, Winter 2014, ISSN REVIEWED BY PETER LYNCH. Received on

From Pythagoras to the Digital Computer: The Intellectual Roots of Symbolic Artificial Intelligence

Introduction to Digital Logic Missouri S&T University CPE 2210 Introduction and Application Areas

Grade 4 Overview texts texts texts fiction nonfiction drama texts text graphic features text audiences revise edit voice Standard American English

Meaning, Use, and Diagrams

English II STAAR EOC Review

Department of Computer Science and Engineering Question Bank- Even Semester:

Proceedings of the Third International DERIVE/TI-92 Conference

Pitch correction on the human voice

MATH& 146 Lesson 11. Section 1.6 Categorical Data

Corcoran, J George Boole. Encyclopedia of Philosophy. 2nd edition. Detroit: Macmillan Reference USA, 2006

CSE221- Logic Design, Spring 2003

St. MARTIN S ENGINEERING COLLEGE

The word digital implies information in computers is represented by variables that take a limited number of discrete values.

CS6201 UNIT I PART-A. Develop or build the following Boolean function with NAND gate F(x,y,z)=(1,2,3,5,7).

#11772 PLATO S REPUBLIC

Introduction p. 1 The Elements of an Argument p. 1 Deduction and Induction p. 5 Deductive Argument Forms p. 7 Truth and Validity p. 8 Soundness p.

ENGLISH I STAAR EOC REVIEW. Reporting Category 1 Understanding and Analysis across Genres

L5 Sequential Circuit Design

R13 SET - 1 '' ''' '' ' '''' Code No: RT21053

Combinational Logic Gates

North Carolina Standard Course of Study - Mathematics

Mathematics Curriculum Document for Algebra 2

Logic and Philosophy of Science (LPS)

Bite Size Brownies. Designed by: Jonathan Thompson George Mason University, COMPLETE Math

Unsymmetrical Aryl(2,4,6-trimethoxyphenyl)iodonium Salts: One-pot Synthesis, Scope, Stability, and Synthetic Applications. Supporting Information

R13. II B. Tech I Semester Regular Examinations, Jan DIGITAL LOGIC DESIGN (Com. to CSE, IT) PART-A

CS61C : Machine Structures

North Shore Community College

INSTITUTE OF AERONAUTICAL ENGINEERING (Autonomous) Dundigal, Hyderabad ELECTRICAL AND ELECTRONICS ENGINEERING

Copyright is owned by the Author of the thesis. Permission is given for a copy to be downloaded by an individual for the purpose of research and

Illinois Standards Alignment Grades Three through Eleven

CS 61C: Great Ideas in Computer Architecture

Table of Contents. Table of Contents. A Note to the Teacher... v. Introduction... 1

Advanced Placement English Language and Composition

The PeRIPLO Propositional Interpolator

ELCT201: DIGITAL LOGIC DESIGN

Department of CSIT. Class: B.SC Semester: II Year: 2013 Paper Title: Introduction to logics of Computer Max Marks: 30

Computer Architecture and Organization

Chapter 1 Overview of Music Theories

Lecture 11: Synchronous Sequential Logic

Core Logic. 1st Semester 2007/2008, period a & b. Dr Benedikt Löwe. Core Logic 2007/08-1ab p. 1/2

Frequencies. Chapter 2. Descriptive statistics and charts

ECE 301 Digital Electronics

DIFFERENTIATE SOMETHING AT THE VERY BEGINNING THE COURSE I'LL ADD YOU QUESTIONS USING THEM. BUT PARTICULAR QUESTIONS AS YOU'LL SEE

DIGITAL SYSTEM DESIGN UNIT I (2 MARKS)

MAT 4040: Senior Capstone Today: Intro & Controversy in Equations

STAAR Reading Terms 6th Grade. Group 1:

TITLE OF CHAPTER FOR PD FCCS MONOGRAPHY: EXAMPLE WITH INSTRUCTIONS

If the only tool you have in your toolbox is a hammer, you tend to treat everything as if it were a nail. -Abraham Maslow

Chapter. Synchronous Sequential Circuits

Mathematics, Proofs and Computation

Display Dilemma. Display Dilemma. 1 of 12. Copyright 2008, Exemplars, Inc. All rights reserved.

Visualizing Euclidean Rhythms Using Tangle Theory

WEEK 10. Sequential Circuits: Analysis and Design. Page 1

Department of Chemistry. University of Colombo, Sri Lanka. 1. Format. Required Required 11. Appendices Where Required

ITTC Recommended Procedures and Guidelines

Channel 4 response to DMOL s consultation on proposed changes to the Logical Channel Number (LCN) list

Necessity in Kant; Subjective and Objective

Public Forum Debate ( Crossfire )

Grade 6. Library Media Curriculum Guide August Edition

Writing maths, from Euclid to today

Grade 5. READING Understanding and Using Literary Texts

Overview. Teacher s Manual and reproductions of student worksheets to support the following lesson objective:

The Object Oriented Paradigm

Types of Publications

Matrix Mathematics: Theory, Facts, and Formulas

UNIT 1: DIGITAL LOGICAL CIRCUITS What is Digital Computer? OR Explain the block diagram of digital computers.

Combinational vs Sequential

Literature Cite the textual evidence that most strongly supports an analysis of what the text says explicitly

Microprocessor Design

Module 11. Reasoning with uncertainty-fuzzy Reasoning. Version 2 CSE IIT, Kharagpur

COMP12111: Fundamentals of Computer Engineering

PLANE TESSELATION WITH MUSICAL-SCALE TILES AND BIDIMENSIONAL AUTOMATIC COMPOSITION

EXPERIMENT: 1. Graphic Symbol: OR: The output of OR gate is true when one of the inputs A and B or both the inputs are true.

The basic logic gates are the inverter (or NOT gate), the AND gate, the OR gate and the exclusive-or gate (XOR). If you put an inverter in front of

Since publication of the second edition of The ACS Style

12th Grade Language Arts Pacing Guide SLEs in red are the 2007 ELA Framework Revisions.

A computer based teaching program for the design and analysis of digital counter circuits

Arthur Tooth & Sons stock inventories and accounts, No online items

Articulating Medieval Logic, by Terence Parsons. Oxford: Oxford University Press,

August 21-25, Keywords: abstracts, deadlines, paper preparation, editing, process, references. Abstract

How to Solve Syllogisms for IBPS Exam Reasoning Section?

Representation and Discourse Analysis

THE QUESTION IS THE KEY

Isaac Taylor papers Ms. Coll. 261 Finding aid prepared by Molly B. Hutt.

Cover Page. The handle holds various files of this Leiden University dissertation.

Department of Philosophy Florida State University

Chapter 4. Logic Design

Introduction to Rhetoric (from OWL Purdue website)

Transcription:

The Aristotle Index: Measuring Complexity in the Twenty-First Century John N. Warfield As is well-known, Aristotle introduced inference into the history of human thought through the syllogism: a three-statement sequence, where a conclusion is drawn from two prior statements. More than 1400 years after Aristotle, Abèlard was able to replace the three-statement sequence with a single statement, expressed in terms of antecedent and consequent, laying a linguistic basis for the application of George Boole s algebra, which would appear over 700 years later. While Boole s algebra provided a symbolic base for expressing inference on a much broader scale than that given by Aristotle, it drew very little support in terms of practical applications because its linguistic appeal was very limited. In the same time period, Augustus De Morgan discovered and published the theory of relations, which laid a conceptual basis for creating very large structures of relationship, but this theory also drew very little support in terms of practical applications, for the same reason. More than a hundred years after Boole and De Morgan, the graph theorist, Frank Harary, discovered a Boolean reachability matrix and an equation that encapsulated the combined essences of the work of Aristotle, Abèlard, Boole, and De Morgan, taking advantage of the matrix theory of Arthur Cayley, adapted to Boolean algebra. With the benefit of Harary s apparatus, I developed a process called Interpretive Structural Modeling, shortened to ISM. With the ISM process, it became possible for groups of people to engage together with a computer to construct patterns of interaction among sets of problems. These patterns of interaction came to be labeled problematiques. This nomenclature fits very well into the concept promoted by Michel Foucault, who expressed the point of view that history ought to be written as a compound of the recordables of the time, together with an analyst s perspective on the problematique that the actors were striving to resolve by whatever historical events they undertook to precipitate. The first table to be shown summarizes this history Bringing history into immediacy, groups have been applying ISM to problematic situations of substantial variety since about 1974 when ISM was first announced. The second table to be shown illustrates several examples of these situations and anticipates the values of their Aristotle Indexes. Recently it has been discovered that a measure of complexity called the Aristotle Index can be computed by combinatorial analysis of a problematique. This enables different situations to be compared based on the relative size of the Index. When problematiques are applied to gain insights into system designs, it has been found that designs having lower values of Aristotle Index tend to be preferable to those with higher values. Thus concepts that are well over 2000 years old, once again provide insights into issues of importance today. Prepared for presentation at the World Forum, Hotel Palomar, Washington, D. C. July 3-8, 2007.

Summary Table of Historical Background APPROXIMATE TIME PERIOD PERSON(S) EVENT 350 B. C. Aristotle Created the syllogism: formalizing inference: requiring 3 statements 1100 A. D. Abelard Replaced the syllogism with a single statement: antecedent, consequent, and reference 1700 A. D. Leibniz Used circles to represent logic statements, and overlapping to represent partial joint inclusion (preceding Euler and Venn) 1847 A. D. Boole Published the algebra of propositions, allowing statements to be represented by symbols 1847 A. D. De Morgan Published the theory of relations, allowing relations to be represented by symbols; recognized the restriction of the syllogism to transitive relationships 1875 A. D. Cayley Developed matrices, expanding the symbolic dimensionality and mathematical manipulation of representations 1965 A. D. Harary Integrated the work of Cayley, De Morgan, and Boole and transformed the integrative results into a theory of digraphs, showing the graphical representation of transitive relations, and the necessary and sufficient conditions that a relationship be consistent 1974 A. D. Warfield Used Harary s analysis to develop Interpretive Structural Modeling (ISM), a computer-assisted method for groups to construct structural models of problematic situations (situations involving complexity) 1983 A. D. Foucault Gave the name problematique to the description of the problematic situation, where a set of linked problems describes the situation 1980 A. D. -present many groups Constructed problematiques for their situations 2002 A. D. Warfield 1 Published a book containing many examples of problematiques contributed by various individuals This book introduced the Aristotle Index. Questions: contact jnwarfield@aol.com 1 John N. Warfield (2002), Understanding Complexity: Thought and Behavior, Palm Harbor, FL: Ajar.

TABULATED VALUES OF ARISTOTLE INDEX RANKED FOR VARIOUS SITUATIONS SITUATION VALUE Cyprus Reconciliation between Greek and Turkish Cypriots 774 Effective Communication in Problem-Solving Groups-Type 1 123 Categorization in U. S. Defense Acquisition 113 The Decline in Membership in the Church of England 97 Ford Motor Co. computerized powertrain design-type 1 97 Quality Control in John Deere Pump Manufacturing 87 Ford Motor Co. computerized powertrain design-type 2 81 Ford Motor Co. Manual transmission design 26 Teaching fractions to second-grade students in Japan 18 Gender issues 16 Effective Communication in Problem-Solving Groups-Type 2 8 Improving competitiveness, state of Nuevo Leon, MX-Type 2 7 NOTE: Values for Type 2 problematiques are normally much smaller than for Type 1 problematiques, because the Type 2 are structuring categories only and, as the saying goes, the devil is in the details. There is no firm rule, however, for as the Ford power train experience shows, the Type 2 index is almost as large 2 as the Type 1 index. This is readily explained in the book where the two problematiques are compared. Questions: jnwarfield@aol.com Ajar. 2 John N. Warfield (2002), Understanding Complexity: Thought and Behavior, Palm Harbor, FL:

THE ARISTOTLE INDEX IS A PROPERTY OF A STRUCTURE TO COMPUTE IT, WE FIRST COUNT THE NUMBER OF SYLLOGISMS ON THE STRUCTURE, AND THEN DIVIDE BY TEN. THE FOLLOWING STRUCTURE IS THE REFERENCE STRUCTURE. ITS ARISTOTLE INDEX IS 1.0. O O O O O A B C D E The syllogistic patterns are: A,B,C A,B,D A,B,E A,C,D A,C,E A,D,E B,C,D B,C,E B,D,E C,D,E so, with 10 syllogisms represented here, dividing by 10 we get the Aristotle Index to be 1. This corresponds roughly to the limit of human interpretation of the contents of a problematique with one relationship and five problems being linearly related by that relationship.

EXAMPLE: ONE GRAPHICAL SYLLOGISM ON A PROBLEMATIQUE Problem 6 aggravates Problem 4. Problem 4 aggravates Problem 15. Problem 6 aggravates Problem 15 (via Problem 4). Also a problem in Category D aggravates a problem in Category B, which aggravates a problem in Category I. Lack of clearly defined vision process for end user (6) D Lack of readiness of some core technologies for implementation (4) B Inadequate skill level for using the specialized CAD/CAM/CAE techniques (15) I