AND CRISTINA SERNADAS FIBRING OF LOGICS AS A UNIVERSAL CONSTRUCTION

It is a task of philosophy to explain the sense in which contemporary science uses the label “logics”, specially through “logics in ” (natural language, program verification, machine learning, knowledge representation, abductive and inductive reasoning, etc.) as well as “logics for ” (hybrid reasoning systems, ontology, engineering, reasoning about cryptographic construction, defeasible argumentation, reasoning with uncertainty, reasoning under contradiction, reasoning about action, agents with bounded rationality, and so on) and even “logics that ” (that characterize classes of finite structures as in finite model theory, that characterize formal grammars, that characterize processes, etc.) The Greek term logos (and ratio in Latin) from which “logic ” and “reason” derive, with its original meaning of “to put together”, and later “to speak about ” is suggestive: it may be relevant for such domains to start by collecting peculiar concepts and thoughts, and then recompiling them in an orderly way using logical tools so that talking and reasoning about th