The First Dialogue of Three Dialogues covers a lot of ground. It introduces the two characters of the Dialogues, lays down the issue to be discussed, and, by means of the conversation, wrings from Hylas two important concessions. Hylas, who is apparently accustomed to sleeping in, opens the dialogue by revealing that he is up early due to a problem on his mind arising from a late night discussion. Philonous responds with a flowery and enthusiastic account of the beauties of (...) nature to be enjoyed by the early riser. Philonous gets from Hylas the willing admission that nothing is perceived immediately except the proper objects of the senses. George Berkeley leads into the discussion of primary and secondary qualities from a last ditch attempt by Hylas to resurrect his argument about sound with respect to color. He proposes that color is nothing more than the motion of light particles. (shrink)

The results of the previous research which tried to investigate links between self-esteem and narcissism in search of the source of narcissistic fragility are not consistent. The aim of the study was to contribute to the understanding of this complex relation by assessing relationships between the four facets of grandiose narcissism measured by the NPI and the two kinds of self-esteem i.e. explicit and implicit, and by comparing the results with theoretical models. The Implicit Relational Assessment Procedure, a more recent (...) measure based on response latency, was used to assess ISE. The analysis confirms the reports on NPI heterogeneity. Different relationships between the particular facets of narcissism and ESE/ise were observed. These differences indicate that composite measures of narcissism and ISE do not reflect the entire complexity of the phenomena. The results provide support for the two theoretical models i.e. the global marker model and the mask model. (shrink)

This article examines the following questions: Is there a human right to food and water in the international sphere? Is it possible to derive such human rights as “general principles of law” within the meaning of public international law, which are independent from contractual agreement or recognition by States? What exactly would such a right to food and water comprise? Is there a constitutional rank relationship evolving between human rights and public international law which might affect the interpretation of, e. (...) g., WTO law? How can conflicting considerations be balanced? (shrink)

In response to the dozen essays published here, which relate my 1964 paper on “The Nature of Belief Systems in the Mass Publics” to normative requirements of democratic theory, I note, inter alia, a major misinterpretation of my old argument, as well as needed revisions of that argument in the light of intervening data. Then I address the degree to which there may be some long‐term secular change in the parameters that I originally laid out. In the final section, I (...) provide a case study of public understanding of factual trends in federal tax policy in recent decades which seems commendably veridical on average. The preferences of the public thereon add up to a remarkably clear popular mandate. But this mandate seems to disappear rather magically in the voting booth, probably due to a combination of limited contextual information on the public side, and considerable skill on the elite side in manipulating apparent political realities. (shrink)

The paper criticizes the truthmaker principle that every truth is made true by something. If we interpret ‘something’ as quantifying into sentence position, we can interpret the principle as a harmless logical truth, but that is not what advocates of the principle intend. They interpret ‘something’ as quantifying into name position, and the principle as requiring the existence of truthmaking individuals. The paper argues that we have no reason to believe the principle on this interpretation. Moreover, the converse Barcan (...) formula is inconsistent with the existence of truthmaking individuals for contingent truths. Considerations about our ability to count possible truthmaking individuals are used to argue that we should prefer the converse Barcan formula. (shrink)

The topic of the democratic public's limited competence has preoccupied students of democracy for centuries. Anecdotal concerns about the problem reached their peak of sophistication in the writings of Walter Lippmann and Joseph Schumpeter. Not until Philip E. Converse's “The Nature of Belief Systems in Mass Publics” did statistical research overwhelmingly confirm the worst fears of such democratic skeptics. Subsequent work has tended to confirm Converse's picture of a tiny stratum of well‐informed ideological elites whose passionate political debates (...) find little echo, or even awareness, in the mass public. While a great deal of attention has been devoted to “saving” democratic legitimacy from such findings, the Converse‐inspired work of John Zaller (1992) shows how fruitful Converse's basic ideas can be not only in analyzing real‐world political events, but in pulling together and stimulating new lines of research into what moves the “creative synthesizers” of belief systems; into the factors that affect the small numbers of people who grasp such systems and attempt to transmit them to the public; and into the long‐term psychological or cultural sources of the predispositions with which members of the mass public confront the resulting political messages. (shrink)

LCo with the Converse Ackermann Property is defined as the result of restricting Contraction in LC. Intuitionistic and Superintuitionistic Negation is shown to be compatible with the CAP.

Three confirmation principles discussed by Hempel are the Converse Consequence Condition, the Special Consequence Condition and the Entailment Condition. Le Morvan (1999) has argued that, when the choice among confirmation principles is just about them, it is the Converse Consequence Condition that must be rejected. In this paper, I make this argument definitive. In doing that, I will provide an indisputable proof that the simple conjunction of the Converse Consequence Condition and the Entailment Condition yields a disastrous (...) consequence. (shrink)

We study satisfiability and infinite-state model checking in ICPDL, which extends Propositional Dynamic Logic (PDL) with intersection and converse operators on programs. The two main results of this paper are that (i) satisfiability is in 2EXPTIME, thus 2EXPTIME-complete by an existing lower bound, and (ii) infinite-state model checking of basic process algebras and pushdown systems is also 2EXPTIME-complete. Both upper bounds are obtained by polynomial time computable reductions to ω-regular tree satisfiability in ICPDL, a reasoning problem that we introduce (...) specifically for this purpose. This problem is then reduced to the emptiness problem for alternating two-way automata on infinite trees. Our approach to (i) also provides a shorter and more elegant proof of Danecki's difficult result that satisfiability in IPDL is in 2EXPTIME. We prove the lower bound(s) for infinite-state model checking using an encoding of alternating Turing machines. (shrink)

This paper explains how Kepler in his ``War onMars'' applied systems of models organized bothin a perspectival and in a stratifiedconceptual sense. With the help of thesesystems Kepler worked out successively moredeterminate models for the planetary orbits.Along the way he discovered the Keplerian lawsas consequences of the distance rule, hisleading regulative principle. The selection ofdecisive, so called privileged, observations,as well as the determinate geometrical andkinematical description of the phenomena,result from the application of this principleto the developing of models. Kepler's method (...) ofdiscovery may therefore appropriately bedesignated converse abduction. (shrink)

This paper explains how Kepler in his ``War onMars'' applied systems of models organized bothin a perspectival and in a stratifiedconceptual sense. With the help of thesesystems Kepler worked out successively moredeterminate models for the planetary orbits.Along the way he discovered the Keplerian lawsas consequences of the distance rule, hisleading regulative principle. The selection ofdecisive, so called privileged, observations,as well as the determinate geometrical andkinematical description of the phenomena,result from the application of this principleto the developing of models. Kepler's method (...) ofdiscovery may therefore appropriately bedesignated converse abduction. (shrink)

In 'Axiological Actualism' Josh Parsons argues that 'axiological actualism', which is 'the doctrine that ethical theory should refrain from assigning levels of welfare, or preference orderings, or anything of the sort to merely possible people', lends plausibility to 'the converse intuition'. This is the proposition that 'the welfare a person would have, were they actual, can give us a reason not to bring that person into existence'. I show that Parsons's argument delivers less than he promises. It could be (...) convincing only to actualists who hold certain views about normative ethics, and could at most convince them to heed the converse intuition only under certain circumstances. (shrink)

A system S has the “converse Ackermann property” if -> C is unprovable in S whenever C is a propositional variable. In this paper we define the fragments with the C.A.P. of some well-know propositional systems in the spectrum between the minimal and classical logic. In the first part we succesively study the implicative and positive fragments and the full calculi. In the second, we prove by a matrix method that each one of the systems has the C.A.P. Thus, (...) we think the problem proposed in Anderson & Belnap § 8.12 has been solved. (shrink)

In 'Axiological Actualism' Josh Parsons argues that 'axiological actualism', which is 'the doctrine that ethical theory should refrain from assigning levels of welfare, or preference orderings, or anything of the sort to merely possible people', lends plausibility to 'the converse intuition'. This is the proposition that 'the welfare a person would have, were they actual, can give us a reason not to bring that person into existence'. I show that Parsons's argument delivers less than he promises. It could be (...) convincing only to actualists who hold certain views about normative ethics, and could at most convince them to heed the converse intuition only under certain circumstances. (shrink)

This paper discusses how to update one’s credences based on evidence that has initial probability 0. I advance a diachronic norm, Kolmogorov Conditionalization, that governs credal reallocation in many such learning scenarios. The norm is based upon Kolmogorov’s theory of conditional probability. I prove a Dutch book theorem and converse Dutch book theorem for Kolmogorov Conditionalization. The two theorems establish Kolmogorov Conditionalization as the unique credal reallocation rule that avoids a sure loss in the relevant learning scenarios.

According to the aspect theory of instantiation, a particular A instantiates a universal B if and only if an aspect of A is cross-count identical with an aspect of B. This involves the assumption that both particulars and universals have aspects, and that aspects can mediate between different ways of counting things. I will ask what is new about this account of instantiation and, more importantly, whether it is an improvement on its older relatives. It will turn out that the (...) part of it that is new is the notion of cross-count identity among aspects. As I will show, this notion is both dubious and unnecessary. I will end by presenting a simplified aspect theory of instantiation that does not involve cross-count identity. (shrink)

An overlap between the general relativist and particle physicist views of Einstein gravity is uncovered. Noether's 1918 paper developed Hilbert's and Klein's reflections on the conservation laws. Energy-momentum is just a term proportional to the field equations and a "curl" term with identically zero divergence. Noether proved a \emph{converse} "Hilbertian assertion": such "improper" conservation laws imply a generally covariant action. Later and independently, particle physicists derived the nonlinear Einstein equations assuming the absence of negative-energy degrees of freedom for stability, (...) along with universal coupling: all energy-momentum including gravity's serves as a source for gravity. Those assumptions imply that the energy-momentum is only a term proportional to the field equations and a symmetric curl, which implies the coalescence of the flat background geometry and the gravitational potential into an effective curved geometry. The flat metric, though useful in Rosenfeld's stress-energy definition, disappears from the field equations. Thus the particle physics derivation uses a reinvented Noetherian converse Hilbertian assertion in Rosenfeld-tinged form. The Rosenfeld stress-energy is identically the canonical stress-energy plus a Belinfante curl and terms proportional to the field equations, so the flat metric is only a convenient mathematical trick without ontological commitment. Neither generalized relativity of motion, nor the identity of gravity and inertia, nor substantive general covariance is assumed. The more compelling criterion of lacking ghosts yields substantive general covariance as an output. Hence the particle physics derivation, though logically impressive, is neither as novel nor as ontologically laden as it has seemed. (shrink)

Grammar logics were introduced by Fariñas del Cerro and Penttonen in 1988 and have been widely studied. In this paper we consider regular grammar logics with converse ( REG c logics) and present sound and complete tableau calculi for the general satisfiability problem of REG c logics and the problem of checking consistency of an ABox w.r.t. a TBox in a REG c logic. Using our calculi we develop ExpTime (optimal) tableau decision procedures for the mentioned problems, to which (...) various optimization techniques can be applied. We also prove a new result that the data complexity of the instance checking problem in REG c logics is coNP-complete. (shrink)

In recent publications, Fodor points out a basic impasse that the representational-computational view of mind confronts. Mental representations have to serve two functions—to be the substrate of mental computations and to be the carriers of meaning. Fodor points out that these two functions cannot be brought together and concludes that semantics is not part of psychology. On the basis of similar observations, I suggest drawing another conclusion, namely, that the premises of the representational-computational view are wrong, and that psychology is (...) not mentalistic. The discussion presents a fundamental contrast between two notions of the key term semantics. These, in turn, define two different perspectives for cognitive research. A third perspective for the study of meaning and cognition is suggested. With it, it is argued, the Fodorian impasse is avoided. (shrink)

This paper contributes to the principled construction of tableau-based decision procedures for hybrid logic with global, difference, and converse modalities. We also consider reflexive and transitive relations. For converse-free formulas we present a terminating control that does not rely on the usual chain-based blocking scheme. Our tableau systems are based on a new model existence theorem.

Claims that necessary and sufficient conditions are not converse relations are discussed, as well as the related claim that If A, then B is not equivalent to A only if B . The analysis of alleged counterexamples has shown, among other things, how necessary and sufficient conditions should be understood, especially in the case of causal conditions, and the importance of distinguishing sufficient-cause conditionals from necessary-cause conditionals. It is concluded that necessary and sufficient conditions, adequately interpreted, are converse (...) relations in all cases. (shrink)

We provide a simple translation of the satisfiability problem for regular grammar logics with converse into GF2, which is the intersection of the guarded fragment and the 2-variable fragment of first-order logic. The translation is theoretically interesting because it translates modal logics with certain frame conditions into first-order logic, without explicitly expressing the frame conditions. It is practically relevant because it makes it possible to use a decision procedure for the guarded fragment in order to decide regular grammar logics (...) with converse. The class of regular grammar logics includes numerous logics from various application domains. A consequence of the translation is that the general satisfiability problem for every regular grammar logics with converse is in EXPTIME. This extends a previous result of the first author for grammar logics without converse. Other logics that can be translated into GF2 include nominal tense logics and intuitionistic logic. In our view, the results in this paper show that the natural first-order fragment corresponding to regular grammar logics is simply GF2 without extra machinery such as fixed-point operators. (shrink)