Philosophers of science have recently taken care to highlight different modeling practices where scientific models primarily contribute modal information, in the form of for example possibility claims, how-possibly explanations, or counterfactual conditionals. While examples abound, comparatively little attention is being paid to the question of under what conditions, and in virtue of what, models can perform this epistemic function. In this paper, we firstly delineate modal modeling from other modeling practices, and secondly reviewattempts to spell (...) out and explain the epistemic success conditions of modal modeling. The aim is to more clearly expose the respective justificatory strategies of these accounts, and secondly, to identify lacunae where further work is needed. (shrink)

Counterfactual reasoning has been used to account for many aspects of scientific reasoning. More recently, it has also been used to account for the scientific practice of modeling. Truth in a model is truth in a situation considered as counterfactual. When we reason with models, we reason with counterfactuals. Focusing on selected models like Bohr’s atom model or models of population dynamics, I present an account of how the imaginative development of a counterfactual supposition leads us from reality to (...) interesting model assumptions; how it guides our reasoning from these assumptions to interesting consequences for the model scenario via counterfactual entailment; and how it leads us back to conclusions on real target phenomena. (shrink)

In the context of astrophysical modeling at the solar system scale, we investigate the modalities implied by taking into account different levels of detail at which phenomena can be considered. In particular, by framing the analysis in terms of the how-possibly/how-actually distinction, we address the debated question as to whether the degree of plausibility is tightly linked to the degree of detail. On the grounds of concrete examples, we argue that, also in the astrophysical context examined, this is not (...) necessarily the case. (shrink)

Several recent accounts of modeling have focused on the modal dimension of scientific inquiry. More precisely, it has been suggested that there are specific models and modeling practices that are best understood as being geared towards possibilities, a view recently dubbed modal modeling. But modalities encompass much more than mere possibility claims. Besides possibilities, modal modeling can also be used to investigate contingencies, necessities or impossibilities. Although these modal concepts are logically connected (...) to the notion of possibility, not all models are equal in their affordances for these richer modal inferences. This paper investigates the modal extent of selected models and argues that analyzing singular model-target pairings by themselves is typically not enough to explain their modal aptness or to identify the kinds of modalities they can be used to reason about. Furthermore, it is argued that some important concepts that are not explicitly modal - like biological robustness - can be understood modally through their relational nature to a background space of possibilities. In conclusion, it is suggested that the strategy of modal modeling is contrastive, situating particular possibilities in larger modal spaces and studying the structural relations within them. (shrink)

The epistemic value of models has traditionally been approached from a representational perspective. This paper argues that the artifactual approach evades the problem of accounting for representation and better accommodates the modal dimension of modeling. From an artifactual perspective, models are viewed as erotetic vehicles constrained by their construction and available representational tools. The modal dimension of modeling is approached through two case studies. The first portrays mathematical modeling in economics, while the other discusses the (...) modeling practice of synthetic biology, which exploits and combines models in various modes and media. Neither model intends to represent any actual target system. Rather, they are constructed to study possible mechanisms through the construction of a model system with built-in dependencies. (shrink)

This paper shows that the Dawson technique of modelling deontic logics into alethic modal logics to gain insight into deontic formulas is not available for modelling a normal (in the spirit of Anderson) relevance deontic modal logic into either of the normal relevance alethic modal logics R S4or R M. The technique is to construct an extension of the well known entailment matrix set M 0and show that the model of the deontic formula P (A v B). (...) PA v PB is excluded. (shrink)

The practice of scientific modelling often resorts to hypothetical, false, idealised, targetless, partial, generalised, and other types of modelling that appear to have at least partially non-actual targets. In this paper, I will argue that we can avoid a commitment to non-actual targets by sketching a framework where models are understood as having networks of possibilities as their targets. This raises a further question: what are the truthmakers for the modal claims that we can derive from models? I propose (...) that we can find truthmakers for the modal claims derived from models in actuality, even in the case of supposedly non-actual targets. I then put this framework to use by examining a case study concerning the modelling of superheavy elements. (shrink)

This paper explores a semiotic notion of body as starting point for bridging biosemiotic with social semiotic theory. The cornerstone of the argument is that the social semiotic criticism of the classic view of meaning as double articulation can support the criticism of language-centrism that lies at the foundation of biosemiotics. Besides the pragmatic epistemological advantages implicit in a theoretical synthesis, I argue that this brings a semiotic contribution to philosophy of mind broadly. Also, it contributes to overcoming the polemic (...) in linguistics between, loosely put, cognitive universalism and cultural relativism. This possibility is revealed by the recent convergence of various semiotic theories towards a criticism of the classic notion of meaning as double articulation. In biosemiotics, the interest to explicate meaning as multiply articulated stems from the construal of Umwelt as relying on the variety of sense perception channels and semiotic systems that a species has at its disposal. Recently, social semiotics developed an unexplored interest for embodiment by starting from the other end, namely the consideration of the modal heterogeneity of meaning. To bridge these notions, I employ the cognitive semantic notion of embodiment and Mittelberg’s cognitive semiotic notion of exbodiment. In light of these, I explore the possible intricacies between the biosemiotic notion of primary modeling system and concepts referring to preconceptual structures for knowledge organization stemming from cognitive linguistics. Further, Mittelberg’s concept of exbodiment allows for a construal of meaning articulation as mediation between the exbodying and embodying directions of mind. (shrink)

This paper brings together Thompson's naive action explanation with interventionist modeling of causal structure to show how they work together to produce causal models that go beyond current modeling capabilities, when applied to specifically selected systems. By deploying well-justified assumptions about rationalization, we can strengthen existing causal modeling techniques' inferential power in cases where we take ourselves to be modeling causal systems that also involve actions. The internal connection between means and end exhibited in naive action (...) explanation has a modal strength like that of distinctively mathematical explanation, rather than that of causal explanation. Because it is stronger than causation, it can be treated as if it were merely causal in a causal model without thereby overextending the justification it can provide for inferences. This chapter introduces and demonstrate the usage of the Rationalization condition in causal modeling, where it is apt for the system(s) being modeled, and to provide the basics for incorporating R variables into systems of variables and R arrows into DAGs. Use of the Rationalization condition supplements causal analysis with action analysis where it is apt. (shrink)

Reflexive observations and observations of reflexivity: such agendas are by now standard practice in anthropology. Dynamic feedback loops between self and other, cause and effect, represented and representamen may no longer seem surprising; but, in spite of our enhanced awareness, little deliberate attention is devoted to modeling or grounding such phenomena. Attending to both linguistic and extra-linguistic modalities of chiasmus (the X figure), a group of anthropologists has recently embraced this challenge. Applied to contemporary problems in linguistic anthropology, chiasmus (...) functions to highlight and enhance relationships of interdependence or symbiosis between contraries, including anthropology’s four fields, the nature of human being and facets of being human. (shrink)

Possibility semantics offers an elegant framework for a semantic analysis of modal logic that does not recruit fully determinate entities such as possible worlds. The present papers considers the application of possibility semantics to the modeling of the indeterminacy of the future. Interesting theoretical problems arise in connection to the addition of object-language determinacy operator. We argue that adding a two-dimensional layer to possibility semantics can help solve these problems. The resulting system assigns to the two-dimensional determinacy operator (...) a well-known logic (coinciding with the logic of universal modalities under global consequence). The paper concludes with some preliminary inroads into the question of how to distinguish two-dimensional possibility semantics from the more established branching framework. (shrink)

I use a distinction between single-minded and indifferent choice attitudes, modeled across maximally determinate plans of action, as a basis for interpreting deontic claims – about what ought, ought not, and may be done – as expressing a mode of relation between mind and world that gives voice to the exercise of practical rationality. At the same time, I use maximally determinate possible worlds to model descriptive claims in order to understand them as involving a mode of relation between mind (...) and world that manifests our theoretical rationality. The result is of interest to both linguists looking for a formal treatment of deontic modality that captures the role prescriptive mental states play in our lives, and philosophers interested in substantive questions about action-guiding and representational mental states as exercises of practical and theoretical rationality. (shrink)

We investigate the dynamics of sensory integration for perceiving musical performance, a complex natural behavior. Thirty musically trained participants saw, heard, or both saw and heard, performances by two clarinetists. All participants used a sliding potentiometer to make continuous judgments of tension (a measure correlated with emotional response) and continuous judgments of phrasing (a measure correlated with perceived musical structure) as performances were presented. The data analysis sought to reveal relations between the sensory modalities (vision and audition) and to quantify (...) the effect of seeing the performances on participants' overall subjective experience of the music. In addition to traditional statistics, functional data analysis techniques were employed to analyze time-varying aspects of the data. The auditory and visual channels were found to convey similar experiences of phrasing but different experiences of tension through much of the performances. We found that visual information served both to augment and to reduce the experience of tension at different points in the musical piece (as revealed by functional linear modeling and functional significance testing). In addition, the musicians' movements served to extend the sense of phrasing, to cue the beginning of new phrases, to indicate musical interpretation, and to anticipate changes in emotional content. Evidence for an interaction effect suggests that there may exist an emergent quality when musical performances are both seen and heard. The investigation augments knowledge of human communicative processes spanning language and music, and involving multiple modalities of emotion and information transfer. (shrink)

Two decades of attempts to model the emergence of language as a collective cognitive activity have demonstrated a number of principles that might have been part of the historical process that led to language. Several models have demonstrated the emergence of structure in a symbolic medium, but none has demonstrated the emergence of the capacity for symbolic representation. The current shift in cognitive science toward theoretical frameworks based on embodiment is already furnishing computational models with additional mechanisms relevant to the (...) emergence of symbolic language. An analysis of embodied interaction among captive, but not human‐enculturated, bonobo chimpanzees reveals a number of additional features of embodiment that are relevant to the emergence of symbolic language, but that have not yet been explored in computational simulation models; for example, complementarity of action in addition to imitation, iconic in addition to indexical gesture, coordination among multiple sensory and perceptual modalities, and the orchestration of intra‐ and inter‐individual motor coordination. The bonobos provide an evolutionarily plausible intermediate stage in the development of symbolic expression that can inform efforts to model the emergence of symbolic language. (shrink)

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the (...) dynamics of conceptual engineering for intensions and hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

The complexity of any logical modeling reflects both the intrinsic structure of a topic described and the weight of the formal tools. Some of this weight seems inherent in even the most basic logical systems. Notably, standard predicate logic is undecidable. In this paper, we investigate ‘lighter’ versions of this general purpose tool, by modally ‘deconstructing’ the usual semantics, and locating implicit choice points in its set up. The first part sets out the interest of this program and the (...) modal techniques employed, while the second part provides technical elaborations demonstrating its viability. (shrink)

Vector autoregression (VAR) modeling allows probing bidirectional relationships in gender/sex development and may support hypothesis testing following multi-modal data collection. We show VAR in three lights: supporting a hypothesis, rejecting a hypothesis, and opening up new questions. To illustrate these capacities of VAR, we reanalyzed longitudinal data that recorded dyadic mother-infant interactions for 15 boys and 15 girls aged 3 to 11 months of age. We examined monthly counts of 15 infant behaviors and 13 maternal behaviors (Seifert et (...) al., 1994). VAR models demonstrated that infant crawling predicted a subsequently close feedback loop from mothers of boys but a subsequently open ended, branched response from mothers of girls. A different finding showed that boys’ standing independently later predicted significant later increases of four maternal behaviors: rocking/jiggling, lifting, affectionate touching, and stimulation of infant gross-motor activity. In contrast, crawling by girls led mothers to later decrease the same maternal behaviors. Thus, VAR might allow us to identify how mothers respond differently during daily interactions depending on infant gender/sex. The present work intends mainly to showcase the VAR method in the specific context of the empirical study of gender/sex development. (shrink)

In the logical context, ignorance is traditionally defined recurring to epistemic logic. In particular, ignorance is essentially interpreted as “lack of knowledge”. This received view has - as we point out - some problems, in particular we will highlight how it does not allow to express a type of content-theoretic ignorance, i.e. an ignorance of φ that stems from an unfamiliarity with its meaning. Contrarily to this trend, in this paper, we introduce and investigate a modal logic having a (...) primitive epistemic operator I, modeling ignorance. Our modal logic is essentially constructed on the modal logics based on weak Kleene three-valued logic introduced by Segerberg (Theoria, 33(1):53–71, 1997). Such non-classical propositional basis allows to define a Kripke-style semantics with the following, very intuitive, interpretation: a formula φ is ignored by an agent if φ is neither true nor false in every world accessible to the agent. As a consequence of this choice, we obtain a type of content-theoretic notion of ignorance, which is essentially different from the traditional approach. We dub it severe ignorance. We axiomatize, prove completeness and decidability for the logic of reflexive (three-valued) Kripke frames, which we find the most suitable candidate for our novel proposal and, finally, compare our approach with the most traditional one. (shrink)

Empiricist modal epistemologies can be attractive, but are often limited in the range of modal knowledge they manage to secure. In this paper, I argue that one such account – similarity-based modal empiricism – can be extended to also cover justification of many scientifically interesting possibility claims. Drawing on recent work on modelling in the philosophy of science, I suggest that scientific modelling is usefully seen as the creation and investigation of relevantly similar epistemic counterparts of real (...) target systems. On the basis of experiential knowledge of what is actually the case with the models, one can draw justified conclusions about what is de re possible for the target systems. (shrink)

We show that logic has more to offer to ontologists than standard first order and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their (...) formalization, and even simplify their logical formulation. (shrink)

We discuss formats for formal theories, from sets of models to more complex constructs with an epistemic slant, clarifying the issue of what it means to update a theory. Using properties of verisimilitude as a lead, we also provide some connections between formal calculus of theories in the philosophy of science and modal-epistemic logics. Throughout, we use this case study as a platform for discussing more general connections between logic and general methodology.

In frameworks in which _topic-__theoretic_ considerations—_e.g._, tracking _subject-matter_ or _topic_—are given equal importance with _veridical_ considerations, assigning topics to formulae in a satisfactory way is of critical importance. While intuitions are more-or-less solid for _extensional_ formulae in a propositional language, arriving at a compelling account of the subject-matter of _intensional_ formulae, _i.e._, formulae including intensional operators, is more challenging. This paper continues previous work on modeling topics of intensional formulae in William Parry’s logic of analytic implication, adapting the general (...) techniques to the framework of _topic-sensitive intentional modals_ (TSIMs) championed by Francesco Berto and his collaborators. As illustrations, we introduce variations on Berto and Peter Hawke’s logic of knowability relative to information ( \(\pmb {\textsf{KRI}}\) ), including a refinement sensitive to topic-theoretic distinctions between knowledge and belief and a refinement capable of internalizing its own properties. Finally, subsystems of Aybüke Ozgun and Berto’s logic of plain hyperintensional belief ( \(\pmb {\textsf{PHB}}\) ) are introduced in which fine-grained distinctions in subject-matter are possible. (shrink)

Branching theories are popular frameworks for modeling objective indeterminism in the form of a future of open possibilities. In such theories, the notion of a history plays a crucial role: it is both a basic ingredient in the axiomatic definition of the framework, and it is used as a parameter of truth in semantics for languages with a future tense. Furthermore, histories—complete possible courses of events—ground the notion of modal consistency: a set of events is modally consistent iff (...) there is a history containing that set. We will explain these roles of histories and highlight some critical aspects having to do with the fact that histories are global and, in a relevant sense, “big” objects. The notion of modal consistency, on the other hand, has both local and global aspects. We ask in how far a local notion of modal consistency can serve as an alternative to the common uses of histories, and work out two recent approaches to alternatives to histories. Combining these approaches, we develop a novel semantics for branching time. (shrink)

Scientists confronted with multiple explanatory hypotheses as a result of their abductive inferences, generally want to reason further on the different hypotheses one by one. This paper presents a modal adaptive logic MLA s that enables us to model abduction in such a way that the different explanatory hypotheses can be derived individually. This modelling is illustrated with a case study on the different hypotheses on the origin of the Moon.

Recent evidence comparing recognition memory for famous faces and famous voices reveals an advantage for faces to elicit greater levels of episodic and semantic information than voices, even when overall levels of difficulty are matched between the two modalities. The paper by Barsics and Brédart makes a significant advance to this literature by demonstrating that even when encoding strategies are maximized to favor voice over face encoding by using personally familiar stimuli, facial cues continue to provide a more successful means (...) for associating episodic and semantic memories than voices. The implications of these findings are discussed in terms of the role of familiarity and its associated links to semantic memory as captured by person recognition memory models. (shrink)

In this paper we present an executable approach to model interactions between agents that involve sensitive, privacy-related information. The approach is formal and based on deontic, epistemic and action logic. It is conceptually related to the Belief-Desire-Intention model of Bratman. Our approach uses the concept of sphere as developed by Waltzer to capture the notion that information is provided mostly with restrictions regarding its application. We use software agent technology to create an executable approach. Our agents hold beliefs about the (...) world, have goals and commitment to the goals. They have the capacity to reason about different courses of action, and communicate with one another. The main new ingredient of our approach is the idea to model information itself as an intentional agent whose main goal it is to preserve the integrity of the information and regulate its dissemination. We demonstrate our approach by applying it to an important process in the insurance industry: applying for a life insurance.In this paper we will: (1) describe the challenge organizational complexity poses in moral reasoning about informational relationships; (2) propose an executable approach, using software agents with reasoning capacities grounded in modal logic, in which moral constraints on informational relatio nships can be modeled and investigated; (3) describe the details of our approach, in which information itself is modeled as an intentional agent in its own right; (4) test and validate it by applying it to a concrete ‘hard case’ from the insurance industry; and (5) conclude that our approach upholds and offers potential for both research and practical application. (shrink)

The purpose of this study is to propose new similarity measures namely rough variational coefficient similarity measure under the rough neutrosophic environment. The weighted rough variational coefficient similarity measure has been also defined. The weighted rough variational coefficient similarity measures between the rough ideal alternative and each alternative are xxxxx calculated to find the best alternative. The ranking order of all the alternatives can be determined by using the numerical values of similarity measures. Finally, an illustrative example has been provided (...) to show the effectiveness and validity of the proposed approach. Comparisons of decision results of existing rough similarity measures have been provided. (shrink)

This paper is devoted to present Technique for Order Preference by Similarity to Ideal Solution (TOPSIS) method for multi-attribute group decision making under rough neutrosophic environment. The concept of rough neutrosophic set is a powerful mathematical tool to deal with uncertainty, indeterminacy and inconsistency. In this paper, a new approach for multi-attribute group decision making problems is proposed by extending the TOPSIS method under rough neutrosophic environment. Rough neutrosophic set is characterized by the upper and lower approximation operators and the (...) pair of neutrosophic sets that are characterized by truth-membership degree, indeterminacy membership degree, and falsity membership degree. In the decision situation, ratings of alternatives with respect to each attribute are characterized by rough neutrosophic sets that reflect the decision makers’ opinion. Rough neutrosophic weighted averaging operator has been used to aggregate the individual decision maker’s opinion into group opinion for rating the importance of attributes and alternatives. Finally, a numerical example has been provided to demonstrate the applicability and effectiveness of the proposed approach. (shrink)

Scientists regularly make possibility claims. While philosophers of science are well aware of the distinction between epistemic and objective notions of possibility, we believe that they often fail to apply this distinction in their analyses of scientific practices that employ modal concepts. We argue that heeding this distinction will help further progress in current debates in the philosophy of science, as it shows that the debaters talk about different things, rather than disagree on the same issue. We first discuss (...) how the two notions differ with respect to their epistemology and show that these differences are sometimes ignored in the philosophy of science. We then revisit four current philosophy of science debates about modelling, that are framed in modal terms, to showcase how the distinction significantly clarifies these debates and thereby and helps advance them. (shrink)

According to columnar higher-order vagueness, all orders of vagueness coincide: any borderline case is a borderline borderline case, and a third-order borderline case, etc. Bobzien has worked out many details of such a theory and models it with a modal logic closely related to S4. I take up a range of questions about the framework and argue that it is not suitable for modelling the structure of vagueness and higher-order vagueness.

The purpose of this paper is to suggest a formal modelling of metaphors as a lingustic tool capable of conveying meanings from one conceptual space to another. This modelling is done within DDL (dynamic doxastic logic).

The paper seeks to schematize some fundamental characteristics of the conflict situations by means of modal (intensional) logic. Conflict is considered a deviant interaction as well as an intersubjective process of delegitimizing an activity on realization of interests. Interpreting a normal interaction as a symmetry of certain type, the author constructs a special model of a symmetric situation and applies it tothe analysis of a conflict. The paper examines theoretic schemes for legitimization of deviations as well as for legitimization (...) of social asymmetry, and ascertains a general relationship between symmetrization and deduction (deductive legitimization) by means of the operation C of “deductive closure” (consequences addition). (shrink)

We introduce a number of logics to reason about collective propositional attitudes that are defined by means of the majority rule. It is well known that majoritarian aggregation is subject to irrationality, as the results in social choice theory and judgment aggregation show. The proposed logics for modelling collective attitudes are based on a substructural propositional logic that allows for circumventing inconsistent outcomes. Individual and collective propositional attitudes, such as beliefs, desires, obligations, are then modelled by means of minimal modalities (...) to ensure a number of basic principles. In this way, a viable consistent modelling of collective attitudes is obtained. (shrink)