We investigate a lattice of conditional logics described by a Kripke type semantics, which was suggested by Chellas and Segerberg – Chellas–Segerberg (CS) semantics – plus 30 further principles. We (i) present a non-trivial frame-based completeness result, (ii) a translation procedure which gives one corresponding trivial frame conditions for arbitrary formula schemata, and (iii) non-trivial frame conditions in CS semantics which correspond to the 30 principles.

This paper outlines a non-reductive counterfactual account of grounding along interventionist lines, and uses the account to argue that taking grounding seriously requires ascribing non-trivial truth-conditions to a range of counterpossible counterfactuals. This result allows for a diagnosis of a route to scepticism about grounding, as deriving at least in part from scepticism about non-trivial counterpossible truth and falsity.

The stability theory of first order theories was initiated by Saharon Shelah in 1969. The classification of abstract elementary classes was initiated by Shelah, too. In several papers, he introduced non-forking relations. Later, Shelah [17, II] introduced the good non-forking frame, an axiomatization of the non-forking notion.We improve results of Shelah on good non-forking frames, mainly by weakening the stability hypothesis in several important theorems, replacing it by the almost λ-stability hypothesis: The number of types over a model of (...) cardinality λ is at most λ+.We present conditions on Kλ, that imply the existence of a model in Kλ+n for all n. We do this by providing sufficiently strong conditions on Kλ, that they are inherited by a properly chosen subclass of Kλ+. What are these conditions? We assume that there is a ‘non-forking’ relation which satisfies the properties of the non-forking relation on superstable first order theories. Note that here we deal with models of a fixed cardinality, λ.While in Shelah [17, II] we assume stability in λ, so we can use brimmed models, here we assume almost stability only, but we add an assumption: The conjugation property.In the context of elementary classes, the superstability assumption gives the existence of types with well-defined dimension and the ω-stability assumption gives the existence and uniqueness of models prime over sets. In our context, the local character assumption is an analog to superstability and the density of the class of uniqueness triples with respect to the relation ≼bs is the analog to ω-stability. (shrink)

In a time in which an exuberant, trans-classical, non-trivial machine culture redesigns terminologies, remodels logics, produces new evidence, and reorganizes semantic resources, a new, neocybernetic regime of truth is taking shape. Many of our recent self-descriptions and theory formations are coined by our media-technological condition. Nowhere is this more apparent than in the work of Niklas Luhmann, especially in his inherent narrative of the history of rationality. This essay attempts to reconstruct Luhmann’s redescription of European rationality, especially the (...) media- and machine-historical conditions that remain apparent in Luhmann’s account. The decisive issue is that Luhmann’s history of rationality reveals the technological unconscious of systems theory and indeed the epochal imaginary it belongs to. With the help of the theories of machines developed by von Foerster, Simondon and Günther, Luhmann’s oeuvre must be read as probably the most striking conceptual edifice to emerge from what could be called the 20th-century’s epochal technological shift of meaning. (shrink)

This paper expounds a simple and non-trivial Ramsey Test. Drawing on the work of Peter Gärdenfors, it aims to help establish an epistemic alternative to the semantics of variably strict conditionals by Robert Stalnaker (in: Rescher (ed), Studies in logical theory, Blackwell, Oxford, 1968) and David Lewis (Counterfactuals, Blackwell, Oxford, 1973). The novelty of the present contribution lies in considering the framework of Preferred Subtheories as model of belief change upon which conditionals are defined. The resulting semantics avoids triviality (...) in the sense that a major premise of the proof of Gärdenfors’ triviality theorem is violated. (shrink)

If you believe more things you thereby run a greater risk of being in error than if you believe fewer things. From the point of view of avoiding error, it is best not to believe anything at all, or to have very uncommitted beliefs. But considering the fact that we all in fact do entertain many specific beliefs, this recommendation is obviously in flagrant dissonance with our actual epistemic practice. Let us call the problem raised by this apparent conflict the (...) Addition Problem. In this paper we will find reasons to reject a particular premise used in the formulation of the Addition Problem, namely, the fundamental premise according to which believing more things increases the risk of error. As we will see, acquiring more beliefs need not decrease the probability of the whole, and hence need not increase the risk of error. In fact, more beliefs can mean an increase in the probability of the whole and a corresponding decrease in the risk of error. We will consider the Addition Problem as it arises in the context of the coherence theory of epistemic justification, while keeping firmly in mind that the point we wish to make is of epistemological importance also outside the specific coherentist dispute. The problem of determining exactly how the probability of the whole system depends on such factors as coherence, reliability and independence will be seen to open up an interesting area of research in which the theory of conditional independence structures is a helpful tool. (shrink)

The notion $J$ is independent in $(M,M_0,N)$ was established by Shelah, for an AEC (abstract elementary class) which is stable in some cardinal $\lambda$ and has a non-forking relation, satisfying the good $\lambda$-frame axioms and some additional hypotheses. Shelah uses independence to define dimension. Here, we show the connection between the continuity property and dimension: if a non-forking satisfies natural conditions and the continuity property, then the dimension is well-behaved. As a corollary, we weaken the stability hypothesis and two (...) additional hypotheses, that appear in Shelah's theorem. (shrink)

The concept of transformative decision rules provides auseful tool for analyzing what is often referred to as the`framing', or `problem specification', or `editing' phase ofdecision making. In the present study we analyze a fundamentalaspect of transformative decision rules, viz. permutability. A setof transformative decision rules is, roughly put, permutable justin case it does not matter in which order the rules are applied.It is argued that in order to be normatively reasonable, sets oftransformative decision rules have to satisfy a number ofstructural (...) conditions that together imply permutability. Thisformal result gives support to a non-sequential theory of framing,i.e., a theory which prescribes no uniform order in which differentsteps in the framing process have to be performed. (shrink)

Theories where truth is a naive concept fall under the following dilemma: either the theory is subject to Curry’s Paradox, which engenders triviality, or the theory is not trivial but the resulting conditional is too weak. In this paper we explore a number of theories which arguably do not fall under this dilemma. In these theories the conditional is characterized in terms of non-deterministic matrices. These non-deterministic theories are similar to infinitely-valued Łukasiewicz logic in that they are consistent and (...) their conditionals are quite strong. The difference is the following: while Łukasiewicz logic is \-inconsistent, the non-deterministic theories might turn out to be \-consistent. (shrink)

In this book, I will discuss three main topics: the roots and aims of scientific knowledge, scientific knowledge in society, and science and values I understand scientific knowledge as being a planned and continuous production of the general and common knowledge of scientific communities. I begin my discussion with a brief analysis of the main differences between sciences, on the one hand, and everyday experience, philosophies, religions, and ideologies, on the other. I define the concept of science as a set (...) of family resemblances (in Wittgenstein's sense). The sciences can be distinguished along three lines, in terms of the difference between empirical and non-empirical sciences, differences in degrees of theoretical and methodological structure among individual sciences and scientific disciplines. Scientific knowledge is based upon some grounds, paradigmatic knowledge bases. Scientific knowledge is founded on a unified paradigmatic knowledge base. The latter includes fundamental theories, basic facts, generally accepted empirical regularities (laws), scientific research methods, scientific explanations, and established relations to other sciences. Scientific knowledge in general is defined well in classical terms by the definition that knowledge is a true and rationally-justified belief. In this connection, scientific truth is relative, depending on the given paradigmatic knowledge base and on the precision and accessibility of the measurements and observations involved. In the book's first part, I consider the production and testing of scientific hypotheses, scientific explanations, the structure of scientific theories, and the problem of scientific realism. I consider explanation an integral part of a wider nexus of heuristic and theoretical activities in science like giving reasons, understanding, clarification, and founding. Continuous production of scientific explanations is a necessary condition for the systematic reproduction of scientific knowledge. Accordingly, it does not suffice to describe them in terms of the logical structure of the arguments on which they are based, but rather, scientific explanations ought to be given complete with an epistemic and pragmatic context of the explanation. I consider especially deductive-nomological, inductive-statistical, dispositional, teleological-functional, and genetic explanations. I emphasize the ever-increasing importance of explanations by analogy and by model. Orthogonal to these distinctions lies the distinction between causal and epistemic explanation. Epistemic explanations relate scientific discoveries to epistemic progress, and causal explanations are these epistemic explanations that relate scientific discoveries to reality too. Causal explanations inform us that certain changes occur in the world as agents of other changes, or rather, that certain changes are real consequences of other changes. Thus, by having explanations of causes, we can intervene in the world to induce by design certain changes in some course of phenomena. I consider scientific theories as logically and epistemically ordered wholeness of scientific knowledge in a realm of research that enables us to construct useful models of reality. After the discussion of different 'statement' views on theories and different interpretations of the theory-experience relation, I introduce the 'model' theoretical (non-statement) views on theories, especially the structural theory of science. The model views on theories transcend the realism-antirealism dualism by introducing models between theory and reality. Therefore, the question of scientific realism is not merely whether and, if so, which element(s), of scientific theories represent reality, but rather which conditions suffice to infer from a theory that one of its models truly expresses reality. In other words, under which conditions do models of a theory represent models of reality? Generally, models are just as much images of reality in a theory as they are images of a theory in reality. The actual problem of scientific realism doesn't originate in the observable-unobservable distinction (even if this distinction is otherwise theoretically loaded), but rather in ontological quandaries, of the sort especially encountered in modern physical theories such as quantum mechanics, relativity theory, and cosmological theories, although they are known to arise in other sciences as well. Scientific theories may be real, even if they describe nothing about the world. However, such theories can be given this status only if their formal, mathematical postulates exhibit some formal homology between reality and mathematical forms. The very fact that it is possible to describe reality with the help of mathematics even in cases, where every (representational, conceptual) language and thought fall short, would indicate that even mathematics itself is, in some sense, a part of reality, although 'outside' of the empirical world. It follows we have to distinguish the non-empirical reality and the empirical world. Formal objectivity and non-arbitrariness of theories do not emerge from either our language or thoughts, or from the world of facts, causes, and effects, but rather from non-empirical reality, which frames the world as some kind of objective transcendental condition for the possibility of the existence of the world, thoughts, and language. In the second part of the book, I consider the incorporation of scientific work and scientific knowledge into modern society and its relations to values and ethics. Production of scientific knowledge goes on as a parallel distributed process of a special kind of social (shared) cognition. The central part of this cognition is the presentation of parts of the world by scientific (theoretical) models which are warranted by the shared and public practice of justification, and in reflective acting in the world as it would. I consider various formal concepts of collective propositional knowledge (distributed, mutual, common knowledge). Scientific knowledge is an achievement to be ascribed to a scientific community or, indirectly, to all those who apply or expand it, rather than to individuals per se. It presents the continuous and partially planned production of non-trivial common knowledge of the research communities in modern societies. However, besides common knowledge, shared dispositional knowledge (knowledge how of scientific teams) and shared knowledge by acquiring (knowledge of fundamental similarities and differences in scientific teams) are parts of the real body of scientific knowledge. Scientific common knowledge implies the projection into idealized universal knowledge of all real or potentially rational and well-informed individuals. The respect of scientific knowledge thus presents the norm of rationality. Science as the intensively shared and socially distributed kind of cognition enters into modern society as a special kind of work (general work), as a productive force (social invention drive), and as a form of capital (human, social, cultural, informational, etc.). However any of these categories can adequately represent the socio-economical role of science in modern societies, and we are still waiting for a more adequate general concept that would theoretically cover the 'scientification' of modern societies. My thesis is that the most important general effect of scientification is (and will be) the growth of social processes that structurally resemble parallel distributed shared social cognition of science, and not so much the rise of the use of scientific knowledge and scientifically based information in all kinds of production. Scientification of modern societies inevitably includes a much stronger need for moral and social responsibility of scientists for their work and its effects in their local society and the global world. This need comes in contradiction with the quite large accepted idea (and even the 'norm') on value-free research. I discuss to some degree different arguments for the absence of non-epistemic values and ethical reasoning from science and find them non-convincing. The sound idea of value-free research lies in the need for the absence of categorical value statements from scientific explanations and theoretical deductions. Values and ethical judgment have, and sometimes they even have to play an important role in another part of research and its application in science or outside it. Not the value-loudness of research is a danger for science but its blind, non-reflective use. It leads to the ideologization and politicization of science. A similar danger lies in the purely value-neutrality of research. It leads to the instrumentalization of science to the technical or bureaucratic means for 'any' aims. (shrink)

In the face of documented difficulties in the public understanding of genetics, new metaphors have been suggested. The language of information coding and processing has become deeply entrenched in the public representation of genetics, and some critics have found fault in the blueprint metaphor, a variant of the dominant theme. They have offered the language of the recipe as a preferable metaphor. The metaphors of the blueprint and the recipe are compared in respect to their deterministic implications and other associations. (...) The likelihood of the recipe metaphor framing cognition in more useful ways is called into question. (shrink)

The concluding chapter lays down the essential conditions for any genuine understanding between East and West, which can only come through the work of those who have attained, at least in some degree, to the realization of 'wisdom uncreate' ...

People respond to metaphors as much with regard to the emotions that they generate as to their referential, comparative contents. Interviews with non-geneticists about preferred metaphors for gene-environment interaction that illustrate this tendency are reported. These interviews also reveal the dynamic tendency of such emotional responses. A second set of interviews shows that lay people may preferentially use a metaphor of "virus" or "disease" for talking about genes, as opposed to the coding metaphors transmitted through the mass media and reportedly (...) preferred by geneticists. An explanation based on the differently situated emotions of these groups is proposed. It is proposed that the prominence of emotions in responding to genetics indicates the importance of incorporating analyses of emotions instead of simple principles into policy formulation about genetics. (shrink)

Description: Contents: Preface 1. General Remarks on the Vedanta 2. Fundamental Distinction Between The Self and the Ego 3. The Vital Centre of the Human Being, Seat of Brahma 4. Purusha and Prakriti 5. Purusha Unaffected by Individual Modifications 6. The Degrees of Individual Manifestation 7. Buddhi or the Higher Intellect 8. Manas or the Inward Sense : The Ten External Faculties of Sensation and Action 9. The Envelopes of the Self ; The Five Vayus or Vital Functions 10. The (...) Essential Unity and Identity of the Self in all the States of the Being 11. The Different Conditions of Atma in the Human Being 12. The Waking State or the Condition of Vaishwanara 13. The Dream State or the Condition of Taijasa 14. The State of Deep Sleep or the Condition of Prajna 15. The Unconditioned State of Atma 16. The Symbolical Representation of Atma and its Conditions by the Sacred Monosyllable Om 17. The Posthumous Evolution of the Human Being 18. The Reabsorption of the Individual Faculties 19. Differences in the Posthumous Conditions According to the Degrees of Knowledge 20. The Coronal Artery and the Solar Ray 21. The Divine Journey of the Being on the Path of Liberation 22. Final Deliverance 23. Videha-mukti and Jivana-mukti 24. The Spiritual State of the Yogi : The Supreme Identity. (shrink)

We define the notions of a canonical inference rule and a canonical system in the framework of single-conclusion Gentzen-type systems (or, equivalently, natural deduction systems), and prove that such a canonical system is non-trivial iff it is coherent (where coherence is a constructive condition). Next we develop a general non-deterministic Kripke-style semantics for such systems, and show that every constructive canonical system (i.e. coherent canonical single-conclusion system) induces a class of non-deterministic Kripke-style frames for which it is strongly (...) sound and complete. We use this non-deterministic semantics to show that all constructive canonical systems admit a strong form of the cut-elimination theorem. We also use it for providing a decision procedure for every such system. These results identify a large family of basic constructive connectives, each having both a proof-theoretical characterization in terms of a coherent set of canonical rules, as well as a semantic characterization using non-deterministic frames. The family includes the standard intuitionistic connectives, together with many other independent connectives. (shrink)

In a number of recent publications Thomasson has defended a deflationary approach to ontological disputes, according to which ontological disputes are relatively easy to settle, by either conceptual analysis, or conceptual analysis in conjunction with empirical investigation. Thomasson’s “easy” approach to ontology is intended to derail many prominent ontological disputes. In this paper I present an objection to Thomasson’s approach to ontology. Thomasson’s approach to existence assertions means that she is committed to the view that application conditions associated with any (...) term “K” with non-trivial application conditions must refer to the existence of things other than Ks. Given other components of her meta-ontological scheme, this leads to either an infinite regress or circularity of application conditions, both of which seem objectionable. Accordingly, some part of Thomasson’s meta-ontological scheme should be modified or abandoned. (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often (...) paired with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

This paper dwells upon formal models of changes of beliefs, or theories, which are expressed in languages containing a binary conditional connective. After defining the basic concept of a (non-trivial) belief revision model. I present a simple proof of Gärdenfors''s (1986) triviality theorem. I claim that on a proper understanding of this theorem we must give up the thesis that consistent revisions (additions) are to be equated with logical expansions. If negated or might conditionals are interpreted on the basis (...) of autoepistemic omniscience, or if autoepistemic modalities (Moore) are admitted, even more severe triviality results ensue. It is argued that additions cannot be philosophically construed as parasitic (Levi) on expansions. In conclusion I outline somed logical consequences of the fact that we must not expect monotonic revisions in languages including conditionals. (shrink)

This paper uses the framework of Popper and Miller's work on axiom systems for conditional probabilities to explore Adams' thesis concerning the probabilities of conditionals. It is shown that even very weak axiom systems have only a very restricted set of models satisfying a natural generalisation of Adams' thesis, thereby casting severe doubt on the possibility of developing a non-Boolean semantics for conditionals consistent with it.

As it stands, Frege’s semantic theory does not provide sufficient general keys for interpreting assertible sentences at different levels of complexity, such as (a) counterfactual-modal-intensional sentences and (b) extensional sentences. It is possible to devise that general key by adding non-classical parameters such as possible worlds, which allow sentences with a high degree of non-extensional complexity to occupy a trivial place in Tarski’s hierarchy as T-scheme-eligible substitutes. The paper argues that finding these non-false (if true) conditions under which complex (...) propositions can be trivially treated as eligible T-scheme substitutes is not trivial. It is a challenge that requires several consistency improvements to deal with various competing extensions of the predicate “true”. We will conclude that Frege-Tarski’s semantic conception (enriched by non- classical presuppositions), misrepresents that challenge. It distorts the problem we face in daily practice to strengthen our assertion systems, plan successful assertion strategies, and protect our assertions from semantic value reversals. The true challenge for us is pragmatic and cannot confuse (1) complicated scientific and empirical conditions of assertiveness with (2) the rewardable scoring-conditions under which one learns to use sentences in his native language. (shrink)

We show that the implicational fragment of intuitionism is the weakest logic with a non-trivial probabilistic semantics which satisfies the thesis that the probabilities of conditionals are conditional probabilities. We also show that several logics between intuitionism and classical logic also admit non-trivial probability functions which satisfy that thesis. On the other hand, we also prove that very weak assumptions concerning negation added to the core probability conditions with the restriction that probabilities of conditionals are conditional probabilities are (...) sufficient to trivialize the semantics. (shrink)

The aim of this paper is to study a particular family of non-deterministic semantics for modal logics that has eight truth-values. These eight-valued semantics can be traced back to Omori and Skurt (2016), where a particular member of this family was used to characterize the normal modal logic K. The truth-values in these semantics convey information about a proposition’s truth/falsity, whether the proposition is necessary/not necessary, and whether it is possible/not possible. Each of these triples is represented by a unique (...) value. In this paper we will study which modal logics can be obtained by changing the interpretation of the $$\Box $$ modality, assuming that the interpretation of other connectives stays constant. We will show what axioms are responsible for a particular interpretations of $$\Box $$. Furthermore, we will study subsets of these axioms. We show that some of the combinations of the axioms are equivalent to well-known modal axioms. We apply the level-valuation technique to all of the systems to regain the closure under the rule of necessitation. We also point out that some of the resulting logics are not sublogics of S5 and comment briefly on the corresponding frame conditions that are forced by these axioms. Ultimately, we sketch a proof of meta-completeness for all of these systems. (shrink)

An explicitly frame related interpretation of a very general more for less result is used to establish a correspondingly general class of frame related switching results. These are used in turn to show how preference reversals of kinds found by Allais and others may not only be essentially non-paradoxical in character, but can be expected to be frequently observed, even under conditions of certainty and of complete information.

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth‐conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the ‘logicality of language’, accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter‐examples consisting of acceptable tautologies and contradictions, the logicality of language is often (...) paired with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is ‘blind’ to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non‐classical—indeed quite exotic—kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis‐á‐vis its open class terms and employs a deductive system that is basically classical. (shrink)

In this paper I argue that there are some sentences whose truth makes no demands on the world, being trivially true in that their truth-conditions are trivially met. I argue that this does not amount to their truth-conditions being met necessarily: we need a non-modal understanding of the notion of the demands the truth of a sentence makes, lest we be blinded to certain conceptual possibilities. I defend the claim that the truths of pure mathematics and set theory are trivially (...) true, and hence accepting their truth brings no ontological commitment; I further defend the claim that the truths of applied mathematics and set theory do not demand the existence of numbers or sets. While the notion of a demand must not be reduced to anything modal, I nonetheless argue that sentences that are trivially true must also be necessary, lest we violate a very weak version of the principle that truth depends on the world. I further argue that all necessary truths are trivially true, lest we admit unexplained necessities. I end by showing one important consequence of this: I argue that if there are truthmakers for intrinsic predications, they must be states of affairs rather than tropes. (shrink)

Richard Bradley’s landmark book Decision Theory with a Human Face makes seminal contributions to nearly every major area of decision theory, as well as most areas of formal epistemology and many areas of semantics. In addition to sketching Bradley’s distinctive semantics for conditional beliefs and desires, I will explain his theory of conditional desire, focusing particularly on his claim that we should not desire events, either positively or negatively, under the supposition that they will occur. I shall argue, to the (...) contrary, that permitting non-trivial desirabilities for events whose occurrence is known or assumed is both more intuitively plausible and more theoretically fruitful than Bradley’s approach. In the course of the discussion I will contrast Bradley’s broadly evidentialist picture of decision theory with my own more orthodox causal approach. (shrink)

We introduce a particular way of drawing the distinction between the use of theory and simulation in the prediction of people's decisions and describe an empirical method to test whether theory or simulation is used in a particular case. We demonstrate this method with two effects of decision making involving the choice between a safe option (take amount X) and a risky option (take double the amount X with probability 1/2). People's predictions of choice frequencies for trivial (€ 0.75) (...) as opposed to substantial (€ 18) amounts in Experiment 1 are quite accurate when they are presented with both conditions juxtaposed but are less accurate when only given one of the conditions. This result is interpreted to speak for the use of theory in prediction. In contrast people's predictions of the framing effect for substantial amounts (more risk seeking for positively than negatively framed problems) are accurate only for independent predictions but not for juxtaposed predictions, which speaks for the use of simulation. (shrink)

‘Framing the Refugee’ looks at the power of representation of liberal political theory with regard to refugees. In the author’s view, legal and political arbitrariness lies in the representing of refugees as lacking agency. His key point is that liberalism fails to conceive of refugees as politically capable actors, and he is thus complicit in the arbitrary neutralisation of their emancipatory potential and participatory powers. This paper emphasises the moral justifiability of that state of affairs by seeking some answers to (...) the question of why liberal political theory construes a concept of the refugee that does not contain any element of political agency. Most obviously, the author acknowledges that refugees perform a significant social role in contemporary societies and are hence active members in them. Nonetheless, they remain neglected in their political role by most political theory. What does it mean to have political agency for the author? It means to have the power of self-representation, that is, of being allowed and even enabled by a given legal system to bring about change in the political order, or at least to participate in that change. But the author also calls attention to the role of ‘theory’ in addressing this downside of the contemporary liberal democratic order. Theory becomes even more crucial at times of urgency, that is, when theorists have a moral responsibility to deepen their philosophical imagination, as Hannah Arendt so forcefully noted. The theoretical task of ‘re-framing’ the refugee entails reconfiguring political philosophy and its traditional categories of sovereignty, citizenship and nationality. The liberal inability to accommodate the political agency of many members of the political community – especially of non-nationals – is a sign of the historical contingency of the current rules of political membership. This inability makes evident the imperative of rethinking politics in ways that avoid the arbitrariness of treatment and aim instead at equality and justice. If political leaders can re-write the rules of membership to suit their own ideological agendas, the same demand should be addressed by – indeed demanded from – political and legal theorists. However, this is not as easy as it seems, according to the author. In his view, political theory is confronted with fundamental challenges, the most obvious one being that ‘theory’ is usually unequipped to defeat its own ‘topology’. Note that in saying this the author is raising a more pressing concern about arbitrary law-making: it may be that arbitrariness – especially the arbitrary treatment of aliens by the sovereign state and by liberal democracies in particular – is inscribed in the very DNA of liberalism. No matter how odd this may seem, the author advances the view that ideas, however creative of a new order, or transformative of a given status quo, never appear in "free form", and are instead deeply rooted in a structure that constrains our imagination. The challenge is thus to develop a meta-theory that reconceptualises the very way liberal political theory frames marginalised sectors of society – such as the "poor" – as a product of an international economic order that robs those sectors of their agency as the very condition of its internal functioning. We must therefore question how the very idea of the refugee is produced, because it symbolises the construction of an inside and an outside that is complicit with the arbitrary play of legal statuses involved in migration policy. The author’s main point regarding this is that certain groups are sidelined by economic, political and social systems because they are already excluded from theoretical systems to start with. Keywords: refugees, agency, political theory, migration. (shrink)

In previous work, a non-standard theory of probability was formulated and used to systematize interference effects involving the simplest type of quantum systems. The main result here is a self-contained, non-trivial generalization of that theory to capture interference effects involving a much broader range of quantum systems. The discussion also focuses on interpretive matters having to do with the actual/virtual distinction, non-locality, and conditional probabilities.

A probability aggregation rule assigns to each profile of probability functions across a group of individuals (representing their individual probability assignments to some propositions) a collective probability function (representing the group's probability assignment). The rule is “non-manipulable” if no group member can manipulate the collective probability for any proposition in the direction of his or her own probability by misrepresenting his or her probability function (“strategic voting”). We show that, except in trivial cases, no probability aggregation rule satisfying two (...) mild conditions (non-dictatorship and consensus preservation) is non-manipulable. (shrink)

Globalization processes imply the self-deconstruction of the hierarchy of legal norms. Thus, legal pluralism is no longer only an issue for legal sociology, but becomes a challenge for legal practice itself. Traditionally, rule making by `private regimes' has been subjugated under the hierarchical frame of the national constitution. When this frame breaks, then the new frame of legal institutions can only be heterarchical. The origin of global non-state law as a sequence of recursive legal operations is an (...) `as if', not only a founding myth as a self-observation of law, rather the legal fiction of concrete past operations. This fiction, however, depends on social conditions outside legal institutions, on a historical configuration in which it is sufficiently plausible to assume that in earlier times, too, legal rules were applied. (shrink)

We defend a set of acceptance rules that avoids the lottery paradox, that is closed under classical entailment, and that accepts uncertain propositions without ad hoc restrictions. We show that the rules we recommend provide a semantics that validates exactly Adams’ conditional logic and are exactly the rules that preserve a natural, logical structure over probabilistic credal states that we call probalogic. To motivate probalogic, we first expand classical logic to geo-logic, which fills the entire unit cube, and then we (...) project the upper surfaces of the geo-logical cube onto the plane of probabilistic credal states by means of standard, linear perspective, which may be interpreted as an extension of the classical principle of indifference. Finally, we apply the geometrical/logical methods developed in the paper to prove a series of trivialization theorems against question-invariance as a constraint on acceptance rules and against rational monotonicity as an axiom of conditional logic in situations of uncertainty. (shrink)

Recently, some philosophers have attempted to escape familiar challenges to orthodox nonnaturalist normative realism by abandoning the robust metaphysical commitments of the orthodox view. One such view is the ‘Non-Metaphysical Non-Naturalism’ or ‘Non-Realist Cognitivism’ proposed by Derek Parfit and a few others. The trouble is that, as it stands, Non-Realist Cognitivism seems unable to provide a substantive non-trivial account of the meaning and truth conditions of moral claims. The paper considers various strategies one might use to address the challenge. (...) There is a rich field of views that are cognitivist and non-realist. But the paper is skeptical of the prospects of Non-Realist Cognitivism. (shrink)

In this paper we set out a semantics for relevant (counterfactual) conditionals. We combine the Routley-Meyer semantics for relevant logic with a semantics for conditionals based on selection functions. The resulting models characterize a family of conditional logics free from fallacies of relevance, in particular counternecessities and conditionals with necessary consequents receive a non-trivial treatment.

Adams Thesis has much evidence in its favour, but David Lewis famously showed that it cannot be true, in all but the most trivial of cases, if conditionals are proprositions and their probabilities are classical probabilities of truth. In this paper I show thatsimilar results can be constructed for a much wider class of conditionals. The fact that these results presuppose that the logic of conditionals is Boolean motivates a search for a non-Boolean alternative. It is argued that the (...) exact proposition expressed by a conditional depends on the context in which it is uttered. Consequentlyits probability of truth will depend not only on the probabilities of the various propositions it might express, but also on the probabilities of the contexts determining which proposition it does in fact express.The semantic theory developed from this is then shown to explain why agents degrees of belief satisfyAdams Thesis. Finally the theory is compared with proposals for a three-valued logic of conditionals. (shrink)

Most artworks—or at least most among those standardly subject to philosophical scrutiny—appear to be singular, stand-alone works. However, some artworks (indeed, perhaps a good many) are by contrast best viewed in terms of some larger grouping or ordering of artworks. i.e., as a series. The operative art-theoretic notion of series in which I am interested here is that of an individual and distinct artwork that is itself non-trivially composed of a non-trivial sequence of artworks (e.g., Walter de Maria’s Statement (...) Series, Krzysztof Kieslowski’s Three Colors)—as opposed to an art-historically informative or art critically productive thematically, stylistically, or formally unified ordering or grouping of individual and distinct artworks within an artist’s larger body of work (e.g., Kiki Smith’s Blue Print series, Dan Flavin’s Monuments to V. Tatlin series, Jeff Koons’ Made in Heaven series, Robert Rauschenberg’s Tribute 21 series). Given this, my aim is simply to sketch a minimal descriptive and classificatory framework for serial art within which certain informative distinctions may be made and further philosophical enquiry may productively take place. (shrink)

Debra Bergoffen’s Contesting the Politics of Genocidal Rape shows us beautifully what is gained by considering rape as a consequence of genocide. What gets lost here, in relation to considering cases of rape that are not the result of such, such as gang rape, “mass rape,” or other instances of rape? Is rape qua rape a human rights violation of a sort that is articulated within the context of the “right to sexual integrity”? Can a case be made, even in (...) “non-wartime” societies where rape occurs systematically as an instance of patriarchy and misogyny, that rape is a human rights violation of the right to sexual self-determination? Or is it the case that the conditions of wartime rape merit a different set of considerations in order to locate it as a human rights violation? My comments attempt to think through some of these questions with Bergoffen. (shrink)

This article examines the nature and reproduction of ‘institutional idiocy’, seen as a form of collective cognitive incapacity generated by cultural conditions. It shows idiocy to be active in numerous paths, wearing different clothes and taking dissimilar forms, spreading to the extent that it dominates communities. An empirically driven framework is established for idiocy-dominated communities – communities with access to futile education and fruitless technology. It demonstrates how idiocy-dominated communities disguise and protect their shared idiocy and handle non-idiotic minorities. It (...) explains that idiocy-intense communities are not necessarily chaotic and arbitrarily organised, entailing ‘formulas of life’, ‘identity politics’ and ‘schools of thought’. It describes that a whole community can thoroughly adapt to life without critical thinking, living in an illusion. Whereas previous works have scrutinised individual idiocy, this research goes beyond this to inspect institutional idiocy by presenting idiocy as a system (and ‘ideology’) that constitutes the foundation of groups. While such notions as technocracy and epistocracy detail the domination of cognitive maturity, this article goes in another direction by recording the domination of cognitive immaturity (idiocracy). It avoids thinking about idiocy binarily (idiocy versus intelligence), viewing it as a question of not intellect but behaviour, culture and ‘being-with’. (shrink)

In a recent pair of publications, Richard Bradley has offered two novel no-go theorems involving the principle of Preservation for conditionals, which guarantees that one’s prior conditional beliefs will exhibit a certain degree of inertia in the face of a change in one’s non-conditional beliefs. We first note that Bradley’s original discussions of these results—in which he finds motivation for rejecting Preservation, first in a principle of Commutativity, then in a doxastic analogue of the rule of modus ponens —are problematic (...) in a significant number of respects. We then turn to a recent U-turn on his part, in which he winds up rescinding his commitment to modus ponens, on the grounds of a tension with the rule of Import-Export for conditionals. Here we offer an important positive contribution to the literature, settling the following crucial question that Bradley leaves unanswered: assuming that one gives up on full-blown modus ponens on the grounds of its incompatibility with Import-Export, what weakened version of the principle should one be settling for instead? Our discussion of the issue turns out to unearth an interesting connection between epistemic undermining and the apparent failures of modus ponens in McGee’s famous counterexamples. (shrink)

In the transcendental aesthetic of the Critique of Pure Reason, Kant claims that space and time are neither things in themselves nor properties of things in themselves but mere subjective forms of our sensible experience. Call this the Subjectivity Thesis. The striking conclusion follows an analysis of the representations of space and time. Kant argues that the two representations function as a priori conditions of experience, and are singular "intuitions" rather than general concepts. He also contends that the representations underwrite (...) some non-trivial a priori cognition of the objects of sensible experience. The Subjectivity Thesis is then presented as an immediate consequence: Space represents no property at all of any things in themselves nor any relation of them to each other. . . . For neither absolute nor relative determinations can be intuited prior to the existence of the things to which they pertain, thus [neither] can be intuited a priori. Time is not something which exists of itself, or which inheres in things as an objective determination. . . . [Were it] a determination or order inhering in things themselves, it could not precede the objects as their condition, and be known and intuited a priori by means of synthetic propositions. Kant's argument for the Subjectivity Thesis seems to have the following structure: * No absolute or relational features of things in themselves can be cognized a priori. (shrink)

The question I address in this paper is whether and under what conditions it is morally right to bring a person into existence. I defend the commonsensical thesis that, other things being equal, it is morally wrong to create a person who will be below some threshold of quality of life, even if the life of this potential person, once created, will nevertheless be worth living. However commonsensical this view might seem, it has shown to be problematic because of the (...) so-called 'Non-Identity Problem'. Both utilitarian and rights-based approaches have been unable to provide a solution to this problem. I rest my thesis on two premises: that causing a disability or impairment in a future person is prima facie wrong, so long as we can avoid causing such a disability to that very person; and that reproduction, under normal conditions, is prima facie morally indifferent. From these two premises, I conclude that it is prima facie wrong to bring into existence a person with a non-trivial disability or impairment (which might be, nonetheless, compatible with a worthwhile life), even if the only available alternative is to remain childless. (shrink)

One of the main problems of the orthoframe approach to quantum logic was that orthomodularity could not be captured by any first-order condition. This paper studies an elementary and natural class of orthomodular frames that can work around this limitation. Set-theoretically, the frames we propose form a natural subclass of the orthoframes, where is an irreflexive and symmetric relation on X. More specifically, they are partially-ordered orthoframes with a designated subset. Our frame class contains the canonical orthomodular (...) class='Hi'>frame of the logic and therefore characterises orthomodular quantum logic. To prove soundness, a further restriction is placed on admissible valuations which requires that they be point-generated in addition to the requirement that they return stable sets. (shrink)

We prove an existential analogue of the Goldblatt‐Thomason Theorem which characterizes modal definability of elementary classes of Kripke frames using closure under model theoretic constructions. The less known version of the Goldblatt‐Thomason Theorem gives general conditions, without the assumption of first‐order definability, but uses non‐standard constructions and algebraic semantics. We present a non‐algebraic proof of this result and we prove an analogous characterization for an alternative notion of modal definability, in which a class is defined by formulas which are satisfiable (...) under any valuation (the so‐called existential validity). Continuing previous work in which model theoretic characterization for this type of definability of elementary classes was proved, we give an analogous general result without the assumption of the first‐order definability. Furthermore, we outline relationships between sets of existentially valid formulas corresponding to several well‐known modal logics. (shrink)

In this paper I argue that many of the core phenomenological insights, including the emphasis on direct perception, are a necessary but not sufficient condition for an adequate account of inter-subjectivity today. I take it that an adequate account of inter-subjectivity must involve substantial interaction with empirical studies, notwithstanding the putative methodological differences between phenomenological description and scientific explanation. As such, I will need to explicate what kind of phenomenology survives, and indeed, thrives, in a milieu that necessitates engagement (...) with the relevant sciences, albeit not necessarily deference to them. -/- There will be two central aims to this paper: 1. to defend the centrality and vitality of phenomenological treatments of inter-subjectivity via a consideration of some remarks in Sartre - which I do think possess a non-trivial unity amongst the various interlocutors - and the manner in which they in fact serve to provide the basis for a better explanation of an array of empirical data than existing inferentialist or mindreading accounts of social cognition (notably Theory Theory, Simulation Theory, and hybrid versions); 2. to offer the methodological resources for renewing phenomenology in a manner that acknowledges ostensibly non-phenomenological moments in theory production - which involve explanation, inference to the best explanation, etc. - but does not abandon phenomenology for all that, allowing it to be simply absorbed into empirical explanation or other forms of philosophical analysis without remainder. (shrink)

We prove some embedding theorems for classical conditional logic, covering 'finitely cumulative' logics, 'preferential' logics and what we call 'semi-monotonic' logics. Technical tools called 'partial frames' and 'frame morphisms' in the context of neighborhood semantics are used in the proof.

Social media has transformed how individuals handle their illnesses. While many patients increasingly use these online platforms to understand embodied information surrounding their conditions, healthcare professionals often frame these practices as negative and do not consider the expertise that patients generate through social media. Through a combination of insights from social epistemology and ignorance studies, this paper problematizes the distinctive understandings of social media between patients and healthcare professionals from a different perspective. A total of four ideas are introduced: (...) (1) healthcare professionals see embodied knowledge that arises from patients’ social media practices as uncomfortable knowledge; (2) healthcare professionals engage in several behaviours to preserve their authority and power in front of embodied knowledge created through these online platforms; (3) failing to consider embodied knowledge can have consequences not only in terms of trust between patients and healthcare professionals but also in connection with epistemological populism and the transition towards patient-centred care; and (4) media and digital health literacy could help healthcare professionals enhance the uses of social media in healthcare. Adopting this framework allows not only to offer valuable insights into how healthcare professionals manage patients’ social media practices, but also opens new avenues to improve healthcare digitisation. (shrink)

The extensions of response-dependent concepts are a priori connected with the subjective responses that competent users of that concept have in normal conditions. There are two strategies for specifying normal conditions for response-dependent concepts: topic-specific and topic-neutral. On a topic-specific specification, a characterization of normal conditions would be given separately for each response-dependent concept (or a non-trivial subset of response-dependent concepts, such as our colour concepts), whereas a topic-neutral specification would be given in a uniform way for all response-dependent (...) concepts. In this paper I argue, using a thought experiment, that only topic-neutral specifications will deliver the a priori knowledge constitutive of response-dependence. (shrink)

The paper generalizes Van McGee's well-known result that there are many maximal consistent sets of instances of Tarski's schema to a number of non-classical theories of truth. It is shown that if a non-classical theory rejects some classically valid principle in order to avoid the truth-theoretic paradoxes, then there will be many maximal non-trivial sets of instances of that principle that the non-classical theorist could in principle endorse. On the basis of this it is argued that the idea of (...) classical recapture, which plays such an important role for non-classical logicians, can only be pushed so far. (shrink)

Conditional probability is often used to represent the probability of the conditional. However, triviality results suggest that the thesis that the probability of the conditional always equals conditional probability leads to untenable conclusions. In this paper, I offer an interpretation of this thesis in a possible worlds framework, arguing that the triviality results make assumptions at odds with the use of conditional probability. I argue that these assumptions come from a theory called the operator theory and that the rival restrictor (...) theory can avoid these problematic assumptions. In doing so, I argue that recent extensions of the triviality arguments to restrictor conditionals fail, making assumptions which are only justified on the operator theory. (shrink)