In the last decade, reading research has seen a paradigmatic shift. A new wave of computational models of orthographic processing that offer various forms of noisy position or context-sensitive coding have revolutionized the field of visual word recognition. The influx of such models stems mainly from consistent findings, coming mostly from European languages, regarding an apparent insensitivity of skilled readers to letter order. Underlying the current revolution is the theoretical assumption that the insensitivity of readers to letter order reflects the (...) special way in which the human brain encodes the position of letters in printed words. The present article discusses the theoretical shortcomings and misconceptions of this approach to visual word recognition. A systematic review of data obtained from a variety of languages demonstrates that letter-order insensitivity is neither a general property of the cognitive system nor a property of the brain in encoding letters. Rather, it is a variant and idiosyncratic characteristic of some languages, mostly European, reflecting a strategy of optimizing encoding resources, given the specific structure of words. Since the main goal of reading research is to develop theories that describe the fundamental and invariant phenomena of reading across orthographies, an alternative approach to model visual word recognition is offered. The dimensions of a possible universal model of reading, which outlines the common cognitive operations involved in orthographic processing in all writing systems, are discussed. (shrink)

Beginning with the initial premise that as the Internet has a global character, the paper will argue that the normative evaluation of digital information on the Internet necessitates an evaluative model that is itself universal and global in character. The paper will show that information has a dual normative structure that commits all disseminators of information to both epistemological and ethical norms that are in principle universal and thus global in application. Based on this dual normative characterization (...) of information the paper will seek to demonstrate: that information and internet information specifically, as a process and product of communication, has an inherent normative structure that commits its producers, disseminators, communicators and users, everyone in fact that deals with information, to certain mandatory epistemological and ethical commitments; and that the negligent or purposeful abuse of information in violation of the epistemological and ethical commitments to which its inherent normative structure gives rise is also a violation of universal rights to freedom and wellbeing to which all agents are entitled by virtue of being agents, and in particular informational agents. (shrink)

Suppose that λ=λ <λ ≥ℵ0, and we are considering a theory T. We give a criterion on T which is sufficient for the consistent existence of λ++ universal models of T of size λ+ for models of T of size ≤λ+, and is meaningful when 2λ +>λ++. In fact, we work more generally with abstract elementary classes. The criterion for the consistent existence of universals applies to various well known theories, such as triangle-free graphs and simple theories. Having in (...) mind possible applications in analysis, we further observe that for such λ, for any fixed μ>λ+ regular with μ=μλ+, it is consistent that 2λ=μ and there is no normed vector space over ℚ of size <μ which is universal for normed vector spaces over ℚ of dimension λ+ under the notion of embedding h which specifies (a,b) such that ||h(x)/||x∈(a,b) for all x. (shrink)

Since its formal definition over sixty years ago, category theory has been increasingly recognized as having a foundational role in mathematics. It provides the conceptual lens to isolate and characterize the structures with importance and universality in mathematics. The notion of an adjunction (a pair of adjoint functors) has moved to center-stage as the principal lens. The central feature of an adjunction is what might be called "internalization through a universal" based on universal mapping properties. A recently developed (...) "heteromorphic" theory of adjoint functors allows the concepts to be more easily applied empirically. This suggests a conceptual structure, albeit abstract, to model a range of selectionist mechanisms (e.g., in evolution and in the immune system). Closely related to adjoints is the notion of a "brain functor" which abstractly models structures of cognition and action (e.g., the generative grammar view of language). (shrink)

How should universities help their life science faculty members to integrate discussions of ethics into their courses? The Iowa State University Model Bio-ethics Institutes offer one model.

Proponents of evolutionary psychology take the existence of humanuniversals to constitute decisive evidence in favor of their view. Ifthe same social norms are found in culture after culture, we have goodreason to believe that they are innate, they argue. In this paper Ipropose an alternative explanation for the existence of humanuniversals, which does not depend on them being the product of inbuiltpsychological adaptations. Following the work of Brian Skyrms, I suggestthat if a particular convention possesses even a very small advantageover (...) competitors, whatever the reason for that advantage, we shouldexpect it to become the norm almost everywhere. Tiny advantages aretranslated into very large basins of attraction, in the language of gametheory. If this is so, universal norms are not evidence for innatepsychological adaptations at all. Having shown that the existence ofuniversals is consistent with the so-called Standard Social ScienceModel, I turn to a consideration of the evidence, to show that thisstyle of explanation is preferable to the evolutionary explanation, atleast with regard to patterns of gender inequality. (shrink)

Reading development is integral to a universal model of reading. Developmental research can tell us which factors drive reading acquisition and which are the product of reading. Like adult research, developmental research needs to be contextualised within the language and writing system and it needs to include key cross-linguistic evaluations. This will create a universal model of reading development.

We survey the use of club guessing and other PCF constructs in the context of showing that a given partially ordered class of objects does not have a largest, or a universal, element.

Since Magellan's round-the-world voyage (1521), international issues have been embroiled in universalist claims. This paper investigates the controversial nature of a new economic universalism in the light of the social deficiencies and the limits of the available resources. The model of a global consumerism turns out to be inaccessible for billions of people. The market conceals a social dimension which ethics, equity, governance and identity are attempting to reintroduce. Consumerist universalism is faltering. The search for an alternative development (...) class='Hi'>model is crucial. It will need to be technically sustainable, socially more equitable, culturally more diverse and politically more participative. (shrink)

I argue, contra Frost, that when prime lexicality and target density are considered, it is not clear that there are fundamental differences between form priming effects in Semitic and European languages. Furthermore, identifying and naming printed words in these languages raises common theoretical problems. Solving these problems and developing a universal model of reading necessitates the orthographic input code.

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)

One of the great successes of the application of generalized quantifiers to natural language has been the ability to formulate robust semantic universals. When such a universal is attested, the question arises as to the source of the universal. In this paper, we explore the hypothesis that many semantic universals arise because expressions satisfying the universal are easier to learn than those that do not. While the idea that learnability explains universals is not new, explicit accounts of (...) learning that can make good on this hypothesis are few and far between. We propose a model of learning — back-propagation through a recurrent neural network — which can make good on this promise. In particular, we discuss the universals of monotonicity, quantity, and conservativity and perform computational experiments of training such a network to learn to verify quantifiers. Our results are able to explain monotonicity and quantity quite well. We suggest that conservativity may have a different source than the other universals. (shrink)

Frost has given us good reason to question the universality of existing computational models of reading. Yet, he has not provided arguments showing that all languages share fundamental and invariant reading universals. His goal of outlining the blueprint principles for a universal model of reading is premature. Further, it is questionable whether natural evolution can provide the optimal solutions that Frost invokes.

We give a detailed account of the Algebraically Closed and Existentially Closed members of the second Lee class B 2 of distributive p-algebras, culminating in an explicit construction of the countable homogeneous universal model of B 2. The axioms of Schmid [7], [8] for the AC and EC members of B 2 are reduced to what we prove to be an irredundant set of axioms. The central tools used in this study are the strong duality of Clark and (...) Davey [3] for B 2 and the method of Clark [2] for constructing AC and EC algebras using a strong duality. Applied to B 2, this method transfers the entire discussion into an equivalent dual category X 2 of Boolean spaces which carry a pair of tightly interacting orderings. The doubly ordered spaces of X 2 prove to be much more readily constructed and analyzed than the corresponding algebras in B 2. (shrink)

In this paper we investigate fuzzy propositional and first order logics which are complete or strongly complete with respect to a single chain, and we relate this properties with the existence of a universal chain for the logic.

The principles for universal reading models proposed by Frost correspond to developmental theories, in which neurocognitive constraints and cultural experiences shape development. We question his contention that Hebrew word identification is fundamentally about roots, excluding verbal and nominal word-pattern morphemes; and we propose that readers use all information available in stimuli, adjusting for volume and usefulness.

We agree with many of the principles proposed by Frost but highlight crucial caveats and report research findings that challenge several assertions made in the target article. We discuss the roles that visual processing, development, and bilingualism play in visual word recognition and reading. These are overlooked in all current models, but are fundamental to any universal model of reading.

The properties of a specific orthography dictate the way people read it. We bring considerations from dyslexia to suggest that the claim can be extended further. First, the effect of orthographic neighborhood density can be extended beyond letter-position encoding and beyond the orthographic lexicon. Second, Hebrew and Arabic differ with respect to letter forms, and hence, in letter-position encoding.

We suggest that the linguistic characteristics of letters also need to be considered to fully understand how a reader processes printed words. For example, studies in Korean showed that unambiguity in the assignment of letters to their appropriate onset, vowel, or coda slot is one of the main sources of the letter-transposition effect. Indeed, the cognitive system that processes Korean is tuned to the structure of the Korean writing system.

A universal property of visual word identification is position-invariant letter identification, such that the letter is coded in the same way in CAT and ACT. This should provide a fundamental constraint on theories of word identification, and, indeed, it inspired some of the theories that Frost has criticized. I show how the spatial coding scheme of Colin Davis can, in principle, account for contrasting transposed letter priming effects, and at the same time, position-invariant letter identification.

We introduce the oak property of first order theories, which is a syntactical condition that we show to be sufficient for a theory not to have universal models in cardinality λ when certain cardinal arithmetic assumptions about λ implying the failure of GCH hold. We give two examples of theories that have the oak property and show that none of these examples satisfy SOP4, not even SOP3. This is related to the question of the connection of the property SOP4 (...) to non-universality, as was raised by the earlier work of Shelah. One of our examples is the theory for which non-universality results similar to the ones we obtain are already known; hence we may view our results as an abstraction of the known results from a concrete theory to a class of theories. We show that no theory with the oak property is simple. (shrink)

The paper comments and elaborates upon five pages of P. F. Strawson’s Individuals , together with his ‘Entity and Identity’ and ‘Universals’. The focus is on Strawson’s understanding of individual non-particulars as types or universals, and on his contention that the most obvious non-particular entities are the broadly conceived artefacts including the works of art. The narrow focus is on the implications of Strawson’s suggestion that ‘an appropriate model for non-particulars of these kinds is that of a model (...) particular - a kind of prototype, or ideal example, itself particular, which serves as a rule or standard for the production of others’ . The paper analyzes the relation between Strawson’s position and the issue of artefacts and their ontology. It also asks about some less obvious affinities between the problem of the non-particulars and Strawson’s concept of a person. (shrink)

Comparisons across languages have long been a means to investigate universal properties of the cognitive system. Although differences between languages may be salient, it is the underlying similarities that have advanced our understanding of language processing. Frost is not unique in emphasizing that the interaction among linguistic codes reinforces the inadequacy of constructing a model of word recognition where orthographic processes operate in isolation.

There are universals of language; but is it also true, as the target article claims, that there are universals of reading? We believe there are no such universals, and invite others to refute our claim by providing a list of some universals of reading. If there are no universals of reading, there cannot be a universal model of reading.

The remarkable successes of the physical sciences have been built on highly general quantitative laws, which serve as the basis for understanding an enormous variety of specific physical systems. How far is it possible to construct universal principles in the cognitive sciences, in terms of which specific aspects of perception, memory, or decision making might be modelled? Following Shepard (e.g., ), it is argued that some universal principles may be attainable in cognitive science. Here, 2 examples are proposed: (...) the simplicity principle (which states that the cognitive system prefers patterns that provide simpler explanations of available data); and the scale‐invariance principle, which states that many cognitive phenomena are independent of the scale of relevant underlying physical variables, such as time, space, luminance, or sound pressure. This article illustrates how principles may be combined to explain specific cognitive processes by using these principles to derive SIMPLE, a formal model of memory for serial order (), and briefly mentions some extensions to models of identification and categorization. This article also considers the scope and limitations of universal laws in cognitive science. (shrink)

In this paper, I first argue against various attempts to justify idealizations in scientific models that explain by showing that they are harmless and isolable distortions of irrelevant features. In response, I propose a view in which idealized models are characterized as providing holistically distorted representations of their target system. I then suggest an alternative way that idealized modeling can be justified by appealing to universality.

Can one hold both that universals exist in the strongest sense (i.e., neither in language nor in thought, nor in their instances) and that they exist contingently—and still make sense? Edmund Husserl thought so. In this paper I present a version of his view regimented in terms of modal logic cum possible-world semantics. Crucial to the picture is the distinction between two accessibility relations with different structural properties. These relations are cashed out in terms of two Husserlian notions of imagination: (...) world-bound and free. After briefly presenting the Husserlian framework—his intentionalism, idealism and how universals figure in them—I set up my modal machinery, model the target view, and show that, depending on the chosen accessibility relation, the necessary or the contingent existence of universals can be derived. Importantly, since for Husserl both relations are bona fide, both derivations are legitimate. In Husserl’s philosophy, then, there is room for both necessary and contingent universals. (shrink)

We investigate a notion called uniqueness in power κ that is akin to categoricity in power κ, but is based on the cardinality of the generating sets of models instead of on the cardinality of their universes. The notion is quite useful for formulating categoricity-like questions regarding powers below the cardinality of a theory. We prove, for universal theories T, that if T is κ-unique for one uncountable κ, then it is κ-unique for every uncountable κ; in particular, it (...) is categorical in powers greater than the cardinality of T. (shrink)

In this article, I will reconstruct the monocausal model and argue that modern 'multifactorial diseases' are not monocausal by definition. 'Multifactorial diseases' are instead defined according to a constitutive disease model. On closer analysis, infectious diseases are also defined using the constitutive model rather than the monocausal model. As a result, our classification models alone cannot explain why infectious diseases have a universal etiology while chronic and noncommunicable diseases lack one. The explanation is instead provided (...) by the nineteenth-century germ theorists. (shrink)

Today it would be considered "bad Platonic metaphysics" to think that among all the concrete instances of a property there could be a universal instance so that all instances had the property by virtue of participating in that concrete universal. Yet there is a mathematical theory, category theory, dating from the mid-20th century that shows how to precisely model concrete universals within the "Platonic Heaven" of mathematics. This paper, written for the philosophical logician, develops this category-theoretic treatment (...) of concrete universals along with a new concept to abstractly model the functions of a brain. (shrink)

This paper shows how the universals of category theory in mathematics provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. The paper also shows how the always-self-predicative universals of category theory provide the "opposite bookend" to the never-self-predicative universals of iterative set theory and thus that the paradoxes arose (...) from having one theory (e.g., Frege's Paradise) where universals could be either self-predicative or non-self-predicative (instead of being always one or always the other). (shrink)

Main objective of this paper is to describe emergence of a Polish Universities of the Third Age model. These are a multidisciplinary non-formal education centers, which allow formation of positive responses to the challenges of an ageing population. Article indicates main organizational changes of these institutions conditioned by internal and external factors. Essay describes transformation, differentiation factors, and characteristics of these institutions for elderly based on a critical analysis of literature.

In the United Kingdom (and elsewhere), there are moves to extend formal ethical review of research involving human subjects beyond the traditional oversight by NHS local or multi-centre research ethics committees of medical or clinical research, to also encompass all ‘non-clinical’ research involving human subjects. This paper describes and analyses the development and implementation of a model for ethical review within the university sector. At Cardiff University, a devolved or two-tiered system of ethics review has been created in which (...) a top-level university research ethics committee provides policy advice to and oversight of school-based research ethics committees that engage in formal ethics review of research conducted in their respective schools. We describe the system and reflect on the challenges and benefits of implementing such a coordinated and comprehensive university-wide system of ethics review. (shrink)

"Technological balance" occurs automatically when the designer, builder, and user of a tool is the same person. "Technological imbalance" occurs when these activities become separated and in opposition to one another. Tools become menacing exoge nous objects. We see a shift in connotation of the word technology from the skill of the person to the object produced. Designers and builders create tools with the passive consent and willful ignorance of users. Curricula often contribute to this imbalance. Apprentice designers and builders (...) receive specialized instruction in creating objects, whereas users uncritically learn the procedural requirements of the resulting objects. This system of education turns "machine tending" into a pedagogical goal. The university has the potential to become a model of technological balance for the soci ety as a whole using such means as selecting tools that encourage balance, "technology audits, " and break ing down the specializations among designers, builders, and users. (shrink)

The title alone of McCall’s book reveals its ambitious enterprise. The book’s structure is a long inference to the best explanation: chapters present problems that are solved by a single, ontological model. Problems as diverse as time flow, quantum measurement, counterfactual semantics, and free will are discussed. McCall’s style of writing is lucid and pointed—in general, very pleasant to read.

The ‘model approach’ facilitates a quantitative-oriented study of conceptual changes in large corpora. This paper implements the ‘model approach’ to investigate the erosion of the traditional art-nature distinction in early modern natural philosophy. I argue that a condition for this transformation has to be located in the late scholastic conception of final causation. I design a conceptual model to capture the art-nature distinction and formulate a working hypothesis about its early modern fate. I test my hypothesis on (...) a selected corpus of 25 works published in the Dutch academic milieu between 1607 and 1748. I analyse the corpus through a procedure based on concordancing of keywords associated with the model. I argue that the results obtained constitute a successful pilot study for the implementation of the model approach on larger scale research. (shrink)

Model transfer refers to the observation that particular model structures are used across multiple distinct scientific domains. This paper puts forward an account to explain the inter-domain transfer of model structures. Central in the account is the role of validation criteria in determining whether a model is considered to be useful by practitioners. Validation criteria are points of reference to which model correctness for a particular purpose is assessed. I argue that validation criteria can be (...) categorized as being mathematical, theoretical or phenomenological in nature. Model transfer is explained by overlap in validation criteria between scientific domains. Particular emphasis is placed on overlap between phenomenological criteria. Overlap in phenomenological criteria can be explained through the notion of universal patterns. Universal patterns are abstract structures that can be made to refer to multiple distinct phenomena when coupled with phenomena-specific empirical content. I present the case study of the Yule Process, in which universal patterns play a crucial role in explaining model transfer. This paper provides an account of model transfer that stays close to modelling practice and expands existing accounts by introducing the notion of universal patterns. (shrink)

Necessary and sufficient conditions are presented for the (first-order) theory of a universal class of algebraic structures (algebras) to have a model completion, extending a characterization provided by Wheeler. For varieties of algebras that have equationally definable principal congruences and the compact intersection property, these conditions yield a more elegant characterization obtained (in a slightly more restricted setting) by Ghilardi and Zawadowski. Moreover, it is shown that under certain further assumptions on congruence lattices, the existence of a (...) class='Hi'>model completion implies that the variety has equationally definable principal congruences. This result is then used to provide necessary and sufficient conditions for the existence of a model completion for theories of Hamiltonian varieties of pointed residuated lattices, a broad family of varieties that includes lattice-ordered abelian groups and MV-algebras. Notably, if the theory of a Hamiltonian variety of pointed residuated lattices has a model completion, it must have equationally definable principal congruences. In particular, the theories of lattice-ordered abelian groups and MV-algebras do not have a model completion, as first proved by Glass and Pierce, and Lacava, respectively. Finally, it is shown that certain varieties of pointed residuated lattices generated by their linearly ordered members, including lattice-ordered abelian groups and MV-algebras, can be extended with a binary operation to obtain theories that do have a model completion. (shrink)

The paper proposes a financial model suitable for ensuring the economic, financial and social sustainability of this basic protection. We have calculated the estimated cost for the Spanish population in 2010 and have estimated the cost for the following 12 years (three legislatures) under a range of demographic and economic assumptions. The results are then analysed to draw conclusions about the viability and sustainability of this basic social protection floor. A remarkable finding is that it is feasible to obtain (...) greater coverage, but by requiring contributions of the State or other financial resources. (shrink)

Group work is a very common practice in higher education when it comes to developing key competences for students’ personal and professional growth. The goals that students pursue when working in teams determine how they organize and regulate their behavior and how they approach the tasks. The academic goals are a relevant variable that can condition the success of the group, as they guide and direct the students towards involvement in the task, the effort they make, and the desire to (...) increase their academic competence, and their learning. Thus, the need arises to create new evaluation instruments to help us understand the importance of academic goals when students work as a team. The purpose of this paper is to corroborate the construct validity of the Questionnaire on Teamwork Learning Goals (QTLG) based on the Achievement Goal Questionnaire (3x2 AGQ) of Elliot, Murayama & Pekrun (2011) in the context of teamwork, and to determine if the model 3X2 offers a better fit to the data than other models, such as: 2x2; Trichotomous; Definition; Valence, among others. The results obtained from a sample of 700 students from 6 Spanish universities confirm that, in the context of teamwork, the 3x2 model fits the data better than the rest of the models subjected to confirmatory analysis, with contrasting evidence of validity and reliability. Therefore, we considered it a useful instrument for studying motivation in the group work context. The QTLG has practical applications, allowing us to explore in detail the academic goals of university students. (shrink)