Aristotle is oftentimes viewed through a strictly philosophical lens as heir to Plato and has having introduced logical rigor where an emphasis on the theory of Forms formerly prevailed. It must be appreciated that Aristotle was the son of a physician, and that his inculcation of the thought of other Greek philosophers addressing health and the natural elements led to an extremely broad set of biologically- and medically-related writings. As this article proposes, Aristotle deepened the fourfold theory of (...) the elements with anatomic and physiologic observations. In books like History of Animals, Parts of Animals, and the lost Anatomai, he actively dissected organisms and recorded his findings. The corpus of medically-related literature Aristotle developed had a direct influence on subsequent Greek thinkers, including Galen, and on Medieval Islamic and modern Western practitioners such as William Harvey. Aristotle's ideas continue to influence modern medical thinkers in Europe and America through both his interpretation by European philosophers gaining the attention of medical humanists, and his writings' enduring impact on medical researchers balancing scientific with more personalistic approaches to medicine. (shrink)

The estrangement between genetic scientists and theologians originating in the 1960s is reflected in novel combinations of human thought (subject) and genes (investigational object), paralleling each other through the universal process known in chaos theory as self-similarity. The clash and recombination of genes and knowledge captures what Philip Hefner refers to as irony, one of four voices he suggests transmit the knowledge and arguments of the religion-and-science debate. When viewed along a tangent connecting irony to leadership, journal dissemination, and (...) the activities of the "public intellectual" and the public at large, the sequence of voices is shown to resemble the passage of genetic information from DNA to mRNA, tRNA, and protein, and from cell nucleus to surrounding environment. In this light, Hefner's inquiry into the voices of Zygon is bound up with the very subject matter Zygon covers. (shrink)

Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled in’ elements of (...) truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the (...) normative principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

In this paper a unified theory of models and thought experiments is proposed by considering them as fictions, la Vaihinger. In order to reach this aim, the Hertzian and Botzmannian interpretation of theories as Bilder is reconsidered.

The “erasing race” effect is the reduction of the salience of “race” as an alliance cue when recalling coalition membership, once more accurate information about coalition structure is presented. We conducted a random-effects model meta-analysis of this effect using five United States studies (containing nine independent effect sizes). The effect was found (ρ = 0.137, K = 9, 95% CI = 0.085 to 0.188). However, no decline effect or moderation effects were found (a “decline effect” in this context would be (...) a decrease in the effect size over time). Furthermore, we found little evidence of publication bias. Synthetically correcting the effect size for bias stemming from the use of an older method for calculating error base rates reduced the magnitude of the effect, but the it remained significant. Taken together, these findings indicate that the “erasing race” effect generalizes quite well across experimental contexts and would, therefore, appear to be quite robust. We reinterpret the theoretical basis for these effects in line with Brunswikian evolutionary-developmental theory and present a series of predictions to guide future research in this area. (shrink)

This volume contains the proceedings of the 1963 Berkeley symposium on the theory of models, and is one of the three or four most important collections of papers in logic ever to appear. There are forty-four papers, grouped into eight categories: model theory of first-order languages, model theory of richer classical languages, model theory of nonclassical languages, mathematical structures, model-theoretic results in set-theory, model-theoretic results in number theory and analysis, model-theoretic results in algebra (...) and geometry, model-theoretic results in the empirical sciences. One could not begin to list here the contributors and their papers, but the list of sections does exhibit the vast sweep of the topics. The scholarly value of the collection is increased by an attempt to standardize terminology and notation, notes on what model theory is—its place in logic and foundational studies—and does, and a huge bibliography which not only lists nearly all papers on model theory up to 1963, but which serves as a common reference source for all papers. A list of participants in the symposium is included. All the papers are in English.—P. J. M. (shrink)

The purpose of this paper is to provide an analysis of the concept of model as it is applied in the physical sciences, and to show that this analysis is fruitful insofar as it can be used as an acceptable account of the role of models in physical explanation.A realist interpretation of theories is adopted as a point of departure. A distinction between theories and models is drawn on the basis of this interpretation. The relation between model and (...) prototype is expressed in terms of the concepts of access and accessibility, and four conditions are proposed as an analysis of the concept of model. It is concluded that models are introduced when approximate methods are used. (shrink)

The purpose of this paper is to provide an analysis of the concept of model as it is applied in the physical sciences, and to show that this analysis is fruitful insofar as it can be used as an acceptable account of the role of models in physical explanation.A realist interpretation of theories is adopted as a point of departure. A distinction between theories and models is drawn on the basis of this interpretation. The relation between model and (...) prototype is expressed in terms of the concepts of access and accessibility, and four conditions are proposed as an analysis of the concept of model. It is concluded that models are introduced when approximate methods are used. (shrink)

A major challenge for research in artificial intelligence is to develop systems that can infer the goals, beliefs, and intentions of others (i.e., systems that have theory of mind, ToM). In this research, we propose a cognitive ToM framework that uses a well-known theory of decisions from experience to construct a computational representation of ToM. Instance-based learning theory (IBLT) is used to construct a cognitive model that generates ToM from the observation of other agents' behavior. The IBL (...) model of the observer distinguishes itself from previous models of ToM that make unreasonable assumptions about human cognition, are hand-crafted for particular settings, complex, or unable to explain a cognitive development of ToM compared to human's ToM. The IBL model learns from the observation of goal-directed agents' behavior in a gridworld navigation task, and it infers and predicts the behaviors of the agents in new gridworlds across different degrees of decision complexity in similar ways to the way human observers do. We provide evidence for the alignment of the IBL observer's predictions under various levels of decision complexity. We also advance the demonstration of the IBL predictions using a classic test of false beliefs (the Sally–Anne test), which is commonly used to test ToM in humans. We discuss our results and the potential of the IBL observer model to improve human–machine interactions. (shrink)

Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the mappings between (...) these scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. (shrink)

This study examines the use of a modified form of the theory of planned behavior in understanding the decisions of undergraduate students in engineering and humanities to engage in cheating. We surveyed 527 randomly selected students from three academic institutions. Results supported the use of the model in predicting ethical decision-making regarding cheating. In particular, the model demonstrated how certain variables (gender, discipline, high school cheating, education level, international student status, participation in Greek organizations or other clubs) and moral (...) constructs related to intention to cheat, attitudes toward cheating, perceptions of norms with respect to cheating, and ultimately cheating behaviors. Further the relative importance of the theory of planned behavior constructs was consistent regardless of context, whereas the contributions of variables included in the study that were outside the theory varied by context. Of particular note were findings suggesting that the extent of cheating in high school was a strong predictor of cheating in college and that engineering students reported cheating more frequently than students in the humanities, even when controlling for the number of opportunities to do so. (shrink)

We prove some results about the model theory of fields with a derivation of the Frobenius map, especially that the model companion of this theory is axiomatizable by axioms used by Wood in the case of the theory $\operatorname {DCF}_p$ and that it eliminates quantifiers after adding the inverse of the Frobenius map to the language. This strengthens the results from [4]. As a by-product, we get a new geometric axiomatization of this model companion. Along the way (...) we also prove a quantifier elimination result, which holds in a much more general context and we suggest a way of giving “one-dimensional” axiomatizations for model companions of some theories of fields with operators. (shrink)

What would be an adequate theory of social understanding? In the last decade, the philosophical debate has focused on Theory Theory, Simulation Theory and Interaction Theory as the three possible candidates. In the following, we look carefully at each of these and describe its main advantages and disadvantages. Based on this critical analysis, we formulate the need for a new account of social understanding. We propose the Person Model Theory as an independent new account (...) which has greater explanatory power compared to the existing theories. (shrink)

We use the Drozd-Warfield structure theorem for finitely presented modules over a serial ring to investigate the model theory of modules over a serial ring, in particular, to give a simple description of pp-formulas and to classify the pure-injective indecomposable modules. We also study the question of whether every pure-injective indecomposable module over a valuation ring is the hull of a uniserial module.

We study model theory of fields with actions of a fixed finite group scheme. We prove the existence and simplicity of a model companion of the theory of such actions, which generalizes our previous results about truncated iterative Hasse–Schmidt derivations [13] and about Galois actions [14]. As an application of our methods, we obtain a new model complete theory of actions of a finite group on fields of finite imperfection degree.

The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω-inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. Firstly, I exhibit some conceptual problems that follow from so introducing it. Secondly, (...) I show that in second order theories with standard semantics the same procedure yields a theory that doesn’t have models. So, while having an ω- inconsistent theory is a bad thing, having an unsatisfiable theory of truth is actually worse. This casts doubts on whether the predicate in question is, after all, a truthpredicate for that language. Finally, I present some alternatives to prove an inconsistency adding plausible principles to certain theories of truth. (shrink)

One takes advantage of some basic properties of every homotopic \(\lambda\)-model (e.g. extensional Kan complex) to explore the higher \(\beta\eta\)-conversions, which would correspond to proofs of equality between terms of a theory of equality of any extensional Kan complex. Besides, Identity types based on computational paths are adapted to a type-free theory with higher \(\lambda\)-terms, whose equality rules would be contained in the theory of any \(\lambda\)-homotopic model.

This papers deals with the class of axiomatic theories of truth for semantically closed languages, where the theories do not allow for standard models; i.e., those theories cannot be interpreted as referring to the natural number codes of sentences only (for an overview of axiomatic theories of truth in general, see Halbach[6]). We are going to give new proofs for two well-known results in this area, and we also prove a new theorem on the nonstandardness of a certain (...) class='Hi'>theory of truth. The results indicate that the proof strategies for all the theorems on the nonstandardness of such theories are "essentially" of the same kind of structure. (shrink)

Having entered into the problem structuring methods, system dynamics (SD) is an approach, among systems’ methodologies, which claims to recognize the main structures of socio-economic behaviors. However, the concern for building or discovering strong philosophical underpinnings of SD, undoubtedly playing an important role in the modeling process, is a long-standing issue, in a way that there is a considerable debate about the assumptions or the philosophical foundations of it. In this paper, with a new perspective, we have explored theory (...) of knowledge in SD models and found strange similarities between classic epistemological concepts such as justification and truth, and the mechanism of obtaining knowledge in SD models. In this regard, we have discussed related theories of epistemology and based on this analysis, have suggested some implications for moderating common problems in the modeling process of SD. Furthermore, this research could be considered a reword of system dynamics modeling principles in terms of theory of knowledge. (shrink)

The signaling theory of religion has many claimed virtues, but these are not necessarily all realizable at the same time. Modeling choices involve trade-offs, and the available options here have not traditionally been well understood. This paper offers an overview of signaling theory relevant to the signaling theory of religion, arguing for a narrow, “core” reading of it. I outline a broad taxonomy of the choices on offer for signaling models, and examples of how previous and (...) potential approaches to modeling religious signaling meet or fail to meet the initial promise of the theory. A pluralist approach to religious signaling seems possible, but this would require a high level of detail and specificity with respect to both formal models and target systems. (shrink)

This paper develops the model theory of ordered structures that satisfy Keisler’s regularity scheme and its strengthening REF ${(\mathcal{L})}$ (the reflection scheme) which is an analogue of the reflection principle of Zermelo-Fraenkel set theory. Here ${\mathcal{L}}$ is a language with a distinguished linear order <, and REF ${(\mathcal {L})}$ consists of formulas of the form $$\exists x \forall y_{1} < x \ldots \forall y_{n} < x \varphi (y_{1},\ldots ,y_{n})\leftrightarrow \varphi^{ < x}(y_1, \ldots ,y_n),$$ where φ is an ${\mathcal{L}}$ (...) -formula, φ theory T in a countable language ${\mathcal{L}}$ with a distinguished linear order:Some model of T has an elementary end extension with a first new element.T ⊢ REF ${(\mathcal{L})}$ .T has an ω 1-like model that continuously embeds ω 1.For some regular uncountable cardinal κ, T has a κ-like model that continuously embeds a stationary subset of κ.For some regular uncountable cardinal κ, T has a κ-like model ${\mathfrak{M}}$ that has an elementary extension in which the supremum of M exists.Moreover, if κ is a regular cardinal satisfying κ = κ <κ , then each of the above conditions is equivalent to: T has a κ + -like model that continuously embeds a stationary subset of κ. (shrink)

A Steiner triple system (STS) is a set S together with a collection B of subsets of S of size 3 such that any two elements of S belong to exactly one element of B. It is well known that the class of finite STS has a Fraïssé limit M_F. Here, we show that the theory T of M_F is the model completion of the theory of STSs. We also prove that T is not small and it has (...) quantifier elimination, TP2, NSOP1, elimination of hyperimaginaries and weak elimination of imaginaries. (shrink)

Since digital piracy has posed a significant threat to the development of the software industry and the growth of the digital media industry, it has, for the last decade, held considerable interest for researchers and practitioners. This article will propose an integrated model that combines the theory of planned behavior (TPB) and ethics theory, the two theories that are most often used in digital piracy studies. Data were obtained from university students in China, and the model was examined (...) using the structural equation model (SEM). The results show that moral obligation and justice, derived from ethics theories and TPB variables, such as attitude, subjective norms, and perceived behavioral control, influence the behavioral intentions of individuals to commit digital piracy. The attitude of individuals toward digital piracy is also found to be influenced by perceived benefits, perceived risk, and habit. (shrink)

One of the most debated questions in psychology and cognitive science is the nature and the functioning of the mental processes involved in deductive reasoning. However, all existing theories refer to a specific deductive domain, like syllogistic, propositional or relational reasoning.Our goal is to unify the main types of deductive reasoning into a single set of basic procedures. In particular, we bring together the microtheories developed from a mental models perspective in a single theory, for which we provide (...) a formal foundation. We validate the theory through a computational model (UNICORE) which allows fine‐grained predictions of subjects' performance in different reasoning domains.The performance of the model is tested against the performance of experimental subjects—as reported in the relevant literature—in the three areas of syllogistic, relational and propositional reasoning. The computational model proves to be a satisfactory artificial subject, reproducing both correct and erroneous performance of the human subjects. Moreover, we introduce a developmental trend in the program, in order to simulate the performance of subjects of different ages, ranging from children (3–6) to adolescents (8–12) to adults (>21). The simulation model performs similarly to the subjects of different ages.Our conclusion is that the validity of the mental model approach is confirmed for the deductive reasoning domain, and that it is possible to devise a unique mechanism able to deal with the specific subareas. The proposed computational model (UNICORE) represents such a unifying structure. (shrink)

The primary aim of this paper is to critically evaluate the deductive model of ethical applications, which is based on normative ethical theories like deontology and consequentialism, and to show why a number of models have failed to furnish appropriate resolutions to practical moral problems. Here, for the deductive model, I want to call it a “Linear Mechanical Model” because the basic assumption of this model is that if a normative theory is sacrosanct, then the case is as (...) it is. The conclusion derived from the case will also be correct, true and acceptable. However, traditional ethicists used to apply their ethical theories, but they did not know which moral theory was effective on the ground level of reality. The study will show readers how ethical theories are in conflict with each other in the case of euthanasia. In more precise words, “which ethical theories are said to be applied, meta-ethical or normative, or both for the resolution of ethical problems? If normative theories are said to be applied, how the application can take place when it is contrary to our experience, that (then) in a situation of moral crises, no one really applies a theory?” For that, my argument is the linear model has failed because it is rigid, often ignores the agents’ intrinsic values, and has no space to amend it, no matter how bizarre the consequence is. Its alternative is the Inductive model. For that, the paper will take three moral principles (autonomy, beneficence including maleficence, and justice) of Beauchamp & Childress. This suggests us for resolving value-laden moral problems, we should consider some steps such as a) recognising moral issues to start with; b) developing the moral imagination; c) sharpening analytical/critical skills; d) testing out disagreements; e) effecting decisions and behavior; and f) implementation, closure, and process are of vital importance, in other words, it starts with the free and informed consensus of all interested parties, but this model also has been failed because the model could not give a systematic organization to their way of resolution. Here, my argument is that the inductive model provides resolution of the practical problem but ignores what is ethically obligatory, permissible, or wrong in that situation, and there are no appropriate suggestions in the case of a moral crisis. (shrink)

We investigate theories of initial segments of the standard models for arithmetics. It is easy to see that if the ordering relation is definable in the standard model then the decidability results can be transferred from the infinite model into the finite models. On the contrary we show that the Σ₂—theory of multiplication is undecidable in finite models. We show that this result is optimal by proving that the Σ₁—theory of multiplication and order is decidable (...) in finite models as well as in the standard model. We show also that the exponentiation function is definable in finite models by a formula of arithmetic with multiplication and that one can define in finite models the arithmetic of addition and multiplication with the concatenation operation. We consider also the spectrum problem. We show that the spectrum of arithmetic with multiplication and arithmetic with exponentiation is strictly contained in the spectrum of arithmetic with addition and multiplication. (shrink)

David Danks. Psychological Theories of Categorizations as Probabilistic Models.

I provide a theory of causation within the causal modeling framework. In contrast to most of its predecessors, this theory is model-invariant in the following sense: if the theory says that C caused (didn't cause) E in a causal model, M, then it will continue to say that C caused (didn't cause) E once we've removed an inessential variable from M. I suggest that, if this theory is true, then we should understand a cause as something (...) which transmits deviant or non-inertial behavior to its effect. (shrink)

Abstract:This article sets out two central theses. Both theses primarily involve a fundamental criticism of current contractarian business ethics (CBE), but if these can be sustained, they also constitute two boundary conditions for any future contractarian theory of business ethics. The first, which I label the self-discipline thesis, claims that current CBE would gain considerably in focus if more attention were paid to the logic of the social contract argument. By this I mean the aims set by the theorist (...) and method of reasoning by which normative conclusions are drawn in the contract model. The second, to which I refer as the domain-specificity thesis, argues that current CBE needs to be better adapted to its field of application and the specific goals which it aims to establish. I will substantiate these two theses on the basis of a comparative analysis of CBE with two earlier families of social contract theories. (shrink)

This paper establishes model-theoretic properties of \, a variation of monadic first-order logic that features the generalised quantifier \. We will also prove analogous versions of these results in the simpler setting of monadic first-order logic with and without equality and \, respectively). For each logic \ we will show the following. We provide syntactically defined fragments of \ characterising four different semantic properties of \-sentences: being monotone and continuous in a given set of monadic predicates; having truth preserved under (...) taking submodels or being truth invariant under taking quotients. In each case, we produce an effectively defined map that translates an arbitrary sentence \ to a sentence \ belonging to the corresponding syntactic fragment, with the property that \ is equivalent to \ precisely when it has the associated semantic property. As a corollary of our developments, we obtain that the four semantic properties above are decidable for \-sentences. (shrink)