Lower complexity bounds in justification logic

Justification Logic studies epistemic and provability phenomena by introducing justifications/proofs into the language in the form of justification terms. Pure justification logics serve as counterparts of traditional modal epistemic logics, and hybrid logics combine epistemic modalities with justification terms. The computational complexity of pure justification logics is typically lower than that of the corresponding modal logics. Moreover, the so-called reflected fragments, which still contain complete information about the respective justification logics, are known to be in~NP for a wide range of justification logics, pure and hybrid alike. This paper shows that, under reasonable additional restrictions, these reflected fragments are NP-complete, thereby proving a matching lower bound. The proof method is then extended to provide a uniform proof that the corresponding full pure justification logics are $\Pi^p_2$-hard, reproving and generalizing an earlier result by Milnikel.

Portfolios and pedagogy : an examination of ideology and use

Portfolio use in writing studies contexts is becoming ubiquitous and, as such, portfolios are in danger of being rendered meaningless and thus require that we more fully theorize and historicize portfolios. To this end, I examine portfolios: both the standardized portfolio used for assessment purposes and the personalized portfolio used for entering the job market. I take a critical look at portfolios as a form of technology and acknowledge some of the dangers of blindly using portfolios for gaining employment in the current economic structure of fast capitalism. As educators in the writing studies fields, it is paramount that instructors have a critical awareness of the consequences of portfolio creation on students as designers, lifelong learners, and citizens of a larger society. I argue that a better understanding of the pedagogical implications for portfolio use is imperative before implementing them in the classroom, and that a social-epistemic approach provides a valuable rethinking of portfolio use for assessment purposes. Further, I argue for the notions of meditation and transformation to be added alongside collection, selection, and reflection because they enable portfolio designers and evaluators alike to thoughtfully consider new ways of meaning-making and innovation. Also important and included with meditation and transformation is the understanding that students are ideologically positioned in the educational system. For them to begin recognizing their situatedness is a step toward becoming designers of change. The portfolio can be a site for that change, and a way for them to document their own learning and ways of making meaning over a lifetime.

How can computer simulations produce new knowledge?

It is often claimed that scientists can obtain new knowledge about nature by running computer simulations. How is this possible? I answer this question by arguing that computer simulations are arguments. This view parallels Norton’s argument view about thought experiments. I show that computer simulations can be reconstructed as arguments that fully capture the epistemic power of the simulations. Assuming the extended mind hypothesis, I furthermore argue that running the computer simulation is to execute the reconstructing argument. I discuss some objections and reject the view that computer simulations produce knowledge because they are experiments. I conclude by comparing thought experiments and computer simulations, assuming that both are arguments.

Why Monte Carlo Simulations are Inferences and not Experiments

Monte Carlo simulations arrive at their results by introducing randomness, sometimes derived from a physical randomizing device. Nonetheless, we argue, they open no new epistemic channels beyond that already employed by traditional simulations: the inference by ordinary argumentation of conclusions from assumptions built into the simulations. We show that Monte Carlo simulations cannot produce knowledge other than by inference, and that they resemble other computer simulations in the manner in which they derive their conclusions. Simple examples of Monte Carlo simulations are analysed to identify the underlying inferences.

Faith as a Mustard Seed

Abstract: This investigation of the concept of faith is divided into two parts. Part One evaluates a topical philosophical interpretation of faith as irreducibly disjunctive, collecting the best fragmented ideas as to what constitutes faith in a recent family resemblance exposition as an objective for an adequate essentialist analysis of the concept of faith to achieve. Part Two offers a more extended essentialist analysis of the concept of faith as unconditional patience in the eventuality of a positive future state, and a detailed reduction of six supposedly disparate family resemblance senses of faith to this single definition. Criteria for a satisfactory analysis of faithfulness are considered and defended. In contrast with what has become a standard doxastic-epistemic interpretation of faith as persistent unjustified or even unjustifiable belief, a concept of faith is advanced that appears to satisfy the necessary and sufficient criteria identified. Systematic comparison with a variety of usages of the word “faith” suggests that the analysis agrees with many and arguably most applications of this sometimes loosely understood term. Implications of the analysis of the concept of faith are considered and defended against anticipated objections. Pascal’s wager is critically examined in relation to matters of religious faith, along with positivist meaningfulness requirements that seem to conflict especially with epistemically ungrounded belief, the power of faith, and the metaphorical size of mustard seeds. The inquiry concludes with a synthesis of five aspects of six supposedly distinct senses of faith under the single essentialist reductive umbrella of unconditional patience in the eventuality of a positive future state.

Intuitionistic common knowledge or belief

Starting off from the usual language of modal logic for multi-agent systems dealing with the agents’ knowledge/belief and common knowledge/belief we define so-called epistemic Kripke structures for intu- itionistic (common) knowledge/belief. Then we introduce corresponding deductive systems and show that they are sound and complete with respect to these semantics.

Car, parce que, puisque’ revisited: Three empirical studies on French causal connectives

In French, a causal relation is often conveyed by the connectives car, parce que or puisque. Since the seminal work of the Lambda-l Group (1975), it has generally been assumed that parce que, used to relate semantic content, contrasts with car and puisque, both used to connect either speech act or epistemic content. However, this analysis leaves a number of questions unanswered. In this paper, I present a reanalysis of this trio, using empirical methods such as corpus analysis and constrained elicitation. Results indicate that car and parce que are interchangeable in many contexts, even if they are still prototypically used in their respective domain in writing. As for puisque, its distribution does not overlap with car, despite their similar domains of use. I argue that the specificity of puisque with respect to the other two connectives is to introduce a cause with an echoic meaning.

La divulgación científica de análisis sensorial de vinos en soporte web

En esta tesis se trabaja sobre la hipótesis de que el componente didáctico del discurso divulgativo queda delimitado por estrategias discursivas originadas en el tratamiento modal y actualizadas en los niveles funcional, situacional, semántico y formal-gramatical. El objetivo es caracterizar tales estrategias para identificar tendencias en la realización lingüísticodiscursiva del componente didáctico. El corpus se ha formado teniendo en cuenta soporte (web), formato (hipertexto) y dominio disciplinar (Análisis Sensorial de Vinos). La metodología es, fundamentalmente, cualitativo-ejemplar, basada en el modelo multinivel propuesto por Ciapuscio (2003) para el análisis de textos especializados. Los resultados sugieren que en el nivel funcional, el componente didáctico se distingue por el predominio de los términos positivos de las categorías modales epistémica (función informar) y ética (función dirigir); en el nivel situacional, por tres tipos de construcciones discursivas: la del enunciador experto, la del enunciatario lego y la de la pertenencia del lego a la comunidad especializada; en el nivel semántico, por la estandarización de partes textuales y por el predominio tanto de axiologización eufórica ética y cognoscitiva, como de secuencias expositivas y de procedimientos explicativos causales, descriptivos e ilustrativos; en el nivel formal, por recursos paratextuales e hipertextuales que refuerzan la actualización del componente didáctico.

Notas sobre la subalternidad desde una lectura fanoniana

Es muy frecuente que en los análisis del concepto de subalternidad, las fuentes del período descolonizador que se inicia a mediados del siglo XX estén escasamente representadas debido a una preeminencia de la perspectiva filológica sobre el concepto, antes bien que a una política e histórica. Este trabajo es un intento por incluir en el debate los textos de Frantz Fanon, quién reflexionó largamente sobre los problemas de la subjetividad en el colonialismo y en los procesos descolonizadores. De ese modo,se intenta conectar aquella escritura con una memoria epistémica poscolonial.

O influxo da dialética humanista e a reforma da teoria escolástica dos tópicos no Tractatus de locis dialecticis de Alonso de Veracruz

En el Tractatus de locis dialecticis, Alonso de la Veracruz (1507-1584) promueve una reforma de la teoría de los tópicos que se caracteriza por la combinación de algunos de los elementos más expresivos de tradiciones rivales y aparentemente antagónicas como es el caso de la dialéctica humanista y de la lógica escolástica. Para determinar si tales elementos estarían articulados de manera integrada y coherente en la teoría propuesta por Fray Alonso, evaluamos la compatibilidad entre las definiciones escolástica y agricoliana de tópico, visto que ambas igualmente fueron asimiladas por el Tractatus de locis dialecticis. En el estudio aquí presentado, defendemos que Alonso de la Veracruz concilia tales definiciones, concibiendo los tópicos bajo una perspectiva prioritariamente epistémica. En seguida, averiguamos lo que llevó a Fray Alonso a enaltecer las innovaciones de la dialéctica humanista y, al mismo tiempo, insistir en el uso de las proposiciones máximas, ignorando diversas críticas a ellas dirigidas por Rodolfo Agrícola. Acreditamos que tal dificultad puede ser dilucidada mediante la hipótesis de que Alonso de la Veracruz habría optado por el mantenimiento de las máximas en razón del importante papel por ellas ejercido en la fundamentación de las inferencias entimemáticas. Finalmente, investigamos las razones por las cuales la taxonomía alonsina de los tópicos no es inviabilizada por la presencia de trazos de las teorías escolástica y humanista de los tópicos. En ese contexto, asumimos que la clasificación de los tópicos sustentada por Fray Alonso no es corrompida por su carácter híbrido, una vez que ella compatibilizaría las doctrinas más relevantes de las tradiciones escolástica y humanista.

Territorio, educacion y multiculturalidad

La ponencia presenta las líneas iniciales que orientan la inquietud investigativa como parte del proceso de formación doctoral que comienza, pensando en la relación de las concepciones de los maestros en formación en particular sobre el territorio y su incidencia en las prácticas pedagógicas, como una posibilidad de reflexionar sobre estas y los efectos que tienen en la construcción de territorios epistémicos, configurados a partir de las diversas formas de relación con el conocimiento que establecen los sujetos que participan en el acto educativo. En este contexto, es fundamental reconocer el papel de la diversidad cultural en las formas de comprensión de la realidad que diseñan rutas cognitivas en las que los sujetos privilegian unos referentes teóricos, prácticos, axiológicos frente a otros

Reglas y conciencia de las reglas : Significado, ontología y escepticismo

La tesis analiza dos objeciones corrientes a la interpretación del problema de las reglas por el Wittgenstein de Kripke: el PROBLEMA DE LA OBJETIVIDAD DE LA REGLA, ¿puede un individuo estar acertado en contra de la opinión comunitaria consensuada?; y el PROBLEMA DE LAS RELACIONES INTERNAS entre reglas y casos, presuntamente violentada por el rol de la noción de acuerdo en la misma. La estrategia general de la tesis es examinar las vías de ataque al lenguaje privado (LP) previas a la de Kripke. El contraste con las mismas permite conceptualizar adecuadamente la propuesta de Kripke, para mostrar que las objeciones mencionadas no se le aplican. En el marco de la tesis, comprendemos por LP a cualquier tesis que sostenga que las condiciones de significatividad del lenguaje pueden ser provistas por estados mentales subjetivos, p.e. creencias, de ahí el solapamiento de la tesis del lenguaje privado con el escepticismo epistemológico y con posiciones solipsistas, y la convicción de que la refutación del LP acarrea la ruina del escepticismo epistemológico. Hay dos versiones clásicas del argumento del LP. Las versiones epistemológicas (Malcom, Fogelin son los representantes que examinamos) derivan la imposibilidad del LP de la imposibilidad de establecer la verdad/corrección de un uso en el contexto de privacidad. La crítica a estas versiones (Ayer, thomson) muestra un círculo justificatorio entre oraciones subjetivas y objetivas. Las versiones semánticas (Kenny, Canfield, Tugendhat) intentan evitar el círculo, elucidando las presuposiciones que le subyacen. Esta respuesta no es satisfactoria ya que o bien regenera el círculo en un nuevo nivel, o bien no logran derrocar al círculo de la justificación. Con Stroud identificamos el fallo común de estas estrategias en el hecho de que en su intento de derrotar al escéptico-privatista, requieren o bien una PREMISA FÁCTICA que indica que conocemos, o bien la especificación del conocimiento como una NOTA DEFINICIONAL de los criterios/condiciones de significatividad que el argumento trascendental elucida en la pregunta del escéptico. Kripke impone un cambio de rumbo en el argumento, al plantear el desafío como una forma de ESCEPTICISMO SEMÁNTICO ONTOLÓGICO, el cual ya no se basa en las limitaciones cognitivas de la privacidad, sino justamente en las presuntas ventajas que presenta. El desafío de Kripke pregunta por las razones que podemos aportar para sostener que no ha ocurrido un cambio en el uso, lo cual equivale a preguntar ¿cómo sabes que tu uso actual CORRESPONDE con tu intención/significado previo? De la imposibilidad de responder a la cuestión clave del realismo clásico (correspondencia) en el caso del significado, Kripke concluye que no puede haber condiciones de verdad para las oraciones semánticas. Esto motiva una paradoja escéptica y una SOLUCIÓN ESCÉPTICA de la paradoja en términos de condiciones de aseverabilidad. Tener en cuenta el abandono de las condiciones de verdad es la clave para responder al problema de la objetividad, mientras que la forma del desafío y el funcionamiento de la concordancia en los juicios como base de atribución, es la clave para la solución del problema de las relaciones internas.

Humanos y máquinas : Aspectos epistemológicos de su relación en el debate humanismo-poshumanismo

En la tesis se consideran los procesos de cambio conceptual, teórico y metodológico que modelaron el desarrollo de los estudios sociales de la ciencia desde su emergencia hasta la actualidad, con el objeto de analizar los alcances y límites de las perspectivas humanistas y poshumanistas en la comprensión del vínculo "humano-no humano". Los estudios sociales de la ciencia conforman un campo marginal tanto dentro de los estudios metacientíficos como de la disciplina que les dio origen: la sociología. Si bien en las últimas décadas éstos han dado lugar a un significativo progreso en la comprensión cualitativa y cuantitativa de la ciencia y la tecnología, al responder primordialmente a la inquietud empírico-comparativa de programas de investigación de corte institucionalista han tendido a relegar de sus agendas de investigación el análisis epistemológico de los modelos explicativos considerados. En este sentido, en su afán de dar cuenta del carácter social de la ciencia apenas si han reparado en los nexos que pueden establecerse entre la explicación social de la ciencia y la explicación científica de "lo social". Con el objeto de atender a ello la tesis analiza las implicancias epistemológicas, metodológicas y ontológicas del estudio social de la ciencia considerando a la relación "humano-máquina" o "humano-no humano" como un hilo de Ariadna en la identificación de rupturas y continuidades en la consideración del vínculo "ciencia-sociedad". Desde esta perspectiva se estudia la dinámica de cambio conceptual, teórico y/o metodológico que dio lugar a la emergencia y desarrollo del estudio social de la ciencia en relación con aquella que modeló al estudio científico de "lo social", se identifican los cambios epistemológicos, ontológicos y metodológicos que configuraron a la dimensión no humana como un tópico relevante, cuando no ineludible, en la explicación social de la ciencia, se examinan las implicancias de la incorporación de los objetos naturales y/o tecnológicos a los modelos explicativos del estudio social de la ciencia en el contexto de la crítica poshumanista a las teorías de la acción que han asumido al sujeto como epicentro del análisis, y se analiza el impacto de la mencionada crítica en términos de un reordenamiento de los vínculos entre el estudio social de la ciencia y el estudio científico de "lo social". De este modo se ofrece una faceta de los estudios sociales de la ciencia inadvertida por buena parte de la literatura especializada, más atenta a la confrontación de imágenes sociológicas y filosóficas de la ciencia en el contexto de la denominada "guerra de las ciencias" que a sus implicancias epistemológicas para el estudio científico de "lo social". Enfatizando así el anclaje disciplinar del estudio social de la ciencia no se suscribe una visión "internalista" del progreso epistémico, sino que, por el contrario, se sugiere que la simultánea consideración de factores disciplinares y extra disciplinares resulta una estrategia tan fructífera como innovadora para analizar un campo que, al extender el dominio de la explicación social al ámbito de los fenómenos físico-naturales, ha dado lugar a uno de los más complejos casos de interacción disciplinar.

Epistemología de las ciencias de la información : Una perspectiva no fundacionista

Se propone un análisis de la cientificidad y las pretensiones de conocimiento de las ciencias de la información desde la perspectiva de Richard Rorty. Se presenta la crítica rortyana a la filosofía epistemológicamente centrada, haciendo énfasis en la presunción de que el conocimiento tiene algún tipo de fundamento último, y la presunción de que la filosofía es la encargada de esclarecer este fundamento. Se introduce la propuesta del conductismo epistemológico de Rorty como alternativa al fundacionismo de la filosofía epistemológicamente centrada. Posteriormente se realiza una revisión de diferentes posturas sobre el status científico y la legitimidad epistémica de las ciencias de la información. Se agrupan las posturas revisadas en torno a dos estrategias de fundamentación: la adscripción de las ciencias de la información a algún modelo de cientificidad, o su vinculación con un sistema filosófico general. Se afirma que ambas estrategias presuponen una perspectiva fundacionista, en cuanto buscan ofrecer una fundamentación disciplinar en base a un marco filosófico exterior. A esto se opone el conductismo epistemológico rortyano, según el cual la autoridad epistémica debe explicarse a partir de los contextos específicos de cada comunidad, y no a partir de un fundamento epistémico externo