Caroline New is an energetic activist who has interpolated critical realist ideas into the front-line of political activism. In this wide-ranging interview, she begins by reflecting on her life and how she became a realist and her account is illustrated with personal anecdotes recalling memories of well-known philosophers and activists from the time. She discusses how her position set her apart from other feminists and she examines the interacting threads of longstanding debates on the political left, as well as (...) longstanding debates within critical realist circles, such as the relative importance of quantitative methods in social research and the scope for agency as a source of intentional change. Finally she brings some of her ideas to bear on contemporary issues. This engaging interview notably provides some of the social context in which critical realism developed, while also pointing towards its future potential. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Kenneth R. Seeskin THE COMEDY OF THE GODS IN THE ILIAD "... no animai but man ever laughs." Aristotle, De Partibus Animalium, 673a8-9 No reader of the Iliad can fail to be struck by the great extent to which social relations among the gods resemble those which obtain among men. Zeus, the oldest and strongest of the Olympian deities, rules as an absolute monarchor patriarch. The "council" meetings over (...) which he presides are not unlike those which occur on earth. Like Agamemnon, he must assert his authority from time to time; and, like any mortal king, he must deal with problems relating to jealousy, adultery, dishonesty, and revenge. To the extent that the gods differ from mortal heroes, those differences are similar to the ones which separate mortal heroes and commoners. The gods occupy the highest place on the scale of excellence, beauty, and social status, mortals with divine ancestry occupy the next position, and so on down the line. Although the above picture is accurate in many respects, there is something about it which is bound to leave one cold, for, unlike his mortal heroes, Homer's gods often appear as clowns. One need only recall scenes like Hephaestus' bumbling attempt to wait on the other immortals (1.584 ff.), Hera's seduction of Zeus (14.157 ff.), or the famous theomachy (21.385 ff.) to see that, ironically, humans frequendy are more dignified than the gods they are trying to please. It was scenes like these which caused Longinus, in his essay On the Sublime, to remark that Homer appears to have made his men gods and his gods men (sec. 9). Now any long story is bound to contain comic relief. But for many authors (Shakespeare, for instance), comic relief is supplied by those whose social status is lower than that of the main characters, e.g., grave diggers, nightwatchmen, country bumpkins, or pettythieves. As Aristotle argued in the Poetics (sec. 2 and 5), comedy is an imitation of men worse than the average. In Book 2 of the Iliad, Homer does use Thersites 295 296Philosophy and Literature for comic effect; yet this scene is noteworthy for being the only one in the book which supports Aristotle's contention. In practically every other case, comedy is supplied by characters better than the average: it is supplied by the gods. Moreover, in the few cases where mortal aristocrats are involved in comic situations (e.g., the rambling speeches of Nestor), the teasing tends to be extremely mild. Farce and slapstick are reserved almost exclusively for the inhabitants of Olympus. Plato, for one, was outraged by passages where the gods look ridiculous and wanted them excised from the text. Not surprisingly, there is a tradition of modern scholars who feel a similar sense of outrage. Walter Leaf, for example, maintained that the theomachy is poorly written and thus not the work of Homer.1 Gilbert Murray argued that several of the scenes in question are in bad taste, exemplify the spirit of Milesian skepticism, and, again, are not the work of Homer.2 Wilamowitz constructed an elaborate theory which claimed that these passages are the work of a later rhapsode who probably was associated with Archilochus.3 Finally, George Calhoun, who exposed the flaws of those just mentioned, concluded that such passages show the influence not of a later period of skepticism but of an earlier, less refined period and were composed merely to please Homer's audience.4 Since it is not my purpose to enter the long debate over the authorship and unity of the text, let me state the guiding assumptions of this essay dogmatically. First, the passages in question are not interpolated and serve important artistic functions. Second, for whatever reason Homer decided to include them, their presence raises profound moral and religious questions. From the outset, it is clear that any anthropomorphic conception of the gods will have to fail in one important respect. The gods are immortal, humans are not. Thus even the lowliest human can do something which no god can—risk his life. For all of their quarrels, deceptive schemes, and forays into the thick of the fighting, the gods are... (shrink)

As an introduction to our work, we emphasize the parallel interpretation of abstract tools and the concepts of undetermined and vague information. Imprecision, uncertainty and their relationships are inspected. Suitable interpretations of the fuzzy sets theory are applied to legal phenomena in an attempt to clearly circumscribe the possible applications of the theory. The fundamental notion of reference sets is examined in detail, hence highlighting their importance. A systematic and combinatorial classification of the relevant subsets of the legal field is (...) supplied for practical application. Although the use of the fuzzy sets theory is sometimes suggested as a palliative measure (no competition exists), it can also be complementary (serve as a building block to improve modelisation). An Appendix gives a brief recall of the key-concepts of the axiomatic theory of fuzziness and its developments: fuzzy sets, fuzzy logic, fuzzy control and theory of possibility. (shrink)

In this article we show that bi-intuitionistic predicate logic lacks the Craig Interpolation Property. We proceed by adapting the counterexample given by Mints, Olkhovikov and Urquhart for intuitionistic predicate logic with constant domains [13]. More precisely, we show that there is a valid implication $\phi \rightarrow \psi $ with no interpolant. Importantly, this result does not contradict the unfortunately named ‘Craig interpolation’ theorem established by Rauszer in [24] since that article is about the property more correctly named ‘deductive interpolation’ (see (...) Galatos, Jipsen, Kowalski and Ono’s use of this term in [5]) for global consequence. Given that the deduction theorem fails for bi-intuitionistic logic with global consequence, the two formulations of the property are not equivalent. (shrink)

The Craig interpolation property is investigated for substructural logics whose algebraic semantics are varieties of semilinear pointed commutative residuated lattices. It is shown that Craig interpolation fails for certain classes of these logics with weakening if the corresponding algebras are not idempotent. A complete characterization is then given of axiomatic extensions of the “R-mingle with unit” logic that have the Craig interpolation property. This latter characterization is obtained using a model-theoretic quantifier elimination strategy to determine the varieties of Sugihara monoids (...) admitting the amalgamation property. (shrink)

An interpolation theorem holds for many standard modal logics, but first order $S5$ is a prominent example of a logic for which it fails. In this paper it is shown that a first order $S5$ interpolation theorem can be proved provided the logic is extended to contain propositional quantifiers. A proper statement of the result involves some subtleties, but this is the essence of it.

We discuss the interpolation property on some important families of non classical logics, such as intuitionistic, modal, fuzzy, and linear logics. A special paragraph is devoted to a generalization of the interpolation property, uniform interpolation.

A new technique is presented for proving that a consequence system enjoys Craig interpolation or Maehara interpolation based on the fact that these properties hold in another consequence system. This technique is based on the existence of a back and forth translation satisfying some properties between the consequence systems. Some examples of translations satisfying those properties are described. Namely a translation between the global/local consequence systems induced by fragments of linear logic, a Kolmogorov-Gentzen-Gödel style translation, and a new translation between (...) the global consequence systems induced by full Lambek calculus and linear logic, mixing features of a Kiriyama-Ono style translation with features of a Kolmogorov-Gentzen-Gödel style translation. These translations establish a strong relationship between the logics involved and are used to obtain new results about whether Craig interpolation and Maehara interpolation hold in that logics . (shrink)

This paper aims to show that widespread, serious errors in the self-assessment of affect are a genuine possibility-one worth taking very seriously. For we are subject to a variety of errors concerning the character of our present and past affective states, or "affective ignorance." For example, some affects, particularly moods, can greatly affect the quality of our experience even when we are unable to discern them. I note several implications of these arguments. First, we may be less competent pursuers of (...) happiness than is commonly believed, raising difficult questions for political thought. Second, some of the errors discussed ramify for our understanding of consciousness, including Ned Block's controversial distinction between access consciousness and phenomenal consciousness. Third, empirical results based on self-reports about affect may be systematically misleading in certain ways. (shrink)

We define the interpolative fusion T∪∗ of a family i∈I of first-order theories over a common reduct T∩, a notion that generalizes many examples of random or generic structures in the model-theo...

A proof of the (propositional) Craig interpolation theorem for cut-free sequent calculus yields that a sequent with a cut-free proof (or with a proof with cut-formulas of restricted form; in particular, with only analytic cuts) with k inferences has an interpolant whose circuit-size is at most k. We give a new proof of the interpolation theorem based on a communication complexity approach which allows a similar estimate for a larger class of proofs. We derive from it several corollaries: (1) Feasible (...) interpolation theorems for the following proof systems: (a) resolution (b) a subsystem of LK corresponding to the bounded arithmetic theory S 2 2 (α) (c) linear equational calculus (d) cutting planes. (2) New proofs of the exponential lower bounds (for new formulas) (a) for resolution ([15]) (b) for the cutting planes proof system with coefficients written in unary ([4]). (3) An alternative proof of the independence result of [43] concerning the provability of circuit-size lower bounds in the bounded arithmetic theory S 2 2 (α). In the other direction we show that a depth 2 subsystem of LK does not admit feasible monotone interpolation theorem (the so called Lyndon theorem), and that a feasible monotone interpolation theorem for the depth 1 subsystem of LK would yield new exponential lower bounds for resolution proofs of the weak pigeonhole principle. (shrink)

We introduce a family of notions of interpolation for sentential logics. These concepts generalize the ones for substructural logics introduced in [5]. We show algebraic characterizations of these notions for the case of equivalential logics and study the relation between them and the usual concepts of Deductive, Robinson, and Maehara interpolation properties.

Interview of Amina Kkhelufi, Kseniia Myroshnyk, Nataliia Reva with Natalia Viatkina.

We investigate interpolation properties of many-valued propositional logics related to continuous t-norms. In case of failure of interpolation, we characterize the minimal interpolating extensions of the languages. For finite-valued logics, we count the number of interpolating extensions by Fibonacci sequences.

In four studies, we examine the “LIFE IS A JOURNEY” conceptual metaphor using as data output from semantic and episodic memory. In the first three studies output from semantic memory indicates that undergraduate samples, when primed to think in “LIFE” in terms of a course followed until one's 70th year, provided a set of events output in a sequential order and when compared to a second sample, showed high agreement on the ages in which the events would occur. These data (...) were taken as supportive of a “JOURNEY” metaphor in which one progressed along a life path. Study 2 indicated that the “LIFE” events produced also aroused specific subthemes, consistent with the notion of the arousal of lower-level “LIFE-JOURNEY” metaphors (e.g., “LOVE IS A JOURNEY”). In a third study, we experimentally constrained the order of report from semantic memory. These data indicate that free output of events (as in Study 1) involves both a forward-temporal output, and clustering of life themes, but that forcing a forward-temporal order is indicative of the arousal of the superordinate conceptual metaphor but not the lower-level themes. Finally, in an episodic memory task one finds the reverse, namely arousal of the lower-level themes but not of the superordinate conceptual metaphor. Taken together, these findings indicate conditions under which the “LIFE IS A JOURNEY” metaphor is facilitated, and when lower-level metaphors are made more salient. In a more general way, the studies provide a new tool with which to study conceptual metaphors. (shrink)