We discuss the principles for a primitive, object-linguistic notion of consequence proposed by ) that yield a version of Curry’s paradox. We propose and study several strategies to weaken these principles and overcome paradox: all these strategies are based on the intuition that the object-linguistic consequence predicate internalizes whichever meta-linguistic notion of consequence we accept in the first place. To these solutions will correspond different conceptions of consequence. In one possible reading of these principles, they give rise to a notion (...) of logical consequence: we study the corresponding theory of validity by showing that it is conservative over a wide range of base theories: this result is achieved via a well-behaved form of local reduction. The theory of logical consequence is based on a restriction of the introduction rule for the consequence predicate. To unrestrictedly maintain this principle, we develop a conception of object-linguistic consequence, which we call grounded consequence, that displays a restriction of the structural rule of reflexivity. This construction is obtained by generalizing Saul Kripke’s inductive theory of truth. Grounded validity will be shown to satisfy several desirable principles for a naïve, self-applicable notion of consequence. (shrink)

In this paper we argue that Sen's defence of liberal democracy suffers from a moralistic and pro-liberal bias that renders it unable to take pluralism as seriously as it professes to do. That is because Sen’s commitment to respecting pluralism is not matched by his account of how to individuate the sorts of preferences that ought to be included in democratic deliberation. Our argument generalises as a critique of the two most common responses to the fact of pluralism in contemporary (...) (i.e. post-Rawls) liberalism: a broadly procedural understanding of autonomy and the idea of deliberative democracy. That is to say, the difficulties with pluralism we identify can be traced back to the particular version of Kantian deontology prevalent in contemporary liberalism, and to the equally prevalent aspiration to ground political legitimacy in a moralised consensus. (shrink)

A descriptive-exploratory analysis of assurance practices is presented in this paper, by analysing the patterns of sustainability assurance reporting in two national contexts with different levels of assurance activity over a period of 11 years. The study is based on theoretical insights drawn from institutional sociology and normativity production. It is framed both in the Italian situation, where assurance statements consistently include a narrow set of formal and procedural communications, and in an unsettled situation in the U.S., where assurance activity (...) is more incipient, but where experimentation in substantial assurance disclosure practices has more room to develop. Its main implication is that the diffusion of sustainability assurance and the creation of sustainability assurance disclosure norms are not without its cost: information quality does not increase with patterned practice. The results also point towards the noteworthy role of specific professionals in the earlier and later stages of assurance practice norms. They reveal a significant influence of non-Big4 firms in the diffusion of sustainability assurance disclosure norms. In contrast, the Big4 firms appear to be positively associated with the narrowing down of the assurance focus to a selected subset of this activity in later stages of the development of the assurance norm. In this regard, this study provides insight into the circumstantial—but relevant—carrier role of the Big4 firms in determining what “assurance” means. (shrink)

Substructural logics and their application to logical and semantic paradoxes have been extensively studied, but non-reflexive systems have been somewhat neglected. Here, we aim to fill this lacuna, at least in part, by presenting a non-reflexive logic and theory of naive consequence (and truth). We also investigate the semantics and the proof-theory of the system. Finally, we develop a compositional theory of truth (and consequence) in our non-reflexive framework.

Substructural logics and their application to logical and semantic paradoxes have been extensively studied. In the paper, we study theories of naïve consequence and truth based on a non-reflexive logic. We start by investigating the semantics and the proof-theory of a system based on schematic rules for object-linguistic consequence. We then develop a fully compositional theory of truth and consequence in our non-reflexive framework.

The original article was published without open access and with the copyright notice indicating © Springer Nature B.V. The article is now open access with the copyright residing with the authors.

Drawing on empirical evidence from history and anthropology, we aim to demonstrate that there is room for genealogical ideology critique within normative political theory. The test case is some libertarians’ use of folk notions of private property rights in defence of the legitimacy of capitalist states. Our genealogy of the notion of private property shows that asking whether a capitalist state can emerge without violations of self-ownership cannot help settling the question of its legitimacy, because the notion of private property (...) presupposed by that question is a product of the entity it is supposed to help legitimise: the state. We anchor our genealogical critique in recent work on ideology in epistemology and philosophy of language, and in current debates on the methodology of political theory. But, unlike more traditional approaches that aim to debunk whole concepts or even belief systems, we propose a more targeted, argument-specific form of ideology critique. (shrink)

Según la caracterización extendida del debate entre endurantistas y perdurantistas, los objetos materiales persisten temporalmente o bien en virtud de estar totalmente presentes en distintos momentos de tiempo, o bien en virtud de poseer partes temporales en distintos momentos de tiempo. El presente artículo se propone realizar una defensa de la teoría endurantista de las objeciones presentadas por Barker y Dowe (2003; 2005) y Hofweber y Velleman (2011). Dichas objeciones intentan mostrar que el Endurantismo (i) supone lógicamente la tesis característica (...) de la teoría perdurantista y (ii) es internamente incoherente. En contra de estas objeciones, argumento que al menos en algunas de sus versiones, la teoría endurantista es perfectamente coherente y no supone ningún compromiso con la existencia de partes temporales. (shrink)

Schaffer offers us in the last section of “On What Grounds What” (2009) an applied illustration of his allegedly Aristotelian metaontological position. According to this illustration, Schaffer’s metaontological position, supplemented with a few Aristotelian theses about substance and grounding, would converge in a view remarkably similar to his priority monism (Philosophical Studies, 145, 131–148, 2009b; Philosophical Review, 119, 31–76, 2010a), the view that there is one single fundamental substance. In this paper, I will argue against Schaffer’s suggestion that priority monism (...) represents a viable development of Aristotelian metaphysics. In particular, I will hold that the most plausible version of Schaffer’s priority monism by Aristotelian standards fails to satisfy basic Aristotelian tenets about dependence, composition, change, and persistence, and suggest that this is evidence that Aristotelians are more at home with a pluralism rather than a monism about substance. (shrink)

Introduction to the monographic section on contemporary analytic metaphysics.

The Palgrave Handbook of Practical Animal Ethics is a recent addition to anthologies in the field, joining The Oxford Handbook of Animal Ethics, and The Routledge Handbook of Animal Ethics. Edited by Andrew Linzey and Clair Linzey of the Oxford Centre for Animal Ethics, the book boasts more than 30 contributors, many of them philosophers, but also including sociologists, scientists, theologians, lawyers, psychologists, and animal advocates. The editors were intentionally multidisciplinary in their approach, noting that “there is currently no book (...) series that is a focus for multidisciplinary research in the field,” and calling attention to the need not only for philosophical inquiry into what we owe animals, but also into the “social, legal, cultural, religious and political” influences that “legitimate animal abuse” (p. viii).The book is divided up into four sections: “The Ethics of Control,” “The Ethics of Captivity,” “The Ethics of Killing,” and “The Ethics of Causing Suffering.” Each of these sections includes an editorial introduction and multiple entries spanning diverse issues, including animal research, animal agriculture, hunting, fishing, zoos, the role of animals in religion, the role of language in structuring thought about nonhuman animals, and others. Similarly, the chapters span issues affecting many species, including farmed animals, fish, deer, elephants, whales and dolphins, rodents, companion animals (e.g., dogs and cats), and others.While the book is billed as a “practical” handbook of animal ethics, it does wade into some conceptual territory, tackling such issues as the ethical permissibility of confining and controlling animals, the question of whether (painless) death harms nonhuman animals, and the comparative wrongness of killing humans and nonhuman animals. This said, it largely stays away from more detailed discussion of normative ethical theory and the moral standing of nonhuman animals, focusing instead on the specific ways that humans treat nonhuman animals. In focusing more on practical than theoretical ethics, the Palgrave Handbook of Practical Animal Ethics both complements and differentiates itself from some other anthologies in the field.The book has several strengths to recommend it, the first being the logic of its organization. The ethically problematic aspects of humans’ treatment of nonhuman animals frequently map onto one or more of the categories of causing suffering, killing, and confining. The organization of chapters under these section headings helps to provide a rational structure to the text, as well as an easy way for the reader to navigate which sections they would like to tackle first (although there is some overlap between sections). With this, the explicit and sustained focus on the ethics of control (section 1) is a welcome and differentiating feature of the text. Much prior work in animal ethics has addressed questions of harming and killing animals, but the ethical permissibility of control per se has received comparatively lesser attention.The multidisciplinary nature of the book is also a selling point. In any anthology on animal ethics, the reader can expect entries from academic philosophers, but the book's inclusion of empirical scientific reviews, sociological and legal analyses, and work in discourse analysis are strengths. One danger in focusing exclusively on what we ought to think and do is that it ignores the influences on how we actually think and act. Many of the book's entries address these influences and thus round out the normative analysis.The middle two sections of the book seem most successful to this reviewer. The section on the ethics of killing contains two well-argued conceptual chapters, coupled with practical analyses of fishing, deer hunting, and religious perspectives on killing nonhuman animals. While animal research and animal agriculture are not directly addressed in this section, the conceptual arguments can be applied to the killing of nonhuman animals in these contexts. The section on the ethics of captivity is not as conceptually strong but contains excellent empirical chapters on the welfare of elephants, whales, and dolphins in captivity. Prior work in normative ethics has established how confinement can be harmful to nonhuman animals by directly causing suffering or depriving them of opportunities for satisfaction (see, e.g., DeGrazia, 2002). However, it is important to complement such theoretical frameworks with substantiation of how captivity actually is harmful to nonhuman animals in virtue of the interests they have and how captivity infringes upon such interests. These chapters argue that captivity is fundamentally (and not conditionally) incompatible with the welfare of elephants, whales, and dolphins.If I have one criticism of the book, it is that it could be stronger on certain conceptual issues. Acknowledging its practical and not theoretical focus, it is nonetheless true that if controlling, confining, killing, and causing suffering to nonhuman animals is wrong, then it is important to say something about why it is wrong—even if that explanation amounts to a short synopsis of more theoretical work done elsewhere. While the question of killing is addressed well, the section on the ethics of causing suffering does not address directly why (or under what conditions) causing suffering is wrong. The chapters in this section are worthwhile reading and review practices causing animal suffering in a variety of contexts. Nonetheless, some additional conceptual front matter would have strengthened the section overall.From a conceptual standpoint, the sections on the ethics of control and captivity seem to hang together. Confinement is a form of control and might be argued against on the grounds that it deprives nonhuman animals of opportunities for satisfaction, directly causes physical injury, or causes psychological distress, anxiety, or boredom. These kinds of arguments fit into interest-based accounts of animal welfare, which in turn can be subsumed under a principle of nonmaleficence: We should not cause harm to animals under some specified set of conditions; confinement harms animals in ways x, y, or z; therefore, we should not confine animals in this way.While such interest-based arguments do make an appearance in the text, several of the book's authors also elaborate an autonomy-based argument against control and confinement: Nonhuman animals have their own kind of autonomy, and just as infringing upon the autonomy of paradigmatic persons is wrong, infringing upon nonhuman animals’ autonomy is also wrong. The problem with this argument is that different kinds of autonomy are likely to be at stake. The wrongness of infringing upon paradigmatic persons’ autonomy is often explained by the facts that we are self-conscious, capable of abstract thought (including language use), and capable of intentionally choosing the kind of life that we want to live (e.g., relating to long-term projects or schemes of personal ethics). It could be argued that because nonhuman animals are not capable of exercising this kind of autonomy, they therefore cannot be harmed by its infringement.Some of the book's authors chip away at this presumption, noting (inter alia) that nonhuman animals have desires to move around and do things that are thwarted by confinement or control, that these desires constitute a form of agency, and that (following previous scholarship) nonhuman animals possess some forms of self-awareness. Specifically, the chapters from Valéry Giroux and Carl Saucier-Bouffard, Lori Gruen, and Carlos Naconecy consider such arguments. Naconecy draws upon David DeGrazia's (2009) analysis of animal self-awareness in making his argument. Though the issue deserves more treatment than I can give it here, it seems that nonhuman animals’ autonomy and self-awareness, even if granted, are of a different sort than that possessed by paradigmatic persons. Specifically, (most) nonhuman animals cannot feel wronged by having their preferences overridden because they are not the kinds of beings who are capable of abstractly considering themselves as autonomous and worthy of self-direction. They may desire things, and thwarting these desires might sometimes harm them, but that is a different kind of argument.Infringing upon nonhuman animals’ (more limited kind of) autonomy might nonetheless be wrong, but if different sorts of autonomy are at stake, then moral arguments relating to paradigmatic persons cannot be directly transposed to nonhuman animals. Some additional argument(s) must be supplied, but (on my reading) the book's contributors stop short of this. Nonetheless, as stated above, the ethics of control and questions of nonhuman animals’ autonomy are not as well trod as other issues in animal ethics. Despite my taking issue with some of the details, the discussions contained in the book's first two sections are worthy reading and help to advance the field.Overall, the book's chapters are well written and cogently argued, and given its breadth, different readers will find different things to value in it. The Palgrave Handbook of Practical Animal Ethics is a welcome addition to the literature. (shrink)

Secondo un recente bilancio della filosofia del Novecento di Rossi e Viano, nel nostro secolo «il successo maggiore è toccato alle dottrine filosofiche che si sono proposte di offrire alternative alla conoscenza tecnico-scientifica e che sostengono la possibilità di alleggerire i vincoli che il sapere positivo porrebbe al modo di pensare e ai progetti di azione»2. Tali dottrine prospettano un ritorno all’antica metafisica, a cui «si ricorre non come a una forma di sapere sistematico, bensì come alla testimonianza di (...) una possibilità di pensare qualcosa che vada al di là del sapere positivo»3. Perciò il Novecento si è concluso con la vittoria, se non del «duro conservatorismo di Heidegger», almeno di «un più blando tradizionalismo, che si limita a sostenere il primato della cultura umanistica tradizionale rispetto alla cultura tecnico-scientifica»4. Per Rossi e Viano la filosofia del Novecento ha avuto questo esito poiché è risultata insostenibile la convinzione, diffusa nella filosofia analitica all’inizio degli anni Trenta, «che la filosofia avesse imboccato la strada giusta per inserirsi nel mondo del sapere scientifico specializzato»5. Dopo «che si era affermata la specializzazione del sapere, la filosofia aveva cercato di stabilire una posizione di dominio legandosi a quelle che erano sembrate le discipline titolari di un qualche primato: ora a quelle matematiche, ora a quelle naturalistiche, ora a quelle storiche»6. Essa, inoltre, aveva cercato di accreditare l’idea che l’analisi logica delle teorie scientifiche fosse comunque lo strumento più attendibile per fare filosofia. Questo tentativo della filosofia analitica, però, è fallito, e così nella cultura contemporanea è diventato chiaro che non «ci sono legami particolarmente stretti tra la filosofia e qualche scienza particolare»7. Insieme all’idea che esistesse un legame privilegiato tra la filosofia e qualche scienza particolare, «la cultura filosofica del Novecento respingeva anche l’idea che l’analisi logica delle teorie scientifiche fosse comunque lo strumento più attendibile per fare filosofia»8.. (shrink)

This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...) its axiomatic bases), that fails to imply the proposition being eliminated. In the present paper, the authors study a broader class, including contraction functions that may be less than maximal. Specifically, they investigate "partial meet contraction functions", which are defined to yield the intersection of some nonempty family of maximal subsets of the theory that fail to imply the proposition being eliminated. Basic properties of these functions are established: it is shown in particular that they satisfy the Gardenfors postulates, and moreover that they are sufficiently general to provide a representation theorem for those postulates. Some special classes of partial meet contraction functions, notably those that are "relational" and "transitively relational", are studied in detail, and their connections with certain "supplementary postulates" of Gardenfors investigated, with a further representation theorem established. (shrink)

Machine generated contents note: Part I -- Doctors -- Dr. Joseph Messer -- Dr. Sharon Sandell -- ER -- Dr. John Barrett -- Marc and Noreen Levison, a paramedic and a nurse -- Lloyd (Pete) Haywood, a former gangbanger -- Claire Hellstern, a nurse -- Ed Reardon, a paramedic -- Law and Order -- Robert Soreghan, a homicide detective -- Delbert Lee Tibbs, a former death-row inmate -- War -- Dr. Frank Raila -- Haskell Wexler, a cinematographer -- Tammy Snider, (...) a Hiroshima survivor (hibakusha) -- Mothers and Sons -- V.I.M. (Victor Israel Marquez), a Vietnam vet -- Angelina Rossi, his mother -- Guadalupe Reyes, a mother -- God's Shepherds -- Rev. Willie T. Barrow -- Father Leonard Dubi -- Rabbi Robert Marx -- Pastor Tom Kok -- Rev. Ed Townley -- The Stranger -- Rick Rundle, a city sanitation worker -- Part II -- Seeing Things -- Randy Buescher, an associate architect -- Chaz Ebert, a lawyer -- Antoinette Korotko-Hatch, a church worker -- Karen Thompson, a student -- Dimitri Mihalas, an astronomer and physicist -- A View from the Bridge -- Hank Oettinger, a retired printer -- Ira Glass, a radio journalist -- Kid Pharaoh, a retired "collector" -- Quinn Brisben, a retired teacher -- Kurt Vonnegut, a writer -- The Boomer -- Bruce Bendinger, an advertising executive and writer -- Part III -- Fathers and Sons -- Doc Watson, a folksinger -- Vernon Jarrett, a journalist -- Country Women -- Peggy Terry, a retired mountain woman -- Bessie Jones, a Georgia Sea Island Singer (1972) -- Rosalie Sorrels, a traveling folksinger -- The Plague I -- Tico Valle, a young man -- Lori Cannon, "curator" of the Open Hand Society -- Brian Matthews, an ex-bartender, writer for a gay weekly -- Jewell Jenkins, a hospital aide -- Justin Hayford, a journalist, musician -- Matta Kelly, a case manager -- The Old Guy -- Jim Hapgood -- The Plague II -- Nancy Lanoue -- Out There -- Dr. Gary Slutkin -- Day of the Dead -- Carlos Cortez, a painter and poet -- Vine Deloria, a writer and teacher -- Helen Sclair, a cemetery familiar -- The Other Son -- Steve Young, a father -- Maurine Young, a mother -- The Job -- William Herdegen, an undertaker -- Rory Moina, a hospice nurse -- The End and the Beginning -- Mamie Mobley, a mother -- Dr. Marvin Jackson, a son -- Epilogue -- Kathy Fagan and Linda Gagnon, mothers. (shrink)

A study in the logic of theory change, examining the properties of maxichoice contraction and revision operations.

This paper is concerned with formal aspects of the logic of theory change, and in particular with the process of shrinking or contracting a theory to eliminate a proposition. It continues work in the area by the authors and Peter Gärdenfors. The paper defines a notion of safe contraction of a set of propositions, shows that it satisfies the Gärdenfors postulates for contraction and thus can be represented as a partial meet contraction, and studies its properties both in general and (...) under various natural constraints. (shrink)

In this book, Carlos Montemayor and Harry Haladjian consider the relationship between consciousness and attention. The cognitive mechanism of attention has often been compared to consciousness, because attention and consciousness appear to share similar qualities. But, Montemayor and Haladjian point out, attention is defined functionally, whereas consciousness is generally defined in terms of its phenomenal character without a clear functional purpose. They offer new insights and proposals about how best to understand and study the relationship between consciousness and attention (...) by examining their functional aspects. The book's ultimate conclusion is that consciousness and attention are largely dissociated. -/- Undertaking a rigorous analysis of current empirical and theoretical work on attention and consciousness, Montemayor and Haladjian propose a spectrum of dissociation—a framework that identifies the levels of dissociation between consciousness and attention—ranging from identity to full dissociation. They argue that conscious attention, the focusing of attention on the contents of awareness, is constituted by overlapping but distinct processes of consciousness and attention. Conscious attention, they claim, evolved after the basic forms of attention, increasing access to the richest kinds of cognitive contents. -/- Montemayor and Haladjian's goal is to help unify the study of consciousness and attention across the disciplines. A focused examination of conscious attention will, they believe, enable theoretical progress that will further our understanding of the human mind. (shrink)

Investigates the resolution of contradictions and ambiguous derogations in a code, by means of the imposition of partial orderings.

Presentaré formalmente la reología como una filosofía precisa. Hoy hemos de habérnoslas con nuestras herramientas que no pueden ser, por razones que veremos, ni la epistemología ni la ontología clásicas; requerimos de «noología» y «reología», filosofías incoadas en el pensamiento de Xavier Zubiri. Teniendo a la noología por realismo de partida en el que «realidad es» modo de quedar las cosas en la aprehensión, y a la reología por realismo de llegada en el que la constitución estructural de las cosas (...) «es realidad», la metafísica queda purgada de lastres vetustos. Todo se presenta en dos partes: I) Escasez de reólogos, expondremos qué se entiende por «noología» y por «reología». II) Realidad, expondremos el problema de los «dos» realismos («de partida» y «de llegada»), lo concretizaremos en la filosofía de Zubiri y veremos que «ambos» son más bien uno solo. Concluiremos que, si queremos tener una filosofía pertinente para el conocimiento contemporáneo del mundo sin limitarnos a un estudio escolar de un autor, hemos de hacer reología. (shrink)

Hybrid languages are expansions of propositional modal languages which can refer to worlds. The use of strong hybrid languages dates back to at least [Pri67], but recent work has focussed on a more constrained system called $\mathscr{H}$. We show in detail that $\mathscr{H}$ is modally natural. We begin by studying its expressivity, and provide model theoretic characterizations and a syntactic characterization. The key result to emerge is that $\mathscr{H}$ corresponds to the fragment of first-order logic which is invariant for generated (...) submodels. We then show that $\mathscr{H}$ enjoys interpolation, provide counterexamples for its finite variable fragments, and show that weak interpolation holds for the sublanguage $\mathscr{H}$. Finally, we provide complexity results for $\mathscr{H}$ and other fragments and variants, and sharpen known undecidability results for $\mathscr{H}$. (shrink)

This chapter subsumes David Marr’s levels of analysis account of explanation in cognitive science under the framework of mechanistic explanation: Answering the questions that define each one of Marr’s three levels is tantamount to describing the component parts and operations of mechanisms, as well as their organization, behavior, and environmental context. By explicating these questions and showing how they are answered in several different cognitive science research programs, this chapter resolves some of the ambiguities that remain in Marr’s account, and (...) shows that many different areas and traditions of cognitive scientific research can be unified under the mechanistic framework. (shrink)

Cuando ahora las formas de hacer historia materializan una multiplicidad de grafías, y el giro reflexivo y el giro historiográfico nos permiten idear las historias de las teorías de la historia en una posibilidad más, en este ensayo se presenta un deseo, una promesa cuya llave de acceso precisa saber lo que pretende la locución arqueoescritura. Esbozos y trazas de la teoría de la historia en cuestión: ¿qué cabe esperar en las escrituras diferidas de la arqueoescritura? Escrituras equívocas en clave (...) derridiana de la teoría de la historia como historiografía. Una posibilidad imposible aplazada. Escrituras para examinar la metafísica de la presencia en la historiografía, conscientes de que no podrán formular una teoría de la historia en la única firma derridiana, porque lo real se resiste a ser domado e incorporado al impar filosófico derridiano. (shrink)

We are strongly inclined to believe in moral responsibility - the idea that certain human agents truly deserve moral praise or blame for some of their actions. However, recent philosophical discussion has put this natural belief under suspicion, and there are important reasons for thinking that moral responsibility is incompatible with both determinism and indeterminism, therefore potentially rendering it an impossibility. Presenting the major arguments for scepticism about moral responsibility, and subjecting them to sustained and penetrating critical analysis, _Moral Responsibility_ (...) lays out the intricate dialectic involved in these issues in a helpful and accessible way. A well-written and lively account, the book then goes on to suggest a way in which scepticism can be avoided, arguing that excessive pre-eminence given to the will might lie at its root. Offering an alternative to this scepticism, Carlos Moya shows how a cognitive approach to moral responsibility that stresses the importance of belief would rescue our natural and centrally important faith in the reality of moral responsibility. (shrink)

In some recent papers, the authors and Peter Gärdenfors have defined and studied two different kinds of formal operation, conceived as possible representations of the intuitive process of contracting a theory to eliminate a proposition. These are partial meet contraction (including as limiting cases full meet contraction and maxichoice contraction) and safe contraction. It is known, via the representation theorem for the former, that every safe contraction operation over a theory is a partial meet contraction over that theory. The purpose (...) of the present paper is to study the relationship more finely, by seeking an explicit map between the component orderings involved in each of the two kinds of contraction. It is shown that at least in the finite case a suitable map exists, with the consequence that the relational, transitively relational, and antisymmetrically relational partial meet contraction functions form identifiable subclasses of the safe contraction functions, over any theory finite modulo logical equivalence. In the process of constructing the map, as the composition of four simple transformations, mediating notions of bottom and top contraction are introduced. The study of the infinite case remains open. (shrink)

It has been commonplace to equate Foucault’s 1979 series of lectures at the Collège de France with the claim that for neoliberalism, unlike for classical liberalism, the market needs to be artificially constructed. The article expands this claim to its full expression, taking it beyond what otherwise would be a simple divulgation of a basic neoliberal tenet. It zeroes in on Foucault’s own insight: that neoliberal constructivism is not directed at the market as such, but, in principle, at society, arguing (...) that the value of this insight goes beyond the critique of a neoliberal present. The neoliberal rationale rather helps him to reveal a unique historical architecture, a latent approach to the social dissimilar to the one that has long predominated in the human sciences. The inversion of homo œconomicus in neoliberal theory amounted to the unearthing of a ‘social subject of interest’ within civil society. Such a subject, barely recognized by neoliberals who simply instrumentalize it for the sake of the market, demonstrates that the social is not necessarily the natural product of ethical subjects; that society may also need to be constructed. (shrink)

Quantified hybrid logic is quantified modal logic extended with apparatus for naming states and asserting that a formula is true at a named state. While interpolation and Beth's definability theorem fail in a number of well-known quantified modal logics , their counterparts in quantified hybrid logic have these properties. These are special cases of the main result of the paper: the quantified hybrid logic of any class of frames definable in the bounded fragment of first-order logic has the interpolation property, (...) irrespective of whether varying, constant, expanding, or contracting domains are assumed. (shrink)

We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ that (...) rigidly returns the value that $\alpha_a$ receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic. (shrink)

La presente obra constituye el esfuerzo por rastrear la historia del pensamiento cosmovisional y filosófico latinoamericano, desde las cosmovisiones pre-colombinas hasta las corrientes filosóficas más actuales: las filosofías de la liberación, la postmodernidad y la postcolonialidad. Aunque el autor ha procurado en su voluminosa obra hacer referencia a todas las numerosas corrientes de pensamiento que se han ido dando en el amplio panorama cultural latinoamericano, se ha centrado sobre todo en rastrear la denominada filosofía americanista.

Thought: A Journal of Philosophy, EarlyView.