The focus of this paper is Derrida's idea of rhythm. I will analyse how the idea of rhythm can work in a contemporary semiotic, and in particular in a semiotic of interpretation, in order to eliminate the confusion between interpretation and semantics and to constitute a syntacticmodel of interpretation. In ‘The Double Session’ Derrida uses the Greek word rytmos in order to indicate the ‘law of spacing’. Rytmos is a form that is always about to change or (...) to break up, because it is not a definitive form. It is a not-proper form. But when I say here that a rhythmic relation is a not-proper form, the word ‘proper’ is intended in the sense of Heidegger's Eigentlichkeit. In this sense a not-proper relation is a relation which is not grounded on a justification. What I'm trying to demonstrate in this essay is that the rhythmic relation discovers another sense of the word ‘proper’, another meaning, which is far from Heidegger's Eigentlichkeit. In this sense, it is possible to say that the problem of a rhythmic relation is the problem of a relation between ‘two’ that is not justified by the third element which makes it proper or eigentlich. (shrink)
The psycholinguistic literature has identified two syntactic adaptation effects in language production: rapidly decaying short-term priming and long-lasting adaptation. To explain both effects, we present an ACT-R model of syntactic priming based on a wide-coverage, lexicalized syntactic theory that explains priming as facilitation of lexical access. In this model, two well-established ACT-R mechanisms, base-level learning and spreading activation, account for long-term adaptation and short-term priming, respectively. Our model simulates incremental language production and in a (...) series of modeling studies, we show that it accounts for (a) the inverse frequency interaction; (b) the absence of a decay in long-term priming; and (c) the cumulativity of long-term adaptation. The model also explains the lexical boost effect and the fact that it only applies to short-term priming. We also present corpus data that verify a prediction of the model, that is, that the lexical boost affects all lexical material, rather than just heads. (shrink)
This commentary discusses the relation between Grodzinsky's target article and Friederici's (1995) model of syntactic processing. The two models can be made more compatible if it is assumed that people with Broca's aphasia have a problem in trace construction rather than trace deletion, and that the process of trace construction takes place during the second early syntactic substage of Friederici's model.
I argue that, contrary to common opinion, (i) unintended models do not pose a significant problem for syntactic approaches to scientific theories, (ii) in syntactic approaches, scientific theories can be as well connected to the world as in semantic ones, and (iii) some syntactic approaches are at least as language independent as semantic ones. Based on these results, I argue that syntactic and semantic approaches fare equally well when it comes to (iv) capturing the theory-observation relation, (...) (v) ease of application, and (vi) accommodating the use of models in the sciences. (shrink)
"New wave" reductionism aims at advancing a kind of reduction that is stronger than unilateral dependency of the mental on the physical. It revolves around the idea that reduction between theoretical levels is a matter of degree, and can be laid out on a continuum between a "smooth" pole (theoretical identity) and a "bumpy" pole (extremely revisionary). It also entails that both higher and lower levels of the reductive relationship sustain some degree of explanatory autonomy. The new wave predicts that (...) reductions of folk psychology to neuroscience will be located in the middle of this continuum; as neuroscientific evidence about mental states checks in, theoretical folk psychology will therefore be moderately revised. However, the model has conceptual problems which preclude its success in reviving reductionism, and its commitment to a syntactic approach wrecks its attempt to rescue folk psychology. Moreover, the architecture of the continuum operates on a category mistake that sneaks in an eliminativist conclusion. I argue that new wave reductionism therefore tends to be eliminativism in disguise. (shrink)
In "Representations without Rules, Connectionism and the Syntactic Argument'', Kenneth Aizawa argues against the view that connectionist nets can be understood as processing representations without the use of representation-level rules, and he provides a positive characterization of how to interpret connectionist nets as following representation-level rules. He takes Terry Horgan and John Tienson to be the targets of his critique. The present paper marshals functional and methodological considerations, gleaned from the practice of cognitive modelling, to argue against Aizawa's characterization (...) of how connectionist nets may be understood as making use of representation-level rules. (shrink)
This paper proposes an architecture for the mapping between syntax and phonology — in particular, that aspect of phonology that determines ordering. In Fox and Pesetsky (in prep.), we will argue that this architecture, when combined with a general theory of syntactic domains ("phases"), provides a new understanding of a variety of phenomena that have received diverse accounts in the literature. This shorter paper focuses on two processes, both drawn from Scandinavian: the familiar process of Object Shift and the (...) less well-known process of Quantifier Movement. We will argue that constraints on these operations can be seen as instances of the same property of grammar that explains the fact that movement is local and successive cyclic. We begin by sketching a model in which locality and successive cyclicity are consequences of the architecture that we propose, rather than specific facts about movement itself. We next present our proposal in somewhat greater detail, and show how it can account for a wide range of apparent limitations on movement — in particular, superficially contradictory restrictions on Object Shift and Quantifier Movement. The restrictions on Object Shift include those grouped under the rubric of Holmberg's Generalization, which Quantifier Movement does not seem to obey. We will argue that Quantifier Movement instead obeys a near mirror-image of Holmberg's Generalization (an "Inverse Holmberg Effect"), but that both Holmberg's Generalization and its mirror image are expected if our proposed architecture is correct. (shrink)
I make an attempt at the description of the delicate role of the standard model of arithmetic for the syntax of formal systems. I try to assess whether the possible instability in the notion of finiteness deriving from the nonstandard interpretability of arithmetic affects the very notions of syntactic metatheory and of formal system. I maintain that the crucial point of the whole question lies in the evaluation of the phenomenon of formalization. The ideas of Skolem, Zermelo, Beth (...) and Carnap (among others) on the problem are discussed. ‘A tries to explain to B the meaning of negation. Finally A gives up, saying: “You don’t understand what I mean, and I am not going to explain any longer,” to which B replies: “Yes, I see what you mean, and I am glad you are willing to continue your explanations”’. G. Mannoury, reported by E. W. Beth (Beth, 1963, 489). (shrink)
Levelt, Roelofs, & Meyer (henceforth Levelt et al. 1999) propose a model of production incorporating a lemma stratum, which is concerned with the syntactic characteristics of lexical entries. We suggest that syntactic priming experiments provide evidence about how such syntactic information is represented, and that this evidence can be used to extend Levelt et al.'s model. Evidence from syntactic priming experiments also supports Levelt et al.'s conjecture that the lemma stratum is shared between the (...) production and comprehension systems. (shrink)
This paper proposes an architecture for the mapping between syntax and phonology — in particular, that aspect of phonology that determines ordering. In Fox and Pesetsky (in prep.), we will argue that this architecture, when combined with a general theory of syntactic domains ("phases"), provides a new understanding of a variety of phenomena that have received diverse accounts in the literature. This shorter paper focuses on two processes, both drawn from Scandinavian: the familiar process of Object Shift and the (...) less well-known process of Quantifier Movement. We will argue that constraints on these operations can be seen as instances of the same property of grammar that explains the fact that movement is local and successive cyclic. We begin by sketching a model in which locality and successive cyclicity are consequences of the architecture that we propose, rather than specific facts about movement itself. We next present our proposal in somewhat greater detail, and show how it can account for a wide range of apparent limitations on movement — in particular, superficially contradictory restrictions on Object Shift and Quantifier Movement. The restrictions on Object Shift include those grouped under the rubric of Holmberg's Generalization, which Quantifier Movement does not seem to obey. We will argue that Quantifier Movement instead obeys a near mirror-image of Holmberg's Generalization (an "Inverse Holmberg Effect"), but that both Holmberg's Generalization and its mirror image are expected if our proposed architecture is correct. (shrink)
How can one conceive of the neuronal implementation of the processing model we proposed in our target article? In his commentary (Pulvermüller 1999, reprinted here in this issue), Pulvermüller makes various proposals concerning the underlying neural mechanisms and their potential localizations in the brain. These proposals demonstrate the compatibility of our processing model and current neuroscience. We add further evidence on details of localization based on a recent meta-analysis of neuroimaging studies of word production (Indefrey & Levelt 2000). (...) We also express some minor disagreements with respect to Pulvermüller's interpretation of the “lemma” notion, and concerning his neural modeling of phonological code retrieval. Branigan & Pickering discuss important aspects of syntactic encoding, which was not the topic of the target article. We discuss their well-taken proposal that multiple syntactic frames for a single verb lemma are represented as independent nodes, which can be shared with other verbs, such as accounting for syntactic priming in speech production. We also discuss how, in principle, the alternative multiple-frame-multiple-lemma account can be tested empirically. The available evidence does not seem to support that account. Footnotes1 BBS Note: The original manuscript of this Response article was received on January 14, 2000. (shrink)
This paper introduces the notion of syntactic feature to provide a unified treatment of earlier model theoretic proofs of both the compactness and interpolation theorems for a variety of two valued logics including sentential logic, first order logic, and a family of modal sentential logic includingM,B,S 4 andS 5. The compactness papers focused on providing a proof of the consequence formulation which exhibited the appropriate finite subset. A unified presentation of these proofs is given by isolating their essential (...) feature and presenting it as an abstract principle about syntactic features. The interpolation papers focused on exhibiting the interpolant. A unified presentation of these proofs is given by isolating their essential feature and presenting it as a second abstract principle about syntactic features. This second principle reduces the problem of exhibiting the interpolant to that of establishing the existence of a family of syntactic features satisfying certain conditions. The existence of such features is established for a variety of logics (including those mentioned above) by purely combinatorial arguments. (shrink)
In this paper, we try to shed light on the ontological puzzle pertaining to models and to contribute to a better understanding of what models are. Our suggestion is that models should be regarded as a specific kind of signs according to the sign theory put forward by Charles S. Peirce, and, more precisely, as icons, i.e. as signs which are characterized by a similarity relation between sign (model) and object (original). We argue for this (1) by analyzing from (...) a semiotic point of view the representational relation which is characteristic of models. We then corroborate our hypothesis (2) by discussing the conceptual differences between icons, i.e. models, and indexical and symbolic signs and (3) by putting forward a general classification of all icons into three functional subclasses (images, diagrams, and metaphors). Subsequently, we (4) integratively refine our results by resorting to two influential and, as can be shown, complementary philosophy of science approaches to models. This yields the following result: models are determined by a semiotic structure in which a subject intentionally uses an object, i.e. the model, as a sign for another object, i.e. the original, in the context of a chosen theory or language in order to attain a specific end by instituting a representational relation in which the syntactic structure of the model, i.e. its attributes and relations, represents by way of a mapping the properties of the original, which hence are regarded as similar in a relevant manner. (shrink)
Computer simulations show that an unstructured neural-network model [Shultz, T. R., & Bale, A. C. (2001). Infancy, 2, 501–536] covers the essential features␣of infant learning of simple grammars in an artificial language [Marcus, G. F., Vijayan, S., Bandi Rao, S., & Vishton, P. M. (1999). Science, 283, 77–80], and generalizes to examples both outside and inside of the range of training sentences. Knowledge-representation analyses confirm that these networks discover that duplicate words in the sentences are nearly identical and that (...) they use this near-identity relation to distinguish sentences that are consistent or inconsistent with a familiar grammar. Recent simulations that were claimed to show that this model did not really learn these grammars [Vilcu, M., & Hadley, R. F. (2005). Minds and Machines, 15, 359–382] confounded syntactic types with speech sounds and did not perform standard statistical tests of results. (shrink)
We describe a model-theoretic approach to ordinal analysis via the finite combinatorial notion of an α-large set of natural numbers. In contrast to syntactic approaches that use cut elimination, this approach involves constructing finite sets of numbers with combinatorial properties that, in nonstandard instances, give rise to models of the theory being analyzed. This method is applied to obtain ordinal analyses of a number of interesting subsystems of first- and second-order arithmetic.
This paper presents a novel approach to the unsupervised learning of syntactic analyses of natural language text. Most previous work has focused on maximizing likelihood according to generative PCFG models. In contrast, we employ a simpler probabilistic model over trees based directly on constituent identity and linear context, and use an EM-like iterative procedure to induce structure. This method produces much higher quality analyses, giving the best published results on the ATIS dataset.
The distributional principle according to which morphemes that occur in identical contexts belong, in some sense, to the same category [1] has been advanced as a means for extracting syntactic structures from corpus data. We extend this principle by applying it recursively, and by using mutual information for estimating category coherence. The resulting model learns, in an unsupervised fashion, highly structured, distributed representations of syntactic knowledge from corpora. It also exhibits promising behavior in tasks usually thought to (...) require representations anchored in a grammar, such as systematicity. (shrink)
We present a novel generative model for natural language tree structures in which semantic (lexical dependency) and syntactic (PCFG) structures are scored with separate models. This factorization provides conceptual simplicity, straightforward opportunities for separately improving the component models, and a level of performance comparable to similar, non-factored models. Most importantly, unlike other modern parsing models, the factored model admits an extremely effective A* parsing algorithm, which enables efficient, exact inference.
A process-oriented model of belief is presented which permits the representation of nested propositional attitudes within first-order logic. The model (NIM, for nested intensional model) is axiomatized, sense-based (via intensions), and sanctions inferences involving nested epistemic attitudes, with different agents and different times. Because NIM is grounded upon senses, it provides a framework in which agents may reason about the beliefs of another agent while remaining neutral with respect to the syntactic forms used to express the (...) latter agent's beliefs. Moreover, NIM provides agents with a conceptual map, interrelating the concepts of knowledge, belief, truth, and a number of cognate concepts, such as infers, retracts, and questions. The broad scope of NIM arises in part from the fact that its axioms are represented in a novel extension of first-order logic, -FOL (presented herein). -FOL simultaneously permits the representation of truth ascriptions, implicit self-reference, and arbitrarily embedded sentences within a first-order setting. Through the combined use of principles derived from Frege, Montague, and Kripke, together with context-sensitive semantic conventions, -FOL captures the logic of truth inferences, while avoiding the inconsistencies exhibited by Tarski. Applications of -FOL and NIM to interagent reasoning are described and the soundness and completeness of -FOL are established herein. (shrink)
We propose a model of natural language inference which identifies valid inferences by their lexical and syntactic features, without full semantic interpretation. We extend past work in natural logic, which has focused on semantic containment and monotonicity, by incorporating both semantic exclusion and implicativity. Our model decomposes an inference problem into a sequence of atomic edits linking premise to hypothesis; predicts a lexical semantic relation for each edit; propagates these relations upward through a semantic composition tree according (...) to properties of intermediate nodes; and joins the resulting semantic relations across the edit sequence. A computational implementation of the model achieves 70% accuracy and 89% precision on the FraCaS test suite. Moreover, including this model as a component in an existing system yields significant performance gains on the Recognizing Textual Entailment challenge. (shrink)
Determining the semantic role of sentence constituents is a key task in determining sentence meanings lying behind a veneer of variant syntactic expression. We present a model of natural language generation from semantics using the FrameNet semantic role and frame ontology. We train the model using the FrameNet corpus and apply it to the task of automatic semantic role and frame identification, producing results competitive with previous work (about 70% role labeling accuracy). Unlike previous models used for (...) this task, our model does not assume that the frame of a sentence is known, and is able to identify null- instantiated roles, which commonly occur in our corpus and whose identification is crucial to natural language interpretation. (shrink)
I discuss a stochastic model of language learning and change. During a syntactic change, each speaker makes use of constructions from two different idealized grammars at variable rates. The model incorporates regularization in that speakers have a slight preference for using the dominant idealized grammar. It also includes incrementation: The population is divided into two interacting generations. Children can detect correlations between age and speech. They then predict where the population’s language is moving and speak according to (...) that prediction, which represents a social force encouraging children not to sound out-dated. Both regularization and incrementation turn out to be necessary for spontaneous language change to occur on a reasonable time scale and run to completion monotonically. Chance correlation between age and speech may be amplified by these social forces, eventually leading to a syntactic change through prediction-driven instability. (shrink)
In this paper we report preliminary results on how people revise or update a previously held set of beliefs. When intelligent agents learn new things which conflict with their current belief set, they must revise their belief set. When the new information does not conflict, they merely must update their belief set. Various AI theories have been proposed to achieve these processes. There are two general dimensions along which these theories differ: whether they are syntactic-based or model-based, and (...) what constitutes a minimal change of beliefs. This study investigates how people update and revise semantically equivalent but syntactically distinct belief sets, both in symbolic-logic problems and in quasi-real-world problems. Results indicate that syntactic form affects belief revision choices. In addition, for the symbolic problems, subjects update and revise semantically-equivalent belief sets identically, whereas for the quasi-real-world problems they both update and revise differently. Further, contrary to earlier studies, subjects are sometimes reluctant to accept that a sentence changes from false to true, but they are willing to accept that it would change from true to false. (shrink)
We present a novel generative model for natural language tree structures in which semantic (lexical dependency) and syntactic (PCFG) structures are scored with separate models. This factorization provides conceptual simplicity, straightforward opportunities for separately improving the component models, and a level of performance comparable to similar, non-factored models. Most importantly, unlike other modern parsing models, the factored model admits an extremely effective A* parsing algorithm, which enables efficient, exact inference.
Determining the semantic role of sentence constituents is a key task in determining sentence meanings lying behind a veneer of variant syntactic expression. We present a model of natural language generation from semantics using the FrameNet semantic role and frame ontology. We train the model using the FrameNet corpus and apply it to the task of automatic semantic role and frame identification, producing results competitive with previous work (about 70% role labeling accuracy). Unlike previous models used for (...) this task, our model does not assume that the frame of a sentence is known, and is able to identify null- instantiated roles, which commonly occur in our corpus and whose identification is crucial to natural language interpretation. (shrink)
This paper presents a novel approach to the unsupervised learning of syntactic analyses of natural language text. Most previous work has focused on maximizing likelihood according to generative PCFG models. In contrast, we employ a simpler probabilistic model over trees based directly on constituent identity and linear context, and use an EM-like iterative procedure to induce structure. This method produces much higher quality analyses, giving the best published results on the ATIS dataset.
I argue that everyday folk-psychological skill might best be explained in terms of the deployment of something like a model, in a specific sense drawn from recent philosophy of science. Theoretical models in this sense do not make definite commitments about the systems they are used to understand; they are employed with a particular kind of flexibility. This analysis is used to dissolve the eliminativism debate of the 1980s, and to transform a number of other questions about the status (...) and role of folk psychology. (shrink)
I compare Frith and colleagues’ influential comparator account of how the sense of agency is elicited to the multifactorial weighting model advocated by Synofzik and colleagues. I defend the comparator model from the common objection that the actual sensory consequences of action are not needed to elicit the sense of agency. I examine the comparator model’s ability to explain the performance of healthy subjects and those suffering from delusions of alien control on various self-attribution tasks. It transpires (...) that the comparator model needs case-by-case adjustment to deal with problematic data. In response to this, the multifactorial weighting model of Synofzik and colleagues is introduced. Although this model is incomplete, it is more naturally constrained by the cases that are problematic for the comparator model. However, this model may be untestable. I conclude that currently the comparator model approach has stronger support than the multifactorial weighting model approach. (shrink)
This paper aims to identify the key characteristics of model organisms that make them a specific type of model within the contemporary life sciences: in particular, we argue that the term “model organism” does not apply to all organisms used for the purposes of experimental research. We explore the differences between experimental and model organisms in terms of their material and epistemic features, and argue that it is essential to distinguish between their representational scope and representational (...) target. We also examine the characteristics of the communities who use these two types of models, including their research goals, disciplinary affiliations, and preferred practices to show how these have contributed to the conceptualization of a model organism. We conclude that model organisms are a specific subgroup of organisms that have been standardized to fit an integrative and comparative mode of research, and that it must be clearly distinguished from the broader class of experimental organisms. In addition, we argue that model organisms are the key components of a unique and distinctively biological way of doing research using models. (shrink)
Central to Spinoza’s ethical theory is a model of human nature: the model of the free man. In this paper I argue that the idea of the free man is an inadequate idea when this is understood as the idea of a perfectly free finite thing. But when properly understood--that is, when the idea of the free man is understood as the idea of the perfection of our nature and power--the idea of the free man is a way (...) of conceiving God and is, as such, an adequate idea. (shrink)
Abstract of “Reason and the structure of Davidson’s ‘Desire-Belief-Model’ ” by Henk bij de Weg -/- In the present discussion in the analytic theory of action, broadly two models for the explanation or justification of actions can be distinguished: the internalist and the externalist model. Against this background, I discuss Davidson’s version of the internalist Desire-Belief Model (DBM). First, I show that what Davidson calls “pro attitude” (a main element of his concept of reason) has two distinct (...) meanings. An implication of this is that Davidson’s DBM actually comprises two different models: the “classical” DBM and a model that has an extra premise, the “nonclassical” model. However, from another point of view one can say that the classical DBM is the nonclassical model in which a premise is missing. In order to determine which viewpoint is correct, I introduce Schütz’s distinction between “because-motives” and “in-order-to-motives”. With the help of this distinction, I can show that the classical DBM is an incomplete version of the nonclassical model. Besides of the premise that refers to the agent’s pro attitude, we need this extra premise in order to refer to the occasion as experienced by the agent that makes him or her act. Only then can we fully explain or justify an action. (shrink)
Thomas Morris and Richard Swinburne have recently defended what they call the ‘two-minds’ model of the Incarnation. This model, which I refer to as the ‘inclusion model’ or ‘inclusionism’, claims that Christ had two consciousnesses, a human and a divine consciousness, with the former consciousness contained within the latter one. I begin by exploring the motivation for, and structure of, inclusionism. I then develop a variety of objections to it: some philosophical, others theological in nature. Finally, I (...) sketch a variant of inclusionism which I call ‘restricted inclusionism’ (RI); RI can evade many, but not all, of the objections to standard inclusionism. (shrink)
Therefore, the text is divided into three parts: an introduction into mathematical logic (Chapter 1), model theory (Chapters 2 and 3), and the model theoretic ...
The success of particle detection in high energy physics colliders critically depends on the criteria for selecting a small number of interactions from an overwhelming number that occur in the detector. It also depends on the selection of the exact data to be analyzed and the techniques of analysis. The introduction of automation into the detection process has traded the direct involvement of the physicist at each stage of selection and analysis for the efficient handling of vast amounts of data. (...) This tradeoff, in combination with the organizational changes in laboratories of increasing size and complexity, has resulted in automated and semi-automated systems of detection. Various aspects of the semi-automated regime were greatly diminished in more generic automated systems, but turned out to be essential to a number of surprising discoveries of anomalous processes that led to theoretical breakthroughs, notably the establishment of the Standard Model of particle physics. The automated systems are much more efficient in confirming specific hypothesis in narrow energy domains than in performing broad exploratory searches. Thus, in the main, detection processes relying excessively on automation are more likely to miss potential anomalies and impede potential theoretical advances. I suggest that putting substantially more effort into the study of electron–positron colliders and increasing its funding could minimize the likelihood of missing potential anomalies, because detection in such an environment can be handled by the semi-automated regime—unlike detection in hadron colliders. Despite virtually unavoidable excessive reliance on automated detection in hadron colliders, their development has been deemed a priority because they can operate at currently highest energy levels. I suggest, however, that a focus on collisions at the highest achievable energy levels diverts funds from searches for potential anomalies overlooked due to tradeoffs at the previous energy thresholds. I also note that even in the same collision environment, different research strategies will opt for different tradeoffs and thus achieve different experimental outcomes. Finally, I briefly discuss current searches for anomalous process in the context of the previous analysis. (shrink)
This paper contrasts and compares strategies of model-building in condensed matter physics and biology, with respect to their alleged unequal susceptibility to trade-offs between different theoretical desiderata. It challenges the view, often expressed in the philosophical literature on trade-offs in population biology, that the existence of systematic trade-offs is a feature that is specific to biological models, since unlike physics, biology studies evolved systems that exhibit considerable natural variability. By contrast, I argue that the development of ever more sophisticated (...) experimental, theoretical, and computational methods in physics is beginning to erode this contrast, since condensed matter physics is now in a position to measure, describe, model, and manipulate sample-specific features of individual systems – for example at the mesoscopic level – in a way that accounts for their contingency and heterogeneity. Model-building in certain areas of physics thus turns out to be more akin to modeling in biology than has been supposed and, indeed, has traditionally been the case. (shrink)
The present paper draws on climate science and the philosophy of science in order to evaluate climate-model-based approaches to assessing climate projections. We analyze the difficulties that arise in such assessment and outline criteria of adequacy for approaches to it. In addition, we offer a critical overview of the approaches used in the IPCC working group one fourth report, including the confidence building, Bayesian and likelihood approaches. Finally, we consider approaches that do not feature in the IPCC reports, including (...) three approaches drawn from the philosophy of science. We find that all available approaches face substantial challenges, with IPCC approaches having as a primary source of difficulty their goal of providing probabilistic assessments. (shrink)
Aspects of the history of behavioural science are reviewed, pointing to its fragmented and faction-ridden nature. The emergence of evolutionary psychology (EP) is viewed in this context. With the help of a dual-layered model of behavioural control, the case is made for a more integrative perspective towards EP. The model's application to both behaviour and complex human information processing is described. Similarities in their control are noted. It is suggested that one layer of control (‘on-line’) corresponds to the (...) encapsulated modules of EP whereas the off-line controls provide the plasticity and flexibility suggested by its critics. (shrink)
The traditional model of human cognition (TMHC) postulates an ontological and/or structural gap between conscious and unconscious mental representations. By and large, it sees higher-level mental processes as commonly conceptual or symbolic in nature and therefore conscious, whereas unconscious, lower-level representations are conceived as non-conceptual or sub-symbolic. However, experimental evidence belies this model, suggesting that higher-level mental processes can be, and often are, carried out in a wholly unconscious way and/or without conceptual representations, and that these can be (...) processed unconsciously. This entails that the TMHC, as well as the theories on mental representation it motivates and that in turn support it, is wrong. (shrink)
CONTINUOUS MODEL THEORY CHAPTER I TOPOLOGICAL PRELIMINARIES. Notation Throughout the monograph our mathematical notation does not differ drastically from ...
The ESR model proposes a new theoretical perspective which incorporates the mathematical formalism of standard (Hilbert space) quantum mechanics (QM) in a noncontextual framework, reinterpreting quantum probabilities as conditional on detection instead of absolute. We have provided in some previous papers mathematical representations of the physical entities introduced by the ESR model, namely observables, properties, pure states, proper and improper mixtures, together with rules for calculating conditional and overall probabilities, and for describing transformations of states induced by measurements. (...) We study in this paper the relevant physical case of the quantum harmonic oscillator in our mathematical formalism. We reinterpret the standard quantum rules for probabilities, provide new expressions for absolute probabilities, and show how the standard state transformations must be modified according to the ESR model. (shrink)
I show that words with indefinite implicit complements occasion a dilemma for their model theory. There has been only two previous attempts to address this problem, one by Fodor and Fodor (1980) and one by Dowty (1981). Each requires that any word tolerating an implicit complement be treated as ambiguous between two different lexical entries and that a meaning postulate or lexical rule be given to constrain suitably the meanings of the various entries for the word. I show that (...) the positing of such an ambiguity runs counter to the facts and propose an alternative solution which does not appeal to ambiguity, meaning postulates or lexical rules. Indeed, I show that the dilemma posed by indefinite implicit complements is posed by all implicit complements and that a general solution to the problem of implicit complements follows from an independently motivated, single treatment of five other problems, that of subcategorization, that of phrasal projections of words, that of defining a model theoretic structure for phrase structure grammars, that of complement polyvalence and that of complement polyadicity. (shrink)
We introduce a new framework for classifying logics on finite structures and studying their expressive power. This framework is based on the concept of almost everywhere equivalence of logics, that is to say, two logics having the same expressive power on a class of asymptotic measure 1. More precisely, if L, L ′ are two logics and μ is an asymptotic measure on finite structures, then $\scr{L}\equiv _{\text{a.e.}}\scr{L}^{\prime}(\mu)$ means that there is a class C of finite structures with μ (C)=1 (...) and such that L and L ′ define the same queries on C. We carry out a systematic investigation of $\equiv _{\text{a.e.}}$ with respect to the uniform measure and analyze the $\equiv _{\text{a.e.}}$ -equivalence classes of several logics that have been studied extensively in finite model theory. Moreover, we explore connections with descriptive complexity theory and examine the status of certain classical results of model theory in the context of this new framework. (shrink)
Model RB is a model of random constraint satisfaction problems, which exhibits exact satisfiability phase transition and many hard instances, both experimentally and theoretically. Benchmarks based on Model RB have been successfully used by various international algorithm competitions and many research papers. In a previous work, Xu and Li defined two notions called i-constraint assignment tuple and flawed i-constraint assignment tuple to show an exponential resolution complexity of Model RB. These two notions are similar to some (...) kind of consistency in constraint satisfaction problems, but seem different from all kinds of consistency so far known in literatures. In this paper, we explicitly define this kind of consistency, called variable-centered consistency, and show an upper bound on a parameter in Model RB, such that up to this bound the typical instances of Model RB are variable-centered consistent. (shrink)
The purpose of this paper is to outline some recent progress in descriptive inner model theory, a branch of set theory which studies descriptive set theoretic and inner model theoretic objects using tools from both areas. There are several interlaced problems that lie on the border of these two areas of set theory, but one that has been rather central for almost two decades is the conjecture known as the Mouse Set Conjecture (MSC). One particular motivation for resolving (...) MSC is that it provides grounds for solving the inner model problem which dates back to 1960s. There have been some new partial results on MSC and the methods used to prove the new instances suggest a general program for solving the full conjecture. It is then our goal to communicate the ideas of this program to the community at large. (shrink)
The main objective of the paper is to propose a frequentist interpretation of probability in the context of model-based induction, anchored on the Strong Law of Large Numbers (SLLN) and justifiable on empirical grounds. It is argued that the prevailing views in philosophy of science concerning induction and the frequentist interpretation of probability are unduly influenced by enumerative induction, and the von Mises rendering, both of which are at odds with frequentist model-based induction that dominates current practice. The (...) differences between the two perspectives are brought out with a view to defend the model-based frequentist interpretation of probability against certain well-known charges, including [i] the circularity of its definition, [ii] its inability to assign ‘single event’ probabilities, and [iii] its reliance on ‘random samples’. It is argued that charges [i]–[ii] stem from misidentifying the frequentist ‘long-run’ with the von Mises collective. In contrast, the defining characteristic of the long-run metaphor associated with model-based induction is neither its temporal nor its physical dimension, but its repeatability (in principle); an attribute that renders it operational in practice. It is also argued that the notion of a statistical model can easily accommodate non-IID samples, rendering charge [iii] simply misinformed. (shrink)
The phenomenon of synesthesia has undergone an invigoration of research interest and empirical progress over the past decade. Studies investigating the cognitive mechanisms underlying synesthesia have yielded insight into neural processes behind such cognitive operations as attention, memory, spatial phenomenology and inter-modal processes. However, the structural and functional mechanisms underlying synesthesia still remain contentious and hypothetical. The first section of the present paper reviews recent research on grapheme-color synesthesia, one of the most common forms of synesthesia, and addresses the ongoing (...) debate concerning the role of selective attention in eliciting synesthetic experience. Drawing on conclusions of the first half, the paper’s second half examines the various models proposed to explain the cognitive mechanisms behind grapheme-color synesthesia, and discusses the explanatory virtues of a new model suggesting that grapheme-color synesthesia is grounded in memory. The last section offers an examination of some of the broader philosophical implications of synesthesia. (shrink)
Despite the recent surge in research on, and interest in, synesthesia, the mechanism underlying this condition is still unknown. Feedforward mechanisms involving overlapping receptive fields of sensory neurons as well as feedback mechanisms involving a lack of signal disinhibition have been proposed. Here I show that a broad range of studies of developmental synesthesia indicate that the mechanism underlying the phenomenon may involve reinstatement of brain activity in different sensory or cognitive streams in a way that is similar to what (...) happens during memory retrieval of semantically associated items. In the paper’s final sections I look at the relevance of synesthesia research, given the memory model, to our understanding of multisensory perception and common mapping patterns. (shrink)
We here make preliminary investigations into the model theory of DeMorgan logics. We demonstrate that Łoś's Theorem holds with respect to these logics and make some remarks about standard model-theoretic properties in such contexts. More concretely, as a case study we examine the fate of Cantor's Theorem that the classical theory of dense linear orderings without endpoints is $\aleph_{0}$-categorical, and we show that the taking of ultraproducts commutes with respect to previously established methods of constructing nonclassical structures, namely, (...) Priest's Collapsing Lemma and Dunn's Theorem in 3-Valued Logic. (shrink)
This study provides evidence for implicit learning in syntactic comprehension. By reanalyzing data from a syntactic priming experiment (Thothathiri & Snedeker, 2008), we find that the error signal associated with a syntactic prime influences comprehenders' subsequent syntactic expectations. This follows directly from error-based implicit learning accounts of syntactic priming, but it is unexpected under accounts that consider syntactic priming a consequence of temporary increases in base-level activation. More generally, the results raise questions about the (...) principles underlying the maintenance of implicit statistical knowledge relevant to language processing, and about possible functional motivations for syntactic priming. (shrink)
This book gives a comprehensive overview of central themes of finite model theory â expressive power, descriptive complexity, and zero-one laws â together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and (...) infinitary logics to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science. (shrink)
In this paper we build a prey–predator model with discrete weight structure for the predator. This model will conserve the number of individuals and the biomass and both growth and reproduction of the predator will depend on the food ingested. Moreover the model allows cannibalism which means that the predator can eat the prey but also other predators. We will focus on a simple version with two weight classes or stage (larvae and adults) and present some general (...) mathematical results. In the last part, we will assume that the dynamics of the prey is fast compared to the predator’s one to go further in the results and eventually conclude that under some conditions, cannibalism can stabilize the system: more precisely, an unstable equilibrium without cannibalism will become almost globally stable with some cannibalism. Some numerical simulations are done to illustrate this result. (shrink)
Bayesian model selection has frequently been the focus of philosophical inquiry (e.g., Forster, Br J Philos Sci 46:399–424, 1995; Bandyopadhyay and Boik, Philos Sci 66:S390–S402, 1999; Dowe et al., Br J Philos Sci 58:709–754, 2007). This paper argues that Bayesian model selection procedures are very diverse in their inferential target and their justification, and substantiates this claim by means of case studies on three selected procedures: MML, BIC and DIC. Hence, there is no tight link between Bayesian (...) class='Hi'>model selection and Bayesian philosophy. Consequently, arguments for or against Bayesian reasoning based on properties of Bayesian model selection procedures should be treated with great caution. (shrink)
There have been suggestions that the unity of consciousness may be related to the kind of holism depicted only in quantum physics. This argument will be clarified and strengthened. It requires the brain to contain a quantum system with the right properties — a Bose-Einstein condensate. It probably does contain one such system, as both theory and experiment have indicated. In fact, we cannot pay full attention to a quantum whole and its parts simultaneously, though we may oscillate between the (...) two. In a quantum theory of consciousness, emergent meanings arise as an inevitable consequence of Heisenberg''s Uncertainty Principle. (shrink)
The paper, as Part I of a two-part series, argues for a hybrid formulation of the semantic view of scientific theories. For stage-setting, it first reviews the elements of the model theory in mathematical logic (on whose foundation the semantic view rests), the syntactic and the semantic view, and the different notions of models used in the practice of science. The paper then argues for an integration of the notions into the semantic view, and thereby offers a hybrid (...) semantic view, which at once secures the view's logical foundations and enhances its applicability. The dilemma of either losing touch with the practice of science or yielding up the benefits of the model theory is thus avoided. (shrink)
Robert Cummins [(1996) Representations, targets and attitudes, Cambridge, MA: Bradford/MIT, p. 1] has characterized the vexed problem of mental representation as "the topic in the philosophy of mind for some time now." This remark is something of an understatement. The same topic was central to the famous controversy between Nicolas Malebranche and Antoine Arnauld in the 17th century and remained central to the entire philosophical tradition of "ideas" in the writings of Locke, Berkeley, Hume, Reid and Kant. However, the scholarly, (...) exegetical literature has almost no overlap with that of contemporary cognitive science. I show that the recurrence of certain deep perplexities about the mind is a systematic and pervasive pattern arising not only throughout history, but also in a number of independent domains today such as debates over visual imagery, symbolic systems and others. Such historical and contemporary convergences suggest that the fundamental issues cannot arise essentially from the theoretical guise they take in any particular case. (shrink)
CHAPTER Structure and function In physical systems made by a large number of basic constituents one can observe collective properties which find their ...
Syntactic and structural models specify relationships between their constituents but cannot show what outcomes their interaction would produce over time in the world. Simulation consists in iterating the states of a model, so as to produce behaviour over a period of simulated time. Iteration enables us to trace the implications and outcomes of inference rules and other assumptions implemented in the models that make up a theory. We apply this method to experiments which we treat as models of (...) the particular aspects of reality they are designed to investigate. Scientific experiments are constantly designed and re-designed in the context of implementation and use. They mediate between theoretical understanding and the practicalities of engaging with the empirical and social world. In order to model experiments we need to identify and represent features that all experiments have in common. We treat these features as parameters of a general model of experiment so that by varying these parameters different types of experiment can be modelled. (shrink)
We define notions of homomorphism, submodel, and sandwich of Kripke models, and we define two syntactic operators analogous to universal and existential closure. Then we prove an intuitionistic analogue of the generalized (dual of the) Lyndon-Łoś-Tarski Theorem, which characterizes the sentences preserved under inverse images of homomorphisms of Kripke models, an intuitionistic analogue of the generalized Łoś-Tarski Theorem, which characterizes the sentences preserved under submodels of Kripke models, and an intuitionistic analogue of the generalized Keisler Sandwich Theorem, which characterizes (...) the sentences preserved under sandwiches of Kripke models. We also define several intuitionistic formula hierarchies analogous to the classical formula hierarchies $\forall_n (= \Pi^0_n)$ and $\exists_n (=\Sigma^0_n)$ , and we show how our generalized syntactic preservation theorems specialize to these hierarchies. Each of these theorems implies the corresponding classical theorem in the case where the Kripke models force classical logic. (shrink)
This paper develops a semantical model – theoretic account of (logical) content complementing the syntactically specified account of content developed in A New Theory of Content I, JPL 23: 596–620, 1994. Proofs of Completeness are given for both propositional and quantificational languages (without identity). Means for handling a quantificational language with identity are also explored. Finally, this new notion of content is compared, in respect of both logical properties and philosophical applications, to alternative partitions of the standard consequence class (...) relation proposed by Stelzner, Schurz and Wiengartner. (shrink)
The purpose of this paper is to connect the proof theory and the model theory of a family of propositional logics weaker than Heyting's. This family includes systems analogous to the Lambek calculus of syntactic categories, systems of relevant logic, systems related toBCK algebras, and, finally, Johansson's and Heyting's logic. First, sequent-systems are given for these logics, and cut-elimination results are proved. In these sequent-systems the rules for the logical operations are never changed: all changes are made in (...) the structural rules. Next, Hubert-style formulations are given for these logics, and algebraic completeness results are demonstrated with respect to residuated lattice-ordered groupoids. Finally, model structures related to relevant model structures (of Urquhart, Fine, Routley, Meyer, and Maksimova) are given for our logics. These model structures are based on groupoids parallel to the sequent-systems. This paper lays the ground for a kind of correspondence theory for axioms of logics with implication weaker than Heyting's, a correspondence theory analogous to the correspondence theory for modal axioms of normal modal logics.The first part of the paper, which follows, contains the first two sections, which deal with sequent-systems and Hubert-formulations. The second part, due to appear in the next issue of this journal, will contain the third section, which deals with groupoid models. (shrink)
A promising approach to more refined models consistent with the Caplan & Waters hypothesis is based on similarity-based interference, a general principle that applies across working memory domains. This may explain both the fine details of syntactic working memory phenomena and the gross fractionation for which Caplan & Waters have found evidence. Detailed models of syntactic processing that embody similarity-based interference fare well cross-linguistically.
We investigate first order sentences valid in completions of a given partial algebraic structure - a partial model. We give semantic and syntactic description of the set of all sentences valid in every completion of the given partial model - first order theory of this model.
The purpose of this paper is to connect the proof theory and the model theory of a family of prepositional logics weaker than Heyting's. This family includes systems analogous to the Lambek calculus of syntactic categories, systems of relevant logic, systems related to BCK algebras, and, finally, Johansson's and Heyting's logic. First, sequent-systems are given for these logics, and cut-elimination results are proved. In these sequent-systems the rules for the logical operations are never changed: all changes are made (...) in the structural rules. Next, Hilbert-style formulations are given for these logics, and algebraic completeness results are demonstrated with respect to residuated lattice-ordered groupoids. Finally, model structures related to relevant model structures (of Urquhart, Fine, Routley, Meyer, and Maksimova) are given for our logics. These model structures are based on groupoids parallel to the sequent-systems. This paper lays the ground for a kind of correspondence theory for axioms of logics with implication weaker than Heyting's, a correspondence theory analogous to the correspondence theory for modal axioms of normal modal logics.Below is the sequel to the first part of the paper, which appeared in the previous issue of this journal (vol. 47 (1988), pp. 353–386). The first part contained sections on sequent-systems and Hilbert-formulations, and here is the third section on groupoid models. This second part is meant to be read in conjunction with the first part. (shrink)
The paper offers a new model of genre. The model employs Deleuze and Guattari's concepts of plane of immanence, chaos, and, in particular, concepts and approaches of cognitive science. Genre in general and the film genre in particular are modelled as a multidimensional space with a network of vector sequences, as a plane of immanence with individual works in the role of concepts, as a cluster category without a centre. That genre model provides more explanatory power than (...) the recent semantic-syntactical one. (shrink)
The recent discussion on scientific representation has focused on models and their relationship to the real world. It has been assumed that models give us knowledge because they represent their supposed real target systems. However, here agreement among philosophers of science has tended to end as they have presented widely different views on how representation should be understood. I will argue that the traditional representational approach is too limiting as regards the epistemic value of modelling given the focus on the (...) relationship between a single model and its supposed target system, and the neglect of the actual representational means with which scientists construct models. I therefore suggest an alternative account of models as epistemic tools. This amounts to regarding them as concrete artefacts that are built by specific representational means and are constrained by their design in such a way that they facilitate the study of certain scientific questions, and learning from them by means of construction and manipulation. (shrink)
A serious crisis is identified in theories of neurocomputation, marked by a persistent disparity between the phenomenological or experiential account of visual perception and the neurophysiological level of description of the visual system. In particular, conventional concepts of neural processing offer no explanation for the holistic global aspects of perception identified by Gestalt theory. The problem is paradigmatic and can be traced to contemporary concepts of the functional role of the neural cell, known as the Neuron Doctrine. In the absence (...) of an alternative neurophysiologically plausible model, I propose a perceptual modeling approach, to model the percept as experienced subjectively, rather than modeling the objective neurophysiological state of the visual system that supposedly subserves that experience. A Gestalt Bubble model is presented to demonstrate how the elusive Gestalt principles of emergence, reification, and invariance can be expressed in a quantitative model of the subjective experience of visual consciousness. That model in turn reveals a unique computational strategy underlying visual processing, which is unlike any algorithm devised by man, and certainly unlike the atomistic feed-forward model of neurocomputation offered by the Neuron Doctrine paradigm. The perceptual modeling approach reveals the primary function of perception as that of generating a fully spatial virtual-reality replica of the external world in an internal representation. The common objections to this picture-in-the-head concept of perceptual representation are shown to be ill founded. Key Words: brain-anchored; Cartesian theatre; consciousness; emergence; extrinsic constraints; filling-in; Gestalt; homunculus; indirect realism; intrinsic constraints; invariance; isomorphism; multistability; objective phenomenology; perceptual modeling; perspective; phenomenology; psychophysical parallelism; psychophysical postulate; qualia; reification; representationalism; structural coherence. (shrink)
In this chapter, I outline dynamic models of motivation and emotion. These turn out not to be autonomous subsystems, but, instead, are deeply integrated in the basic interactive dynamic character of living systems. Motivation is a crucial aspect of particular kinds of interactive systems -- systems for which representation is a sister aspect. Emotion is a special kind of partially reflective interaction process, and yields its own emergent motivational aspects. In addition, the overall model accounts for some of the (...) crucial properties of consciousness. (shrink)
In the past, researchers have focused mainly on the effects and consequences of self-awareness; however, they have neglected a more basic issue pertaining to the specific mechanisms that initiate and sustain self-perception. The author presents a model of self-awareness that proposes the existence of 3 sources of self-information. First, the social milieu includes early face-to-face interactions, self-relevant feedback, a social comparison mechanism that leads to perspective taking, and audiences. Second, contacts with objects and structures in the physical environment foster (...) self–world differentiation in infants; this environment also contains self-focusing and reflecting stimuli, such as mirrors and video cameras. Third, the self can develop bodily awareness through proprioception and can reflect on itself using imagery and inner speech. Furthermore, self-awareness is mainly mediated by the prefrontal lobes. The author establishes various links among these different neurological, social, ecological, and cognitive elements of the model. (shrink)
In his 1966 paper "The Strategy of model-building in Population Biology", Richard Levins argues that no single model in population biology can be maximally realistic, precise and general at the same time. This is because these desirable model properties trade-off against one another. Recently, philosophers have developed Levins' claims, arguing that trade-offs between these desiderata are generated by practical limitations on scientists, or due to formal aspects of models and how they represent the world. However this project (...) is not complete. The trade-offs discussed by Levins had a noticeable effect on modelling in population biology, but not on other sciences. This raises questions regarding why such a difference holds. I claim that in order to explain this finding, we must pay due attention to the properties of the systems, or targets modelled by the different branches of science. (shrink)
The present paper argues that ‘mature mathematical formalisms’ play a central role in achieving representation via scientific models. A close discussion of two contemporary accounts of how mathematical models apply—the DDI account (according to which representation depends on the successful interplay of denotation, demonstration and interpretation) and the ‘matching model’ account—reveals shortcomings of each, which, it is argued, suggests that scientific representation may be ineliminably heterogeneous in character. In order to achieve a degree of unification that is compatible with (...) successful representation, scientists often rely on the existence of a ‘mature mathematical formalism’, where the latter refers to a—mathematically formulated and physically interpreted—notational system of locally applicable rules that derive from (but need not be reducible to) fundamental theory. As mathematical formalisms undergo a process of elaboration, enrichment, and entrenchment, they come to embody theoretical, ontological, and methodological commitments and assumptions. Since these are enshrined in the formalism itself, they are no longer readily obvious to either the novice or the proficient user. At the same time as formalisms constrain what may be represented, they also function as inferential and interpretative resources. (shrink)
