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.

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)

We present a framework for understanding abduction within modal logic and Kripke semantics; worlds of a Kripke frame will represent possible theories, and a change in theory will be understood as a passage from one world to an adjacent possible world. Further, these steps may agree with the accessibility relation or may ‘backtrack’, accordingly as new information refutes or reinforces our present theory. Our formalism can be used to model not only abduction, but also to talk about the inner (...) structure of theories as well as relations between them, allowing us to interpret many ideas from philosophy of science within the well-understood framework of modal logic. (shrink)

This chapter concerns modal modeling practices: scientific modeling practices that are explicitly said to deliver, or should arguably be interpreted as delivering, support for modal conclusions. That includes, for instance, conclusions concerning possible causes, potential properties, and counterfactual histories. The chapter first outlines and gives examples of modal modeling practices and stresses the fact that such practices encompass a number of different kinds of modality, including both epistemic and objective modalities. It then describes three (...) distinct but related sets of methodological and epistemological issues raised by modal modeling and briefly reviews some possible ways to approach them. The chapter ends by highlighting some lacunae in the literature where further work is needed. (shrink)

A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as Conditional Proof). A consequence relation is weakly classical if it has all the theorems and entailments of classical logic but lacks the usual meta-rules. The most familiar example of a weakly classical consequence relation comes from a simple supervaluational approach to modelling vague language. This approach is formally equivalent to an account of logical consequence according (...) to which α1, ..., αn entails β just in case □α1, ..., □αn entails □β in the modal logic S5. This raises a natural question: If we start with a different underlying modal logic, can we generate a strongly classical logic? This paper explores this question. In particular, it discusses four related technical issues: (1) Which base modal logics generate strongly classical logics and which generate weakly classical logics? (2) Which base logics generate themselves? (3) How can we directly characterize the logic generated from a given base logic? (4) Given a logic that can be generated, which base logics generate it? The answers to these questions have philosophical interest. They can help us to determine whether there is a plausible supervaluational approach to modelling vague language that yields the usual meta-rules. They can also help us to determine the feasibility of other philosophical projects that rely on an analogous formalism, such as the project of defining logical consequence in terms of the preservation of an epistemic status. (shrink)

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)

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.

Biological modalities, i.e., biologically possible, impossible, or necessary states of affairs have not received much attention from philosophers. Yet, it is widely agreed that there are biological constraints on physically possible states of affairs, such that not everything that is physically possible is also biologically possible, even if everything that is biologically possible is also physically possible. Furthermore, biologists use concepts that appear to be modal in nature, such as the concept of evolvability in evolutionary developmental biology, or “evo-devo.” (...) The present chapter investigates what kind of modality underlies the concept of evolvability. This concept tries to capture the capacity of an organism or a lineage to sustain genetic changes that enable it to evolve or to evolve adaptively. The basic idea of the proposed approach is to construe evolvability as a kind of accessibility in a modal space. The difficult part is to specify this modal space and the relevant accessibility relation. While there may not be a general way of defining such a relation, there exist model systems for which it is possible, e.g., evolving small RNAs. The modal space in such cases turns out to be quite distinct from those constructed by philosophers, e.g., David Lewis’s similarity metric for possible worlds. Even though the biological case examined here is quite special, attending to the way in which biological possibilities are modeled in this case harbors some general lessons about biological modalities, in particular their dependence on the explanatory goals of the models modeling modality. (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)

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)

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).

Despite their controversial ontological status, the discussion on arbitrary objects has been reignited in recent years. According to the supporting views, they present interesting and unique qualities. Among those, two define their nature: their assuming of values, and the way in which they present properties. Leon Horsten has advanced a particular view on arbitrary objects which thoroughly describes the earlier, arguing they assume values according to a sui generis modality, which he calls afthairetic. In this paper, we offer a general (...) method for defining the minimal system of this modality for any given first-order theory, and possible extensions of it that incorporate further aspects of Horsten’s account. The minimal system presents an unconventional inference rule, which deals with two different notions of derivability. For this reason and the failure of the Necessitation rule, in its full generality, the resulting system is non-normal. Then, we provide conditional soundness and completeness results for the minimal system and its extensions. (shrink)

The theory of branching space-times is designed as a rigorous framework for modelling indeterminism in a relativistically sound way. In that framework there is room for "funny business", i.e., modal correlations such as occur through quantummechanical entanglement. This paper extends previous work by Belnap on notions of "funny business". We provide two generalized definitions of "funny business". Combinatorial funny business can be characterized as "absence of prima facie consistent scenarios", while explanatory funny business characterizes situations in which no localized (...) explanation of inconsistency can be given. These two definitions of funny business are proved to be equivalent, and we provide an example that shows them to be strictly more general than the previously available definitions of "funny business". (shrink)

In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but (...) also a means of modelling proofs as well as provability. (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)

In this paper we show how defeasible logic could formally account for the non-monotonic properties involved in motivational attitudes like intention and obligation. Usually, normal modal operators are used to represent such attitudes wherein classical logical consequence and the rule of necessitation comes into play, i.e., ⊢A/⊢ □A, that is from ⊢A derive ⊢ □A. This means that such formalisms are affected by the Logical Omniscience problem. We show that policy-based intentions exhibit non-monotonic behaviour which could be captured through (...) a non-monotonic system like defeasible logic. To this end we outline a defeasible logic of intention that specifies how modalities can be introduced and manipulated in a non-monotonic setting without giving rise to the problem of logical omniscience. In a similar way we show how to add deontic modalities defeasibly and how to integrate them with other motivational attitudes like beliefs and goals. Finally we show that the basic aspect of the BOID architecture is captured by this extended framework. (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)

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)

A new deduction system for deciding validity for the minimal decidable normal modal logic K is presented in this article. Modal logics could be very helpful in modelling dynamic and reactive systems such as bio-inspired systems and process algebras. In fact, recently the Connectionist Modal Logics has been presented, which combines the strengths of modal logics and neural networks. Thus, modal logic K is the basis for these approaches. Soundness, completeness and the fact that the (...) system itself is a decision procedure are proved in this article. The main advantages of this approach are: first, the system is deterministic, i.e. it generates one proof tree for a given formula; second, the system is a validity-checker, hence it generates a proof of a formula ; and third, the language of deduction and the language of a logic coincide. Some of these advantages are compared with other classical approaches. (shrink)

Two approaches for defining common knowledge coexist in the literature: the infinite iteration definition and the circular or fixed point one. In particular, an original modelization of the fixed point definition was proposed by Barwise in the context of a non-well-founded set theory and the infinite iteration approach has been technically analyzed within multi-modal epistemic logic using neighbourhood semantics by Lismont. This paper exhibits a relation between these two ways of modelling common knowledge which seem at first quite different.

This chapter examines modal modelling in climate science. It considers two related topics. The first is the use of climate models to attribute extreme weather events to climate change. The second is the interpretation and use of collections of climate models. Each topic is the subject of a current debate within climate science and philosophy of science, and each has an important modal component. The debates are similar in that each involves a contrast between probabilistic and non-probabilistic methods. (...) In each case, the chapter examines the kind of modal claims scientists make and how they are justified. As climate change is an important practical problem, each debate has a link to policy decisions, and so the chapter ends with a discussion of how modal modelling, and the possibilities it identifies, can support decision-making. (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)

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)

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)

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)

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)

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)

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)

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)

The redundant-signals paradigm (RSP) is designed to investigate response behavior in perceptual tasks in which response-relevant targets are defined by either one or two features, or modalities. The common finding is that responses are speeded for redundantly compared to singly defined targets. This redundant-signals effect (RSE) can be accounted for by race models if the response times do not violate the race model inequality (RMI). When there are violations of the RMI, race models are effectively excluded as a viable account (...) of the RSE. The common alternative is provided by co-activation accounts, which assume that redundant target signals are integrated at some processing stage. However, ‘co-activation’ has mostly been only indirectly inferred and the accounts have only rarely been explicitly modeled; if they were modeled, the RSE has typically been assumed to have a decisional locus. Yet, there are also indications in the literature that the RSE might originate, at least in part, at a non-decisional or motor stage. In the present study, using a distribution analysis of sequential-sampling models (ex-Wald and Ratcliff Diffusion model), the locus of the RSE was investigated for two bimodal (audio-visual) detection tasks that strongly violated the RMI, indicative of substantial co-activation. Three model variants assuming different loci of the RSE were fitted to the quantile reaction time proportions: a decision, a non-decision, and a combined variant both to vincentized group as well as individual data. The results suggest that for the two bimodal detection tasks, co-activation has a shared decisional and non-decisional locus. These findings point to the possibility that the mechanisms underlying the RSE depend on the specifics (task, stimulus, conditions, etc.) of the experimental paradigm. (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)

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)

This paper aims to provide a mathematically tractable background against which to model both modal and hyperintensional cognitivism and modal and hyperintensional 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 and hyperintensional expressivist approaches 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)

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)

This article approaches sensory modalities as semiotically active factors and organizing principles in meaning-making. The focus will be on the special case where modalities mismatch in film – i.e., the soundtrack and visuals present contradictory meanings. The conflict can be characterized by the concept of synthesis that emerges in theories of Eisenstein, Barthes, Jakobson, Lotman, and cognitivists. The artistic functions of such synthesis will be discussed with the help of examples from selected feature films. In the first place, conflicting modalities (...) are inspected in the light of Juri Lotmanʼs theory of two incompatible, but still complementary languages that make up a mechanism for generating new information. In addition, the prospects of evaluating modality conflicts will be touched upon, dismissing synchrony and redundancy as the scale parameters, but acknowledging Lotmanʼs model of space as a primary modeling system that is capable of representing semantic conflicts. (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)

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)

Retrieval practice—the process of actively calling information to mind rather than passively studying materials—has been proven to be a highly effective learning strategy. However, only recently, researchers have started to examine differences between learners in terms of the optimal conditions of retrieval practice in applied educational settings. In this study (N = 118), we focus on learners with dyslexia. We compare their performance to the performance of typical learners in an adaptive retrieval practice task using both typing-based and speech-based response (...) conditions. We find that typical learners outperform learners with dyslexia when they are asked to respond by typing, but that this difference disappears when learners respond by speech. Using a mathematical model to decompose response times, we demonstrate that this typing-specific disadvantage in learners with dyslexia is mainly a consequence of processing delays, rather than poorer memory performance. These findings contribute to a better understanding of the mechanisms underlying declarative learning in dyslexia, and they can be used to tailor educational technology toward the needs of neurodiverse learners. (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.

Some how-possibly explanations have epistemic value because they are epistemically possible; we cannot rule out their truth. One paradoxical implication of that proposal is that epistemic value may be obtained from mere ignorance. For the less we know, then the more is epistemically possible. This chapter examines a particular class of problematic epistemically possible how-possibly explanations, viz. *epistemically opaque* how-possibly explanations. Those are how-possibly explanations justified by an epistemically opaque process. How could epistemically opaque how-possibly explanations have epistemic value if (...) they result from a process about which we lack knowledge or understanding? This chapter proposes three different strategies to salvage epistemic value from epistemic opacity, namely salvaging value from 1) functional transparency, 2) modal operator interpretation, and 3) pursuitworthiness. It illustrates using cases from deep neural network modeling. (shrink)

In this article, we develop a bimodal perspective on possibility semantics, a framework allowing partiality of states that provides an alternative modelling for classical propositional and modal logics. In particular, we define a full and faithful translation of the basic modal logic K over possibility models into a bimodal logic of partial functions over partial orders, and we show how to modulate this analysis by varying across logics and model classes that have independent topological motivations. This relates the (...) two realms under comparison both semantically and syntactically at the level of derivations. Moreover, our analysis clarifies the interplay between the complexity of translations and axiomatizations of the corresponding logics: adding axioms to the target bimodal logic simplifies translations, or vice versa, complex translations can simplify frame conditions. We also investigate a transfer of first-order correspondence theory between possibility semantics and its bimodal counterpart. Finally, we discuss the conceptual trade-off between giving translations and giving new semantics for logical systems, and we identify a number of further research directions to which our analysis gives rise. (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)

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)