Are there efforts to automatically discover new logics? Logics are simple structures - they have formal language, deduction rules, semantics and certain properties that are proved or discarded for every new logic. In fact, each logic can be put into framework of institutions (by Diaconescu et al).
So - is it possible to automatically learn/discover new logics?
E.g. type logical grammars (development of (abstract) categorial grammars) map natural language sentences into lambda expressions (some logics into language in lambda expressions). It can appear, that resulting expressions can not be built due to low expressibility of the logic. So - new, more expressive, more adaptable logics should be discovered. Can the process be automated by using criterion of "optimally highest level of understanding" (i.e. whether the machine can understand and operate with the formalized text or not) - e.g. if machine can not understand the valid natural language text, then machine is obliged to discover new logic into which the text can be translated and understood.
There is formalization of the notion of "understanding" https://link.springer.com/chapter/10.1007/978-3-319-41649-6_11 and this understanding can be optimized for the discovery of new logics.
So - are there trends to do this?
I am aware of inductive logic programming which discover rules in some logic, but I am aiming for the discovery of the logic itself. So - there is also inductive metalogic programming but I have managed to find only two articles about this (one in Japanese) and they seem to be not about new logics.
I have also heard about framework of ludics of Girard, but it is very, very bounded work on linear logic, more general setting is required and ludics seem to be not generalizible enough.