A semantic analysis of mass nouns is given in terms of a logic of classes as many. In previous work it was shown that plural reference and predication for count nouns can be interpreted within this logic of classes as many in terms of the subclasses of the classes that are the extensions of those count nouns. A brief review of that account of plurals is given here and it is then shown how the same kind of interpretation can also (...) be given for mass nouns. (shrink)

The notion of a "class as many" was central to Bertrand Russell''s early form of logicism in his 1903 Principles of Mathematics. There is no empty class in this sense, and the singleton of an urelement (or atom in our reconstruction) is identical with that urelement. Also, classes with more than one member are merely pluralities — or what are sometimes called "plural objects" — and cannot as such be themselves members of classes. Russell did not formally develop this notion (...) of a class but used it only informally. In what follows, we give a formal, logical reconstruction of the logic of classes as many as pluralities (or plural objects) within a fragment of the framework of conceptual realism. We also take groups to be classes as many with two or more members and show how groups provide a semantics for plural quantifier phrases. (shrink)

The framework of conceptual realism provides a logically ideal language within which to reconstruct the medieval terminist logic of the 14th century. The terminist notion of a concept, which shifted from Ockham's early view of a concept as an intentional object to his later view of a concept as a mental act , is reconstructed in this framework in terms of the idea of concepts as unsaturated cognitive structures. Intentional objects are not rejected but are reconstructed as the objectified intensional (...) contents of concepts. Their reconstruction as intensional objects is an essential part of the theory of predication of conceptual realism. It is by means of this theory that we are able to explain how the identity theory of the copula, which was basic to terminist logic, applies to categorical propositions. Reference in conceptual realism is not the same as supposition in terminist logic. Nevertheless, the various "modes" of personal supposition of terminist logic can be explained and justified in terms of this conceptualist theory of reference. (shrink)

A first-order formulation of Leśniewski's ontology is formulated and shown to be interpretable within a free first-order logic of identity extended to include nominal quantification over proper and common-name concepts. The latter theory is then shown to be interpretable in monadic second-order predicate logic, which shows that the first-order part of Leśniewski's ontology is decidable.

In this paper, I argue for Fit, a prudential version of the claim that attitudes must fit their objects, the claim that there is an extra benefit when one's reactions fit their objects. I argue that Fit has surprising and powerful consequences for theories of well-being. Classic versions of the objective list theory, hedonism, desire views, and loving-the-good theories do not accommodate Fit. Suitable modifications change some of the views substantially. Modified views give reactions a robust role as sources of (...) well-being, and they accept that objects call for some attitudes but not others. I argue that objective list theories and loving-the-good theories require the most minimal changes to accommodate Fit, so we have a pro tanto reason to favor these views over alternatives. (shrink)

The Ghirardi–Rimini–Weber (GRW) theory of spontaneous wave function collapse is known to provide a quantum theory without observers, in fact two different ones by using either the matter density ontology (GRWm) or the flash ontology (GRWf). Both theories are known to make predictions different from those of quantum mechanics, but the difference is so small that no decisive experiment can as yet be performed. While some testable deviations from quantum mechanics have long been known, we provide here something that has (...) until now been missing: a formalism that succinctly summarizes the empirical predictions of GRWm and GRWf. We call it the GRW formalism. Its structure is similar to that of the quantum formalism but involves different operators. In other words, we establish the validity of a general algorithm for directly computing the testable predictions of GRWm and GRWf. We further show that some well-defined quantities cannot be measured in a GRW world, for example the number of collapses in a system during a chosen time interval. (shrink)

Journal Name: Philologus Issue: Ahead of print.

One of the main obstacles for panpsychism, the view that consciousness is fundamental and ubiquitous, is the difficulty of explaining how simple subjects could combine to form complex subjects. Known as the subject combination problem, it poses a possibly insurmountable challenge to the view. In this paper, I will assume that this challenge cannot be overcome and instead present a version of panpsychism that completely avoids talk of combination. Inspired by Gottfried Wilhelm Leibniz’s metaphysics of monads, I will focus on (...) a relational explanation of how simple subjects could constitute complex experiences, without them having to combine in virtue of their subjectivity. I call this view _monadic panpsychism_. Additionally, my proposal will not rely on emergence and so it will circumvent problems commonly faced by emergentist accounts. As I will argue, monadic panpsychism is preferable to combinatory and emergentist panpsychism because it faces a significantly less worrisome set of objections. Apart from being unaffected by the seemingly insuperable issue of subject combination, I will demonstrate that monadic panpsychism also has tools to address other kinds of the combination problem. That alone justifies the need for a new formulation of panpsychism, one which faces unique difficulties but also offers unique solutions. (shrink)

This short preface is meant to explain the purpose of the present volume and point to the diverse approaches and lines of argument pursued by the contributors.

In this work we study the functions, which are the polynomials of conditional algebra. The notion of conditional algebra is based on the procedural semantics of the conditional operator “if A then B else C” – one of the most usable operators of programming languages.

My new homepage is at jostylr.com . The corresponding e-mail address is [email protected] . On my new homepage there will be information about Bohmian mechanics, my papers, professional information, and personal information. As of 7/30/04, there is not much there, but it should improve.

Theories of well-being that I call “loving-the-good” claim that one intrinsically benefits if and only if one loves what is objectively good. For these views, well-being comes to be when the correct connection between world and mind obtains. Intuitively, ill-being is the opposite of well-being. I explore the resources of loving-the-good views to explain ill-being, especially whether they can do so and also meet the theoretical virtues of continuity and unity. Continuity is met when ill-being theory mirrors the well-being theory. (...) Unity is met when all instances of a phenomenon are given the same kind of explanation. I argue that, strikingly, the key insight of loving-the-good theories of well-being does not seem plausible for ill-being. A consequence is that loving-the-good theories face significant problems to meet continuity. I examine alternatives for these views to meet unity. I argue that plausible explanations of ill-being do not meet unity either. (shrink)

This study utilizing correlation, regression, confirmatory factor analyses, ANOVA, moderation and mediation analysis investigated connections of stereotypes, emotions, and sociocultural variables in a single-sample/single-group design. Prior to data processing, Georgian versions of the Stereotype Content Model questionnaires were validated through CFA. The study looked at Georgian students' attitudes to: representatives of German-speaking countries and representatives of English-speaking countries. Emotions predicted to these groups by social–structural antecedents—vitality and fear of assimilation—and stereotypes were admiration, pride, and sympathy. In addition, envy was predicted (...) for the English-speaking group. The prediction of envy is explained by moderation analysis according to which it is elicited by the interplay of warmth and competence, as well as fear of assimilation and competence. The former interaction mediates the link between social–structural antecedents to emotions. Thus, distant out-groups elicit envy as a result of their perceived vitality, fear of assimilation, warmth, and competence. Social–structural antecedents come forward to elicit emotions of envy independently as well as in interaction with stereotypes when small country representatives evaluate representatives of the influential group of English-speaking people. (shrink)

Bohmian mechanics is a theory about point particles moving along trajectories. It has the property that in a world governed by Bohmian mechanics, observers see the same statistics for experimental results as predicted by quantum mechanics. Bohmian mechanics thus provides an explanation of quantum mechanics. Moreover, the Bohmian trajectories are defined in a non-conspiratorial way by a few simple laws.

The article is an enquiry into the identity of two groups who called themselves Messenians: the Helots and perioikoi who revolted against Sparta after the earthquake in the 460s; and the citizens of the independent polity founded by Epameinondas in 370/69 bc in the Spartan territory west of the Taygetos. Based on the history of the Messenians in Pausanias Book 4, some scholars have thought that those two groups were simply the descendants of the free inhabitants of the region, subdued (...) by the Spartans in the Archaic period and reduced to the condition of Helots. According to these scholars, the Helotized Messenians preserved a sense of their identity and a religious tradition of their own, which re-emerged when they regained freedom. One objection to this thesis is that there is no clear archaeological evidence of regional cohesiveness in the area in the late Dark Ages, while the very concept of Messenia as a unified region extending from the river Neda to the Taygetos does not seem to exist prior to the Spartan conquest. Furthermore, evidence from sanctuaries dating to the Archaic and Early Classical periods shows that Messenia was to a significant extent populated by perioikoi whose material culture, cults and language were thoroughly indistinguishable from those documented in Lakonia. Even the site where Epameinondas later founded the central settlement of the new Messenian polity was apparently occupied since the late seventh century at the latest by a perioikic settlement. Some of these perioikoi participated with the Helots in the revolt after the earthquake, and the suggestion is advanced, based on research on processes of ethnogenesis, that they played a key role in the emergence of the Messenian identity of the rebels. For them, identifying themselves as Messenians was an implicit claim to the land west of the Taygetos; therefore the Spartans consistently refused to consider the rebels Messenians, just as they refused to consider Messenians ¿ that is, descendants of the ¿old Messenians¿ ¿ the citizens of Epameinondas¿ polity. Interestingly, the Spartan and the Theban-Messenian views on the identity of these people agreed in denying that the ¿old Messenians¿ had remained in Messenia as Helots. Messenian ethnicity is explained as the manifestation of the will of perioikoi and Helots living west of the Taygetos to be independent from Sparta. The fact that most Messenian cults attested from the fourth century onwards were typical Spartan cults does not encourage the assumption that there was any continuity in a Messenian tradition going back to the period before the Spartan westward expansion. (shrink)

Some proponents of global justice question that opening borders is an effective strategy to alleviate global poverty and reduce inequalities between countries. This article goes a step further and asks whether an open borders policy is compatible with the objectives of global distributive justice. The latter, it will be argued, entails the ordering of needs, the assignment of priorities and the preference or subordination of some interests over others. In other words, global justice requires the establishment of conditions and restrictions (...) on mobility. On the contrary, open borders claim an unrestricted and unconditional (not unqualified) freedom of movement, limited only by public health considerations, serious threats to national security or democratic institutions, but not by an aspiration for maximizing global redistributive utility. The main point is that not only would freedom of movement be instrumentalized, losing its presumptive moral force, but ultimately open borders as a remedy of global justice are an oxymoron. The article concludes with an alternative defence of freedom of international movement. (shrink)

Pure type systems arise as a generalisation of simply typed lambda calculus. The contemporary development of mathematics has renewed the interest in type theories, as they are not just the object of mere historical research, but have an active role in the development of computational science and core mathematics. It is worth exploring some of them in depth, particularly predicative Martin-Löf’s intuitionistic type theory and impredicative Coquand’s calculus of constructions. The logical and philosophical differences and similarities between them will be (...) studied, showing the relationship between these type theories and other fields of logic. (shrink)