Les pel.lícules del laberint és un assaig a l'entorn de la memòria personal, així com sobre els fonaments que han ajudat a bastir-la. En primer lloc, la filosofia, o millor dit, el que queda de la filosofia quan hom deixa de fer notes a peu de pàgina i ha d'enfrontar-se a la tasca de viure, i en segon, el cinema, en concret una selecció de deu pel·lícules triades amb un criteri subjectiu i autobiogràfic que comprèn films com Apocalypse Now, La (...) Dolce Vita o Taxi Driver, que són, alhora, el testimoni i la conseqüència de l'acompliment del nostre destí segons Nietzsche: l'adveniment del nihilisme. (shrink)

We group the existing variants of the familiar set-theoretical and truth-theoretical paradoxes into two classes: connective paradoxes, which can in principle be ascribed to the presence of a contracting connective of some sort, and structural paradoxes, where at most the faulty use of a structural inference rule can possibly be blamed. We impute the former to an equivocation over the meaning of logical constants, and the latter to an equivocation over the notion of consequence. Both equivocation sources are tightly related, (...) and can be cleared up by adopting a particular substructural logic in place of classical logic. We then argue that our perspective can be justified via an informational semantics of contraction-free substructural logics. (shrink)

This paper focuses on the role of punishment as a critical social mechanism for cheating prevention in MMORPGs. The role of punishment is empirically investigated in a case study of the MMORPG Tibia and by focusing on the use of bots to cheat. We describe the failure of punishment in Tibia, which is perceived by players as one of the elements facilitating the proliferation of bots. In this process some players act as a moral enterprising group contributing to the reform (...) of the game rules and in particular to the reform of the Tibia punishment system by the game company. In the conclusion we consider the ethical issues raised by our findings and we propose some general reflections on the role of punishment and social mechanisms for the governance of online worlds more generally. (shrink)

v. 1. De natura legis -- v. 2. De legis obligatione -- v. 3. De lege naturali -- v. 4. De iure gentium -- v. 5. De civili potestate -- v. 6. De politica obligatione -- v. 7-8. De lege positiva canonica.

Es innegable que la noción de epoché fue crucial para el surgimiento y el posterior desarrollo de la tradición fenomenológica. Si bien la resignificación que Husserl hace de ésta es sumamente original, él mismo se detiene a reconocer en la filosofía antigua el mérito de haber encontrado el camino idóneo para acceder a la subjetividad trascendental. En el siguiente trabajo buscaré, por un lado, definir la epoché tal como se origina en el pensamiento de los sofistas para luego pasar a (...) analizar el modo en el que Husserl logra reversionar dicha noción hasta convertirla en el método predilecto que nos permite arribar a la esfera trascendental. Por otro lado, continuaré rastreando la evolución de la epoché para llegar a su abandono en la filosofía de Sartre. En relación con esto último, me interesa preguntarme si el existencialismo reniega de la suspensión del juicio por considerarla inapropiada o si, más bien, se trata de una supresión parcial del método fenomenológico. Me propongo defender esta segunda tesis, alegando que, en realidad, la epoché no es una noción que esté totalmente ausente en la filosofía de Sartre sino que se mantiene vigente en términos de angustia existencial. (shrink)

Portuguese translation of Aristotle’s _Prophecy in Sleep_, preceded by a short presentation of the text and accompanied by explanatory notes.

Science is popularly understood as being an ideal of impartial algorithmic objectivity that provides us with a realistic description of the world down to the last detail. The essays collected in this book—written by some of the leading experts in the field—challenge this popular image right at its heart, taking as their starting point that science trades not only in truth, but in fiction, too. With case studies that range from physics to economics and to biology, _Fictions in Science_ reveals (...) that fictions are as ubiquitous in scientific narratives and practice as they are in any other human endeavor, including literature and art. Of course scientific activity, most prominently in the formal sciences, employs logically precise algorithmic thinking. However, the key to the predictive and technological success of the empirical sciences might well lie elsewhere—perhaps even in scientists’ extraordinary creative imagination instead. As these essays demonstrate, within the bounds of what is empirically possible, a scientist’s capacity for invention and creative thinking matches that of any writer or artist. (shrink)

Here, we discuss historical, philosophical and technical problems associated with relating logic and relating semantics. To do so, we proceed in three steps. First, Section 1 is devoted to providing an introduction to both relating logic and relating semantics. Second, we address the history of relating semantics and some of the main research directions and their philosophical applications. Third, we discuss some technical problems related to relating semantics, particularly whether the direct incorporation of the relation into the language of relating (...) logic is needed. The starting point for our considerations presented here is the 1st Workshop On Relating Logic and the selected papers for this issue. (shrink)

The following is an attempt to read Anselm’s treatise De veritate in accordance with its immanent intention by considering the question: to what extent and in which sense does it, in unfolding the concept of truth, more concretely determine the concept of God—and accordingly also the concept of man and his relationship to God? The question of whether and to what extent Anselm argues sola ratione will not be raised, but instead in what way his ratio is capable of developing (...) out of the data of belief a conceptuality that is binding for the intellectus credens. (shrink)

[1]. Liber V, De varietate legum humanarum et praesertim de odiosis --- [2]. Liber VI, de interpretatione, cessatione et mutatione legis humanae.

The aim of the present book is to give a comprehensive account of the ‘state of the art’ of substructural logics, focusing both on their proof theory and on their semantics (both algebraic and relational. It is for graduate students in either philosophy, mathematics, theoretical computer science or theoretical linguistics as well as specialists and researchers.

In this paper we introduce a new natural deduction system for the logic of lattices, and a number of extensions of lattice logic with different negation connectives. We provide the class of natural deduction proofs with both a standard inductive definition and a global graph-theoretical criterion for correctness, and we show how normalisation in this system corresponds to cut elimination in the sequent calculus for lattice logic. This natural deduction system is inspired both by Shoesmith and Smiley's multiple conclusion systems (...) for classical logic and Girard's proofnets for linear logic. (shrink)

Analizar el pensamiento político de Julián Marías supone reflexionar acerca de la propuesta de un modelo de hombre en relación con la sociedad, el poder, la libertad, la justicia y la democracia como sistema político y como educadora de convivencia. La continuidad histórica y la imaginación aparecen como reflejo de una realidad vital, que se concreta en el estudio de la monarquía, los principios que impregnaron la Transición en España y la elaboración de la Constitución.

"En faisant le choix d'un "gouverneur" plutôt que d'un "précepteur" pour éduquer Émile, Jean-Jacques Rousseau a introduit, dans la pensée éducative, des concepts qui avaient été jusque-là exclus des traités d'éducation. Dans les cours qu'il a donnés au Collège de France à partir de 1978, Michel Foucault s'est interrogé sur le problème de l'art de gouverner. Que signifie "gouverner selon la nature", et comment Rousseau envisage-t-il les questions éducatives dans ce qui relève, selon les termes de Foucault, du "gouvernement de (...) soi et des autres"?". (shrink)

Reflexión sobre el papel ejercido en las instituciones artísticas quienes intervienen en el fortalecimiento y perpetuación de un modelo de arte que en su propia vacuidad sólo actúa como reflejo de un orden económico que es desorden social.

En el despliegue conceptual del movimiento que va íde la razón a la praxisî se parte aquí de algunas tesis de J ̧rgen Habermas relativas a la redefinición del concepto de racionalidad. A partir de Hans-Georg Gadamer, y de otros pensadores de corte hermenéutico como Paul Ricoeur, Isaiah Berlin, Michael Carrithers, se siguen diversas líneas teóricas relacionadas con el significado de las ciencias humanas, las relaciones entre ciencia y cultura, el valor de la tradición y el sentido de la historia.

Paraconsistent Weak Kleene Logic is the 3-valued propositional logic defined on the weak Kleene tables and with two designated values. Most of the existing proof systems for PWK are characterised by the presence of linguistic restrictions on some of their rules. This feature can be seen as a shortcoming. We provide a cut-free calculus for PWK that is devoid of such provisos. Moreover, we introduce a Priest-style tableaux calculus for PWK.

El aborto, la reproducci n asistida, la eutanasia, el genoma humano y la clonaci n artificial son temas que han hecho de la tica m dica una disciplina vigente. En este libro, el doctor P rez Tamayo los aborda partiendo de una revisi n hist rica de la tica, propone un c digo basado nicamente en funciones de la medicina y deslinda la tica m dica de la tica general y de la tica religiosa. Este libro, adem s, es un (...) grato viaje por la historia de la medicina, desde que fue vista como una pr ctica m gico-religiosa hasta nuestros d as, considerada una disciplina cient fica altamente tecnificada. (shrink)

Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...) to a logical calculus is not as straightforward as it may seem. We show that these facts are problematic for the proof-theoretic project but the problems can be solved. Our thesis is that the consequence relation relevant for proof-theoretic semantics is the one given by the sequent-to-sequent derivability relation in Gentzen systems. (shrink)

Dave Ripley has recently argued against the plausibility of multiset consequence relations and of contraction-free approaches to paradox. For Ripley, who endorses a nontransitive theory, the best arguments that buttress transitivity also push for contraction—whence it is wiser for the substructural logician to go nontransitive from the start. One of Ripley’s allegations is especially insidious, since it assumes the form of a trivialisation result: it is shown that if a multiset consequence relation can be associated to a closure operator in (...) the expected way, then it necessarily contracts. We counter Ripley’s objection by presenting an approach to multiset consequence that escapes this trap. This approach is multiple-conclusioned in a heterodox way, for multiple succedents are given a conjunctive, rather than a disjunctive reading. Finally, we address a further objection by French and Ripley to the effect that the informational interpretation of sequents in linear logic does not motivate cut. (shrink)

En 'Cuestiones fundamentales de la sociología', texto hasta ahora inédito en castellano, Simmel sitúa el campo de investigación de esta disciplina como el espacio intermedio donde se produce el constante fluir de la interacción social, donde los encuentros generan actitudes y rituales, tanto en situaciones previstas como casuales y espontáneas. Por eso, Simmel incluye en su perspectiva sociológica fenómenos hasta ese momento desatendidos, como el secreto, el amor, la amistad, el adorno, el vestir, los perfumes, la hostilidad y la hospitalidad, (...) la fidelidad y la gratitud. Al evitar el estilo científico académico, Simmel crea un nuevo tipo de ciencia, que partiendo de una interrogación epistemológica y ontológica es capaz de proporcionar estructuras cognitivas sólidas acerca de las formas empíricas de lo social. De ahí que su 'sociología formal' desemboque en una 'sociología filosófica', desde la que plantea tres grandes oposiciones no superadas; entre individuo y sociedad, entre libertad e igualdad y entre socialismo e individualismo. Integrar estos contrastes en una síntesis es la gran tarea del futuro, 'una vez que el primado de las formas deje de ser patrimonio de la economía'. (shrink)

The strict-tolerant approach to paradox promises to erect theories of naïve truth and tolerant vagueness on the firm bedrock of classical logic. We assess the extent to which this claim is founded. Building on some results by Girard we show that the usual proof-theoretic formulation of propositional ST in terms of the classical sequent calculus without primitive Cut is incomplete with respect to ST-valid metainferences, and exhibit a complete calculus for the same class of metainferences. We also argue that the (...) latter calculus, far from coinciding with classical logic, is a close kin of Priest’s LP. (shrink)

This is the first German volume for more than one century, dealing with the two main subjects that have dominated the present reception of the Spanish philosopher and theologian Francisco Suárez (1548-1617): metaphysics and law theory. The contributors discuss both Suárez as an influential thinker of modern European school metaphysics and as a representant of a global law philosophy and ethics. They also debate on the combination of theory and praxis in the light of the question which commitment a universal (...) First Philosophy could have today. The volume is complimented by an introduction to Suárez's works and vita, an overview and guide to recent primary and secondary literature, as well as a name register.--publlisher's desciption. (shrink)

A study of language in contemporary democratic philosophy, with focus on the themes of analytic criticism, consciousness and nature, conflict between the individual and society and utopian thinking. Pérez is a scholar at the Universidad Iberamericana.

The logic DAI of demodalised analytic implication has been introduced by J.M. Dunn as a variation on a time-honoured logical system by C.I. Lewis’ student W.T. Parry. The main tenet underlying this logic is that no implication can be valid unless its consequent is “analytically contained” in its antecedent. DAI has been investigated both proof-theoretically and model-theoretically, but no study so far has focussed on DAI from the viewpoint of abstract algebraic logic. We provide several different algebraic semantics for DAI, (...) showing their equivalence with the known semantics by Dunn and Epstein. We also show that DAI is algebraisable and we identify its equivalent quasivariety semantics. This class turns out to be a linguistic and axiomatic expansion of involutive bisemilattices, a subquasivariety of which forms the algebraic counterpart of Paraconsistent Weak Kleene logic. This fact sheds further light on the relationship between containment logics and logics of nonsense. (shrink)

The aim of this article is to discuss pure variable inclusion logics, that is, logical systems where valid entailments require that the propositional variables occurring in the conclusion are included among those appearing in the premises, or vice versa. We study the subsystems of Classical Logic satisfying these requirements and assess the extent to which it is possible to characterise them by means of a single logical matrix. In addition, we semantically describe both of these companions to Classical Logic in (...) terms of appropriate matrix bundles and as semilattice-based logics, showing that the notion of consequence in these logics can be interpreted in terms of truth (or non-falsity) and meaningfulness (or meaninglessness) preservation. Finally, we use Płonka sums of matrices to investigate the pure variable inclusion companions of an arbitrary finitary logic. -/- . (shrink)

Los derechos humanos sólo adquieren sentido, para Julián Marías, en torno a la persona, una de las claves de su pensamiento. El ser humano es radicalmente diferente a cualquier otro ser, con su doble estructura analítica y empírica, permanente y cambiante al mismo tiempo, y se caracteriza por su existencia argumentativa, proyectiva y futuriza. Javier Pérez Duarte es doctor en Derecho, licenciado en Derecho y en Filosofía y Letras por la Universidad de Deusto, en cuya Facultad de Derecho imparte clases (...) de Filosofía del Derecho y de Ética de las profesiones jurídicas. Entre sus publicaciones cabe destacar Claves del pensamiento político de Julián Marías, El proyecto vital en la ancianidad, en torno a la figura de Norberto Bobbio, Personificación de las cosas y cosificación de la persona, un análisis sobre Georg Simmel en los inicios de la gran revolución industrial, El burgués emprendedor y el capitalista del éxito, un acercamiento al estudio de Werner Sombart de estas dos figuras representativas de la modernidad y Responsabilidad y arte médico en la «Ciudad Universal» de Hans Jonas, acerca de los nuevos peligros del desarrollo científico. (shrink)

La dispute LIV acheve l'ensemble monumental des Disputes metaphysiques de Suarez publiees en 1597. L'etudes des etres de raison (intentions logiques, relations logiques) constitue l'aboutissement de la division ontologique effectuee entre l'etant fini et l'etant infini a la dispute XXVIII. Alors que la metaphysique est identifiee a une science de l'etant comme etant reel, comment rendre compte de l'etude des etres de raison, de leur etantite et de leur fonction dans le systeme du savoir, sans remettre en question la legitimite (...) de ce dernier? (shrink)

I discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. I argue that a proper logic of implication should be not only relevant, but also constructive and nonmonotonic. This leads me to select as a plausible candidate LL, a fragment of linear logic that differs from R in that it rejects both contraction and distribution.

In a famous and controversial paper, B. H. Slater has argued against the possibility of paraconsistent logics. Our reply is centred on the distinction between two aspects of the meaning of a logical constant *c* in a given logic: its operational meaning, given by the operational rules for *c* in a cut-free sequent calculus for the logic at issue, and its global meaning, specified by the sequents containing *c* which can be proved in the same calculus. Subsequently, we use the (...) same strategy to counter Quine's meaning variance argument against deviant logics. In a nutshell, we claim that genuine rivalry between (similar) logics *L* and *L'* is possible whenever each constant in *L* has the same operational meaning as its counterpart in *L'* although differences in global meaning arise in at least one case. (shrink)

We introduce a generalization of MV algebras motivated by the investigations into the structure of quantum logical gates. After laying down the foundations of the structure theory for such quasi-MV algebras, we show that every quasi-MV algebra is embeddable into the direct product of an MV algebra and a “flat” quasi-MV algebra, and prove a completeness result w.r.t. a standard quasi-MV algebra over the complex numbers.