1 Software and Other Cultural Artifacts Barry Smith.

Slides:



Advertisements
Similar presentations
Freges The Thought Meaning of true –Grammatically appears as an adjective –So a thing cannot be true, but a picture or idea about it might be The thing.
Advertisements

Microcomputer Circuits Prof Jess UEAB 2007 Designing a Microprocessor Chapter 1.
The preceding analysis permits play to be defined as an activity which is essentially: 1.Free: in which playing is not obligatory; If it were, it would.
Summer 2011 Tuesday, 8/ No supposition seems to me more natural than that there is no process in the brain correlated with associating or with.
LAST LECTURE. Functionalism Functionalism in philosophy of mind is the view that mental states should be identified with and differentiated in terms of.
CHAPTER 2 GC101 Program’s algorithm 1. COMMUNICATING WITH A COMPUTER  Programming languages bridge the gap between human thought processes and computer.
IGCSE Coursework August 2011 The write up for this experiment should be word processed if possible A hard copy should be submitted by next Monday No excuses.
1 CIDOC CRM + FRBR ER = FRBR OO … an equation for a harmonised view of museum information and bibliographic information Martin Doerr First CASPAR Seminar.
Section 2.3 I, Robot Mind as Software.
Why study grammar? Knowledge of grammar facilitates language learning
Artificial intelligence. I believe that in about fifty years' time it will be possible, to programme computers, with a storage capacity of about 10.
Ontology From Wikipedia, the free encyclopedia In philosophy, ontology (from the Greek oν, genitive oντος: of being (part. of εiναι: to be) and –λογία:
CHAPTER 1: AN OVERVIEW OF COMPUTERS AND LOGIC. Objectives 2  Understand computer components and operations  Describe the steps involved in the programming.
The Ontology of Poker Barry Smith with thanks to Ingvar Johansson and John Kearns Revised version of slides from talk presented in Buffalo on March 14,
Lecture 3 The Ontology of Social Reality. John Searle 174.
Summer 2011 Wednesday, 07/13. Formal Systems: The ELI System The ELI-system uses only three letters of the alphabet: E, L, I. It has a single axiom, EI,
1 Semantic Description of Programming languages. 2 Static versus Dynamic Semantics n Static Semantics represents legal forms of programs that cannot be.
1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and ifomis.de University of Leipzig.
1 John Searle’s Ontology of Social Reality Its Glory and Its Misery Barry Smith.
CS 357 – Intro to Artificial Intelligence  Learn about AI, search techniques, planning, optimization of choice, logic, Bayesian probability theory, learning,
Traffic Light Behavior IF A=1 AND B=0 Car Sensors B A.
Acting Humanly: The Turing test (1950) “Computing machinery and intelligence”:   Can machine’s think? or Can machines behave intelligently? An operational.
1 Searle and De Soto The New Ontology of the Social World Barry Smith.
VT. 2 On Free-Standing Y Terms Barry Smith 3 X counts as Y in context C Searle’s original theory: X and Y are one and the same part of physical reality.
Speech and Phenomena Philosophy 157 G. J. Mattey ©2002.
Performative Language
Intentionality and Biological Functions Ingvar Johansson, Institute for Formal Ontology and Medical Information Science, Saarbrücken
1 Searle and De Soto The New Ontology of the Social World Barry Smith.
ELEMENTS OF A PLAY YOU CAN WRITE YOUR OWN PLAY. PLOT The action in the story!
Elementary Forms of Religious Life ► Last thing written by Durkheim before his death ► In-depth case study of Australian Aborigines ► He selected this.
The Linguistic Turn To what extent is knowledge in the use of language rather than what language is about? MRes Philosophy of Knowledge: Day 2 - Session.
Disciplines of the Humanities Arts Disciplines Visual art- drawing, painting, printmaking, sculpture, photography Performing art- music, theatre, dance,
An Introduction to Visual Analysis Katy Gregg & Desiree Paulin Seponski QUAL 8420 March 26, 2009.
Useful Techniques in Teaching Reading
The Data Attribution Abdul Saboor PhD Research Student Model Base Development and Software Quality Assurance Research Group Freie.
MULTIMEDIA What is Multimedia? The word MULTIMEDIA is made up from two words, MULTI meaning more than one and MEDIA meaning a way of displaying or passing.
Knowledge representation
Oral Tradition and Native American Literature: An Ohio 4th Grade Teaching Unit Theme Michele Beery Svetlana Kincaid Alice Teeters Cantessa Wallace.
Introduction to Programming ICS2O Findlay. Learning Goals  We will learn  The definitions of a computer, program and programming language.  The different.
Copyright Law Copyright ©2004 Stephen Marshall distributed under the terms of the GNU Free Documentation License (
Psycho-sociology of software development: an out of box view.
Virtual Models English 197 Jennifer Yang. Reality Bytes - Casti To what degree can we employ electronic surrogates for the reality that they represent?
Gameness and Negotiable Consequences
1 HL7 RIM Barry Smith
Ethical and Social...J.M.Kizza1 Module 5: Intellectual Property Rights and Computer Technology  Computer Products and Services  Instruments of Protection.
VT. 2 Searle and De Soto The New Ontology of the Social World Barry Smith.
Lecture 1 Introduction Figures from Lewis, “C# Software Solutions”, Addison Wesley Richard Gesick.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
Rational Requirements Management with Use Cases v5.5 Copyright © Rational Software, all rights reserved 1 Requirements Management with Use Cases.
I. INTRODUCTION.
Section 2.3 I, Robot Mind as Software McGraw-Hill © 2013 McGraw-Hill Companies. All Rights Reserved.
Giuliana Dettori ITD CNR, Genoa, Italy  researcher of Italy’s National Research Council  formative studies in mathematics  initial research experience.
Lection №4 Development of the Relational Databases.
Types of Research: General categories. The general types: 1. Analytical –Historical –Philosophical –Research synthesis (meta-analysis) 2. Descriptive.
An analysis of Kant’s argument against the Cartesian skeptic in his ‘Refutation of Idealism” Note: Audio links to youtube are found on my blog at matthewnevius.wordpress.com.
Information Artifact Ontology Barry Smith 1.
The Mind And Body Problem Mr. DeZilva.  Humans are characterised by the body (physical) and the mind (consciousness) These are the fundamental properties.
Bits don’t have error bars Russ Abbott Department of Computer Science California State University, Los Angeles.
Bits don’t have error bars Russ Abbott Department of Computer Science California State University, Los Angeles.
The philosophy of Ayn Rand…. Objectivism Ayn Rand is quoted as saying, “I had to originate a philosophical framework of my own, because my basic view.
Chapter 1: Introduction to Computers and Programming
Advanced Higher Modern Languages
How should BFO classify films?
Lecture 1 Introduction Richard Gesick.
Ontology From Wikipedia, the free encyclopedia
Philosophy of Mathematics 1: Geometry
The Research Paper: An Overview of the Process
Lesson 2- Ethical Use of Digital Resources
Good afternoon, everyone. I’m Haobin Ni from Cornell University
Chapter-1 Computer is an advanced electronic device that takes raw data as an input from the user and processes it under the control of a set of instructions.
Presentation transcript:

1 Software and Other Cultural Artifacts Barry Smith

2 Why the ontology of software is important An example: Digital Rights Management Is Word 3.1 the same piece of software as Word 3 ? Digital Object Identifiers (DOI)

3 Indecs Framework What an entity is made up, its “stuff”, depends on the use to which the corresponding DOI system is being put. All things are objects of perception Axiom 5: “Everything is a view”

4 creator =def. A party contributing to the making of an original creation, in whole or in part creation =def The output of creative activity input =def A pre-existing entity which participates in a relation in a passive, qualifying or supportive role original creation =def A creation without a source input

5 Indecs The Mona Lisa is not an original creation – it used a certain lady as input No painting is an original creation, since every painting involves the use of a paintbrush as input

6 Can we do better?

7 Searle’s ontology of the social world X counts as Y in context C this man counts as a president this building counts as a cathedral this lump of stone counts as a statue this piece of paper counts as a set of instructions to be executed after my death Searle, The Construction of Social Reality, 1987

8 The counts as formula applies to occurrents also this audio-acoustic blast counts as a promise this smashing of a bottle of champagne counts as a naming of a ship this lifting of the hand counts as making a bid

9 X counts as Y in context C X and Y are one and the same part of physical reality which fall under different descriptions X Y

10 X counts as Y in context C What about the money in your (electronic) bank account? your money blips in the computer

11 Turtles It could not be that the world consists of institutional facts all the way down, with no brute reality to serve as their foundation.

12 Turtles Searle: wherever a status-function is imposed there has to be something it is imposed upon Eventually the hierarchy must bottom out in brute facts = phenomena whose existence is not a matter of human agreement.

13 The Construction of Social Reality: all sorts of things can be money, but there has to be some physical realization, some brute fact – even if it is only a bit of paper or a blip on a computer disk – on which we can impose our institutional form of status function.

14 But Does a blip on a computer disk really count as money? Do we truly impose status functions on blips in computers? Can we use blips in computers to buy things with?

15 representation the money in your bank account is represented by blips in the bank’s computer

16 Searle: “On at least one point … the account I gave in [The Construction of Social Reality] is mistaken. “I say that one form that money takes is magnetic traces on computer disks, and another form is credit cards.”

17 Computer blips + credit cards “Strictly speaking neither of these is money, rather, both are different representations of money.”

18 The ontology of chess

19 A game of chess physical movements of physical pieces of wood

20 A game of chess physical movements of physical pieces of wood thoughts

21 A game of chess physical movements of physical pieces of wood thoughts

22 A game of blind chess ? thoughts

23 A Game of Blind Chess something non-physical – the thoughts and utterances are not parts of the game (they are representations) – what then is the game? some ideal Platonic pattern? nothing at all? (fictionalism)

24 A Game of Blind Chess is something non-physical something like: an abstract pattern, that is at the same time tied to specific players and to a specific occasion and to the specific history of the planet

25 A Debt an abstract pattern tied to specific parties and to a specific initiating event (records) thoughts, worries thoughts

26 A Debt an abstract pattern tied to specific parties and to a specific initiating event (records) thoughts, worries thoughts nothing here

27 Two sorts of social reality presidents, driving licenses, cathedrals, spoken promises, bids at auctions, … debts, blind chess games, money in your bank account, … = free-standing Y terms – no underlying physical X with which Y is identical

28 Free-Standing Y Terms are entities of a third kind: there are neither real, physical entities nor abstract, Platonic entities existing outside time and space but abstract entities tied to history and to specific contexts of human behavior

29 Free Standing Y Money does not tarnish does not burn is not subject to physical processes its existence in time rather has the form: does not exist exists

30 Three aspects of Platonism 1.abstract 2.uncreated 3.repeatable debts, wills not repeatable software, chess game repeatable

31 historico-cultural entities, often with quasi-mathematical properties – we pool and collateralize assets – we securitize loans – we consolidate debt – Social Security Numbers cannot tarnish and cannot burn Homework: the ontology of [culturally created] numbers

32 Mathematical expressions are free- standing Y-terms –mathematical theorems cannot tarnish and cannot burn

33 Roman Ingarden The Literary Work of Art: Investigations on the Borderlines of Ontology, Logic and the Theory of Literature (1931)

34 marks of the literary work it is created (thus not an abstract Platonic entity) it can have copies but it is not identical with any copy (a copy counts as a copy) it is an ordered written sequence (a created pattern) it can be read the readings unfold in real time the events represented unfold in represented time some readings may be better (more faithful) than others there may be a history of readings  the work itself has a life in real time (it is born, ignored, rediscovered...)

35 marks of the work of drama it may be physically performed it may be mentally performed (I imagine a performance) some performances may be better (more faithful) than others the dramatic work is not identical with any peformance the dramatic work is not identical with any copy of the script

36 the literary work is a stratified pattern 1.word sounds and phonetic formations of higher order 2.meaning units and higher-order meaning formations 3. schematized aspects (visual, auditory, or other aspects through which the entities represented in the work may be quasi-sensorially apprehended) 4field of represented entities (the objects, events, states of affairs, etc., contributing to the plot)

37 with a quasi-temporal dimension S4S3S2S1S4S3S2S1 represented time the dimension of represented time is related to but need not be isomorphic to the order of the words and sentences

38 free standing Y-pattern S4S3S2S1S4S3S2S1 represented time books, scripts, representations nothing here

39 each reading yields a stratified pattern 1.word sounds and phonetic formations of higher order (in your inner larynx) 2.meaning units and higher-order meaning formations 3.schematized aspects (in the flow of your imagination) 4.represented entities

40 literary work and concretizations S4S3S2S1S4S3S2S1 represented time S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1 double temporal structure

41 the life of the literary work S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1 S4S3S2S1S4S3S2S1

42 Can we fit software into this account of cultural objects? Software = that which humans write

43 definitions of ‘software’ Programs, procedures, rules, and any associated documentation pertaining to the operation of a system. Contrast with hardware. More narrowly: A program or set of instructions that controls the operation of a computer. An ordered sequence of written out instructions that controls the operation of a computer for a specific purpose.

44 marks of the work of software it is created (thus not an abstract Platonic entity) it can have copies but it is not identical with any copy (a copy counts as a copy) it is an ordered written sequence (a created pattern) it can be read the readings (software inspection) unfold in real time the events represented (instructed) unfold in represented (idealized execution) time

45 further marks of the work of software it may be physically performed (on a machine) it may be mentally performed (I imagine its execution) the program work is not identical with any execution the program is not identical with any copy of the code

46 concretization –Programs must be written for people to read and only incidentally for machines to execute. (Abelson & Sussman 1989) –Software execution vs. musical performance (role of score) –Software execution vs. theatrical performance (role of instructions)

47 executable entity work of literature work of music work of drama recipe choreographic script film script service book route plan piece of software execution reading performance act of cooking dance film religious rite funeral procession execution

48 Conclusion a piece of software is an entity of the same ontological category as a work of dramatic art it is an abstract pattern of instructions that is at the same time a historical created entity with concretizations (readings), and executions, and an underlying script or score

49 Does this neglect the mathematical features of software a piece of software ought to run on a computer has mathematical properties which need to be dealt with perhaps God could apprehend the language-free essence of the piece of software from this strictly mathematical point of view