Turing Patterns and Biological Explanation

Turing patterns are a class of minimal mathematical models that have been used to discover and conceptualize certain abstract features of early biological development. This paper examines a range of these minimal models in order to articulate and elaborate a philosophical analysis of their epistemic uses. It is argued that minimal mathematical models aid in structuring the epistemic practices of biology by providing precise descriptions of the quantitative relations between various features of the complex systems, generating novel predictions that can be compared with experimental data, promoting theory exploration, and acting as constitutive parts of empirically adequate explanations of naturally occurring phenomena, such as biological pattern formation. Focusing on the roles that minimal model explanations play in science motivates the adoption of a broader diachronic view of scientific explanation

Metaphoric coherence: Distinguishing verbal metaphor from `anomaly\u27

Theories and computational models of metaphor comprehension generally circumvent the question of metaphor versus “anomaly” in favor of a treatment of metaphor versus literal language. Making the distinction between metaphoric and “anomalous” expressions is subject to wide variation in judgment, yet humans agree that some potentially metaphoric expressions are much more comprehensible than others. In the context of a program which interprets simple isolated sentences that are potential instances of cross‐modal and other verbal metaphor, I consider some possible coherence criteria which must be satisfied for an expression to be “conceivable” metaphorically. Metaphoric constraints on object nominals are represented as abstracted or extended along with the invariant structural components of the verb meaning in a metaphor. This approach distinguishes what is preserved in metaphoric extension from that which is “violated”, thus referring to both “similarity” and “dissimilarity” views of metaphor. The role and potential limits of represented abstracted properties and constraints is discussed as they relate to the recognition of incoherent semantic combinations and the rejection or adjustment of metaphoric interpretations

Classification and unjust enrichment

[First paragraph] One of the most striking changes in academic research and teaching in recent times has been the appearance of a new subject under the name of restitution or unjust enrichment. This has transformed the treatment of various areas of the common law that were historically neglected, confused and obscure, and has had, over a relatively short period, a marked effect on the approach of some judges to these areas. One of the most influential works has been Peter Birks's An Introduction to the Law of Restitution,1 originally published nearly twenty years ago. Much of the literature has been concerned with exploring issues identified by Birks, in the terminology and according to the general approach that he adopted. Birks has been influential not only through this book and the numerous articles and other books that developed and modified his views, but also through scholarship that he has facilitated and promoted: important work has been produced by his research students and by participants in academic seminars and conferences organised by him. In addition, the Restitution Law Review, which Birks helped to found, has provided a new forum for the promotion and discussion of these developments

Constraint Handling Rules with Binders, Patterns and Generic Quantification

Constraint Handling Rules provide descriptions for constraint solvers. However, they fall short when those constraints specify some binding structure, like higher-rank types in a constraint-based type inference algorithm. In this paper, the term syntax of constraints is replaced by $\lambda$-tree syntax, in which binding is explicit; and a new $\nabla$ generic quantifier is introduced, which is used to create new fresh constants.Comment: Paper presented at the 33nd International Conference on Logic Programming (ICLP 2017), Melbourne, Australia, August 28 to September 1, 2017 16 pages, LaTeX, no PDF figure

Heterogeneities in amorphous systems under shear

The last decade has seen major progresses in studies of elementary mechanisms of deformation in amorphous materials. Here, we start with a review of physically-based theories of plasticity, going back to the identification of "shear-transformations" as early as the 70's. We show how constructive criticism of the theoretical models permits to formulate questions concerning the role of structural disorder, mechanical noise, and long-ranged elastic interactions. These questions provide the necessary context to understand what has motivated recent numerical studies. We then summarize their results, show why they had to focus on athermal systems, and point out the outstanding questions.Comment: Chapter of "Dynamical Heterogeneities in glasses, colloids and granular materials", Eds.: L. Berthier, G. Biroli, J-P Bouchaud, L. Cipelletti and W. van Saarloos (Oxford University Press, to appear), more info at http://w3.lcvn.univ-montp2.fr/~lucacip/DH_book.ht

Extensional Collapse Situations I: non-termination and unrecoverable errors

We consider a simple model of higher order, functional computation over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable errors, taken separately or jointly. We show that the models so defined form a lattice when ordered by the extensional collapse situation relation, introduced in order to compare models with respect to the amount of "intensional information" that they provide on computation. The proofs are carried out by exhibiting suitable applied {\lambda}-calculi, and by exploiting the fundamental lemma of logical relations

Understanding analogical reasoning : viewpoints from psychology and related disciplines

Analogy and metaphor have a long history of study in linguistics, education, philosophy and psychology. Consensus over what analogy is or how analogy functions in language and thought, however, has been elusive. This paper, the first in a two part series, examines these various research traditions, attempting to bring out major lines of agreement over the role of analogy in individual human experience. As well as being a general literature review which may be helpful for newcomers to the study of analogy, this paper attempts to extract from these literatures existing theories, models and concepts which may be interesting or useful for computational studies of analogical reasoning

Substantivism about truth

Substantivism is a general philosophical methodology advocating a substantive approach to philosophical theorizing. In this article, I present an overview of this methodology with a special emphasis on the field of truth. I begin with a framework for understanding what is at stake in the substantivist–deflationist debate and describe the substantivist critique of deflationism. I then proceed to discuss contemporary substantivism as a positive methodology, present examples of recent substantivist theories of truth, delineate several principles of philosophical substantivism, and connect it to contemporary thought about the nature and methods of philosophy. Due to limitations of space, I am unable to discuss all the forms contemporary substantivism has taken. But I try to give a clear sense of the central principles, challenges, and promise of this methodology