I 272f
Opaque verb: "hunts lions" is nothing in relation, does not refer to a lion - relative term police chasing a man.
---
I 361
Abstraction of relations, propositions and properties: opaque (>
planets-example).
---
I 295
Properties, relations: are meaning of timeless open sentences - is unidentifiable (like >
propositions).
---
I 362
Elimination of relations and properties in favor classes of ordered pairs, open sentences, general terms - even scattered objects (in the case of colors)
Relativity: additional dimension: space-time: Point moments are absolutely different, independent of relative movement of the viewpoint.
---
I 439
Abstract term "Equator", etc: can and should be reformulated. "Closer to the equator than": Relative Term - Or: by position of the sun - four-dimensional Space-Time coordinates (quintuple, hyper bodies, not Cartesian)>reintroduction of geomtretric object at the space-time points.
---
I 462
Nominalism: cannot use relations, classes, etc. ("ancestor", "successor", "greater than", "the same number of", quantification) - but there are stages of renunciation.
---
IX 17
IX 17
Relations/Quine: connex: ∀x∀y[x,y ε (R U ^R)''ϑ › x(R U ^R U I)y, - ((s) (R U ^R U I): E.g. "greater or smaller or equal". (>Law of comparability,
trichotomy).)
reflexive: ∀x∀y[x,y e(R n U ^R)''ϑ > xRx
irreflexive: R <≤_I,
symmetric: R = ^R
asymmetric: R =_^R
antisymmetric: R ∩ ^R ≤ I
transitive: R I R ≤ R
intransitive: R I R ≤ _R.
IX 43
Relations/Quine: classes of classes. - Namely simulated by the class of all ordered pairs with Fxy.
