In this paper, I develop an algorithmic impossible-worlds model of belief and knowledge that provides a middle ground between models that entail that everyone is logically omniscient and those that are compatible with even the most egregious kinds of logical incompetence. In outline, the model entails that an agent believes (knows) φ just in case she can easily (and correctly) compute that φ is true and thus has the capacity to make her actions depend on whether φ. (...) The model thereby captures the standard view that belief and knowledge ground are constitutively connected to dispositions to act. As I explain, the model improves upon standard algorithmic models developed by Parikh, Halpern, Moses, Vardi, and Duc, among other ways, by integrating them into an impossible-worlds framework. The model also avoids some important disadvantages of recent candidate middle-ground models based on dynamic epistemic logic or step logic, and it can subsume their most important advantages. (shrink)

We need to understand the impossible. Francesco Berto and Mark Jago start by considering what the concepts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition have in common. They are all concepts which divide the world up more finely than logic does. Logically equivalent sentences may carry different meanings and information and may differ in how they're believed. Fictions can be inconsistent yet meaningful. We can suppose impossible things without collapsing into total incoherence. Yet for the (...) leading philosophical theories of meaning, these phenomena are an unfathomable mystery. To understand these concepts, we need a metaphysical, logical, and conceptual grasp of situations that could not possibly exist: Impossible Worlds. This book discusses the metaphysics of impossible worlds and applies the concept to a range of central topics and open issues in logic, semantics, and philosophy. It considers problems in the logic of knowledge, the meaning of alternative logics, models of imagination and mental simulation, the theory of information, truth in fiction, the meaning of conditional statements, and reasoning about the impossible. In all these cases, impossible worlds have an essential role to play. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in (...) the imagined non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

In this paper, I investigate whether we can use a world-involving framework to model the epistemic states of non-ideal agents. The standard possible-world framework falters in this respect because of a commitment to logical omniscience. A familiar attempt to overcome this problem centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in modal space, it is easy to model (...) extremely non-ideal agents that are incapable of performing even the most elementary logical deductions. A much harder, and considerably less investigated challenge is to ensure that the resulting modal space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out subtly impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out blatantly impossible worlds that verify obvious logical falsehoods. To model moderately ideal agents, I argue, the job is to construct a modal space that contains only possible and non-trivially impossible worlds where it is not the case that “anything goes”. But I prove that it is impossible to develop an impossible-world framework that can do this job and that satisfies certain standard conditions. Effectively, I show that attempts to model moderately ideal agents in a world-involving framework collapse to modeling either logical omniscient agents, or extremely non-ideal agents. (shrink)

Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us. As it happens, a worlds-based account provides the best philosophical story about semantic content, knowledge and belief states, cognitive significance and cognitive information, and informative deductive reasoning. A worlds-based story may also provide the best semantics for counterfactuals. But to function well, all these accounts need (...) use of impossible and as well as possible worlds. So what are impossible worlds? Graham Priest claims that any of the usual stories about possible worlds can be told about impossible worlds, too. But far from it. I'll argue that impossible worlds cannot be genuine worlds, of the kind proposed by Lewis, McDaniel or Yagisawa. Nor can they be ersatz worlds on the model proposed by Melia or Sider. Constructing impossible worlds, it turns out, requires novel metaphysical resources. (shrink)

We present a theory of truth in fiction that improves on Lewis's [1978] ‘Analysis 2’ in two ways. First, we expand Lewis's possible worlds apparatus by adding non-normal or impossible worlds. Second, we model truth in fiction as belief revision via ideas from dynamic epistemic logic. We explain the major objections raised against Lewis's original view and show that our theory overcomes them.

One response to the problem of logical omniscience in standard possible worlds models of belief is to extend the space of worlds so as to include impossible worlds. It is natural to think that essentially the same strategy can be applied to probabilistic models of partial belief, for which parallel problems also arise. In this paper, I note a difficulty with the inclusion of impossible worlds into probabilistic models. Under weak assumptions (...) about the space of worlds, most of the propositions which can be constructed from possible and impossible worlds are in an important sense inexpressible; leaving the probabilistic model committed to saying that agents in general have at least as many attitudes towards inexpressible propositions as they do towards expressible propositions. If it is reasonable to think that our attitudes are generally expressible, then a model with such commitments looks problematic. (shrink)

A theory of ersatz impossible worlds is developed to deal with the problem of counterpossible conditionals. Using only tools standardly in the toolbox of possible worlds theorists, it is shown that we can construct a model for counterpossibles. This model is a natural extension of Lewis's semantics for counterfactuals, but instead of using classical logic as its base, it uses the logic LP.

Many accounts of online trust are based upon mechanisms for building reputation. Trust is portrayed as desirable, and handing off trust is easier if trust is modelled to be transitive. But in the analysis of cyber-security protocols, trust is usually used as a substitute for certain knowledge: it follows that if there is no residual risk, then there is no need for trust. On this grimmer understanding, the less that users are required to trust, the better. Involuntary transitivity of trust (...) becomes corrosive, because it prevents participants from having control—or even knowledge—of the risks to which their trust assumptions expose them. In this paper, we take the stance that controlling the transitivity of trust requires us to recognise trust as a non-referentially transparent modality, similar to but significantly weaker than the epistemic modalities, and to accept the corollary that imaginary (indeed—even impossible) threats can have real consequences that adversely affect online security. An apparently paradoxical outcome is that the desire of principals to keep their trust assumptions private can actually assist the design of systems to satisfy multiple security agendas. However, this approach requires agents to have the capability to predicate accurately about states of affairs that are logically inconsistent with their beliefs, and consequently, designing systems in this way becomes more akin to diplomacy than engineering. (shrink)

This paper first offers a standard modal extension of dialetheic logics that respect the normal semantics for negation and conjunction, in an attempt to adequately model absolutism, the thesis that there are true contradictions at metaphysically possible worlds. It is shown, however, that the modal extension has unsavoury consequences for both absolutism and dialetheism. While the logic commits the absolutist to dialetheism, it commits the dialetheist to the impossibility of the actual world. A new modal logic AV is then (...) proposed which avoids these unsavoury consequences by invalidating the interdefinability rules for the modal operators with the use of two valuation relations. However, while using AV carries no significant cost for the absolutist, the same isn't true for the dialetheist. Although using AV allows her to avoid the consequence that the actual world is an impossible world, it does so only on the condition that the dialetheist admits that she cannot give a dialetheic solution to all self-refe.. (shrink)

In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We (...) develop a novel way of modelling logical possibility that makes room for both kinds of logical impossibility. Doing so has interesting implications for the relationship between logical possibility and other kinds of possibility (for example, metaphysical possibility) and implications for the necessity or contingency of the laws of logic. (shrink)

It is argued that one can learn from minimal economic models. Minimal models are models that are not similar to the real world, do not resemble some of its features, and do not adhere to accepted regularities. One learns from a model if constructing and analysing the model affects one’s confidence in hypotheses about the world. Economic models, I argue, are often assessed for their credibility. If a model is judged credible, it is considered to be (...) a relevant possibility. Considering such relevant possibilities may affect one’s confidence in necessity or impossibility hypotheses. Thus, one can learn from minimal economic models. (shrink)

It is argued that one can learn from minimal economic models. Minimal models are models that are not similar to the real world, do not resemble some of its features, and do not adhere to accepted regularities. One learns from a model if constructing and analysing the model affects one’s confidence in hypotheses about the world. Economic models, I argue, are often assessed for their credibility. If a model is judged credible, it is considered to be (...) a relevant possibility. Considering such relevant possibilities may affect one’s confidence in necessity or impossibility hypotheses. Thus, one can learn from minimal economic models. (shrink)

Word co‐occurrence patterns in language corpora contain a surprising amount of conceptual knowledge. Large language models (LLMs), trained to predict words in context, leverage these patterns to achieve impressive performance on diverse semantic tasks requiring world knowledge. An important but understudied question about LLMs’ semantic abilities is whether they acquire generalized knowledge of common events. Here, we test whether five pretrained LLMs (from 2018's BERT to 2023's MPT) assign a higher likelihood to plausible descriptions of agent−patient interactions than to (...) minimally different implausible versions of the same event. Using three curated sets of minimal sentence pairs (total n = 1215), we found that pretrained LLMs possess substantial event knowledge, outperforming other distributional language models. In particular, they almost always assign a higher likelihood to possible versus impossible events (The teacher bought the laptop vs. The laptop bought the teacher). However, LLMs show less consistent preferences for likely versus unlikely events (The nanny tutored the boy vs. The boy tutored the nanny). In follow‐up analyses, we show that (i) LLM scores are driven by both plausibility and surface‐level sentence features, (ii) LLM scores generalize well across syntactic variants (active vs. passive constructions) but less well across semantic variants (synonymous sentences), (iii) some LLM errors mirror human judgment ambiguity, and (iv) sentence plausibility serves as an organizing dimension in internal LLM representations. Overall, our results show that important aspects of event knowledge naturally emerge from distributional linguistic patterns, but also highlight a gap between representations of possible/impossible and likely/unlikely events. (shrink)

World semantics for relevant logics include so-called non-normal or impossible worlds providing model-theoretic counterexamples to such irrelevant entailments as (A ∧ ¬A) → B, A → (B∨¬B), or A → (B → B). Some well-known views interpret non-normal worlds as information states. If so, they can plausibly model our ability of conceiving or representing logical impossibilities. The phenomenon is explored by combining a formal setting with philosophical discussion. I take Priest’s basic relevant logic N4 and extend it, (...) on the syntactic side, with a representation operator, (R), and on the semantic side, with particularly anarchic non-normal worlds. This combination easily invalidates unwelcome “logical omniscience” in- ferences of standard epistemic logic, such as belief-consistency and closure under entailment. Some open questions are then raised on the best strategies to regiment (R) in order to express more vertebrate kinds of conceivability. (shrink)

Though all the religions of the world teach love, preach sympathy for others and encourage man to exercise utmost self-restraint and have most profoundly been a source of inspiration for the highest good of mankind, the world today is torn by conflicts, enmity and religious hatred. In this predicament, a lasting and peaceful society is impossible unless different faiths are understood in their proper perspectives. Therefore, it is necessary that people belonging to different faiths understand each other well. This (...) necessitates a constant dialogue and effort to generate moral and hearty religious thinking. The advocates of all the religions of the world emphasize the importance of certain virtues and moral values. Only these can foster unity and cohesion of mankind. But the moral and religious values cannot be invoked by force. This can be achieved through the exchange of words, kind words, sincere words and loving words that can reach the deepest fathoms of the heart. Philosophy and Progress, Vol#61-62-; No#1-2; Jan-Dec 2017 P 1-14. (shrink)

Possible-worlds semantics proved itself as a strong tool in analysing the statements of actuality, possibility, contingency and necessity. But impossible phenomena go beyond the expressive power of the apparatus. The proponents of possible-worlds apparatus thus owe us at least three stories. The first one is the story about ontological nature of possible worlds, the second one is the story about the theoretical role such entities play and the third one is the story about the impossible. (...) Modal Realism (MR) provides us with a positive story regarding the first and the second, but denies impossible worlds. Extended Modal Realism (EMR) adds a positive story about the third point too. This book is an attempt to paraphrase extended modal realism in different metaphysical frameworks. In Chapter I, I outline the theory of modal realism, its systematic account of modality and its ontological commitments. I also motivate an impossible-worlds discourse as well as a systematic appeal of extending the picture beyond the possible. I then propose several definitions of the concept of ‘impossible world’ (or impossible possible world). Finally, I discuss a particular metaphysics behind the concept - extended modal realism. Chapter II considers the epistemological worry associated with (MR) and (EMR) and concludes that although the worry is justified, there can be epistemological justification of the theory. Next, I outline the so-called indispensability argument for the legitimacy of mathematical Platonism. Finally, I argue that the argument, if accepted, can be applied to metaphysics in general, to the existence of concrete possibilia (and impossibilia) in particular. Chapter III focuses on the analysis of (EMR). To be more precise, I present a so-called advanced modalizing problem which seems to be infecting every genuinely realistic theory of modality. In this chapter, I propose a way of treating extraordinary modal claims by means of plurality of logical spaces. The next three chapters provide different ways of understanding (EMR). Namely, Chapter IV develops and defends Extended Modal Dimensionalism (EMD). (EMD) is realism about spaces, times and worlds—metaphysical indices that make objects spatial, temporal and modal, respectively. Metaphysical indices play the role of alethic relativisers, i.e. items to which matters of truth are relativized. The chapter examines several arguments against modal dimensionalism and shows that it offers a feasible way to understand (EMR). Chapter V offers a structural approach to possible and impossible worlds: Extended Modal Structuralism (EMS). In particular, I consider whether it makes sense to think of logical models in isolation from the concrete world but without their being divorced from all spatiotemporal totalities. The metaphysics of structure developed in this chapter assumes that structural properties of possible and impossible worlds are primitive and objective. However, I provide some characterisations of their logical and metaphysical behaviour, as well as guidelines for talking about them. Finally, Chapter VI proposes yet another metaphysical framework of hybrid modal realism. I present theories of (MR), (EMR) and modal fictionalism respectively, their advantages and drawbacks. Finally, I propose a so-called hybrid view. Roughly, the view is that one might be a modal realist when it comes to possibilia, but turn into fictionalism regarding impossibilia. The approach is dubbed Extended Modal Fictionalism (EMF) a version of fictionalism according to which claims made within a certain discourse are better to be understood as a sort of ‘fiction’, rather than as a literal truth. (shrink)

In this paper we design a new logical system to explicitly model the different deductive reasoning steps of a boundedly rational agent. We present an adequate system in line with experimental findings about an agent’s reasoning limitations and the cognitive effort that is involved. Inspired by Dynamic Epistemic Logic, we work with dynamic operators denoting explicit applications of inference rules in our logical language. Our models are supplemented by (a) impossible worlds (not closed under logical consequence), suitably (...) structured according to the effect of inference rules, and (b) quantitative components capturing the agent’s cognitive capacity and the cognitive costs of rules with respect to certain resources (e.g. memory, time). These ingredients allow us to avoid problematic logical closure principles, while at the same time deductive reasoning is reflected in our dynamic truth clauses. We further show that our models can be reduced to awareness-like plausibility structures that validate the same formulas and we give a sound and complete axiomatization with respect to them. This approach to the agent’s internal deductive reasoning is finally combined with actions of external information. (shrink)

Lakatos’s methodology of scientific research programmes centres around series of theories, with little regard to the role of models in theory construction. Modifying it to incorporate model-groups, clusters of developmental models that are intended to become new theories, provides a description of the model dynamics within the search for physics beyond the standard model. At the moment, there is no evidence for BSM physics, despite a concerted search effort especially focused around the standard model account of electroweak symmetry (...) breaking. Using the framework provided by Lakatosian research programmes, we can capture the way the periphery of a model-group changes as the available parameter space shrinks, while its central tenets remain untouched by unfavourable experimental findings. By way of motivation, I provide two case studies of model-groups that offer alternative mechanisms for electroweak symmetry breaking: supersymmetry and composite-Higgs models. Both of these model-groups are under pressure from the discovery of the Higgs boson, yet they have both been active research projects in the years after the Higgs discovery. However, a proper assessment of the progress of an ongoing research programme is impossible through a purely Lakatosian lens, so I propose replacing it with Laudan’s problem-solving account, which provides ongoing assessment, while offering normative guidance concerning the pursuit-worthiness of research programmes. My incorporation of model-groups into Lakatosian research programmes captures the developments of two attempts to expand our physical description of the world, and Laudan’s problem-solving rationality allows us to assess their pursuit-worthiness. (shrink)

Under the independence and competence assumptions of Condorcet’s classical jury model, the probability of a correct majority decision converges to certainty as the jury size increases, a seemingly unrealistic result. Using Bayesian networks, we argue that the model’s independence assumption requires that the state of the world (guilty or not guilty) is the latest common cause of all jurors’ votes. But often – arguably in all courtroom cases and in many expert panels – the latest such common cause is a (...) shared ‘body of evidence’ observed by the jurors. In the corresponding Bayesian network, the votes are direct descendants not of the state of the world, but of the body of evidence, which in turn is a direct descendant of the state of the world. We develop a model of jury decisions based on this Bayesian network. Our model permits the possibility of misleading evidence, even for a maximally competent observer, which cannot easily be accommodated in the classical model. We prove that (i) the probability of a correct majority verdict converges to the probability that the body of evidence is not misleading, a value typically below 1; (ii) depending on the required threshold of ‘no reasonable doubt’, it may be impossible, even in an arbitrarily large jury, to establish guilt of a defendant ‘beyond any reasonable doubt’. (shrink)

In this paper I explore informationalism, a pragmatic theory of modality that seems to solve some serious problems in the familiar possible worlds accounts of modality. I view the theory as an elaboration of Stalnaker's moderate modal realism, though it also derives from Dretske's semantic theory of information. Informationalism is presented in Section 2 after the prerequisite stage setting in Section 1. Some applications are sketched in Section 3. Finally, a mathematical model of the theory is developed in Section (...) 4.How many times have I said to you that when you have eliminated the impossible, whatever remains, however improbable, must be the truth? (Arthur Conan Doyle)You've put me in an impossible situation. (Anonymous)[N]othing we imagine is absolutely impossible. (David Hume). (shrink)

Impossible Worlds focuses on an exciting new theory in philosophy, with applications in metaphysics, logic, and the theory of meaning. Its central topic is: how do we meaningfully talk and reason about situations which, unbeknownst to us, are impossible? This issue emerges as a central problem in contemporary philosophical accounts of meaning, information, knowledge, belief, fiction, conditionality, and counterfactual supposition. The book is written bytwo of the leading philosophers in the area and contains original research of relevance (...) to professional philosophers and logicians working in metaphysics, philosophy of language, formal logic, and adjacentareas. (shrink)

In this critical notice of Kment's _Modality and Explanatory Reasoning_, we focus on Kment’s arguments for impossible worlds and on a key part of his discussion of the interactions between modality and explanation – the analogy that he draws between scientific and metaphysical explanation.

It is a venerable slogan due to David Hume, and inherited by the empiricist tradition, that the impossible cannot be believed, or even conceived. In Positivismus und Realismus, Moritz Schlick claimed that, while the merely practically impossible is still conceivable, the logically impossible, such as an explicit inconsistency, is simply unthinkable. -/- An opposite philosophical tradition, however, maintains that inconsistencies and logical impossibilities are thinkable, and sometimes believable, too. In the Science of Logic, Hegel already complained against (...) “one of the fundamental prejudices of logic as hitherto understood”, namely that “the contradictory cannot be imagined or thought” (Hegel 1931: 430). Our representational capabilities are not limited to the possible, for we appear to be able to imagine and describe also impossibilities — perhaps without being aware that they are impossible. -/- Such impossibilities and inconsistencies are what this entry is about... (shrink)

Philosophers have found postulating possible worlds to be very useful in a number of areas, including philosophy of language and mind, logic, and metaphysics. Impossible worlds are a natural extension to this use of possible worlds, and can help resolve a number of difficulties thrown up by possible‐worlds frameworks.

The subject of this article is Modal-Epistemic Arithmetic (MEA), a theory introduced by Horsten to interpret Epistemic Arithmetic (EA), which in turn was introduced by Shapiro to interpret Heyting Arithmetic. I will show how to interpret MEA in EA such that one can prove that the interpretation of EA is MEA is faithful. Moreover, I will show that one can get rid of a particular Platonist assumption. Then I will discuss models for MEA in light of the problems of (...) logical omniscience and logical competence. Awareness models, impossible worlds models and syntactical models have been introduced to deal with the first problem. Certain conditions on the accessibility relations are needed to deal with the second problem. I go on to argue that those models are subject to the problem of quantifying in, for which I will provide a solution. (shrink)

Accounts of propositions as sets of possible worlds have been criticized for conflating distinct impossible propositions. In response to this problem, some have proposed to introduce impossible worlds to represent distinct impossibilities, endorsing the thesis that impossible worlds must be of the same kind; this has been called the parity thesis. I show that this thesis faces problems, and propose a hybrid account which rejects it: possible worlds are taken as concrete Lewisian (...) class='Hi'>worlds, and impossibilities are represented as set-theoretic constructions out of them. This hybrid account (1) distinguishes many intuitively distinct impossible propositions; (2) identifies impossible propositions with extensional constructions; (3) avoids resorting to primitive modality, at least so far as Lewisian modal realism does. (shrink)

Reasoning about situations we take to be impossible is useful for a variety of theoretical purposes. Furthermore, using a device of impossible worlds when reasoning about the impossible is useful in the same sorts of ways that the device of possible worlds is useful when reasoning about the possible. This paper discusses some of the uses of impossible worlds and argues that commitment to them can and should be had without great metaphysical or (...) logical cost. The paper then provides an account of reasoning with impossible worlds, by treating such reasoning as reasoning employing counterpossible conditionals, and provides a semantics for the proposed treatment. (shrink)

It is argued that one can learn from minimal economic models. Minimal models are models that are not similar to the real world, do not resemble some of its features, and do not adhere to accepted regularities. One learns from a model if constructing and analysing the model affects one’s confidence in hypotheses about the world. Economic models, I argue, are often assessed for their credibility. If a model is judged credible, it is considered to be (...) a relevant possibility. Considering such relevant possibilities may affect one’s confidence in necessity or impossibility hypotheses. Thus, one can learn from minimal economic models. (shrink)

Events regarding individuals’ preferences that do not always follow from standard measures such as “value of statistical life” or “quality-adjusted life years” as well as events that occur in some market-related settings which distort the information conveyed by price mechanisms, suggest that a notable chunk of what Hayek called “local knowledge” remains inaccessible by scientific tools and that only the individuals who interact in these local frameworks can have access to it. This casts serious doubt on the epistemic possibility of (...) economic calculation for if events in the local world do not observe the economic models, it is hard to see how central planners can have knowledge on them. Refined modeling strategies and cutting-edge Artificial Intelligence systems do not manage to overcome this hurdle. They may provide huge datasets in a data model, but since not all events represented in the data model are embeddable in known economic models, the knowledge problem is not evaded. Even if a theory ever manages to capture all possible events as they appear in the data model then we are left with a relationship between models (the theoretical model and the data model) with no direct access to the local world and thus the problem of accessibility of local knowledge remains unresolved. (shrink)

A brief outline of the themes and literature around impossible worlds in philosophy.

This paper was inspired by Irigaray's suggestion that patriarchal discourse is essentially paranoid, based upon a repressed ambiguity and violence that continually threatens the unity and stability of the subject. Lewis Carroll's 'Locking-Glass World' is employed as the metaphor for a system of meaning that is in the process of breaking down and reveals its shadow side in chaos, violence and power struggles. It is argued that Alice represents an idealized feminine submission to the rules of patriarchal discourse that appears (...) safe and stable but renders the subject powerless to effect change. I contrast this with the encouragement neo-paganism gives its practitioners to construct alternative magical metaphors and to learn through experience. It is valuable for feminist theologians to privilege these flexible techniques in order to avoid the straitjacket of reifying discourse. The article makes the point that the mystical experience is anyway grounded in that which transcends language, and the excess of the mystic finds its expression best in an abundance of meaning and symbol. Irigaray and feminist neo-pagans can in their various ways serve as role models in the process of renegotiating Wonderland and creating a new 'Alice'. (shrink)

What does it mean for the laws of logic to fail? My task in this paper is to answer this question. I use the resources that Routley/Sylvan developed with his collaborators for the semantics of relevant logics to explain a world where the laws of logic fail. I claim that the non-normal worlds that Routley/Sylvan introduced are exactly such worlds. To disambiguate different kinds of impossible worlds, I call such worlds logically impossible worlds. (...) At a logically impossible world, the laws of logic fail. In this paper, I provide a definition of logically impossible worlds. I then show that there is nothing strange about admitting such worlds. (shrink)

Lewisian Genuine Realism about possible worlds is often deemed unable to accommodate impossible worlds and reap the benefits that these bestow to rival theories. This thesis explores two alternative extensions of GR into the terrain of impossible worlds. It is divided in six chapters. Chapter I outlines Lewis’ theory, the motivations for impossible worlds, and the central problem that such worlds present for GR: How can GR even understand the notion of an (...) impossible world, given Lewis’ reductive theoretical framework? Since the desideratum is to incorporate impossible worlds into GR without compromising Lewis’ reductive analysis of modality, Chapter II defends that analysis against objections. The rest of the thesis is devoted to incorporating impossible worlds into GR. Chapter III explores GR-friendly impossible worlds in the form of set-theoretic constructions out of genuine possibilia. Then, Chapters IV-VI venture into concrete impossible worlds. Chapter IV addresses Lewis’ objection against such worlds, to the effect that contradictions true at impossible worlds amount to true contradictions tout court. I argue that even if so, the relevant contradictions are only ever about the non-actual, and that Lewis’ argument relies on a premise that cannot be nonquestion- beggingly upheld in the face of genuine impossible worlds in any case. Chapter V proposes that Lewis’ reductive analysis can be preserved, even in the face of genuine impossibilia, if we differentiate the impossible from the possible by means of accessibility relations, understood non-modally in terms of similarity. Finally, Chapter VI counters objections to the effect that there are certain impossibilities, formulated in Lewis’ theoretical language, which genuine impossibilia should, but cannot, represent. I conclude that Genuine Realism is still very much in the running when the discussion turns to impossible worlds. (shrink)

The usual question, “Are models fictions?” is replaced by the question, “Should scientific models be regarded as works of fiction?” This makes it clear that the issue is not one of definition but of interpretation. First one must distinguish between the ontology of scientific models and their function in the practice of science. Theoretical models and works of fiction are ontologically on a par, their both being creations of human imagination. It is their differing functions in (...) practice that makes it inappropriate to regard scientific models as works of fiction. Three reasons for thinking scientific models should be regarded as works of fiction are rejected. First, scientists themselves sometimes invoke the idea of fictions in their discussions of specific models. Second, many scientific models are physically impossible to realize in the real world. Third, regarding scientific models as works of fiction supports a general fictionalist understanding of scientific theories. It is concluded that promoting the general idea that scientific models are works of fiction unnecessarily supports attacks on the legitimacy of science itself. (shrink)

Ricoeur has written about translation as an ethical paradigm. Translation from one language to another, and within one’s own language, provides both a metaphor and a real mechanism for explaining oneself to the other. Attempting and failing to achieve symmetry between two languages is a manifestation of the asymmetry inherent in human relationships. If actively pursued, translation can show us how to forgive other people for being different from us and thus serves as a paradigm for tolerance. In full acceptance (...) that this will be impossible, Ricoeur uses the model of translation as a way of understanding European integration, with three aspects: translation, shared narrative and shared forgiveness of Europe’s history. These models provide a strong statement about tolerance and become even more significant through their conversation with the negativity that suffuses them. He draws on his knowledge of psychoanalysis to explain that the translator suffers through remembering and through mourning the loss of perfection; there must be acknowledgement of deficiency. This acceptance of imperfection and of limits to success is a key element in Ricoeur’s philosophy and is explored from the 1950s onwards in his study of negativity; denied by phenomenology and explored by Hegel. Negation is vital for understanding the world, but it can preclude us from access to meaning when it becomes negativity. Translation can provide the bridge to span the tension between the pathology of denial and different interpretations, and projection of evil into others, which I believe is at the heart of the perceived incompatibilities between Islam and the West. There is a political urgency to this enterprise, given the ‘othering’ of the Muslim world that has replaced the Cold War dichotomies between Communist as ‘other’ and the capitalist world. References to the Muslim as the current ‘other’ will be part of my discussion. As well as seeking to understand Ricoeur’s model of translation, we will examine whether his model works in a world where many speak no Arabic, Urdu or Farsi, or indeed whether it has any relevance for people who do not translate from one language to another. (shrink)

Table of contentsI1 Proceedings of the 4th World Conference on Research IntegrityConcurrent Sessions:1. Countries' systems and policies to foster research integrityCS01.1 Second time around: Implementing and embedding a review of responsible conduct of research policy and practice in an Australian research-intensive universitySusan Patricia O'BrienCS01.2 Measures to promote research integrity in a university: the case of an Asian universityDanny Chan, Frederick Leung2. Examples of research integrity education programmes in different countriesCS02.1 Development of a state-run “cyber education program of research ethics” in (...) KoreaEun Jung Ko, Jin Sun Kwak, TaeHwan Gwon, Ji Min Lee, Min-Ho LeeCS02.3 Responsible conduct of research teachers’ training courses in Germany: keeping on drilling through hard boards for more RCR teachersHelga Nolte, Michael Gommel, Gerlinde Sponholz3. The research environment and policies to encourage research integrityCS03.1 Challenges and best practices in research integrity: bridging the gap between policy and practiceYordanka Krastev, Yamini Sandiran, Julia Connell, Nicky SolomonCS03.2 The Slovenian initiative for better research: from national activities to global reflectionsUrsa Opara Krasovec, Renata SribarCS03.3 Organizational climate assessments to support research integrity: background of the Survey of Organizational Research Climate and the experience with its use at Michigan State UniversityBrian C. Martinson, Carol R. Thrush, C.K. Gunsalus4. Expressions of concern and retractionsCS04.1 Proposed guidelines for retraction notices and their disseminationIvan Oransky, Adam MarcusCS04.2 Watching retractions: analysis of process and practice, with data from the Wiley retraction archivesChris Graf, Verity Warne, Edward Wates, Sue JoshuaCS04.3 An exploratory content analysis of Expressions of ConcernMiguel RoigCS04.4 An ethics researcher in the retraction processMichael Mumford5. Funders' role in fostering research integrityCS05.1 The Fonds de Recherche du Québec’s institutional rules on the responsible conduct of research: introspection in the funding agency activitiesMylène Deschênes, Catherine Olivier, Raphaëlle Dupras-LeducCS05.2 U.S. Public Health Service funds in an international setting: research integrity and complianceZoë Hammatt, Raju Tamot, Robin Parker, Cynthia Ricard, Loc Nguyen-Khoa, Sandra TitusCS05.3 Analyzing decision making of funders of public research as a case of information asymmetryKarsten Klint JensenCS05.4 Research integrity management: Empirical investigation of academia versus industrySimon Godecharle, Ben Nemery, Kris Dierickx5A: Education: For whom, how, and what?CS05A.1 Research integrity or responsible conduct of research? What do we aim for?Mickey Gjerris, Maud Marion Laird Eriksen, Jeppe Berggren HoejCS05A.2 Teaching and learning about RCR at the same time: a report on Epigeum’s RCR poll questions and other assessment activitiesNicholas H. SteneckCS05A.4 Minding the gap in research ethics education: strategies to assess and improve research competencies in community health workers/promoteresCamille Nebeker, Michael Kalichman, Elizabeth Mejia Booen, Blanca Azucena Pacheco, Rebeca Espinosa Giacinto, Sheila Castaneda6. Country examples of research reward systems and integrityCS06.1 Improving systems to promote responsible research in the Chinese Academy of SciencesDing Li, Qiong Chen, Guoli Zhu, Zhonghe SunCS06.4 Exploring the perception of research integrity amongst public health researchers in IndiaParthasarathi Ganguly, Barna Ganguly7. Education and guidance on research integrity: country differencesCS07.1 From integrity to unity: how research integrity guidance differs across universities in Europe.Noémie Aubert Bonn, Kris Dierickx, Simon GodecharleCS07.2 Can education and training develop research integrity? The spirit of the UNESCO 1974 recommendation and its updatingDaniele Bourcier, Jacques Bordé, Michèle LeducCS07.3 The education and implementation mechanisms of research ethics in Taiwan's higher education: an experience in Chinese web-based curriculum development for responsible conduct of researchChien Chou, Sophia Jui-An PanCS07.4 Educating principal investigators in Swiss research institutions: present and future perspectivesLouis Xaver Tiefenauer8. Measuring and rewarding research productivityCS08.1 Altimpact: how research integrity underpins research impactDaniel Barr, Paul TaylorCS08.2 Publication incentives: just reward or misdirection of funds?Lyn Margaret HornCS08.3 Why Socrates never charged a fee: factors contributing to challenges for research integrity and publication ethicsDeborah Poff9. Plagiarism and falsification: Behaviour and detectionCS09.1 Personality traits predict attitude towards plagiarism of self and others in biomedicine: plagiarism, yes we can?Martina Mavrinac, Gordana Brumini, Mladen PetrovečkiCS09.2 Investigating the concept of and attitudes toward plagiarism for science teachers in Brazil: any challenges for research integrity and policy?Christiane Coelho Santos, Sonia VasconcelosCS09.3 What have we learnt?: The CrossCheck Service from CrossRefRachael LammeyCS09.4 High p-values as a sign of data fabrication/falsificationChris Hartgerink, Marcel van Assen, Jelte Wicherts10. Codes for research integrity and collaborationsCS10.1 Research integrity in cross-border cooperation: a Nordic exampleHanne Silje HaugeCS10.3 Research integrity, research misconduct, and the National Science Foundation's requirement for the responsible conduct of researchAaron MankaCS10.4 A code of conduct for international scientific cooperation: human rights and research integrity in scientific collaborations with international academic and industry partnersRaffael Iturrizaga11. Countries' efforts to establish mentoring and networksCS11.1 ENRIO : a network facilitating common approaches on research integrity in EuropeNicole FoegerCS11.2 Helping junior investigators develop in a resource-limited country: a mentoring program in PeruA. Roxana Lescano, Claudio Lanata, Gissella Vasquez, Leguia Mariana, Marita Silva, Mathew Kasper, Claudia Montero, Daniel Bausch, Andres G LescanoCS11.3 Netherlands Research Integrity Network: the first six monthsFenneke Blom, Lex BouterCS11.4 A South African framework for research ethics and integrity for researchers, postgraduate students, research managers and administratorsLaetus OK Lategan12. Training and education in research integrity at an early career stageCS12.1 Research integrity in curricula for medical studentsGustavo Fitas ManaiaCS12.2 Team-based learning for training in the responsible conduct of research supports ethical decision-makingWayne T. McCormack, William L. Allen, Shane Connelly, Joshua Crites, Jeffrey Engler, Victoria Freedman, Cynthia W. Garvan, Paul Haidet, Joel Hockensmith, William McElroy, Erik Sander, Rebecca Volpe, Michael F. VerderameCS12.4 Research integrity and career prospects of junior researchersSnezana Krstic13. Systems and research environments in institutionsCS13.1 Implementing systems in research institutions to improve quality and reduce riskLouise HandyCS13.2 Creating an institutional environment that supports research integrityDebra Schaller-DemersCS13.3 Ethics and Integrity Development Grants: a mechanism to foster cultures of ethics and integrityPaul Taylor, Daniel BarrCS13.4 A culture of integrity at KU LeuvenInge Lerouge, Gerard Cielen, Liliane Schoofs14. Peer review and its role in research integrityCS14.1 Peer review research across disciplines: transdomain action in the European Cooperation in Science and Technology “New Frontiers of Peer Review ”Ana Marusic, Flaminio SquazzoniCS14.2 Using blinding to reduce bias in peer reviewDavid VauxCS14.3 How to intensify the role of reviewers to promote research integrityKhalid Al-Wazzan, Ibrahim AlorainyCS14.4 Credit where credit’s due: professionalizing and rewarding the role of peer reviewerChris Graf, Verity Warne15. Research ethics and oversight for research integrity: Does it work?CS15.1 The psychology of decision-making in research ethics governance structures: a theory of bounded rationalityNolan O'Brien, Suzanne Guerin, Philip DoddCS15.2 Investigator irregularities: iniquity, ignorance or incompetence?Frank Wells, Catherine BlewettCS15.3 Academic plagiarismFredric M. Litto16. Research integrity in EuropeCS16.1 Whose responsibility is it anyway?: A comparative analysis of core concepts and practice at European research-intensive universities to identify and develop good practices in research integrityItziar De Lecuona, Erika Löfstrom, Katrien MaesCS16.2 Research integrity guidance in European research universitiesKris Dierickx, Noémie Bonn, Simon GodecharleCS16.3 Research Integrity: processes and initiatives in Science Europe member organisationsTony Peatfield, Olivier Boehme, Science Europe Working Group on Research IntegrityCS16.4 Promoting research integrity in Italy: the experience of the Research Ethics and Bioethics Advisory Committee of the Consiglio Nazionale delle Ricerche Cinzia Caporale, Daniele Fanelli17. Training programs for research integrity at different levels of experience and seniorityCS17.1 Meaningful ways to incorporate research integrity and the responsible conduct of research into undergraduate, graduate, postdoctoral and faculty training programsJohn Carfora, Eric Strauss, William LynnCS17.2 "Recognize, respond, champion": Developing a one-day interactive workshop to increase confidence in research integrity issuesDieter De Bruyn, Bracke Nele, Katrien De Gelder, Stefanie Van der BurghtCS17.4 “Train the trainer” on cultural challenges imposed by international research integrity conversations: lessons from a projectJosé Roberto Lapa e Silva, Sonia M. R. Vasconcelos18. Research and societal responsibilityCS18.1 Promoting the societal responsibility of research as an integral part of research integrityHelene IngierdCS18.2 Social responsibility as an ethical imperative for scientists: research, education and service to societyMark FrankelCS18.3 The intertwined nature of social responsibility and hope in scienceDaniel Vasgird, Stephanie BirdCS18.4 Common barriers that impede our ability to create a culture of trustworthiness in the research communityMark Yarborough19. Publication ethicsCS19.1 The authors' forum: A proposed tool to improve practices of journal editors and promote a responsible research environmentIbrahim Alorainy, Khalid Al-WazzanCS19.2 Quantifying research integrity and its impact with text analyticsHarold GarnerCS19.3 A closer look at authorship and publication ethics of multi- and interdisciplinary teamsLisa Campo-Engelstein, Zubin Master, Elise Smith, David Resnik, Bryn Williams-JonesCS19.4 Invisibility of duplicate publications in biomedicineMario Malicki, Ana Utrobicic, Ana Marusic20. The causes of bad and wasteful research: What can we do?CS20.1 From countries to individuals: unravelling the causes of bias and misconduct with multilevel meta-meta-analysisDaniele Fanelli, John PA IoannidisCS20.2 Reducing research waste by integrating systems of oversight and regulationGerben ter Riet, Tom Walley, Lex Marius BouterCS20.3 What are the determinants of selective reporting?: The example of palliative care for non-cancer conditionsJenny van der Steen, Lex BouterCS20.4 Perceptions of plagiarism, self-plagiarism and redundancy in research: preliminary results from a national survey of Brazilian PhDsSonia Vasconcelos, Martha Sorenson, Francisco Prosdocimi, Hatisaburo Masuda, Edson Watanabe, José Carlos Pinto, Marisa Palácios, José Lapa e Silva, Jacqueline Leta, Adalberto Vieyra, André Pinto, Mauricio Sant’Ana, Rosemary Shinkai21. Are there country-specific elements of misconduct?CS21.1 The battle with plagiarism in Russian science: latest developmentsBoris YudinCS21.2 Researchers between ethics and misconduct: A French survey on social representations of misconduct and ethical standards within the scientific communityEtienne Vergès, Anne-Sophie Brun-Wauthier, Géraldine VialCS21.3 Experience from different ways of dealing with research misconduct and promoting research integrity in some Nordic countriesTorkild VintherCS21.4 Are there specifics in German research misconduct and the ways to cope with it?Volker Bähr, Charité22. Research integrity teaching programmes and their challengesCS22.1 Faculty mentors and research integrityMichael Kalichman, Dena PlemmonsCS22.2 Training the next generation of scientists to use principles of research quality assurance to improve data integrity and reliabilityRebecca Lynn Davies, Katrina LaubeCS22.3 Fostering research integrity in a culturally-diverse environmentCynthia Scheopner, John GallandCS22.4 Towards a standard retraction formHervé Maisonneuve, Evelyne Decullier23. Commercial research and integrityCS23.1 The will to commercialize: matters of concern in the cultural economy of return-on-investment researchBrian NobleCS23.2 Quality in drug discovery data reporting: a mission impossible?Anja Gilis, David J. Gallacher, Tom Lavrijssen, Malwitz David, Malini Dasgupta, Hans MolsCS23.3 Instituting a research integrity policy in the context of semi-private-sector funding: an example in the field of occupational health and safetyPaul-Emile Boileau24. The interface of publication ethics and institutional policiesCS24.1 The open access ethical paradox in an open government effortTony SavardCS24.2 How journals and institutions can work together to promote responsible conductEric MahCS24.3 Improving cooperation between journals and research institutions in research integrity casesElizabeth Wager, Sabine Kleinert25. Reproducibility of research and retractionsCS25.1 Promoting transparency in publications to reduce irreproducibilityVeronique Kiermer, Andrew Hufton, Melanie ClyneCS25.2 Retraction notices issued for publications by Latin American authors: what lessons can we learn?Sonia Vasconcelos, Renan Moritz Almeida, Aldo Fontes-Pereira, Fernanda Catelani, Karina RochaCS25.3 A preliminary report of the findings from the Reproducibility Project: Cancer biologyElizabeth Iorns, William Gunn26. Research integrity and specific country initiativesCS26.1 Promoting research integrity at CNRS, FranceMichèle Leduc, Lucienne LetellierCS26.2 In pursuit of compliance: is the tail wagging the dog?Cornelia MalherbeCS26.3 Newly established research integrity policies and practices: oversight systems of Japanese research universitiesTakehito Kamata27. Responsible conduct of research and country guidelinesCS27.1 Incentives or guidelines? Promoting responsible research communication through economic incentives or ethical guidelines?Vidar EnebakkCS27.3 Responsible conduct of research: a view from CanadaLynn PenrodCS27.4 The Danish Code of Conduct for Research Integrity: a national initiative to promote research integrity in DenmarkThomas Nørgaard, Charlotte Elverdam28. Behaviour, trust and honestyCS28.1 The reasons behind non-ethical behaviour in academiaYves FassinCS28.2 The psychological profile of the dishonest scholarCynthia FekkenCS28.3 Considering the implications of Dan Ariely’s keynote speech at the 3rd World Conference on Research Integrity in MontréalJamal Adam, Melissa S. AndersonCS28.4 Two large surveys on psychologists’ views on peer review and replicationJelte WichertsBrett Buttliere29. Reporting and publication bias and how to overcome itCS29.1 Data sharing: Experience at two open-access general medical journalsTrish GrovesCS29.2 Overcoming publication bias and selective reporting: completing the published recordDaniel ShanahanCS29.3 The EQUATOR Network: promoting responsible reporting of health research studiesIveta Simera, Shona Kirtley, Eleana Villanueva, Caroline Struthers, Angela MacCarthy, Douglas Altman30. The research environment and its implications for integrityCS30.1 Ranking of scientists: the Russian experienceElena GrebenshchikovaCS30.4 From cradle to grave: research integrity, research misconduct and cultural shiftsBronwyn Greene, Ted RohrPARTNER SYMPOSIAPartner Symposium AOrganized by EQUATOR Network, Enhancing the Quality and Transparency of Health ResearchP1 Can we trust the medical research literature?: Poor reporting and its consequencesIveta SimeraP2 What can BioMed Central do to improve published research?Daniel Shanahan, Stephanie HarrimanP3 What can a "traditional" journal do to improve published research?Trish GrovesP4 Promoting good reporting practice for reliable and usable research papers: EQUATOR Network, reporting guidelines and other initiativesCaroline StruthersPartner Symposium COrganized by ENRIO, the European Network of Research Integrity OfficersP5 Transparency and independence in research integrity investigations in EuropeKrista Varantola, Helga Nolte, Ursa Opara, Torkild Vinther, Elizabeth Wager, Thomas NørgaardPartner Symposium DOrganized by IEEE, the Institute of Electrical and Electronics EngineersRe-educating our author community: IEEE's approach to bibliometric manipulation, plagiarism, and other inappropriate practicesP6 Dealing with plagiarism in the connected world: An Institute of Electrical and Electronics Engineers perspectiveJon RokneP7 Should evaluation of raises, promotion, and research proposals be tied to bibliometric indictors? What the Institute of Electrical and Electronics Engineers is doing to answer this questionGianluca SettiP8 Recommended practices to ensure conference content qualityGordon MacPhersonPartner Symposium EOrganized by the Committee on Freedom and Responsibility in the Conduct of Science of ICSU, the International Council for ScienceResearch assessment and quality in science: perspectives from international science and policy organisationsP9 Challenges for science and the problems of assessing researchEllen HazelkornP10 Research assessment and science policy developmentCarthage SmithP11 Research integrity in South Africa: the value of procedures and processes to global positioningRobert H. McLaughlinP12 Rewards, careers and integrity: perspectives of young scientists from around the worldTatiana Duque MartinsPartner Symposium FOrganized by the Online Resource Center for Ethics Education in Engineering and Science / Center for Engineering, Ethics, and Society of the National Academy of EngineeringP13 Research misconduct: conceptions and policy solutionsTetsuya Tanimoto, Nicholas Steneck, Daniele Fanelli, Ragnvald Kalleberg, Tajammul HusseinPartner Symposium HOrganized by ORI, the Office of Research Integrity; Universitas 21; and the Asia Pacific Research Integrity NetworkP14 International integrity networks: working together to ensure research integrityPing Sun, Ovid Tzeng, Krista Varantola, Susan ZimmermanPartner Symposium IOrganized by COPE, the Committee on Publication EthicsPublication without borders: Ethical challenges in a globalized worldP15 Authorship: credit and responsibility, including issues in large and interdisciplinary studiesRosemary ShinkaiPartner Symposium JOrganized by CITI, the Cooperative Institutional Training InitiativeExperiences on research integrity educational programs in Colombia, Costa Rica and PeruP16 Experiences in PeruRoxana LescanoP17 Experiences in Costa RicaElizabeth HeitmanP18 Experiences in ColumbiaMaria Andrea Rocio del Pilar Contreras NietoPoster Session B: Education, training, promotion and policyPT.01 The missing role of journal editors in promoting responsible researchIbrahim Alorainy, Khalid Al-WazzanPT.02 Honorary authorship in Taiwan: why and who should be in charge?Chien Chou, Sophia Jui-An PanPT.03 Authorship and citation manipulation in academic researchEric Fong, Al WilhitePT.04 Open peer review of research submission at medical journals: experience at BMJ Open and The BMJTrish GrovesPT.05 Exercising authorship: claiming rewards, practicing integrityDésirée Motta-RothPT.07 Medical scientists' views on publication culture: a focus group studyJoeri Tijdink, Yvo SmuldersPoster Session B: Education, training, promotion and policyPT.09 Ethical challenges in post-graduate supervisionLaetus OK LateganPT.10 The effects of viable ethics instruction on international studentsMichael Mumford, Logan Steele, Logan Watts, James Johnson, Shane Connelly, Lee WilliamsPT.11 Does language reflect the quality of research?Gerben ter Riet, Sufia Amini, Lotty Hooft, Halil KilicogluPT.12 Integrity complaints as a strategic tool in policy decision conflictsJanneke van Seters, Herman Eijsackers, Fons Voragen, Akke van der Zijpp and Frans BromPoster Session C: Ethics and integrity intersectionsPT.14 Regulations of informed consent: university-supported research processes and pitfalls in implementationBadaruddin Abbasi, Naif Nasser AlmasoudPT.15 A review of equipoise as a requirement in clinical trialsAdri LabuschagnePT.16 The Research Ethics Library: online resource for research ethics educationJohanne Severinsen, Espen EnghPT.17 Research integrity: the view from King Abdulaziz City for Science and TechnologyDaham Ismail AlaniPT. 18 Meeting global challenges in high-impact publications and research integrity: the case of the Malaysian Palm Oil BoardHJ. Kamaruzaman JusoffPT.19 University faculty perceptions of research practices and misconductAnita Gordon, Helen C. HartonPoster Session D: International perspectivesPT.21 The Commission for Scientific Integrity as a response to research fraudDieter De Bruyn, Stefanie Van der BurghtPT. 22 Are notions of the responsible conduct of research associated with compliance with requirements for research on humans in different disciplinary traditions in Brazil?Karina de Albuquerque Rocha, Sonia Maria Ramos de VasconcelosPT.23 Creating an environment that promotes research integrity: an institutional model of Malawi Liverpool Welcome TrustLimbanazo MatandikaPT.24 How do science policies in Brazil influence user-engaged ecological research?Aline Carolina de Oliveira Machado Prata, Mark William NeffPoster Session E: Perspectives on misconductPT.26 What “causes” scientific misconduct?: Testing major hypotheses by comparing corrected and retracted papersDaniele Fanelli, Rodrigo Costas, Vincent LarivièrePT.27 Perception of academic plagiarism among dentistry studentsDouglas Leonardo Gomes Filho, Diego Oliveira GuedesPT. 28 a few bad apples?: Prevalence, patterns and attitudes towards scientific misconduct among doctoral students at a German university hospitalVolker Bähr, Niklas Keller, Markus Feufel, Nikolas OffenhauserPT. 29 Analysis of retraction notices published by BioMed CentralMaria K. Kowalczuk, Elizabeth C. MoylanPT.31 "He did it" doesn't work: data security, incidents and partnersKatie SpeanburgPoster Session F: Views from the disciplinesPT.32 Robust procedures: a key to generating quality results in drug discoveryMalini Dasgupta, Mariusz Lubomirski, Tom Lavrijssen, David Malwitz, David Gallacher, Anja GillisPT.33 Health promotion: criteria for the design and the integrity of a research projectMaria Betânia de Freitas Marques, Laressa Lima Amâncio, Raphaela Dias Fernandes, Oliveira Patrocínio, and Cláudia Maria Correia Borges RechPT.34 Integrity of academic work from the perspective of students graduating in pharmacy: a brief research studyMaria Betânia de Freitas Marques, Cláudia Maria Correia Borges Rech, Adriana Nascimento SousaPT.35 Research integrity promotion in the Epidemiology and Health Services, the journal of the Brazilian Unified Health SystemLeila Posenato GarciaPT.36 When are clinical trials registered? An analysis of prospective versus retrospective registration of clinical trials published in the BioMed Central series, UKStephanie Harriman, Jigisha PatelPT.37 Maximizing welfare while promoting innovation in drug developmentFarida LadaOther posters that will be displayed but not presented orally:PT.38 Geoethics and the debate on research integrity in geosciencesGiuseppe Di Capua, Silvia PeppoloniPT.39 Introducing the Professionalism and Integrity in Research Program James M. DuBois, John Chibnall, Jillon Van der WallPT.40 Validation of the professional decision-making in research measureJames M. DuBois, John Chibnall, Jillon Van der Wall, Raymond TaitPT.41 General guidelines for research ethicsJacob HolenPT. 42 A national forum for research ethicsAdele Flakke Johannessen, Torunn EllefsenPT.43 Evaluation of integrity in coursework: an approach from the perspective of the higher education professorClaudia Rech, Adriana Sousa, Maria Betânia de Freitas MarquesPT.44 Principles of geoethics and research integrity applied to the European Multidisciplinary Seafloor and Water Column Observatory, a large-scale European environmental research infrastructureSilvia Peppoloni, Giuseppe Di Capua, Laura BeranzoliF1 Focus track on improving research systems: the role of fundersPaulo S.L. Beirão, Susan ZimmermanF2 Focus track on improving research systems: the role of countriesSabine Kleinert, Ana MarusicF3 Focus track on improving research systems: the role of institutionsMelissa S. Anderson, Lex Bouter. (shrink)

This article builds on Humberstone’s idea of defining models of propositional modal logic where total possible worlds are replaced by partial possibilities. We follow a suggestion of Humberstone by introducing possibility models for quantified modal logic. We show that a simple quantified modal logic is sound and complete for our semantics. Although Holliday showed that for many propositional modal logics, it is possible to give a completeness proof using a canonical model construction where every possibility consists of (...) finitely many formulas, we show that this is impossible to do in the first-order case. However, one can still construct a canonical model where every possibility consists of a computable set of formulas and thus still of finitely much information. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Studies in Plato's Two-Level ModelIan MuellerHolger Thesleff. Studies in Plato's Two-Level Model. Helsinki: Societas Scientarum Fennica, 1999. Pp. vi + 143. N. P.After some 30 years of incisive intervention in Platonic scholarship, Holger Thesleff here offers us "an attempt to elaborate and ground more firmly some basic theses which I have propounded in various contexts before," (1) a rather modest description of what he also describes as an (...) attempt to contribute toward "a more general agreement on how to read and interpret Plato" (5). The richness of this book makes it impossible to describe in any detail, and I shall content myself with indicating some of what I take to be its principal points of view.Thesleff"s concern for agreement arises from his perception of the vastly discrepant schools of Plato interpretation, of which the most important for him might be labeled esotericist, analytic, and "literary." The last, which can hardly be called a school at all, includes a variety of scholars who downplay "literal" interpretation and emphasize such things as "dramatic artistry, the structure of the dialogues, the characterization of settings and persons, shifts of style, allusions, play, and irony" (3). Thesleff's sympathies clearly lie with these people, perhaps to an extent which, as I shall suggest, will limit the effectiveness of his attempt to move toward a consensus.As the title indicates Thesleff builds his reading around what he calls Plato's two-level model. This two-level model is not, as one might suppose, what has been called Plato's two worlds view, the belief in a world of pure being beyond the perceived world we inhabit. Indeed, it is not a doctrine or set of doctrines at all. Rather "it is an intuitive 'vision' which offers only crude basic patterns and frames for the structures of Plato's thinking, feelings, intuitions, and intentions, from his youth to his old age, and for our understanding of them" (123). Clearly one cannot expect a full and precise articulation of this vision. Thesleff proceeds by discussing in terms of their role in the earlier dialogues ten hierarchic pairs which form part of Plato's vision: divine/human, soul/body, leading/being led (particularly important in the conduct of a Socratic discussion), truth/appearance, knowledge/opinion, intellect/senses, defined/undefined, stability/change, one/many, same/different. These hierarchic or asymmetric pairs are contrasted by Thesleff with what he calls polar opposites like large/small and light/dark. He also stresses that the hierarchic pairs of Plato's two-level model involve no separation (chorismos), but rather a communion (koinônia).As the words "from his youth to his old age" in the quotation of the previous paragraph indicate, Thesleff is a "unitarian" in his approach to Plato. His Plato is not a philosopher whose positions changed through time as a result of reasoned argument. What many scholars take to be doctrines later given up, e.g., the view that learning is being reminded (anamnêsis), are "thought experiments," which are not followed up, thought experiments made within the context of the unchanging two-level vision.Although Thesleff is a unitarian in the sense I have indicated, he does believe that a kind of order of composition can be constructed for the dialogues. I say "kind of" because Thesleff's chronology involves assumptions of revisions over time, multiple authorship, and even dialogues "written down" by people other than Plato. The resulting chronology is complex, and I here only indicate it in rough form in a way which [End Page 272] brings out what I take to be its major points. Leaving out of account those Socratic" dialogues which Thesleff takes to be latish and the posthumously completed Laws, we can say that a series of late dialogues starts with the Parmenides and includes the Timaeus, Critias, Sophist, Politicus, and Philebus. All other dialogues, including the Theaetetus, were written prior to the Parmenides with the exception of the Republic, which Thesleff proposes is in its ultimate shape a late work, representing "only and purely Plato's 'own' and personal philosophy" (115). As for the other late dialogues, which have played an important... (shrink)

The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or (...) another, violate the laws of logic. In this paper, we argue that existing impossible-worlds models of belief fail to describe agents who are both logically non-omniscient and logically competent. To model such agents, we argue, we need to ‘dynamize’ the impossible-worlds framework in a way that allows us to capture not only what agents believe, but also what they are able to infer from what they believe. In light of this diagnosis, we go on to develop the formal details of a dynamic impossible-worlds framework, and show that it successfully models agents who are both logically non-omniscient and logically competent. (shrink)

The common view has it that there are two families of approaches towards the logical structure of impossible worlds – Australasian and North American. According to the first, impossible worlds are closed under the relation of logical consequence of one of the non-classical logics. The North American approach is more liberal, allowing for impossible worlds where no logic holds. After pointing out the questionable consequences of each view, I propose a third one. While this (...) new perspective allows for worlds where no logical consequence holds, it also imposes some constraints on what worlds are built upon. This renders the proposed view not as restrictive as the Australasian approach and not as liberal as the North American approach. Due to its intermediary nature, I have named this perspective ‘the Pacific’ approach. (shrink)

Possible worlds have found many applications in contemporary philosophy: from theories of possibility and necessity, to accounts of conditionals, to theories of mental and linguistic content, to understanding supervenience relationships, to theories of properties and propositions, among many other applications. Almost as soon as possible worlds started to be used in formal theories in logic, philosophy of language, philosophy of mind, metaphysics, and elsewhere, theorists started to wonder whether impossible worlds should be postulated as well. In (...) many applications, possible worlds face limitations that can be dealt with through postulating impossible worlds as well. This chapter examines some of the uses of impossible worlds, and philosophical challenges theories of impossible worlds face. (shrink)

The article is devoted to the problem of interpreting of the several consequences that derive from multi-world concepts of modern physics. The inflation scenario and the associated string landscape model are the objects of analysis. The reviewed multi-world concepts are exposed to presume the existence of a plenitude of various fundamental principles that govern the physics of one or another possible reality. The research is based on the hermeneutical method, comparative method, dialectical method, formal translation method, and scientific modeling method. (...) The author represents specifics of physical theories that claim to describe all possible worlds in the conclusions. In this regard, the issues of the status of “possible” and “impossible” worlds and practicable ways to determine them are discussed. The main result of the study is the justification that each type of world must correspond to a certain structure of consciousness defined by its basic physical principles. This possibly means that a unified “theory of everything” that includes all possible mathematical and physical fundamental structures cannot exist since every one of them determines a specific type of consciousness. (shrink)

The paper deals with such a modification of genuine modal realism as to accommodate impossible worlds into its ontology. First of all, the theory of modal realism is presented. Next, several motivations for the acceptance of impossible worlds are adduced. Further, Lewis’s argument against impossible worlds is presented. It is argued that the argument can be weakened by rejection of one of its premises. Finally, two objections against the proposal are countered. Although my strategy (...) accounts for the Opinion concerning the impossible, it allegedly violates another Opinion which conceives the reality classical. It seems, however, that there is no no-question-begging reason to think that reality is classical. How can we know, after all, which logic describes reality? Without a definite answer to the question, the incredibility objection then simply collapses into a statement of a possibilist dogma. (shrink)

It may be argued that the language of mathematics is about the category\nof sets, although the definite article requires some justification.\nAs possible worlds of mathematics we may admit all models of type\ntheory, by which we mean all local toposes. For an intuitionist,\nthere is a distinguished local topos, namely the so-called free topos,\nwhich may be constructed as the Tarski–Lindenbaum category of intuitionistic\ntype theory. However, for a classical mathematician, to pick a distinguished\nmodel may be as difficult as to define the (...) notion of truth in classical\ntype theory, which Tarski has shown to be impossible. Author Keywords:\nAuthor Keywords: Type theory; Categorical logic; Category of sets;\nTopos theory *1 I wish to thank Elaine Landry for organizing a symposium\nat Brock University in 1996, at which an earlier version of this\npaper was presented, and Phil Scott for helpful discussions. Support\nfrom the Social Sciences and Humanities Research Council of Canada\nis herewith acknowledged. (shrink)

Theories of content are at the centre of philosophical semantics. The most successful general theory of content takes contents to be sets of possible worlds. But such contents are very coarse-grained, for they cannot distinguish between logically equivalent contents. They draw intensional but not hyperintensional distinctions. This is often remedied by including impossible as well as possible worlds in the theory of content. Yet it is often claimed that impossible worlds are metaphysically obscure; and it (...) is sometimes claimed that their use results in a trivial theory of content. In this paper, I set out the need for impossible worlds in a theory of content; I briefly sketch a metaphysical account of their nature; I argue that worlds in general must be very fine-grained entities; and, finally, I argue that the resulting conception of impossible worlds is not a trivial one. (shrink)

Despite the fact that there is now a general public agreement in Ukraine regarding the need to oppose the “russian world”, there are quite diverse and sometimes contradictory proposals among Ukrainian citizens regarding the ways to implement such an opposition. In state policy, the main line of implementing such countermeasures is gradually beginning to emerge, however, it is necessary to logically and organizationally substantiate the main stages of its implementation. The essence of opposition to the “russian world” lies in the (...) consistent implementation of decolonization in Ukraine, since it was russia that for centuries carried out the largest and for a long time quite successful project of colonization of Ukraine. The purpose of the article is to clarify the post-colonial situation for Ukraine, and, accordingly, the tasks of decolonization for it as a key direction of counteraction to the “russian world” in Ukraine. The degree of colonization of Ukraine is analyzed on the basis of a comparative analysis with other known histories of colonization in the world. Thanks to this, the degree of applicability of postcolonial studies and the theory of decolonization to modern Ukraine has been clarified. Ukraine repeats many classic features of a post-colonial country, but has every chance to make a significant new contribution to the theory of decolonization – thanks to its success in confronting the russian empire, which is now the russian federation, in its expansionist militarist foreign policy. Decolonization in Ukraine is carried out in three stages, during each of which the necessary institutional changes are successively implemented, each of which makes it impossible to return to the previous stage. Thus, the mirror opposition to russian colonization, the adoption of the best world experience of decolonization, and finally, the development of a self-sufficient Ukrainian world are three stages of successful decolonization in Ukraine, which can become a model for other former colonies. (shrink)

Several theorists have been attracted to the idea that in order to account for counterpossibles, i.e. counterfactuals with impossible antecedents, we must appeal to impossible worlds. However, few have attempted to provide a detailed impossible worlds account of counterpossibles. Berit Brogaard and Joe Salerno’s ‘Remarks on Counterpossibles’ is one of the few attempts to fill in this theoretical gap. In this article, I critically examine their account. I prove a number of unanticipated implications of their (...) account that end up implying a counterintuitive result. I then examine a suggested revision and point out a surprising implication of the revision. (shrink)

Modal knowledge accounts that are based on standards possible-worlds semantics face well-known problems when it comes to knowledge of necessities. Beliefs in necessities are trivially sensitive and safe and, therefore, trivially constitute knowledge according to these accounts. In this paper, I will first argue that existing solutions to this necessity problem, which accept standard possible-worlds semantics, are unsatisfactory. In order to solve the necessity problem, I will utilize an unorthodox account of counterfactuals, as proposed by Nolan, on which (...) we also consider impossible worlds. Nolan’s account for counterpossibles delivers the intuitively correct result for sensitivity i.e. S’s belief is sensitive in intuitive cases of knowledge of necessities and insensitive in intuitive cases of knowledge failure. However, we acquire the same plausible result for safety only if we reject his strangeness of impossibility condition and accept the modal closeness of impossible worlds. In this case, the necessity problem can be analogously solved for sensitivity and safety. For some, such non-moderate accounts might come at too high a cost. In this respect, sensitivity is better off than safety when it comes to knowing necessities. (shrink)

In today’s world there is diversification of different models of higher education. At the same time, the multiplicity, the diversity of higher education models does not exclude their identity. Internationalization and integration of higher education in a global and international dimension raise a lot of new questions to the theory and practice. Almost every developed country has the rich experience of building the higher education system. The analysis of this experience can aid development and enrichment of the national (...) educational system; it provides an opportunity to avoid repeating the same mistakes and to discover the new approaches to solving some problems in this area. Therefore, based on this, we consider that it is impossible to claim the creation of the strategy of modernization educational and scientific reforms, which affect the educational and scientific institution of the society in the management of scientific and educational space without analysis of the existing models, schools, directions, their classification in contemporary philosophy of education. It concern as well the sphere of the social philosophy of education as the sphere of management of education. The continuity of public education, qualitative management, their intensity can only be achieved under two conditions of the fundamental character. The first one is use of new, theoretically grounded and practically proven management, philosophically developed, accessible and technically supported high technology of social activity, education, training, and learning. The second condition is the perfect acquisition of the methodology of socio-axiological and research activity. The structure must provide the same conditions for equitable selection of civil, educational and scientific-educational actions, excluding coercion and domination. It is noted that the existence of developed civil society among the existing conditions and prerequisites for the successful formation and functioning of educational systems and effective models of multilevel educational management is necessary. Thus, we can conclude that the strategy of the modern world development proposed by the social philosophy of upbringing and education is a key in the field of social administration, philosophy, and pedagogy. This is what we exactly mean by education, science or some of the paradigms of upbringing and education as a dominant one on a certain socio-historical stage. This understanding largely depends on the manner of organization and functioning of civil society in the present and future. (shrink)