1 vt the language of set theory is a folwut language
TRANSCRIPT
![Page 1: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/1.jpg)
1
VT
The language of set theory is a FOLWUT language
![Page 2: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/2.jpg)
2
Against Fantology:The Case of Properties
Barry Smithhttp://ifomis.de
![Page 3: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/3.jpg)
3
Armstrong’s
spreadsheet ontology
![Page 4: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/4.jpg)
4
F G H I J K L M N O P Q R S T U V
a
b
c
d
e
f
g
h
i
j
k
![Page 5: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/5.jpg)
5
F G H I J K L M N O P Q R S T U V
a x x x x x
b
c
d
e
f
g
h
i
j
k
![Page 6: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/6.jpg)
6
F G H I J K L M N O P Q R S T U V
a x x x x x
b x x x x x
c
d
e
f
g
h
i
j
k
![Page 7: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/7.jpg)
7
F G H I J K L M N O P Q R S T U V
a x x x x x
b x x x x x
c x x x x x
d
e
f
g
h
i
j
k
![Page 8: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/8.jpg)
8
F G H I J K L M N O P Q R S T U V
a x x x x x
b x x x x x
c x x x x x
d x x
e
f
g
h
i
j
k
and so on …
![Page 9: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/9.jpg)
9
Fantology
The doctrine, usually tacit, according to which ‘Fa’ (or ‘Rab’) is the key to ontological structure
The syntax of first-order predicate logic is a mirror of reality
(Fantology a special case of linguistic Kantianism: the structure of language is they key to the structure of [knowable] reality)
![Page 10: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/10.jpg)
10
Formal Ontology vs. Formal Logic
Formal ontology deals with the interconnections of things
with objects and properties, parts and wholes, relations and collectives
Formal logic deals with the interconnections of truths
with consistency and validity, or and not
![Page 11: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/11.jpg)
11
Formal Ontology vs. Formal Logic
Formal ontology deals with formal ontological structures
Formal logic deals with formal logical structures
‘formal’ = obtain in all material spheres of reality
![Page 12: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/12.jpg)
12
Formal Ontology and Symbolic Logic
Great advances of Frege, Russell, Wittgenstein, Peano
(in logic, and in philosophy of mathematics)
Leibnizian idea of a universal characteristic
…symbols are a good thing
![Page 13: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/13.jpg)
13
But Russell, Wittgenstein, Armstrong …
Entails is a logical relation
Part-whole is an ontological relation
First mistake of fantology:
All form is logical form
![Page 14: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/14.jpg)
14
First-order logic
F(a)
R(a,b)
F(a) v R(a,b)
Either a F’s or a stands in R to b
![Page 15: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/15.jpg)
15
Standard semantics
F stands for a propertya stands for an individual
properties belong to Platonic realm of forms
orproperties are sets of individuals for which
F(a) is true
![Page 16: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/16.jpg)
16
Armstrong
Departs from fantology with his Aristotelian doctrine of universals as immanent to particulars
![Page 17: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/17.jpg)
17
Fantology
The forms F(a) and R(a,b) are the basic clue to ontology
(Confusion of logical form and ontological form)
Armstrong recognizes that semantics and epistemology have no implications for ontology
![Page 18: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/18.jpg)
18
... but
He is nonetheless a prisoner of fantological syntax
![Page 19: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/19.jpg)
19
Fantology infects computer science, too
here I will concentrate on the role of fantology within analytical metaphysics
![Page 20: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/20.jpg)
20
Fantology
Works very well in mathematics
Platonist theories of properties here are very attractive
![Page 21: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/21.jpg)
21
Fantology
Fa
All generality belongs to the predicate‘a’ is a mere nameContrast this with the way scientists use names:
The electron has a negative chargeDNA-Binding Requirements of the Yeast Protein Rap1p as selected In Silico from Ribosomal Protein Gene Promoter Sequences
![Page 22: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/22.jpg)
22
For extreme fantologists ‘a’ leaves no room for ontological complexity
Hence: reality is made of atoms
Hence: all probability is combinatoric
All true ontology is the ontology of ultimate universal furniture – the ontology of a future, perfected physics
Fantology cannot do justice to the existence of different levels of granularity of reality
Thus fantology is conducive to reductionism in philosophy
![Page 23: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/23.jpg)
23
Fantology
Tends to make you believe in some future state of ‚total science‘
when the values of ‚F‘ and ‚a‘, all of them,will be revealed to the elect
(A science as a totality of propositions closed under logical consequence)
![Page 24: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/24.jpg)
24
Armstrong
The ontology of the basic furniture of reality – must be expressible in F(a), R(a,b) form
Armstrong’s original definition of truthmaking:
the state of affairs that p makes q true :=p & necessarily(p q)
p ranges over truths of basic scienceq ranges over all truths
![Page 25: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/25.jpg)
25
For the fantologist
“(F(a)”, “R(a,b)” … is the language for ontology
This language reflects the structure of reality
The fantologist sees reality as being made up of atoms plus abstract (1- and n-place) ‘properties’ or ‘attributes’
Truthmaker theory should set us free from this mistake
![Page 26: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/26.jpg)
26
Fantology
Fa
The particular corresponds to a bare namenoumenal view of particulars (distinction
between thin and thick particulars)aversion to idea of substances as spatially
extended and spatially located
![Page 27: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/27.jpg)
27
Fantology
Fa
noumenal view of particularsCf. Wittgenstein’s Tractatus (doctrine of
simples)
![Page 28: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/28.jpg)
28
Fantalogy
FaQuine’s distinction between ontology
and ideologyphysical objects do not instantiate universals; they are just occupied regions of spacetime predicates are just ideology (no singular terms for universals)
![Page 29: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/29.jpg)
29
Fantology
All form is logical form
All necessity is logical necessity
Cf. Wittgenstein‘s doctrine of the independence of states of affairs
![Page 30: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/30.jpg)
30
Fantology
Fa
To understand properties is to understand predication
(effectively in terms of functional application à la Frege)
![Page 31: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/31.jpg)
31
Contrast Aristotle
Predication in the category of substance:
John is a man, Henry is an ox
Predication in the category of accident:
John is hungry, Henry is asleep
![Page 32: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/32.jpg)
32
For Fantology
no predication in the category of substance (or the two types of predication are confused)
Armstrong: property universals are all we need
no need for kind universals
(Armstrong’s four-dimensionalism implies that there are no substances)
![Page 33: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/33.jpg)
33
There is only one form of states of affairs
Fa
if there was predication in the category of substance, this would mess up Armstrong’s doctrine of states of affairs
![Page 34: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/34.jpg)
34
Armstrong’s own view
State of affairs = Substance + universals
Substances are the locus of particularity
Universals explain invariance/similarity
(Both particulars and universals are abstractions from states of affairs)
![Page 35: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/35.jpg)
35
Fantology
Fa
yields
the form of the basic ingredients of reality
Thick particulars: a + F + G + H + …
Thin particulars: a (‘irreducible particularity’)
![Page 36: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/36.jpg)
36
For Armstrong
tropes are a bad theory for understanding states of affairs
(for understanding how the basic ingredients of reality are joined together)
For Armstrong tropes are congealed states of affairs
(Propositions of the form ‘Fa’ are the key to basic reality)
![Page 37: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/37.jpg)
37
Fantology
Fa:
This should be the form of laws of nature (things + universal powers)
(not, for instance, differential equations)
Therefore, again, a noumenal view of science
Armstrong not able to name even one example of a really existing univeral
or of a really existing particular
Compare again Wittgenstein
![Page 38: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/38.jpg)
38
Fantology
leads not only to Armstrong’s atoms + properties view of the basic ingredients of reality
but also to trope bundle views(where the a is deleted, and the F, G, H…
are seen as having particularity)Compare: Leibniz’s monadology (each
monad is a bundle of concepts)
![Page 39: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/39.jpg)
39
Fantology
Fa
No clear way to deal with time
Armstrong talks not of processes but of particulars gaining or losing properties
But gaining and losing are themselves processes
![Page 40: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/40.jpg)
40
Booleanism
if F stands for a property and G stands for a property
then
F&G stands for a property
FvG stands for a property
not-F stands for a property
FG stands for a property
and so on
![Page 41: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/41.jpg)
41
Strong Booleanism
There is a complete lattice of properties:
self-identity
FvG
F G
F&G
non-self-identity
![Page 42: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/42.jpg)
42
Strong Booleanism
There is a complete lattice of properties:
self-identity
FvG
not-F F G not-G
F&G
non-self-identity
![Page 43: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/43.jpg)
43
Booleanism
responsible, among other things, for Russell’s paradox
Armstrong free from Booleanism
With his sparse theory of properties
![Page 44: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/44.jpg)
44
That Lewis and Armstrong
arrived at their sparse view of properties against the solid wall of fantological Booleanist orthodoxy
is a miracle of modern intellectual historyanalogous to a 5 stone weakling climbing
up to breathe the free air at the top of Mount Everest with 1000 ton weights attached to his feet
![Page 45: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/45.jpg)
45
leading them back, on this point,
to where Aristotelians were from the very beginning
![Page 46: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/46.jpg)
46
Fantology
(given its roots in mathematics)
has no satisfactory way of dealing with time
hence leads to banishment of time from the ontology
(as in Armstrong’s four-dimensionalism)
![Page 47: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/47.jpg)
47
A better view
In order to do justice to time we need to recognize both properties and processes
better: do not use the word ‘property’ at all, talk rather of
SPQR entities (both universals and instances)
and ofprocess-universals and process-instances
![Page 48: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/48.jpg)
48
SPQR
states, powers, qualities, roles,
functions, dispositions, plans, shapes …
Plus
Processes = the expressions, realizations of all of these things in time
![Page 49: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/49.jpg)
49
The (Aristotelian) Ontological Sextet
Substances SPQR entities Processes
UniversalsSubstance-universals
SQPR-universals,
Process-types
ParticularsIndividual
Substances
SPQR-instances (Tropes…)
Process-tokens
![Page 50: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/50.jpg)
50
Armstrong´s view:
Substances SPQR entities Processes
Universals Properties
Particulars Particulars
![Page 51: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/51.jpg)
51
The trope view:
Substances SPQR entities Processes
Universals
ParticularsTropes, bundles
![Page 52: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/52.jpg)
52
The set-theoretical view:
Substances SPQR entities Processes
Universals Sets
Particulars Elements
![Page 53: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/53.jpg)
53
Armstrong
Property universals are all we needNo need to distinguish kind universals
No need to distinguish predications in the category of
substance from predications in the category of accident
![Page 54: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/54.jpg)
54
The (Aristotelian) Ontological Sextet
Substances SPQR entities Processes
UniversalsSubstance-universals
SQPR-universals,
Process-types
ParticularsIndividual
Substances
SPQR-instances (Tropes…)
Process-tokens
![Page 55: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/55.jpg)
55
Gene Ontology
Cellular Component Ontology: subcellular structures, locations, and macromolecular complexes;examples: nucleus, telomere Substances
Molecular Function Ontology: tasks performed by individual gene products; transcription factor, DNA helicase SPQR
Biological Process Ontology: broad biological goals accomplished by ordered assemblies of molecular functions; mitosis, purine metabolism Processes
![Page 56: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/56.jpg)
56
Fantology implies a poor treatment of relations
R(a,b)
in terms of adicity
What is the adicity of your headache (A relation between your consciousness and various processes taking place in an around your brain) ?
![Page 57: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/57.jpg)
57
Fantology implies a neglect of environments
John kisses Mary
always in some environment
(= roughly, in some spatial region: a room, a car …)
Spatial regions are, like substances, three-dimensional endurants
![Page 58: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/58.jpg)
58
Fantology leads you to talk nonsense about family
resemblances
![Page 59: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/59.jpg)
59
Fantology
emphasizes the linguistic over the perceptual/physiognomic
(the digitalized over the analogue)
![Page 60: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/60.jpg)
60
The limitations of fantology
lead one into the temptations of possible world metaphysics,
and other similar fantasies
![Page 61: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/61.jpg)
61
Fantology leads one to talk nonsense about possible worlds
Definition: A possible world W is a pair (L,D) consisting of a set of first-order propositions L and a set of ground-level assertions D. …
Informally, the set L is called the laws of W, and the set D is called the database of W. Other informal terms might be used: L may be called the set of axioms or database constraints for W.
(John Sowa)
![Page 62: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/62.jpg)
62
The (Aristotelian) Ontological Sextet
Substances SPQR entities Processes
UniversalsSubstance-universals
SQPR-universals,
Process-types
Particulars
Individual Substances
(including environments)
SPQR-instances (Tropes…)
Process-tokens
![Page 63: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/63.jpg)
63
The set-theoretical view:
Substances SPQR entities Processes
Universals Sets
Particulars Elements
![Page 64: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/64.jpg)
64
Fantology
is a form of linguistic Kantianism
Semantic Fantology
is a form of set-theoretical Kantianism
The [knowable] world = the [set-theoretic] model of a formal theory
![Page 65: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/65.jpg)
65
Arguments against Set Theory
Lesniewski’s Argument: Even set theorists do not understand their own creations; thus they do not know how one important family of sets (the set of real numbers, for example) relates in size to other sets (the set of natural numbers, for example).
Still no generally accepted correct axiomatization of set theory,
Questions re Axiom of Choice, etc.
![Page 66: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/66.jpg)
66
Set theory is Booleanism unremediated
Booleanism without any remediating features whatsoever
![Page 67: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/67.jpg)
67
There are skew partitions (true) of the same reality
for example reflecting different granularities of analysis. If we identify entities in the world with sets, we cannot do justice to the identity of one and the same object as partitioned on different levels.
Mereology, in contrast, can allow the simultaneous truth of:
An organism is a totality of cells.An organism is a totality of molecules.
France is the totality of its 7 regions.France is the totality of its 116 provinces.
![Page 68: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/68.jpg)
68
Dominance of set-theoretic ontology as an account of classes
means that there is no analytic-philosophical treatment of multi-variate statistical classification
in spite of the fact that this is the major approach to classification in all sorts of natural and social sciences
![Page 69: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/69.jpg)
69
The application of set theory to a subject-matter
presupposes the isolation of some basic level of Urelemente, which make possible the simulation of the structures appearing on higher levels by means of sets of successively higher types.
![Page 70: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/70.jpg)
70
But there is no such basic level of Urelemente in many spheres to which we might wish to direct ontological analysis, and in many spheres there is no unidirectional (upward) growth of complexity generated by simple combination.
![Page 71: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/71.jpg)
71
Set theory reduces all complexity to combination or unification
Set theory is a general theory of the structures which arise when objects are conceived as being united together ad libitum on successively higher levels, each object serving as member or element of objects on the next higher level.
![Page 72: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/72.jpg)
72
Set theory is of course of considerable mathematical interest
It is however an open question whether there is any theoretical interest attached to the possibility of such ad libitum unification from the perspective of ontology.
For the concrete varieties of complexity which in fact confront us are subject always in their construction to quite subtle sorts of constraints, constraints which vary from context to context.
![Page 73: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/73.jpg)
73
Set theory
allows unrestricted (Boolean) combinations
therefore gives as far more objects than we need
{all red things, the number 6}
![Page 74: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/74.jpg)
74
Sets are abstract entities
Sets are timeless (they do not change)
Thus a philosopher who countenances them in his ground-floor ontology has already renounced the advantages of a theory which is committed only to changing realia.
He is thereby left with the problem of connecting up the abstracta he countenances with the real entities with which they are in different ways associated.
![Page 75: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/75.jpg)
75
Against Set Theory as a Vehicle for Semantics
There are some who would argue that we can understand a theory (for example in logic) only when we have given a set-theoretic semantics for that theory.(This is rather like saying that we can understand French only when we have translated it into English.)And how, on this basis, can we understand the language of set theory itself?
![Page 76: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/76.jpg)
76
Truth for empirical sentences
has classically been understood in terms of a correspondence relation (i.e. of some sort of isomorphism) between a judgment or assertion on the one hand and a certain portion of reality on the other. But reality evidently does not come ready-parcelled into judgment-shaped portions Hence practitioners of logical semantics have treated not of truth as such (understood as truth to an autonomous reality), but of truth in a model, where the model is a specially constructed set-theoretic reality-surrogate.
![Page 77: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/77.jpg)
77
Other problems
If sets don't change, then a set-theoretical ontology cannot do justice the causal-historical continuous orderSince sets divide the world into elements (points) this implies a certain unfaithfulness to boundary phenomena/continuaCan’t do justice to gradations/prototypes
![Page 78: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/78.jpg)
78
Mereology can deal more adequately with real-world
collections
Consider the collection of trees that is a certain forst.
What is its cardinality?
Are two trees that share a common root system one or two?
![Page 79: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/79.jpg)
79
Mereology can deal more adequately with fields
(e.g. in quantum field theory)
since it does not presuppose the isolation of urelemente/atoms at the bottom of a structural hierarchy
![Page 80: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/80.jpg)
80
The standard set-theoretic account of the continuum
initiated by Cantor and Dedekind and contained in all standard textbooks of the theory of sets, will be inadequate for at least the following reasons:
![Page 81: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/81.jpg)
81
The experienced continuum
does not sustain the sorts of cardinal number constructions imposed by the Dedekindian approach.
The experienced continuum is not isomorphic to any real-number structure;
standard mathematical oppositions, such as that between a dense and a continuous series, here find no application.
![Page 82: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/82.jpg)
82
Set theory can yield at best a model
of the experienced continuum and similar structures, not a theory of these structures themselves (for the latter are after all not sets).
![Page 83: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/83.jpg)
83
The experienced continuum
is in every case a concrete, changing phenomenon, a phenomenon existing in time, a whole which can gain and lose parts.
![Page 84: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/84.jpg)
84
The application of set theory
to a subject-domain presupposes the isolation of some basic level of Urelemente in such a way as to make possible a simulation of all structures appearing on higher levels by means of sets of successively higher types.
![Page 85: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/85.jpg)
85
Theory of the continuum
Set theory: out of unextended building blocks an extended whole can somehow be constructed.
But the experienced continuum is not organized out of particles or atoms,
rather, the wholes, including the medium of space, come before the parts which these wholes might contain and which might be distinguished on various levels within them.
![Page 86: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/86.jpg)
86
Set theory leads to paradoxes
In mereology, paradoxes do not arise, since every collection is part of itself, and there cannot be a collection that is not a part of itself
![Page 87: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/87.jpg)
87
The alternative to fantology
must take the spatiality and materiality and modular complexity of substances seriously
Mereology plus Granularity plus theory of spatial extension
‘a’ refers to something that is complex
![Page 88: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/88.jpg)
88
Mereology
allows a nicer treatment of both plurals and mass nouns than set theory
(but mereology, too, has problems dealing with time,
and with granularity)
![Page 89: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/89.jpg)
89
Mereology is much simpler than set theory
Whereas set theory has two distinct operators: element-of and subset-of,
mereology has only one basic operator: part-of
![Page 90: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/90.jpg)
90
Mereology makes no distinction between an individual and a
singleton set
nor between different ways of building up collections by level of nesting:
{a,b,c} is identical to {a, {{{b}}, {c}}}.
Nelson Goodman: "No distinction of individuals without distinction of content."
![Page 91: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/91.jpg)
91
How are the 6 categories of entity related together?
Via FORMAL RELATIONS
such as instantiation, part-whole, expression (between a function and a
process) …
![Page 92: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/92.jpg)
92
A better syntax
variables x, y, z … range over
universals and particulars in all 6 categories
predicates stand only for FORMAL relations such as instantiates, part-of, connected-to, is-a-boundary-of, is-a-niche-for, etc.
FORMAL relations are not extra ingredients of being
(compare jigsaw puzzle pieces and the relations between them)
![Page 93: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/93.jpg)
93
This suggests a new syntax:
=(x,y)Part(x,y)Inst(x,y)Dep(x,y)Isa(x,y)
John is wise: Inst(John, wisdom)John is a man: Isa(John, man)
![Page 94: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/94.jpg)
94
Compare the syntax of set theory
(x,y)
one (formal) predicate
![Page 95: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/95.jpg)
95
Compare the syntax of set theory
Basic Formal Ontology (BFO) has the syntax of set theory but with a PLURALITY of formal relations
Note that logic gives us no clue as to what these are
(they must include: location in space, location at a time …)
![Page 96: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/96.jpg)
96
Compare the syntax of description logics
isa(x,y)
one formal predicate
![Page 97: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/97.jpg)
97
Compare the syntax of description logics
isameans:
is an instance ofis a sub-class of (is subsumed by)
sometimes also:may be ais a part of
(all symbolized by means of a single relational constant)
![Page 98: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/98.jpg)
98
New syntax:
=(x,y)
Part(x,y)
Inst(x,y)
Dep(x,y)
Compare Davidson’s treatment of events
Does(John,e)
![Page 99: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/99.jpg)
99
Fantology
All form is logical form
To understand how the world hangs together you need to understand
... and, or, not, all, some ...
No. You need formal-ontological relations like partial identity, spatial location, temporal location, instantiation, ...
![Page 100: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/100.jpg)
100
But what ARE the formal relations?
Clue:
Anatomy vs. Physiology
SNAP vs. SPAN
Synchronic vs. diachronic ontology
![Page 101: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/101.jpg)
101
Different ontological perspectives
SNAP vs SPAN
Universals vs. Particulars
Different levels of granularity:
molecular, cellular, organism ...
![Page 102: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/102.jpg)
102
A hypothesis (first rough version)
Formal relations are those relations which are not captured by either SNAP or SPAN because they traverse the SNAP-SPAN dividethey glue SNAP and SPAN entities together
![Page 103: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/103.jpg)
103
A hypothesis (first rough version)
Formal relations are those relations which are not captured by either an inventory of universals or an inventory of particularsbecause they traverse the universal-particular dividethey glue universals and particulars together
---- above all instantiation
![Page 104: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/104.jpg)
104
A hypothesis (first rough version)
Formal relations are those relations which are not captured by an ontology on any single level of granularitybecause they traverse the granular dividethey glue together entities on different levels of granularity
--- above all parthood
![Page 105: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/105.jpg)
105
This generates a first list of formal relations,
e.g. dependence,
but we find some of these relations also within SNAP or within SNAP
![Page 106: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/106.jpg)
106
The idea (modified version)
Formal relations are the relations that hold SNAP and SPAN entities/ontologies togetherand analogous relations… they come for free, they do not add anything to being = they are links between categories
![Page 107: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/107.jpg)
107
Example:Ontological Dependence
(SPAN, SNAP): process->substance
The erosion of the rock necessitates the existence of the rock
(SNAP, SNAP): SPQR->substance
The token redness of the sand necessitates the existence of the sand
![Page 108: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/108.jpg)
108
Generating a typology
Two main types of formal relations:
inter-ontological („transcendental“): obtain between entities of different ontologies
intra-ontological: obtain between entities of the same ontology (intra-SNAP, intra-SPAN)
![Page 109: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/109.jpg)
109
Three parameters:
- the arity of the relation
- the types of the relata, expressed as an ordered list, called the signature of the relation
- the formal nature of the relation
![Page 110: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/110.jpg)
110
Principal Signatures
In the binary case:
SNAP-SNAP - (SNAPi, SNAPi), i = i
- (SNAPi, SNAPi), i < j, i > j
SPAN-SPAN
SNAP-SPANSPAN-SNAP
![Page 111: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/111.jpg)
111
Transtemporal relations
Examples:
Genidentity
(transtemporal generalization of identity/part-whole)
Successive causality
![Page 112: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/112.jpg)
112
Genidentity
Also SPAN-SPAN? Is there a form of genidentity among processes?
The such-as-to-have-come-forth-from relation.
Signature: SNAPi-SNAPj
Cut a chunk of matter in two, the sum of the remaining pieces is genidentical to the chunk before cutting
![Page 113: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/113.jpg)
113
Successive Causality
SNAP-SPAN: Agent causationA substance produces causally a process
SPAN-SPAN: Process causationOne process causes another process
SPAN-SNAP: Causal repercussionA process results in the modification of a substance (always mediated by process causation)
SNAP-SNAP: Causal originOne substance is the causal origin of another (mediated by other types of causal relations)
![Page 114: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/114.jpg)
114
Successive Causality
SNAP-SPAN: Agent causation
SPAN-SPAN: Process causation
SPAN-SNAP: Causal repercussion
SNAP-SNAP: Causal origin
do not apply on all levels of granularity
![Page 115: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/115.jpg)
115
Our main target: Temporally extended relations
Participation(holds between a substance and a process such as an action or a life or history)
Realization(holds between SPQR… entities and their SPAN expressions)
![Page 116: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/116.jpg)
116
Substance->Process
PARTICIPATION(a species of dependence)
![Page 117: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/117.jpg)
117
Participation (SNAP-SPAN)
A substance (SNAP) participates in a process (SPAN)
A runner participates in a race
An organ participates in a sickness
![Page 118: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/118.jpg)
118
Axes of variation
activity/passivity (agentive)
direct/mediated
benefactor/malefactor (conducive to existence) [MEDICINE]
![Page 119: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/119.jpg)
119
SNAP-SPAN
Participation
Perpetration (+agentive)
Initiation
Perpetuation
Termination
Influence
Facilitation
Hindrance
Mediation
Patiency(-agentive)
![Page 120: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/120.jpg)
120
Substances
Mesoscopic reality is
divided at its natural joints
into substances:
animals, bones, rocks, potatoes, brains
![Page 121: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/121.jpg)
121
The Ontology of Substances
Substances form natural kinds
(universals, species + genera)
![Page 122: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/122.jpg)
122
Processes
Processes merge into one another
Process kinds merge into one another
… few clean joints either between instances or between types
![Page 123: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/123.jpg)
123
Processes
t i m e
![Page 124: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/124.jpg)
124
Nouns and verbs
Substances and processes
Continuants and occurrents
Endurants and perdurants
In preparing an inventory of reality
we keep track of these two different categories of entities in two different ways
![Page 125: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/125.jpg)
125
Substances and processes
t i m
e
process
demand different sorts of inventories
![Page 126: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/126.jpg)
126
Substances demand 3-D partonomies
space
![Page 127: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/127.jpg)
127
Processes demand 4D-partonomies
t i m e
![Page 128: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/128.jpg)
128
Processes
a whistling, a blushing, a speech
a run, the warming of this stone
![Page 129: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/129.jpg)
129
Processes may have temporal parts
The first 5 minutes of my headache is a temporal part of my headache
The first game of the match is a temporal part of the whole match
![Page 130: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/130.jpg)
130
Substances do not have temporal parts
The first 5-minute phase of my existence is not a temporal part of me
It is a temporal part of that complex process which is my life
![Page 131: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/131.jpg)
131
Substances and processes form two distinct orders of being
Substances exist as a whole at every point in time at which they exist at all
Processes unfold through time, and are never present in full at any given instant during which they exist.
When do both exist to be inventoried together?
![Page 132: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/132.jpg)
132
The Four-Dimensionalist Ontology (SPAN)
t i m e
![Page 133: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/133.jpg)
133
The Time-Stamped Ontology (SNAP)
t1
t3t2
here time exists outside the ontology, as an index or time-stamp
![Page 134: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/134.jpg)
134
SNAP and SPAN
Substances+SPQR, and processesContinuants, and occurrentsEndurants, and perdurants
In preparing an inventory of realitywe keep track of these two different categories of entities in two different ways
![Page 135: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/135.jpg)
135
Fourdimensionalism denies this
– time is just another dimension, analogous to the three spatial dimensions
– only processes exist
– substances are analyzed away as worms/fibers within the four-dimensional process plenum
– there is no change
![Page 136: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/136.jpg)
136
There are no substances
Bill Clinton does not exist
Rather: there exists within the four-dimensional plenum a continuous succession of processes which are similar in Billclintonizing way
![Page 137: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/137.jpg)
137
Fourdimensionalism
is right in everything it says
But incomplete
![Page 138: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/138.jpg)
138
It needs to be supplemented
Cf. Quantum mechanics: particle vs. wave ontologies
![Page 139: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/139.jpg)
139
Two Orthogonal, Complementary Perspectives
SNAP and SPAN
![Page 140: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/140.jpg)
140
SNAP and SPAN
the tumor and its growth
the surgeon and the operation
the virus and its spread
the temperature and its rise
the disease and its course
the therapy and its application
![Page 141: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/141.jpg)
141
Axiom
Part-relations never traverse the SNAP-SPAN divide
No process is ever part of a substanceand vice versaNo quality is ever part of a process and
vice versaProcess and function belong to two
different orders of being
![Page 142: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/142.jpg)
142
SNAP and SPANSNAP entities
- have continuous existence in time
- preserve their identity through change
- exist in toto if they exist at all
SPAN entities
- have temporal parts
- unfold themselves phase by phase
- exist only in their phases/stages
![Page 143: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/143.jpg)
143
SNAP vs. SPAN
1. SNAP: a SNAPshot ontology of endurants existing at a time
2. SPAN: a four-dimensionalist ontology of processes
![Page 144: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/144.jpg)
144
You are a substance
Your life is a process
You are 3-dimensional
Your life is 4-dimensional
![Page 145: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/145.jpg)
145
Three kinds of SNAP entities
1. Substances
2. SPQR… entities
3. Spatial regions, contexts, niches, environments
![Page 146: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/146.jpg)
146
one-place SPQR… entities
tropes, individual properties
(‘abstract particulars’)
a blush
my knowledge of French
the whiteness of this cheese
the warmth of this stone
![Page 147: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/147.jpg)
147
relational SPQR… entities
John Mary
love
stand in relations of one-sided dependence to a plurality of substances simultaneously
![Page 148: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/148.jpg)
148
SNAP entities
provide the principles of individuation/segmentation for SPAN entities
No change without some THING or QUALITY which changes
identity-based change
![Page 149: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/149.jpg)
149
Processes, too, are dependent on substances
One-place vs. relational processes
One-place processes:
getting warmer
getting hungrier
![Page 150: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/150.jpg)
150
Examples of relational processes
kissings, thumps, conversations,
dances,
Such relational processes
join their carriers together into collectives of greater or lesser duration
![Page 151: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/151.jpg)
151
Each is a window on that dimension of reality which is visible through the given ontology
SNAP and SPAN ontologies are partial only
(Realist perspectivalism)
![Page 152: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/152.jpg)
152
SNAP: Entities existing in toto at a time
![Page 153: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/153.jpg)
153
![Page 154: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/154.jpg)
154
![Page 155: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/155.jpg)
155
SNAP
![Page 156: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/156.jpg)
156
SPAN: Entities extended in time
SPANEntity extended in time
Portion of Spacetime
Fiat part of process *First phase of a clinical trial
Spacetime worm of 3 + Tdimensions
occupied by life of organism
Temporal interval *projection of organism’s life
onto temporal dimension
Aggregate of processes *Clinical trial
Process[±Relational]
Circulation of blood,secretion of hormones,course of disease, life
Processual Entity[Exists in space and time, unfolds
in time phase by phase]
Temporal boundary ofprocess *
onset of disease, death
![Page 157: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/157.jpg)
157
SPAN: Entities extended in time
![Page 158: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/158.jpg)
158
SPAN: Entities extended in time
![Page 159: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/159.jpg)
159
Relations between SNAP and SPAN
SNAP-entities participate in processes
they have lives, histories
![Page 160: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/160.jpg)
160
SPQR… entities and their SPAN realizations
the expression of a function
the exercise of a role
the execution of a plan
the realization of a disposition
![Page 161: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/161.jpg)
161
SPQR… entities and their SPAN realizations
function
role
plan
disposition
therapy
disease
SNAP
![Page 162: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/162.jpg)
162
SPQR… entities and their SPAN realizations
expression
exercise
execution
realization
application
course
SPAN
![Page 163: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/163.jpg)
163
Special role of formal relations
Only they are represented by predicates in the first-order logic representation of our ontology
But what are formal relations?
![Page 164: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/164.jpg)
164
Different ontological perspectives
SNAP vs SPAN
Universals vs. Particulars
Different levels of granularity:
molecular, cellular, organism ...
![Page 165: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/165.jpg)
165
A hypothesis (first rough version)
Formal relations are those relations which are not captured by either SNAP or SPAN because they traverse the SNAP-SPAN dividethey glue SNAP and SPAN entities together
![Page 166: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/166.jpg)
166
A hypothesis (first rough version)
Formal relations are those relations which are not captured by either an inventory of universals or an inventory of particularsbecause they traverse the universal-particular dividethey glue universals and particulars together
---- above all instantiation
![Page 167: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/167.jpg)
167
A hypothesis (first rough version)
Formal relations are those relations which are not captured by an ontology on any single level of granularitybecause they traverse the granular dividethey glue together entities on different levels of granularity
--- above all parthood
![Page 168: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/168.jpg)
168
This generates a first list of formal relations,
e.g. dependence,
but we find some of these relations also within SNAP or within SNAP
![Page 169: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/169.jpg)
169
The idea (modified version)
Formal relations are the relations that hold SNAP and SPAN entities/ontologies togetherand analogous relations… they come for free, they do not add anything to being = they are links between categories
![Page 170: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/170.jpg)
170
Example:Ontological Dependence
(SPAN, SNAP): process->substance
The erosion of the rock necessitates the existence of the rock
(SNAP, SNAP): SPQR->substance
The token redness of the sand necessitates the existence of the sand
![Page 171: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/171.jpg)
171
Generating a typology
Two main types of formal relations:
inter-ontological („transcendental“): obtain between entities of different ontologies
intra-ontological: obtain between entities of the same ontology (intra-SNAP, intra-SPAN)
![Page 172: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/172.jpg)
172
Three parameters:
- the arity of the relation
- the types of the relata, expressed as an ordered list, called the signature of the relation
- the formal nature of the relation
![Page 173: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/173.jpg)
173
Principal Signatures
In the binary case:
SNAP-SNAP - (SNAPi, SNAPi), i = i
- (SNAPi, SNAPi), i < j, i > j
SPAN-SPAN
SNAP-SPANSPAN-SNAP
![Page 174: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/174.jpg)
174
Transtemporal relations
Examples:
Genidentity
(transtemporal generalization of identity/part-whole)
Successive causality
![Page 175: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/175.jpg)
175
Genidentity
Also SPAN-SPAN? Is there a form of genidentity among processes?
The such-as-to-have-come-forth-from relation.
Signature: SNAPi-SNAPj
Cut a chunk of matter in two, the sum of the remaining pieces is genidentical to the chunk before cutting
![Page 176: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/176.jpg)
176
Successive Causality
SNAP-SPAN: Agent causationA substance produces causally a process
SPAN-SPAN: Process causationOne process causes another process
SPAN-SNAP: Causal repercussionA process results in the modification of a substance (always mediated by process causation)
SNAP-SNAP: Causal originOne substance is the causal origin of another (mediated by other types of causal relations)
![Page 177: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/177.jpg)
177
Successive Causality
SNAP-SPAN: Agent causation
SPAN-SPAN: Process causation
SPAN-SNAP: Causal repercussion
SNAP-SNAP: Causal origin
do not apply on all levels of granularity
![Page 178: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/178.jpg)
178
Our main target: Temporally extended relations
Participation(holds between a substance and a process such as an action or a life or history)
Realization(holds between SPQR… entities and their SPAN expressions)
![Page 179: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/179.jpg)
179
Substance->Process
PARTICIPATION(a species of dependence)
![Page 180: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/180.jpg)
180
Participation (SNAP-SPAN)
A substance (SNAP) participates in a process (SPAN)
A runner participates in a race
An organ participates in a sickness
![Page 181: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/181.jpg)
181
Axes of variation
activity/passivity (agentive)
direct/mediated
benefactor/malefactor (conducive to existence) [MEDICINE]
![Page 182: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/182.jpg)
182
SNAP-SPAN
Participation
Perpetration (+agentive)
Initiation
Perpetuation
Termination
Influence
Facilitation
Hindrance
Mediation
Patiency(-agentive)
![Page 183: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/183.jpg)
183
Perpetration
A substance perpetrates an action (direct and agentive participation in a process):
The referee fires the starting-pistol
The captain gives the order
![Page 184: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/184.jpg)
184
Initiation
A substance initiates a process:
The referee starts the race
The attorney initiates the process of appeal
![Page 185: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/185.jpg)
185
Perpetuation
A substance sustains a process:
The charged filament perpetuates the emission of light
The organism perpetuates the process of metabolism
![Page 186: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/186.jpg)
186
Termination
A substance terminates a process:
The operator terminates the projection of the film
The judge terminates the imprisonment of the pardoned convict
![Page 187: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/187.jpg)
187
Influence
A substance (or its quality) has an effect on a process
The hilly countryside affects the movement of the troopsThe politicians influence the course of the war
![Page 188: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/188.jpg)
188
Facilitation
A substance plays a secondary role in a process (for example by participating in a part or layer of the process)
The catalyst provides the chemical conditions for the reaction
The traffic-police facilitate our rapid progress to the airport
![Page 189: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/189.jpg)
189
Hindrance, prevention
A substance has a negative effect on the unfolding of a process (by participating in other processes)
The drug hinders the progression of the disease
The strikers prevent the airplane from departing
![Page 190: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/190.jpg)
190
Mediation
A substance plays an indirect role in the unfolding of a process relating other participants:
The Norwegians mediate the discussions between the warring parties
![Page 191: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/191.jpg)
191
Patiency
Dual of agentive participation
John kisses [Mary] (John agent)
Mary is kissed [by John] (Mary patient)
![Page 192: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/192.jpg)
192
Signatures of meta-relations
SNAP Component SPAN Component
Substances
SPQR…
Space Regions
Processuals
Processes
Events
Space-Time Regions
![Page 193: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/193.jpg)
193
Signatures of meta-relations
SNAP Component SPAN Component
Substances
SPQR…
Space Regions
Processuals
Processes
Events
Space-Time Regions
![Page 194: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/194.jpg)
194
Signatures of meta-relations
SNAP Component SPAN Component
Substances
SPQR…
Space Regions
Processuals
Processes
Events
Space-Time Regions
![Page 195: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/195.jpg)
195
Signatures of meta-relations
SNAP Component SPAN Component
Substances
SPQR…
Space Regions
Processuals
Processes
Events
Space-Time Regions
![Page 196: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/196.jpg)
196
2nd Family
REALIZATION
![Page 197: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/197.jpg)
197
Signatures of meta-relations
SNAP Component SPAN Component
Substances
SPQR…
Spatial Regions
Processuals
Processes
Events
Space-Time Regions
participation
realization
![Page 198: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/198.jpg)
198
Realization (SPQR->process)
The most general relation between a dependent (SPQR…) entity and a process
The power to legislate is realized through the passing of a law
The role of antibiotics in treating infections is via the killing of bacteria
![Page 199: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/199.jpg)
199
Realization (SNAP-SPAN)
the execution of a plan, algorithm
the expression of a function
the exercise of a role
the realization of a disposition
![Page 200: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/200.jpg)
200
SPQR… entities and their SPAN realizations
plan
function
role
disposition
algorithm
SNAP
![Page 201: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/201.jpg)
201
SPQR… entities and their SPAN realizations
execution
expression
exercise
realization
application
course
SPAN
![Page 202: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/202.jpg)
202
Material examples:
performance of a symphonyprojection of a filmexpression of an emotionutterance of a sentenceapplication of a therapycourse of a diseaseincrease of temperature
![Page 203: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/203.jpg)
203
SNAP->SPAN
Participation
Substance -> Process
Realization
SPQR -> Process
![Page 204: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/204.jpg)
204
SPAN -> SNAP
Involvement
![Page 205: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/205.jpg)
205
SPAN -> SNAP
Involvement
Creation
Sustaining in being
Destruction
DemarcationBlurring
Degradation
![Page 206: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/206.jpg)
206
Involvement
process -> substance(sometimes the converse of participation):
Races involve racers
(but not always):
Wars involve civilians
![Page 207: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/207.jpg)
207
Creation
A process brings into being a substance:
The declaration of independence creates the new state
The work of the potter creates the vase
![Page 208: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/208.jpg)
208
Sustaining in being
A process sustains in being a substance:
The circulation of the blood sustains the body
Levying taxes sustains the army
![Page 209: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/209.jpg)
209
Degradation
A process has negative effects upon a substance
Eating sugar contributes to the deterioration of your teeth.
The flow of water erodes the rock
![Page 210: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/210.jpg)
210
Destruction
A process puts a substance out of existence
The explosion destroys the car
The falling of the vase on the floor breaks it
![Page 211: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/211.jpg)
211
Demarcation
A process creates (fiat or bona fide) boundaries of substances.
The tracing of the area by the surgeon defines a boundary, the incision performed by the surgeon yet another one
![Page 212: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/212.jpg)
212
Blurring
A process destroys boundaries of substances:
The military stand-off creates the no man's land
The successful transplant obliterates the boundary between original and grafted tissue
![Page 213: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/213.jpg)
213
SNAP-SPAN
Participation
Perpetration (+agentive)
Initiation
Perpetuation
Termination
Influence
Facilitation
Hindrance
Mediation
Patiency(-agentive)
![Page 214: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/214.jpg)
214
SPAN-SNAP
Involvement
Creation
Sustenance
Destruction
Continuation
DegradationDestruction
Creation
DemarcationBlurring
Qualitative projection
Degradation
![Page 215: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/215.jpg)
215
The idea (a closer approximation)
Formal relations are those relations which are not captured by either the SNAP or the SPAN ontologyeither because they traverse the SNAP-SPAN divideor because they traverse the granular divide
![Page 216: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/216.jpg)
216
Types of Formal Relation
IntracategorialMereological (part)Topological (connected, temporally precedes)Dependency (e.g. functional ?)
IntercategorialInherence (quality of)Location Participation (agent)Dependency (of process on substance)
TranscendentalsIdentity
![Page 217: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/217.jpg)
217
A case study
Disputes about properties
Cf. D.M. Armstrong
Universals vs. Tropes
Substance/attribute vs. bundles
![Page 218: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/218.jpg)
218
Contemporary Bundle views
Bundle views 1: bearers of predication are bundles of universals (particularity is ‘constructed’)
Bundle views 2: nuclear tropes (adding up to thick particulars) + contingent tropes (reflecting contingent predications)
![Page 219: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/219.jpg)
219
Four alternative positions
Substance-Attribute plus Universal Properties
Bundles with Universal Properties
Substance-Attribute plus Tropes
Bundles with Tropes
![Page 220: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/220.jpg)
220
Armstrong’s own view
Substance/attribute + universals
Substances are the locus of particularity
Universals explain invariance/similarity
Plus
States of affairs
(Both particulars and universals are abstractions from states of affairs)
![Page 221: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/221.jpg)
221
Not in a SubjectSubstantial
In a SubjectAccidental
Said of a SubjectUniversal, General,Type
Second Substances
man, horse, mammal
Non-substantial Universals
whiteness, knowledge
Not said of a Subject Particular, Individual,Token
First Substances
this individual man, this horse this mind, this body
Individual Accidents
this individual whiteness, knowledge of grammar
![Page 222: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/222.jpg)
222
Aristotle’s Ontological Square
Substantial Accidental
Second substance
man
cat
ox
Second accident
headache
sun-tan
dread
First substance
this man
this cat
this ox
First accident
this headache
this sun-tan
this dread
Uni
vers
alP
artic
ular
![Page 223: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/223.jpg)
223
Aristotle’s Ontological Square
Substantial Accidental
Second substance
man
cat
ox
Second accident
headache
sun-tan
dread
First substance
this man
this cat
this ox
First accident
this headache
this sun-tan
this dread
Uni
vers
alP
artic
ular
![Page 224: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/224.jpg)
224
Aristotle’s Ontological Square
Substantial Accidental
Second substance
man
cat
ox
Second accident
headache
sun-tan
dread
First substance
this man
this cat
this ox
First accident
this headache
this sun-tan
this dread
Uni
vers
alP
artic
ular
![Page 225: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/225.jpg)
225
Aristotle’s Ontological Square
Substantial Accidental
Second substance
man
cat
ox
Second accident
headache
sun-tan
dread
First substance
this man
this cat
this ox
First accident
this headache
this sun-tan
this dread
Uni
vers
alP
artic
ular
![Page 226: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/226.jpg)
226
Aristotle’s Ontological Square
Substantial Accidental
Second substance
man
cat
ox
Second accident
headache
sun-tan
dread
First substance
this man
this cat
this ox
First accident
this headache
this sun-tan
this dread
Uni
vers
alP
artic
ular
![Page 227: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/227.jpg)
227
Refining the Ontological Square
Substantial Accidental
Second substance
man
cat
ox
Second accident
headache
sun-tan
dread
First substance
this man
this cat
this ox
First accident
this headache
this sun-tan
this dread
Uni
vers
alP
artic
ular
![Page 228: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/228.jpg)
228
Refining the Ontological Square
Substantial Dependent Entities
Exercise of power Exercise of function
Movement
Action
Substances
Collectives
Undetached parts
Substantial boundaries
Powers
Functions
Qualities
Shapes
Occ
urre
nts
Con
tinua
nts
![Page 229: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/229.jpg)
229
Refining the Ontological Square
Substantial Moments (Dependent)
Exercise of power Exercise of function
Movement
Action
Substances
Collectives
Undetached parts
Substantial boundaries
Powers
Functions
Qualities
Shapes
Occ
urre
nts
Con
tinua
nts
![Page 230: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/230.jpg)
230
Refining the Ontological Square
Substantial Dependent Entities
Exercise of power Exercise of function
Movement
Action Processes?
Substances
Collectives
Undetached parts
Substantial boundaries
Powers
Functions
Qualities
Shapes
Moments?
Occ
urre
nts
Con
tinua
nts
![Page 231: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/231.jpg)
231
Refining the Ontological Square
Substantial Dependent Entities
John‘s reddening
John‘s blushing
John‘s bruising
4-D
Substances
Collectives
Undetached parts
Substantial boundaries
John‘s redness
John‘s blush
John‘s bruise
3-D
Occ
urre
nts
Con
tinua
nts
![Page 232: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/232.jpg)
232
Refining the Ontological Square
Substantial Dependent Entities
John‘s reddening
John‘s blushing
John‘s bruising
4-D (perduring)
Stuff
(Blood, Snow, Tissue)
Mixtures
Holes
John‘s redness
John‘s blush
John‘s bruise
3-D (enduring)
Occ
urre
nts
Con
tinua
nts
![Page 233: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/233.jpg)
233
A Refined Ontological Square
Substantial Dependent Entities
John‘s reddening
John‘s blushing
John‘s bruising
4-D (perduring)
Stuff
(Blood, Snow, Tissue)
Mixtures
Holes
John‘s redness
John‘s blush
John‘s bruise
3-D (enduring)
Occ
urre
nts
Con
tinua
nts
![Page 234: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/234.jpg)
234
Aristotle’s Ontological Square
Substantial Accidental
Second substance
man
cat
ox
Second accident
headache
sun-tan
dread
First substance
this man
this cat
this ox
First accident
this headache
this sun-tan
this dread
Uni
vers
alP
artic
ular
![Page 235: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/235.jpg)
235
Some philosophers
accept only part of the Aristotelian multi-categorial ontology
![Page 236: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/236.jpg)
236
Standard Predicate Logic – F(a), R(a,b) ...
Substantial Accidental
Attributes
F, G, R
Individuals
a, b, c
this, that
Uni
vers
alP
artic
ular
![Page 237: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/237.jpg)
237
Bicategorial NominalismSubstantial Accidental
First substance
this man
this cat
this ox
First accident
this headache
this sun-tan
this dread
Uni
vers
alP
artic
ular
![Page 238: 1 VT The language of set theory is a FOLWUT language](https://reader038.vdocument.in/reader038/viewer/2022102818/56649f4f5503460f94c718b2/html5/thumbnails/238.jpg)
238
Process Metaphysics
Substantial Accidental
Events
Processes
“Everything is flux”
Uni
vers
alP
artic
ular