Does intellectual property satisfy the requirements of the Lockean proviso, that the appropriator leave “enough and as good” or that he at least not “deprive others”? If an author's appropriation of a work he has just created is analogous to a drinker “taking a good draught” in the flow of an inexhaustible river, or to someone magically “causing springs of water to flow in the desert,” how could it not satisfy the Lockean proviso?

A thought experiment demonstrates that physicalism about consciousness entails a para- doxical duplication of physical information. Moreover, objective existence acquires the status of a physical property. To avoid this paradox, one requires a concept of objectivity in which individuation is finite and incomplete. Finite individuation requires objective uncertainty and is thus corroborated by the contemporary sciences. Finite individuation and objective uncer- tainty prevent existence from becoming a physical property, thus defeating physicalism about consciousness and resolving the paradox.

This article examines the principle of wealth maximization, as developed by Richard Posner, seeking to dispel misunderstandings, address criticisms, and contextualize its role in legal and political philosophy. The paper first delineates the distinction between the concepts of experienced utility and decision utility, elucidating how the latter is fundamental to the principle of wealth maximization. Next, the authors engage with criticisms of wealth maximization, including issues relating to basic needs, individual rights, and distributive justice. The paper contends that these aspects (...) of ‘justice’ can be understood as emergent properties of efficiency. The article then presents affirmative arguments for wealth maximization by connecting it to social contract theory and demonstrating its consistency with the tenets of liberal democracy. By analyzing the concept from both Hobbesian and Rawlsian perspectives, the paper illustrates the merits of the wealth maximization principle in relation to social contract theory. In conclusion, the article argues that wealth maximization serves as a robust and justifiable framework for legal and philosophical analysis, ultimately offering a better fit with the principles of liberal democracy than competing normative theories. (shrink)

This paper considers a formalisation of classical logic using general introduction rules and general elimination rules. It proposes a definition of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system, and gives reduction procedures for them. It is then shown that deductions in the system convert into normal form, i.e. deductions that contain neither maximal formulas nor maximal segments, and that deductions in normal form satisfy the subformula property. Tarski’s Rule is treated as a general (...) introduction rule for implication. The general introduction rule for negation has a similar form. Maximal formulas with implication or negation as main operator require reduction procedures of a more intricate kind not present in normalisation for intuitionist logic. (shrink)

We consider a basic logic with two primitive uni-modal operators: one for certainty and the other for plausibility. The former is assumed to be a normal operator, while the latter is merely a classical operator. We then define belief, interpreted as “maximally plausible possibility”, in terms of these two notions: the agent believes \ if she cannot rule out \ ), she judges \ to be plausible and she does not judge \ to be plausible. We consider four interaction (...) class='Hi'>properties between certainty and plausibility and study how these properties translate into properties of belief. We then prove that all the logics considered are minimal logics for the highlighted theorems. We also consider a number of possible interpretations of plausibility, identify the corresponding logics and show that some notions considered in the literature are special cases of our framework. (shrink)

This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of ‘maximal formula’, ‘segment’ and ‘maximal segment’ suitable to the system are formulated and corresponding reduction procedures for maximal formulas and permutative reduction procedures for maximal segments given. Alternatives to the main method used are also considered. It is shown that deductions in the system convert into normal (...) form and that deductions in normal form have the subformula property. (shrink)

In this work we study dimensional theoretical properties of some a±ne dynamical systems. By dimensional theoretical properties we mean Hausdor® dimension and box- counting dimension of invariant sets and ergodic measures on theses sets. Especially we are interested in two problems. First we ask whether the Hausdor® and box- counting dimension of invariant sets coincide. Second we ask whether there exists an ergodic measure of full Hausdor® dimension on these invariant sets. If this is not the case we (...) ask the question, whether at least the variational principle for Haus- dor® dimension holds, which means that there is a sequence of ergodic measures such that their Hausdor® dimension approximates the Hausdor® dimension of the invariant set. It seems to be well accepted by experts that these questions are of great importance in developing a dimension theory of dynamical systems (see the book of Pesin about dimension theory of dynamical systems [PE2]). Dimensional theoretical properties of conformal dynamical systems are fairly well understood today. For example there are general theorems about conformal repellers and hyperbolic sets for conformal di®eomorphisms (see chapter 7 of [PE2]). On the other hand the existence of two di®erent rates of expansion or contraction forces problems that are not captured by a general theory this days. At this stage of de- velopment of the dimension theory of dynamical systems it seems natural to study non conformal examples. This is the ¯rst step to understand the mechanisms that determine dimensional theoretical properties of non conformal dynamical systems. A±ne dynamical systems represent simple examples of non conformal systems. They are easy to de¯ne, but studying their dimensional theoretical properties does never- theless provide challenging mathematical problems and exemplify interesting phe- nomena. We consider here a special class of self-a±ne repellers in dimension two, depending on four parameters (see 2.1.). Furthermore we study a class of attractors of piecewise a±ne maps in dimension three depending on four parameters as well. The last object of our work are projections of these maps that are known as gener- alized Baker's transformations (see 2.2.). The contents of our work is the following: In chapter two we give an overview about some main results in the area of di- mension theory of a±ne dynamical systems and de¯ne the systems we study in this work. We will explain, what is known about the dimensional theoretical properties of these systems and describe what our new results are. In chapter three we then apply symbolic dynamics to our systems. We will introduce explicit shift codings 4 and ¯nd representations of all ergodic measures for our systems using these codings. From chapter four to chapter eight we study dimensional theoretical properties, which our systems generally or generically have. In chapter four we will prove a formula for the box-counting dimension of the repellers and the attractors (see the- orem 4.1.). Then in chapter ¯ve we apply general dimensional theoretical results for ergodic measures found by Ledrappier and Young [LY] and Barreira, Schmeling and Pesin [BPS] to our systems. These results relate the dimension of ergodic measures to metric entropy and Lyapunov exponents. Using this approach we will be able to reduce questions about the dimension of ergodic measures in our context to ques- tions about certain overlapping and especially overlapping self-similar measures on the line. These overlapping self-similar measures are studied in chapter six. Our main theorem extends a result of Peres and Solomyak [PS2] concerning the absolute continuity resp. singularity of symmetric self-similar measures to asymmetric ones (see theorem 6.1.3.). In chapter seven we bring our results together. We prove that we generically (in the sense of Lebesgue measure on a part of the parameter space) have the iden- tity of box-counting and Hausdor® dimension for the repellers and the attractors. (see theorem 7.1.1. and corollary 7.1.2.). This result suggest that one can expect that the identity of box-counting dimension and Hausdor® dimension holds at least generically in some natural classes of non conformal dynamical systems. Furthermore we will see in chapter seven that there generically exists an ergodic measure of full Hausdor® dimension for the repellers. On the other hand the vari- ational principle for Hausdor® dimension is not generic for the attractors. It holds only if we assume a certain symmetry (see theorem 7.1.1.). For generalized Baker's transformations we will ¯nd a part of the parameter space where there generically is an ergodic measure of full dimension and a part where the variational principle for Hausdor® dimension does not hold (see theorem 7.1.3.). Roughly speaking the reason why the variational principle does not hold here is, that if there exists both a stable and an unstable direction one can not generically maximize the dimension in the stable and in the unstable direction at the same time. In an other setting this phenomenon was observed before by Manning and McCluskey [MM]. In chapter eight we extend some results of the last section to invariant sets that correspond to special Markov chains instead of full shifts (see theorem 8.1.1.). In the last two chapters of our work we are interested in number theoretical excep- tions to our generic results. The starting point of our considerations in section nine are results of ErdÄos [ER1] and Alexander and Yorke [AY] that establish singularity and a decrease of dimension for in¯nite convolved Bernoulli measures under special conditions. Using a generalized notion of the Garsia entropy ([GA1/2]) we are able 5 to understand the consequences of number theoretical peculiarities in broader class of overlapping measures (see theorem 9.1.1.). In chapter ten we then analyze number theoretical peculiarities in the context of our dynamical systems. We restrict our attention to a symmetric situation where we generically have the existence of a Bernoulli measure of full dimension and the identity of Hausdor® and box-counting dimension for all of our systems. In the ¯rst section of chapter ten we ¯nd parameter values such that the variational principle for Hausdor® dimension does not hold for the attractors and for the Fat Baker's transformations (see theorem 10.1.1.). These are the ¯rst known examples of dynamical systems for which the variational principle for Hausdor® dimension does not hold because of number theoretical peculiarities of parameter values. For the repellers we have been able to show that under certain number theoretical conditions there is at least no Bernoulli measure of full Hausdor® dimension; the question if the variational principle for Hausdor® dimension holds remains open in this situation. In the second section of chapter ten we will show that the identity for Hausdor® and box-counting dimension can drops because there are number theoretical pecu- liarities. In the context of Weierstrass-like functions this phenomenon was observed by Przytycki and Urbanski [PU]. Our theorem extends this result to a larger class of sets, invariant under dynamical systems (see theorem 10.2.1). At the end of this work the reader will ¯nd two appendices, a list of notations and the list of references. In appendix A we introduce the notions of dimension we use in this work and collect some general facts in dimension theory. In appendix B we state the facts about Pisot-Vijayarghavan number, we need in our analysis of number theoretical peculiarities. The list of notations contains general notations and a table with a summary of notations we use to describe the dynamical systems that we study. Acknowledgments I wish to thank my supervisor JÄorg Schmeling for a lot of valuable discussion and all his help. Also thanks to Luis Barreira for his great hospitality in Lisboa and many interesting comments. This work was done while I was supported by "Promotionstipendium gem. NaFÄoG der Freien UniversitÄat Berlin". (shrink)

Discovering high-level causal relations from low-level data is an important and challenging problem that comes up frequently in the natural and social sciences. In a series of papers, Chalupka etal. (2015, 2016a, 2016b, 2017) develop a procedure forcausal feature learning (CFL) in an effortto automate this task. We argue that CFL does not recommend coarsening in cases where pragmatic considerations rule in favor of it, and recommends coarsening in cases where pragmatic considerations rule against it. We propose a new technique, (...) pragmatic causal feature learning (PCFL), which extends the original CFL algorithm in useful and intuitive ways. We show that PCFL has the same attractive measure-theoretic properties as the original CFL algorithm. We compare the performance of both methods through theoretical analysis and experiments. (shrink)

The Epicureans advocate a moderately ascetic lifestyle on instrumental grounds, as the most effective means to securing tranquility. The virtuous person will reduce his desires to what is natural and necessary in order to avoid the trouble and anxiety caused by excessive desire. So much is clear from Epicurus' general ethics. But the later Epicurean Philodemus fills in far more detail about the attitude a wise Epicurean will take toward wealth in his treatise On Property Management. This paper explores some (...) of Philodemus' distinctive doctrines and argues that Philodemus' position on crafts is an improvement on the Socratic and Aristotelian positions that he is reacting against. Philodemus rejects both constraints on what counts as a genuine craft proposed by Socrates in the Gorgias: that a craft aims at a genuine good, and that it is based on a grasp of the nature of its subject. Philodemus also rejects the attempts of Xenophon and Theophrastus to preserve an important place for the craft of property management, conceived of as aiming at maximizing your wealth, within the Socratic and Aristotelian ethical tradition that puts virtue and virtuous activity at the center of the happy life. According to Philodemus, cultivating and exercising the traditional technê of property management is actually incompatible with being a virtuous person and obtaining happiness. (shrink)

In some sense, survival seems to be an intrinsic matter. Whether or not you survive some event seems to depend on what goes on with you yourself —what happens in the environment shouldn’t make a difference. Likewise, being a person at a time seems intrinsic. The principle that survival seems intrinsic is one factor which makes personal fission puzzles so awkward. Fission scenarios present cases where if survival is an intrinsic matter, it appears that an individual could survive twice over. (...) But it’s well known that standard notions of “intrinsicality” won’t do to articulate the sense in which survival is intrinsic, since ‘personhood’ appears to be a maximal property. We formulate a sense in which survival and personhood (and perhaps other maximal properties) may be almost intrinsic—a sense that would suffice, for example, to ground fission arguments. It turns out that this notion of almost-intrinsicality allows us to formulate a new version of the problem of the many. (shrink)

David Lewis defends the following "non-circular definition of personhood": "something is a continuant person if and only if it is a maximal R-interrelated aggregate of person-stages. That is: if and only if it is an aggregate of person-stages, each of which is R-related to all the rest (and to itself), and it is a proper part of no other such aggregate." I give a counterexample, involving a person who is a part of another, much larger person, with a separate (...) mental life. I then offer an easy repair, which preserves the virtues of Lewis's definition without introducing any new vices. (shrink)

The best arguments for possible worlds as states of affairs furnish us with equally good arguments for impossible worlds of the same sort. I argue for a theory of impossible worlds on which the impossible worlds correspond to maximal inconsistent classes of propositions. Three objections are rejected. In the final part of the paper, I present a menu of impossible worlds and explore some of their interesting formal properties.

Based on a question posed by global philosophy of religion project regarding the absence of literal attribution of omnibenevolence to God in the Qur’ān, this paper aims to examine how to understand perfect goodness in Islam. I will first discuss the concept of perfect goodness and suggest that perfect goodness is not an independent attribute on its own and it is predicated on other moral attributes of God without which the concept of perfect goodness could hardly be understood. I will (...) examine perfect goodness by a specific emphasis on the attribute of justice as one of the conditions to be satisfied by a perfectly morally good being. In so doing, I will appeal to the distinctions made among great-making properties by Daniel Hill, and Al-Ghazālī’s definition of justice by applying them to God’s moral attributes. I will argue that justice has a crucial role in maximality-optimality balance between great-making properties and it seems quite difficult, if not impossible, to conceive of goodness without justice. Having said that, I will claim that the conceptual frame I suggest sheds light on why omnibenevolence is not literally attributed to God in the Qur’ān. Then, I will briefly show how the divine attributes mentioned in the Qur’ān and the discussions about divine names and attributes in the Islamic tradition supports the understanding of perfect goodness I defend. Consequently, I will try to show that far from indicating that the Islamic concept of God doesn’t involve perfect goodness, the Qur’ān establishes the proper meaning of perfect goodness by focusing on its constitutive attributes, and thus provides us with a sound conception of it. (shrink)

What is cognition? Equivalently, what is cognition good for? Or, what is it that would not be but for human cognition? But for human cognition, there would not be science. Based on this kinship between individual cognition and collective science, here we put forward Isbell conjugacy---the adjointness between objective geometry and subjective algebra---as a scientific method for developing cognitive science. We begin with the correspondence between categorical perception and category theory. Next, we show how the Gestalt maxim is subsumed by (...) the mathematical construct of colimit, a generalization of summation. The universal mapping property definitions of mathematical constructs, by virtue of being the best with respect to the universe of discourse, can be learned using reinforcement learning algorithms, which raises the possibility of abstracting the architecture of mathematics by artificial intelligence. Subsequently, we present naturality (to be contrasted with miracles), understood as 'Becoming consistent with Being', which governs the transformations of both things and their theories, as the zeroth law of change. Furthermore, the contrast---physical [mechanism] vs. biological [organism]---is smoothed via natural transformation, wherein transformations are respectful of the cohesion of the objects transformed. In closing, upon recognizing the scientific value of learning difficult-to-master differential calculus by physicists, of learning a strange four-letter language by biologists, and of learning the grammar of our respective mother tongues, we make a case for learning the theory of naturality / category theory for developing cognitive science. (shrink)

Mark White has developed a provocative skepticism about antitrust law. I first argue against three claims that are essential to his argument: the state may legitimately constrain or punish only conduct that violates someone’s rights, the market’s purpose is coordinating and maximizing individual autonomy, and property rights should be completely insulated from democratic deliberation. I then sketch a case that persons might have a right to a competitive market. If so, antitrust law does deal with conduct that violates rights. The (...) main thread running throughout the article is that what counts as a legitimate exercise of property rights is dynamic, sensitive to various external conditions, and is the proper object of democratic deliberation. (shrink)

The notion of maximal greatness is arguably part of the very concept of God: something greater than God is not even possible. But how should we understand this notion? The aim of this paper is to provide a Śaivist answer to this question by analyzing the form of theism advocated in the Pratyabhijñā tradition. First, I extract a model of divine greatness, the Hierarchical Model, from Nagasawa’s work "Maximal God". According to the Hierarchical Model, God is that than (...) which nothing could be greater by virtue of being better suited than all other beings in relation to certain great-making properties (§1). I then offer an analysis of the form of theism advocated in the Pratyabhijñā tradition by discussing passages from the works of Somānanda, the founder of the Pratyabhijñā school, and of Utpaladeva, the most prominent of Somānanda’s disciples. I argue that the Pratyabhijñā theist cannot account for divine greatness in terms of the Hierarchical Model. My argument is that the Hierarchical Model requires a comparison between God and other beings that cannot be made with the Pratyabhijñā God (§2). Finally, I develop an original alternative model, the Unlimited Nature Model, that accounts for God’s maximal greatness in a way that suits Pratyabhijñā’s theism. According to the Unlimited Nature Model, the nature of all ordinary beings is metaphysically limited as a result of realizing only a small portion of the potential of what could be, and God is maximally great because only he has a completely unlimited nature (§3). (shrink)

Which premisses should we use to start our inquiries? Which transitions during inquiry should we take next? When should we switch lines of inquiry? In this paper, I address these open questions about inquiry, formulating novel norms for such decisions during deductive reasoning. I use the first-order predicate calculus, in combination with Carnap’s state description framework, to state such norms. Using that framework, I first demonstrate some properties of sets of sentences used in deduction. I then state some norms (...) for decisions made during deductive reasoning, establishing initial benchmarks for efficient deduction by ideal reasoners. When deciding which transition to make next, reasoners should choose the most informative transition, the one that maximally reduces uncertainty in the sense of ruling out the largest number of state descriptions relevant to their inquiry. Finally, inspired by optimal foraging theory, I show that, under certain assumptions of ignorance, reasoners should change premiss sets when their information intake drops below the global average information intake across premiss sets. (shrink)

The minimal God exemplifies essential omnipotence, omniscience, and moral perfection, but none of the other properties of the traditional God. I examine the consequences of the minimal God in augmented S5, S4, and Kρσ. The metaphysical consequences for the minimal God in S5 include the impossibility that God—or any other object—might acquire, lose, or exchange an essential property. It is impossible that an essentially divine being might become essentially human, for instance. The epistemological consequences include the impossibility of agnosticism—it (...) is impossible that P(◻︎FG |E) = P(~◻︎FG| E). Indeed, every weaker forms of agnosticism are also impossible—it is impossible that P(◻︎FG |E) = n, n(0 < n < 1). The metaphysical and epistemological consequences for the minimal God in S4 are equally untenable. I show that we can avoid all of these unwelcome epistemological consequences for the minimal God in Kρσ. But Kρσ has some extraordinary metaphysical consequences for the minimal God. All of the problems for the minimal God generalize to the maximal God. (shrink)

The words we call slurs are just plain vanilla descriptions like ‘cowboy’ and ‘coat hanger’. They don't semantically convey any disparagement of their referents, whether as content, conventional implicature, presupposition, “coloring” or mode of presentation. What distinguishes 'kraut' and 'German' is metadata rather than meaning: the former is the conventional description for Germans among Germanophobes when they are speaking in that capacity, in the same way 'mad' is the conventional expression that some teenagers use as an intensifier when they’re emphasizing (...) that social identity. That is, racists don’t use slurs because they’re derogatory; slurs are derogatory because they’re the words that racists use. To use a slur is to exploit the Maxim of Manner (or Levinson’s M-Principle) to signal one’s affiliation with a group that has a disparaging attitude towards the slur’s referent. This account is sufficient to explain all the familiar properties of slurs, such as their speaker orientation and “nondetachability,” with no need of additional linguistic mechanisms. It also explains some features of slurs that are rarely if ever explored; for example the variation in tone and strength among the different slurs for a particular group, the existence of words we count as slurs, such as 'redskin', which almost all of their users consider to be respectful, and the curious absence in Standard English of any commonly used slurs—by which I mean words used to express a negative attitude toward an entire group—for Muslims and women. (shrink)

Humean reductionism about laws of nature appears to leave a central aspect of scientific practice unmotivated: If the world’s fundamental structure is exhausted by the actual distribution of non-modal properties and the laws of nature are merely efficient summaries of this distribution, then why does science posit laws that cover a wide range of non-actual circumstances? In this paper, we develop a new version of the Humean best systems account of laws based on the idea that laws need to (...) organize information in a way that maximizes their cognitive usefulness for creature like us. We argue that this account motivates scientific practice because the laws’ applicability to non-actual circumstances falls right out of their cognitive usefulness. (shrink)

Ingvar Johansson has argued that there are not only determinate universals, but also determinable ones. I here argue that this view is misguided by reviving a line of argument to the following effect: what makes determinates falling under a same determinable similar cannot be distinct from what makes them different. If true, some similarities — imperfect similarities between simple determinate properties — are not grounded in any kind of property-sharing. I suggest that determinables are better understood as maximal (...) disjunctions of brutely and imperfectly similar determinates. Such brute similarities have been thought to clash with realism about universals. I argue that this worry stems from the mistaken assumption that perfect and imperfect similarities are relations of a same kind. If exact and inexact resemblances are distinct and heterogeneous explananda, the realist about universals might explain the first thanks to property-sharing, while happily leaving imperfect similarities between properties unexplained. (shrink)

In this essay, I’ll argue, first, that an art object's aesthetic value (or merit) depends not just on its intrinsic properties, but on the response it evokes from a consumer who shares the producer's cultural background. My question is: what is the role of culture in relation to this response? I offer a new account of aesthetic pleasure that answers this question. On this account, aesthetic pleasure is not just a “feeling” or “sensation” that results from engaging with a (...) work of art. It is rather a mental state that facilitates engagement with an artwork, and (in the long run) enables a consumer to learn how to maximize this kind of pleasure. This is where culture comes in. If you belong to a culture, you know how to engage pleasurably with an artwork that is produced so you can engage with it in just this way. The aesthetic value of an artwork is that it plays into such a culture-pleasure nexus. -/- . (shrink)

The Integrated Information Theory of consciousness (IIT) claims that consciousness is identical to maximal integrated information, or maximal Φ. One objection to IIT is based on what may be called the intrinsicality problem: consciousness is an intrinsic property, but maximal Φ is an extrinsic property; therefore, they cannot be identical. In this paper, I show that this problem is not unique to IIT, but rather derives from a trilemma that confronts almost any theory of consciousness. Given most (...) theories of consciousness, the following three claims are inconsistent. INTRINSICALITY: Consciousness is intrinsic. NON-OVERLAP: Conscious systems do not overlap with other conscious systems (a la Unger’s problem of the many). REDUCTIONISM: Consciousness is constituted by more fundamental properties (as per standard versions of physicalism and Russellian monism). In view of this, I will consider whether rejecting INTRINSICALITY is necessarily less plausible than rejecting NON-OVERLAP or REDUCTIONISM. I will also consider whether IIT is necessarily committed to rejecting INTRINSICALITY or whether it could also accept solutions that reject NON-OVERLAP or REDUCTIONISM instead. I will suggest that the best option for IIT may be a solution that rejects REDUCTIONISM rather than INTRINSICALITY or NON-OVERLAP. (shrink)

This paper generalizes rationalizability of a choice function by a single acyclic binary relation to rationalizability by a set of such relations. Rather than selecting those options in a menu that are maximal with respect to a single binary relation, a weakly pseudo-rationalizable choice function selects those options that are maximal with respect to at least one binary relation in a given set. I characterize the class of weakly pseudo-rationalizable choice functions in terms of simple functional properties. (...) This result also generalizes Aizerman and Malishevski's characterization of pseudo-rationalizable choice functions, that is, choice functions rationalizable by a set of total orders. (shrink)

It’s plausible that we only fully appreciate the value of something, say a painting or a blameworthy action, when we have a fitting emotional response to it, such as admiration or guilt. But exactly how and why do we grasp value through emotion? I propose, first, that a subject S phenomenally grasps property P only if what it is to be P is manifest in the phenomenal character of S’s experience. Second, following clues from the Stoics, I argue that the (...) phenomenal character of emotional experience is constitutively linked with its having directive content. More precisely, emotional experience directs us both to adopt a maxim for action – take certain characteristic kinds of action for an emotion-specific end – and to treat something about the object as a presumptively decisive reason to take such action for such end. If we assent to what the experience proposes (or rational control gets bypassed), we are motivated to take the relevant action and have a corresponding evaluative belief. This picture of emotional cognition yields a natural conception of the evaluative fittingness conditions of emotions without the problematic assumption that they have a presentational phenomenology. Instead, it is precisely in virtue of the directive and valenced phenomenology of emotion that values are only fully manifest in emotional experience, since values are essentially action- and attitude-guiding properties. (shrink)

Waiting time is widely used in health and social policy to make resource allocation decisions, yet no general account of the moral significance of waiting time exists. We provide such an account. We argue that waiting time is not intrinsically morally significant, and that the first person in a queue for a resource does not ipso facto have a right to receive that resource first. However, waiting time can and sometimes should play a role in justifying allocation decisions. First, there (...) is a duty of fairness prohibiting line-cutting where a sufficiently just queue exists. Second, waiting time has several morally attractive features that can justify its incorporation into allocation schemes. Where candidates are in relevantly similar circumstances, allocating by waiting time is relatively efficient, maximizes distribution equality relative to other Pareto efficient distributions, and treats candidates fairly. The claim that allocation using waiting time is fair is controversial. Some have claimed that formal lotteries are a fairer way to select among equal beneficiaries. We argue that lotteries are no fairer than allocation based on waiting time when it is equiprobable how a prospective queue will be ordered. In practice, lotteries share many of the disadvantages of queues; which is fairer will depend on contingent features of the allocation scenario. The upshot is that first-come, first-served is in fact a just way to allocate resources in many of the cases where it seems pre-theoretically compelling, and waiting time has unique normative properties which frequently justify its incorporation into resource allocation schemes. (shrink)

Two lines of evidence indicate that there exists a reciprocal inhibitory relationship between opposed brain networks. First, most attention-demanding cognitive tasks activate a stereotypical set of brain areas, known as the task-positive network and simultaneously deactivate a different set of brain regions, commonly referred to as the task negative or defaultmode network. Second, functional connectivity analyses show that these same opposed networks are anti-correlated in the resting state. Wehypothesize that these reciprocally inhibitory effects reflect two incompatible cognitive modes, each of (...) which may be directed towards understanding the external world. Thus, engaging onemode activates one set of regions and suppresses activity in the other.Wetest this hypothesis by identifying two types of problem-solving task which, on the basis of prior work, have been consistently associated with the task positive and task negative regions: tasks requiring social cognition, i.e., reasoning about the mental states of other persons, and tasks requiring physical cognition, i.e., reasoning about the causal/mechanical properties of inanimate objects. Social and mechanical reasoning tasks were presented to neurologically normal participants during fMRI. Each task type was presented using both text and video clips. Regardless of presentation modality, we observed clear evidence of reciprocal suppression: social tasks deactivated regions associated with mechanical reasoning and mechanical tasks deactivated regions associated with social reasoning. These findings are not explained by self-referential processes, task engagement, mental simulation,mental time travel or external vs. internal attention, all factors previously hypothesized to explain default mode network activity. Analyses of resting state data revealed a close match between the regions our tasks identified as reciprocally inhibitory and regions of maximal anti-correlation in the resting state. These results indicate the reciprocal inhibition is not attributable to constraints inherent in the tasks, but is neural in origin. Hence, there is a physiological constraint on our ability to simultaneously engage two distinct cognitive modes. Furtherwork is needed tomore precisely characterize these opposing cognitive domains. (shrink)

My claim in this article is that the thesis that Buddhism has no God, insofar as it is taken to apply to Buddhism universally, is false. I defend this claim by interpreting a central text in East-Asian Buddhism – The Awakening of Faith in Mahāyāna – through the lenses of perfect being theology (PBT), a research programme in philosophy of religion that attempts to provide a description of God through a two-step process: (1) defining God in terms of maximal (...) greatness; (2) inferring the properties or attributes that God must have in virtue of satisfying the definition. My argument comprises two steps. First, I argue that, since PBT is a method for providing a description of God starting from a definition of God, any text that contains a PBT ipso facto contains a notion of God. Second, I argue through textual evidence that The Awakening articulates a PBT, concluding that it contains a notion of God. Since the method of PBT leaves open what descriptions are to be inferred, my argument allows me to conclude that a text contains a notion of God without previously committing to any particular conception of the divine, which makes it particularly versatile and powerful. (shrink)

(First paragraph.) Ontology is often described as the inquiry into what exists, but there is some disagreement among (meta-) ontologists about what “existence” means and whether there are different kinds or senses of “existence” or just one; that is, whether “existence” is equivocal or univocal. Furthermore, there is a growing number of philosophers (many of whom take inspiration from Aristotle’s metaphysical writings) who argue that ontology should not be concerned so much with what exists, but with what is fundamental or (...) real (or something similar). Each of the positions in this debate is centered on a concept or small class of concepts that is intended to capture what ontology is about. Examples of such ontological core concepts are: existence, subsistence, Dasein, being, independent being, being real, being fundamental, being a fundamental constituent of reality, being irreducible. This paper intends to answer the twofold question of what (kind of notions) these ontological core concepts are, and how (and how much) they (can) differ. I will argue that there can be no difference between such concepts other than differing domains, and that any domain is a restriction in a maximally expanded universe, and therefore, equivalent to a (restricting) property. Furthermore, such differences between domains (or restricting properties) are intertranslatable, and consequently, there is not much room for substantial difference. Whatever difference remains is largely due to differences in focus or differences in the (phrasing of) questions ontologists try to answer. (shrink)

Kant takes the idea of autonomy of the will to be his distinctive contribution to moral philosophy. However, this idea is more nuanced and complicated than one might think. In this chapter, I sketch the rough outlines of Kant’s idea of autonomy of the will while also highlighting contentious exegetical issues that give rise to various possible interpretations. I tentatively defend four basic claims. First, autonomy primarily features in Kant’s account of moral agency, as the condition of the possibility of (...) moral obligation. Second, autonomy amounts to a metaphysical property as well as a normative principle and a psychological capacity. Third, although there is legitimate scholarly disagreement about whether or not autonomy involves self-legislation of the moral law, there is good reason to believe it underwrites an ‘inside-out’ (as opposed to ‘outside-in’) conception of the relationship between the will and moral requirements. Fourth, persons have dignity because their autonomy makes them members in the set of beings over whom the categorical imperative requires us to universalise our maxims, not because autonomy is an independently important property. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

Many results in logic and mathematics rely on techniques that allow for concrete, often visual, representations of abstract concepts. A primary example of this phenomenon in logic is the distinction between syntax and semantics, itself an example of the more general duality in mathematics between algebra and geometry. Such representations, however, often rely on the existence of certain maximal objects having particular properties such as points, possible worlds or Tarskian first-order structures. -/- This dissertation explores an alternative to (...) such representations known as possibility semantics. Its core idea is to replace maximal objects with ordered systems of partial approximations. Although it originates in the semantics of modal logic and the representation of abstract ordered structures, I argue that it has far-reaching mathematical, foundational and philosophical significance, especially in the context of semiconstructive mathematics, a foundational framework that does not assume any fragment of the Axiom of Choice beyond the Axiom of Dependent Choices. -/- The dissertation is divided in two main parts. The first part explores various applications of the mathematical framework underlying possibility semantics to lattice theory and non-classical propositional logics. A major theme is the development of constructive dualities for various categories of lattices, which are related to standard non-constructive dualities via Vietoris constructions. -/- The second part of the dissertation explores the alternative foundational setting of semi-constructive mathematics, focusing on three applications of possibility semantics for classical first-order logic to the philosophy of the mathematical infinite. In particular, we introduce generic powers, a semi-constructive analogue of ultrapowers in classical model theory, and we explore the merits of these structures from a foundational, conceptual and historical viewpoint. (shrink)

In this chapter, we turn our attention to the effects of the attention economy on our ability to act autonomously as a group. We begin by clarifying which sorts of groups we are concerned with, which are structured groups (groups sufficiently organized that it makes sense to attribute agency to the group itself). Drawing on recent work by Purves and Davis (2022), we describe the essential roles of trust (i.e., depending on groups to fulfill their commitments) and trustworthiness (i.e., the (...) property of a group that makes trusting them fitting) in autonomous group action, with particular emphasis on democratic institutions (which we view as group agents) and democratic legitimacy (which depends on trust and trustworthiness). We then explain how engagement maximization promotes polarization, which is detrimental to trust and trustworthiness and, in turn, democratic legitimacy and democratic institutions. We close by considering what groups might do to protect themselves from the threat posed to them by the attention economy. (shrink)

The primary purpose of depictive works of pornography, we take it, is sexual arousal through sexually explicit representations; what we callprototypical pornography satisfies those aims through the adoption of a ceteris paribus maximally realistic depictive style. Given that the purpose of sexual arousal seems best fulfilled by establishing the most robust connections between the viewer and the depictive subject, we find it curious that not all works of pornography aspire to prototypical status. Accordingly, we target for philosophical scrutiny several non-standard (...) but putatively pornographic forms: Tijuana Bibles, hentai manga, and slash-fiction. We find that works of these genres possess certain depictively or fictively oriented properties that appear at least prima facie incompatible with prototypical pornography, and thereby to pose two pressing questions that anyprima facie viable analysis of pornography must answer: the depiction question and the fiction question. By answering these questions, we can not only arrive at a deeper understanding of the aims of pornography and the reasons for which significant sub-genres of pornography might diverge from the prototypical ideal, but also perhaps better understand what lies at pornography’s edge, and so better understand the ways in which pornography might relate to what lies beyond. (shrink)

My main aim is to clarify what we mean by ‘look’ sentences such as (1) below – ones that we use to talk about visual experience: -/- (1) The ball looked red to Sue -/- This is to help better understand a part of natural language that has so far resisted treatment, and also to help better understand the nature of visual experience. -/- By appealing to general linguistic principles I argue for the following account. First, we use (1) to (...) talk about an event. Second, we use the verb ‘look’ to specify the kind of event about which we are talking – it is a looking event. Third, we use the subject ‘the ball’ to specify a stimulus of the event – something that looks some way in the event. Fourth, we use the adjunct ‘to Sue’ to specify an experiencer of the event – someone to whom things look some way in the event. Finally, we use the complement ‘red’ to specify a way of the event – a way in which the event occurs (I take ways of occurring to be properties of events). Which way do we use ‘red’ in (1) to specify? I argue: the maximally specific way w such that the following is generically true: looking events whose stimulus is red occur in way w (it is important that this is understood generically: this is what does much of the work in explaining our use of (1) and other ‘look’ sentences). Putting this together, what we mean by (1) is: there was a looking event whose stimulus was the ball, whose experiencer was Sue, and which occurred in the maximally specific way that looking events occur when their stimulus is red. -/- This account of how we use ‘red’ in (1) is one of the most interesting aspects of my thesis. It extends to an account of how we use ‘proud’ in ‘John walks proud’, ‘as if he is American’ in ‘John talks as if he is American’, ‘like a duck’ in ‘John sounds like a duck’, and so on. In each case we use the expression in question to specify a way: the maximally specific way proud people walk, the maximally specific way American people talk, and so on. So the study of ‘look’ sentences has much to tell us about the functioning of many other English language constructions, and suggests that ways have a significant role to play in the semantics of natural language – a fact that has not yet been sufficiently recognised by linguists or philosophers of language. -/- My thesis also has implications for the philosophy of perception. One of the central questions about perception is: What is the nature of visual experience? What is it, for example, for a ball to look red to Sue? My thesis offers an answer: What it is for the ball to look red to Sue is for whatever it is that we mean by ‘The ball looks red to Sue’ to be the case, and what we mean by ‘The ball looks red to Sue’ is that there is a looking event whose stimulus is the ball, whose experiencer is Sue, and which is occurring in a certain way. It thus delivers an adverbial account of visual experience, one that has the resources to better deal with problems that are traditionally thought to be decisive against adverbial accounts. (shrink)

Why learn about libertarianism? Because politics causes or exacerbates the very problems that it purports to solve, or it misperceives voluntary behaviour and free markets as problems. Liberty is always preferable: its maximal practical observance entailing self-ownership, private property, and consensual interactions. And libertarianism will be the ideological framework of the future of humankind.

More than a century ago, G. E. Moore famously attempted to refute ethical naturalism by offering the so-called open question argument (OQA), also charging that all varieties of ethical naturalism commit the naturalistic fallacy. Although there is consensus that OQA and the naturalistic-fallacy charge both fail, OQA is sometimes vindicated, but only as an argument against naturalistic semantic analyses. The naturalistic-fallacy charge, by contrast, usually finds no takers at all. This paper provides new grounds for an OQA thus restricted. But (...) it aims chiefly at vindicating a version of the naturalistic fallacy, „the semantic-naturalist fallacy‟ (SNF), that we think defensible. We first argue that the openness of the question OQA raises against such analyses hinges on self-ascriptive, comparative judgments of content, which may be considered a priori warranted. We then provide independent reasons for the claim that the sort of mistake committed by naturalistic analyses in fact amounts to a pragmatic fallacy of a kind familiar in petitio principii and other forms of viciously circular inference. Of interest here are naturalistic analyses of ethical terms or concepts, not of properties. Our OQA (OQA*) raises an objection to the former. For no such semantic analyses can get off the ground unless moral terms are content-equivalent to purely descriptive terms, which amounts to saying that they must instantiate the same semantic types. Suppose „good‟ is the analysandum and „pleasure maximizing‟ the analysans (whichever purely descriptive term or terms would turn out to be the correct descriptive analysis of the target analysandum) of a certain semantic analysis. The claim that such terms are content-equivalent appears to be open to doubt on a priori grounds. After 1 all, whether one‟s own tokens of „good‟ and „pleasure maximizing‟ have/don‟t have the same content is a first-person, comparative judgment of content. Evaluating the proposed analysis requires, then, a self-ascriptive, comparative judgment of content.1 Judgments of this sort are thought to have a special epistemic status, since they seem grounded in neither evidence nor inference.. (shrink)

This paper proves normalisation theorems for intuitionist and classical negative free logic, without and with the $\invertediota$ operator for definite descriptions. Rules specific to free logic give rise to new kinds of maximal formulas additional to those familiar from standard intuitionist and classical logic. When $\invertediota$ is added it must be ensured that reduction procedures involving replacements of parameters by terms do not introduce new maximal formulas of higher degree than the ones removed. The problem is solved by (...) a rule that permits restricting these terms in the rules for $\forall$, $\exists$ and $\invertediota$ to parameters or constants. A restricted subformula property for deductions in systems without $\invertediota$ is considered. It is improved upon by an alternative formalisation of free logic building on an idea of Ja\'skowski's. In the classical system the rules for $\invertediota$ require treatment known from normalisation for classical logic with $\lor$ or $\exists$. The philosophical significance of the results is also indicated. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Literature 26.1 (2002) 207-215 [Access article in PDF] Notes and Fragments Poetics of Sentimentality Rick Anthony Furtak IN HIS MAJOR WORK, The Passions, Robert Solomon argues that emotions are judgments. 1 Through a series of persuasive examples, he shows that emotions are best understood as mental states which involve certain beliefs about the world. This means that every emotion has an object: if I am angry at (...) John for stealing my car, the object of my anger is the fact (or what I take to be a fact) that my car has been stolen by John. If I find out that this is not the case, that my car has not even left the garage, then my anger should vanish along with its justification. 2 The key point here is that anger, like any other emotion, may be reasonable or inappropriate depending on the situation. If there is nothing to be angry about, then it would be irrational for me to cultivate anger simply because I enjoy having this particular emotion. In general, emotional responses are cognitively flawed whenever they are at odds with the properties of their objects. If we want our judgments to be realistic and not delusional, then we must avoid this kind of error.It is curious, then, that Solomon has written an essay in which he categorically declares that "there is nothing wrong with sentimentality." 3 For it would appear that his theory of emotion provides precisely the terms needed in order to specify what is wrong with it. If emotions are judgments, then "sentimentality" ought to be an important critical term to designate the habit of having emotions that involve either impaired or mistaken judgment. Nevertheless, Solomon is willing to defend any and every episode of tender emotion, of the kind associated with the [End Page 207] death of Little Nell in The Old Curiosity Shop (S, p. 240). He suggests that the more we can muster up this sort of response to literature or life, the better. What he seeks to encourage, in other words, is what Hume would call "delicacy" of (aesthetic) taste and of (ethical) passion. 4 But while Hume acknowledges that sensitivity to beauty and to ugliness are two sides of the same coin, such that anyone who is susceptible to lively enjoyments is also liable to undergo pungent sorrows, Solomon wants to promote only the tender aspect of emotion.On the principle of passionate maximization, it is good if I can be tenderly affected by a poem—any poem! The problem with such crass emotion-stoking is that it precludes the possibility of distinguishing between, for instance, the two stanzas below. Both are by Wilfred Owen: the first was written in 1914 and the second in 1918. 5 I O meet it is and passing sweet To live in peace with others, But sweeter still and far more meet To die in war for brothers. II Bent double, like old beggars under sacks, Knock-kneed, coughing like hags, we cursed through sludge, Till on the haunting flares we turned our backs And towards our distant rest began to trudge. Men marched asleep. Many had lost their boots But limped on, blood-shod. All went lame; all blind; Drunk with fatigue; deaf even to the hoots Of tired, outstripped Five-Nines that dropped behind. Only if emotions did not involve rational judgment could a person's passionate response to these two stanzas be a matter of indifference. But it seems that, on the contrary, an essential component of understanding them is recognizing that they express irreconcilable cognitive attitudes. The tone of the 1918 stanza is strikingly different from that of the earlier one, even though they share roughly the same topic. The latter stanza is stark and ominous, and filled with vivid detail; the one from 1914 is sweet and vague. Clearly, we might describe the earlier of the two as "sentimental"—the question is, what kind of judgment does [End Page 208] it involve? I suggest that its insipid jingles endorse the view that war is a delightful opportunity to nurture brotherhood and gain... (shrink)

The interval neutrosophic uncertain linguistic variables can easily express the indeterminate and inconsistent information in real world, and TOPSIS is a very effective decision making method more and more extensive applications. In this paper, we will extend the TOPSIS method to deal with the interval neutrosophic uncertain linguistic information, and propose an extended TOPSIS method to solve the multiple attribute decision making problems in which the attribute value takes the form of the interval neutrosophic uncertain linguistic variables and attribute weight (...) is unknown. Firstly, the operational rules and properties for the interval neutrosophic variables are introduced. Then the distance between two interval neutrosophic uncertain linguistic variables is proposed and the attribute weight is calculated by the maximizing deviation method, and the closeness coefficients to the ideal solution for each alternatives. Finally, an illustrative example is given to illustrate the decision making steps and the effectiveness of the proposed method. (shrink)

No evangelistic erroneous network of ideas can guarantee the satisfaction of these two demands : (1) propagate the network without revision and (2) completely insulate itself against losses in credibility and adherents through criticism. If a network of ideas is false, or inconsistent or fails to solve its intended problem, or unfeasible, or is too costly in terms of necessarily forsaken goals, its acceptability may be undermined given only true assumptions and valid arguments. People prefer to adopt ideologies that (i) (...) are logically consistent, (ii) are more truth-like and of higher information content than their rivals, (iii) are systematically organised, (iv) solve their problems better than their rivals, (v) do not contain unfeasible demands, and (vi) do not contain uneconomic demands. Truth and validity therefore act as Darwinian-like filters on ideologies. Using Popper's notion of situational analysis and with reference to Darwinian evolution, considered as a special case of the former, and Bartley's theory of comprehensively critical rationalism I argue that a propagandist cannot guarantee his message or his movement from sound criticism. All positions are in a methodological sense open to argument. Moreover, the logic of a propagandist's situation constrains him into making his message and himself open to criticism in order to maximize its chances of being propagated through the population. But he then loses control of the message in two respects. Firstly, his audience are disposed to select from the competing ideas they encounter those that satisfy (i) to (vi) because of man's evolutionary history. Secondly, he cannot guarantee protection from criticism even a privileged section of his message because he cannot predict in a systematic way what logical repercussions each protective reformulation of the ideology will have on other sections of the ideology and what criticism the ideology will encounter. He cannot do the latter because of certain logical properties of theories that endow them with unfathomable depths. Marxism and Freudianism serve as case studies, especially for the analysis of Popper's notion of the immunizing stratagem, a methodological/logical device that is supposed to save theories from criticism. "Immunizing stratagems" either abandon the ideology they are meant to protect or seriously lower its chances of being reproduced. (shrink)

Ingvar Johansson has argued that there are not only determinate universals, but also determinable ones. I here argue that this view is misguided by reviving a line of argument to the following effect: what makes determinates falling under a same determinable similar cannot be distinct from what makes them different. If true, some similarities — imperfect similarities between simple determinate properties — are not grounded in any kind of property-sharing. I suggest that determinables are better understood as maximal (...) disjunctions of brutely and imperfectly similar determinates. Such brute similarities have been thought to clash with realism about universals. I argue that this worry stems from the mistaken assumption that perfect and imperfect similarities are relations of a same kind. If exact and inexact resemblances are distinct and heterogeneous explananda, the realist about universals might explain the first thanks to property-sharing, while happily leaving imperfect similarities between properties unexplained. (shrink)

Honors Research: PPE @ UPenn | This thesis seeks to address some of the most central questions to the fields of political philosophy and political economy. How can social order and government develop from anarchy under standard economic assumptions of rationality, where all agents act strictly in their own interests? What are the deontological limits to the State’s use of force such that political legitimacy is maintained, and how do these ethical boundaries of government relate to moral obligations conferred upon (...) individuals? Finally, what sets of policies and social institutions ought the State implement to achieve the best welfare outcomes for a society, and is there a necessary conflict between policy consequentialism and deontological ethics? This thesis will first show that a laissez-faire capitalist social order spontaneously emerges from the State of Nature as a result of mutual self-interest between rational agents, with the institution of government being a mere product of market forces that is best modeled as a locally-monopolized, excludable, collective entity with global competition. Then, this thesis will defend a theory of natural rights on the basis that persons are normatively separate, before establishing that laissez-faire capitalism and its contractual form of government are uniquely in compliance with these universal moral standards of conduct that predate the institution of any state. Finally, it will be argued in this thesis that the key tenets of laissez-faire capitalism - strong individual rights to life, liberty, and property - produce maximal human welfare from both individualist and collectivist aggregations, before such conclusions are translated into a foundation for limited government. These arguments serve to solidify libertarianism as both the dominant political philosophy and the globally convergent equilibrium of political organization, while also demonstrating that laissez-faire capitalism is the optimal form of social order. (shrink)

I propose the notion of ‘epistemic sanity’, a property of parsimony between the holding of true but not false beliefs and the consideration of our cognitive limitations. Where ‘alethic value’ is the epistemic value of holding true but not false beliefs, the ‘alethic potential’ of an agent is the amount of extra alethic value that she is expected to achieve, given her current environment, beliefs, and reasoning skills. Epistemic sanity would be related to the holding of (true or false) beliefs (...) that increase the agent's alethic potential (relevant beliefs) but not of beliefs that decrease it (this is related to cognitive parsimony). Suspension of judgment, forgetting, and clutter avoidance are the main contributors to an agent's epistemic sanity, where this paper focuses on suspension. I argue that rational suspension favors the holding of true and relevant beliefs, which is not the case for the extremes of opinionation (no suspension) and skepticism (general suspension). In the absence of evidence, opinionated agents are often forced to rely on principles such as the principle of indifference, but suspension dominates indifference in terms of alethic value in some conditions. A rational agent would only find it beneficial to adopt skepticism if she considers herself to be an anti-expert about her entire agenda, but then ‘flipping’ beliefs maximizes expected alethic value in relation to skepticism. The study of epistemic sanity results in an ‘impure’ veritism, which can deal with some limitations of veritism (e.g., explaining the existence of false but relevant beliefs). (shrink)

G.A. Cohen’s value conservatism entails that we ought to preserve some existing sources of value in lieu of more valuable replacements, thereby repudiating maximizing consequentialism. Cohen motivates value conservatism through illustrative cases. The consequentialist, however, can explain many Cohen-style cases by taking extrinsic properties, such as historical significance, to be sources of final value. Nevertheless, it may be intuitive that there’s stronger reason to preserve than to promote certain sources of value, especially historically significant things. This motivates an argument (...) that the weights of our reasons to preserve such things are especially strong relative to the amounts of value they bear. The value conservative can then explain these intuitions in non-consequentialist terms. There may be reason to preserve historically significant things as a matter of recognition respect for a cultural and historical heritage, or because it is virtuous to cultivate the right kind of connection with such a heritage. (shrink)

Hybrid languages are introduced in order to evaluate the strength of “minimal” mereologies with relatively strong frame definability properties. Appealing to a robust form of nominalism, I claim that one investigated language \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document} is maximally acceptable for nominalistic mereology. In an extension \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document} of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document}, a modal (...) analog for the classical systems of Leonard and Goodman and Leśniewski is introduced and shown to be complete with respect to 0-deleted Boolean algebras. We characterize the formulas of first-order logic invariant for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document}-bisimulations. (shrink)

The expanding moral circle lends coherence to the usual hodge-podge of canonical RCR topics. As it is in a person’s own interest to report falsification, understand fabrication, avoid plagiarism, beware of intuition, and justify one’s decisions, it is useful to begin RCR discussions with the principle that we ought to do what is in our own long-term best interests. As it is in the interest of a person’s research group to articulate their reasons for their conclusions, to write cooperatively, review (...) manuscripts professionally, and report statistics transparently, one can introduce the principle that we ought to keep our promises and contracts. As it is a basic matter of rights to respect human subjects, mentor inclusively, recognize intellectual property, and reveal both conflicts of interests and collaborations with private industry, an RCR instructor can introduce the idea that we ought to respect each individual’s moral rights. Finally, as many animals can feel pain, are subjects of their own lives, and have interests of their own, we must take seriously our role in their welfare as research subjects. In this last step, we expand the circle fully, considering animal experimentation, duties to future generations and the natural environment, and the larger social responsibilities of researchers while adopting a utilitarian principle: We ought to do what will maximize aggregate happiness. (shrink)

FOURTH EUROPEAN CONGRESS OF MATHEMATICS STOCKHOLM,SWEDEN JUNE27 ­ - JULY 2, 2004 Contributed papers L. Carleson’s celebrated theorem of 1965 [1] asserts the pointwise convergence of the partial Fourier sums of square integrable functions. The Fourier transform has a formulation on each of the Euclidean groups R , Z and Τ .Carleson’s original proof worked on Τ . Fefferman’s proof translates very easily to R . M´at´e [2] extended Carleson’s proof to Z . Each of the statements of the theorem (...) can be stated in terms of a maximal Fourier multiplier theorem [5]. Inequalities for such operators can be transferred between these three Euclidean groups, and was done P. Auscher and M.J. Carro [3]. But L. Carleson’s original proof and another proofs very long and very complicated. We give a very short and very “simple” proof of this fact. Our proof uses PNSA technique only, developed in part I, and does not uses complicated technical formations unavoidable by the using of purely standard approach to the present problems. In contradiction to Carleson’s method, which is based on profound properties of trigonometric series, the proposed approach is quite general and allows to research a wide class of analogous problems for the general orthogonal series. (shrink)

The aim of this paper is to account for the (metaphorical) movement of the property of being present (or presentness) within the so-called Moving Spotlight Theory (MST). I will be leveraging the key argument by Emanuele Severino’s masterpiece, 'La Gloria' (2001), according to which it is impossible that a (maximal consistent) state of affairs begins to appear and lasts forever in our experience. After a brief overview of the MST’s main tenets (§1.1), I argue that Severino’s ontology might be (...) interpreted as a sort of MST (§1.2), following the hint by Federico Perelda (2017). Thereafter, I briefly recall Severino’s original argument in his own jargon, also proposing English lexical and conceptual translations of the main Italian phrases (§1.3). Then, I propose both a semi-formalization of Severino’s argument (§2.1) and a full formalization by means of temporal logic (§2.2). Finally, I assess all the three versions of the argument, concluding that my formalization might account for the movement of presentness in a non-metaphorical way (§2.3). (shrink)

As the author has previously argued, a statement of form “Y is X” can often be taken as hyperbolic for a notably high degree of likeness between Y and X, or, instead, as hyperbolically stating how important Y is as a part of X. The present article goes further and argues that these types of hyperbole, as well as various others, are just special cases of reflexive hyperbole, a style that appears not previously to have been explored in its own (...) right. The article therefore serves to introduce this style and to unify under it various more specific, disparate-seeming types of hyperbole, revealing their deep similarity. They all rest in a uniform way on a special property that some relationships have, namely of being reflexive in a broadened sense. The relationship of likeness is reflexive in the standard sense that any entity bears the relationship to itself with maximum possible strength. But some other relationships of interest in this article are only reflexive in a broader way that relaxes these universality and maximality requirements to an extent. The article also explains how reflexive hyperbole about likeness is a novel addition to the theory of metaphor, involving a distinctive interpretative process with special effects, and how reflexive hyperbole about part importance is not reducible to whole-for-part metonymy, because the latter does not systematically access sufficiently important parts. In addition, the article briefly considers the defaultness or otherwise of reflexive hyperbolic interpretations. (shrink)