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)

" In Imagination and the Meaningful Brain, psychoanalyst Arnold Modell claims that subjective human experience must be included in any scientific...

Abstract.Since the gene splicing debates of the 1980s, the public has been exposed to an ongoing sequence of genetic and reproductive technologies. Many issue areas have outcomes that lose track of people's inner values or engender opposing religious viewpoints defying final resolution. This essay relocates the discussion of what is an acceptable application from the individual to the societal level, examining technologies that stand to address large numbers of people and thus call for policy resolution, rather than individual fiat, in (...) their application. A major source of guidance is the “Genetic Frontiers” series of professional dialogues and conferences held by the National Conference for Community and Justice from 2002 to 2004. Genetic testing, human gene therapy, genetic engineering of plants and animals, and stem cell technology are examined. While differences in perspective on the beginning of life persist, a stepwise approach to the examination of genetic testing reveals areas of general agreement. Stewardship of life, human co‐creativity with the divine, and social justice help define the bounds of application of genetic engineering and therapy; compassionate care plays a major role in establishing stem cell policy. Active, sustained dialogue is a useful resource for enabling sharing of religious values and crystallization of policies. (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)

This paper outlines the demographic characteristics of the Baiga tribe, one of the most primitive of the aboriginal tribal groups of Central India. The Baiga population has grown steadily since the first anthropological study of the tribe in the 1930s. Age at menarche, age at marriage, breast-feeding, and time interval between marriage and first conception are natural. There are more females than males. Sub-tribe endogamy is common; consanguineous marriage is favoured (34% of marriages are between first cousins) and marital distance (...) is low (mean 7·1 km). Though the mean menarcheal age is high (15·2 years), mean age at first marriage is low (16·6 years), giving a long reproductive period. (shrink)

one takes to be the most salient, any pair could be judged more similar to each other than to the third. Goodman uses this second problem to showthat there can be no context-free similarity metric, either in the trivial case or in a scientifically ...

Saturated models constitute one of the powerful methods of conventional model theory, with many applications. Here we develop a categorical abstract model theoretic approach to saturated models within the theory of institutions. The most important consequence is that the method of saturated models becomes thus available to a multitude of logical systems from logic or from computing science. In this paper we define the concept of saturated model at an abstract institution-independent level and develop the fundamental existence (...) and uniqueness theorems. As an application we prove a general institution-independent version of the Keisler–Shelah isomorphism theorem “any two elementarily equivalent models have isomorphic ultrapowers” (assuming Generalized Continuum Hypothesis). (shrink)

The models of the electric charge and magnetic moment are presented based on the nonlinear response of a vacuum on the applied electric and magnetic fields. The model of the electric charge contains one parameter—the radius of charge—and predicts one value of the electric charge for all elementary particles independently on the value of this radius. Different values of this parameter for the electron are discussed.

Modelling with Words is an emerging modelling methodology closely related to the paradigm of Computing with Words introduced by Lotfi Zadeh. This book is an authoritative collection of key contributions to the new concept of Modelling with Words. A wide range of issues in systems modelling and analysis is presented, extending from conceptual graphs and fuzzy quantifiers to humanist computing and self-organizing maps. Among the core issues investigated are - balancing predictive accuracy and high level transparency in learning - scaling (...) linguistic algorithms to high-dimensional data problems - integrating linguistic expert knowledge with knowledge derived from data - identifying sound and useful inference rules - integrating fuzzy and probabilistic uncertainty in data modelling. (shrink)

(2013). Statistical models as cognitive models of individual differences in reasoning. Argument & Computation: Vol. 4, Formal Models of Reasoning in Cognitive Psychology, pp. 89-102. doi: 10.1080/19462166.2012.674061.

We characterize when the elementary diagram of a mutually algebraic structure has a model complete theory, and give an explicit description of a set of existential formulas to which every formula is equivalent. This characterization yields a new, more constructive proof that the elementary diagram of any model of a strongly minimal, trivial theory is model complete.

How climate models came to gain and exercise epistemic authority has been a key concern of recent climate change historiography. Using newly released archival materials and recently conducted interviews with key actors, we reconstruct negotiations between UK climate scientists and policymakers which led to the opening of the Hadley Centre for Climate Prediction and Research in 1990. We historicize earlier arguments about the unique institutional culture of the Hadley Centre, and link this culture to broader characteristics of UK regulatory (...) practice and environmental politics. A product of a particular time and place, the Hadley Centre was shaped not just by scientific ambition, but by a Conservative governmental preference for ‘sound science’ and high evidential standards in environmental policymaking. Civil servants sought a prediction programme which would appeal to such sensibilities, with transient and regional climate simulation techniques seemingly offering both scientific prestige and persuasive power. Beyond the national level, we also offer new insights into the early role of the Intergovernmental Panel on Climate Change and an evolving international political context in the shaping of scientific practices and institutions. (shrink)

Models as Make-Believe offers a new approach to scientific modelling by looking to an unlikely source of inspiration: the dolls and toy trucks of children's games of make-believe.

Adding certain cardinality quantifiers into first-order language will give substantially more expressive languages. Thus, many mathematical concepts beyond first-order logic can be handled. Since basic modal logic can be seen as the bisimular invariant fragment of first-order logic on the level of models, it has no ability to handle modally these mathematical concepts beyond first-order logic. By adding modalities regarding the cardinalities of successor states, we can, in principle, investigate modal logics of all cardinalities. Thus ways of exploring model-theoretic (...) logics can be transferred to modal logics. (shrink)

In this review, we discuss the application of mouse models to the identification and pre‐clinical validation of novel therapeutic targets in colorectal cancer, and to the search for early disease biomarkers. Large‐scale genomic, transcriptomic and epigenomic profiling of colorectal carcinomas has led to the identification of many candidate genes whose direct contribution to tumourigenesis is yet to be defined; we discuss the utility of cross‐species comparative ‘omics‐based approaches to this problem. We highlight recent progress in modelling late‐stage disease using (...) mice, and discuss ways in which mouse models could better recapitulate the complexity of human cancers to tackle the problem of therapeutic resistance and recurrence after surgical resection. (shrink)

This paper focuses on abduction as explicit or readily formulatable inference to possible explanatory hypotheses--as contrasted with inference to conceptual innovations or abductive logic as a cycle of hypotheses, deduction of consequences and inductive testing. Inference to an explanation is often a matter of projection or extrapolation of elements of accepted theory for the solution of outstanding problems in particular domains of inquiry. I say "projections or extrapolation" of accepted theory, but I mean to point to something broader and suggest (...) how elements of accepted theory constrain emergent models and plausible inferences to explanations--in a quasi-rationalist fashion. I draw on illustrations from quantum gravity below just because there is so little direct evidence available in the field. It is in such cases that Peirce's discussions of abductive inference provide the most plausible support for the idea of a logic of abduction--as inference to readily formulatable explanatory hypotheses. The possible need for conceptual innovation points to the limits on the possibility of a logic of abduction of a more rationalistic character--selecting uniquely superior explanations. Abduction conceived as a repeated cycle of inquiry also points to limits on our expectations for an abductive logic. My chief point is that the character of inference to an explanation, viewed below as embedded within arguments from analogy, is so little compelling, as a matter of logical form alone, that there will always be a pluralism of plausible alternatives among untested hypotheses and inferences to them--calling for some comparative evaluation. This point leads on to some consideration of the virtues of hypotheses--as a description of the range of this pluralism. (shrink)

This chapter distinguishes two different modeling relations between vehicles and targets: design relation and representation relation. The relations are characterized by their different directions of fit. Three examples of modeling enterprises are discussed: a bioengineering model, called the “lung chip,” an architectural model, called the “weekend cottage,” and an engineering design model, called the “jet engine.” The two modeling relations with different directions of fit are analyzed in the three examples. The lung chip is standing in a representation relation to (...) its corresponding target and the modeling of the cottage involves a design relation to its target. With the help of these examples a basic assumption of philosophy of engineering and philosophy of technology is challenged. These examples show that it is not strictly speaking true that engineering modeling is exclusively about how things should be rather than about how things are. It is shown that a representation relation is prominently involved in the first model of the lung chip. This modeling involves reasoning about how things are rather than about how things should be. So, one modeling enterprise seems to be rather about what is than about what should be. The other two examples may be seen as confirming evidence for the basic assumption. What is common to all three models is that they involve design and representation relations. (shrink)