Mediante un examen crítico de los ensayos publicados en Ideas y Valores acerca de la filosofía de Ludwig Wittgenstein, el escrito busca establecer qué tan rica es nuestra asimilación del pensamiento de uno de los grandes filósofos de la historia, si tal trabajo muestra una evolución a lo largo del devenir de la revista y si el examen que hago aquí puede darnos algún indicio acerca de nuestro desarrollo filosófico. Finalmente, se hacen algunas breves consideraciones acerca de lo que significa (...) hacer filosofía desde la periferia y algunas posibles ventajas que eso tiene, así como señalar la necesidad de realizar una labor más colectiva. (shrink)

. The semantic collapse problem is perhaps the main difficulty associated to the very powerful mechanism for combining logics known as fibring. In this paper we propose cryptofibred semantics as a generalization of fibred semantics, and show that it provides a solution to the collapsing problem. In particular, given that the collapsing problem is a special case of failure of conservativeness, we formulate and prove a sufficient condition for cryptofibring to yield a conservative extension of the logics being combined. For (...) illustration, we revisit the example of combining intuitionistic and classical propositional logics. (shrink)

El libro E-physicalism - A Physicalist Theory of PhenomenalConsciousness presenta una teoría en el área de la metafísica de laconciencia fenomenal. Está basada en las convicciones de que la experienciasubjetiva -en el sentido de Nagel - es un fenómeno real,y de que alguna variante del fisicalismo debe ser verdadera.

The modern view of logical reasoning as modeled by a consequence operator has allowed for huge developments in the study of logic as an abstract discipline. Still, it is unable to explain why it is often the case that the same designation is used, in an ambiguous way, to describe several distinct modes of reasoning over the same logical language. A paradigmatic example of such a situation is ‘modal logic’, a terminology which can encompass reasoning over Kripke frames, but also (...) over Kripke models, and in any case either locally or globally . Herein, we adopt a novel abstract notion of logic presented as a lattice-structured hierarchy of consequence operators, and explore some common proof-theoretic and model-theoretic ways of presenting such hierarchies through a collection of meaningful examples. In order to illustrate the usefulness of the notion of hierarchical consequence operators we address a few questions in the theory of combined logics, where a suitable abstract presentation of the logics being combined is absolutely essential. We show how to define the operation, in general, and we achieve a number of interesting preservation results for fibring within the context of 2-hierarchies. (shrink)

The essential structure of proofs is proposed as the basis for a measure of complexity of formulas in FOL. The motivating idea was the recognition that distinct theorems can have the same derivation modulo some non essential details. Hence the difficulty in proving them is identical and so their complexity should be the same. We propose a notion of complexity of formulas capturing this property. With this purpose, we introduce the notions of schema calculus, schema derivation and description complexity of (...) a schema formula. Based on these concepts we prove general robustness results that relate the complexity of introducing a logical constructor with the complexity of the component schema formulas as well as the complexity of a schema formula across different schema calculi. (shrink)