The positive fragment of the local modal consequence relation defined by the class of all Kripke frames is studied in the context ofAlgebraic Logic. It is shown that this fragment is non-protoalgebraic and that its class of canonically associated algebras according to the criteria set up in [7] is the class of positive modal algebras. Moreover its full models are characterized as the models of the Gentzen calculus introduced in [3].

We prove the Finite Model Property (FMP) for Distributive Full Lambek Calculus ( DFL ) whose algebraic semantics is the class of distributive residuated lattices ( DRL ). The problem was left open in [8, 5]. We use the method of nuclei and quasi–embedding in the style of [10, 1].

Gene clustering is a useful exploratory technique to group together genes with similar expression levels under distinct cell cycle phases or distinct conditions. It helps the biologist to identify potentially meaningful relationships between genes. In this study, we propose a clustering method based on multivariate normal mixture models, where the number of clusters is predicted via sequential hypothesis tests: at each step, the method considers a mixture model of m components (m = 2 in the first step) and tests (...) if in fact it should be m - 1. If the hypothesis is rejected, m is increased and a new test is carried out. The method continues (increasing m) until the hypothesis is accepted. The theoretical core of the method is the full Bayesian significance test, an intuitive Bayesian approach, which needs no model complexity penalization nor positive probabilities for sharp hypotheses. Numerical experiments were based on a cDNA microarray dataset consisting of expression levels of 205 genes belonging to four functional categories, for 10 distinct strains of Saccharomyces cerevisiae. To analyze the method’s sensitivity to data dimension, we performed principal components analysis on the original dataset and predicted the number of classes using 2 to 10 principal components. Compared to Mclust (model-based clustering), our method shows more consistent results. (shrink)

It is known that the full computation-tree logic CTL * is an important base logic for model checking. The bisimulation theorem for CTL* is known to be useful for abstraction in model checking. In this paper, the bisimulation theorems for two paraconsistent four-valued extensions 4CTL* and 4LCTL* of CTL* are shown, and a translation from 4CTL* into CTL* is presented. By using 4CTL* and 4LCTL*, inconsistency-tolerant and spatiotemporal reasoning can be expressed as a model checking framework.

Abstract: The Pull Bayesian Significance Test (FBST) for precise hy- potheses is applied to a Multivariate Normal Structure (MNS) model. In the FBST we compute the evidence against the precise hypothesis. This evi- dence is the probability of the Highest Relative Surprise Set (HRSS) tangent to the sub-manifold (of the parameter space) that defines the null hypothesis. The MNS model we present appears when testing equivalence conditions for genetic expression measurements, using micro-array technology.

Sickle cell haemoglobin polymerization reduces erythrocyte deformability, causing deleterous vaso-occlusions. The double-nucleation model states that polymers grow from HbS aggregates, the nuclei, in solution , onto existing polymers . When linearized at initial HbS concentration, this model predicts early polymerization and its characteristic delay-time :591–610, 611–631, 1985). Addressing its relevance for describing complete polymerization, we constructed the full, non-linearized model . Here, we compare the simulated outputs to experimental progress curves . Within 10% from start, average (...) root mean square deviation between simulated and experimental curves is 0.04 ± 0.01 . Conversely, for complete progress curves, averaged rms is 0.48 ± 0.04. This figure is improved to 0.13 ± 0.01 by adjusting heterogeneous pathway parameters : the nucleus stability , and the fraction of polymer surface available for nucleation , from 5e−7, to 13 . Similar results are obtained at 37°C. We conclude that the physico-chemical description of heterogeneous nucleation warrants refinements in order to capture the whole HbS polymerization process. (shrink)

Aiming at the shortcomings of traditional moving target detection methods in complex scenes such as low detection accuracy and high complexity, and not considering the overall structure information of the video frame image, this paper proposes a moving-target detection based on sensor network. First, a low-power motion detection wireless sensor network node is designed to obtain motion detection information in real time. Secondly, the background of the video scene is quickly extracted by the time domain averaging method, and the video (...) sequence and the background image are channel-merged to construct a deep full convolutional network model. Finally, the network model is used to learn the deep features of the video scene and output the pixel-level classification results to achieve moving target detection. This method not only can adapt to complex video scenes of different sizes but also has a simple background extraction method, which effectively improves the detection speed. (shrink)

Let L be a language containing the modal operator B - for full belief. An information model is a set E of stable L-theories. A sentence is valid if it is accepted in all theories of every model.

In this paper we consider the structure of the class FGModS of full generalized models of a deductive system S from a universal-algebraic point of view, and the structure of the set of all the full generalized models of S on a fixed algebra A from the lattice-theoretical point of view; this set is represented by the lattice FACSs A of all algebraic closed-set systems C on A such that (A, C) ε FGModS. We relate some properties of (...) these structures with tipically logical properties of the sentential logic S. The main algebraic properties we consider are the closure of FGModS under substructures and under reduced products, and the property that for any A the lattice FACSs A is a complete sublattice of the lattice of all algebraic closed-set systems over A. The logical properties are the existence of a fully adequate Gentzen system for S, the Local Deduction Theorem and the Deduction Theorem for S. Some of the results are established for arbitrary deductive systems, while some are found to hold only for deductive systems in more restricted classes like the protoalgebraic or the weakly algebraizable ones. The paper ends with a section on examples and counterexamples. (shrink)

We prove completeness for some language-theoretic models of the full Lambek calculus and its various fragments. First we consider syntactic concepts and syntactic concepts over regular languages, which provide a complete semantics for the full Lambek calculus \. We present a new semantics we call automata-theoretic, which combines languages and relations via closure operators which are based on automaton transitions. We establish the completeness of this semantics for the full Lambek calculus via an isomorphism theorem for the (...) syntactic concepts lattice of a language and a construction for the universal automaton recognizing the same language. Finally, we use automata-theoretic semantics to prove completeness of relation models of binary relations and finite relation models for the Lambek calculus without and with empty antecedents and \), thus solving a problem left open by Pentus. (shrink)

Leadership which lacks ethical conduct can be dangerous, destructive, and even toxic. Ethical leadership, though well discussed in the literature, has been tested empirically as a construct in very few studies. An empirical investigation of ethical leadership in Singapore's construction industry is reported. It is found that ethical leadership is positively and significantly associated with transformational leadership, transformational culture of organization, contingent reward dimension of transactional leadership, leader effectiveness, employee willingness to put in extra effort, and employee satisfaction with the (...) leader. However, it is also found that ethical leadership bears no correlations with transactional leadership. Also, it is negatively correlated with laissez-faire leadership and transactional culture of the organization. The findings also reveal that ethical leadership plays a mediating role in the relationship between employee outcomes and organizational culture. Practical implications of these findings are discussed. Directions for future research are also suggested. (shrink)

We show that for every countable recursively saturated model M of Peano arithmetic and every subset A⊆M, there exists a full satisfaction class SA⊆M2 such that A is definable in (M,SA) without parameters. It follows that in every such model, there exists a full satisfaction class which makes every element definable, and thus the expanded model is minimal and rigid. On the other hand, as observed by Roman Kossak, for every full satisfaction class S (...) there are two elements which have the same arithmetical type, but exactly one of them is in S. In particular, the automorphism group of a model expanded with a satisfaction class is never equal to the automorphism group of the original model. The analogue of the first result proved here for full satisfaction classes was obtained also by Roman Kossak for partial inductive satisfaction classes. However, the proof relied on the induction scheme in a crucial way, so recapturing the result in the setting of full satisfaction classes requires quite different arguments. (shrink)

Cognitive models that represent individuals provide many benefits for understanding the full range of human behavior. One way in which individual differences emerge is through differences in knowledge. In dynamic situations, where decisions are made from experience, models built upon a theory of experiential choice (instance-based learning theory; IBLT) can provide accurate predictions of individual human learning and adaptivity to changing environments. Here, we demonstrate how an instance-based learning (IBL) cognitive model, implemented in a cognitive architecture (Adaptive Control (...) of Thought–Rational), can be used to model an individual's decisions in a cybersecurity defense task, accounting for both population average and individual variances. The same IBL model structure with identical architectural parameters generates the full range of human behavior through stochastic memory retrieval processes operating over and contributing to unique experiences. Recurrence quantification analyses allow us to look beyond average behavior between and within individuals to sequential patterns of trial-to-trial behavior. We show how model-tracing and knowledge-tracing techniques can be used to align the model to an individual in real time to drive adaptive and personalized signaling algorithms for a cybersecurity defense system. We also present a method for introspecting into the cognitive model to gain further insight into the cognitive salience of features factored into individual decisions. The combination of techniques provides a blueprint for personalized modeling of individuals. We discuss the results and implications of this adaptive and personalized method for cybersecurity defense and more generally for intelligent artifacts tailored to individual differences in domains such as human–machine teaming. (shrink)

How can we take history seriously as real and relevant? Despite the hazards of politically dangerous or misleading accounts of the past, we live our lives in a great network of cooperation with other actors; past, present, and future. We study and reflect on the past as a way of exercising a responsibility for shared action. In each of the chapters of Full History Smith poses a key question about history as a concern for conscious participants in the sharing (...) of action, starting with “What Is Historical Meaningfulness?” and ending with “How Can History Have an Aim?” Constructing new models of historical meaning while engaging critically with perspectives offered by Ranke, Dilthey, Rickert, Heidegger, Eliade, Sartre, Foucault, and Arendt, Smith develops a philosophical account of thinking about history that moves beyond postmodernist skepticism. Full History seeks to expand the cast of significant actors, establishing an inclusive version of the historical that recognizes large-scale cumulative actions but also encourages critical revision and expansion of any paradigm of shared action. (shrink)

In this paper we give a brief treatment of a theory of proofs for a system of Full Intuitionistic Linear Logic. This system is distinct from Classical Linear Logic, but unlike the standard Intuitionistic Linear Logic of Girard and Lafont includes the multiplicative disjunction par. This connective does have an entirely natural interpretation in a variety of categorical models of Intuitionistic Linear Logic. The main proof-theoretic problem arises from the observation of Schellinx that cut elimination fails outright for an (...) intuitive formulation of Full Intuitionistic Linear Logic; the nub of the problem is the interaction between par and linear implication. We present here a term assignment system which gives an interpretation of proofs as some kind of non-deterministic function. In this way we find a system which does enjoy cut elimination. The system is a direct result of an analysis of the categorical semantics, though we make an effort to present the system as if it were purely a proof-theoretic construction. (shrink)

The full compliance assumption has been the focus of much recent criticism of ideal theory. Making this assumption, critics argue, is to ignore the important issue of how to actually make individuals compliant. In this article, I show why this criticism is misguided by identifying the key role full compliance plays in modelling fairness. But I then redirect the criticism by showing how it becomes appropriate when Rawls and other ideal theorists expect their model of fairness to (...) guide real-world political practice. Attempts to establish institutions conforming to this ideal could have undesirable consequences and might even undermine fairness itself. (shrink)

We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winning strategies. We show that our semantics yields a categorical model of Linear Logic and prove full completeness for Multiplicative Linear Logic with the MIX rule: every winning strategy is the denotation of a unique cut-free proof net. A key role is played by the notion of history-free strategy; strong connections are made between history-free strategies and the Geometry of Interaction. Our semantics (...) incorporates a natural notion of polarity, leading to a refined treatment of the additives. We make comparisons with related work by Joyal, Blass, et al. (shrink)

A version of nonstandard analysis, Internal Set Theory, has been used to provide a resolution of Zeno's paradoxes of motion. This resolution is inadequate because the application of Internal Set Theory to the paradoxes requires a model of the world that is not in accordance with either experience or intuition. A model of standard mathematics in which the ordinary real numbers are defined in terms of rational intervals does provide a formalism for understanding the paradoxes. This model (...) suggests that in discussing motion, only intervals, rather than instants, of time are meaningful. The approach presented here reconciles resolutions of the paradoxes based on considering a finite number of acts with those based on analysis of the full infinite set Zeno seems to require. The paper concludes with a brief discussion of the classical and quantum mechanics of performing an infinite number of acts in a finite time. (shrink)

ExtractBrian Skyrms's Signals has the virtues familiar from his Evolution of the Social Contract and The Stag Hunt. He begins with a very simple model of agents in interaction, and in a series of brief and beautifully clear chapters, this model and its successors are explored, elaborated, connected and illustrated through biological theory and the social sciences. Signals borrows its core model from David Lewis: it is Lewis's signalling game. In this game, two agents interact. One agent (...) can observe which of two equi-probable states the world is in, but that agent cannot act directly and profitably on that information. However, the informed agent can act in a way that will be perceptually salient to a second agent: say, by raising a red or a green flag. The second agent does have the capacity to respond appropriately to each state of the world. If that second agent chooses the right option, given the state of the world, both are rewarded. If the second agent fails to choose the right action, neither are. Obviously, the two agents are best off if they have a practice in which the informed agent regularly chooses a distinct, salient cue in response to each of the two world states, and in which the powerful agent uses that cue to select the rewarding act. Less obviously, agents with simple trial and error learning capacities can learn to signal and respond: neither explicit negotiation nor cognitive sophistication are required. Likewise, if individual agents do not have the capacity to learn, but if they breed true but with some variation, the evolutionary version of trial and error learning can take a population to one of the signalling system equilibria. View HTML Send article to KindleTo send this article to your Kindle, first ensure [email protected] is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle. Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply. Find out more about the Kindle Personal Document Service.A GLASS HALF-FULL: BRIAN SKYRMS'S SIGNALSVolume 28, Issue 1Kim Sterelny DOI: https://doi.org/10.1017/S0266267112000120Your Kindle email address Please provide your Kindle [email protected]@kindle.com Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Dropbox To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Dropbox. A GLASS HALF-FULL: BRIAN SKYRMS'S SIGNALSVolume 28, Issue 1Kim Sterelny DOI: https://doi.org/10.1017/S0266267112000120Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Send article to Google Drive To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to Google Drive. A GLASS HALF-FULL: BRIAN SKYRMS'S SIGNALSVolume 28, Issue 1Kim Sterelny DOI: https://doi.org/10.1017/S0266267112000120Available formats PDF Please select a format to send. By using this service, you agree that you will only keep articles for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services. Please confirm that you accept the terms of use. Cancel Send ×Export citation Request permission. (shrink)

We give a sound and complete axiomatization for the full computation tree logic, CTL*, of R-generable models. This solves a long standing open problem in branching time temporal logic.

For many years, sociologists, political scientists, and management scholars have readily relied on Qualitative Comparative Analysis (QCA) for the purpose of configurational causal modeling. However, this article reveals that a severe problem in the application of QCA has gone unnoticed so far: model ambiguities. These arise when multiple causal models fare equally well in accounting for configurational data. Mainly due to the uncritical import of an algorithm that is unsuitable for causal modeling, researchers have typically been unaware of the (...) whole model space. As a result, there exists an indeterminable risk for practically all QCA studies published in the last quarter century to have presented findings that their data did not warrant. Using hypothetical data, we first identify the algorithmic source of ambiguities and discuss to what extent they affect different methodological aspects of QCA. By reanalyzing a published QCA study from rural sociology, we then show that model ambiguities are not a mere theoretical possibility but a reality in applied research, which can assume such extreme proportions that no causal conclusions whatsoever are possible. Finally, the prevalence of model ambiguities is examined by performing a comprehensive analysis of 192 truth tables across 28 QCA studies published in applied sociology. In conclusion, we urge that future QCA practice ensures full transparency with respect to model ambiguities, both by informing readers of QCA-based research about their extent and by employing algorithms capable of revealing them. (shrink)

Traxler, Pickering, and Clifton found that ambiguous sentences are read faster than their unambiguous counterparts. This so-called ambiguity advantage has presented a major challenge to classical theories of human sentence comprehension because its most prominent explanation, in the form of the unrestricted race model, assumes that parsing is non-deterministic. Recently, Swets, Desmet, Clifton, and Ferreira have challenged the URM. They argue that readers strategically underspecify the representation of ambiguous sentences to save time, unless disambiguation is required by task demands. (...) When disambiguation is required, however, readers assign sentences full structure—and Swets et al. provide experimental evidence to this end. On the basis of their findings, they argue against the URM and in favor of a model of task-dependent sentence comprehension. We show through simulations that the Swets et al. data do not constitute evidence for task-dependent parsing because they can be explained by the URM. However, we provide decisive evidence from a German self-paced reading study consistent with Swets et al.'s general claim about task-dependent parsing. Specifically, we show that under certain conditions, ambiguous sentences can be read more slowly than their unambiguous counterparts, suggesting that the parser may create several parses, when required. Finally, we present the first quantitative model of task-driven disambiguation that subsumes the URM, and we show that it can explain both Swets et al.'s results and our findings. (shrink)

Modelling consent is a process prior to any discussion about it, be it theoretical or practical. Here, after examining consent, I shall attempt to present a “logical generator” that produces all different cases of consent, so that afterwards we may articulate a two-dimensional model which will enable us to coherently demonstrate all possible types of consent. The resulting model will be combined with Aristotle’s square of opposition, offering us even greater insight. I shall claim that full informed (...) consent is an archetype, not realized in most cases; it is just one case out of hundreds more. I shall conclude with an educational model for consent, the principle of specificity, arguing that if we wish to both understanding consent and become more adept in exercising it, we need a targeted educational system – not just “better education” in general. (shrink)

I argue that alignment of linguistic representations and situation models in dialogue are qualitatively distinct. By virtue of the isomorphy between interlocutors' linguistic representations, interlocutors align their linguistic representations fully. However, evidence about situation models is indirect and mediated through language, with the result that alignment of situation models is only partial.

Miscommunication phenomena such as repair in dialogue are important indicators of the quality of communication. Automatic detection is therefore a key step toward tools that can characterize communication quality and thus help in applications from call center management to mental health monitoring. However, most existing computational linguistic approaches to these phenomena are unsuitable for general use in this way, and particularly for analyzing human–human dialogue: Although models of other-repair are common in human-computer dialogue systems, they tend to focus on specific (...) phenomena, missing the range of repair and repair initiation forms used by humans; and while self-repair models for speech recognition and understanding are advanced, they tend to focus on removal of “disfluent” material important for full understanding of the discourse contribution, and/or rely on domain-specific knowledge. We explain the requirements for more satisfactory models, including incrementality of processing and robustness to sparsity. We then describe models for self- and other-repair detection that meet these requirements and investigate how they perform on datasets from a range of dialogue genres and domains, with promising results. (shrink)

The ability to convert human somatic cells into induced pluripotent stem cells (iPSCs) is allowing the production of custom‐tailored cells for drug discovery and for the study of disease phenotypes at the cellular and molecular level. IPSCs have been derived from patients suffering from a large variety of disorders with different severities. In many cases, disease related phenotypes have been observed in iPSCs or their lineage‐specific progeny. Several proof of concept studies have demonstrated that these phenotypes can be reversed in (...) vitro using approved drugs. However, several challenges must be overcome to take full advantage of this technology. Here, we highlight recent advances in the field and discuss the main challenges associated with this technology as it applies to disease modelling. (shrink)

The processing of information within the retino-tectal visual system of amphibians is decomposed into five major operational stages, three of them taking place in the retina and two in the optic tectum. The stages in the retina involve a spatially local high-pass filtering in connection to the perception of moving objects, separation of the receptor activity into ON- and OFF-channels regarding the distinction of objects on both light and dark backgrounds, spatial integration via near excitation and far-reaching inhibition. Variation of (...) the spatial range of excitation and inhibition allows to account for typical activities observed in a variety of classes of retina ganglion cells.Mathematical description of the operations in the tectum opticum include spatial summation of retinal output, and direct or indirect lateral inhibition between tectal cells. In the computer simulation, first the output of the mathematical retina model is computed which, then, is used as the input to the tectum model. The full spatio-temporal dynamics is taken into account.The simulations show that different combinations of strength of lateral inhibition on the one side and the response properties of the retina ganglion cells on the other side determine the response properties of tectal cell types involved in object recognition. (shrink)

The high pace business environment poses great competition among firms. The key to an organisation’s survival is its workforce. Time taken by the workforce to reach to full proficiency in their job role takes very long in certain job roles. Thus, shortening time-to-proficiency of employees is a critical business problem for today’s organisations. This qualitative research study explored the proven practices and strategies that have successfully reduced time-to-proficiency of the workforce in various settings. A total of 93 participants from (...) seven countries participated in the research study. Bounded project case was used as sampling unit and unit of analysis in this study. This study collected 67 successful project cases with the evidence of significant reduction in time-to-proficiency of the workforce in their settings. These project cases spanned across nine economic sectors, 20 business sectors and 28 industry groups. This study revealed that project leaders across the board used six practices to successfully reduced the time-to-proficiency. The purpose of this paper is present the model of accelerated proficiency at the workplace developed in this study. (shrink)

To what degree can language be acquired from linguistic input alone? This question has vexed scholars for millennia and is still a major focus of debate in the cognitive science of language. The complexity of human language has hampered progress because studies of language–especially those involving computational modeling–have only been able to deal with small fragments of our linguistic skills. We suggest that the most recent generation of Large Language Models (LLMs) might finally provide the computational tools to determine empirically (...) how much of the human language ability can be acquired from linguistic experience. LLMs are sophisticated deep learning architectures trained on vast amounts of natural language data, enabling them to perform an impressive range of linguistic tasks. We argue that, despite their clear semantic and pragmatic limitations, LLMs have already demonstrated that human-like grammatical language can be acquired without the need for a built-in grammar. Thus, while there is still much to learn about how humans acquire and use language, LLMs provide full-fledged computational models for cognitive scientists to empirically evaluate just how far statistical learning might take us in explaining the full complexity of human language. (shrink)

We present the first effectively presentable fully abstract model for Starkʼs Reduced ML, a call-by-value higher-order programming language featuring integer-valued references. The model is constructed using techniques of nominal game semantics. Its distinctive feature is the presence of carefully restricted information about the store in plays, combined with conditions concerning the participantsʼ ability to distinguish reference names. We show how it leads to an explicit characterization of program equivalence.

The Akaike Information Criterion can be a valuable tool of scientific inference. This statistic, or any other statistical method for that matter, cannot, however, be the whole of scientific methodology. In this paper some of the limitations of Akaikean statistical methods are discussed. It is argued that the full import of empirical evidence is realized only by adopting a richer ideal of empirical success than predictive accuracy, and that the ability of a theory to turn phenomena into accurate, agreeing (...) measurements of causally relevant parameters contributes to the evidential support of the theory. This is illustrated by Newton's argument from orbital phenomena to the inverse-square law of gravitation. (shrink)

We pursue a model-oriented rather than axiomatic approach to the foundations of Quantum Mechanics, with the idea that new models can often suggest new axioms. This approach has often been fruitful in Logic and Theoretical Computer Science. Rather than seeking to construct a simplified toy model, we aim for a 'big toy model', in which both quantum and classical systems can be faithfully represented—as well as, possibly, more exotic kinds of systems. To this end, we show how (...) Chu spaces can be used to represent physical systems of various kinds. In particular, we show how quantum systems can be represented as Chu spaces over the unit interval in such a way that the Chu morphisms correspond exactly to the physically meaningful symmetries of the systems—the unitaries and antiunitaries. In this way we obtain a full and faithful functor from the groupoid of Hubert spaces and their symmetries to Chu spaces. We also consider whether it is possible to use a finite value set rather than the unit interval; we show that three values suffice, while the two standard possibilistic reductions to two values both fail to preserve fullness. (shrink)

The word “model” is highly ambiguous, and there is no uniform terminology used by either scientists or philosophers. Here, a model is considered to be a representation of some object, behavior, or system that one wants to understand. This article presents the most common type of models found in science as well as the different relations—traditionally called “analogies”—between models and between a given model and its subject. Although once considered merely heuristic devices, they are now seen as (...) indispensable to modern science. There are many different types of models used across the scientific disciplines, although there is no uniform terminology to classify them. The most familiar are physical models such as scale replicas of bridges or airplanes. These, like all models, are used because of their “analogies” to the subjects of the models. A scale model airplane has a structural similarity or “material analogy” to the full scale version. This correspondence allows engineers to infer dynamic properties of the airplane based on wind tunnel experiments on the replica. Physical models also include abstract representations which often include idealizations such as frictionless planes and point masses. Another, but completely different type of model, is constituted by sets of equations. These mathematical models were not always deemed legitimate models by philosophers. Model-to-subject and model-to-model relations are described using several different types of analogies: positive, negative, neutral, material, and formal. (shrink)

Some of the required characteristics for a true machine theory of mind (MToM) include the ability to (1) reproduce the full diversity of human thought and behavior, (2) develop a personalized model of an individual with very limited data, and (3) provide an explanation for behavioral predictions grounded in the cognitive processes of the individual. We propose that a certain class of cognitive models provide an approach that is well suited to meeting those requirements. Being grounded in a (...) mechanistic framework like a cognitive architecture such as ACT-R naturally fulfills the third requirement by mapping behavior to cognitive mechanisms. Exploiting a modeling paradigm such as instance-based learning accounts for the first requirement by reflecting variations in individual experience into a diversity of behavior. Mechanisms such as knowledge tracing and model tracing allow a specific run of the cognitive model to be aligned with a given individual behavior trace, fulfilling the second requirement. We illustrate these principles with a cognitive model of decision-making in a search and rescue task in the Minecraft simulation environment. We demonstrate that cognitive models personalized to individual human players can provide the MToM capability to optimize artificial intelligence agents by diagnosing the underlying causes of observed human behavior, projecting the future effects of potential interventions, and managing the adaptive process of shaping human behavior. Examples of the inputs provided by such analytic cognitive agents include predictions of cognitive load, probability of error, estimates of player self-efficacy, and trust calibration. Finally, we discuss implications for future research and applications to collective human–machine intelligence. (shrink)

Since the pioneering work by Kripke and Montague, the term possible world has appeared in most theories of formal semantics for modal logics, natural languages, and knowledge-based systems. Yet that term obscures many questions about the relationships between the real world, various models of the world, and descriptions of those models in either formal languages or natural languages. Each step in that progression is an abstraction from the overwhelming complexity of the world. At the end, nothing is left but a (...) colorful metaphor for an undefined element of a set W called worlds, which are related by an undefined and undefinable primitive relation R called accessibility. For some purposes, the resulting abstraction has proved to be useful, but as a general theory of meaning, the abstraction omits too many significant features. So much information has been lost at each step that many philosophers, linguists, and psychologists have dismissed model-theoretic semantics as irrelevant to the study of meaning. This article examines the steps in the process of extractingthe pair (W,R) from the world and the way people talk about the world. It shows that the Kripke worlds can be reinterpreted as part of a Peircean semiotic theory, which can also include contributions from many other studies in cognitive science. Among them are Dunn’s semantics based on laws and facts, the lexical semantics preferred by manylinguists, psychological models of how the world is perceived, and philosophies of science that relate theories to the world. A full integration of all those sources is far beyond the scope of this article, but an outline of the approach suggests that Peirce’s vision is capable of relating and reconciling the competing sources. (shrink)

A new formal model of belief dynamics is proposed, in which the epistemic agent has both probabilistic beliefs and full beliefs. The agent has full belief in a proposition if and only if she considers the probability that it is false to be so close to zero that she chooses to disregard that probability. She treats such a proposition as having the probability 1, but, importantly, she is still willing and able to revise that probability assignment if (...) she receives information that gives her sufficient reasons to do so. Such a proposition is undoubted, but not undoubtable. In the formal model it is assigned a probability 1 − δ, where δ is an infinitesimal number. The proposed model employs probabilistic belief states that contain several underlying probability functions representing alternative probabilistic states of the world. Furthermore, a distinction is made between update and revision, in the same way as in the literature on belief change. The formal properties of the model are investigated, including properties relevant for learning from experience. The set of propositions whose probabilities are infinitesimally close to 1 forms a belief set. Operations that change the probabilistic belief state give rise to changes in this belief set, which have much in common with traditional operations of belief change. (shrink)

The purpose of this paper is to outline some recent progress in descriptive inner model theory, a branch of set theory which studies descriptive set theoretic and inner model theoretic objects using tools from both areas. There are several interlaced problems that lie on the border of these two areas of set theory, but one that has been rather central for almost two decades is the conjecture known as the Mouse Set Conjecture. One particular motivation for resolving MSC (...) is that it provides grounds for solving the inner model problem which dates back to 1960s. There have been some new partial results on MSC and the methods used to prove the new instances suggest a general program for solving the full conjecture. It is then our goal to communicate the ideas of this program to the community at large. (shrink)

In his Target Article, Greely examines brain surrogates and the ethical dilemma they pose: …we may make our models so good that they themselves deserve some of the kinds of ethical and legal respec...

Late in a career of more than sixty years, Thomas Burch, an internationally known social demographer, undertook a wide-ranging methodological critique of demography. This open access volume contains a selection of resulting papers, some previously unpublished, some published but not readily accessible [from past meetings of The International Union for the Scientific Study of Population and its research committees, or from other small conferences and seminars]. Rejecting the idea that demography is simply a branch of applied statistics, his work views (...) it as an autonomous and complete scientific discipline. When viewed from the perspective of modern philosophy of science, specifically the semantic or model-based school, demography is a balanced discipline, with a rich body of techniques and data, but also with more and better theories than generally recognized. As demonstrated in this book, some demographic techniques can also be seen as theoretical models, and some substantive/behavioral models, commonly rejected as theory because of inconsistent observations, are now seen as valuable theoretical models, for example demographic transition theory. This book shows how demography can build a strong theoretical edifice on its broad and deep empirical foundation by adoption of the model-based approach to science. But the full-fruits of this approach will require demographers to make greater use of computer modeling [both macro- and micro-simulation], in the statement and manipulation of theoretical ideas, as well as for numerical computation. This book is open access under a CC BY license. (shrink)

Over the past 20 years or so, a small but growing literature has emerged with the aim of modeling agents who are unaware of certain things. In this paper we compare two different approaches to modeling unawareness: the object-based approach of Board and Chung (Object-based unawareness: theory and applications. University of Minnesota, Mimeo, 2008) and the subjective-state-space approach of Heifetz et al. (J Econ Theory 130: 78-94,2006). In particular, we show that subjectivestate-space models (henceforth HMS structures) can be embedded within (...) object-based models (henceforth OBU structures), demonstrating that the latter are at least as expressive. As long as certain restrictions are imposed on the form of the OBU structure, the embedding can also go the other way. A generalization of HMS structures (relaxing the partitional properties of knowledge) gives us a full converse. (shrink)

How can we take history seriously as real and relevant? Despite the hazards of politically dangerous or misleading accounts of the past, we live our lives in a great network of cooperation with other actors; past, present, and future. We study and reflect on the past as a way of exercising a responsibility for shared action. In each of the chapters of Full History Smith poses a key question about history as a concern for conscious participants in the sharing (...) of action, starting with “What Is Historical Meaningfulness?” and ending with “How Can History Have an Aim?” Constructing new models of historical meaning while engaging critically with perspectives offered by Ranke, Dilthey, Rickert, Heidegger, Eliade, Sartre, Foucault, and Arendt, Smith develops a philosophical account of thinking about history that moves beyond postmodernist skepticism. Full History seeks to expand the cast of significant actors, establishing an inclusive version of the historical that recognizes large-scale cumulative actions but also encourages critical revision and expansion of any paradigm of shared action. (shrink)

Jech and Shelah in J Symb Log, 55, 822–830 (1990) studied full reflection below ${\aleph_\omega}$ , and produced a model in which the extent of full reflection is maximal in a certain sense. We produce a model in which full reflection is maximised in a different direction.

The standard philosophical and folk-psychological accounts of cognition and action credit us with too much spontaneity in our activities and projects. We are taken to be fundamentally active rather than reactive, to project our needs and aims and deploy our full supporting arsenal of cognitive instruments upon an essentially passive environment. The corrected point of view presented here balances this image of active agency with an appreciation of how we are also continually responding to the world, that is, to (...) the pragmatic situations that effectively select subsets of our cognitive resources to be at our disposal in generating responses. The result is a superseding of the standard Cognitive Integrationist picture by a model of a structurally divided mind, comprising a multiplicity of diverse and sometimes-conflicting standpoints, personas, and wills whose elicitation is a complex function of agent intentions and plans, the encountered environment, past experience, and temporal sequence. According to this model, the manifold stored representations constituting a person’s cognitive endowment do not form a single integrated network all equally ready for use. Cognition at any given moment is limited to drawing upon only a subset of one’s perspective, the perspect that is activated in accordance with the specific mental task or situation (the pragmatic context) that one perceives oneself to be facing. The system enlists the environmental context as trigger for practical and theoretical activity, based upon the agent’s prior experience. Though susceptible to certain kinds of error, and not inherently inclined toward innovative thinking, it enables the generally efficient use of our enormous cognitive endowments in conducting our lives in real time. (shrink)

The Gompertz distribution is commonly used in biology for modeling fatigue and mortality. This paper studies a class of models proposed by Adham and Walker, featuring a Gompertz type distribution where the dependence structure is modeled by a lognormal distribution, and develops a new multivariate formulation that facilitates several numerical and computational aspects. This paper also implements the FBST, the Full Bayesian Significance Test for pertinent sharp (precise) hypotheses on the lognormal covariance structure. The FBST’s e-value, ev(H), gives the (...) epistemic value of hypothesis, H, or the value of evidence in the observed in support of H. (shrink)

In the proposed law-code in De legibus there is a law that votes are to be known by the best citizens (the optimates) but free to the common people (the plebs) (3.10). This law, Cicero claims, grants ‘the appearance of liberty’ (libertatis species), preserves the authority (auctoritas) of the optimates, and promotes harmony between the classes (3.39). The law and the precise meaning of libertatis species remain opaque even with the lengthy commentary (3.33–39), and much scholarly debate and discussion has (...) arisen as a result – most of it very critical of Cicero’s proposal and the arguments supporting it. This paper offers a fresh analysis of the voting law that is more charitable to Cicero. It unpacks the full details of the voting system that is developed in De legibus and sheds new light on developments in Cicero’s thinking about the best state. (shrink)

Critique involves reflection, specifically self-reflection, and as such it is inherently linked with philosophy. Critique calls for change, awareness, liberation from false conceptions, and reshaping of spheres of action and belief. Consequently it is closely linked with the moral and the political. Critique aspires to enhance truth, beauty, and justice and is thus an integral part of science, art, and social action. The present volume tackles issues of critique through a selection of papers originally presented at the workshop on “Models (...) of Critique in the Sciences, Society, and the Arts,” held in Jerusalem and Tel Aviv during May 1996. As the full program indicates, this selection provides only a partial picture of the topics discussed at the workshop. A major consideration has been the publication policy of Science in Context, with its emphasis on science, which is reflected here. We wish to express our gratitude to all the participants for their presentations and contributions to a stimulating exchange of ideas. (shrink)