1 quantum mechanics: no comfort for kantians barry smith institute for formal ontology and medical...
TRANSCRIPT
![Page 1: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/1.jpg)
1
Quantum Mechanics:No comfort for Kantians
BARRY SMITH
Institute for Formal Ontology and Medical Information Science
http://ifomis.de
![Page 2: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/2.jpg)
2
The existence of computers
allows us to express old philosophical problems in a new light
![Page 3: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/3.jpg)
3
Example:The problem of the unity of science
The logical positivist solution to this problem addressed a world in which sciences are identified with
printed textsWhat if sciences are identified with
Large Databases ?
![Page 4: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/4.jpg)
4
The Database Tower of Babel Problem
Each family of databases has its own idiosyncratic terms and concepts by means of which it represents the information it receives How to resolve the incompatibilities which result when databases need to be merged? Compare: how to unify biology and chemistry?
![Page 5: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/5.jpg)
5
![Page 6: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/6.jpg)
6
Another problem:
database classifications are crisp
![Page 7: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/7.jpg)
7
Dewey Decimal Classification as Map
![Page 8: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/8.jpg)
8
Dewey Decimal Classification (Detail)
![Page 9: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/9.jpg)
9
No borderline cases in the closed world of a databaseEvery book is assigned a determinate Dewey Classification Number at birth
111.560xxx
![Page 10: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/10.jpg)
10
... and always up-to-date
To be a book = to have a reference number in the Catalogue System
Each of the ontologies produced by ontological engineers deals with objects which are constructed (Kantians would say ‚constituted‘) by the database itself
![Page 11: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/11.jpg)
11
Sharpness of database reality vs. vagueness of flesh and blood reality
How to deal with the problemof conceptual vagueness?
![Page 12: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/12.jpg)
12
Theory of vagueness
How can -based concepts be transparent, if the world is shaped like this:
?
![Page 13: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/13.jpg)
13
the vagueness problem arises with other sort of concepts too:
dog
cat
fish
what about whales?bird
what about ostriches?
![Page 14: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/14.jpg)
14
Kantianism:
we shape the world (of experience) to fit our concepts
we build special worlds
(analogous to database worlds)
![Page 15: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/15.jpg)
15
we impose concepts on reality
Reality in itself exists behind a veil
(The best we can do is tell conceptual stories ...)
Midas-touch epistemology
![Page 16: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/16.jpg)
16
Reality itself exists behind a veil
Ontology is impossible
![Page 17: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/17.jpg)
17
But there is an alternative
Ontological realism:
reality exists behind a
transparent grid
like a pair of spectacles
![Page 18: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/18.jpg)
18
![Page 19: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/19.jpg)
19
Thesis of ontological realism
We can grasp the world directly via many many different sorts of
transparent partitions
at many different levels of granularity
![Page 20: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/20.jpg)
20
... rook bishop pawn knight ...
John Paul George Ringo
... up down charm strange ...
![Page 21: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/21.jpg)
21
bird
From Species to Genera
canary
what about ostriches?
Aristotelian hierarchical classification
![Page 22: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/22.jpg)
22
bird
ostrich
Natural categories have borderline cases
![Page 23: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/23.jpg)
23
How to deal with vagueness?
by recognizing, with Aristotle, that natural concepts come ready-equipped with a distinction between a core of prototypical instances and a penumbra of non-standard, borderline instances
![Page 24: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/24.jpg)
24
Natural categories have a kernel/penumbra structure
kernel of focal
instances
penumbra of borderline cases
![Page 25: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/25.jpg)
25
Every cell in a partition directed towards flesh and blood objects is subject to the same kernel/penumbra structure
![Page 26: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/26.jpg)
26
Objects do not have to fit into their cells exactly
... as guests do not have to fit exactly in their hotel rooms
![Page 27: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/27.jpg)
27
Modulo the kernel/penumbra structure of their constituent categories ...
all transparent partitions capture some part or dimension of reality at some level of granularity
![Page 28: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/28.jpg)
28
The fundamental thesis of ontological realism
that many of our natural-language partitions are transparent to reality
is in fact quite trivial
it is as trivial as:
mothers exist
![Page 29: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/29.jpg)
29
are our scientific partitions truly transparent to an independent reality ?
![Page 30: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/30.jpg)
30
... what about quantum mechanics ?
![Page 31: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/31.jpg)
31
D’Espagnat: Veiled Reality
Heisenbergian uncertainty implies that our cognition of physical realityis opaque
at least quantum mechanics lends support to Kantianism
![Page 32: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/32.jpg)
32
Surely there are no veridical (transparent) partitions at the quantum level
![Page 33: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/33.jpg)
33
Well ...
![Page 34: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/34.jpg)
34
... rook bishop pawn knight ...
John Paul George Ringo
... up down charm strange ...
![Page 35: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/35.jpg)
35
![Page 36: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/36.jpg)
36
Coarse-grained Partition
![Page 37: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/37.jpg)
37
Fine-Grained Partition
![Page 38: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/38.jpg)
38
Manipulation of partitions
refinement
coarsening
gluing
restricting
![Page 39: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/39.jpg)
39
Refinement
a partition can be refined or coarsened by adding or subtracting from its constituent cell-divisions
![Page 40: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/40.jpg)
40
Enlargement of a partition
Partition A is enlarged by partition B iff
1. the domain of A is included in the domain of B, and,
2. A and B coincide on the domain which they share in common
![Page 41: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/41.jpg)
41
Coarse-grained Partition
![Page 42: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/42.jpg)
42
Coarse-grained Partition
![Page 43: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/43.jpg)
43
Coarse-grained Partition
![Page 44: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/44.jpg)
44
Extension of Partitions (via refinement or enlargement)
A partition A is extended by partition B if all the cells of A are cells of B
A B
![Page 45: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/45.jpg)
45
The realist’s ideal
A total partition of the universe, a super-partition satisfying:
“Every element of the physical reality must have a counterpart in the physical theory.”
(Einstein-Podolsky-Rosen 1935)
![Page 46: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/46.jpg)
46
A universal partition
eine Aufteilung, die genau auf die Wirklichkeit paßt, so, alb ob kariertes Papier über die Welt wie senkrechte und wagrechte Linien gelegt wird und die Welt an ihren Gelenken aufteilt
(Hypothesis of universal realism)
![Page 47: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/47.jpg)
47
A universal partition
Well: why not just take the product of all partitions covering each successive domain and glue them all together ?
![Page 48: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/48.jpg)
48
Epistemological Problems
Measurement instruments are imprecise
Heisenberg swamped by this
coarse-grained partitions are in any case the best that we can achieve
![Page 49: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/49.jpg)
49
Granularity of measurement
... -20-10 -10 0 0 10 10 20 ...
massivelyincreased... normal increased chronic ...
![Page 50: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/50.jpg)
50
So
... can we not just take the product of all transparent partitions above a certain level of granularity and make a super-partition which would comprehend the whole of reality ?
![Page 51: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/51.jpg)
51
Ontological Problems
In the quantum domain not all partitions are consistent
![Page 52: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/52.jpg)
52
Consistency of Partitions
Two partitions are consistent iff there is some third partition which extends them both:
A B =df. C(A C B C)
![Page 53: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/53.jpg)
53
From Photograph to Film
From instantaneous partitions to temporally extended histories
A history is a sequence of one or more partitions at successive reference times
![Page 54: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/54.jpg)
54
Example: Persistence
t3
t2
t1
P er s is ten ce
![Page 55: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/55.jpg)
55
Example: tossing a coin 3 times
Heads
Tails
Heads
![Page 56: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/56.jpg)
56
Example: a chess game
W: Pawn to King4
B: Pawn to Queen’s Bishop 3
W. Pawn to Queen 3
...
![Page 57: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/57.jpg)
57
Example: An airline ticket
7:00am LH 465 Vienna
arrive London Heathrow 8:15am
9:45am LH 05 London Heathrow
arrive New York (JFK) 3:45pm
5:50pm UA 1492 New York (JFK)
arrive Columbus, OH 7:05pm
![Page 58: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/58.jpg)
58
Example: An airline ticket
7:00am LH 465 Vienna
arrive London Heathrow 8:15am
9:45am LH 05 London Heathrow
arrive New York (JFK) 3:45pm
5:50pm UA 1492 New York (JFK)
arrive Columbus, OH 7:05pm
![Page 59: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/59.jpg)
59
Example: An airline ticket
7:00am LH 465 Vienna
arrive London Heathrow 8:15am
9:45am LH 05 London Heathrow
arrive New York (JFK) 3:45pm
5:50pm UA 1492 New York (JFK)
arrive Columbus, OH 7:05pm
![Page 60: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/60.jpg)
60
Example: An airline ticket
7:00am LH 465 Vienna
arrive London Heathrow 8:15am
9:45am LH 05 London Heathrow
arrive New York (JFK) 3:45pm
5:50pm UA 1492 New York (JFK)
arrive Columbus, OH 7:05pm
![Page 61: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/61.jpg)
61
Example: An airline ticket
7:00am LH 465 Vienna
arrive London Heathrow 8:15am
9:45am LH 05 London Heathrow
arrive New York (JFK) 3:45pm
5:50pm UA 1492 New York (JFK)
arrive Columbus, OH 7:05pm
![Page 62: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/62.jpg)
62
Example: An airline ticket
7:00am LH 465 Vienna
arrive London Heathrow 8:15am
9:45am LH 05 London Heathrow
arrive New York (JFK) 3:45pm
5:50pm UA 1492 New York (JFK)
arrive Columbus, OH 7:05pm
![Page 63: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/63.jpg)
63
A history may or may not be realized
![Page 64: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/64.jpg)
64
Manipulation of histories
refinement
– add more reference-times
– add more cells
coarsening
gluing
restricting
Cartesian product
![Page 65: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/65.jpg)
65
Example: Persistence
t3
t2
t1
P er s is ten ce
![Page 66: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/66.jpg)
66
Refinement of Histories
A history G is refined by history H if for all reference times t, all the cells of H at t are also cells of G at t
G H
![Page 67: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/67.jpg)
67
Library of histories
Complete set of alternative histories for a given granularity of partitions and system of reference times
(compare Leibniz’s totality of all possible worlds)
![Page 68: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/68.jpg)
68
Coin-tossing
t1
t2
t1
t2
t1
t2
t1
t2
1 1 1 1
1
t3 t3 t3 t31
1
11
1 1
1O
O
O
O
O
O
O
O
O
O
O
OHeads T ails Heads T ails Heads T ails Heads T ails
t1
t2
t1
t2
t1
t2
t1
t2
t3 t3 t3 t3
1
1
1
1
1 1
1
1
1
1
11
O
O
O
O
O
O
O
O
O
O
O
OHeads T ails Heads T ails Heads T ails Heads T ails
![Page 69: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/69.jpg)
69
Analogy with truth-tables
![Page 70: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/70.jpg)
70
A simple nuclear reaction
a neutron-proton-collision, which leads to a deuteron plus a gamma ray:
n + p = d +
![Page 71: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/71.jpg)
71
n + p = d +
diffracting crystal
shielding
window
n
p
target
photomultipier
reactor
![Page 72: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/72.jpg)
72
diffracting crystal
shielding
window
n
p
target
photomultipier
reactor
t1 t3t2 t4 t5
A history with 5 reference times
![Page 73: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/73.jpg)
73
diffracting crystal
shielding
window
n
p
target
photomultipier
reactor
t1 t3t2 t4 t5
An alternative history with the same 5 reference times
![Page 74: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/74.jpg)
74
Coin-tossing with probabilities assigned
t1
t2
t1
t2
t1
t2
t1
t2
1 1 1 1
1
t3 t3 t3 t31
1
11
1 1
1O
O
O
O
O
O
O
O
O
O
O
OHeads T ails Heads T ails Heads T ails Heads T ails
t1
t2
t1
t2
t1
t2
t1
t2
t3 t3 t3 t3
1
1
1
1
1 1
1
1
1
1
11
O
O
O
O
O
O
O
O
O
O
O
OHeads T ails Heads T ails Heads T ails Heads T ails
0.125 0.125 0.125 0.125
0.125 0.125 0.125 0.125
![Page 75: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/75.jpg)
75
diffracting crystal
shielding
window
n
p
target
photomultipier
reactor
t1 t3t2 t4 t5
Assigning probabilities to alternative histories
0.267
0.594
0.211
![Page 76: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/76.jpg)
76
Probabilities are assigned ... not to every possible history ... but to bands of alternatives (to cells within a coarse-grained partition) at specific reference times
... -20-10 -10 0 0 10 10 20 ...
![Page 77: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/77.jpg)
77
In the world of classical physical phenomena only one alternative history is realized
t1
t2
t1
t2
t1
t2
t1
t2
1 1 1 1
1
t3 t3 t3 t31
1
11
1 1
1O
O
O
O
O
O
O
O
O
O
O
OHeads T ails Heads T ails Heads T ails Heads T ails
t1
t2
t1
t2
t1
t2
t1
t2
t3 t3 t3 t3
1
1
1
1
1 1
1
1
1
1
11
O
O
O
O
O
O
O
O
O
O
O
OHeads T ails Heads T ails Heads T ails Heads T ails
![Page 78: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/78.jpg)
78
In the world of quantum physical phenomena it is as if all probabilities are realized
![Page 79: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/79.jpg)
79
Until a system is measured, or otherwise disturbed its states, are probabilisticthrough and through
![Page 80: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/80.jpg)
80
From histories to libraries
The Griffiths–Gell-Mann–Hartle–Omnès consistent histories interpretation of quantum mechanics
Gell-Mann: Not ‘many worlds’ (Everett) but many alternative histories of the actual world
![Page 81: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/81.jpg)
81
Definition of a library
A library is a maximal consistent family of mutually exclusive and exhaustive histories
with a probability distribution, which satisfies the following:
1. The probabilities are positive.
2. The probabilities are additive.
3. The probabilities add up to 1.
![Page 82: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/82.jpg)
82
Partition, History, Library
t3
t2
t1
P art it io n
H isto ry
L ibra ry
![Page 83: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/83.jpg)
83
Extension of Libraries
A library L is extended by partition L iff all the histories in L are histories in L
L L
![Page 84: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/84.jpg)
84
Consistency of libraries
L and L are consistent with each other:
L L =df L (L L L L )
= they can be glued together to constitute a larger library.
![Page 85: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/85.jpg)
85
Libraries which describe non-interacting systems are always consistent with each other.
![Page 86: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/86.jpg)
86
But:
Not all libraries which we need to describe quantum systems are consistent with each other.
Libraries, which are not consistent with each other are called complementary.
... wave-particle dualism; superpositions, cat states
![Page 87: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/87.jpg)
87
The tale of two physicists
John and Mary work within different libraries
John believes in particles, has the laboratory on Wednesdays
Mary believes in waves, has the laboratory on Thursdays
![Page 88: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/88.jpg)
88
diffracting crystal
shielding
window
reactor
t1 t3t2 t4 t5
Mary’s history with an interferometer
![Page 89: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/89.jpg)
89
diffracting crystal
shielding
window
n
reactor
t1 t3t2 t4 t5
Mary’s history with an interferometer
![Page 90: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/90.jpg)
90
diffracting crystal
shielding
window
n
reactor
t1 t3t2 t4 t5
A history with interferometer
![Page 91: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/91.jpg)
91
diffracting crystal
shielding
window
n
reactor
t1 t3t2 t4 t5
A history with interferometer
![Page 92: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/92.jpg)
92
diffracting crystal
shielding
window
n
reactor
t1 t3t2 t4 t5
A history with interferometer
![Page 93: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/93.jpg)
93
diffracting crystal
shielding
window
n
reactor
t1 t3t2 t4 t5
A history with interferometer
![Page 94: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/94.jpg)
94
diffracting crystal
shielding
window
n
reactor
t1 t3t2 t4 t5
A history with interferometer
![Page 95: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/95.jpg)
95
diffracting crystal
shielding
window
n
reactor
t1 t3t2 t4 t5
A history with interferometer
![Page 96: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/96.jpg)
96
The tale of two physicists
John believes that the system verifies p, and he derives from p fantastically exact predictions which are repeatedly verified
Mary believes that the same system verifies q, and she derives from q fantastically exact predictions which are repeatedly verified
![Page 97: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/97.jpg)
97
Both are right
Or at least: no experiment could ever be performed which would allow us to choose between them. The system verifies both p and q
![Page 98: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/98.jpg)
98
Both are right
Or at least: no experiment could ever be performed which would allow us to choose between them. The system verifies both p and q
But p and q are logically inconsistent
![Page 99: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/99.jpg)
99
Ways to resolve this problem:
1. Griffiths: Whereof we cannot speak, thereof we must be silent. (Inferences are allowed only within some given library.)
2. Superpositions are unnatural tricks, borderline cases constructible only in laboratories (Ian Hacking, Nancy Cartwright)
![Page 100: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/100.jpg)
100
Ways to resolve this problem (continued)
3.Paraconsistent logic: p, p
BUT NOT (p p)
4. Omnès: there are not only ‘elements of reality’ but also border-line elements, whose postulation as theoretical entities is needed in order to make good predictions, but they are not real.
![Page 101: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/101.jpg)
101
Objects are real = their supposition supports reliable predictions
A partition is transparent if it allows us to follow the causal outcomes on the side of the objects in its domain
Hypotheses of Realism
![Page 102: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/102.jpg)
102
Eine Aufteilung, die das Verfolgen der kausalen Entwicklungen seitens der Gegenstände in ihrer Domäne ermöglicht, ist eine transparente Aufteilung.
Kriterien der Bewertung von Aufteilungen
![Page 103: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/103.jpg)
103
E-P-R Realism
“If, without in any way disturbing a system, we can predict with certainty (i.e. with probability equal to unity) the value of a physical quantity, then there exists an element of physical reality corresponding to this physical quantity.” (Einstein-Podolsky-Rosen 1935)
![Page 104: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/104.jpg)
104
E-P-R Realism
fails for the quantum world
![Page 105: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/105.jpg)
105
But still:
In relation to all higher granularities ontological realism holds with unrestricted validity indeed we can derive the truths of folk physics rigorously from quantum mechanical laws... by moving from finer-grained to coarser-grained histories
![Page 106: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/106.jpg)
106
In the quantum world
we need to accept superpositions: which means we need to augment our standard notions of truth and/or reality
![Page 107: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/107.jpg)
107
realism fails
for the realm of quantum phenomena
But still:
![Page 108: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/108.jpg)
108
![Page 109: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/109.jpg)
109
But:
this is not because we have too little knowledge of reality in itself on the quantum level -- rather we have enormous amounts of knowledge ... we have too much knowledge
Thus quantum mechanics lends no support at all for any sort of Kantian view
![Page 110: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/110.jpg)
110
Coda: The Evolution of Cognition
Both singly and collectively we are examples of the general class of complex adaptive information gathering and utilizing systems (IGUSes).
![Page 111: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/111.jpg)
111
IGUS = information gathering and utilizing system
An IGUS can reason about histories in a coarse-grained fashion: ‘it utilizes only a few of the variables in the universe.’
![Page 112: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/112.jpg)
112
Why do IGUSes exist ?
The reason IGUSes exist, functioning in such a fashion, is to be sought in their evolution within the universe. They evolved to make predictions because it is adaptive to do so. The reason, therefore, for their focus on Newtonian-like variables is that these are the only variables for which predictions can be made.
![Page 113: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/113.jpg)
113
Why do IGUSes exist ?Only histories of a quasi-Newtonian domain present enough regularity over time to permit the generation of models with significant predictive power.
… we IGUSes evolved to exploit a particularity of the quasi-Newtonian domain (Gell-Man and Hartle 1991)
![Page 114: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/114.jpg)
114
Lifeworld of Classical Newtonian Physics
The lifeworld is classical, not because it is some sort of subjective projection (Kant, Bohr, Husserl?), but because its classical character follows rigorously from the quantum mechanical laws governing the physical systems from out of which it is built.
![Page 115: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/115.jpg)
115
... with the cognitive apparatus we have, because the ability to make predictions about the future is adaptive
We can only make predictions about coarse-grained physical phenomena because only of such phenomena does Newtonian physics hold
We evolved
![Page 116: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/116.jpg)
116
Not: the lifeworld has been constituted by cognitive agents (Kant)
Rather: we cognitive agents have been constructed by the lifeworld of deterministic (= predictable) physics
![Page 117: 1 Quantum Mechanics: No comfort for Kantians BARRY SMITH Institute for Formal Ontology and Medical Information Science](https://reader036.vdocument.in/reader036/viewer/2022062422/56649f1b5503460f94c318a5/html5/thumbnails/117.jpg)
117
We have been constructed
to be Aristotelians