(no subject)

[timelets]

Formal distinction is definitely a real distinction, expressing as it does the different layers of reality that form or constitute a being. Thus it is called formalis a parte rei or actualis ex natura rei. But it is a minimally real distinction because the two really distinct quiddities are coordinate, together making a single being. Real andy et not numerical, such is the status of for­mal distinction.

G Deleuze. Expressionism...: Spinoza.

We may (have to?) use different formal methods to explore different layers of reality.

upd: it's an old argument between Duns Scotus and Ockham.

https://en.wikipedia.org/wiki/Formal_distinction