General frames are often used in classical modal logic. Since they are duals of modal algebras, completeness follows automatically as with algebras but the intuitiveness of Kripke frames is also retained. This paper develops basics of general frames for relevant modal logics by showing that they share many important properties with general frames for classical modal logic.

In a scientific context, ontological commitments should be considered as supervenient over accepted scientific theories. This implies that the primarily ontological notions of reduction and emergence of entities of different kinds should be reformulated in terms of relations between existing empirical theories. For this, in turn, it is most convenient to employ a model-theoretic view of scientific theories: the identity criterion of a scientific theory is essentially given by a class of models. Accordingly, reduction and emergence are to be seen (...) as particular kinds of relations between (some) models of different theories that subsume the same (or a similar) “experiential field”. The set-theoretical notion of an echelon-set proves to be crucial for this purpose: The domains in the models of the reduced theory are echelon-sets over the domains of the reducing theory. Finally, it is argued that emergence may plausibly be interpreted as akin to but weaker than reduction. (shrink)

Algebraic work [9] shows that the deep theory of possible world semantics is available in the more general setting of substructural logics, at least in an algebraic guise. The question is whether it is also available in a relational form.This article seeks to set the stage for answering this question. Guided by the algebraic theory, but purely relationally we introduce a new type of frames. These structures generalize Kripke structures but are two-sorted, containing both worlds and co-worlds. These (...) latter points may be viewed as modelling irreducible increases in information where worlds model irreducible decreases in information. Based on these structures, a purely model theoretic and uniform account of completeness for the implication-fusion fragment of various substructural logics is given. Completeness is obtained via a generalization of the standard canonical model construction in combination with correspondence results. (shrink)

In his general theory of relativity Einstein sought to generalize the special-relativistic equivalence of inertial frames to a principle according to which all frames of reference are equivalent. He claimed to have achieved this aim through the general covariance of the equations of GR. There is broad consensus among philosophers of relativity that Einstein was mistaken in this. That equations can be made to look the same in different frames certainly does not imply in (...) class='Hi'>general that such frames are physically equivalent. We shall argue, however, that Einstein's position is tenable. The equivalence of arbitrary frames in GR should not be equated with relativity of arbitrary motion, though. There certainly are observable differences between reference frames in GR. The core of our defense of Einstein's position will be to argue that such differences should be seen as fact-like rather than law-like in GR. By contrast, in classical mechanics and in special relativity the differences between inertial systems and accelerated systems have a law-like status. The fact-like character of the differences between frames in GR justifies regarding them as equivalent in the same sense as inertial frames in SR. (shrink)

Many members of the public think of the General Medical Council (GMC) as the body which tries doctors: the doctors' law courts, as it were. And, except in the more sober of newspapers and news reports, the 'offences ' which receive the most publicity are those concerning alleged improper relations between doctors and patients. Professor Sir Denis Hill, in the following paper, which he read in the spring of this year to the annual conference of the London Medical Group (...) devoted to a discussion of human sexuality, chose to examine the whole function of the General Medical Council as a frame of moral reference for doctors. Judging allegations of professional misconduct by doctors is the function of the Council's Disciplinary Committee. Judging sexual misconduct forms only a small part of their work. The GMC's responsibility covers the whole notion of morals and morality as it concerns doctors in their professional work. Sir Denis Hill stresses the modern thinking that morality must be learned and that attitudes are always shifting as society alters its norms of what is moral conduct. That is not to say that all that was previously considered not to be moral has now become acceptable but rather that other concepts have entered the field of moral debate. Therefore the GMC must constantly review the frame of reference it offers to doctors and the public may be surprised to learn that that process is never static. Sir Denis Hill in this paper is speaking personally and not as a member of the General Medical Council or of any of that body's special committees. (shrink)

The essay presents an outline of the arguments for relativistic theses. Theses: about the theoretical incommensurability and undetermined translation interpreted in ethnic languages (Polish and Swahili). I justify the statement that the conceptual framework of individual languages – by analogy – to the analysed examples are mutually and fundamentally untranslatable. Untranslatable, at least concerning the fundamentally different cultural traditions characterizing the civilization of writing versus oral culture. I also indirectly justify the legitimacy of questioning the linear concept of development based (...) on the involuntary acceptance in the humanities and social sciences of Euclidean geometry. Consequently, the article is part of a series of publications in which I argue for the need to reconstruct fundamental epistemological categories. (shrink)

In his general theory of relativity (GR) Einstein sought to generalize the special-relativistic equivalence of inertial frames to a principle according to which all frames of reference are equivalent. He claimed to have achieved this aim through the general covariance of the equations of GR. There is broad consensus among philosophers of relativity that Einstein was mistaken in this. That equations can be made to look the same in different frames certainly does not imply in (...) general that such frames are physically equivalent. We shall argue, however, that Einstein's position is tenable. The equivalence of arbitrary frames in GR should not be equated with relativity of arbitrary motion, though. There certainly are observable differences between reference frames in GR (differences in the way particles move and fields evolve). The core of our defense of Einstein's position will be to argue that such differences should be seen as fact-like rather than law-like in GR. By contrast, in classical mechanics and in special relativity (SR) the differences between inertial systems and accelerated systems have a law-like status. The fact-like character of the differences between frames in GR justifies regarding them as equivalent in the same sense as inertial frames in SR. (shrink)

Natural selection is generally considered to be a process exclusive to the domain of biotic systems. In this paper, a universal, five phase set of dynamics are identified as a framework underpinning the natural selection that occurs in all processes, governing every interaction at every scale, from the quantum to the intergalactic. The theoretical model describes a two-tendency universe, where the tensions that exist between syntropy and entropy provide the context for functional synergies from which all matter and material systems (...) emerge, supporting a theory of general, biotic and cognitive evolution. (shrink)

This paper presents a general computational treatment of how mammals are able to deal with visual objects and environments. The model tries to cover the entire range from behavior and phenomenological experience to detailed neural encodings in crude but computationally plausible reductive steps. The problems addressed include perceptual constancies, eye movements and the stable visual world, object descriptions, perceptual generalizations, and the representation of extrapersonal space.The entire development is based on an action-oriented notion of perception. The observer is assumed (...) to be continuously sampling the ambient light for information of current value. The central problem of vision is taken to be categorizing and locating objects in the environment. The critical step in this process is the linking of visual information to symbolic object descriptions; this is calledindexing, from the analogy of identifying a book from index terms. The system must also identifysituationsand use this knowledge to guide movement and other actions in the environment. The treatment focuses on the different representations of information used in the visual system.The four representational frames capture information in the following forms: retinotopic, head-based, symbolic, and allocentric. The functional roles of the four frames, the communication among them, and their suggested neurophysiological realization constitute the core of the paper. The model is perforce crude, but appears to be consistent with all relevant findings. (shrink)

The paper investigates the kind of dependence relation that best portrays Machian frame-dragging in general relativity. The question is tricky because frame-dragging relates local inertial frames to distant distributions of matter in a time-independent way, thus establishing some sort of non-local link between the two. For this reason, a plain causal interpretation of frame-dragging faces huge challenges. The paper will shed light on the issue by using a generalized structural equation model analysis in terms of manipulationist counterfactuals recently (...) applied in the context of metaphysical enquiry by Schaffer (2016) and Wilson (2017). The verdict of the analysis will be that frame-dragging is best understood in terms of a novel type of dependence relation that is half-way between causation and grounding. (shrink)

We investigate empirically whether framing in general, and the use of Simplifying Models as a framing tool in particular, has an effect on the way topics are cognitively construed. Existing studies on framing in linguistics have either been theoretical or descriptive. Going beyond such methodologically simple approaches, we use a more rigid test design involving the use of a control group, the construction of test conditions in which different Simplifying Models constitute the major source of variation, the inclusion of (...) independent variables like age and prior knowledge of the subjects, and the use of linear and logistic regression analysis. Our results show that our more rigid methodological approach yields a more reliable image of the effect of Simplifying Models on the way in which people deal with information on a complex topic like sustainable food production. Fleshing out these effects further may in time lead to a better informed construction of communication on complex social topics. (shrink)

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

It has been proved that total generalized variation can better preserve edges while suppressing staircase effect. In this paper, we propose an effective hybrid regularization model based on second-order TGV and wavelet frame. The proposed model inherits the advantages of TGV regularization and wavelet frame regularization, can eliminate staircase effect while protecting the sharp edge, and simultaneously has good capability of sparsely estimating the piecewise smooth functions. The alternative direction method of multiplier is employed to solve the new model. Numerical (...) results show that our proposed model can preserve more details and get higher image visual quality than some current state-of-the-art methods. (shrink)

In this paper I return to Hubert Dreyfus’ old but influential critique of artificial intelligence, redirecting it towards contemporary predictive processing models of the mind (PP). I focus on Dreyfus’ arguments about the “frame problem” for artificial cognitive systems, and his contrasting account of embodied human skills and expertise. The frame problem presents as a prima facie problem for practical work in AI and robotics, but also for computational views of the mind in general, including for PP. Indeed, some (...) of the issues it presents seem more acute for PP, insofar as it seeks to unify all cognition and intelligence, and aims to do so without admitting any cognitive processes or mechanisms outside of the scope of the theory. I contend, however, that there is an unresolved problem for PP concerning whether it can both explain all cognition and intelligent behavior as minimizing prediction error with just the core formal elements of the PP toolbox, and also adequately comprehend (or explain away) some of the apparent cognitive differences between biological and prediction-based artificial intelligence, notably in regard to establishing relevance and flexible context-switching, precisely the features of interest to Dreyfus’ work on embodied indexicality, habits/skills, and abductive inference. I address several influential philosophical versions of PP, including the work of Jakob Hohwy and Andy Clark, as well as more enactive-oriented interpretations of active inference coming from a broadly Fristonian perspective. (shrink)

The Frame Problem is the problem of how one can design a machine to use information so as to behave competently, with respect to the kinds of tasks a genuinely intelligent agent can reliably, effectively perform. I will argue that the way the Frame Problem is standardly interpreted, and so the strategies considered for attempting to solve it, must be updated. We must replace overly simplistic and reductionist assumptions with more sophisticated and plausible ones. In particular, the standard interpretation assumes (...) that mental processes are identical to certain kinds of computational processes, and so solving the Frame Problem is a matter of finding a computational architecture that can effectively represent relations of semantic relevance. Instead, we must take seriously the possibility that the way in which intelligent agents use information is inherently different. Whereas intelligent agents are plausibly genuinely causally sensitive to semantic properties as such (to what they perceive, desire, believe intend, etc.), computational systems can only be causally sensitive to the formal features that represent these properties. Indeed, it is this very substitution of formal generalizations for genuinely semantic ones that is responsible for the way current AI systems are brittle, inflexible, and highly specialized. What we need is a more sophisticated way of investigating the relationship between computational information processing and genuinely semantic information use, so that these two senses of using information are not conflated, but instead the question of how they are related to one another can be studied directly. I apply the generative methodology I have developed elsewhere for cognitive science and AI research (Miracchi, 2017, 2019a) to show how the Frame Problem can be appropriately updated. (shrink)

This article presents empirical evidence of the high referential specificity of sound-symbolic words, based on a FrameNet-aided analysis of collocational data of Japanese mimetics. The definition of mimetics, particularly their semantic definition, has been crosslinguistically the most challenging problem in the literature, and different researchers have used different adjectives (most notably, “vivid,” since Doke 1935) to describe their semantic peculiarity. The present study approaches this longstanding issue from a frame-semantic point of view combined with a quantitative method. It was found (...) that mimetic manner adverbials generally form a frame-semantically restricted range of verbal/nominal collocations than non-mimetic ones. Each mimetic can thus be considered to evoke a highly specific frame, which elaborates the general frame evoked by its typical host predicate and contains a highly limited set of frame elements, which correlate and constrain one another. This conclusion serves as a unified account of previously reported phenomena concerning mimetics, including the lack of hyponymy, the one-mimetic-per-clause restriction, and unparaphrasability. This study can be also viewed as a methodological proposal for the measurement of frame specificity, which supplements bottom-up linguistic tests. (shrink)

The species-specific organizational property of speech is a continual mouth open-close alternation, the two phases of which are subject to continual articulatory modulation. The cycle constitutes the syllable, and the open and closed phases are segments framescontent displays that are prominent in many nonhuman primates. The new role of Broca's area and its surround in human vocal communication may have derived from its evolutionary history as the main cortical center for the control of ingestive processes. The frame and content components (...) of speech may have subsequently evolved separate realizations within two general purpose primate motor control systems: (1) a motivation-related medial system, including anterior cingulate cortex and the supplementary motor area, for self-generated behavior, formerly responsible for ancestral vocalization control and now also responsible for frames, and (2) a lateral system, including Broca's area and surround, and Wernicke's area, specialized for response to external input (and therefore the emergent vocal learning capacity) and more responsible for content. (shrink)

Tailoring climate change messages to a particular spatial scale (e.g. a specific country or region) is often seen as an effective way to frame communication about climate change. Yet the empirical evidence for the effectiveness of this strategy is scarce, and little is known about how recipients react to spatially-framed climate change messages. To learn more about the effects and usefulness of different spatial frames as a communication and engagement tool, we conducted a study in which we presented members (...) of the general public with either a national or a global framing of climate change. In contrast to previous spatial-framing studies, the present research used semi-structured interviews - rather than survey questions - to obtain rich, in-depth information about participants' views of climate change. Irrespective of the framing, participants revealed associations that were located at various spatial scales. Moreover, when participants talked about climate change, they repeatedly switched between different spatial scales, revealing patterns that were consistent with seeking to preserve existing beliefs and preferences. These findings improve our understanding of how the public represents climate change, and provide a novel explanation as to why simple spatial framing often fails to achieve the anticipated effects. (shrink)

Context sensitivity is one of the distinctive marks of human intelligence. Understanding the flexible way in which humans think and act in a potentially infinite number of circumstances, even though they’re only finite and limited beings, is a central challenge for the philosophy of mind and cognitive science, particularly in the case of those using representational theories. In this work, the frame problem, that is, the challenge of explaining how human cognition efficiently acknowledges what is relevant from what is not (...) in each context, has been adopted as a guide. By using it, we’ve been able to describe a fundamental tension between context sensitivity and the mental representations used in cognition theories. The first chapter discusses the nature of the frame problem,as well as the reasons for its persistence. In the second and third chapters, the problem is used as a measure tool in order to inquiry a few representational approaches and check how well suited they are to deal with context dependencies. The problems found are then correlated with the frame problem. Throughout the discussion, we try to show that 1) none of the evaluated approaches is capable of dealing with context sensitivity in a proper manner, but 2) that’s not a reason to think that the frame problem constitutes an argument against representational approaches in general, and 3) that it constitutes a fundamental conceptual tool in contemporary research -/- A sensibilidade ao contexto é uma das marcas distintivas da inteligência humana. Compreender o modo flexível como o ser humano pensa e age em função de um número potencialmente infinito de circunstâncias, ainda que munido de recursos finitos e limitados, é um desafio central para a filosofia da mente e para a ciência cognitiva, em particular aos que fazem uso de teorias representacionalistas. Nesse trabalho, adotou-se como fio condutor o modo como isso se manifesta no "frame problem": a dificuldade em explicar como a cognição humana reconhece, de maneira eficiente, o que é ou não relevante em cada contexto. A partir dele, buscou-se caracterizar uma tensão fundamental entre a sensibilidade ao contexto e o uso de representações mentais em teorias da cognição. O primeiro capítulo discute a natureza do frame problem, bem como as razões de sua resiliência. No segundo e terceiro capítulos, faz-se uso do problema como métrica para investigar o quão adequado é o tratamento das dependências contextuais no âmbito de várias abordagens representacionais. No decorrer da discussão, realiza-se um esforço argumentativo para mostrar que 1) nenhuma das estratégias abordadas é capaz tratar adequadamente da sensibilidade ao contexto, mas que 2) apesar disso, o frame problem não constitui argumento fatal para teorias representacionalistas em geral, e que 3) ele constitui uma ferramenta conceitual fundamental para pesquisas contemporâneas. (shrink)

I argue that general constraints on how humans think about humans produce universal features of the concept of mind. Some of these constraints determine how we imagine other people's thinking and action through our own. I formulate this in opposition to what I call the "theory theory". I believe this was the first use of this terminology, and this work was an early version of what has come to be called the simulation theory.

BackgroundThe German guidelines for liver transplantation stipulate that every patient with alcohol-related liver disease needs to prove evidence of a 6-month abstinence period before they can be admitted to the waiting list for liver transplantation. This internationally widespread abstinence rule has been criticised as it prevents patients at least temporarily from receiving an effective and potentially life-saving therapy. This poses the question of how this abstinence rule is depicted and justified by transplantation professionals.ArgumentsIn case of the 6‑month abstinence rule, guidelines (...) are used as a tool for rationing health care. Four frames of interpretation can be reconstructed from the ethical and medical literature. Each linguistically mediated frame offers a different representation of the 6‑month abstinence rule. According to these different framings, the 6‑month waiting period is depicted (1) as a diagnostic tool to determine the regenerative capacity of the liver, (2) as a prognostic tool to determine the prospects of success of a transplantation, and (3) to determine the drinking behaviour after transplantation. In a further context, the abstinence rule (4) is interpreted as an expression of an obligation to avoid behaviour harmful to health.ConclusionThese four frames provide linguistically mediated patterns of interpretation that are used by different actors to limit the indication for liver transplantation. They give rise to different ethical questions that allow a systematic ethical assessment of the 6‑month abstinence rule. (shrink)

Organizational leaders are increasingly emphasizing a stakeholder perspective in order to address concerns about business ethics. This study examined the choices of 94 groups in the context of a business decision-making simulation to determine how specific actions and communications can facilitate the consideration of different stakeholder perspectives. In particular, we examined whether generally framing the business situation as one involving diverse stakeholders versus a primarily profit-driven operation (referred to as framing), and whether specific suggestions that participants consider the concerns of (...) stakeholders versus stockholders in maximizing the value of the firm (referred to as vision priming), would influence group choices and decision outcomes. We tested four experimental conditions against a control in a 2 × 2 experimental design to determine the effects that group choices had on decision outcomes when groups were exposed to stakeholder versus stockholder decision framing and stakeholder versus stockholder vision priming. The results revealed that the consistent conditions outperformed the control condition and that vision priming has a greater impact on decision outcomes than decision framing. (shrink)

Taking Löb's Axiom in modal provability logic as a running thread, we discuss some general methods for extending modal frame correspondences, mainly by adding fixed-point operators to modal languages as well as their correspondence languages. Our suggestions are backed up by some new results – while we also refer to relevant work by earlier authors. But our main aim is advertizing the perspective, showing how modal languages with fixed-point operators are a natural medium to work with.

The articles in this volume showcase the potential richness of frame representations. The presentation includes introductory articles on the application of frames to linguistics and philosophy of science, offering readers the tools to conduct the interdisciplinary investigation of concepts that frames allow. * Introductory articles on the application of frames to linguistics and philosophy of science * Frame analysis of changes in scientific concepts * Event frames and lexical decomposition * Properties, frame attributes and adjectives * (...) Frames in concept composition * Nominal concept types and determination "This volume deals with frame representations and their relations to concept types in linguistics and philosophy of science. It aims at reviving concepts and frames as a common model across disciplines for representing semantic and conceptual knowledge. Departing from the general assumption that frames are not just an arbitrary format of representation but essential to human cognition, a number of case studies apply frames as an analytical tool to a wide range of phenomena, from changes in scientific concepts to particular linguistic phenomena. This provides new insights into long-standing semantic issues, such as the lexical representation of verbs (as predicative frames specifying particular event descriptions or situation types and their participants), adjectives and nominals (as concept frames, which provide attributes and properties of an entity), as well as modification, complementation, possessive constructions, compounding, nominal concept types, determination, or definiteness marking." Bert Gehrke, Pompeu, Fabra University, Barcelona, Spain. (shrink)

Suppose that a patient is receiving treatment options from her doctor. In one case, the doctor says, “the surgery has a 90% survival rate.” Now, suppose the doctor instead said, “the procedure has a 10% mortality rate.” Predictably, the patient is more likely to consent on the first description and more likely to dissent on the second. This is an example of a framing effect. A framing effect occurs when “the description of [logically-equivalent] options in terms of gains (positive frame) (...) rather than losses (negative frame) elicits systematically different choices.” Framing effects are ubiquitous, but they are particularly troublesome in medicine. Many worry that there is tension between valuing informed consent and using framing effects in clinical settings. In this paper, I answer this question: if an individual is subject to a framing effect when she gives her consent, does this undermine the validity of her consent? I argue that framing effects do not undermine consent in general. (shrink)

Disagreement is a hot topic right now in epistemology, where there is spirited debate between epistemologists who argue that we should be moved by the fact that we disagree and those who argue that we need not. Both sides to this debate often use what is commonly called “the method of cases,” designing hypothetical cases involving peer disagreement and using what we think about those cases as evidence that specific normative theories are true or false, and as reasons for believing (...) as such. With so much weight being given in the epistemology of disagreement to what people think about cases of peer disagreement, our goal in this paper is to examine what kinds of things might shape how people think about these kinds of cases. We will show that two different kinds of framing effect shape how people think about cases of peer disagreement, and examine both what this means for how the method of cases is used in the epistemology of disagreement and what this might tell us about the role that motivated cognition is playing in debates about which normative positions about peer disagreement are right and wrong. (shrink)

We generalize two well-known model-theoretic characterization theorems from propositional modal logic to first-order modal logic. We first study FML-definable frames and give a version of the Goldblatt–Thomason theorem for this logic. The advantage of this result, compared with the original Goldblatt–Thomason theorem, is that it does not need the condition of ultrafilter reflection and uses only closure under bounded morphic images, generated subframes and disjoint unions. We then investigate Lindström type theorems for first-order modal logic. We show that FML (...) has the maximal expressive power among the logics extending FML which satisfy compactness, bisimulation invariance and the Tarski union property. (shrink)

This article considers the problem of how employees and observers of business ethics behaviors often do not know how to safely and effectively engage with business ethics issues and cases. The ameliorative method of social situational business ethics framing was analyzed. Key parts of the related literature from philosophy, sociology, organizational studies, and business ethics are reviewed. A literature gap between general framing theory and business ethics was identified with respect to the need for social situational framing in business (...) ethics at the micro individual, meso organizational, and macro institutional levels. Theoretical propositions for bridging the literature gap and a wide variety of business ethics engagement case examples are developed as illustrations of and support for the propositions. Practical social situational business ethics framing implications for safe and effective business ethics engagement are considered. (shrink)

This article considers the problem of how employees and observers of business ethics behaviors often do not know how to safely and effectively engage with business ethics issues and cases. The ameliorative method of social situational business ethics framing was analyzed. Key parts of the related literature from philosophy, sociology, organizational studies, and business ethics are reviewed. A literature gap between general framing theory and business ethics was identified with respect to the need for social situational framing in business (...) ethics at the micro individual, meso organizational, and macro institutional levels. Theoretical propositions for bridging the literature gap and a wide variety of business ethics engagement case examples are developed as illustrations of and support for the propositions. Practical social situational business ethics framing implications for safe and effective business ethics engagement are considered. (shrink)

A grafted frame is a new kind of frame which combines a modal frame and some relevance frames. A grafted model consists of a grafted frame and a truth-value assignment. In this paper, the grafted frame and the grafted model are constructed and used to show the completeness of S1. The implications of S1-completeness are discussed. A grafted frame does not combine two kinds of frames simply by putting relations defined in the components together. That is, the resulting (...) grafted frame is not in the form of $\langle W, R, R'\rangle$, or more generally, in the form of $\langle W, R, R', R'',...\rangle$, which consists of a non-empty set with several relations defined on it. Rather, it resembles the construction of fibering proposed by D. M. Gabbay and M. Finger. On a grafted frame, some modal worlds, which belong to the initial modal frame, are attached by some relevance frames. However, these two semantics have important differences. Consider the combined semantics involving semantics of relevance logic and modal logic. A fibred model and a grafted model proposed in this paper differ in the following respects. First, a fibred model is constructed from a class of modal models and a class of relevance models. A grafted model consists of a grafted frame and a truth-value assignment, where the grafted frame is constructed from a modal frame and some relevance frames, and the assignment is a union of a modal truth-value assignment V$_M$ and some relevance truth-value assignments V$_R$. V$_M$ defined in this paper is not the same as the assignment contained in a modal model. Second, in a fibred model each relevance world is associated with a modal model and each modal world with a relevance model. To be the grafted frame on which a grafted model is based, it is enough to have some modal worlds attached by some relevance frames. Moreover, no relevance world is associated with a modal frame in the grafted frame. Third, fibred models are intended to provide an appropriate semantics to combined logics. Grafted frames and grafted models are inspired to characterize S1, which, containing only one modality $\square$, is not a combined logic. It is shown in this paper that S1 is sort of a meta-logic of the intersection of S0.4 and F, where S0.4, a new system proposed in this paper, is in turn a meta-logic of the relevance logic. (shrink)

Davidsonian analyses of action reports like ‘Alvin chased Theodore around a tree’ are often viewed as supporting the hypothesis that sentences of a human language H have truth conditions that can be specified by a Tarski-style theory of truth for H. But in my view, simple cases of adverbial modification add to the reasons for rejecting this hypothesis, even though Davidson rightly diagnosed many implications involving adverbs as cases of conjunct-reduction in the scope of an existential quantifier. I think the (...) puzzles in this vicinity reflect “framing effects,” which reveal the implausibility of certain assumptions about how linguistic meaning is related to truth and logical form. We need to replace these assumptions with alternatives, instead of positing implausible values of event-variables or implausible relativizations of truth to linguistic descriptions of actual events. (shrink)

A grafted frame is a new kind of frame which combines a modal frame and some relevance frames. A grafted model consists of a grafted frame and a truth-value assignment. In this paper, the grafted frame and the grafted model are constructed and used to show the completeness of S1. The implications of S1-completeness are discussed. A grafted frame does not combine two kinds of frames simply by putting relations defined in the components together. That is, the resulting (...) grafted frame is not in the form of $\langle W, R, R'\rangle$ , or more generally, in the form of $\langle W, R, R', R'',...\rangle$ , which consists of a non-empty set with several relations defined on it. Rather, it resembles the construction of fibering proposed by D. M. Gabbay and M. Finger (see [4] and [3]). On a grafted frame, some modal worlds, which belong to the initial modal frame, are attached by some relevance frames. However, these two semantics have important differences. Consider the combined semantics involving semantics of relevance logic and modal logic. A fibred model and a grafted model proposed in this paper differ in the following respects. First, a fibred model is constructed from a class of modal models and a class of relevance models. A grafted model consists of a grafted frame and a truth-value assignment, where the grafted frame is constructed from a modal frame and some relevance frames, and the assignment is a union of a modal truth-value assignment V M and some relevance truth-value assignments V R . V M (V R ) defined in this paper is not the same as the assignment contained in a modal (relevance) model. Second, in a fibred model each relevance world is associated (or fibred) with a modal model and each modal world with a relevance model. To be the grafted frame on which a grafted model is based, it is enough to have some modal worlds attached by some relevance frames. Moreover, no relevance world is associated with a modal frame in the grafted frame. Third, fibred models are intended to provide an appropriate semantics to combined logics. Grafted frames and grafted models are inspired to characterize S1, which, containing only one modality □, is not a combined logic. It is shown in this paper that S1 is sort of a meta-logic of the intersection of S0.4 and F, where S0.4, a new system proposed in this paper, is in turn a meta-logic of the relevance logic. (shrink)

Hubert Dreyfus has argued recently that the frame problem, discussion of which has fallen out of favour in the AI community, is still a deal breaker for the majority of AI projects, despite the fact that the logical version of it has been solved. (Shanahan 1997, Thielscher 1998). Dreyfus thinks that the frame problem will disappear only once we abandon the Cartesian foundations from which it stems and adopt, instead, a thoroughly Heideggerian model of cognition, in particular one that does (...) not appeal to representations. I argue that Dreyfus is too hasty in his condemnation of all representational views; the argument he provides licenses only a rejection of disembodied models of cognition. In casting his net too broadly, Dreyfus circumscribes the cognitive playing field so closely that one is left wondering how his Heideggerian alternative could ever provide a foundation explanatorily robust enough for a theory of cognition. As a consequence, he dilutes the force of his legitimate conclusion, that disembodied cognitive models will not work, and this conclusion needs to be heard. By disentangling the ideas of embodiment and representation, at least with respect to Dreyfus‘ frame problem argument, the real locus of the general polemic between traditional computational/representational cognitive science and the more recent embodied approaches is revealed. From this, I hope that productive debate will ensue. (shrink)

This thesis develops Dewey’s theory of inquiry and provides a novel perspective on what realists consider to be Dewey’s most controversial claims: his rejection of the view that inquiry aims at providing an accurate representation of reality, his claim that the object of knowledge is constructed, and his definition of truth in terms of warranted assertibility or fulfilment of the requirements of a problem. My strategy is to draw a gradual and relative distinction between what I call “framed” and “framing” (...) inquiry. While the distinction is not explicitly present in Dewey’s works, it rests on Dewey’s functional distinction between existential and universal propositions. In a framed inquiry, the problem is covered by an existing conceptual framework, which is used to resolve the problem, without being revised. In a framing inquiry, the problem is underdetermined by existing conceptual frameworks, which are created, revised, or expanded. My general argument is that Dewey’s main contribution and controversial claims should be understood in the context of framing inquiry. In Chapter 1, I set the stage for the thesis. I paint the portrait of Dewey as the archetypal anti-realist; I present pragmatism as moving above this debate; and I present the specifically Deweyan brand of pragmatism. In Chapter 2, I introduce the distinction between framed and framing inquiry. In Chapter 3, I argue that realist notions of knowledge as representation, existence as independent facts, truth as correspondence can be cast in terms of framed inquiry, while most realists mistakenly interpret these notions as “unframed.” In the next three chapters, I defend and develop Dewey’s views for framing inquiry. In Chapter 4, I argue that framing inquiry should be construed as articulating rather than representing reality. In Chapter 5, I maintain that Dewey’s view avoids idealism. In Chapter 6, I defend the pragmatist theory of truth as a standard for framing inquiry, by contrast with representational standards. (shrink)

Judgment aggregation problems are language dependent in that they may be framed in different yet equivalent ways. We formalize this dependence via the notion of translation invariance, adopted from the philosophy of science, and we argue for the normative desirability of translation invariance. We characterize the class of translation invariant aggregation functions in the canonical judgment aggregation model, which requires collective judgments to be complete. Since there are reasonable translation invariant aggregation functions, our result can be viewed as a possibility (...) theorem. At the same time, we show that translation invariance does have certain normatively undesirable consequences (e.g. failure of anonymity). We present a way of circumventing them by moving to a more general model of judgment aggregation, one that allows for incomplete collective judgments. (shrink)

Research in phenomenology has benefitted from using exceptional cases from pathology and expertise. But exactly how are we to generate and apply knowledge from such cases to the phenomenological domain? As researchers of cerebral palsy and musical absorption, we together answer the how question by pointing to the resource of the qualitative interview. Using the qualitative interview is a direct response to Varela’s call for better pragmatics in the methodology of phenomenology and cognitive science and Gallagher’s suggestion for phenomenology to (...) develop its methodology and outsource its tasks. We agree with their proposals, but want to develop them further by discussing and proposing a general framework that can integrate research paradigms of the well-established disciplines of phenomenological philosophy and qualitative science. We give this the working title, a “phenomenological interview”. First we describe the what of the interview, that is the nature of the interview in which one encounters another subject and generates knowledge of a given experience together with this other subject. In the second part, we qualify why it is worthwhile making the time-consuming effort to engage in a phenomenological interview. In the third and fourth parts, we in general terms discuss how to conduct the interview and the subsequent phenomenological analysis, by discussing the pragmatics of Vermersch’s and Petitmengin’s “Explicitation Interview”. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Frames, Contexts, Community, JusticeRanjana Khanna (bio)There is a photograph of Jacques Derrida, aged about three, in a toy car at his childhood home in Algiers [fig. 1]. It is not an unusual photograph; in fact, its typicality is striking. It is the kind of photograph one might find in most family albums. Little boys are often found in toy cars, just as little girls are frequently holding a (...) doll, or dancing.1 The codes of a family album, transposed to an academic album, highlight the manner in which typicality itself tells a story of framing, of gendered gestures, of senses of belonging, of familial legend making, and of intellectual genealogy.2 And such codes provide a frame for a general contextual understanding of the photograph and therefore [End Page 11] Click for larger view View full resolutionFigure 1.Photograph of Jacques Derrida aged 3. Printed in Geoffrey Bennington and Jacques Derrida, Jacques Derrida (Paris: Seuil, 1991) 9.[End Page 12]for what Barthes calls its studium.3 But, as Barthes remarked in his Camera Lucida, a book about photography and about his dead mother, there is frequently something else in a photograph: the punctum. It wounds a viewer, and remains in the viewer's memory when he or she looks away from the photograph. It is a singular relationality, and, for the mourning Barthes, encloses the possibility of a hopeful reciprocity. For me, however, beyond the gendered coding of this photograph, it is not the promise of a reciprocity, but the demand of something unknowable that exists potentially beyond the frame of the photograph. A rectangular void that appears to be the back window of a large car opens onto an unknown. The opening itself is a wounding of the frame.The photograph includes multiple frames, in the sense that a doubling occurs with one frame in the foreground, with Derrida in his toy car, and another frame in the background, with a real car. The child in his car is enclosed in this scene through perpendicular lines, as if framing him in a safe world. The real car is separated by these lines, as if in a square on its own. And through the rear window of this car, there is another enclosure, a rectangular opening, which alerts the viewer to an infinite regression of frames, each enclosing its own image and its own universe, each thematizing the mobility that suggests it could move beyond its immediate frame. This superimposition of a toy car onto an adult scene of mobility not only alerts the viewer to the thematic exploration of infinite generational migration and immigration but also presents us with a visual doubling and echoing, itself suggesting the excess that always exceeds the frame. The frame may appear to exist on its own terms, permitting or excluding hospitality to its hostile excess, and yet what persists in this photograph is the permeability of the frame and its necessary acknowledgment of the other at its border, which both frames and unframes.A frame both determines and supplements meaning. It is both host to meaning and simultaneously hostile to its narrow condition. This rendition of the frame visualizes both its enclosed protective nature as host, and its permeability to the outside, to a potentially hostile supplement. Derrida's thinking has explored the concepts of framing and hospitality in a manner that has often called attention to, and yet not engaged with, women as a sometimes hostile supplement. The concept of hospitality, whether political, academic, domestic, or psychical, has allowed, however, for a consideration of something that supplements this thinking, and indeed this boyhood photograph of potential mobility: the various frames in which Algerian women have been situated, and their different relation to gesture, mobility, and symbolization in the modern period. This article engages with Derrida's work on framing and hospitality in order to reach its supplement, allowing for a consideration of the political stakes of doing feminist work across borders. The stakes of the philosophical apparatus that seem pertinent to the ethical work of postcolonial feminism are permeated with questions of framing and hospitality. Academic hospitality means an openness to one's subject matter, which would include... (shrink)

The frame model was developed in cognitive psychology and imported into the philosophy of science in order to provide representations of scientific concepts and conceptual taxonomies. The aim of this article is to show that beside the representation of scientific concepts the frame model is an efficient instrument to represent and analyze scientific theories. That is, we aim to establish the frame model as a representation tool for the structure of theories within the philosophy of science. For this, we will (...) develop the notion of a theory frame and distinguish between theory frames for qualitative theories in which scientific measurement is based on nominal scales and theory frames for quantitative theories in which measurement is based on ratio scales. In three case studies, we will apply frames to a psychological, a linguistic, and a physical theory, thereby showing that the frame model is a powerful and intuitively accessible instrument to analyze the laws of scientific theories, the determination of theoretical concepts, the explanatory role of theoretical concepts, the abductive introduction of a new theoretical concept, the distinction between the core and the periphery of a theory, the diachronic development of a theory, and the distinction between qualitative and quantitative scientific concepts. Finally, we will provide a comparison to the structuralist view of theories, one of the most elaborated and applied models of theory representation. (shrink)

One of the common and commonsensical ways to distinguish cinema from every other art and semiotic system, and to define the property of its uniqueness, is to claim that cinema is the only art/”language” that links images. This “linking” can imply three different yet complementary operations. First, cinema links individual still photographs into an apparently continuous sequence of movement by pushing the individual frames or photographs through a camera or projector at sixteen or twenty-four or however many frames (...) per second. Second, cinema links images by editing , by splicing together individual shots, which are continuous chains of linked frames. Finally, cinema links images with sounds, synchronously or otherwise. The only problem with such an apparently unrestrictive and unprescriptive definition of cinema and the “cinematic” is that it obscures an essentially cinematic operation that precedes the linking of cinema images: the image must first be framed before it can be linked with another.But is framing unique to cinema? Don’t paintings have frames? Aren’t photographs frames? Isn’t the theater’s proscenium arch a frame? A consequence of such perfectly sensible questions is a consistent undervaluing of the cinema frame as an essentially and uniquely cinematic tool, unlike that of any other art, producing serious errors in the writing of film theory and serious misunderstandings of the processes of film history. The goal of this article is to diagnose some of these errors so they might someday be cured. Gerald Mast is professor of English and general in the humanities at the University of Chicago. Among his many books are A Short History of the Movies, The Comic Mind: Comedy and the Movies, Film/Cinema/Movie, The Movies in Our Midst, and Howard Hawks, Storyteller. His previous contributions to Critical Inquiry are “What Isn’t Cinema?” and “Kracauer’s Two Tendencies and the Early History of Film Narrative”. (shrink)

A reactive graph generalizes the concept of a graph by making it dynamic, in the sense that the arrows coming out from a point depend on how we got there. This idea was first applied to Kripke semantics of modal logic in [2]. In this paper we strengthen that unimodal language by adding a second operator. One operator corresponds to the dynamics relation and the other one relates paths with the same endpoint. We explore the expressivity of this interpretation by (...) axiomatizing some natural subclasses of reactive frames. The main objective of this paper is to present a methodology to study reactive logics using the existent classic techniques. (shrink)

This paper introduces the category of b-frames as a new tool in the study of complete lattices. B-frames can be seen as a generalization of posets, which play an important role in the representation theory of Heyting algebras, but also in the study of complete Boolean algebras in forcing. This paper combines ideas from the two traditions in order to generalize some techniques and results to the wider context of complete lattices. In particular, we lift a representation theorem (...) of Allwein and MacCaull to a duality between complete lattices and b-frames, and we derive alternative characterizations of several classes of complete lattices from this duality. This framework is then used to obtain new results in the theory of complete Heyting algebras and the semantics of intuitionistic propositional logic. (shrink)

The duality between general frames and modal algebras allows to transfer a problem about the relational (Kripke) semantics into algebraic terms, and conversely. We here deal with the conjecture: the modal algebra A is subdirectly irreducible (s.i.) if and only if the dual frame A* is generated. We show that it is false in general, and that it becomes true under some mild assumptions, which include the finite case and the case of K4. We also prove that (...) a Kripke frame F is generated if and only if the dual algebra F* is s.i. The technical result is that A is s.i. when the set of points which generate the dual frame A* is not of zero measure. (shrink)

Standard principles of rational decision assume that an option's utility is both comprehensive and accessible. These features constrain interpretations of an option's utility. This essay presents a way of understanding utility and laws of utility. It explains the relation between an option's utility and its outcome's utility and argues that an option's utility is relative to a specification of the option. Utility's relativity explains how a decision problem's framing affects an option's utility and its rationality even for an agent who (...) is cognitively perfect and lacks only empirical information. The essay rewrites standard laws of utility to accommodate relativization to propositions' specifications. The new laws are generalizations of the standard laws and yield them as special cases. (shrink)

The frame concept from linguistics, cognitive science and artificial intelligence is a theoretical tool to model how explicitly given information is combined with expectations deriving from background knowledge. In this paper, we show how the frame concept can be fruitfully applied to analyze the notion of mathematical understanding. Our analysis additionally integrates insights from the hermeneutic tradition of philosophy as well as Schmid’s ideal genetic model of narrative constitution. We illustrate the practical applicability of our theoretical analysis through a case (...) study on extremal proofs. Based on this case study, we compare our analysis of proof understanding to Avigad’s ability-based analysis of proof understanding. (shrink)