One of the promising approaches to the problem of consciousness has been the Higher-Order Monitoring Theory of Consciousness. According to the Higher-Order Monitoring Theory, a mental state M of a subject S is conscious iff S has another mental state, M*, such that M* is an appropriate representation of M. Recently, several philosophers have developed a Higher-Order Monitoring theory with a twist. The twist is that M and M* are construed as entertaining some kind of constitutive relation, (...) rather than being logically independent of each other. We may call this the Same-Order Monitoring Theory of Consciousness. In this paper, I discuss the nature of the Same-Order Monitoring Theory and argue for its superiority over the more traditional Higher-Order Monitoring Theory. (shrink)

Monitoring approaches to consciousness claim that a mental state is conscious when it is suitably monitored. Higher-order monitoring theory makes the monitoring state and the monitored state logically independent. Same-order monitoring theory claims a constitutive, non-contingent connection between the monitoring state and the monitored state. In this paper, I articulate different versions of the same-order monitoring theory and argue for its supremacy over the higher-order monitoring theory.

The same-order representation theory of consciousness holds that conscious mental states represent both the world and themselves. This complex representational structure is posited in part to avoid a powerful objection to the more traditional higher-order representation theory of consciousness. The objection contends that the higher-order theory fails to account for the intimate relationship that holds between conscious states and our awareness of them--the theory 'divides the phenomenal labor' in an illicit fashion. This 'failure of intimacy' is (...) exposed by the possibility of misrepresentation by higher-order states. In this paper, I argue that despite appearances, the same-order theory fails to avoid the objection, and thus also has troubles with intimacy. (shrink)

The turn to Spinoza by many Marxists combines the classic problem of Marxism, that of base and superstructure, economy and ideology, with Spinoza’s challenging assertion of the identity of order of connection of ideas and things. This paper looks at two contemporary neo-Spinozists, Frédéric Lordon and Yves Citton, examining the ways in which their works intertwine economy and ideology, desire and imagination. The point, however, is not to just read Marx with Spinoza, but to use both together to make (...) sense of the imaginary and affective dimension of changes within the economy. (shrink)

My aim in this paper is to develop and defend a novel answer to a question that has recently generated a considerable amount of controversy. The question concerns the normative significance of peer disagreement. Suppose that you and I have been exposed to the same evidence and arguments that bear on some proposition: there is no relevant consideration which is available to you but not to me, or vice versa. For the sake of concreteness, we might picture.

“Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of (...) our traditional intuitive logical framework and that it is not an artificial formalism created by specialists for technical purposes. To illustrate some of the main relationships between second-order logic and first-order logic, this paper introduces basic logic, a kind of zero-order logic, which is more rudimentary than first-order and which is transcended by first-order in the same way that first-order is transcended by second-order. The heuristic effectiveness and the historical importance of second-order logic are reviewed in the context of the contemporary debate over the legitimacy of second-order logic. Rejection of second-order logic is viewed as radical: an incipient paradigm shift involving radical repudiation of a part of our scientific tradition, a tradition that is defended by classical logicians. But it is also viewed as reactionary: as being analogous to the reactionary repudiation of symbolic logic by supporters of “Aristotelian” traditional logic. But even if “genuine” logic comes to be regarded as excluding second-order reasoning, which seems less likely today than fifty years ago, its effectiveness as a heuristic instrument will remain and its importance for understanding the history of logic and mathematics will not be diminished. Second-order logic may someday be gone, but it will never be forgotten. Technical formalisms have been avoided entirely in an effort to reach a wide audience, but every effort has been made to limit the inevitable sacrifice of rigor. People who do not know second-order logic cannot understand the modern debate over its legitimacy and they are cut-off from the heuristic advantages of second-order logic. And, what may be worse, they are cut-off from an understanding of the history of logic and thus are constrained to have distorted views of the nature of the subject. As Aristotle first said, we do not understand a discipline until we have seen its development. It is a truism that a person's conceptions of what a discipline is and of what it can become are predicated on their conception of what it has been. (shrink)

I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only (...) the cardinalities of these sets matters, and that not all pairs of infinite sets determine the same logic. I use so-called two-cardinal theorems from model theory to investigate the space of logics and consequence relations determined by pairs of infinite sets, and show how to eliminate the assumption that worlds are individuals from Williamson’s argument. (shrink)

Like the latter, it unites into one and the same function the possibility of giving things a sign, of representing one thing by another, and the possibility of causing a sign to shift in relation to what it designates. The four functions that define the ...

Aristotle attaches particular significance to the homonymy of many central concepts in philosophy and science: that is, to the diversity of ways of being common to a single general concept. His preoccupation with homonymy influences his approach to almost every subject that he considers, and it clearly structures the philosophical methodology that he employs both when criticizing others and when advancing his own positive theories. Where there is homonymy there is multiplicity: Aristotle aims to find the order within this (...) multiplicity, and believes that doing so is crucial to scientific inquiry and philosophical progress.Christopher Shields investigates and evaluates Aristotle's approach to questions about homonymy, characterizing the metaphysical and semantic commitments necessary to establish the homonymy of a given concept. Then, in a series of case-studies, Shields examines in detail some of Aristotle's principal applications of homonymy--to the body, sameness and oneness, life, goodness, and being. Shields's aim is not only to give a fuller understanding of Aristotle's methodology and to illuminate his specific doctrines in a variety of areas, but to show that this methodology remains fruitful today. (shrink)

We show that a coherent theory of partially ordered connectives can be developed along the same line as partially ordered quantification. We estimate the expressive power of various partially ordered connectives and use methods like Ehrenfeucht games and infinitary logic to get various undefinability results.

Dialectics is the logic of estrangement. Self-relating negativity, which is at once every difference and its overcoming, is the pulse of dialectics. But what is this self-estranging sameness? For Hegel, the idealist, it is “the absolute concept.” It is more difficult to say what it is for Marx, who is supposed to be a materialist. If Marx were merely relocating self-estranging sameness from the concept to human “genus-being” (Gattungswesen), understood as a historically variable “ensemble of social relations,” this ensemble would (...) harbour a potentiality to become that is at once enabled and disabled by the social divisions of labour and class that they have generated. This interpretation is vitiated by an ambiguity in its invocation of potentiality. If we flatten human genus-being onto historically variable social relations, there is no latency left in it which could be said to be unactualized by existing social practices. But if some aspect of genus-being is held in reserve as an unactualized potential, we risk re-substantializing it as an a-historical essence. It is this ambiguity that leads Marx’s critics to accuse him of invoking a transcendent conception of human essence despite his insistence that this essence is a function of historically variable social relations. I want to parry this criticism by suggesting that Marx’s materialism requires Hegel’s self-estranging sameness in order to dissolve the apparent dichotomy between immanence and transcendence in the potency ascribed to practice. Estrangement and de-estrangement, compulsion and freedom, are not separable moments but twin facets of the same movement. The prospect of de-estrangement emerges only by retrospecting an enabling estrangement. (shrink)

We try to answer the question which is the “right” foundation of mathematics, second order logic or set theory. Since the former is usually thought of as a formal language and the latter as a first order theory, we have to rephrase the question. We formulate what we call the second order view and a competing set theory view, and then discuss the merits of both views. On the surface these two views seem to be in manifest (...) conflict with each other. However, our conclusion is that it is very difficult to see any real difference between the two. We analyze a phenomenon we call internal categoricity which extends the familiar categoricity results of second order logic to Henkin models and show that set theory enjoys the same kind of internal categoricity. Thus the existence of non-standard models, which is usually taken as a property of first order set theory, and categoricity, which is usually taken as a property of second order axiomatizations, can coherently coexist when put into their proper context. We also take a fresh look at complete second order axiomatizations and give a hierarchy result for second order characterizable structures. Finally we consider the problem of existence in mathematics from both points of view and find that second order logic depends on what we call large domain assumptions, which come quite close to the meaning of the axioms of set theory. (shrink)

Question order effects are commonly observed in self-report measures of judgment and attitude. This article develops a quantum question order model (the QQ model) to account for four types of question order effects observed in literature. First, the postulates of the QQ model are presented. Second, an a priori, parameter-free, and precise prediction, called the QQ equality, is derived from these mathematical principles, and six empirical data sets are used to test the prediction. Third, a new index (...) is derived from the model to measure similarity between questions. Fourth, we show that in contrast to the QQ model, Bayesian and Markov models do not generally satisfy the QQ equality and thus cannot account for the reported empirical data that support this equality. Finally, we describe the conditions under which order effects are predicted to occur, and we review a broader range of findings that are encompassed by these very same quantum principles. We conclude that quantum probability theory, initially invented to explain order effects on measurements in physics, appears to be a powerful natural explanation for order effects of self-report measures in social and behavioral sciences, too. (shrink)

In 1993, Jim Mason, journalist, advocate, and pioneering figure in the contemporary animal advocacy movement, published An Unnatural Order-a sweeping overview of the origins of our hatred and destruction of the natural world and its creatures, from the dawn of agriculture to the present day. Now fully revised and updated to reflect developments in paleoanthropology and ethology, as well as greater awareness of, and urgency regarding, the climate crisis, An Unnatural Order offers an expansive overview of what has (...) changed (both for good and for ill) and what has unfortunately remained the same. His message is clear: until we grapple with the question of the animal, and our relationship with animality and the natural world, we will not be able to confront the consequences of our perpetuation of environmental destruction, biodiversity collapse, and our alienation from the Earth and one another. As brilliantly polemical and richly descriptive as it was when it was published almost three decades ago, this new version of An Unnatural Order is sure to excite a passionate debate about our role in either saving the ecosystems upon which all species (including our own) rely, or bringing it all to an end. (shrink)

We present well-ordering proofs for Martin-Löf's type theory with W-type and one universe. These proofs, together with an embedding of the type theory in a set theoretical system as carried out in Setzer show that the proof theoretical strength of the type theory is precisely ψΩ1Ω1 + ω, which is slightly more than the strength of Feferman's theory T0, classical set theory KPI and the subsystem of analysis + . The strength of intensional and extensional version, of the version à (...) la Tarski and à la Russell are shown to be the same. (shrink)

It is shown that a formula of modal propositional logic has precisely the same models as a sentence of the first-order language of a single dyadic predicate iff its class of models is closed under ultraproducts. as a corollary, any modal formula definable by a set of first-order conditions is always definable by a single such condition. these results are then used to show that the formula (lmp 'validates' mlp) is not first-order definable.

The historical roots of despotism in Russia are long, the tradition of arbitrariness seems to be unbreakable. But this status quo can't persist endless: Growing mass protests indicate that the time nears when Russia will unhorse the self-constituted disposers and will demonstrate again its re-invention potential. -/- This expected and hoped egression from despotism into a new phase of Russian history needs to be carefully elaborated and arranged. Starting with the writing and publishing of my essays following mass political protests (...) in the former Soviet Union, namely, in the Russian Federation in fall and winter of the year 2012, I work permanently on redesigning political system. One year later, i.e. 2013, I released a book dedicated those events, and in the same year I wrote the draft of a new constitution, now revised and adopted by the community Rus’ whose member I am since 12.12.2018. -/- 2017 I registered an internet domain reserved for the Foundation intended to promote the constitutional order in Russia. Since that time, I designed the site of the Foundation, fashioned the identity card, and published several documents related to promotion and establishing of the constitutional order (CO). -/- All skilled designers and creative thinkers are invited to take part in this process as co-workers and creators of a new political system. (shrink)

Aristotle attaches particular significance to the homomyny of many of the central concepts in philosophy and science: that is, to the diversity of ways of being that are denoted by a single concept. Shields here investigates and evaluates Aristotle's approach to questions about homonymy, characterizing the metaphysical and semantic commitments necessary to establish the homonymy of a given concept. Then, in a series of case studies, he examines in detail some of Aristotle's principal applications of homonymy--to the body, sameness and (...) and oneness, life, goodness, and being. This first full-length study of a central aspect of Aristotle's thought will interest philosophers working in a number of areas. (shrink)

Much previous work has suggested that word order preferences across languages can be explained by the dependency distance minimization constraint (Ferrer‐i Cancho, 2008, 2015; Hawkins, 1994). Consistent with this claim, corpus studies have shown that the average distance between a head (e.g., verb) and its dependent (e.g., noun) tends to be short cross‐linguistically (Ferrer‐i Cancho, 2014; Futrell, Mahowald, & Gibson, 2015; Liu, Xu, & Liang, 2017). This implies that on average languages avoid inefficient or complex structures for simpler structures. (...) But a number of studies in psycholinguistics (Konieczny, 2000; Levy & Keller, 2013; Vasishth, Suckow, Lewis, & Kern, 2010) show that the comprehension system can adapt to the typological properties of a language, for example, verb‐final order, leading to more complex structures, for example, having longer linear distance between a head and its dependent. In this paper, we conduct a corpus study for a group of 38 languages, which were either Subject–Verb–Object (SVO) or Subject–Object–Verb (SOV), in order to investigate the role of word order typology in determining syntactic complexity. We present results aggregated across all dependency types, as well as for specific verbal (objects, indirect objects, and adjuncts) and nonverbal (nominal, adjectival, and adverbial) dependencies. The results suggest that dependency distance in a language is determined by the default word order of a language, and crucially, the direction of a dependency (whether the head precedes the dependent or follows it; e.g., whether the noun precedes the verb or follows it). Particularly we show that in SOV languages (e.g., Hindi, Korean) as well as SVO languages (e.g., English, Spanish), longer linear distance (measured as number of words) between head and dependent arises in structures when they mirror the default word order of the language. In addition to showing results on linear distance, we also investigate the influence of word order typology on hierarchical distance (HD; measured as number of heads between head and dependent). The results for HD are similar to that of linear distance. At the same time, in comparison to linear distance, the influence of adaptability on HD seems less strong. In particular, the results show that most languages tend to avoid greater structural depth. Together, these results show evidence for “limited adaptability” to the default word order preferences in a language. Our results support a large body of work in the processing literature that highlights the importance of linguistic exposure and its interaction with working memory constraints in determining sentence complexity. Our results also point to the possible role of other factors such as the morphological richness of a language and a multifactor account of sentence complexity remains a promising area for future investigation. (shrink)

Diversity and disagreement in the religious beliefs among many religious people seem here to stay, however much they bother some inquirers. Even so, the latter inquirers appear not to be similarly bothered by diversity and disagreement in the scientific beliefs among many scientists. They sometimes propose that we should take religious beliefs to be noncognitive and perhaps even nonontological and noncausal regarding their apparent referents, but they do not propose the same for scientific beliefs. Perhaps they would account for (...) this difference in terms of more extensive diversity and disagreement among religious beliefs than scientific beliefs. We shall attend to the alleged significance of diversity and disagreement among religious beliefs, with an eye toward its bearing on epistemic and ontological matters in religion. In particular, we shall ask whether the significance recommends a retreat from first-order to “second-order” religion, as suggested by Branden Thornhill-Miller and Peter Millican. (shrink)

When asked to identify objects having unique shapes and colors among other objects, English speakers often produce redundant color modifiers (“the red circle”) while Spanish speakers produce them less often (“el circulo (rojo)”). This cross‐linguistic difference has been attributed to a difference in word order between the two languages, under the incremental efficiency hypothesis (Rubio‐Fernández, Mollica, & Jara‐Ettinger, 2020). However, previous studies leave open the possibility that broad language differences between English and Spanish may explain this cross‐linguistic difference such (...) that English speakers may generally produce more modifiers than Spanish speakers, including redundant ones, irrespective of word order. Here, we test the incremental efficiency hypothesis in a language production task crossing language (English, Spanish) with modifier type (color, number). Critically, number words occur on the same side of the noun in both English and Spanish. If broad language differences are responsible for the higher rate of color word production in English compared to Spanish, then the same effect should hold for number words. In contrast, the incremental efficiency hypothesis predicts an interaction between language and modifier type, due to different ordering for color words but identical ordering for number words. Our pre‐registered analyses offer strong support for the incremental efficiency hypothesis, demonstrating how seemingly small differences in language can cause us to describe the world in surprisingly different ways. (shrink)

Ignacio Jane has argued that second-order logic presupposes some amount of set theory and hence cannot legitimately be used in axiomatizing set theory. I focus here on his claim that the second-order formulation of the Axiom of Separation presupposes the character of the power set operation, thereby preventing a thorough study of the power set of infinite sets, a central part of set theory. In reply I argue that substantive issues often cannot be separated from a logic, but (...) rather must be presupposed. I call this the logic-metalogic link. There are two facets to the logic-metalogic link. First, when a logic is entangled with a substantive issue, the same position on that issue should be taken at the meta- level as at the object level; and second, if an expression has a clear meaning in natural language, then the corresponding concept can equally well be deployed in a formal language. The determinate nature of the power set operation is one such substantive issue in set theory. Whether there is a determinate power set of an infinite set can only be presupposed in set theory, not proved, so the use of second-order logic cannot be ruled out by virtue of presupposing one answer to this question. Moreover, the legitimacy of presupposing in the background logic that the power set of an infinite set is determinate is guaranteed by the clarity and definiteness of the notions of all and of subset. This is also exactly what is required for the same presupposition to be legitimately made in an axiomatic set theory, so the use of second-order logic in set theory rather than first-order logic does not require any new metatheoretic commitments. (shrink)

Every order lies on the claim or pretension to give itself as an accomplished realm, i.e. as a closed scene which is capable to give shape, orientation and sense to the totality of elements embraced by it. Yet, from the same operation of ordering, a paradox soon arises, in that no order can avoid its contingent genealogy, that means: it cannot avoid the fact that, in enclosing and including something, it must simultaneously exclude something else, which, therefore, (...) can always challenge and threaten its stability or total “delimitation”. In this sense, that which is excluded can be seen as an alien element, which structurally prevents order from a definite closure and thus keeps it in a permanent movement. Now, what I would like to convey in my following reflections is that this dynamics of impossible closure of order, given to a non-appropriable alienness, is exactly the one operative in the realms of translation and tragedy, so that, once we carefully investigate these realms, we may dare to affirm that saying that orders are unclosed scenes is as much true as to say that they are constantly “in translation”, always “in tragedy”. (shrink)

Second-order abstract categorial grammars (de Groote in Association for computational linguistics, 39th annual meeting and 10th conference of the European chapter, proceedings of the conference, pp. 148–155, 2001) and hyperedge replacement grammars (Bauderon and Courcelle in Math Syst Theory 20:83–127, 1987; Habel and Kreowski in STACS 87: 4th Annual symposium on theoretical aspects of computer science. Lecture notes in computer science, vol 247, Springer, Berlin, pp 207–219, 1987) are two natural ways of generalizing “context-free” grammar formalisms for string and (...) tree languages. It is known that the string generating power of both formalisms is equivalent to (non-erasing) multiple context-free grammars (Seki et al. in Theor Comput Sci 88:191–229, 1991) or linear context-free rewriting systems (Weir in Characterizing mildly context-sensitive grammar formalisms, University of Pennsylvania, 1988). In this paper, we give a simple, direct proof of the fact that second-order ACGs are simulated by hyperedge replacement grammars, which implies that the string and tree generating power of the former is included in that of the latter. The normal form for tree-generating hyperedge replacement grammars given by Engelfriet and Maneth (Graph transformation. Lecture notes in computer science, vol 1764. Springer, Berlin, pp 15–29, 2000) can then be used to show that the tree generating power of second-order ACGs is exactly the same as that of hyperedge replacement grammars. (shrink)

The history of building automated theorem provers for higher-order logic is almost as old as the field of deduction systems itself. The first successful attempts to mechanize and implement higher-order logic were those of Huet [13] and Jensen and Pietrzykowski [17]. They combine the resolution principle for higher-order logic (first studied in [1]) with higher-order unification. The unification problem in typed λ-calculi is much more complex than that for first-order terms, since it has to take (...) the theory of αβη-equality into account. As a consequence, the higher-order unification problem is undecidable and sets of solutions need not even always have most general elements that represent them. Thus the mentioned calculi for higher-order logic have take special measures to circumvent the problems posed by the theoretical complexity of higher-order unification. In this paper, we will exemplify the methods and proof- and model-theoretic tools needed for extending first-order automated theorem proving to higherorder logic. For the sake of simplicity take the tableau method as a basis (for a general introduction to first-order tableaux see part I.1) and discuss the higherorder tableau calculi HT and HTE first presented in [19]. The methods in this paper also apply to higher-order resolution calculi [1, 13, 6] or the higher-order matings method of Peter [3], which extend their first-order counterparts in much the same way. Since higher-order calculi cannot be complete for the standard semantics by Gödel’s incompleteness theorem [11], only the weaker notion of Henkin models [12] leads to a meaningful notion of completeness in higher-order logic. It turns out that the calculi in [1, 13, 3, 19] are not Henkin-complete, since they fail to capture the extensionality principles of higher-order logic. We will characterize the deductive power of our calculus HT (which is roughly equivalent to these calculi) by the semantics of functional Σ-models. To arrive at a calculus that is complete with respect to Henkin models, we build on ideas from [6] and augment HT with tableau construction rules that use the extensionality principles in a goal-oriented way.. (shrink)

The jus ad bellum doctrine of legitimate authority, conceived by St. Augustine and evolved by St. Thomas Aquinas, that a sovereign might identify a just cause and declare war without reference to the nation’s soldiers or citizens, continues to inform thinking about just war. Contesting this claim, the present paper reasons that without the moral confidence of the soldiers who serve, no conflict can be justified. The paper claims that soldiers have relevant and important ideas about the justice of the (...) cause. Soldiers, who enlist in order to advance justice by just means, deserve the chance to fight and perhaps to die with the fully formed moral assurance that their cause is right. (shrink)

This paper is an attempt to develop the many-valued first-order fuzzy logic. The set of its truth, values is supposed to be either a finite chain or the interval 0, 1 of reals. These are special cases of a residuated lattice L, , , , , 1, 0. It has been previously proved that the fuzzy propositional logic based on the same sets of truth values is semantically complete. In this paper the syntax and semantics of the first- (...) class='Hi'>order fuzzy logic is developed. Except for the basic connectives and quantifiers, its language may contain also additional n-ary connectives and quantifiers. Many propositions analogous to those in the classical logic are proved. The notion of the fuzzy theory in the first-order fuzzy logic is introduced and its canonical model is constructed. Finally, the extensions of Gödel's completeness theorems are proved which confirm that the first-order fuzzy logic is also semantically complete. (shrink)

Priest (2009) formulates a propositional logic which, by employing the worldsemantics for intuitionist logic, has the same positive part but dualises the negation, to produce a paraconsistent logic which it calls 'Da Costa Logic'. This paper extends matters to the first-order case. The paper establishes various connections between first order da Costa logic, da Costa's own Cω, and classical logic. Tableau and natural deductions systems are provided and proved sound and complete.

The characterization of second-order type isomorphisms is a purely syntactical problem that we propose to study under the enlightenment of game semantics. We study this question in the case of second-order λμ-calculus, which can be seen as an extension of system F to classical logic, and for which we define a categorical framework: control hyperdoctrines.Our game model of λμ-calculus is based on polymorphic arenas which evolve during the play. We show that type isomorphisms coincide with the “equality” on (...) arenas associated with types. Finally we deduce the equational characterization of type isomorphisms from this equality. We also recover from the same model Roberto Di Cosmo’s characterization of type isomorphisms for system F.This approach leads to a geometrical comprehension on the question of second-order type isomorphisms, which can be easily extended to some other polymorphic calculi including additional programming features. (shrink)

As they are conventionally formulated, Boolean games assume that players make their choices in ignorance of the choices being made by other players – they are games of simultaneous moves. For many settings, this is clearly unrealistic. In this paper, we show how Boolean games can be enriched by dependency graphs which explicitly represent the informational dependencies between variables in a game. More precisely, dependency graphs play two roles. First, when we say that variable x depends on variable y, then (...) we mean that when a strategy assigns a value to variable x, it can be informed by the value that has been assigned to y. Second, and as a consequence of the first property, they capture a richer and more plausible model of concurrency than the simultaneous-action model implicit in conventional Boolean games. Dependency graphs implicitly define a partial ordering of the run-time events in a game: if x is dependent on y, then the assignment of a value to y must precede the assignment of a value to x; if x and y are independent, however, then we can say nothing about the ordering of assignments to these variables—the assignments may occur concurrently. We refer to Boolean games with dependency graphs as partial-order Boolean games. After motivating and presenting the partial-order Boolean games model, we explore its properties. We show that while some problems associated with our new games have the same complexity as in conventional Boolean games, for others the complexity blows up dramatically. We also show that the concurrency in partial-order Boolean games can be modelled using a closure-operator semantics, and conclude by considering the relationship of our model to Independence-Friendly logic. (shrink)

We explore and provide an account for a recently identified judgment anomaly, i.e., an order effect that changes the strength of intentionality ascriptions for some side effects (e.g., when a chairman's pursuit of profits has the foreseen but unintended consequence of harming the environment). Experiment 1 replicated the previously unanticipated order effect anomaly controlling for general individual differences. Experiment 2 revealed that the order effect was multiply determined and influenced by factors such as beliefs (i.e., that the (...) same actor was involved in bringing about both good and bad side effects) and philosophical training (i.e., more training was associated with smaller differences in judgment when harm followed help). Results provide more evidence that the folk's philosophically relevant intuitions are predictably fragmented and depend on the dynamic interplay between persons, process, and environments. Methodological and theoretical implications are discussed. (shrink)

Population ethics contains several principles that avoid the repugnant conclusion. These rules rank all possible alternatives, leaving no room for moral ambiguity. Building on a suggestion of Parfit, this paper characterizes principles that provide incomplete but ethically attractive rankings of alternatives with different population sizes. All of them rank same-number alternatives with generalized utilitarianism.

This paper studies the expressive power that an extra first order quantifier adds to a fragment of monadic second order logic, extending the toolkit of Janin and Marcinkowski [JM01].We introduce an operation existsn on properties S that says "there are n components having S". We use this operation to show that under natural strictness conditions, adding a first order quantifier word u to the beginning of a prefix class V increases the expressive power monotonically in u. As (...) a corollary, if the first order quantifiers are not already absorbed in V, then both the quantifier alternation hierarchy and the existential quantifier hierarchy in the positive first order closure of V are strict.We generalize and simplify methods from Marcinkowski [Mar99] to uncover limitations of the expressive power of an additional first order quantifier, and show that for a wide class of properties S, S cannot belong to the positive first order closure of a monadic prefix class W unless it already belongs to W.We introduce another operation alt on properties which has the same relationship with the Circuit Value Problem as reach has with the Directed Reachability Problem. We use alt to show that Πn⊈ FO, Σn⊈ FO, and Δn+1⊈ FOB, solving some open problems raised in [Mat98]. (shrink)

There are two kinds of forgiveness that appear as radically different from one another: one presents forgiveness as essentially earned through remorseful apology; the other presents it as fundamentally non-earned—a gift. The first, which I label Moral Justice Forgiveness, adopts a stance of moral demand and conditionality; the second, which I label Gifted Forgiveness, adopts a stance of non-demand and un-conditionality. Each is real; yet how can two such different responses to wrongdoing be of one and the same kind? (...) This paper explains how, by showing that the basic role each plays in moral-social life is the same; and that one is conceptually and therefore historically prior to the other. The result is pluralism, with each kind of forgiveness represented as distinctive in both its psychology and its normativity; and yet an ordered pluralism—with Moral Justice Forgiveness revealed as the root kind, and Gifted Forgiveness a culturally contingent iteration. (shrink)

This second volume of Voegelin's magisterial _Order and History, The World of the Polis,_ explores the ancient Greek symbolization of human reality. Taking us from the origins of Greek culture in the Pre-Homeric Cretan civilizations, through the _Iliad_ and _Odyssey,_ Hesiod, and the rise of philosophy with the Pre-Socratics Parmenides and Heraclitus, this masterful work concludes with the historians of the classical period. In _The World of the Polis,_ Voegelin traces the emergence of the forms of the city-state and of (...) philosophy from the ancient symbolism of myth. He maintains that the limits and ultimate goals of human nature are constant and that the central problem of every society is the same—"to create an order that will endow the fact of its existence with meaning in terms of ends divine and human." Thus, Voegelin shows how "the meaning of existence" achieved concrete expression in the typical political, social, and religious institutions of Greece and in the productions of its poets and thinkers. He deals with more than fifty Greek writers in the course of his analysis of the rise of myth and its representation of the divine order of the cosmos as the first great symbolic form of order, one later supplanted by the leap in being reflected in the emergence of philosophy. The book is a tour de force, a virtuoso performance by a scholar and philosopher of great power, learning, and imagination that places its subject matter in a new light. The editor's critical introduction places _The World of the Polis_ in the broader context of Voegelin's philosophy of history. Scholars and students of political science, philosophy, and the history of ideas will find this work invaluable. (shrink)

I argue that Jaegwon Kim’s supervenience argument does not generalize to all special science properties by undermining his central intuition, employed in stage 1 of the argument, that there is a tension between horizontal causation and vertical determination. First, I challenge Kim’s treatment of the examples he employs to support this intuition, then I appeal to Kim’s own work on the metaphysics of explanation in order to dissipate the alleged tension.

The dissertation introduces new sequent-calculi for free first- and second-order logic, and a hyper-sequent calculus for modal logics K, D, T, B, S4, and S5; to attain the calculi for the stronger modal logics, only external structural rules need to be added to the calculus for K, while operational and internal structural rules remain the same. Completeness and cut-elimination are proved for all calculi presented.Philosophically, the dissertation develops an inferentialist, or proof-theoretic, theory of meaning. It takes as a (...) starting point that the sense of a sentence is determined by the rules governing its use. In particular, there are two features of the use of a sentence that jointly determine its sense, the conditions under which it is coherent to assert that sentence and the conditions under which it is coherent to deny that sentence. The dissertation develops a theory of quantification as marking coherent ways a language can be expanded and modality as the means by which we can reflect on the norms governing the assertion and denial conditions of our language. If the view of quantification that is argued for is correct, then there is no tension between second-order quantification and nominalism. In particular, the ontological commitments one can incur through the use of a quantifier depend wholly on the ontological commitments one can incur through the use of atomic sentences. The dissertation concludes by applying the developed theory of meaning to the metaphysical issue of necessitism and contingentism. Two objections to a logic of contingentism are raised and addressed. The resulting logic is shown to meet all the requirement that the dissertation lays out for a theory of meaning for quantifiers and modal operators.Abstract prepared by Andrew ParisiE-mail: [email protected]: https://opencommons.uconn.edu/dissertations/1480/. (shrink)

This paper examines the ontological commitments of the second-order language of arithmetic and argues that they do not extend beyond the first-order language. Then, building on an argument by George Boolos, we develop a Tarski-style definition of a truth predicate for the second-order language of arithmetic that does not involve the assignment of sets to second-order variables but rather uses the same class of assignments standardly used in a definition for the first-order language.

In any event, I realize fully that the parole, the speech, the "word" of a writer such as myself, has something strange and even contradictory about it, even within its own creator. At the moment when I write, let us say, La Jalousie or Glissements progressifs du plaisir, what I propose is improbable and consequently unacceptable; that is, my parole as a writer or as a cinéaste in my novels or in my films is abrupt, inexplicable, nonrecuperable for any correctly (...) organized discourse. Nevertheless, you have noticed that I speak with the same clarity as any professor, and this constitutes an extremely interesting contradiction because it goes to the very heart of the debate; order and disorder never cease to interact, to contaminate each other, to practice a sort of mutual recuperation. If, having written a novel of disorder, I don't find someone—for example, Bruce Morrissette, about La Jalousie—to prove that it has order, I'll do it myself. The principle of order is so crucial that I wish to prove that the disorder which I've created I can myself transform into order. But, as soon as I have shown that it has its order, from that moment on I've destroyed the interest of my work. I have brought about within an organized discourse, organized according to the normal logic of Cartesianism, the recuperation of something which was in fact a machine of war against order. I often run into people who say to me after a film, "Ah, it's a pity that you didn't come to explain all of that before the film. We didn't understand a thing, and it is such a fine thing that you have explained it." And I reply, "Yes, but don't trust that too much," because what I've said is not at all the film. It is even almost the opposite; it is the way in which I show myself that there is in what I created a part which is in spite of everything, explainable by established order, and a part increasingly large, because order progresses. Alain Robbe-Grillet, novelist, film maker, and essayist, is the author of Les Gommes , Le Voyeur , La Jalousie , Dans le labyrinthe , La Maison de rendez-vous , Projet pour une révolution à New York , and Topologie d'une cité fantôme . His films include: L'Année dernière à Marienbad , L'Immortelle , Trans-Europ-Express , L'Homme qui ment , L'Eden et après , Glissements progressifs du plaisir , and Le Jeu avec le feu . He has presented his views on contemporary fiction in Pour un Nouveau Roman. Bruce Morrissette, author of books on Alain Robbe-Grillet and Sunny Distinguished Service Professor in the department of Romance languages and literature at the University of Chicago, has translated "Order and Disorder in Film and Fiction." He is the author of "Post-Modern Generative Fiction: Novel and Film". (shrink)

Eric Voegelin's new study of Greek civilization, part of his continuing study of Order and History, contains elements of both such approaches to antiquity. In briefest compass, it is Voegelin's contention that order in history depends upon the recognition of the transcendental source of order; disorder is engendered by the "immanentization" of this source. Nevertheless, the transcendental source of order, the Christian God, is experienced within history, and civilizations are evaluated in terms of their anticipation of, (...) approach to, or withdrawal from this God. In terms of Christ's revelation, Greek thought is prejudged as a defective preliminary vision of historical and metaphysical truth. Just as Christ completes the Greek vision in "existential" terms, so Thomas Aquinas remedies the faults of Greek theory. In the process of being rejected or completed, classical thought takes on a remarkably Christian appearance. Despite his conservative or transcendental intentions, Voegelin's version of Christianity places great emphasis upon history as "open" to the future, and so the christianization of the Greeks produces anachronisms of the most extreme liberalism. At the same time, however, the Greek failure to transcend either the polis as a form of temporal order or an immanent conception of Being is severely criticized. (shrink)

Are the circumstances in which moral testimony serves as evidence that our judgement-forming processes are unreliable the same circumstances in which mundane testimony serves as evidence that our mundane judgement-forming processes are unreliable? In answering this question, we distinguish two possible roles for testimony: (i) providing a legitimate basis for a judgement, (ii) providing (‘higher-order’) evidence that a judgement-forming process is unreliable. We explore the possibilities for a view according to which moral testimony does not, in contrast to (...) mundane testimony play role (i), but can play role (ii). We argue that standard motivations for rejecting this hybrid position are unpersuasive but suggest that a more compelling reason might be found in considering the social nature of morality. (shrink)

In [2] we have presented sequent formulations of the modal logics S5 and S4 based on sequents of higher levels: sequents of level 1 are like ordinary sequents, sequents of level 2 have collections of sequents of level 1 on the left and right of the turnstile, etc. The rules we gave for modal constants involved sequents of level 2, whereas rules for other customary logical constants of first–order logic involved only sequents of level 1. Here we show starting (...) from the same sequent rules of higher level we can obtain sequent formulations of intuitionistic analogues of S5 and S4. We presuppose for this paper an acquaintance with [2]. (shrink)