Prospects for practice-based philosophy of logic

We explore prospects for practice-based approaches to logical theory, in particular the link between classical and intuitionistic logic and the inferential structure of traditional practices of representation & argument in science and mathematics. After discussing some key notions about practice, we outline the connection between representation practices and classical logic, and then consider a spectrum of actual practices followed or proposed by (real) scientists. Intuitionistic logic helps to clarify the potential of practice-based approaches for understanding pluralism, and to hammer some key points about the general thesis.Ministerio de Economía y Competitividad FFI2009-1002

Tratamiento multimodal de contextos

We take as starting point the context logic studied in (Grossi, Meyer, and Dignum 2008) and (Aucher et al. 2009), which was concerned with the development of a dynamic logic of rules. Here we focus on issues of Formal Epistemology and omit the addition of deontic operators.We define some basic logics that are useful for the study of epistemic actions such as expanding, contracting or revising a theory taking into account different kinds of inferential results

Abducción y semántica de teoría de juegos

An agency-inspired inferential game is proposed in which two agents (abductive and deductive) interact. It depicts hybrid inferencial contexts where deductive and abductive steps are mixed. The abductive agent can use results obtained by the deductive one but not vice versa due to the abductive process do not always generate deductive valid formulas.