1 Truth and Categorization Barry Smith .
-
date post
15-Jan-2016 -
Category
Documents
-
view
222 -
download
0
Transcript of 1 Truth and Categorization Barry Smith .
![Page 1: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/1.jpg)
1
Truth and CategorizationBarry Smith
http://ontology.buffalo.edu
![Page 2: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/2.jpg)
2
A categorization
is a sorting,
a dividing,
a partitioning of reality,
or of a certain portion of reality
![Page 3: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/3.jpg)
3
All categorizations are partial
(we are finite beings)
But nearly all categorizations are true, correct, veridical
![Page 4: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/4.jpg)
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
![Page 5: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/5.jpg)
5
A Simple Partition
![Page 6: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/6.jpg)
6
![Page 7: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/7.jpg)
7
![Page 8: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/8.jpg)
8
A partition can be more or less refined
![Page 9: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/9.jpg)
9
![Page 10: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/10.jpg)
10
![Page 11: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/11.jpg)
11
Partition
A partition is the drawing of a (typically complex) fiat boundary over a certain domain
![Page 12: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/12.jpg)
12
GrGr
![Page 13: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/13.jpg)
13
Partitions are artefacts of our cognition
= of our categorizing, sorting, classifying, naming, listing, referring, perceiving, mapping activity
![Page 14: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/14.jpg)
14
A partition is transparent
It leaves the world exactly as it is
![Page 15: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/15.jpg)
15
Artist’s Grid
![Page 16: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/16.jpg)
16
Label/Address System
A partition typically comes with labels and/or an address system
![Page 17: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/17.jpg)
17
Dewey Decimal Classification
![Page 18: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/18.jpg)
18
Dewey Decimal Classification
![Page 19: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/19.jpg)
19
![Page 20: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/20.jpg)
20
All transparent partitions are equal
... but some are more equal than others
![Page 21: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/21.jpg)
21
There are many, competing criteria for quality of partitions:
completeness
naturalness
principledness
…
(Borges’ Chinese Encyclopedia violates them all)
![Page 22: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/22.jpg)
22
Some partitions support reliable predictions
![Page 23: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/23.jpg)
23
Mouse Chromosome Five
![Page 24: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/24.jpg)
24
Some do not …
![Page 25: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/25.jpg)
25
DER
(masculine)
moon
lake
atom
DIE
(feminine)
sea
sun
earth
DAS
(neuter)
girl
firedangerous thing
The der-die-das Partition
![Page 26: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/26.jpg)
26
The Empty Mask (Magritte)
mama
mouse
milk
Mount Washington
![Page 27: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/27.jpg)
27
Mothers exist
![Page 28: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/28.jpg)
28
The common sense partitions of folk physics, folk psychology, folk biology, are all transparent to reality
Aristotelianism for today:
![Page 29: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/29.jpg)
29
... rook bishop pawn knight ...
John Paul George Ringo
... up down charm strange ...
![Page 30: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/30.jpg)
30
Even the partitions of reductionists are transparent
The objects admitted by the nominalist, the process-metaphysician, the physicalist, truly do exist.
![Page 31: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/31.jpg)
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)
![Page 32: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/32.jpg)
32
are our scientific partitions truly transparent to an independent reality ?
![Page 33: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/33.jpg)
33
... what about quantum mechanics ?
![Page 34: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/34.jpg)
34
Refinement
a partition can be refined or coarsened by adding or subtracting from its constituent cell-divisions
![Page 35: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/35.jpg)
35
Manipulation of partitions
• refinement
• coarsening
• gluing
• restricting
![Page 36: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/36.jpg)
36
Enlargement of a partition
![Page 37: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/37.jpg)
37
![Page 38: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/38.jpg)
38
![Page 39: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/39.jpg)
39
![Page 40: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/40.jpg)
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)
![Page 41: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/41.jpg)
41
A universal partition
why not just take the product of all partitions covering each successive domain and glue them all together ?
![Page 42: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/42.jpg)
42
Ontological Problem
In the quantum domain not all transparent partitions are consistent
![Page 43: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/43.jpg)
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
![Page 44: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/44.jpg)
44
A partition can comprehend the whole of reality
![Page 45: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/45.jpg)
45
Universe
![Page 46: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/46.jpg)
46
It can do this in different ways
![Page 47: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/47.jpg)
47
The Spinoza Partition
![Page 48: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/48.jpg)
48
Periodic Table
![Page 49: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/49.jpg)
49
Perspectivalism
Perspectivalism
Different partitions may represent cuts through the same reality which are skew to each other
![Page 50: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/50.jpg)
50
(You can cut the cheese in different ways)
![Page 51: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/51.jpg)
51
Universe/Periodic Table
![Page 52: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/52.jpg)
52
Partitions have different granularity
just as maps have different scales
![Page 53: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/53.jpg)
53
Partitions can have empty cells
![Page 54: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/54.jpg)
54
0 1 2 3 4 …
Partition of people in this room according to: number of years spent in jail
![Page 55: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/55.jpg)
55
Partition of people in this room according to: number of days spent in jail
![Page 56: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/56.jpg)
56
Therefore a good theory of
partitions needs more than
one empty set.
(We can err in many ways.)
![Page 57: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/57.jpg)
57
Partitions can sometimes create objects
fiat objects = objects created by partitions
![Page 58: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/58.jpg)
58
Tibble’s Tail
fiat boundary
![Page 59: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/59.jpg)
59
Canada
Que
bec
Canada
![Page 60: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/60.jpg)
60
Kansas
![Page 61: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/61.jpg)
61
= objects which exist independently of our partitions
(objects with bona fide boundaries)
bona fide objects
![Page 62: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/62.jpg)
62
globe
![Page 63: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/63.jpg)
63
Some partitions involve both types of boundaries
![Page 64: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/64.jpg)
64
Cerebral Cortex
![Page 65: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/65.jpg)
65
California Land Cover
Reciprocal partitions
![Page 66: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/66.jpg)
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)
![Page 67: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/67.jpg)
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
![Page 68: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/68.jpg)
68
What is a partition?
a way of successfully projecting a system of cells upon reality
![Page 69: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/69.jpg)
69
These are different ways in which cells can be projected successfully onto reality
![Page 70: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/70.jpg)
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
![Page 71: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/71.jpg)
71
Intentional directedness
… is effected via partitions
we reach out to objects because partitions are transparent
![Page 72: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/72.jpg)
72
and they always have a certain granularity
when I see an apple my partition does not recognize the molecules in the apple
![Page 73: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/73.jpg)
73
This is a mistake
propositions,sets, noemata,
meanings, models,
concepts, senses, ...
content does not belong in the target position
![Page 74: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/74.jpg)
74
Intentionality
this is the correct view
![Page 75: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/75.jpg)
75
corrected
content, meaningrepresentations are transparent – they are like spectacles
![Page 76: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/76.jpg)
76
Intentionality
![Page 77: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/77.jpg)
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’?
![Page 78: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/78.jpg)
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 ?
![Page 79: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/79.jpg)
79
Intentional directedness
… is effected via partitions
we reach out to objects because partitions are transparent
![Page 80: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/80.jpg)
80
1 2 3 4
Counting requires partitions
![Page 81: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/81.jpg)
81
Frege: “Numbers belong to the realm of concepts”
Smith: Numbers belong to the realm of partitions
![Page 82: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/82.jpg)
82
Measurement belongs to the realm of partitions
... -20-10 -10 0 0 10 10 20 ...
massivelyincreased... normal increased chronic ...
![Page 83: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/83.jpg)
83
Sets belong to the realm of partitions
Sets are not objects in reality, but mathematical tools for talking about reality
![Page 84: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/84.jpg)
84
Another mistake:
![Page 85: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/85.jpg)
85
The correct view
set-like structures belong here
![Page 86: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/86.jpg)
86
Defining
Sets are (at best) special cases of partitions
Cells are to partitions as singletons are to sets
![Page 87: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/87.jpg)
87
Objects and cells
objects are located in cells as guests are located in hotel rooms:
LA(x, z)
the analogue of the relation between an element and its singleton
![Page 88: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/88.jpg)
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 withoutorder or location—they can be permuted at will and the set remains identical
![Page 89: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/89.jpg)
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)
![Page 90: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/90.jpg)
90
Cantor’s Hell
... the relation between an element and its singleton is
“enveloped in mystery”
(Lewis, Parts of Classes)
![Page 91: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/91.jpg)
91
Cantor’s Hell
... the relation between an element and its singleton is “enveloped in mystery” (Lewis, Parts of Classes)
... the relation between an element and its singleton is “enveloped in mystery” (Lewis, Parts of Classes)
![Page 92: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/92.jpg)
92
Partitions better than sets
Partitions are
as we can see
better than sets
![Page 93: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/93.jpg)
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.
![Page 94: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/94.jpg)
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
![Page 95: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/95.jpg)
95
Demolition
![Page 96: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/96.jpg)
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)
![Page 97: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/97.jpg)
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
![Page 98: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/98.jpg)
98
An (Irregular) Partition
![Page 99: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/99.jpg)
99
A Portion of Reality
![Page 100: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/100.jpg)
100
Cartographic Hooks
![Page 101: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/101.jpg)
101
A Map
![Page 102: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/102.jpg)
102
A Sentence
Blanche is shaking hands with Mary
![Page 103: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/103.jpg)
103
A Portion of Reality
![Page 104: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/104.jpg)
104
Semantic Hooks
Blanche is shaking hands with Mary
![Page 105: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/105.jpg)
105
A Sentence
Blanche is shaking hands with Mary
![Page 106: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/106.jpg)
106
Wittgenstein‘s Tractatus on Projection
3.12 ... 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
![Page 107: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/107.jpg)
107
Satz und Sachverhalt
a r b
language
world
names
simple objects
![Page 108: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/108.jpg)
108
Satz und Sachverhalt
a r b
language
world
cells(in coarse-grained partitions)
simpleand complex objects
![Page 109: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/109.jpg)
109
Satz und Sachverhalt
a r b
language
world
projection
![Page 110: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/110.jpg)
110
Satz und Sachverhalt
a r b
Semantic Projection
„ John is kissing Mary “
John this kiss Mary
![Page 111: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/111.jpg)
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)
![Page 112: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/112.jpg)
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, or2. failure of coordination
![Page 113: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/113.jpg)
113
Satz und Sachverhalt
a r b
Projection Failure
„John is kissing Mary“
John Mary
nothing here
![Page 114: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/114.jpg)
114
Nothing
really nothing
![Page 115: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/115.jpg)
115
Satz und Sachverhalt
a r b
Projection Failure
„John is kissing Mary“
John Mary
![Page 116: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/116.jpg)
116
Coordination Failure
a r b„John is kissing Mary“
Mary this kiss John
Coordination Failure
![Page 117: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/117.jpg)
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
![Page 118: 1 Truth and Categorization Barry Smith .](https://reader035.fdocuments.us/reader035/viewer/2022062305/56649d7b5503460f94a5f49b/html5/thumbnails/118.jpg)
118
THE END
THE END