1 Truth and Categorization Barry Smith

Slides:



Advertisements
Similar presentations
Bridge building: outcomes and the humanities. Ian Saunders.
Advertisements

Bridge building: outcomes and the humanities. Ian Saunders.
Basic Structures: Sets, Functions, Sequences, Sums, and Matrices
Phil 160 Kant.
Idealism.
Copyright © Allyn & Bacon (2007) Data and the Nature of Measurement Graziano and Raulin Research Methods: Chapter 4 This multimedia product and its contents.
Direct realism Michael Lacewing
Language within our grasp: Gesture, mirror neurons, and meaning.
Saving the Date vs. Coherence Reflections on fossils and scientific method.
1 Barry Smith Department of Philosophy (Buffalo) Institute for Formal Ontology and Medical Information Science (Leipzig) ontology.buffalo.edu ifomis.de.
Logic and Set Theory.
1 A Unified Theory of Vagueness and Granularity Barry Smith
Units in PATO and Investigation Ontology matters Chris Mungall and Barry Smith.
Math Calculus I August 9 (but first, a quick review…)
1 The Ontology of Measurement Barry Smith ONTOLOGIST.cOm.
1 From Natural Categories to Quantum Physics and back again.
1 The Ontology of Measurement Barry Smith ONTOLOGIST.cOm.
1 A Unified Theory of Vagueness and Granularity Barry Smith
1 The Theory of Granular Partitions: A New Paradigm for Ontology Barry Smith Department of Philosophy University at Buffalo
A taxonomy of granular partitions Thomas Bittner and Barry Smith Northwestern University, NCGIA and SUNY Buffalo.
A Unified Theory of Granularity, Vagueness and Approximation Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo.
Pathways and Networks for Realists Barry Smith 1.
1 VT 2 Ontology and Ontologies Barry Smith 3 IFOMIS Strategy get real ontology right first and then investigate ways in which this real ontology can.
A Simple Partition 5 A partition can be more or less refined.
Philosophy and Computer Science: New Perspectives of Collaboration
1 SNAP and SPAN Barry Smith and Pierre Grenon University at Buffalo and Institute for Formal Ontology and Medical Information Science (ifomis.de) University.
A taxonomy of granular partitions Thomas Bittner and Barry Smith Northwestern University, NCGIA and SUNY Buffalo.
Granular Partitions and Vagueness Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo.
1 True Grid Barry Smith
Part 4 Ontology: Philosophical and Computational.
1 JOBS FOR PHILOSOPHERS. 2 PUT YOUR PHILOSOPHY TRAINING TO USE IN THE HI-TECH WORLD ! “is looking for people who can organize information into carefully.
Intentionality and Biological Functions Ingvar Johansson, Institute for Formal Ontology and Medical Information Science, Saarbrücken
Meaning and Language Part 1.
Granular Partitions and Vagueness Thomas Bittner and Barry Smith Northwestern University NCGIA and SUNY Buffalo.
Philosophy of Mind Week 3: Objections to Dualism Logical Behaviorism
Chapter 1 Number Sense See page 8 for the vocabulary and key concepts of this chapter.
Chapter 1 Probability and Distributions Math 6203 Fall 2009 Instructor: Ayona Chatterjee.
Bertrand Russell, “Existence and Description” §1 General Propositions and Existence “Now when you come to ask what really is asserted in a general proposition,
Chapter P Prerequisites: Fundamental Concepts of Algebra
Math 3121 Abstract Algebra I Section 0: Sets. The axiomatic approach to Mathematics The notion of definition - from the text: "It is impossible to define.
Information Can Preserve Structure Across Scientific Revolutions John Collier Philosophy and Ethics University of KwaZulu-Natal
Discrete dynamical systems and intrinsic computability Marco Giunti University of Cagliari, Italy
Scientific Method and Measurement Notes Key: Write down RED words in your notes.
LOGIC AND ONTOLOGY Both logic and ontology are important areas of philosophy covering large, diverse, and active research projects. These two areas overlap.
Equations, Inequalities, and Mathematical Models 1.2 Linear Equations
1 The Ontology of CLASSIFICATION Barry Smith ONTOLOGIST.cOm.
The Turn to the Science The problem with substance dualism is that, given what we know about how the world works, it is hard to take it seriously as a.
Albert Gatt LIN3021 Formal Semantics Lecture 4. In this lecture Compositionality in Natural Langauge revisited: The role of types The typed lambda calculus.
MATH 224 – Discrete Mathematics
Need worksheet from yellow folder – arg from perceptual variation.
Lecture 2 (Chapter 2) Introduction to Semantics and Pragmatics.
Intertheoretic Reduction and Explanation in Mathematics
Sight Words.
Ashok K. Agrawala Professor of Computer Science University of Maryland.
1 VT. 2 Barry Smith Department of Philosophy (Buffalo) Institute for Formal Ontology and Medical Information Science (Leipzig) ontology.buffalo.edu ifomis.de.
PHILOSOPHY OF LANGUAGE Some topics and historical issues of the 20 th century.
Meaning in Language and Literature, 4EN707 Meaning in Language, Lecture 2: Theories Helena Frännhag Autumn 2013.
The Nature of God Nancy Parsons. Attributes- Nature of God Candidates should be able to demonstrate knowledge and understanding of: 1.God as eternal,
Chapter 2 1. Chapter Summary Sets (This Slide) The Language of Sets - Sec 2.1 – Lecture 8 Set Operations and Set Identities - Sec 2.2 – Lecture 9 Functions.
Lecture 7 Modality: Metaphysics of possible worlds
Philosophy of Mind Lecture II: Mind&behavior. Behaviorism
Philosophy and Computer Science: New Perspectives of Collaboration
Dummett about realism and anti-realism
The Search for Ultimate Reality and the Mind/Body Problem
Saying the Same Thing.
Ethics: Theory and Practice
Introduction to course
Introduction to course
Do we directly perceive objects? (25 marks)
Pictures and Nonsense Wittgenstein.
Presentation transcript:

1 Truth and Categorization Barry Smith

2 A categorization is a sorting, a dividing, a partitioning of reality, or of a certain portion of reality

3 All categorizations are partial (we are finite beings) But nearly all categorizations are true, correct, veridical

4 Borges’ Chinese Encyclopedia animals which belong to the emperor embalmed animals sirens fabulous animals wild dogs which are painted with a fine camelhair brush which have broken the water-pitcher which look like flies from a distiance

5 A Simple Partition

6

7

8 A partition can be more or less refined

9

10

11 Partition A partition is the drawing of a (typically complex) fiat boundary over a certain domain

12 GrGr

13 Partitions are artefacts of our cognition = of our categorizing, sorting, classifying, naming, listing, referring, perceiving, mapping activity

14 A partition is transparent It leaves the world exactly as it is

15 Artist’s Grid

16 Label/Address System A partition typically comes with labels and/or an address system

17 Dewey Decimal Classification

18 Dewey Decimal Classification

19

20 All transparent partitions are equal... but some are more equal than others

21 There are many, competing criteria for quality of partitions: completeness naturalness principledness … (Borges’ Chinese Encyclopedia violates them all)

22 Some partitions support reliable predictions

23 Mouse Chromosome Five

24 Some do not …

25 DER (masculine) moon lake atom DIE (feminine) sea sun earth DAS (neuter) girl fire dangerous thing The der-die-das Partition

26 The Empty Mask (Magritte) mama mouse milk Mount Washington

27 Mothers exist

28 The common sense partitions of folk physics, folk psychology, folk biology, are all transparent to reality Aristotelianism for today:

29... rookbishoppawnknight... JohnPaulGeorgeRingo... updowncharmstrange...

30 Even the partitions of reductionists are transparent The objects admitted by the nominalist, the process-metaphysician, the physicalist, truly do exist.

31 Reductionists err only when they add ‘and nothing else exists’ (as if one were to insist that only maps of exactly one preferred scale can be true of reality)

32 are our scientific partitions truly transparent to an independent reality ?

33... what about quantum mechanics ?

34 Refinement a partition can be refined or coarsened by adding or subtracting from its constituent cell-divisions

35 Manipulation of partitions refinement coarsening gluing restricting

36 Enlargement of a partition

37

38

39

40 The realist’s ideal A total partition of the universe, a super- partition (a God’s eye view) satisfying: “Every element of the physical reality has a counterpart in the physical theory.” (Einstein-Podolsky-Rosen 1935)

41 A universal partition why not just take the product of all partitions covering each successive domain and glue them all together ?

42 Ontological Problem In the quantum domain not all transparent partitions are consistent

43 But still: In relation to the mesoscopic and macroscopic realms sense realism holds with unrestricted validity Indeed we can derive the truths of folk physics rigorously from quantum mechanical laws we do this by moving from finer-grained to coarser-grained histories

44 A partition can comprehend the whole of reality

45 Universe

46 It can do this in different ways

47 The Spinoza Partition

48 Periodic Table

49 Perspectivalism Different partitions may represent cuts through the same reality which are skew to each other

50 (You can cut the cheese in different ways)

51 Universe/Periodic Table

52 Partitions have different granularity just as maps have different scales

53 Partitions can have empty cells

… Partition of people in this room according to: number of years spent in jail

55 Partition of people in this room according to: number of days spent in jail

56 Therefore a good theory of partitions needs more than one empty set. (We can err in many ways.)

57 Partitions can sometimes create objects fiat objects = objects created by partitions

58 Tibble’s Tail fiat boundary

59 Canada Quebec Canada

60 Kansas

61 = objects which exist independently of our partitions (objects with bona fide boundaries) bona fide objects

62 globe

63 Some partitions involve both types of boundaries

64 Cerebral Cortex

65 California Land Cover Reciprocal partitions

66 a partition is transparent (veridical) 1. its fiat boundaries correspond at least to fiat boundaries on the side of the objects in its domain 2. if we are lucky they correspond to bona fide boundaries (JOINTS OF REALITY)

67 In case 1. our partition/categorization is a discretization of a continuum In case 2. our partition/categorization captures discrete divisions on the sides of the objects In both cases our partitions are transparent

68 What is a partition? a way of successfully projecting a system of cells upon reality

69 These are different ways in which cells can be projected successfully onto reality

70 An object can be located in a cell within a partition in any number of ways: – object x exemplifies kind K – object x possesses property P – object x falls under concept C – object x is in spatial location L – object x is in measurement-band B contrast the meager resources of set theory 

71 Intentional directedness … is effected via partitions we reach out to objects because partitions are transparent

72 and they always have a certain granularity when I see an apple my partition does not recognize the molecules in the apple

73 This is a mistake propositions, sets, noemata, meanings, models, concepts, senses,... content does not belong in the target position

74 Intentionality this is the correct view

75 corrected content, meaning representations are transparent – they are like spectacles

76 Intentionality

77 AGAINST “PROPOSITIONAL ATTITUDES” Examples of pseudo-problems in philosophy: what are ‘meanings’? what are the identity criteria for meanings? where is the ‘realm of meanings’?

78 The worst example of a pseudo- problem in the history of philosophy: How can we ever transcend the realm of meanings / contents / ideas / sensations / noemata and reach out to the realm of objects in themselves ?

79 Intentional directedness … is effected via partitions we reach out to objects because partitions are transparent

Counting requires partitions

81 Frege: “Numbers belong to the realm of concepts” Smith: Numbers belong to the realm of partitions

82 Measurement belongs to the realm of partitions   0 0   massively increased... normal increased chronic...

83 Sets belong to the realm of partitions Sets are not objects in reality, but mathematical tools for talking about reality

84 Another mistake:

85 The correct view set-like structures belong here

86 Defining  Sets are (at best) special cases of partitions Cells are to partitions as singletons are to sets

87 Objects and cells objects are located in cells as guests are located in hotel rooms: L A (x, z) the analogue of the relation between an element and its singleton

88 Set as List Partition A set is a list partition (a set is, roughly, a partition minus labels and address system) The elements exist within the set without order or location —they can be permuted at will and the set remains identical

89 David Lewis on Sets Set theory rests on one central relation: the relation between element and singleton. Sets are mereological fusions of their singletons (Lewis, Parts of Classes, 1991)

90 Cantor’s Hell... the relation between an element and its singleton is “enveloped in mystery” (Lewis, Parts of Classes)

91 Cantor’s Hell... the relation between an element and its singleton is “enveloped in mystery” (Lewis, Parts of Classes)

92 Partitions better than sets Partitions are as we can see better than sets

93 Mystery Lewis:... since all classes are fusions of singletons, and nothing over and above the singletons they’re made of, our utter ignorance about the nature of the singletons amounts to utter ignorance about the nature of classes generally.

94 The ‚mystery‘ of set theory arises from supposing that sets are objects This is the root, also, of Frege’s problem in the Grundgesetze This is the root of the catastrophic high- rise projects of post-Cantorian set theory

95 Demolition

96 Cantor’s Hell arises because set theory confuses the fiat boundaries generated by our partitions (e.g. by our setting certain phenomena into relief in terms of the ‘real numbers’) with bona fide boundaries possessed by special objects (the sets)

97 How do partitions, classifications, categories relate to reality via intentionality (via the projections of conscious subjects) partitions, classifications, categories are cognitive artefacts but they are transparent to what exists on the side of objects in reality

98 An (Irregular) Partition

99 A Portion of Reality

100 Cartographic Hooks

101 A Map

102 A Sentence Blanche is shaking hands with Mary

103 A Portion of Reality

104 Semantic Hooks Blanche is shaking hands with Mary

105 A Sentence Blanche is shaking hands with Mary

106 Wittgenstein‘s Tractatus on Projection the proposition is the propositional sign in its projective relation to the world 3.13 to the proposition belongs everything which belongs to the projection; not however that which is projected

107 Satz und Sachverhalt arb language world names simple objects

108 Satz und Sachverhalt arb language world cells (in coarse-grained partitions) simple and complex objects

109 Satz und Sachverhalt arb language world projection

110 Satz und Sachverhalt arb Semantic Projection „ John is kissing Mary “ John this kiss Mary

111 Truth is a free lunch Truth is easy easy to come by, even for small children; easy to explain (if you avoid Kant and other bad philosophy)

112 Falsehood: A Realist Theory Falsehood is not: successful conformity with some non-existing state of affairs... it is the failure of an attempted conformity, resting on either 1. failure of projection, or 2. failure of coordination

113 Satz und Sachverhalt arb Projection Failure „John is kissing Mary“ John Mary nothing here

114 Nothing really nothing

115 Satz und Sachverhalt arb Projection Failure „John is kissing Mary“ John Mary

116 Coordination Failure arb „John is kissing Mary“ Mary this kiss John Coordination Failure

117 Realist Semantics We begin with a theory of propositions as articulated pictures of reality The theory of truth comes along as a free lunch We then show how to deal with the two kinds of failure which constitute falsehood

118 THE END