An important challenge in bilingualism research is to understand the mechanisms underlying sentence processing in a second language and whether they are comparable to those underlying native processing. Here, we focus on verb-particle constructions (VPCs) that are among the most difficult elements to acquire in L2 English. The verb and the particle form a unit, which often has a non-compositional meaning (e.g., look up or chew out), making the combined structure semantically opaque. However, bilinguals with higher levels of English (...) proficiency can develop a good knowledge of the semantic properties of verb-particle constructions (Blais and Gonnerman, 2013). A second difficulty is that in a sentence context, the particle can be shifted after the direct object of the verb, (e.g., The professor looked it up). The processing is more challenging when the object is long (e.g. The professor looked the student’s last name up.). This shifted structure favors syntactic processing at the expense of VPC semantic processing. We sought to determine whether or not bilinguals’ reading time (RT) patterns would be similar to those observed for native monolinguals (Gonnerman and Hayes, 2005) when reading VPCs in sentential contexts. French-English bilinguals were tested for English language proficiency, working memory and explicit VPC semantic knowledge. During a self-paced reading task, participants read 78 sentences with verb-particle constructions that varied according to parameters that influence native speakers’ reading dynamics: verb-particle transparency, particle adjacency and length of the object noun phrase (NP; 2, 3, or 5 words). RTs in a critical region that included verbs, NPs and particles were measured. Results revealed that RTs were modulated by participants’ English proficiency, with higher proficiency associated with shorter RTs. Examining participants’ explicit semantic knowledge of VPCs and working memory, only readers with more native-like knowledge of VPCs and a high working memory presented RT patterns that were similar to those of monolinguals. Therefore, given the necessary lexical and computational resources, bilingual processing of novel structures at the syntax-semantics interface follows the principles influencing native processing. The findings are in keeping with theories that postulate similar representations and processing in L1 and L2 modulated by processing difficulty. (shrink)

We argue that the pictorial nature of certain constructions in signs and in gestures explains surprising properties of their syntax. In several sign languages, the standard word order (e.g. SVO) gets turned into SOV (with preverbal arguments) when the predicate is a classifier, a distinguished construction with highly iconic properties (e.g. Pavlič, 2016). In silent gestures, participants also prefer an SOV order in extensional constructions, irrespective of the word order of the language they speak (Goldin-Meadow et al., 2008). But (...) in silent gestures and in Brazilian Sign Language (Libras), intensional constructions can override these SOV preferences, yielding SVO instead (Schouwstra & de Swart, 2014; Napoli et al., 2017). This distinction was argued to be due to iconicity: arguments are expressed before the verb if they correspond to entities that are present before the action, otherwise they follow the verb. While agreeing with this intuition, we propose that the extensional/intensional distinction is neither empirically nor theoretically appropriate. In new data from American Sign Language, we replicate the distinction among extensional classifier predicates: for _x ate up the ball_, the ball is typically seen before the eating and a preposed object is preferred; but for _x spit out the ball_, the ball is typically seen after the spitting and a postposed object is preferred, although both _eat up_ and _spit out_ are used extensionally. We extend this finding to data involving pro-speech (= speech-replacing) gestures embedded in French sentences. We argue for a Visibility Generalization according to which arguments appear before the verb if their denotations are typically visible before the action, and we develop a new formal account within a pictorial semantics for visual animations (inspired by Greenberg and Abusch). It derives the observed word order preferences, it explains how the semantics of classifier predicates combines iconic and conventional properties, and it makes a more general point: sign language semantics combines logical semantics with pictorial semantics. (shrink)

The central concern of this article is whether the semantic approach has the resources to appropriately capture the core tenets of structural realism. Chakravartty (2001) has argued that a realist notion of correspondence cannot be accommodated without introducing a linguistic component, which undermines the approach itself. We suggest that this worry can be addressed by an appropriate understanding of the role of language in this context. The real challenge, however, is how to incorporate the core notion of `explanatory approximate (...) truth' in such a way that the emphasis on structure is retained. (shrink)

This volume, an expanded edition of the philosophy of language issue of the journal Midwest Studies in Philosophy (1977), includes essays by some of the ...

Recent discussions of the nature of representation in science have tended to import pre-established decompositions from analyses of representation in the arts, language, cognition and so forth. Which of these analyses one favours will depend on how one conceives of theories in the first place. If one thinks of them in terms of an axiomatised set of logico-linguistic statements, then one might be naturally drawn to accounts of linguistic representation in which notions of denotation, for example, feature prominently. If, (...) on the other hand, one conceives of theories in non-linguistic terms, as in the model-theoretic approach, then one might look to analyses of representation in the arts where notions of resemblance tend to be brought to the fore. Thus van Fraassen, for example, has imported such an analysis into his discussion of representation in science and argued that an appropriate account of resemblance can be given in terms of the set-theoretic relation of isomorphism. This has been strongly criticised by Suarez, who argues that just as isomorphism cannot capture representation in art, so it is inappropriate in the scientific context as well. Similarly Hughes draws on Goodman`s rejection of resemblance in art in favour of denotation and, rather confusingly perhaps, favours the latter whilst also maintaining the model-theoretic view of theories. In this paper, I shall examine the debate in terms of four claims: 1. Isomorphism is not sufficient for representation; 2. Isomorphism is not necessary for representation; 3. Models represent but theories do not; 4. Models denote and do not resemble. Each of these claims will be questioned and I will conclude by suggesting that, through appropriate modifications, a form of isomorphism can serve to underpin representation in both the arts and science. (shrink)

Stein once urged us not to confuse the means of representation with that which is being represented. Yet that is precisely what philosophers of science appear to have done at the meta-level when it comes to representing the practice of science. Proponents of the so-called ‘syntactic’ view identify theories as logically closed sets of sentences or propositions and models as idealised interpretations, or ‘theoruncula, as Braithwaite called them. Adherents of the ‘semantic’ approach, on the other hand, are typically characterised as (...) taking them to be families of models that are set-theoretic, according to Suppes and others, or abstract, as Giere has argued. da Costa and French (Science and Partial Truth. OUP, Oxford, 2003) suggested that we should refrain from ontological speculation as to the nature of scientific theories and models and focus on their appropriate representation for various purposes within the philosophy of science. Such an approach allows both linguistic and non-linguistic resources to play their appropriate role (see also French and Saatsi, Philosophy of Science, Proceedings of the 2004 PSA Meeting, 78:548–559, 2006) and can be supported by recent case studies illustrating the heterogeneity of scientific practice. My aim in this paper is to further develop this ‘quietist’ view, and to indicate how it offers a fruitful way forward for the philosophy of science. (shrink)

Wigner famously referred to the `unreasonable effectiveness' of mathematics in its application to science. Using Wigner's own application of group theory to nuclear physics, I hope to indicate that this effectiveness can be seen to be not so unreasonable if attention is paid to the various idealising moves undertaken. The overall framework for analysing this relationship between mathematics and physics is that of da Costa's partial structures programme.

Ordinary cases of object seeing involve the visual perception of space and spatial location. But does seeing an object require such spatial perception? An empirical challenge to the idea that it does comes from reflection upon Bálint's syndrome, for some suppose that in Bálint's syndrome subjects can see objects without seeing space or spatial location. In this article, I question whether the empirical evidence available to us adequately supports this understanding of Bálint's syndrome, and explain how the aforementioned empirical challenge (...) can be resisted. (shrink)

Our concern here is with the extent to which the expressive equivalence of Wehmeier’s Subjunctive Modal Language and the Actuality Modal Language is sensitive to the choice of background modal logic. In particular we will show that, when we are enriching quantified modal logics weaker than S5, AML is strictly expressively stronger than SML, this result following from general considerations regarding the relationship between operators and predicate markers. This would seem to complicate arguments given in favour of SML (...) which rely upon its being expressively equivalent to AML. (shrink)

We outline Ladyman's 'metaphysical' or 'ontic' form of structuralrealism and defend it against various objections. Cao, in particular, has questioned theview of ontology presupposed by this approach and we argue that by reconceptualisingobjects in structural terms it offers the best hope for the realist in thecontext of modern physics.

Computational modeling has long been one of the traditional pillars of cognitive science. Unfortunately, the computer models of cognition being developed today have not kept up with the enormous changes that have taken place in computer technology and, especially, in human-computer interfaces. For all intents and purposes, modeling is still done today as it was 25, or even 35, years ago. Everyone still programs in his or her own favorite programming language, source code is rarely made available, accessibility of (...) models to non-programming researchers is essentially non-existent, and even for other modelers, the profusion of source code in a multitude of programming languages, written without programming guidelines, makes it almost impossible to access, check, explore, re-use, or continue to develop. It is high time to change this situation, especially since the tools are now readily available to do so. We propose that the modeling community adopt three simple guidelines that would ensure that computational models would be accessible to the broad range of researchers in cognitive science. We further emphasize the pivotal role that journal editors must play in making computational models accessible to readers of their journals. (shrink)

The philosophy of language has emerged in the 20th century as a fundamental area of philosophic inquiry. It is unquestionably central to research in many other areas, and some have even suggested that it should now be seen as the foundation of philosophy.

In Wehmeier (J Philos Log 33:607–630, 2004) we are presented with the subjunctive modal language, a way of dealing with the expressive inadequacy of modal logic by marking atomic predicates as being either in the subjunctive or indicative mood. Wehmeier claims that this language is expressively equivalent to the standard actuality language, and that despite this the marked-unmarked dichotomies are not the same in the two languages. In this paper we will attend to Wehmeier’s argument that this (...) is the case, and show that this conclusion rests on what might be considered an uncharitable stipulation concerning what it is for a formula in the actuality language to be true in a model. (shrink)

We show that there are denumerably many Post-complete normal modal logics in the language which includes an additional propositional constant. This contrasts with the case when there is no such constant present, for which it is well known that there are only two such logics.

This paper argues that adopting a particular dialogical account of logical consequence quite directly gives rise to an interesting form of logical pluralism, the form of pluralism in question arising out of the requirement that deductive proofs be explanatory.

This paper argues that a prominent—and oft-thought to be persuasive—argument against general validity as the best account of validity for languages containing the actuality operator is flawed, the flaw arising out of inadequate attention to the formalisation of mood distinctions.

This paper demonstrates the undecidability of a number of logics with quantification over public announcements: arbitrary public announcement logic, group announcement logic, and coalition announcement logic. In APAL we consider the informative consequences of any announcement, in GAL we consider the informative consequences of a group of agents all of which are simultaneously making known announcements. So this is more restrictive than APAL. Finally, CAL is as GAL except that we now quantify over anything the agents not in that group (...) may announce simultaneously as well. The logic CAL therefore has some features of game logic and of ATL. We show that when there are multiple agents in the language, the satisfiability problem is undecidable for APAL, GAL, and CAL. In the single agent case, the satisfiability problem is decidable for all three logics. (shrink)

Analytic philosophy was born from philosophic reflection on logic and mathematics. It has been at its strongest in these and related domains of reflection, domains that are friendly to definition and analytic clarity. From time to time, analytic philosophers, some very distinguished, have produced fine work on literature and the arts. But these areas remain underexplored in the analytic tradition. This volume is focused upon language that does not fit within the usual analytic paradigms. It's highlights include two pieces (...) of original poetry on philosophic subjects (by philosophers who are also published poets), and philosophic reflection on poetry, literature more generally, metaphor, and related subjects. (shrink)

In Parts of Classes David Lewis argued that mereology is ‘ontologically innocent’, mereological notions not incurring additional ontological commitments. Unfortunately, though, Lewis’s argument for this is not fully spelled out. Here we use some formal results concerning translations between formal languages to argue for the ontological innocence of mereology directly.

Zuidema et al. illustrate how empirical AGL studies can benefit from computational models and techniques. Computational models can help clarifying theories, and thus in delineating research questions, but also in facilitating experimental design, stimulus generation, and data analysis. The authors show, with a series of examples, how computational modeling can be integrated with empirical AGL approaches, and how model selection techniques can indicate the most likely model to explain experimental outcomes.

Literary art that is identifiably feminist approaches reality from a feminist perspective and endorses female experience. A feminist perspective demystifies patriarchal assumptions about the nature of human beings, their relation to nature, and the relation of physical and moral qualities to each other. To endorse female experience, the artist must defy or stretch traditional literary conventions, which often means offending or alienating readers. Traditional literary conventions are rooted in philosophical assumptions several thousand years old and still widely current. A third (...) principle of feminist art-which not all feminists subscribe to-is accessibility. When feminist art is difficult, the reason usually lies not in purposeful obfuscation, but in the poverty of our language of feeling, and the difficulty of rendering feeling. (shrink)

Any approach to the study of managerial situations undertaken without reflection on the underpinning philosophy is flawed because it limits our ability to question the validity of the knowledge claimed in the analysis. The paper considers this issue and presents a philosophical reflection on the use of a systems approach to the modelling of human enterprises. It draws on insights from systems thinking, cognitive science, autopoiesis, communication theory and non-linear dynamics. These are interpreted within the context of social systems as (...) networks of conversations that are generated in language. It is written to invite an exchange of ideas concerning the role of the generative dialogue. (shrink)

Approximately speaking, an urn model for first-order logic is a model where the domain of quantification changes depending on the values of variables which have been bound by quantifiers previously. In this paper we introduce a model-changing semantics for urn-models, and then give a sequent calculus for urn logic by introducing formulas which can be read as saying that “after the individuals a1,..., an have been drawn, A is the case”.

__The Concept of Evil__ is dedicated to the analysis of the concept of evil. The term "evil" is used widely in ordinary language and yet philosophers have disagreed on what, if anything, distinguishes an evil act from a wrong act or an evil person from a bad one. Is "evil" a distinct and important moral category? Which agents and acts can and should be classified as "evil"? In which areas of practice does evil arise? These questions indicate three essential (...) categories that belong to a thorough analysis of the concept of evil: meta-evil, the nature of evil, and applied evil. The articles presented in this volume provide insight into these categories. (shrink)

Contemporary Perspectives on the History of Philosophy was first published in 1983. Minnesota Archive Editions uses digital technology to make long-unavailable books once again accessible, and are published unaltered from the original University of Minnesota Press editions. The authors of the 27 appears in Volume 8, Midwest Studies in Philosophy,have established reputations as historians of philosophy, but their vantage point, here, is from "contemporary perspectives" - they use contemporary analytic skills to examine problems and issues considered by past philosophers. The (...) papers, arranged in historical order, fall into six groups: ancient philosophy (the Pythagoreans, Plato, and Aristotle); the seventeenth-century rationalists (Descartes, Leibniz and Spinoza); the empiricists (Locke, Berkeley, and Hume); Kant; the nineteenth century (Hegel, Schopenhauer, and Mill); and, in conclusion, an essay on Wittgenstein's Tractatus and two broad, retrospective papers entitled "Old Analyses of the Physical World and new Philosophies of Language" and "Moral Crisis and the History of Ethics.". (shrink)

In mining, manufacturing and industrial process industries, maintenance procedures are used as an aid to guide technicians through complex manual tasks. These procedures are not machine-readable, and cannot support reasoning in digitally integrated manufacturing systems. Procedure documents contain unstructured text and are stored in a variety of formats. The aim of this work is to query information held in real industrial maintenance procedures. To achieve this, we develop an ontology for maintenance procedures using the OWL 2 description language. We (...) leverage classes and object properties from the ISO 15926 Part 14 Upper Ontology and create a domain ontology. The key contribution of this paper is a demonstration of trade-offs required when modelling an existing engineering artifact, where an abstraction of its contents is given a-priori. We provide an ontologically rigorous abstraction of notions captured in procedure documentation to a set of classes, relations and axioms that allow reasoning over the contents. Validation of the ontology is performed via a series of competency questions based on queries relevant to technicians, engineers and schedulers in industry. The ontology is applied to real world maintenance procedures from two industrial organisations. (shrink)

We examine various logics that combine knowledge, awareness, and change of awareness. An agent can become aware of propositional propositions but also of other agents or of herself. The dual operation to becoming aware, forgetting, can also be modelled. Our proposals are based on a novel notion of structural similarity that we call awareness bisimulation, the obvious notion of modal similarity for structures encoding knowledge and awareness.

There is a large body of literature by the Chilean biologists Humberto Maturana and Francisco Varela, usually referred to as Autopoietic Theory. This theory describes the dynamics of living systems; dealing with cognition as a biological phenomenon. The theory, however, has found far wider application than may be suggested from its biological roots. This is because the theory builds from its cognitive base to generate implications for epistemology, communication and social systems theory. Since, in essence, there is no discontinuity between (...) what is social and what is human, from the perspective of their biological roots. This paper presents some of the key elements of autopoietic theory and explores their application to organisations and their management. The topics considered are: i) the epistemological qualities of our knowledge and its relevance in understanding organisation; ii) human enterprises as autonomous selforganising systems; iii) the meaning of communication and the role of language in organisations. The paper also describes a new approach to organisational inquiry. This brings together, in a co-determinate fashion, a pragmatic attitude to human experience and language, and the value of theoretical insight. (shrink)

Tim French, Wiebe van der Hoek, Petar Iliev and Barteld Kooi. Succinctness of Epistemic Languages. In: T. Walsh (editor). Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI-11), pp. 881-886, AAAI Press, Menlo Park.

Taking to heart Massaro's [(1988) Some criticisms of connectionist models of human performance, Journal of Memory and Language, 27, 213-234] criticism that multi-layer perceptrons are not appropriate for modeling human cognition because they are too powerful (i.e. they can simulate just about anything, which gives them little explanatory power), Regier develops the notion of constrained connectionism. The model that he discusses is a distributed network but with numerous constraints added that are (more or less) motivated by real psychophysical and (...) neurophysical constraints. His model learns static prepositions of spatial location such as in, above, to the left of, to the right of, under, etc., as well as dynamic prepositions such as through and the Russian iz-pod, meaning out from under. The network learns these prepositions by viewing a number of examples of them. Very importantly, this book tackles-and goes a long way towards resolving-the problem of the lack of negative exemplars (i.e. we are only very rarely told when something is not above something else), which should lead to overgeneralization, but does not. This book is a significant contribution to connectionist literature. (shrink)

This paper demonstrates the undecidability of a number of logics with quantification over public announcements: arbitrary public announcement logic, group announcement logic, and coalition announcement logic. In APAL we consider the informative consequences of any announcement, in GAL we consider the informative consequences of a group of agents all of which are simultaneously making known announcements. So this is more restrictive than APAL. Finally, CAL is as GAL except that we now quantify over anything the agents not in that group (...) may announce simultaneously as well. The logic CAL therefore has some features of game logic and of ATL. We show that when there are multiple agents in the language, the satisfiability problem is undecidable for APAL, GAL, and CAL. In the single agent case, the satisfiability problem is decidable for all three logics. (shrink)

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field (with infinitesimals). Our approach was inspired by the work of Whitehead (...) (1919), though our philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time. (shrink)

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field. Our approach was inspired by the work of Whitehead, though our (...) philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time. (shrink)

During the last thirty years, most linguists and philosophers have assumed that meaning can be represented symbolically and that the mental processing of language involves the manipulation of symbols. Scholars have assembled strong evidence that there must be linguistic representations at several abstract levels--phonological, syntactic, and semantic--and that those representations are related by a describable system of rules. Because meaning is so complex, linguists often posit an equally complex relationship between semantic and other levels of grammar. The Semantics of (...) Syntax is an elegant and powerful analysis of the relationship between syntax and semantics. Noting that meaning is underdetermined by form even in simple cases, Denis Bouchard argues that it is impossible to build knowledge of the world into grammar and still have a describable grammar. He thus proposes simple semantic representations and simple rules to relate linguistic levels. Focusing on a class of French verbs, Bouchard shows how multiple senses can be accounted for by the assumption of a single abstract core meaning along with background information about how objects behave in the world. He demonstrates that this move simplifies the syntax at no cost to the descriptive power of the semantics. In two important final chapters, he examines the consequences of his approach for standard syntactic theories. (shrink)

One way of coping with agreement of features in French is to perform two parallel computations, one in the free pregroup of syntactic types, the other in that of feature types. Technically speaking, this amounts to working in the direct product of two free pregroups.

Linguists intuitions about language change can be captured by adynamical systems model derived from the dynamics of language acquisition.Rather than having to posit a separate model for diachronic change, as hassometimes been done by drawing on assumptions from population biology (cf.Cavalli-Sforza and Feldman, 1973; 1981; Kroch, 1990), this new modeldispenses with these independent assumptions by showing how the behavior ofindividual language learners leads to emergent, global populationcharacteristics of linguistic communities over several generations. As thesimplest case, we formalize (...) the example of two grammars and show that eventhis situation leads directly to a nonlinear (quadratic) dynamical system.We study this one parameter model in a variety of situations for differentkinds of acquisition algorithms and maturational times, showing howdifferent learning theories can have very different evolutionaryconsequences. This allows us to formulate an evolutionary criterion for theadequacy of grammatical and learning theories. An application of thecomputational model to the historical loss of Verb Second from Old French toModern French is described showing how otherwise adequate grammaticaltheories might fail the evolutionary criterion. (shrink)

There is a growing body of literature using the tools of syntactic models of word formation (e.g. Distributed Morphology) to provide analyses of language mixing phenomena, in particular word internal mixing. In fact, the very phenomenon of word internal mixing directly supports a syntactic approach to word formation, according to which words are structurally complex. On the basis of this view, the basic units of word formation involve roots that combine with functional elements in the syntax. The combination of (...) roots with functional elements creates words. This paper is in line with this work and investigates further the question of how word formation operates in cases of language mixing and what exactly is being mixed in mixing, i.e. words vs. roots. After reviewing literature on word internal mixing, I will discuss compound formation in language contact situations, the question being of how compounding in mixing can inform both theories of mixing and theories of word-hood. Compounding is important to answer the question of what exactly is being mixed in mixing, as language differ with respect to the units they employ for compound formation, i.e. words vs. roots and to the availability of linking elements to form compounds. Moreover, compounding is important to understand the role the two languages play in mixing, as languages differ with respect to head-ness (left or right) of their compounds. The data to be discussed will be a mixture of materials that have already been published in the literature and newly collected data and involve several mixing varieties, namely Greek-English, Greek-German, Greek-Turkish, Turkish-Norwegian, Turkish-Dutch and French-Dutch. (shrink)