In this paper we present a concept of similarity in games, on which to ground alternative solution concepts, some of which differ from the classical notions in the field. In order to do this we impose a constraint on players’ beliefs that amounts to a variant of the well-known symmetry principle in classical bargaining theory. We show how this similarity relation helps to identify different Nash equilibria in games, and how these “similar Nash equilibria” can be extended to non-symmetric games. (...) While the notion is normative, it is nonetheless inspired by phenomena in which similarities between players lead to outcomes detected in behavioral studies. We study the strategic properties of the concept of similarity and discuss its relationships with Hofstadter’ notion of superrationality. (shrink)

We discuss in this paper the scope of abduction in Economics. The literature on this type of inference shows that it can be interpreted in different ways, according to the role and nature of its outcome. We present a formal model that allows to capture these various meanings in different economic contexts.

In economically meaningful interactions negotiations are particularly important because they allow agents to improve their information about the environment and even to change accordingly their own characteristics. In each step of a negotiation an agent has to emit a message. This message conveys information about her preferences and endowments. Given that the information she uses to decide which message to emit comes from beliefs generated in previous stages of the negotiation, she has to cope with the uncertainty associated with them. (...) The assessment of the states of the world also evolves during the negotiation. In this paper we analyze the intertwined dynamics of beliefs and decision, in order to determine conditions on the agents that allow them to reach agreements. The framework for decision making we consider here is based on defeasible evaluation of possibilities: an argument for a choice defeats another one if it is based on a computation that better uses all the available information. (shrink)

We present a category-theoretical analysis, based on the concept of generic figures, of a diagrammatic system for propositional logic (Peirce’s Existential Graphs α\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\alpha$$\end{document}). The straightforward construction of a presheaf category EGα∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {E}}}{{\mathcal {G}}}_{\alpha ^{*}}$$\end{document} of cuts-only Existential Graphs (equivalent to the well-studied category of finite forests) provides a basis for the further construction of the category EGα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {E}}}{{\mathcal {G}}}_\alpha$$\end{document} which introduces variables in a reconstructedly generic, or label-free, mode. Morphisms in these categories represent syntactical embeddings or, equivalently but dually, extensions. Through the example of Peirce’s system, it is shown how the generic figures approach facilitates the formal investigation of relations between syntax and semantics in such diagrammatic systems. (shrink)

We present a formal analysis of Douglas Hofstadter’s concept of superrationality. We start by defining superrationally justifiable actions, and study them in symmetric games. We then model the beliefs of the players, in a way that leads them to different choices than the usual assumption of rationality by restricting the range of conceivable choices. These beliefs are captured in the formal notion of type drawn from epistemic game theory. The theory of coalgebras is used to frame type spaces and to (...) account for the existence of some of them. We find conditions that guarantee superrational outcomes. (shrink)

Many authors in the discipline as well as outsiders have claimed that the main results from Mathematical Economics are far removed from real world phenomena. A more precise version of this position is that one of the main reasons for this unrealistic stance is the use of the wrong formal tools. So, for example, it has been pointed out that the computability of choice functions as well as the existence of economic equilibria and of states of the world may not (...) be ensured in general if the assumed set theory is ZFC. We will show that there exists a very natural set theory that overcomes some formal limitations of contemporary economic theory. A switch to an alternative set theory helps to obtain in a more natural way results widely accepted by mathematical economists. Moreover, alternative set-theoretical frameworks convey different intuitions about how agents behave when solving problems. We claim that AFA−+AD+DC is the adequate alternative set-theoretical universe for economic theory. (shrink)

Peirce’s diagrammatic system of Existential Graphs (EGα)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$EG_{\alpha })$$\end{document} is a logical proof system corresponding to the Propositional Calculus (PL). Most known proofs of soundness and completeness for EGα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$EG_{\alpha }$$\end{document} depend upon a translation of Peirce’s diagrammatic syntax into that of a suitable Frege-style system. In this paper, drawing upon standard results but using the native diagrammatic notational framework of the graphs, we present (...) a purely syntactic proof of soundness, and hence consistency, for EGα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$EG_{\alpha }$$\end{document}, along with two separate completeness proofs that are constructive in the sense that we provide an algorithm in each case to construct an EGα\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$EG_{\alpha }$$\end{document} formal proof starting from the empty Sheet of Assertion, given any expression that is in fact a tautology according to the standard semantics of the system. (shrink)

Iterated admissibility embodies a minimal criterion of rationality in interactions. The epistemic characterization of this solution has been actively investigated in recent times: it has been shown that strategies surviving \ rounds of iterated admissibility may be identified as those that are obtained under a condition called rationality and m assumption of rationality in complete lexicographic type structures. On the other hand, it has been shown that its limit condition, with an infinity assumption of rationality ), might not be satisfied (...) by any state in the epistemic structure, if the class of types is complete and the types are continuous. In this paper we analyze the problem in a different framework. We redefine the notion of type as well as the epistemic notion of assumption. These new definitions are sufficient for the characterization of iterated admissibility as the class of strategies that indeed satisfy \. One of the key methodological innovations in our approach involves defining a new notion of generic types and employing these in conjunction with Cohen’s technique of forcing. (shrink)

The usual procedure in the theory of social choice consists in postulating some desirable properties which an aggregation procedure should verify and derive from them the features of a corresponding social choice function and the outcomes that arise at each possible profile of preferences. In this paper we invert this line of reasoning and try to infer, up from what we call social situations the criteria verified in the implicit aggregation procedure. This inference process, which extracts intensional from extensional information (...) can be seen as an exercise in “qualitative statistics”. (shrink)

In this paper we show that any reasoning process in which conclusions can be both fallible and corrigible can be formalized in terms of two approaches: (i) syntactically, with the use of defeasible reasoning, according to which reasoning consists in the construction and assessment of arguments for and against a given claim, and (ii) semantically, with the use of partial structures, which allow for the representation of less than conclusive information. We are particularly interested in the formalization of scientific reasoning, (...) along the lines traced by Lakatos’ methodology of scientific research programs. We show how current debates in cosmology could be put into this framework, shedding light on a very controversial topic. (shrink)

Dung’s argumentation frameworks have been applied for over twenty years to the analysis of argument justification. This representation focuses on arguments and the attacks among them, abstracting away from other features like the internal structure of arguments, the nature of utterers, the specifics of the attack relation, etc. The model is highly attractive because it reduces most of the complexities involved in argumentation processes. It can be applied to different settings, like the argument evaluation of an individual agent or the (...) case of dialectic disputes between two agents (pro and con), or even in multi-agent collective argumentation. The latter case involves agents with possibly different arguments and/or opinions on how to evaluate them, leading to the possibility of considering multiple sets of arguments and attack relations. Two basic questions can be asked here, namely ‘what to aggregate’ and ‘how to aggregate’. The former concerns what kinds of entities do the agents intend to choose (arguments, attacks, assessments, etc.), while the second one focuses on which aggregation mechanisms yield rational choices (voting on arguments, merging procedures to obtain a common argumentation framework, deliberation processes, etc.). In particular, the question about the rationality of a collective argument choice relates this topic to Social Choice and Judgment Aggregation theories, while its associated strategic issues relate it to Game Theory. The research efforts on the disparate problems elicited by collective argumentation have generated a considerable corpus of literature that deserves an orderly evaluation. This survey is intended as a contribution to that end. (shrink)

The problems that arise from the presence of self-attacking ar- guments and odd-length cycles of attack within argumentation frameworks are widely recognized in the literature on defeasible argumentation. This paper introduces two simple semantics to capture different intuitions about what kinds of arguments should become justified in such scenarios. These semantics are modeled upon two extensions of argumentation frameworks, which we call sustainable and tolerant. Each one is constructed on the common ground of the powerful concept of admissibility introduced by (...) Dung in [10]. The novelty of this approach consists in viewing the admissibility of a subset of arguments as relative to potentially challenging subsets of arguments. Both sustainable and tolerant semantics are more credulous than preferred semantics (i.e. they justify at least the same arguments, and possibly more). Given certain sufficient conditions they coincide among them as well as with other semantics introduced by Dung. (shrink)

We explore the relationship between evidence and knowledge when knowledge is described by a standard partition over a finite state space, and evidence is represented by a state-dependent collection of finite sets of messages. When the collection is measurable with respect to the partition, there is evidence for an event only if the event is self-evident—i.e., known at every one of its states. Thus, an event is commonly known in and only if there is _mutual_ evidence that implies that the (...) event has occurred, and all knowledge can be proved only when the agent is informed about the state or knows nothing. The existence of partial provability outside these two extremes hinges on the non monotonic nature of provability. (shrink)

In this paper we present an embedding of abstract argumentation systems into the framework of Barwise and Seligmans logic of information flow. We show that, taking P.M. Dungs characterization of argument systems, a local logic over states of a deliberation may be constructed. In this structure, the key feature of non-monotonicity of commonsense reasoning obtains as the transition from one local logic to another, due to a change in certain background conditions. Each of Dungs extensions of argument systems leads to (...) a corresponding ordering of background conditions. The relations among extensions becomes a relation among partial orderings of background conditions. This introduces a conceptual innovation in Barwise and Seligmans representation of commonsense reasoning. (shrink)

The use of mathematics in economics has been widely discussed. The philosophical discussion on what mathematics is remains unsettled on why it can be applied to the study of the real world. We propose to get back to some philosophical conceptions that lead to a language-like role for the mathematical analysis of economic phenomena and present some problems of interest that can be better examined in this light. Category theory provides the appropriate tools for these analytical approach.

We present a category-theoretical analysis, based on the concept of generic figures, of a diagrammatic system for propositional logic ). The straightforward construction of a presheaf category \ of cuts-only Existential Graphs provides a basis for the further construction of the category \ which introduces variables in a reconstructedly generic, or label-free, mode. Morphisms in these categories represent syntactical embeddings or, equivalently but dually, extensions. Through the example of Peirce’s system, it is shown how the generic figures approach facilitates the (...) formal investigation of relations between syntax and semantics in such diagrammatic systems. (shrink)

A formal model of abductive inference is provided in which abduction is conceived as expansive and contractive movements through a topological space of theoretical and practical commitments. A pair of presheaves over the space of commitments corresponds to communities sharing commitments on the one hand and possible obstructions to commitments on the other. In this framework, abductive inference is modeled by the dynamics of redistributed communities of commitment made in response to obstructive encounters. This semantic-pragmatic model shows how elementary category (...) theory tools can be used to formalize abductive inference while hewing close to ordinary intuitions about collective agency and reasoning. (shrink)

Kaushik Basu presenta el dilema del viajero como un desafío a la teoría de juegos. El desafío ha sido investigado experimentalmente. Al enfrentarse a la versión de Basu del DV o similares, los participantes se comportan como sugiere Basu. Sin embargo, un pequeño cambio en el juego tiene como consecuencia revertir las tendencias de elección. La cuestión es, entonces, si es posible brindar una explicación de los principales hallazgos empíricos como consecuencias de decisiones racionales. Hay varias propuestas en la literatura (...) pero ninguna provee una explicación satisfactoria de por qué expertos en teoría de juegos jugando entre sí usualmente rechazan la única estrategia no dominada del DV. El objetivo de este artículo es sugerir una propuesta alternativa que solucione este problema. (shrink)

Introduction: Physical distancing under the coronavirus disease 2019 pandemic had a significant impact on lifestyles, including exercise routines. In this study, we examined the relationship between mental health and addictive behaviors, such as excessive exercise and the use of image and performance enhancing drugs across 12 sport disciplines.Materials and methods: A large cross-sectional sample of the adult population was surveyed. The mean age was 33.09. The number of male participants was 668. The use of IPEDs was assessed in conjunction with (...) psychometric measures such as the Exercise Addiction Inventory and the Appearance Anxiety Inventory. The participants were grouped into activity group and non-activity group according to the presence or absence of their exercise habits. The results were compared between these groups, as well as across sport disciplines, while taking into account the relationship between different psychological measures and IPEDs consumption.Results: The frequency of IPEDs use was higher among AG than NAG, although AG participants reported less history of addictions than NAG. The logistic regression analysis revealed that scores equal to or above cutoff points, in both the EAI and AAI, predicted the IPEDs use. Regarding the differences across the various sport disciplines, those who were involved in practicing Weight Lifting and Cross Fit were found to be more at risk of excessive exercising and more inclined to use a wide range of IPEDs.Conclusions: Although exercise could help to increase well-being and prevent addictions during the COVID-19 pandemic, our results show that those in the AG are particularly vulnerable to excessive IPEDs use. Sport disciplines associated with higher EAI and AAI scores have also shown a higher tendency to excessive IPEDs use. Furthermore, the factor of having above the cutoff scores in EAI or AAI in each sport could indicate larger IPEDs consumption regardless of the discipline. In light of the current findings, it is necessary to better define the “non-excessive” levels of exercise in various sport disciplines and an adequate intake of IPEDs to ensure the safety and well-being of people during a pandemic. (shrink)

This research tries to emphasize the unofficial treatment of historical facts in the new historical novels. Los perros del paraíso (Paradise Dogs), by Argentinean writer Abel Posse, shows a particular management of eroticism as a fundamental narrative axis of the events starring Cristobal Colón, Isabel de Castilla and Fernando de Aragón. The novel presents a way to assume the world mediated by power and carnal desire, where the last one, in particular, is the factor that determines the big (...) historical changes —under these three characters— in Spain and America. (shrink)

This work offers an analysis of all the legal and moral issues surrounding humanitarian intervention: the deaths of innocent persons and the Doctrine of Double Effect Governmental legitimacy - The Doctrine of Effective Political Control; UN Charter and evaluation of the Nicaragua ruling; The Morality of not intervening; US-led invasion of Iraq; Humanitarian intervention authorised by the UN Security Council - Iraq, Somalia, Haiti, Rwanda, and Bosnia among others highlight NATO's intervention in Kosovo; The Nicaragua Decision; and The precedents of (...) Panama, Liberia and Sierra Leone. The book's features include: a new framework based on the doctrine of double effect; basic principles of international ethics; outline of the moral argument for humanitarian intervention; explores the morality and legality of military action to end tyranny or anarchy; arguments in a much more detailed and complete fashion than in previous editions; in-depth examination of philosophy of international law; the relationship between custom and moral theory; new discussion of the question of right authority; and a full analysis of recent interventions in Kosovo and Iraq. book addresses a broad interdisciplinary audience of international lawyers, philosophers, and political scientists. In this new edition, the author responds to critics while updating the discussion in the light of the momentous events that took place at the beginning of the new millennium. (shrink)

A dilemma has stymied interpretations of the Stranger’s method of dividing kinds into subkinds in Plato’sSophistandStatesman. The dilemma assumes that the kinds are either extensions or intensions. Now kinds divide like extensions, not intensions. But extensions cannot explain the distinct identities of kinds that possess the very same members. We propose understanding a kind as like an animal body—the Stranger’s simile for division—possessing both an extension and an intension. We find textual support in the Stranger’s paradigmatic four steps for collecting (...) a subkind. (shrink)

In Frege’s logicism, numbers are logical objects in the sense that they are extensions of certain concepts. Frege’s logical system is inconsistent, but Richard Heck showed that its restriction to predicative quantification is consistent. This predicative fragment is, nevertheless, too weak to develop arithmetic. In this paper, I will consider an extension of Heck’s system with impredicative quantifiers. In this extended system, both predicative and impredicative quantifiers co-exist but it is only permissible to take extensions of concepts formulated in the (...) predicative fragment of the language. This system is consistent. Moreover, it proves the principle of reducibility applied to concepts true of only finitely many objects. With the aid of this form of reducibility, it is possible to develop arithmetic in a thoroughly Fregean way. (shrink)

We study the emergence of all references to modern mathematics in Difference and Repetition, and we explain how, using these mathematical approaches, Deleuze constructs an “ideal synthesis of difference” which goes well beyond the usual reductionist perspectives of his commentators.

We introduce a herbrandized functional interpretation of a first-order semi-intuitionistic extension of Heyting Arithmetic and study its main properties. We then extend the interpretation to a certain system of second-order arithmetic which includes a (classically false) formulation of the FAN principle and weak König's lemma. It is shown that any first-order formula provable in this system is classically true. It is perhaps worthy of note that, in our interpretation, second-order variables are interpreted by finite sets of natural numbers.

This article analyzes the financial performance and managerial abilities of a sample of US and European socially responsible (SR) mutual funds. The period analyzed commences from January 1994 and concludes in January 2013 and yields 18 US and 89 European green funds. The results obtained for green fund managers are compared with those achieved for conventional and other forms of SR mutual fund managers. We control for the mutual fund investment objective (distinguishing between domestic and global portfolios) and for the (...) effect of crisis market periods. For US SR funds, partitioning the data into crisis and normal periods reveals that SR funds obtain statistically insignificant performance in crisis periods but underperform relative to the market in normal periods. Furthermore, the findings indicate that green funds do not perform worse than other forms of SR mutual funds. For European SR funds partitioning the data into crisis and normal periods reveals that SR funds obtain statistically insignificant performance irrespective of market conditions. Similar to the US findings, green Europe SR funds do not perform worse than other forms of SR mutual funds. Managerial abilities are not evident in the findings though unsuccessful timing of the market is revealed for both Europe and US global green funds. When analyzing managerial abilities in crisis and non-crisis market periods, US green fund managers achieve better results in crisis market periods and the opposite occurs for green fund managers in European market. (shrink)

I propose to consider the interpersonal character of testimony as a kind of social bond created by the mutual intention of sharing knowledge. The paper explores the social mechanism that supports this mutual intention starting from an initial situation of modelling the other’s epistemic perspective. Accepting testimony as a joint action creates epistemic duties and responsibilities and the eventual success can be considered as a genuine achievement at the social level of epistemology. Trust is presented here as the symptom that (...) both parties are involved in such a social bond. (shrink)

La relación que este monográfico pretende establecer entre los dos conceptos fundamentales en torno a los que gira el título, a saber, teoría y crítica, no debe considerarse ni como una casualidad ni como algo asentado, sino que supone un problema fundamental, de ahí que sean objeto de atención a la hora de fijar los contenidos de este número. Si bien la teoría responde a un conocimiento especulativo a propósito de lo dado en lo real, la crítica es una acción (...) formal, fundada y razonada, conforme a una normativa acerca de aquello mismo dado en lo real. Esta presentación quiere dar cuenta de los contenidos de este número de Fragmentos de Filosofía. ---- The relationship that this monograph seeks to establish between the two fundamental concepts around which the title revolves, namely, theory and criticism, should not be considered either as a coincidence or as something settled, but rather as a fundamental problem, which is why they are the object of attention when it comes to establishing the contents of this issue. While theory responds to a speculative knowledge about what is given in the real, criticism is a formal, founded and reasoned action, in accordance with a norm about what is given in the real. This presentation aims to give an account of the contents of this issue of Fragmentos de Filosofía. (shrink)

In the course of ten short sections, we comment on Gödel's seminal dialectica paper of fifty years ago and its aftermath. We start by suggesting that Gödel's use of functionals of finite type is yet another instance of the realistic attitude of Gödel towards mathematics, in tune with his defense of the postulation of ever increasing higher types in foundational studies. We also make some observations concerning Gödel's recasting of intuitionistic arithmetic via the dialectica interpretation, discuss the extra principles that (...) the interpretation validates and comment on extensionality and higher order equality. The latter sections focus on the role of majorizability considerations within the dialectica and related interpretations for extracting computational information from ordinary proofs in mathematics. (shrink)

Science in film, and usual equivalents such asscience on filmorscience on screen, refer to the cinematographic representation, staging, and enactment of actors, information, and processes involved in any aspect or dimension of science and its history. Of course, boundaries are blurry, and films shot as research tools or documentation also display science on screen. Nonetheless, they generally count asscientific film, andscience inandon filmorscreentend to designate productions whose purpose is entertainment and education. Moreover, these two purposes are often combined, and inherently (...) concern empirical, methodological, and conceptual challenges associated withpopularization,science communication, and thepublic understanding of science. It is in these areas that the notion of thedeficit modelemerged to designate a point of view and a mode of understanding, as well as a set of practical and theoretical problems about the relationship between science and the public. (shrink)

In this article we study applications of the bounded functional interpretation to theories of feasible arithmetic and analysis. The main results show that the novel interpretation is sound for considerable generalizations of weak König’s Lemma, even in the presence of very weak induction. Moreover, when this is combined with Cook and Urquhart’s variant of the functional interpretation, one obtains effective versions of conservation results regarding weak König’s Lemma which have been so far only obtained non-constructively.

In this work we define, in a general way, an algebraic semantics for the logics of the hierarchy InPk. This semantics is defined by means of an alternative construction, with respect to the usual algebraic semantics, and it is known in the literature as Twist-structures semantics. Besides that, we modify such construction, defining the so-called ω-Twist-structures here. This adaptation allows us to prove adequacy theorems for every logic of the hierarchy InPk.

RESUMEN En el prólogo a la segunda edición de la Crítica de la razón pura, ¿qué ha querido decir Kant con una “revolución del modo de pensar” que se debe aplicar a la metafísica para que tome el camino de la ciencia? Cabe distinguir dos significados: uno de carácter metodológico, que asume que el conocimiento rige a los objetos y tendría alcance. Aplicada a la metafísica, supone una transformación más profunda que permite hablar, en segundo lugar, de un significado metafísico (...) específico, que implica que el conocimiento constituye aquello mismo a lo que se llama el objeto de las representaciones. ABSTRACT What is Kant referring to when, in the Preface to the Second Edition of the Critique of Pure Reason, he speaks of the “revolution in the way of thinking” that is needed for metaphysics to enter the path of science? Two meanings are possible. The first is a methodological one, which assumes that knowledge governs objects and would, therefore, extend to metaphysics. Applied to the latter, a more profound transformation is needed, one that would make it possible to speak of a specific metaphysical meaning entailing that knowledge constitutes the object of representations. (shrink)

We give an elementary proof of the strong normalization of the atomic polymorphic calculus Fat.

Every model of IΔ0 is the tally part of a model of the stringlanguage theory Th-FO . We show how to “smoothly” introduce in Th-FO the binary length function, whereby it is possible to make exponential assumptions in models of Th-FO. These considerations entail that every model of IΔ0 + ¬exp is a proper initial segment of a model of Th-FO and that a modicum of bounded collection is true in these models.

This article delves into the philosophical theses on law and ethics as presented by Thomas Hobbes and Immanuel Kant, with a focus on the notion of resistance in a legal context. It contrasts Hobbes’ advocacy for nearly unrestricted state authority and a morality closely tied to the state, against Kant’s emphasis on moral law and natural rights as the underpinnings of legality. A pivotal discussion point is Kant’s perceived contradiction in supporting a fundamental right to freedom while limiting the right (...) to resist laws that infringe upon this freedom. By comparing these philosophical authors, the article posits that Kant’s theory of resistance requires integration with his broader ethical views, suggesting that human rights should constrain positive law. (shrink)

This work aims to re-evaluate the importance of the human imagination in the semiotic of C. S. Peirce. Based on a selection of texts from the Collected Papers (from 1878 to 1903), it attempts to describe the formal relationship between imagination and the controversial notion of semiotic ground. This account of the imagination as a prerequisite for the creation of new beliefs and habits also draws from the Aristotelian notion of "ascending mimesis" and the Peircean normative science of esthetics.

Numerical probabilities are eliminated in favor of qualitative notions, with an eye to isolating what it is about probabilities that is essential to judgements of acceptability. A basic choice point is whether the conjunction of two propositions, each acceptable, must be deemed acceptable. Concepts of acceptability closed under conjunction are analyzed within Keisler's weak logic for generalized quantifiers — or more specifically, filter quantifiers. In a different direction, the notion of a filter is generalized so as to allow sets with (...) probability non-infinitesimally below 1 to be acceptable. (shrink)

We formulate schemes and of the “typical” ∀∑ 1 b -sentences that are provable in T 2 1 , respectively T 2 2 . As an application, we reprove a recent result of Buss and Krajíček which describes witnesses for the ∀∑ 1 b -sentences provable in T 2 1 in terms of solutions to PLS-problems.

Castoriadis's interpretation of Freud centres on the idea of the radical imagination; the introduction of this concept into psychoanalysis has consequences which affect all levels of the Freudian project. As Castoriadis sees it, Freud's foundational insights are not in dispute, but the reference to the imagination makes it possible to articulate them in new ways and build new bridges between psychoanalysis and social theory. In its capacity as a source of representation and meaning, the radical imagination is - together with (...) the drives - a `co-foundation of the psyche'; further reflection along those lines leads Castoriadis to radicalise the concept of the unconscious and introduce the notion of the primal monad, but at the same time, his revised concept of sublimation links the psyche to the social-historical world. In all these regards, there are significant affinities between Castoriadis's work and the post-Lacanian currents in French psychoanalysis. (shrink)

El presente estudio analiza las figuras poéticas en la novela _Insensatez, _de Horacio Castellanos Moya, las cuales son parte de un imaginario de violencia militarizada y deshumanizada que es visto por medio de testimonios de sobrevivientes indígenas de un episodio ambiguo en un territorio desconocido. Estas imágenes, entendidas desde el personaje de un literato, se reconstruyen y alteran la percepción del protagonista en su presente. El texto se estudia a partir de las categorías estéticas de lo sublime y lo siniestro, (...) propuestas por Edmund Burke y Sigmund Freud, y busca comprender cómo estos pasajes no solo causan una fascinación por el artificio literario en el protagonista, sino también el proceso en que el lector puede observar de qué forma la reconstrucción de un evento traumático afecta su conciencia; con la intención de observar el carácter universal con el que se dota al texto. (shrink)