What is "scientific reading about OOP"?

Question

OOP

Good afternoon. Studying now a textbook on formal logic, I'm starting to come to an understanding (or maybe I'm just adjusting what I'm reading to what I already know) that OOP, if not built on Aristotle's logic with its classes and types, is very similar to it. Of the good books on OO Design that I have found, there is only Butch. But he's not talking about that either. It's about how to design programs using OOP methodology, and I want to go deeper into exactly the concepts that OOP is built on. Are there any books that cover this topic? English or translation, it doesn't matter. It should also be clarified that I am reading a book specifically on logic and its connection with the language, that is, let's say "traditional logic", I am not very strong in terminology yet. Or is it worth reading about symbolic aka mathematical logic?

Answer 1

OOP is a software design methodology. It was created and is being developed for this very purpose - to simplify the development of large projects.
Formal logic is present there only because. And there is no need to look for any additional logic in this - it will not be practical. The implementation of OOP is tailored and changed according to practical requirements, not mathematics. This is where the ongoing controversy comes from.