We show that modal logics characterized by a class of frames satisfying the insertion property are suitable for Reiter's default logic. We refine the canonical fix point construction defined by Marek, Schwarz and Truszczyński for Reiter's default logic and thus we addrress a new paradigm for nonmonotonic logic. In fact, differently from the construction defined by these authors. we show that suitable modal logics for such a construction must indeed contain K D4. When reflexivity is added to the modal logic (...) used for the fix point construction then we come to the Marek Schwarz and Truszczyński framework for Reiter's default logic. Our framework, in fact, is appropriate also to the family of modal logics in between S4 and S4f. If, instead, reflexivity is dropped, then we show that a new family of modal logics is gained, namely the modal logics in between KD4 and KD4Z. The upper bound can be extended to the modal logic KD4LZ whenever the propositional language taken into account is finite. (shrink)

Elizabeth Taylor: The Queen and I is a remarkable collection of Gianni Bozzacchi’s photographs of Elizabeth Taylor, most of them previously unpublished, capturing her as a film star, a woman, and a personal friend.

An original reading of Nietzsche and Heidegger that paved the way for Vattimo’s conception of weak thought. In Beyond the Subject Gianni Vattimo offers a reading of Nietzsche and Heidegger that shows how the premises to overcome the metaphysical Subject were already embedded in their thought. Vattimo makes a case for a Nietzsche who is not concerned with the structure and glorification of the Overman, but rather with its opposite, by showing how it is the single individual who must (...) see and accept his/her potential and then excel and develop an inner strength and ethic. He reads Heidegger as concerned with the inevitable distortion present in every interpretation, which, when confronted and accepted, humbles us to deal with a less overarching telos or Grund, and makes us more attuned to contingency and interpersonal communication—what Vattimo calls a “weakened” notion of being. These original readings of Nietzsche and Heidegger pave the way for Vattimo’s concept of weak thought and open up to a future social ethic that is less agonistic and more community oriented. This edition includes two supplementary essays from 1986 and 1988 that expand on the same themes, providing a deeper look at an important decade in the development of Vattimo’s thought. (shrink)

The present paper gives a topological solution to representability problems related to multi-utility, in the field of Decision Theory. Necessary and sufficient topologies for the existence of a semicontinuous and finite Richter–Peleg multi-utility for a preorder are studied. It is well known that, given a preorder on a topological space, if there is a lower semicontinuous Richter–Peleg multi-utility, then the topology of the space must be finer than the Upper topology. However, this condition fails to be sufficient. Instead of search (...) for properties that must be satisfied by the preorder, we study finer topologies which are necessary or/and sufficient for the existence of semicontinuous representations. We prove that Scott topology must be contained in the topology of the space in case there exists a finite lower semicontinuous Richter–Peleg multi-utility. However, the existence of this representation cannot be guaranteed. A sufficient condition is given by means of Alexandroff’s topology, for that, we prove that more order implies less Alexandroff’s topology, as well as the converse. Finally, the paper is implemented with a topological study of the maximal elements. (shrink)

Introduction -- The philosophers -- Principles -- Cosmos -- Being -- Soul -- Knowledge -- Ethics -- Conclusion.

Econophysics is a branch of economics that applies concepts and methods from physics to the financial markets. This article focuses on the approaches to quantum finance developed by Kirill Ilinski and Belal E. Baaquie to deal with the uncertainty characterizing financial time series. Allegedly, their models rest on a formal analogy between quantum mechanics and finance. In order to evaluate them, we raise the question what is really quantum in quantum econophysics. We then argue that the supposed analogy breaks in (...) an important manner, which is relevant to explain the empirical success of the proposed models. (shrink)

It is well known that interval orders are particularly interesting in decision theory, since they are reflexive, complete and nontransitive binary relations which may be fully represented by means of two real-valued functions. In this paper, we discuss the existence of a pair of nonnegative, positively homogeneous and semicontinuous real-valued functionals representing an interval order on a real cone in a topological vector space. We recover as a particular case a result concerning the existence of a nonnegative, positively homogeneous and (...) continuous utility functional for a complete preorder on a real cone in a topological vector space. (shrink)

In lines 9, 5-6 Turner [=9, 9-10 Burn]) of Nicetas of Remesiana’s De uigiliis seruorum Dei the Author suggests reading, in accordance with the majority of relevant manuscripts and with the passage as a whole, ne cruditatem ructantes et crapulam, against the text established by the pamphlet’s most recent editor on the sole basis of codex R. The re-use in the passage of a locus of Cyprian supports the restitutio textus and is a significant example of the imitational method employed (...) by Nicetas. (shrink)

Since the earliest formalisation of default logic by Reiter many contributions to this appealing approach to nonmonotonic reasoning have been given. The different formalisations are here presented in a general framework that gathers the basic notions, concepts and constructions underlying default logic. Our view is to interpret defaults as special rules that impose a restriction on the juxtaposition of monotonic Hubert-style proofs of a given logicL. We propose to describe default logic as a logic where the juxtaposition of default proofs (...) is subordinate to a restriction condition . Hence a default logic is a pair (L, ) where properties of the logic , like compactness, can be interpreted through the restriction condition . Different default systems are then given a common characterization through a specific condition on the logicL. We also prove cumulativity for any default logic (L, ) by slightly modifying the notion of default proof. We extend, in fact, the language ofL in a way close to that followed by Brewka in the formulation of his cumulative default system. Finally we show the existence of infinitely many intermediary default logics, depending on and called linear logics, which lie between Reiter's and ukaszewicz' versions of default logic. (shrink)

In this paper we use the framework of generalized probabilistic theories to present two sets of basic assumptions, called axioms, for which we show that they lead to the Hilbert space formulation of quantum mechanics. The key results in this derivation are the co-ordinatization of generalized geometries and a theorem of Solér which characterizes Hilbert spaces among the orthomodular spaces. A generalized Wigner theorem is applied to reduce some of the assumptions of Solér’s theorem to the theory of symmetry in (...) quantum mechanics. Since this reduction is only partial we also point out the remaining open questions. (shrink)

According to modems interpreters, there are two differents accounts of the doctrine of predicables in Aristotle's Topics: the exclusive and the inclusive one. The shift between these two accounts it is generally explained with genetic criteria. This paper shows that not all the contradictions found between book A of Topics and its central books are real, and gives a non genetic explanatión of the authentic incoherences. It is also shown that in the whole text of Topics there is no trace (...) of an inclusive account of genus. (shrink)

A free linguistic writing in which lexemes unexpectedly means something, symbolically.

The disappearance of the technical notion ofspeciesin Montaignes’sEssaysis characteristic of the transformation that took place around the beginning of the trial of knowledge. The theory of the species is then replaced by a doctrine of the appearance as “fantasy”. The problem, which is epistemological, takes its source in the debate opposing Stoics, Neo-academicians and Pyrrhonists on the topic of the truth value of representation. The conclusive passages in theApologyenable us to grasp the neo-pyrrhonian problematic in all its complexity. In it, (...) Montaigne focuses on the difference between appearance and reality, or appearance and essence, by opposing — as Sextus did — the “nature”, in itself inaccessible, to the quality as we perceive it through our senses. The role of the senses in this process is described either as a qualification or alteration of the object, or as a “falsification” of it, which entails the classical sceptical problem of the difficulty to choose between one representation or another — and to discriminate between the qualities that are “normal” and those that are not. A comparison with Henri Estienne’s commentary to thePyrrhonianae Hypotyposesfinally sheds some light on Montaigne’s dependence toward Greek sources and Renaissance philology. (shrink)

The aim of this critical note is to discuss Heraclitus' use of analogy as a pattern of thought not only with argumentative value but also ontological and epistemological status. Heraclitus' analogy is of two kinds and is expressed in the use of the adverbs ὥσπερ ("as") and ὅκωσπερ ("just as"). The first is used as an explanatory device, while the second denotes the ontological homogeneity of logos. Analogy reveals not only the inherent opposition of logos in each single thing, but (...) also the interdependent common interrelation between things. (shrink)

By reference to the illustrative case of the supranational regulation of local systems of food production, we aim to show the importance of identifying issues of international legitimacy as a discrete component – alongside issues of global distributive justice – of the liberal project of public justification of supranational collective decisions. Therefore, we offer the diagnosis of a problem but do not prescribe the therapy to cure it.

The first book-length philosophical study on the Presocratic influences in Plotinus’ Enneads.

This book applies the formal discipline of logic to everyday discourse. It offers a new analysis of the notion of individual, suggesting that this notion is linguistic, not ontological, and that anything denoted by a proper name in a well-functioning language game is an individual. It further posits that everyday discourse is non-compositional, i.e., its complex expressions are not just the result of putting simpler ones together but react on the latter, modifying their meaning through feedback. The book theorizes that (...) in everyday discourse, there is no algebra of truth values, but the latter can be both input and output of something which has no truth value at all. It suggests that an elementary proposition of everyday discourse can, in principle, be indefinitely expanded by adding new components, belonging neither to subject nor to predicate, but remain elementary. This book is of interest to logicians and philosophers of language. (shrink)