Many biological investigations are organized around a small group of species, often referred to as ‘model organisms’, such as the fruit fly Drosophila melanogaster. The terms ‘model’ and ‘modelling’ also occur in biology in association with mathematical and mechanistic theorizing, as in the Lotka–Volterra model of predator-prey dynamics. What is the relation between theoretical models and model organisms? Are these models in the same sense? We offer an account on which the two practices are shown to have different (...) epistemic characters. Theoretical modelling is grounded in explicit and known analogies between model and target. By contrast, inferences from model organisms are empirical extrapolations. Often such extrapolation is based on shared ancestry, sometimes in conjunction with other empirical information. One implication is that such inferences are unique to biology, whereas theoretical models are common across many disciplines. We close by discussing the diversity of uses to which model organisms are put, suggesting how these relate to our overall account. 1 Introduction2 Volterra and Theoretical Modelling3 Drosophila as a Model Organism4 Generalizing from Work on Model Organisms5 Phylogenetic Inference and Model Organisms6 Further Roles of Model Organisms6.1 Preparative experimentation6.2 Model organisms as paradigms6.3 Model organisms as theoretical models6.4 Inspiration for engineers6.5 Anchoring a research community7 Conclusion. (shrink)

Clinical Legal Education programmes now take place in most law schools in England and Wales. However, legal education continues to be predominantly focused on the analysis and application of rules, doctrines, and theories to hypothetical scenarios or essay questions. This form of pedagogy either minimises or ignores the role of the client in terms of supplying lawyers with knowledge pertinent to their case. In other words, it overlooks the fact that the lawyer’s acquisition of knowledge is not confined to technical (...) rationality. This article seeks to achieve three broad aims. First, to contribute to the debate concerning the epistemology of reflective practice. Second, to develop a theoretical reflective cycle, informed by Kant’s transcendental idealism, which seeks to maximise knowledge acquisition in legal education, namely knowledge supplied by the client. Third, to address implicit bias using the proposed reflective cycle. An optimal pedagogy for using this cycle is Clinical Legal Education, namely live client clinics. (shrink)

The descriptions and theoretical laws scientists write down when they model a system are often false of any real system. And yet we commonly talk as if there were objects that satisfy the scientists’ assumptions and as if we may learn about their properties. Many attempt to make sense of this by taking the scientists’ descriptions and theoretical laws to define abstract or fictional entities. In this paper, I propose an alternative account of theoretical modelling that (...) draws upon Kendall Walton’s ‘make-believe’ theory of representation in art. I argue that this account allows us to understand theoretical modelling without positing any object of which scientists’ modelling assumptions are true. (shrink)

The topics of modeling and information come together in at least two ways. Computational modeling and simulation play an increasingly important role in science, across disciplines from mathematics through physics to economics and political science. The philosophical questions at issue are questions as to what modeling and simulation are adding, altering, or amplifying in terms of scientific information. What changes with regard to information acquisition, theoretical development, or empirical confirmation with contemporary tools of computational modeling? In this sense the (...) title of this article is read in the following way: What kind of information is modeling information? What kind of information does modeling give us? (shrink)

Since the sixties, computational modeling has become increasingly important in both the physical and the social sciences, particularly in physics, theoretical biology, sociology, and economics. Sine the eighties, philosophers too have begun to apply computational modeling to questions in logic, epistemology, philosophy of science, philosophy of mind, philosophy of language, philosophy of biology, ethics, and social and political philosophy. This chapter analyzes a selection of interesting examples in some of those areas.

The goal of this paper is to defend the general tenet that time travelers cannot change the past within B-theoretical models of time, independently of how many temporal dimensions there are. Baron Pacific Philosophical Quarterly, 98, 129–147 offered a strong argument intended to reach this general conclusion. However, his argument does not cover a peculiar case, i.e. a B-theoretical one-dimensional model of time that allows for the presence of internal times. Loss Pacific Philosophical Quarterly, 96, 1–11 used the (...) latter model to argue that time travelers can change the past within such model. We show a way to debunk Loss’s argument, so that the general tenet about the impossibility of changing the past within B-theoretical models is maintained. (shrink)

The aim of this chapter is to articulate the ways in which our social standing, and particularly our socio-economic status (SES), affects, even transforms, the experience of boredom. Even if boredom can be said to be democratic, in the sense that it can potentially affect all of us, it does not actually affect all of us in the same way. Boredom, I argue, is unjust—some groups are disproportionately negatively impacted by boredom through no fault of their own. Depending on our (...) social position and self and others’ perceptions of our SES, we can experience it more frequently, more intensely, and in ways that either leave us incapable of alleviating it or push us to harmful and maladaptive responses to it. Hence, seen in a socio-economic light, boredom can become a serious threat to our physical and psychological well-being. Insofar as freedom to pursue and achieve one’s well-being is essential to human life and a primary concern of contemporary liberal societies, boredom should be considered to be a social justice issue. The disproportionately negative effects of boredom on lower SES groups indicate the profound ways that boredom affects individuals and further disadvantages those who are already in marginalized positions. Contrary to many historical accounts, boredom is not only the experience of the elite, the wealthy, or those with ample free time. In our current political, social, and economic climate, boredom is primarily the experience of the less privileged, the disadvantaged, and the marginalized. (shrink)

There are many social psychological theories regarding the nature of prejudice, but only one major theory of prejudice reduction: under the right circumstances, prejudice between groups will be reduced with increased contact. On the one hand, the contact hypothesis has a range of empirical support and has been a major force in social change. On the other hand, there are practical and ethical obstacles to any large-scale controlled test of the hypothesis in which relevant variables can be manipulated. Here we (...) construct a spatialized model that tests the core hypothesis in a large array of game-theoretic agents. Robust results offer a new kind of support for the contact hypothesis: results in simulation do accord with a hypothesis of reduced prejudice with increased contact. The spatialized game-theoretic model also suggests a deeper explanation for at least some of the social psychological phenomena at issue. (shrink)

There is growing concern that a global economic system fueled predominately by financial incentives may not maximize human flourishing and social welfare externalities. If so, this presents a challenge of how to get economic actors to adopt a more virtuous motivational mindset. Relying on historical, psychological, and philosophical research, we show how such a mindset can be instilled. First, we demonstrate that historically, financial self-interest has never in fact been the only guiding motive behind free markets, but that markets themselves (...) are representations of our individual and collective moral identities. Building on this understanding, we review the research on how economic incentives crowd out virtue-oriented concerns. We then introduce the concept of moral self-awareness (MSA), an evolving mindset informed by reflection on moral identity, namely what one’s actions say about oneself given the impacts on others or society that one’s action may effect. MSA comprises three fundamental aspects of virtue-oriented reasoning: pride, shame, and guilt. Finally, we offer a four-stage model anchored in systems theory, yielding ever more refined motivating strategies for maximizing human flourishing and social welfare externalities. (shrink)

In this paper I offer a model-theoretic interpretation of Autonomy Theory as defended by Moreno, Mossio, Montévil and Bich. I address accusations that Autonomy Theory is excessively liberal, such as those made by Garson (2017), arguing that these misunderstand the role of strategic abstractions and generalizations in theory construction. Conceiving of closure of constraints as a model-building effort that emphasizes generality – in the spirit of Levins (1966) – also clarifies its potential for application in empirical contexts.

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)

$${{{\mathcal {F}}}}$$ -systems are useful digraphs to model sentences that predicate the falsity of other sentences. Paradoxes like the Liar and the one of Yablo can be analyzed with that tool to find graph-theoretic patterns. In this paper we studied this general model consisting of a set of sentences and the binary relation ‘ $$\ldots $$ affirms the falsity of $$\ldots $$ ’ among them. The possible existence of non-referential sentences was also considered. To model the sets of all the (...) sentences that can jointly be valued as true we introduced the notion of conglomerate, the existence of which guarantees the absence of paradox. Conglomerates also enabled us to characterize referential contradictions, i.e., sentences that can only be false under a classical valuation due to the interactions with other sentences in the model. A Kripke-style fixed-point characterization of groundedness was offered, and complete (meaning that every sentence is deemed either true or false) and consistent (meaning that no sentence is deemed true and false) fixed points were put in correspondence with conglomerates. Furthermore, argumentation frameworks are special cases of $$\mathcal{F}$$ -systems. We showed the relation between local conglomerates and admissible sets of arguments and argued about the usefulness of the concept for the argumentation theory. (shrink)

The replicability and importance of the correlation between cognitive style and religious belief have been debated. Moreover, the literature has not examined distinct psychological accounts of this relationship. We tested the replicability of the correlation (N = 5284; students and broader samples of Canadians, Americans, and Indians); while testing three accounts of how cognitive style comes to be related to belief in God, karma, witchcraft, and to the belief that religion is necessary for morality. The first, the dual process model, (...) posits that analytical thinking is recruited in overriding intuitions related to supernatural beliefs. The second, the expressive rationality model, posits that analytical thinking is recruited in supporting already-held beliefs in an identity-protective manner. And the third, the counter-normativity rationality model, posits that analytical thinking is recruited to question beliefs supported by prevailing cultural norms. In Study 2, we tested the replicability of our results in a re-analysis of published data. The association between analytic thinking style and beliefs was replicated. We conclude that whereas the counter-normativity rationality model was contradicted by the data, both the dual process and expressive rationality models received varying degrees of empirical support, but neither model fully accounted for all the patterns in the data. (shrink)

When parties and interest groups interact, they can do so in several ways which could be on an informal level, lobbying for a party candidate, or group representatives approach party leaders in the parliament to lobby them on an issue. There is a plethora of studies on the extent to which major political parties and major interests have related in the past and continue to relate or interact at the organizational level. Researchers have investigated to what extent parties and groups (...) had formal organizational ties, cooperated in elections, or worked in concert on developing and implementing policies. Factors that for decades have determined the relationship between political parties and interest groups in liberal democracies are political system and subsystem development, political culture and political ideology, centralization of government and policymaking, nature of the party system, political party dependence on interest groups, encompassing characteristics of the interest group system, interest group development, ideology, and leadership. However, the pandemic has influenced to a great extend the relationship between interest groups and politics. While Covid-19 crisis has consolidated power within governments, leaving opposition parties in a bind, on the other hand it has galvanized interest groups and businesses to mobilize. The pandemic has opened up the lobbying playing field to many new players. The paper aims to investigate to what extend the pandemic has influenced the relationship between political parties, government and interest groups and what strategies have these last ones used to get heard in a time when social distancing has reduced the opportunities for face-to-face lobbying. (shrink)

In this paper I investigate Putnam’s model-theoretic argument from a transcendent standpoint, in spite of Putnam’s well-known objections to such a standpoint. This transcendence, however, requires ascent to something more like a Tarskian meta-level than what Putnam regards as a “God’s eye view”. Still, it is methodologically quite powerful, leading to a significant increase in our investigative tools. The result is a shift from Putnam’s skeptical conclusion to a new understanding of realism, truth, correspondence, knowledge, and theories, or certain aspects (...) thereof, based on, among other things, a better understanding of what models are designed (and not designed) to do. (shrink)

In this paper, we review and connect the three essential conditions needed by the collapse model to achieve a complete and exact formulation, namely the theoretical, the experimental, and the ontological ones. These features correspond to the three parts of the paper. In any empirical science, the first two features are obviously connected but, as is well known, among the different formulations and interpretations of non-relativistic quantum mechanics, only collapse models, as the paper well illustrates with a richness of (...) details, have experimental consequences. Finally, we show that a clarification of the ontological intimations of collapse models is needed for at least three reasons: (1) to respond to the indispensable task of answering the question ’what are collapse models (and in general any physical theory) about?’; (2) to achieve a deeper understanding of their different formulations; (3) to enlarge the panorama of possible readings of a theory, which historically has often played a fundamental heuristic role. (shrink)

I am arguing that it is only by concentrating on the role of models in theory construction, interpretation and change, that one can study the progress of science sensibly. I define the level at which these models operate as a level above the purely empirical (consisting of various systems in reality) but also indeed below that of the fundamental formal theories (expressed linguistically). The essentially multi-interpretability of the theory at the general, abstract linguistic level, implies that it can potentially make (...) claims about systems in reality, other than the particular one which originally induced it. Any so-called correspondence relation between (systems in) reality and the entities and relations in some scientific theory, thus consists of two jumps or interpretations: from the theory (linguistic level) to some model of it (constructural level); and from there to some system in reality. Clearly then the level of fundamental theories cannot be ignored la Nancy Cartwright - in studying the relations between a theory and reality, because the particular features of the theory (the various systems in reality onto which the theory can be mapped) cannot be studied without the underlying knowledge that these systems have one common feature, namely that each of them is the range (or other pole) of a mapping of a context-specific model of the theory - which in itself, is a mapping, or more specifically, an interpretation of the theory. I am also claiming that the nature of these levels and the relations between them necessitate an epistemological rather than an ontological notion of truth criteria, and a referential rather than a representational link between science and reality. (shrink)

[...] I will only investigate [Austin's] claims as challenges to present-day model theoretic semantics. My main point will be to draw a sharp line between the semantic and pragmatic aspects of performatives and thereby discover a gap in Austin’s treatment. This will in my view naturally lead to the proposal in Section 2, that is, to treating performatives as denoting changes in intensional models. The rest of Section 2 will be concerned with the status of felicity conditions and a tentative (...) extension of Montague’s PTQ. (shrink)

In this paper the class of Fidel-structures for the paraconsistent logic mbC is studied from the point of view of Model Theory and Category Theory. The basic point is that Fidel-structures for mbC (or mbC-structures) can be seen as first-order structures over the signature of Boolean algebras expanded by two binary predicate symbols N (for negation) and O (for the consistency connective) satisfying certain Horn sentences. This perspective allows us to consider notions and results from Model Theory in order to (...) analyze the class of mbC-structures. Thus, substructures, union of chains, direct products, direct limits, congruences and quotient structures can be analyzed under this perspective. In particular, a Birkhoff-like representation theorem for mbC-structures as subdirect poducts in terms of subdirectly irreducible mbC-structures is obtained by adapting a general result for first-order structures due to Caicedo. Moreover, a characterization of all the subdirectly irreducible mbC-structures is also given. An alternative decomposition theorem is obtained by using the notions of weak substructure and weak isomorphism considered by Fidel for Cn-structures. (shrink)

The aim of this article is to demonstrate the thesis that the stabilization of Nigeria’s complicated political situation is furthered by the functioning in that country of institutions based on two models of interethnic power-sharing – consociationalism and centripetalism – and that the two are to some extent complementary in Nigerian practice, despite the fact that political theory sees the two as opposites of each other. The article begins with a short analysis of the political situation in Nigeria. This is (...) followed by a presentation of the problem of defining the notion of political stability and an assessment of the same in the Nigerian context. The article then goes on to discuss the nature of centripetalism and consociationalism and specific centripetal and consociational institutions involved in the stabilization of the political situation in Nigeria. The article ends with the author’s conclusions about the initial thesis. The article has been published in "Politeja" 2016, vol. 42, no. 3, pp. 53-73. For more on combining institutions of different models of power-sharing see: Krzysztof Trzcinski, Hybrid Power Sharing: On How to Stabilize the Political Situation in Multi-Segmental Societies, "Politeja" 2018, vol. 56, no. 5, pp. 86-107. (shrink)

Despite an enormous philosophical literature on models in science, surprisingly little has been written about data models and how they are constructed. In this paper, I examine the case of how paleodiversity data models are constructed from the fossil data. In particular, I show how paleontologists are using various model-based techniques to correct the data. Drawing on this research, I argue for the following related theses: first, the ‘purity’ of a data model is not a measure of its epistemic reliability. (...) Instead it is the fidelity of the data that matters. Second, the fidelity of a data model in capturing the signal of interest is a matter of degree. Third, the fidelity of a data model can be improved ‘vicariously’, such as through the use of post hoc model-based correction techniques. And, fourth, data models, like theoretical models, should be assessed as adequate for particular purposes. (shrink)

Since 1976 Hilary Putnam has on many occasions proposed an argument, founded on some model-theoretic results, to the effect that any philosophical programme whose purpose is to naturalize semantics would fail to account for an important feature of every natural language, the determinacy of reference. Here, after having presented the argument, I will suggest that it does not work, because it simply assumes what it should prove, that is that we cannot extend the metatheory: Putnam appears to think that all (...) we may determinately say about the relations between words and entities in the world is what the model theory tells us, but he has never offered justifications for that. At the end of the article, I will discuss the apparently reliable intuition that seems to me to be at the root of the argument, that is that, given a formal theory, there is an infinite number of ways of connecting it to, or of projecting it onto, the world. I will suggest that we should resist this intuition, because it rests on a very doubtful notion of world, which assumes that for any class of objects there is a corresponding property. (shrink)

One element in the choice of a constitutional design or model of democracy is the criterion of efficiency. Different political scientists, however, understand the word ‘efficiency’ in different ways. The author suggests a distinction between its two main meanings: (1) efficiency-action capacity and (2) effectiveness-socioeconomic performance. It is not just socio-economic effectiveness that is important, but also political efficiency-action capacity. Efficiency-action capacity is closely linked with the theory of democracy put forward by Schumpeter and adopted by the majority of political (...) scientists today. Thus efficiency is essential not only for the government (in that it simplifies the operation of power) but also, and even more importantly, for the governed, for the citizens (in that it simplifies the choice and peaceful removal of the rulers, i.e. the executive). (shrink)

I investigate how theoretical assumptions, pertinent to different perspectives and operative during the modeling process, are central in determining how nature is actually taken to be. I explore two different models by Michael Turelli and Steve Frank of the evolution of parasite-mediated cytoplasmic incompatility, guided, respectively, by Fisherian and Wrightian perspectives. Since the two models can be shown to be commensurable both with respect to mathematics and data, I argue that the differences between them in the (1) mathematical presentation (...) of the models, (2) explanations, and (3) objectified ontologies stem neither from differences in mathematical method nor the employed data, but from differences in the theoretical assumptions, especially regarding ontology, already present in the respective perspectives. I use my "set up, mathematically manipulate, explain, and objectify" (SMEO) account of the modeling process to track the model-mediated imposition of theoretical assumptions. I conclude with a discussion of the general implications of my analysis of these models for the controversy between Fisherian and Wrightian perspectives. (shrink)

Habit in semiosis can be modeled both as a macro-level in a hierarchical multi-level system where it functions as boundary conditions for emergence of semiosis, and as a cognitive niche produced by an ecologically-inherited environment of cognitive artifacts. According to the first perspective, semiosis is modeled in terms of a multilayered system, with micro functional entities at the lower-level and with higher-level processes being mereologically composed of these lower-level entities. According to the second perspective, habits are embedded in ecologically-inherited environments (...) of signs that co-evolve with cognition. Both descriptions offer a novel approximation of Peirce’s semiotics and theoretical findings in other areas (hierarchy theory, evolutionary biology), suggesting new frameworks to approach the concept of habit integrated with its role in semiosis. (shrink)

Building upon Nancy Cartwright's discussion of models in How the Laws of Physics Lie, this paper addresses solid state research in transition metal oxides. Historical analysis reveals that in this domain models function both as the culmination of phenomenology and the commencement of theoretical explanation. Those solid state chemists who concentrate on the description of phenomena pertinent to specific elements or compounds assess models according to different standards than those who seek explanation grounded in approximate applications of the Schroedinger (...) equation. Accurate accounts of scientific debate in this field must include both perspectives. (shrink)

It is a common view among philosophers of science that theoretical virtues (also known as epistemic or cognitive values), such as simplicity and consistency, play an important role in scientific practice. In this article, I set out to study the role that theoretical virtues play in scientific practice empirically. I apply the methods of data science, such as text mining and corpus analysis, to study large corpora of scientific texts in order to uncover patterns of usage. These patterns (...) of usage, in turn, might shed some light on the role that theoretical virtues play in scientific practice. Overall, the results of this empirical study suggest that scientists invoke theoretical virtues explicitly, albeit rather infrequently, when they talk about models (less than 30%), theories (less than 20%), and hypotheses (less than 15%) in their published works. To the extent that they are mentioned in scientific publications, the results of this study suggest that accuracy, consistency, and simplicity are the theoretical virtues that scientists invoke more frequently than the other theoretical virtues tested in this study. Interestingly, however, depending on whether they talk about hypotheses, theories, or models, scientists may invoke one of those theoretical virtues more than the others. (shrink)

In this article, we redefine classical notions of theory reduction in such a way that model-theoretic preferential semantics becomes part of a realist depiction of this aspect of science. We offer a model-theoretic reconstruction of science in which theory succession or reduction is often better - or at a finer level of analysis - interpreted as the result of model succession or reduction. This analysis leads to 'defeasible reduction', defined as follows: The conjunction of the assumptions of a reducing theory (...) T with the definitions translating the vocabulary of a reduced theory T' to the vocabulary of T, defeasibly entails the assumptions of reduced T'. This relation of defeasible reduction offers, in the context of additional knowledge becoming available, articulation of a more flexible kind of reduction in theory development than in the classical case. Also, defeasible reduction is shown to solve the problems of entailment that classical homogeneous reduction encounters. Reduction in the defeasible sense is a practical device for studying the processes of science, since it is about highlighting different aspects of the same theory at different times of application, rather than about naive dreams concerning a metaphysical unity of science. (shrink)

Putnam famously attempted to use model theory to draw metaphysical conclusions. His Skolemisation argument sought to show metaphysical realists that their favourite theories have countable models. His permutation argument sought to show that they have permuted models. His constructivisation argument sought to show that any empirical evidence is compatible with the Axiom of Constructibility. Here, I examine the metamathematics of all three model-theoretic arguments, and I argue against Bays (2001, 2007) that Putnam is largely immune to metamathematical challenges.

In a (2016) paper in this journal, I defuse allegations that theoretical ecological research is problematic because it relies on teleological metaphysical assumptions. Mark Sagoff offers a formal reply. In it, he concedes that I succeeded in establishing that ecologists abandoned robust teleological views long ago and that they use teleological characterizations as metaphors that aid in developing mechanistic explanations of ecological phenomena. Yet, he contends that I did not give enduring criticisms of theoretical ecology a fair shake (...) in my paper. He says this is because enduring criticisms center on concerns about the nature of ecological networks and forces, the instrumentality of ecological laws and theoretical models, and the relation between theoretical and empirical methods in ecology that that paper does not broach. Below I set apart the distinct criticisms Sagoff presents in his commentary and respond to each in turn. (shrink)

Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and (...) by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyse validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

This article shows how the MISS account of models—as isolations and surrogate systems—accommodates and elaborates Sugden’s account of models as credible worlds and Hausman’s account of models as explorations. Theoretical models typically isolate by means of idealization, and they are representatives of some target system, which prompts issues of resemblance between the two to arise. Models as representations are constrained both ontologically (by their targets) and pragmatically (by the purposes and audiences of the modeller), and these relations are coordinated (...) by a model commentary. Surrogate models are often about single mechanisms. They are distinguishable from substitute models, which are examined without any concern about their connections with the target. Models as credible worlds are surrogate models that are believed to provide access to their targets on account of their credibility (of which a few senses are distinguished). (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

It is regrettably common for theorists to attempt to characterize the Humean dictum that one can’t get an ‘ought’ from an ‘is’ just in broadly logical terms. We here address an important new class of such approaches which appeal to model-theoretic machinery. Our complaint about these recent attempts is that they interfere with substantive debates about the nature of the ethical. This problem, developed in detail for Daniel Singer’s and Gillian Russell and Greg Restall’s accounts of Hume’s dictum, is of (...) a general type arising for the use of model-theoretic structures in cashing out substantive philosophical claims: the question of whether an abstract model-theoretic structure successfully interprets something often involves taking a stand on non-trivial issues surrounding the thing. In the particular case of Hume’s dictum, given reasonable conceptual or metaphysical claims about the ethical, Singer’s and Russell and Restall’s accounts treat obviously ethical claims as descriptive and vice versa. Consequently, their model-theoretic characterizations of Hume’s dictum are not metaethically neutral. This encourages skepticism about whether model-theoretic machinery suffices to provide an illuminating distinction between the ethical and the descriptive. (shrink)

One striking feature of the contemporary modelling practice is its interdisciplinary nature. The same equation forms, and mathematical and computational methods, are used across different disciplines, as well as within the same discipline. Are there, then, differences between intra- and interdisciplinary transfer, and can the comparison between the two provide more insight on the challenges of interdisciplinary theoretical work? We will study the development and various uses of the Ising model within physics, contrasting them to its applications to (...) socio-economic systems. While the renormalization group methods justify the transfer of the Ising model within physics – by ascribing them to the same universality class – its application to socio-economic phenomena has no such theoretical grounding. As a result, the insights gained by modelling socio-economic phenomena by the Ising model may remain limited. (shrink)

Information-theoretic approaches to formal logic analyze the "common intuitive" concepts of implication, consequence, and validity in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; one given proposition is a consequence of a second if the latter contains all of the information contained by the former; an argument is valid if the conclusion contains no information beyond that of the premise-set. This (...) paper locates information-theoretic approaches historically, philosophically, and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and by contrasting them with standard transformation-theoretic approaches. Transformation-theoretic approaches analyze validity (and thus implication) in terms of transformations that map one argument onto another: a given argument is valid if no transformation carries it onto an argument with all true premises and false conclusion. Model-theoretic, set-theoretic, and substitution-theoretic approaches, which dominate current literature, can be construed as transformation-theoretic, as can the so-called possible-worlds approaches. Ontic and epistemic presuppositions of both types of approaches are considered. Attention is given to the question of whether our historically cumulative experience applying logic is better explained from a purely information-theoretic perspective or from a purely transformation-theoretic perspective or whether apparent conflicts between the two types of approaches need to be reconciled in order to forge a new type of approach that recognizes their basic complementarity. (shrink)

The aim of this article is to investigate the relevance and implications of synthetic models for the study of the interactive dimension of minimal life and cognition, by taking into consideration how the use of artificial systems may contribute to an understanding of the way in which interactions may affect or even contribute to shape biological identities. To do so, this article analyzes experimental work in synthetic biology on different types of interactions between artificial and natural systems, more specifically: between (...) protocells and between biological living cells and protocells. It discusses how concepts such as control, cognition, communication can be used to characterize these interactions from a theoretical point of view, which criteria of relevance and evaluation of synthetic models can be applied to these cases, and what are their limits. (shrink)

John Broome has developed an account of rationality and reasoning which gives philosophical foundations for choice theory and the psychology of rational agents. We formalize his account into a model that differs from ordinary choice-theoretic models through focusing on psychology and the reasoning process. Within that model, we ask Broome’s central question of whether reasoning can make us more rational: whether it allows us to acquire transitive preferences, consistent beliefs, non-akratic intentions, and so on. We identify three structural types of (...) rationality requirements: consistency requirements, completeness requirements, and closedness requirements. Many standard rationality requirements fall under this typology. Based on three theorems, we argue that reasoning is successful in achieving closedness requirements, but not in achieving consistency or completeness requirements. We assess how far our negative results reveal gaps in Broome's theory, or deficiencies in choice theory and behavioral economics. (shrink)

The incompleteness of set theory ZF C leads one to look for natural nonconservative extensions of ZF C in which one can prove statements independent of ZF C which appear to be “true”. One approach has been to add large cardinal axioms.Or, one can investigate second-order expansions like Kelley-Morse class theory, KM or Tarski-Grothendieck set theory T G or It is a nonconservative extension of ZF C and is obtained from other axiomatic set theories by the inclusion of Tarski’s axiom (...) which implies the existence of inaccessible cardinals. See also related set theory with a filter quantifier ZF (aa). In this paper we look at a set theory NC# ∞# , based on bivalent gyper infinitary logic with restricted Modus Ponens Rule In this paper we deal with set theory NC# ∞# based on bivalent gyper infinitary logic with Restricted Modus Ponens Rule. Nonconservative extensions of the canonical internal set theories IST and HST are proposed. (shrink)

In this paper we propose and analyze a game-theoretic model of the epistemology of peer disagreement. In this model, the peers' rationality is evaluated in terms of their probability of ending the disagreement with a true belief. We find that different strategies---in particular, one based on the Steadfast View and one based on the Conciliatory View---are rational depending on the truth-sensitivity of the individuals involved in the disagreement. Interestingly, the Steadfast and the Conciliatory Views can even be rational simultaneously in (...) some circumstances. We tentatively provide some reasons to favor the Conciliatory View in such cases. We argue that the game-theoretic perspective is a fruitful one in this debate, and this fruitfulness has not been exhausted by the present paper. (shrink)

I analyse three most interesting and extensive approaches to theoretical models: classical ones—proposed by Peter Achinstein and Michael Redhead, and the rela-tively rareanalysed approach of Ryszard Wójcicki, belonging to a later phase of his research where he gave up applyingthe conceptual apparatus of logical semantics. I take into consideration the approaches to theoretical models in which they are qualified as models representing the reality. That is why I omit Max Black’s and Mary Hesse’s concepts of such models, as (...) those two concepts belong to the analogue model group if we consider the main function of the model of a given class as its classification criterion. My main focus is on theoretical models with representative functions as these very models and, in a broader context, the question of representation. (shrink)

In computational cognitive science, a valuationist picture of human agent architecture has become widespread. At the heart of valuationism is a simple and sweeping claim: Every time an agent acts, they do so on the basis of value representations, which are, roughly, representations of the expected value of one’s response options. In this essay, I do three things. First, I give a systematic, philosophically rich account of the valuationist picture of agency. I also highlight the generality of the model in (...) explaining diverse forms of person-level agency. Second, I discuss connections between the valuationist model and two traditional models in philosophy, the belief/desire model and the decision-theoretic model. Valuationism is related to both, but critical differences remain. Third, I canvas the wide-ranging implications of valuationism for philosophical inquiry. Among other things, valuationism illuminates the elusive boundary between activity and passivity; it flips the standard philosophical understanding of decision around, with decision being a source of, rather than a product of, one’s agency; it reconceptualizes motivation as, in part, a representational phenomenon; it challenges a philosophical dogma that control over action is more extensive than control over belief; and it offers an intriguing “accuracy-based” approach to the normative criticism of agency. (shrink)

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...) of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

ABSTRACT Is there something specific about modelling that distinguishes it from many other theoretical endeavours? We consider Michael Weisberg’s thesis that modelling is a form of indirect representation through a close examination of the historical roots of the Lotka–Volterra model. While Weisberg discusses only Volterra’s work, we also study Lotka’s very different design of the Lotka–Volterra model. We will argue that while there are elements of indirect representation in both Volterra’s and Lotka’s modelling approaches, they are (...) largely due to two other features of contemporary model construction processes that Weisberg does not explicitly consider: the methods-drivenness and outcome-orientedness of modelling. 1Introduction 2Modelling as Indirect Representation 3The Design of the Lotka–Volterra Model by Volterra 3.1Volterra’s method of hypothesis 3.2The construction of the Lotka–Volterra model by Volterra 4The Design of the Lotka–Volterra Model by Lotka 4.1Physical biology according to Lotka 4.2Lotka’s systems approach and the Lotka–Volterra model 5Philosophical Discussion: Strategies and Tools of Modelling 5.1Volterra’s path from the method of isolation to the method of hypothesis 5.2The template-based approach of Lotka 5.3Modelling: methods-driven and outcome-oriented 6Conclusion. (shrink)

Slurs’ meaning is highly unstable. A slurring utterance like ‘Hey, F, where have you been?’ (where F is a slur) may receive a wide array of interpretations depending on various contextual factors such as the speaker’s social identity, their relationship to the target group, tone of voice, and more. Standard semantic, pragmatic, and non-content theories of slurs have proposed different mechanisms to account for some or all types of variability observed, but without providing a unified framework that allows us to (...) understand how different contextual factors simultaneously influence slurs’ interpretation. To address this issue, I argue that slurs convey dimensional qualities such as, e.g., ‘negative valence, neutral arousal, high dominance’ instead of discrete emotional categories such as ‘contempt’. Then, I translate this hypothesis into a game-theoretic model of slurs’ interpretation inspired by Heather Burnett’s pioneering work on identity construction. This new model, called ‘Affective Meaning Games’ (AMG), captures the variability of slurs and integrates pragmatic reasoning within an independently motivated psychological understanding of emotional states. (shrink)

The objective of the study was to develop a structural model that explores the relationship between Mathematics Performance and students’ self-regulated learning skills, grit, and expectancy-value towards science, technology, engineering and mathematics (STEM). The research collected survey data from 664 senior high school students from 17 STEM high schools, and conducted a covariance-based structural equation modeling (SEM) analysis. The results of the SEM analysis indicate that the Re-specified Self-Regulated Learning Skill – Expectancy-Value towards STEM – Grit – Mathematics Performance (Re-specified (...) SRL-EV-GR-MP) model is the most parsimonious fit, offering the best empirical support for the theoretical model of the study. The research findings suggest that the mathematics performance of senior high school students in STEM curriculum is attributed to their high expectancies for success and perceived values of the STEM tasks, high grit, and high self-regulated learning skills. Moreover, the research also observed evidence of mediating and moderating grit effects in the concurrent effects of expectancy-values towards STEM and self-regulated learning skills towards students’ mathematics performance. (shrink)

Until recently philosophy of physics has been overshadowed by the idea that the important philosophical issues that can be derived from physics are related only to fundamental theories, such as quantum mechanics and relativity. Applied fields of physics were deemed as unimportant. The argument for such a position lays in thinking that these applied fields of physics depend in their theoretical representations on fundamental theories and hence are reducible to these fundamental theories. It would be hard to defend such (...) a position, keeping in mind that applied fields of physics have a life of its own totally separate from fundamental physics and have in fact a lot to say to philosophers. The field of polymers is one of the branches of applied physics that has a lot to say to philosophers. It is a field of physics where theoreticians failed to present a coherent theory that can capture the different ways polymers can be built. This paper examines the difficulties that keep theoreticians away from having such a theory, revealing what kind of philosophical lessons polymers might have. The main thesis is: even in the cases where a theory predict the possibility of developing a specific type of polymers that was not previously known, the exact model that represent the outcome polymer theoretically will not be even in principle derivable from the theory that predicted its existence in the first place. (shrink)

Biosemiotics is a growing fi eld that investigates semiotic processes in the living realm in an attempt to combine the fi ndings of the biological sciences and semiotics. Semiotic processes are more or less what biologists have typically referred to as “ signals, ” “ codes, ”and “ information processing ”in biosystems, but these processes are here understood under the more general notion of semiosis, that is, the production, action, and interpretation of signs. Thus, biosemiotics can be seen as biology (...) interpreted as a study of living sign systems — which also means that semiosis or sign process can be seen as the very nature of life itself. In other words, biosemiotics is a field of research investigating semiotic processes (meaning, signification, communication, and habit formation in living systems) and the physicochemical preconditions for sign action and interpretation. -/- (...). (shrink)

Bayesian models can be related to cognitive processes in a variety of ways that can be usefully understood in terms of Marr's distinction among three levels of explanation: computational, algorithmic and implementation. In this note, we discuss how an integrated probabilistic account of the different levels of explanation in cognitive science is resulting, at least for the current research practice, in a sort of unpredicted epistemological shift with respect to Marr's original proposal.