So if the science of science is not science - is that not a contradiction?
So if the science of science is not science - is that not a contradiction?
Metaphysics is the study of "being qua being".
"[Aristotle] claims that each science studies a unified genus, but denies that there is a single genus for all beings". You're applying tautology without really understanding the construction of your own question.
https://academic.oup.com/edited-volume/28232/chapter-abstrac...
ELI5: asking about science isn't science. Like reading about painting isn't painting. Or more poetically, "Ce n'est pas une pipe"
Metaphysics.
Or as it is commonly referred to in computer science: function self-application. One example of which being the Y combinator (as in the name of this very forum).
I am applying a tautology in exactly the mathematical sense of a tautology; and I understand my construction just fine.
Had you been more charitable you would’ve addressed my argument; not your strawman of my argument.
> Or as it is commonly referred to in computer science: function self-application
No, that's recursion, not metaphysics.
Is computer science the same as programming, no. Computer science is the study of programming, not programming. You learn this in your first year of CS.
If you're smart enough to _really_ understand what a Y combinator is, this should be a piece of cake.
metaphysics /ˌmɛtəˈfɪzɪks/ noun the branch of philosophy that deals with the first principles of things, including abstract concepts such as being, knowing, identity, time, and space.
First principles? Like logical/mathematical axioms? Sprinkle abstraction. Identity? f(x) = x ?
Time? Space? Spacetime? Minkowsky space?
On a fuzzy-match that sounds ludicrously similar to the sort of stuff the formal sciences concern themselves with. Almost as if the distinction between science and philosophy is non-existence given the demarcation problem.
Are you the kid who thinks he's edgy by saying in philosophy class: "It depends on the meaning of the word 'X'" every time someone tries to explain X to you?