José Sagüillo

In the last ten years I have focused my research on foundational issues of logic and methodology of science. I devoted special attention to the genus or domain of investigation of a given science, the propositions pertaining to that domain, and the relation of logical consequence or implication between those propositions. In this connection it is worth investigating the presuppositions and implications of choices of different underlying logics.

For example, each science has its own domain of investigation, but one and the same science can be formalized in different languages with different universes of discourse. Thus, the concept of the domain of a science and the concept of the universe of discourse of a formalization of a science are distinct, although they often coincide in extension.

Likewise, I also study different conceptions of propositions as the basic truth-bearers. I specially focus on different information/theoretic conceptions, in which information can be taken to be either extrinsic or intrinsic to the propositions considered.

Finally, I also find important to identify which of the concepts of logical consequence will be found to support an adequate explanation of the processes that are actually used to establish whether a given conclusion follows from a given premise-set in the tradition of classical mathematics. My view is that the predominant Bolzano-Tarski paradigm of logical consequence does not give a full account of the rich and multifaceted experiences involved in our logical practice. On the contrary, that experience can be better accomodated incorporating -in addition- and information-based concept of logical consequence.