We show that knowledge satisfies interpersonal independence, meaning that a non-trivial sentence describing one agent’s knowledge cannot be equivalent to a sentence describing another agent’s knowledge. The same property of interpersonal independence holds, mutatis mutandis, for belief. In the case of knowledge, interpersonal independence is implied by the fact that there are no non-trivial sentences that are common knowledge in every model of knowledge. In the case of belief, interpersonal independence follows from a strong interpersonal independence that knowledge does not (...) have. Specifically, there is no sentence describing the beliefs of one person that implies a sentence describing the beliefs of another person. (shrink)

The eminent philosopher Keith Lehrer offers an original and distinctively personal view of central aspects of the human condition, such as reason, knowledge, wisdom, autonomy, love, consensus, and consciousness. He argues that what is uniquely human is our capacity for evaluating our own mental states (such as beliefs and desires), and suggests that we have a system for such evaluation which allows the resolution of personal and interpersonal conflict. The keystone in this system is self-trust, on which reason, knowledge, (...) and wisdom are grounded. (shrink)

This book is available either individually, or as part of the specially-priced Arguments of the Philosphers Collection.

Introduction The purpose of this study is to characterize a conception of prayer that plays an important role in the religious thought of the medieval ...

We examine the problem of generating definite noun phrases that are appropriate referring expressions; that is, noun phrases that (a) successfully identify the intended referent to the hearer whilst (b) not conveying to him or her any false conversational implicatures (Grice, 1975). We review several possible computational interpretations of the conversational implicature maxims, with different computational costs, and argue that the simplest may be the best, because it seems to be closest to what human speakers do. We describe our recommended (...) algorithm in detail, along with a specification of the resources a host system must provide in order to make use of the algorithm, and an implementation used in the natural language generation component of the IDAS system. (shrink)

Persistent activity can be the product of mechanisms other than attractor reverberations. The single-unit data presented by Amit cannot discriminate between the different mechanisms. In fact, single-unit data do not appear to be adequate for testing neural network models.

We use a new construction of an o-minimal structure, due to Lipshitz and Robinson, to answer a question of van den Dries regarding the relationship between arbitrary o-minimal expansions of real closed fields and structures over the real numbers. We write a first order sentence which is true in the Lipshitz-Robinson structure but fails in any possible interpretation over the field of real numbers.

We construct a new class of 1 categorical structures, disproving Zilber's conjecture, and study some of their properties.

[1]: meha-haḳdamah ṿe-ʻad pereḳ 19 --.

In this Article we examine Israel’s ongoing process of bank privatization to explore the link between privatization programs and the ownership structure of public companies. Our thesis is that concentrated ownership provides regulators with a platform for exerting informal influence over corporate decision-making. This platform serves regulators as a safety valve when all else fails, especially when they would like firms to terminate senior executives or board members. Communicating with controlling shareholders increases the likelihood that both the regulatory intervention and (...) the reasons underlying it will remain confidential. Moreover, controlling shareholders can make swift decisions and implement them quickly, with no need for formal group deliberation. When informal influence is important — as in the case of banks — the government may prefer firms with controlling shareholders to widely held firms. It may therefore prefer to sell a control block in the firm undergoing privatization rather than distribute its shares through the stock market. (shrink)

A first order theory T of power λ is called unidimensional if any twoλ+-saturated models of T of the same cardinality are isomorphic. We prove here that such theories are superstable, solving a problem of Shelah. The proof involves an existence theorem and a definability theorem for definable groups in stable theories, and an analysis of their relation to regular types.

This study compares the argumentative writing characteristics of students from different sociocultural backgrounds. We focused on Jewish ultra-Orthodox (Haredi) students, educated in a segregated religious school for boys (yeshiva), who are now attempting to integrate in secular higher education in Israel. To better understand the unique characteristics of this population, we reviewed 92 essays written by Haredi students, and compared them with 76 essays by public education (PE) graduates. Our analysis was based on the cognitive and sociocultural perspectives of argumentation. (...) Both bottom-up and top-down criteria were used to elicit the argumentative writing characteristics either emerging from the data or based on existing theories. Our primary findings indicate that Haredi students have distinct argumentative characteristics, including the use of more complex and dialectic arguments and unique persuasive tactics. These findings are discussed in light of previous research on yeshiva learning methods and recommendations are provided for adjusting the existing higher education curricula to suit both PE and Haredi students. (shrink)

Reviewed Works:B. I. Zil'ber, L. Pacholski, J. Wierzejewski, A. J. Wilkie, Totally Categorical Theories: Structural Properties and the Non-Finite Axiomatizability.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories. II.B. I. Zil'ber, Strongly Minimal Countably Categorical Theories. III.B. I. Zil'ber, E. Mendelson, Totally Categorical Structures and Combinatorial Geometries.B. I. Zil'ber, The Structure of Models of Uncountably Categorical Theories.

We attempt to formulate issues around modularity and Zilber’s trichotomy in a setting that intersects additive combinatorics. In particular, we update the open problems on quasi-finite structures from [9].

Using methods of geometric stability , we determine the structure of Abelian groups definable in ACFA, the model companion of fields with an automorphism. We also give general bounds on sets definable in ACFA. We show that these tools can be used to study torsion points on Abelian varieties; among other results, we deduce a fairly general case of a conjecture of Tate and Voloch on p-adic distances of torsion points from subvarieties.

Kueker's conjecture is proved for stable theories, for theories that interpret a linear ordering, and for theories with Skolem functions. The proof of the stable case involves certain results on coordinatization that are of independent interest.

The dichotomy between Nature and Nurture, which has been dismantled within the framework of development, remains embodied in the notions of plasticity and evolvability. We argue that plasticity and evolvability, like development and heredity, are neither dichotomous nor distinct: the very same mechanisms may be involved in both, and the research perspective chosen depends to a large extent on the type of problem being explored and the kinds of questions being asked. Epigenetic inheritance leads to transgenerationally extended plasticity, and developmentally-induced (...) heritable epigenetic variations provide additional foci for selection that can lead to evolutionary change. Moreover, hereditary innovations may result from developmentally induced large-scale genomic repatterning events, which are akin to Goldschmidtian “systemic mutations”. The epigenetic mechanisms involved in repatterning can be activated by both environmental and genomic stress, and lead to phylogenetic as well as ontogenetic changes. Hence, the effects and the mechanisms of plasticity directly contribute to evolvability. (shrink)

We are concerned with identifying by how much a finite cover of an 0-categorical structure differs from a sequence of free covers. The main results show that this is measured by automorphism groups which are nilpotent-by-abelian. In the language of covers, these results say that every finite cover can be decomposed naturally into linked, superlinked and free covers. The superlinked covers arise from covers over a different base, and to describe this properly we introduce the notion of a quasi-cover.These results (...) generalise results of the second author obtained in the case where the base of the cover is a grassmannian of a disintegrated set. They also give a complete proof of a statement of the second author extending this case to the case of a grassmannian of a modular set. To do this, we need to analyse the possible superlinked covers of such a set.We also give a combinatorial condition on the base of a cover which guarantees various chain conditions on finite covers over this base, and introduce a pregeometry which is useful in the analysis of finite covers with simple fibre groups. (shrink)

The aim of the book is to explore common concerns regarding methodological individualism in different fields of the life sciences broadly construed. It will address conceptual problems regarding individuals and their relation and dependence on the collectivities they are part of and consider innovative new viewpoints, grounded in specific scientific projects that question the present descriptions and understanding and raise challenges. A wide variety of recent, influential contributions in the life sciences utilize notions of collectivity, sociality, rich interactions and emergent (...) phenomena, as essential explanatory tools to handle numerous persistent scientific questions in the life sciences. -/- Examples range from gene expression and regulation, the dynamics of bacterial populations, the ecological developmental biology of symbiosis, levels of selection, to communication, motion and patterns of behavior in diverse life forms, the role of social institutions and cultural dynamics in human evolution, and the psychological basis for social norms. The book is being structured so that fruitful and rewarding disciplinary interactions take place among researchers and scholars who have been concerned with overcoming methodological individualism. -/- The books includes a section of four papers on holobionts and the hologenome theory and a special memorial article on the work of the late Prof. Eshel Ben-Jacob authored by Herbert Levine. (shrink)

Keith Lehrer has been publishing on free will and compatiblism since 1960. Our concern here is to present an account of the development on his work on the subject.

We prove (Proposition 2.1) that if $\mu$ is a generically stable measure in an NIP (no independence property) theory, and $\mu(\phi(x,b))=0$ for all $b$ , then for some $n$ , $\mu^{(n)}(\exists y(\phi(x_{1},y)\wedge \cdots \wedge\phi(x_{n},y)))=0$ . As a consequence we show (Proposition 3.2) that if $G$ is a definable group with fsg (finitely satisfiable generics) in an NIP theory, and $X$ is a definable subset of $G$ , then $X$ is generic if and only if every translate of $X$ does not (...) fork over $\emptyset$ , precisely as in stable groups, answering positively an earlier problem posed by the first two authors. (shrink)

A biographical sketch of the Hologenome Theory.

Since the ENCODE project published its final results in a series of articles in 2012, there is no consensus on what its implications are. ENCODE’s central and most controversial claim was that there is essentially no junk DNA: most sections of the human genome believed to be «junk» are functional. This claim was met with many reservations. If researchers disagree about whether there is junk DNA, they have first to agree on a concept of function and how function, given a (...) particular definition, can be discovered. The ENCODE debate centered on a notion of function that assumes a strong dichotomy between evolutionary and non-evolutionary function and causes, prevalent in the Modern Evolutionary Synthesis. In contrast to how the debate is typically portrayed, both sides share a commitment to this distinction. This distinction is, however, much debated in alternative approaches to evolutionary theory, such as the EES. We show that because the ENCODE debate is grounded in a particular notion of function, it is unclear how it connects to broader debates about what is the correct evolutionary frame- work. Furthermore, we show how arguments brought forward in the controversy, particularly arguments from mathematical population genetics, are deeply embedded in their particular disciplinary contexts, and reflect substantive assumptions about the evolution of genomes. With this article, we aim to provide an anatomy of the ENCODE debate that offers a new perspective on the notions of function both sides employed, as well as to situate the ENCODE debate within wider debates regarding the forces operating in evolution. (shrink)

Organisms inherit various kinds of developmental information and cues from their parents. The study of inheritance systems is aimed at identifying and classifying the various mechanisms and processes of heredity, the types of hereditary information that is passed on by each, the functional interaction between the different systems, and the evolutionary consequences of these properties. We present the discussion of inheritance systems in the context of several debates. First, between proponents of monism about heredity (gene-centric views), holism about heredity (Developmental (...) Systems Theory), and those stressing the role of multiple systems of inheritance. Second, between those analyzing inheritance solely in terms of replication and transmission, and views that stress the multi-generation reproduction of phenotypic traits. A third debate is concerned with different criteria that have been proposed for identifying and delimiting inheritance systems. A fourth controversy revolves around the significance of the “Lamarckian” aspects of some of the inheritance systems that have been identified, such as epigenetic inheritance and behavioral inheritance, that allow the transmission of environmentally induced characters (i.e., “soft inheritance”). (shrink)