Lógica epistémica y acción colectiva

En este trabajo se ofrece un análisis formal de ciertas nociones, tales como el conocimiento conjunto, el conocimiento común y el conocimiento implícito de un grupo, que resultan particularmente provechosas para el análisis filosófico del conocimiento de grupos de agentes. Así, este artículo pretende mostrar algunas relaciones de interés entre la lógica epistémica y la teoría de la acción colectiva. En nuestra opinión, el tratamiento lógico de este tipo de nociones puede mejorar nuestra comprensión de aquellas situaciones en las que intervienen múltiples agentes. Esto puede resultar muy relevante en diversos campos de estudio, y especialmente en el análisis de la acción colectiva, en tanto que, con frecuencia, el conocimiento de los agentes determina sus diferentes cursos de acción. Finalmente, consideraremos de forma breve algunas ideas que apuntan a investigaciones futura

Sobre constructivismo y lógica epistémica dinámica

Universidad de Sevilla V Plan Propio de Investigació

El giro dinámico en la epistemología formal: el caso del razonamiento explicativo

Exploramos las posibilidades que ofrece la lógica epistémica dinámica para modelar el razonamiento abductivo.Mostramos que muchos de los problemas que encuentran los tratamientos formales de la abducción basados en lógica clásica pueden ser resueltos al considerar un agente epistémico que razona y actúa

Informe bibliográfico sobre la lógica (epistémica) de la conciencia

Awareness Logic is an extension of epistemic logic that solves the problem of logical omniscience by incorporating an awareness operator that separates the explicit knowledge from the implicit one. This report collects the most prominent works regarding the beginnings of this logic, as well as its developments in the past three decades. Specifically, it reviews the approaches from Dynamic Epistemic Logic, from the ones that combine other logics with Awareness Logic and those from Game Theory.La lógica de la conciencia es una extensión de la lógica epistémica que solventa el problema de la omnisciencia lógica incorporando un operador de conciencia para separar el conocimiento explícito del implícito. Este informe recopila los principales textos tanto de los orígenes de esta lógica, así como de sus desarrollos en las últimas tres décadas. En concreto analiza los enfoques desde la lógica epistémica dinámica, desde su combinación con otras lógicas y los enfoques de teoría de juegos

Contra el pluralismo lógico modalista

In this paper, I argue against the modalist logical pluralism of Bueno andShalkowski (2009). In the first part, I show that it is not well motivated, at least if its motivation comes from the objections they raise against the approach of Beall and Restall (2006). I defend the position of Beall and Restall against these objections, resorting to the requisites of necessity and normativity, which were misunderstood by Bueno and Shalkowski. In the second part, I analyze the modalist position and provide some arguments against it. I show that the examples offered by Bueno and Shalkowski do not justify a logical pluralism, but rather a logical monism based on classical logic where some inferential contexts can be internalized. I show that these internalizations are very plausible for the two examples the authors provide: database management and the analysis of epistemic concepts.En este artículo argumento en contra del pluralismo lógico modalista de Bueno yShalkowski (2009). En la primera parte muestro que no está bien motivado, al menos si su motivación surge de las objeciones que le hacen al enfoque de Beall y Restall (2006). Defiendo la posición de Beall y Restall contra estas objeciones apelando a los requisitos de necesidad y normatividad, que no fueron bien comprendidos por Bueno y Shalkowski. En la segunda parte analizo la posición modalista y doy argumentos en su contra. Muestro que los ejemplos ofrecidos por Bueno y Shalkowski no justifican un pluralismo lógico, sino un monismo lógico basado en la lógica clásica en el que algunos contextos inferenciales pueden ser internalizados. Muestro que tales internalizaciones son muy plausibles para los ejemplos que dan los autores: el manejo de bases de datos y el análisis de conceptos epistémicos

Floridi: información y filosofía

En Este Trabajo Se Pretende Profundizar En La Filosofía De La Información Comodisciplina Académica Y En Particular En La Visión Que Tiene Luciano Floridisobre Ella. Se Estudia El Alcance, La Definición Y Los Problemas Abiertos Queconforman El Núcleo De Dicha Corriente Y Se Dan Ciertas Orientaciones Paracomprender Bien El Concepto Primitivo De Información Como Noción Omnipresente Enla Sociedad De Las Tecnologías De La Información Y La Comunicación.This Contribution Intends To Deepen Into The Philosophy Of Information, Inparticular, Into Luciano Floridi S Stance. The Scope, A Definition, And Someopen Problems That Comprise This Discipline Core Are Studied. Some Orientationsto Understand The Primitive Conception Of Information As A Pervasive Notion Inthe Information Society We Live In Is Given

Arguments to believe and beliefs to argue. Epistemic logics for argumentation and its dynamics

Arguing and believing are two skills that have typically played a crucial role in the analysis of human cognition. Both notions have received notable attention from a broad range of disciplines, including linguistics, philosophy, psychology, and computer science. The main goal of this dissertation consists in studying from a logical perspective (that is, focused on reasoning) some of the existing relations between beliefs and argumentation. From a methodological point of view, we propose to combine two well-known families of formalisms for knowledge representation that have been relatively disconnected (with some salient exceptions): epistemic logic (Fagin et al., 2004; Meyer and van der Hoek, 1995) together with its dynamic extensions (van Ditmarsch et al., 2007; van Benthem, 2011), on the one hand, and formal argumentation (Baroni et al., 2018; Gabbay et al., 2021), on the other hand. This choice is arguably natural. Epistemic logic provides well-known tools for qualitatively representing epistemic attitudes (belief, among them). Formal argumentation, on its side, is the broad research field where mathematical representations of argumentative phenomena are investigated. Moreover, the notion of awareness, as treated in the epistemic logic tradition since Fagin and Halpern (1987), can be used as a theoretical bridge among both areas. This dissertation is presented as a collection of papers [compendio de publicaciones], meaning that its main contributions are contained in the reprint of six works that have been previously published, placed in Chapter 4. In chapter 1, we pursue a general introduction to the research problem. Chapter 2 is devoted to the presentation of the technical tools employed through the thesis. Chapter 3 explains how the contributions approach the research problem. Chapter 5 provides a general discussion of results, by analysing closely related work. We conclude in Chapter 6 with some remarks and open paths for future research

Horacio Arló-Costa (1956-2011)

Horacio Arló-Costa fue sin dudas uno de los principales lógicos que ha producido nuestra Facultad de Filosofía y Letras. Fue, además, una de las principales fuerzas detrás de la consolidación, a nivel mundial, del ámbito de reflexión conocido con el nombre de “epistemología formal”, una disciplina nueva constituida en la intersección de la lógica epistémica, la teoría de la decisión, la inferencia ampliativa y la teoría del conocimiento tradicional

Enunciation and perception: evidentiality in Spanish tourist texts

Este trabajo pretende ofrecer una propuesta de estudio basada en la modalidad del enunciado y en la relación que existe entre esta y la evidencialidad, como procedimiento lingüístico, ya que en los textos turísticos encontramos recursos lingüísticos (evidenciales) que codifican los distintos modos en los que se adquiere el conocimiento o la fuente de información. Para ello, hemos utilizado un corpus basado en 50 textos turísticos publicados en la página web de El País durante los años 2013 y 2014. En ellos, analizamos los procedimientos que ha empleado el autor para mostrar los distintos modos con los que ha conseguido la información que expresa en su enunciado, con el fin de persuadir e informar al lector, a través de la modalidad epistémica. Además, nos encontramos ante el análisis de una lengua de especialidad, el español del turismo, que debido al ámbito en el que nos movemos, tiene un grado de especialización menor que el de otras lenguas de especialidad, lo que hace todavía más enriquecedor el estudio de los evidenciales como recurso lingüístico que manifiesta la modalidad.The aim of this paper is to provide a proposal study based on modality in utterances and its relationship between them and evidentiality, as a linguistic resource, because there are some markers (evidentials) in touristic texts, which coding the knowledge resource and the point of view. This study has a corpus based in 50 tourist texts published in El País website (between 2013-2014). We analyze the author´s linguistic resources to show the way he gets the information appeared in the utterance, in order to persuade and inform the reader, through epistemic modality. Furthermore, it is a specialized language, Spanish for tourism, which has a lower degree of specialization than other specialized languages, making further interesting the study of evidentials as a modality linguistic resource