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)

Scopo di questo agile ma denso volume è approfondire “The part played by the mathematical construction in the context of a full investigation of Kant’s theory of sensibility, that to say the Transcendental Aesthetic”. Si tratta della ripresentazione della tesi di dottorato della Shabel, da cui la stessa ha riportato ampi squarci per un articolo award-winning 1998 dal titolo ”Kant on the Symbolic Construction of Mathematical Concepts” (Studies in the History and the Philosophy of Science). Non si tratta di un (...) saggio di circostanza, bensì del risultato di un'attenta e approfondita ricerca sul ruolo della costruzione di concetti, come praticata e intesa in matematica al tempo di Kant e che sicuramente influenzò la stesura dell’Estetica Trascendentale. (shrink)

The human attempts to access, measure and organize physical phenomena have led to a manifold construction of mathematical and physical spaces. We will survey the evolution of geometries from Euclid to the Algebraic Geometry of the 20th century. The role of Persian/Arabic Algebra in this transition and its Western symbolic development is emphasized. In this relation, we will also discuss changes in the ontological attitudes toward mathematics and its applications. Historically, the encounter of geometric and algebraic perspectives enriched the mathematical (...) practices and their foundations. Yet, the collapse of Euclidean certitudes, of over 2300 years, and the crisis in the mathematical analysis of the 19th century, led to the exclusion of “geometric judgments” from the foundations of Mathematics. After the success and the limits of the logico-formal analysis, it is necessary to broaden our foundational tools and re-examine the interactions with natural sciences. In particular, the way the geometric and algebraic approaches organize knowledge is analyzed as a cross-disciplinary and cross-cultural issue and will be examined in Mathematical Physics and Biology. We finally discuss how the current notions of mathematical (phase) “space” should be revisited for the purposes of life sciences. (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.

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)

'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)

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.

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)

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)

Biological evolution is a complex blend of ever changing structural stability, variability and emergence of new phe- notypes, niches, ecosystems. We wish to argue that the evo- lution of life marks the end of a physics world view of law entailed dynamics. Our considerations depend upon dis- cussing the variability of the very ”contexts of life”: the in- teractions between organisms, biological niches and ecosys- tems. These are ever changing, intrinsically indeterminate and even unprestatable: we do not know ahead of (...) time the ”niches” which constitute the boundary conditions on selec- tion. More generally, by the mathematical unprestatability of the ”phase space”, no laws of mo- tion can be formulated for evolution. We call this radical emergence, from life to life. The purpose of this paper is the integration of variation and diversity in a sound concep- tual frame and situate unpredictability at a novel theoretical level, that of the very phase space. Our argument will be carried on in close comparisons with physics and the mathematical constructions of phase spaces in that discipline. The role of symmetries as invariant preserving transformations will allow us to under- stand the nature of physical phase spaces and to stress the differences required for a sound biological theoretizing. In this frame, we discuss the novel notion of ”enablement”. Life lives in a web of enablement and radical emergence. This will restrict causal analyses to differential cases. Mutations or other causal differ- ences will allow us to stress that ”non conservation princi- ples” are at the core of evolution, in contrast to physical dynamics, largely based on conservation principles as sym- metries. Critical transitions, the main locus of symmetry changes in physics, will be discussed, and lead to ”extended criticality” as a conceptual frame for a better understanding of the living state of matter. (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)

I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...) conditionals, the closest worlds are relevantly closest belief-worlds: closest to how things are believed to be, rather than to how they are. Also, closeness takes into account apriority and the opacity of intentional contexts. (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)

Symmetries play a major role in physics, in particular since the work by E. Noether and H. Weyl in the first half of last century. Herein, we briefly review their role by recalling how symmetry changes allow to conceptually move from classical to relativistic and quantum physics. We then introduce our ongoing theoretical analysis in biology and show that symmetries play a radically different role in this discipline, when compared to those in current physics. By this comparison, we stress that (...) symmetries must be understood in relation to conservation and stability properties, as represented in the theories. We posit that the dynamics of biological organisms, in their various levels of organization, are not just processes, but permanent (extended, in our terminology) critical transitions and, thus, symmetry changes. Within the limits of a relative structural stability (or interval of viability), variability is at the core of these transitions. (shrink)

Is there a notion of contradiction—let us call it, for dramatic effect, “absolute”—making all contradictions, so understood, unacceptable also for dialetheists? It is argued in this paper that there is, and that spelling it out brings some theoretical benefits. First it gives us a foothold on undisputed ground in the methodologically difficult debate on dialetheism. Second, we can use it to express, without begging questions, the disagreement between dialetheists and their rivals on the nature of truth. Third, dialetheism has an (...) operator allowing it, against the opinion of many critics, to rule things out and manifest disagreement: for unlike other proposed exclusion-expressing-devices (for instance, the entailment of triviality), the operator used to formulate the notion of absolute contradiction appears to be immune both from crippling expressive limitations and from revenge paradoxes—pending a rigorous nontriviality proof for a formal dialetheic theory including it. (shrink)

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)

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)

The development of manufacturing technologies for new materials involves the generation of a large and continually evolving volume of information. The analysis, integration and management of such large volumes of data, typically stored in multiple independently developed databases, creates significant challenges for practitioners. There is a critical need especially for open-sharing of data pertaining to engineering design which together with effective decision support tools can enable innovation. We believe that ontology applied to engineering (OE) represents a viable strategy for the (...) alignment, reconciliation and integration of diverse and disparate data. The scope of OE includes: consistent capture of knowledge pertaining to the types of entities involved; facilitation of cooperation among diverse group of experts; more effective ongoing curation, and update of manufacturing data; collaborative design and knowledge reuse. As an illustrative case study we propose an ontology focused on the representation of composite materials focusing in particular on the class of Functionally Graded Materials (FGM) in particular. The scope of the ontology is to provide information about the components of such materials, the manufacturing processes involved in creation, and diversity of application ranging from additive manufacturing to restorative dentistry. The ontology is developed using Basic Formal Ontology (BFO) and the Ontology for Biomedical Investigations (OBI). (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)

We propose a dynamic hyperintensional logic of belief revision for non-omniscient agents, reducing the logical omniscience phenomena affecting standard doxastic/epistemic logic as well as AGM belief revision theory. Our agents don’t know all a priori truths; their belief states are not closed under classical logical consequence; and their belief update policies are such that logically or necessarily equivalent contents can lead to different revisions. We model both plain and conditional belief, then focus on dynamic belief revision. The key idea we (...) exploit to achieve non-omniscience focuses on topic- or subject matter-sensitivity: a feature of belief states which is gaining growing attention in the recent literature. (shrink)

The physical singularity of life phenomena is analyzed by means of comparison with the driving concepts of theories of the inert. We outline conceptual analogies, transferals of methodologies and theoretical instruments between physics and biology, in addition to indicating significant differences and sometimes logical dualities. In order to make biological phenomenalities intelligible, we introduce theoretical extensions to certain physical theories. In this synthetic paper, we summarize and propose a unified conceptual framework for the main conclusions drawn from work spanning a (...) book and several articles, quoted throughout. (shrink)

This article proposes an abstract mathematical frame for describing some features of cognitive and biological time. We focus here on the so called “extended present” as a result of protentional and retentional activities (memory and anticipation). Memory, as retention, is treated in some physical theories (relaxation phenomena, which will inspire our approach), while protention (or anticipation) seems outside the scope of physics. We then suggest a simple functional representation of biological protention. This allows us to introduce the abstract notion of (...) “biological inertia”. (shrink)

We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of the logical consequences (...) of such knowledge and beliefs, by paying a cognitive cost. The framework is applied to three instances of limited rationality, widely discussed in cognitive psychology: Stereotypical Thinking, the Framing Effect, and the Anchoring Effect. (shrink)

In this paper we reply to arguments of Kroon (“Characterization and Existence in Modal Meinongianism”. Grazer Philosophische Studien 86, 23–34) to the effect that Modal Meinongianism cannot do justice to Meinongian claims such as that the golden mountain is golden, and that it does not exist.

The aim of this article is to show how both Jan Patočka and Jürgen Habermas, starting from a reinterpretation of the idea of «lifeworld», engaged a critique of modern civilisation, aiming (with different outcomes) at a redefinition of the concept of political community. In order to achieve this goal, I firstly focus on Patočka’s understanding of modern rational civilisation and its attempt to fix the fracture between «life» and «world». At this stage, I take also advantage of Hans Blumenberg’s distinction (...) between these two terms, in order to better clarify Patočka’s stance on this problem. Secondly, I analyse Habermas’ ideas of lifeworld and system, and their uncoupling in modern societies, as well as the reemergence of this issue in Habermas’ recent works on the European economic and political crisis. Finally, I focus on the very different ways in which Patočka and Habermas tackled the ideas of conflict and crisis in contemporary world, also in view of a possible path out of this crisis through a re-constitution of Europe. (shrink)

This paper investigates the link between the consumer perception that a company is socially oriented and the consumer intention to buy products marketed by that company. We suggest that this link exists when at least two conditions prevail: (1) the products sold by that company comply with ethical and social requirements; (2) the company has an acknowledged commitment to protect consumer rights and interests. To test these hypotheses, we conducted a survey among the clients of retail chains offering Fair Trade (...) products. The results show that socially oriented companies can successfully leverage their reputation to market products with high symbolic values. (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)

We address an argument by Floridi (Synthese 168(1):151–178, 2009; 2011a), to the effect that digital and analogue are not features of reality, only of modes of presentation of reality. One can therefore have an informational ontology, like Floridi’s Informational Structural Realism, without commitment to a supposedly digital or analogue world. After introducing the topic in Sect. 1, in Sect. 2 we explain what the proposition expressed by the title of our paper means. In Sect. 3, we describe Floridi’s argument. In (...) the following three sections, we raise three difficulties for it, (i) an objection from intuitions: Floridi’s view is not supported by the intuitions embedded in the scientific views he exploits (Sect. 4); (ii) an objection from mereology: the view is incompatible with the world’s having parts (Sect. 5); (iii) an objection from counting: the view entails that the question of how many things there are doesn’t make sense (Sect. 6). In Sect. 7, we outline two possible ways out for Floridi’s position. Such ways out involve tampering with the logical properties of identity, and this may be bothersome enough. Thus, Floridi’s modus ponens will be our (and most ontologists’) modus tollens. (shrink)

I examine and rebut Ridge’s two arguments for Capacity Judgment Internalism (simply qua their particular character and content, first person normative judgments are necessarily capable of motivating without the help of any independent desire). First, the rejection of the possibility of anormativism (sec. 2), second, an argument from the rational requirement to intend to do as one judges that one ought to do (sec. 3). I conclude with a few remarks about the nature of this requirement and about verdicts of (...) akrasia. (sec. 4). (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)

In this article we explore the relationship between consciousness and the unconscious as it has taken shape within contemporary cognitive science - meaning by this term the mature cognitive science, which has fully incorporated the results of the neurosciences. In this framework we first compare the neurocognitive unconscious with the Freudian one, emphasizing the similarities and above all the differences between the two constructs. We then turn our attention to the implications of the centrality of unconscious processes in cognitive science (...) for the classical conception of the self. Our analysis will bring to light a bit of claustrophobic dialectic between an eliminative variety of naturalism and an anti-naturalistic form of hermeneutics. Hence we conclude by recommending the pursuit of a mediation between such extreme stances. (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)

We study imagination as reality-oriented mental simulation : the activity of simulating nonactual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive psychology (...) and the philosophy of mind. We then provide a logic of imagination as ROMS which models such features, combining techniques from epistemic logic, action logic, and subject matter semantics. Our logic comprises a modal propositional language with non-monotonic imagination operators, a formal semantics, and an axiomatization. (shrink)

This paper proposes an abstract mathematical frame for describing some features of biological time. The key point is that usual physical (linear) representation of time is insufficient, in our view, for the understanding key phenomena of life, such as rhythms, both physical (circadian, seasonal …) and properly biological (heart beating, respiration, metabolic …). In particular, the role of biological rhythms do not seem to have any counterpart in mathematical formalization of physical clocks, which are based on frequencies along the usual (...) (possibly thermodynamical, thus oriented) time. We then suggest a functional representation of biological time by a 2-dimensional manifold as a mathematical frame for accommodating autonomous biological rhythms. The “visual” representation of rhythms so obtained, in particular heart beatings, will provide, by a few examples, hints towards possible applications of our approach to the understanding of interspecific differences or intraspecific pathologies. The 3- dimensional embedding space, needed for purely mathematical reasons, allows to introduce a suitable extra-dimension for “representation time”, with a cognitive significance. (shrink)

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full-fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full-fledged objects. But whatever one takes "full-fledged object" to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive (...) to various philosophers. In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View . The Minimalist View may be summarized in the slogan: "Count x as an object iff it does not overlap with any y you have already counted as an object". The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all. We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting "conceptually salient" entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

In 'Fiction and Fictionalism', Mark Sainsbury has recently dubbed “Selection Problem” a serious trouble for Meinongian object theories. Typically, Meinongianism has been phrased as a kind of realism on nonexistent objects : these are mind-independent things, not mental simulacra, having the properties they have independently from the activity of any cognitive agent. But how can one single out an object we have no causal acquaintance with, and which is devoid of spatiotemporal location, picking it out from a pre-determined, mind-independent set (...) ? In this paper, I set out a line of response by distinguishing different ways in which a thing may not exist. I show that the selection problem (a) does not arise for past, currently nonexistent objects ; (b) may not arise also for future existents (provided one massages naïve intuitions a bit) ; and (c) even for mere possibilia ; but (d) is a real snag for purely fictional objects, such as Holmes or Gandalf. As for (d), I propose a solution that forces Meinongianism to introduce a kind of ontological dependence of purely fictional nonexistents upon existents. The strategy complicates the intuitively simple, naïve Meinongian framework a bit, but looks quite promising. (shrink)

Starting from the sixties of the past century theory change has become a main concern of philosophy of science. Two of the best known formal accounts of theory change are the post-Popperian theories of verisimilitude (PPV for short) and the AGM theory of belief change (AGM for short). In this paper, we will investigate the conceptual relations between PPV and AGM and, in particular, we will ask whether the AGM rules for theory change are effective means for approaching the truth, (...) i.e., for achieving the cognitive aim of science pointed out by PPV. First, the key ideas of PPV and AGM and their application to a particular kind of propositional theories - the so called "conjunctive propositions" - will be illustrated. Afterwards, we will prove that, as far as conjunctive propositions are concerned, AGM belief change is an effective tool for approaching the truth. (shrink)

This original and enticing book provides a fresh, unifying perspective on many old and new logico-philosophical conundrums. Its basic thesis is that many concepts central in ordinary and philosophical discourse are inherently circular and thus cannot be fully understood as long as one remains within the confines of a standard theory of definitions. As an alternative, the authors develop a revision theory of definitions, which allows definitions to be circular without this giving rise to contradiction (but, at worst, to “vacuous” (...) uses of definienda). The theory is applied with varying levels of detail to a circular analysis of concepts as diverse as truth, predication, necessity, physical object, etc. The focus is on truth, and hope is expressed that a deeper understanding of the Liar and related paradoxes has been provided: “We have tried to show that once the circularity of truth is recognized, a great deal of its behavior begins to make sense. In particular, from this viewpoint, the existence of the paradoxes seems as natural as the existence of the eclipses” (p. 142). We think that this hope is fully justified, although some problems remain that future research in this field should take into account. (shrink)

El uso de los DRM plantea una serie de problemas debido a posibles conflictos con otras áreas de la gestión de los bienes inmateriales, tales como el derecho de autor en primer lugar, así como el derecho de competencia, los datos personales y el régimen del consumo. El derecho comunitario europeo por su parte no ha sido ajeno a toda esta problemática, y según se analiza, con el paso de los años ha adoptado una postura que denota cada vez una (...) mayor preocupación, de una parte por la incapacidad de responder a proliferación de copias sin autorización y a la piratería de contenidos. Al finalizar el texto, se presentan unas reflexiones en castellano que recogen todos los aspectos aquí tratados. (shrink)

It is always difficult to disentangle oneself from the changes in epoch-making cultural events that have taken place over several centuries. Freemasonry is an emblematic case. It was born around the seventeenth century and still exists in the twenty-first. The changes within it have been innumerable, showing that it is not a coherent and constant phenomenon in its evolution. There have been Masonic authors, of relevant presence in Western culture, who have nailed the fundamental principles of Masonic thought, of its (...) "doing" and of its "being": Gotthold Ephraim Lessing (1729 - 1781) and Johann Gottfried von Herder (1744 - 1803). Francesco Angioni explores the sometimes abyssal differences between a way of "thinking" about the Freemasonry of the two Authors and that of today. It is the critical research of understanding the differences between a Masonic thought built on solid foundations and the construction of multiple walls of composite architecture that is not characterized by a coherent project. ============== È sempre difficile districarsi tra i cambiamenti di eventi culturali epocali che si sono svolti nel corso di più secoli. La Massoneria è un caso emblematico. Essa nasce intorno al XVII secolo ed esiste ancora nel XXI. I cambiamenti al suo interno sono stati innumerevoli, palesando che non è un fenomeno coerente e costante nel suo evolversi. Ci sono stati Autori massonici, di rilevante presenza nella cultura occidentale, che hanno inchiodato i principi fondamentali del pensiero massonico, del suo "fare" e del suo "essere": Gotthold Ephraim Lessing (1729 – 1781) e Johann Gottfried von Herder (1744 – 1803). Francesco Angioni esplora le differenze talora abissali tra un modo di "pensare" la Massoneria dei due Autori e quello di oggi. È la ricerca critica di comprensione delle diversità tra un pensiero massonico edificato su solide fondamenta e la costruzione di molteplici mura di composita architettura che non si caratterizza per un progetto coerente. (shrink)

n this text, we revisit part of the analysis of anti-entropy in Bailly and Longo (2009} and develop further theoretical reflections. In particular, we analyze how randomness, an essential component of biological variability, is associated to the growth of biological organization, both in ontogenesis and in evolution. This approach, in particular, focuses on the role of global entropy production and provides a tool for a mathematical understanding of some fundamental observations by Gould on the increasing phenotypic complexity along evolution. (...) Lastly, we analyze the situation in terms of theoretical symmetries, in order to further specify the biological meaning of anti-entropy as well as its strong link with randomness. (shrink)

The paper aims to ques- tion the traditional view of the early Royal Society of London, the oldest scientific institution in continuous existence. According to that view, the institutional life of the Society in the early decades of activity was characterized by a strictly Baconian methodology. But the re- construction of the discussions about fossils and natural history within the Society shows that this monolithic image is far from being correct. Despite the persistent reference to the Baconian Solomon House, the (...) Society did not impose or support a common programme of research in the field of the natural history of the Earth. (shrink)

Recenze: Lorraine DASTON - Elizabeth LUNBECK, E., Histories of Scientific Observation. Chicago - London: University of Chicago Press 2011, 460 pp.

Deepfake technology can be used to produce videos of real individuals, saying and doing things that they never in fact said or did, that appear highly authentic. Having accepted the premise that Deepfake content can constitute a legitimate form of expression, it is not immediately clear where the rights of content producers and distributors end, and where the rights of individuals whose likenesses are used in this content begin. This paper explores the question of whether it can be plausibly argued (...) that Deepfake content involving the likenesses of real individuals violates the rights of these individuals. (shrink)

In this paper, I would like to show how the movements of never stable meanings that link biography and religion are figured and interwoven throughout a kind of ineffable literary and philosophical notion of religion. Religion is a notion that can be understood through a cluster of topics such as origin, promise, dissociation, the unconditional, forgiveness, the undeconstructable and the possibility of the impossible—terms and expressions that Derrida suggests describe God.

Only ten years since Derrida’s death, with critical detachment, is it possible to be in touch with him again, to start from the beginning of his philosophizing in company with Plato, and from this vantage point to re-read Dissemination? What really stands between Plato and Derrida? In the first page of Pharmacia Derrida writes: “We will take off here from the Phaedrus ... Only a blind or grossly insensitive reading, could indeed spread the rumour that Plato was simply condemning the (...) writer’s activity”.1 Hence the question: Is the nexus writing/pharmakon profitable for thinking of something ambivalent and irreducible, present and absent, something bearer of indefinitely deferred presence in the play of infinite real or imaginary substitutions? The main enterprise of this essay orbits about the problematic of writing, understood as τέχνη, but also as a key locus of relation Plato/ Derrida. Here technology - and thinking of its function and value- I would like to argue, regards the technical and non-technical, the practical and theoretical, seeing that thinking of their function remains always a “parasitical contamination”, seeing that writing is another speech, and, according this statement, we may regard Plato as he who paves the way for Derrida. In what follows, through textual analysis I will focus on some interesting unrolling, connected and disconnected threads by discussing the readings of different scholars and philosophers such as the disputed classicist E. A. Havelock, the historians of ancient philosophy G. Reale and C. H. Kahn. In particular I will explore, first, the nexus speech/writing, and argue that historically Plato was a bi-medial philosopher and writer, an aspect taken for granted, but not sufficiently attended by scholarship. In the second part of the essay I hold that the Derridean reading of ‘Plato’s Pharmacy’ discovers a special deconstruction at work within Plato’s dialogues. In the light of the manifold τέχνη, and of the hybrid Khora, at the end the apparent ambiguity in Plato’s stance and Derrida’s φάρμακον invites us to identify Plato as the Father of deconstruction. (shrink)

Letters exchanged by scientists are a crucial source by which to trace the process that accompanies their scientific evolution. In this paper -accomplished through a historical approach- I aim to throw new light on Leibniz's continuing interest in classical geometry and to stress the significance of his correspondence with the Italian mathematician Vitale Giordano.