I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

Na era das tecnologias digitais, entender vieses algorítmicos por meio das teorias da verdade ajuda a fazer perguntas cujas respostas facilitam a filtragem da informação de forma mais eficaz. O ganho é a compreensão aprofundada da realidade.

In this paper two systems of AGM-like Paraconsistent Belief Revision are overviewed, both defined over Logics of Formal Inconsistency (LFIs) due to the possibility of defining a formal consistency operator within these logics. The AGM° system is strongly based on this operator and internalize the notion of formal consistency in the explicit constructions and postulates. Alternatively, the AGMp system uses the AGM-compliance of LFIs and thus assumes a wider notion of paraconsistency - not necessarily related to the notion of formal (...) consistency. (shrink)

The Humean view that conceivability entails possibility can be criticized via input from cognitive psychology. A mainstream view here has it that there are two candidate codings for mental representations (one of them being, according to some, reducible to the other): the linguistic and the pictorial, the difference between the two consisting in the degree of arbitrariness of the representation relation. If the conceivability of P at issue for Humeans involves the having of a linguistic mental representation, then it is (...) easy to show that we can conceive the impossible, for impossibilities can be represented by meaningful bits of language. If the conceivability of P amounts to the pictorial imaginability of a situation verifying P, then the question is whether the imagination at issue works purely qualitatively, that is, only by phenomenological resemblance with the imagined scenario. If so, the range of situations imaginable in this way is too limited to have a significant role in modal epistemology. If not, imagination will involve some arbitrary labeling component, which turns out to be sufficient for imagining the impossible. And if the relevant imagination is neither linguistic nor pictorial, Humeans will appear to resort to some representational magic, until they come up with a theory of a ‘third code’ for mental representations. (shrink)

In this article I intend to show the strict relation between the notions of “second nature” and “recognition”. To do so I begin with a problem (circularity) proper to the theory of Hegelian and post- Hegelian Anerkennung. The solution strategy I propose is signifi cant also in terms of bringing into focus the problems connected with a notion of “space of reasons” that stems from the Hegelian concept of “Spirit”. I thus broach the notion of “second nature” as a bridgeconcept (...) that can play a key role both for a renewal of the theory of Anerkennung and for a rethinking of the “space of reasons” within the debate between Robert Brandom and John McDowell. Against this background I illustrate the novelties introduced by the dialectical conception of the relation between fi rst and second nature developed by Hegel and the contribution this idea can make to a revisited theory of recognition as a phenomenon articulated on two levels. I then return to the question of the space of reasons to show the contribution the renewed conception of recognition as second nature makes to the definition of its intrinsic sociality as something that is not in principle opposed to a sense of naturalness. (shrink)

Two systems of belief change based on paraconsistent logics are introduced in this article by means of AGM-like postulates. The first one, AGMp, is defined over any paraconsistent logic which extends classical logic such that the law of excluded middle holds w.r.t. the paraconsistent negation. The second one, AGMo , is specifically designed for paraconsistent logics known as Logics of Formal Inconsistency (LFIs), which have a formal consistency operator that allows to recover all the classical inferences. Besides the three usual (...) operations over belief sets, namely expansion, contraction and revision (which is obtained from contraction by the Levi identity), the underlying paraconsistent logic allows us to define additional operations involving (non-explosive) contradictions. Thus, it is defined external revision (which is obtained from contraction by the reverse Levi identity), consolidation and semi-revision, all of them over belief sets. It is worth noting that the latter operations, introduced by S. Hansson, involve the temporary acceptance of contradictory beliefs, and so they were originally defined only for belief bases. Unlike to previous proposals in the literature, only defined for specific paraconsistent logics, the present approach can be applied to a general class of paraconsistent logics which are supraclassical, thus preserving the spirit of AGM. Moreover, representation theorems w.r.t. constructions based on selection functions are obtained for all the operations. (shrink)

The paper proposes a reconstruction of some fragments of Hegel’s Jena manuscripts concerning the natural genesis of recognitive spiritual consciousness. On this basis it will be argued that recognition has a foothold in nature. As a consequence, recognition should not be understood as a bootstrapping process, that is, as a self-positing and self-justifying normative social phenomenon, intelligible within itself and independently of anything external to it.

I tackle the definition of the relation between first and second nature while examining some problems with McDowell's conception. This, in the first place, will bring out the need to extend the notion of second nature to the social dimension, understanding it not just as `inner' second nature — individual mind — but also as `outer' second nature — objective spirit. In the second place the dialectical connection between these two notions of second nature will point the way to a (...) critical use of the concept itself, which will link up with a theory of reification. Furthermore, I shall endeavor to fit my reflection into the problematic constellation of critical theory: my analysis in fact rests on the question whether, within a critical theory, the philosophy of nature can be recaptured today, in such a way as to give meaning to the very notion of socio-philosophical criticism of reality. (shrink)

Paraconsistency is the study of logical systems with a non-explosive negation such that a pair of contradictory formulas (with respect to such negation) does not necessarily imply triviality, discordant to what would be expected by contemporary logical orthodoxy. From a purely logical point of view, the significance of paraconsistency relies on the meticulous distinction between the general notions of contradictoriness and triviality of a theory—respectively, the fact that a given theory proves a proposition and its negation, and the fact that (...) a given theory proves any proposition (in the language of its underlying logic). Aside from this simple rationale, the formal techniques and approaches that meet the latter definitional requirement are manifold. Furthermore, it is not solely the logical-mathematical properties of such systems that are open to debate. Rather, there are several foundational and philosophical questions worth studying, including the very question about the nature of the contradictions allowed by paraconsistentists. This entry aims to advance a brief account of some distinct approaches to paraconsistency, providing a panorama on the development of paraconsistent logic. (shrink)

This article deals with the question of skepticism within Hegel's Phenomenology. The article reconstructs the role played by the tropes of ancient skepticism in Hegel's criticism of foundationalism and monological thinking. Furthermore, the skeptical method applied by Hegel is read as a sort of negative dialectics that is constitutive of a relational theory of rationality, and which culminates in his conception of the Absolute Knowing as speculative tropology.

We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit via (...) two methodological principles, called the Minimal Revision and the Acceptability Constraint. In Sect. 2, we introduce the standard distinction between internal and external fictional discourse. In Sects. 3–5, we discuss the approaches of (traditional) Meinongianism, Fictionalism, and Realism—and their main troubles. In Sect. 6 we propose our MMM approach. This is based upon (1) a modal semantics including impossible worlds (Subsect. 6.1); (2) a qualified Comprehension Principle for objects (Subsect. 6.2); (3) a notion of existence-entailment for properties (Subsect. 6.3). In Sect. 7 we present a formal semantics for MMM based upon a representation operator. And in Sect. 8 we have a look at how MMM solves the problems of the three aforementioned theories. (shrink)

In _"I that is We, We that is I"_ leading scholars analyze the many facets of Hegel’s formula for the intersubjective structure of human life and explores its relevance for debates on social ontology, recognition, action theory, constructivism, and naturalism.

Introductory essay to the collection "I that is We, We that is I" (ed. by Italo Testa and Luigi Ruggiu, Brill Books, 2016). In this book an international group of philosophers explore the many facets of Hegel’s formula which expresses the recognitive and social structures of human life. The book offers a guiding thread for the reconstruction of crucial motifs of contemporary thought such as the socio-ontological paradigm; the action-theoretical model in moral and social philosophy; the question of naturalism; (...) and the reassessment of the relevance of work and power for our understanding of human life. This collection addresses the shortcomings of Kantian and constructivist normative approaches to social practices and practical rationality it involves. It sheds new light on Hegel’s take on metaphysics and puts into question some presuppositions of the post-metaphysical interpretative paradigm. (shrink)

Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian worlds, and impossibilities are represented as set-theoretic constructions (...) out of them. This hybrid account (1) distinguishes many intuitively distinct impossible propositions; (2) identifies impossible propositions with extensional constructions; (3) avoids resorting to primitive modality, at least so far as Lewisian modal realism does. (shrink)

A Revisão de Crenças estuda como agentes racionais mudam suas crenças ao receberem novas informações. O sistema AGM, trabalho mais influente desta área apresentado por Alchourrón, Gärdenfos e Makinson, postula critérios de racionalidade para os diferentes tipos de mudança de crenças e oferece construções explícitas para tais - a equivalência entre os postulados e operações é chamado de teroema da representação. Trabalhos recentes mostram como o paradigma AGM pode ser compatível com diferentes lógicas não-clássicas, o que é chamado de AGM-compatibilidade (...) - este é o caso da família de lógicas paraconsistentes que analisamos, as Lógicas da Inconsistência Formal (LFIs, da sigla em inglês). A despeito da AGM-compatibilidade, ao se partir de uma nova lógica sua racionalidade subjacente deve ser entendida e sua linguagem deve ser efetivamente usada. Propomos assim novas construções que de fato capturam a intuição presente na LFIs - é o que chamamos de sistema AGMo. Com isso, possibilitamos a estas lógicas uma nova interpretação, na esteira da epistemologia formal. Em uma abordagem alternativa, ao se partir da AGM-compatibilidade os resultados AGM podem ser diretamente aplicados às LFIs - o que chamamos de sistema AGMp. Em ambas abordagens, provamos os respectivos teoremas da representação sempre que necessário. (shrink)

This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

Paper given at the 20th Biennial Meeting of the Hegel Society of America, University of South Carolina, October 24-26, 2008 -/- The local problem of the soul-body relation can be grasped only against the global background of the relation between Nature and Spirit. This relates to Hegel's naturalism: the idea that there is one single reality - living reality - and different levels of description of it. This implies, moreover, that it is possible to ascribe some form of naturality also (...) to the social body of institutionalized ethical life. Hegel’s position can thus be characterised as a kind of aristotelian social naturalism: this, at bottom, is the combined meaning of the Hegelian theses that soul is the substance of Spirit, and habit its universal form. (shrink)

A counterpossible conditional is a counterfactual with an impossible antecedent. Common sense delivers the view that some such conditionals are true, and some are false. In recent publications, Timothy Williamson has defended the view that all are true. In this paper we defend the common sense view against Williamson’s objections.

By Belief Revision it is understood a system that logically explains the rational process of changing beliefs by taking into account a new piece of information. The most influential approach in this field of study, the AGM system, proposed by Alchourrón, Gärdenfors, and Makinson, postulates rationality criteria for different types of belief change. In this paper I shall assess the relationship between those criteria and argue for an opposition between the principles of Information Economy and Consistency. Furthermore, I shall argue (...) that Paraconsistent Belief Revision manages to minimise this friction in the best possible way. (shrink)

We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...) We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.

In this paper, making reference to Robert Brandom's philosophical proposal - and against the background of Brandom's debate with Jürgen Habermas - I shall endeavor, first, to define the relation between recognition and normativity and then between recognition and criticism; in the final part of the paper I shall suggest a perspective that approaches recognition in terms of capacities. On this basis I attempt to see the critical attitude as something that is founded more on individual potentials than on formal (...) criteria and that is essentially connected with a power of redescription: a dialectical anthropology of recognition is thus the most promising base to account for that which substantiates our critical powers. (shrink)

Deliberative politics should start from an adequate and differentiated image of our dialogical practices and their normative structures; the ideals that we eventually propose for deliberative politics should be tested against this background. In this article I will argue that equal respect, understood as respect a priori conferred on persons, is not and should not be counted as a constitutive normative ground of public discourse. Furthermore, requiring such respect, even if it might facilitate dialogue, could have negative effects and lead (...) to fallacious paths of thought –as seems to happen on matters of deep disagreement such as the Colorado Fundamentalist/Gay HIV issue I discuss in paragraph 6. I will put forward this argument from the standpoint of argumentation or discourse theory, drawing consequences for dialogical theories of politics. Basing my argument on a pluralistic notion of public discourse – understood as a mixed discourse of persuasion, information-seeking and negotiation – I will argue that respect is a dynamic, situational phenomenon, and that the norm of equal respect for persons is contextually contingent in political deliberation: equal respect should be considered as a potential outcome, a discursive achievement – which I understand as a second order consensus achieved dynamically on a provisional basis – rather than as an universal condition for dialogue. (shrink)

Philosophical dialetheism, whose main exponent is Graham Priest, claims that some contradictions hold, are true, and it is rational to accept and assert them. Such a position is naturally portrayed as a challenge to the Law of Non-Contradiction (LNC). But all the classic formulations of the LNC are, in a sense, not questioned by a typical dialetheist, since she is (cheerfully) required to accept them by her own theory. The goal of this paper is to develop a formulation of the (...) Law which appears to be unquestionable, in the sense that the Priestian dialetheist is committed to accept it without also accepting something inconsistent with it, on pain of trivialism—that is to say, on pain of lapsing into the position according to which everything is the case. This will be achieved via (a) a discussion of Priest's dialetheic treatment of the notions of rejection and denial; and (b) the characterization of a negation via the primitive intuition of content exclusion. Such a result will not constitute a cheap victory for the friends of consistency. We may just learn that different things have been historically conflated under the label of 'Law of Non-Contradiction'; that dialetheists rightly attack some formulations of the Law, and orthodox logicians and philosophers have been mistaken in assimilating them to the indisputable one. (shrink)

In this paper I illustrate what is reconstructive rationality, a notion that remains rather undetermined in Robert Brandom's work. I argue that theoretical and historical thinking are instances of reconstruction and should not be identified with it. I then explore a further instance of rational reconstruction, which Brandom calls “reconstructive metaphysics”, arguing that the demarcation between metaphysical and non-metaphysical theories has to be understood as a pragmatic one. Finally, I argue that Brandom’s reconstructive metaphysics is basically a pragmatist metaphysics. Here (...) I try to outline a pragmatist understanding of the concept of metaphysics in order to reconcile Brandom's more or less implicit attempt at metaphysical theorizing with his devotion to a pragmatist tradition that is resistant if not hostile to the very idea of metaphysics. Hence I come back to the question of how pragmatism has contributed to the understanding of “reconstructive rationality”, and argue that the latter is a notion of rationality which is needed by Brandom’s philosophy but which cannot find a clear place in the typology of the five forms of rationality that he introduces, being more akin to the core structure of rationality rather than a specific form of it. (shrink)

In this paper recognition is taken to be a question of social ontology, regarding the very constitution of the social space of interaction. I concentrate on the question of whether certain aspects of the theory of recognition can be translated into the terms of a socio-ontological paradigm: to do so, I make reference to some conceptual tools derived from John Searle's social ontology and Robert Brandom's normative pragmatics. My strategy consists in showing that recognitive phenomena cannot be isolated at the (...) level of human interaction, and are, rather, in part proper to animal interaction as well. Furthermore, it is argued that recognitive powers are constitutive powers more basic than deontic ones and play a role much broader than the one they in fact assume in Searle and in Brandom. (shrink)

The theory of recognition arises within Hegel's confrontation with epistemological skepticism and aims at responding to the questions raised by modern skepticism concerning the accessibility of the external world, of other minds, and of one's own mind. This is possible to the extent that the theory of recognition is the guiding thread of a critique of the modern foundational theory of knowledge and, at the same time, the point of departure for an alternative approach. In this article I will dwell (...) on six stages of the evolution of Hegel's thought prior to the Phenomenology (1797-1806),stages shed great light on the direction taken by his argumentative strategy. Synthetically, the stages are as follows: 1. Hegel naturalizes the epistemological questions; 2. to do so he critiques foundationalism qua theory of empirical knowledge; 3. and qua theory of epistemic justification; 4. the critique of foundationalism is linked to a critique of the corresponding representationalistic theory of perception; 5. this, in turn, is linked to a critique of the monological theories of self-consciousness and to the development of a model of the rise of self-conscious knowing; 6. finally, Hegel synthesizes these epistemological views in a theory of knowledge qua recognition and in a metaphilosophical theory of philosophical rationality qua self-recognition: knowledge without foundation is thus the condition of possibility of philosophy’s self-justification. (shrink)

Revision operation is the consistent expansion of a theory by a new belief-representing sentence. We consider that in a paraconsistent setting this desideratum can be accomplished in at least three distinct ways: the output of a revision operation should be either non-trivial or non-contradictory (in general or relative to the new belief). In this paper those distinctions will be explored in the constructive level by showing how the remainder sets could be refined, capturing the key concepts of paraconsistency in a (...) dynamical scenario. These are preliminaries results of a wider project on Paraconsistent Belief Change conduced by the authors. (shrink)

An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...) with some intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question. (shrink)

The meaning of Enlightenment for the young Hegel (1785-1800) is closely related to the historical and theoretical moment in which skepticism became a constitutive aspect of his dialectical conception of philosophy. In this light the paper shows that the problem of skepticism understood as self-reflection of epistemological and social critique is deeply linked in the young Hegel’s writings with the archeology of the very idea of the dialectics of enlightenment.

Dewey’s notion of second nature is strictly connected with that of habit. I reconstruct the Hegelian heritage of this model and argue that habit qua second nature is understood by Dewey as a something which encompasses both the subjective and the objective dimension – individual dispositions and features of the objective natural and social environment.. Secondly, the notion of habit qua second nature is used by Dewey both in a descriptive and in a critical sense and is as such a (...) dialectical concept which connects ‘impulse’ and ‘habit’, ‘original’ or ‘native’ and ‘acquired’ nature, ‘first’ and ‘second nature’. Thirdly, the ethical model of second nature as habituation and the aesthetic model of second nature as art are for Dewey not opposed to one another, since by distinguishing ‘routine’ and ‘art’ as two modes of habit, he makes space for an expressive and creative notion of second nature. Finally, I argue that the expressive dialectics of habit formation plays a crucial role in Dewey’s critical social philosophy and that first and second nature operate as benchmark concepts for his diagnosis of social pathologies. (shrink)

An overview of hyperintensionality is provided. Hyperintensional languages have expressions with meanings that are more fine-grained than necessary equivalence. That is, the expressions may necessarily co-apply and yet be distinct in meaning. Adequately accounting for theories cast in hyperintensional languages is important in the philosophy of language; the philosophy of mind; metaphysics; and elsewhere. This entry presents a number of areas in which hyperintensionality is important; a range of approaches to theorising about hyperintensional matters; and a range of debates that (...) attention to hyperintensional constructions has generated. (shrink)

Hegel's philosophy aims at responding to the questions raised by modern scepticism concerning the accessibility of the external world, of other minds, and of one's own mind. A key-role in Hegel's argumentative strategy against modern scepticism is played here by Hegel's theory of recognition. Recognition mediates the constitution of individual self-consciousness and intersubjectivity: self-knowledge is not logically independent of the awareness of other minds. At the same time, recognition institutes the possibility of objective reference to the world. In this way, (...) in Hegel the theory of recognition furnishes a unitary response to the threefold sceptical issue of the accessibility of the external world, of other minds, and of one's own mind. The reference to a common world of public objects is thus possible only thanks to the mediation of recognitive capacities that are naturally possessed and socially articulated, which make possible the triangulation between self, world and others. (shrink)

A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...) this situation. The book includes almost every major author currently working in the field. The papers are on the cutting edge of the literature some of which discuss current debates and others present important new ideas. The editors have avoided papers about technical details of paraconsistent logic, but instead concentrated upon works that discuss more 'big picture' ideas. Different treatments of paradoxes takes centre stage in many of the papers, but also there are several papers on how to interpret paraconistent logic and some on how it can be applied to philosophy of mathematics, the philosophy of language, and metaphysics. (shrink)

This article proposes a general strategy to overcome normative conflicts, namely, paradoxes represented in Standard Deontic Logic. This solution is based on preference relations between norms that circumvent situations of conflict. Pragmatic justifications of the proposed method are also given.

In this article I argue that contemporary critical theory needs the conceptual tools of social ontology in order to make its own ontological commitments explicit and strengthen its interdisciplinary approach. On the other hand, contemporary analytic social ontology needs critical theory in order to be able to focus on the role that social change, power, and historicity play in the constitution of social facts, and to see the shortcomings of an agential and intentionalist approach to social facts. My thesis is (...) strengthened by a historical reconstruction of the presence of two different approaches in the original program of the family of critical theory apparently most hostile to social ontology, (the Frankfurt School), namely Horkheimer’s program of a critical social philosophy which includes a social ontology, and Adorno’s negative attitude towards it, epitomized by the paradoxical notion of “ontology of the false state”. Adorno’s negative attitude was later inherited by Habermas and Honneth, whose work I show to be nevertheless deeply laden with ontological commitments. I then argue that, if one accepts the socio-ontological redefinition of critical theory, then the post-metaphysical paradigm adopted by Habermas should be revised and a certain conception of the linguistic turn in the understanding of social action abandoned. On the side of contemporary social ontology, the impulse coming from critical theory should allow us to distinguish between forms of ‘traditional social ontology’, that simply apply ready-made general metaphysical concepts to social reality, and a ‘critical social ontology’, oriented to socializing ontology and critically transforming metaphysical categories. (shrink)

'Ontology and Metaontology: A Contemporary Guide' is a clear and accessible survey of ontology, focussing on the most recent trends in the discipline. -/- Divided into parts, the first half characterizes metaontology: the discourse on the methodology of ontological inquiry, covering the main concepts, tools, and methods of the discipline, exploring the notions of being and existence, ontological commitment, paraphrase strategies, fictionalist strategies, and other metaontological questions. The second half considers a series of case studies, introducing and familiarizing the reader (...) with concrete examples of the latest research in the field. The basic sub-fields of ontology are covered here via an accessible and captivating exposition: events, properties, universals, abstract objects, possible worlds, material beings, mereology, fictional objects. -/- The guide's modular structure allows for a flexible approach to the subject, making it suitable for both undergraduates and postgraduates looking to better understand and apply the exciting developments and debates taking place in ontology today. (shrink)

Manufacturing and industry practices are undergoing an unprecedented revolution as a consequence of the convergence of emerging technologies such as artificial intelligence, robotics, cloud computing, virtual and augmented reality, among others. This fourth industrial revolution is similarly changing the practices and capabilities of operators in their industrial environments. This paper introduces and explores the notion of the Operator 4.0 as well as how this novel way of conceptualizing the human operator necessarily implicates human values in the technologies that constitute it. (...) The design approach known as value sensitive design (VSD) is used to explore how these Operator 4.0 technologies can be designed for human values. Expert elicitation surveys were used to determine the values of industry stakeholders and examples of how the VSD methodology can be adopted by engineers in order to design for these values is illustrated. The results provide preliminary adoption strategies that industrial teams can take to Operator 4.0 technology for human values. (shrink)

In his famous work on vagueness, Russell named “fallacy of verbalism” the fallacy that consists in mistaking the properties of words for the properties of things. In this paper, I examine two (clusters of) mainstream paraconsistent logical theories – the non-adjunctive and relevant approaches –, and show that, if they are given a strongly paraconsistent or dialetheic reading, the charge of committing the Russellian Fallacy can be raised against them in a sophisticated way, by appealing to the intuitive reading of (...) their underlying semantics. The meaning of “intuitive reading” is clarified by exploiting a well-established distinction between pure and applied semantics. If the proposed arguments go through, the dialetheist or strong paraconsistentist faces the following Dilemma: either she must withdraw her claim to have exhibited true contradictions in a metaphysically robust sense – therefore, inconsistent objects and/or states of affairs that make those contradictions true; or she has to give up realism on truth, and embrace some form of anti-realistic (idealistic, or broadly constructivist) metaphysics. Sticking to the second horn of the Dilemma, though, appears to be promising: it could lead to a collapse of the very distinction, commonly held in the literature, between a weak and a strong form of paraconsistency – and this could be a welcome result for a dialetheist. (shrink)

In this contribution I outline some ideas on what the pragmatist model of habit ontology could offer us as regards the appreciation of the constitutive role that imagery plays for social action and cognition. Accordingly, a Deweyan understanding of habit would allow for an understanding of imagery in terms of embodied cognition rather than in representational terms. I first underline the motor character of imagery, and the role its embodiment in habit plays for the anticipation of action. Secondly, I reconstruct (...) Dewey's notion of imaginative rehearsal in light of contemporary, competing models of intersubjectivity such as embodied simulation theory and the narrative practice hypothesis, and argue that the Deweyan model offers us a more encompassing framework which can be useful for reconciling these approaches. In this text I am mainly concerned with sketching a broad picture of the lines along which such a project could be developed. For this reason not all questions are given equal attention, and I shall concentrate mainly on the basic ideas, without going directly into the details of many of them. (shrink)

_Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research attention. We introduce (...) a class of models featuring (i) and (ii) to represent, and reason about, agents whose belief states can be subject to framing effects. We axiomatize a logic which we prove to be sound and complete with respect to the class. (shrink)

I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...) results: nothing can be called a negation properly if it does not satisfy Contraposition and Double Negation Introduction; the pair consisting of two split or Galois negations encodes a distinction without a difference; some paraconsistent negations also fail to count as real negations, but others may; intuitionistic negation qualifies as real negation, and classical Boolean negation does as well, to the extent that constructivist and paraconsistent doubts on it do not turn on the basic concept of compatibility but rather on the interpretation of worlds. (shrink)

There is some consensus on the claim that imagination as suppositional thinking can have epistemic value insofar as it’s constrained by a principle of minimal alteration of how we know or believe reality to be – compatibly with the need to accommodate the supposition initiating the imaginative exercise. But in the philosophy of imagination there is no formally precise account of how exactly such minimal alteration is to work. I propose one. I focus on counterfactual imagination, arguing that this can (...) be modeled as simulated belief revision governed by Laplacian imaging. So understood, it can be rationally justified by accuracy considerations: it minimizes expected belief inaccuracy, as measured by the Brier score. (shrink)

In this essay I first set out the advantages the " multivariate democratic polity " framework proposed by Ferrara offers in comparison to other more consensus-based notions of democratic legitimacy. Secondly, I highlight some ambiguities concerning the meta-theoretical status of this frame, since it is not clear whether it consists of an adaptive realistic description, or otherwise is a normative argument. Thirdly, I cast some doubts on the compatibility between the multivariate frame and the " dualist conception of democratic constitutionalism (...) " adopted by Ferrara, since the latter seems too indebted to the domestic analogy, and to a consensus-based model of legitimacy. Finally, I argue that the dualist approach does not seem a convenient way to include citizenship in deliberative processes, and the question of the emergence of a transnational demos should rather be reconsidered as crucial for this purpose. (shrink)