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)

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)

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.

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.

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)

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)

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)

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)

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)

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)

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)

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)

Just east of the Pamir mountains, and to the north of the great plateau of Tibet, lies the little-explored country of Chinese or Eastern Turkestan. In that country, towards the end of the last century, two hitherto unknown languages were discovered by European explorers and translated by European scholars. Several nations took part in the investigation, and the material discovered was amicably distributed among English, French, German, and Russian philologists. The material to which I refer, the precious sources from which (...) our knowledge of these languages is obtained, consists partly of engraved wooden tablets, but chiefly of documents written on a kind of paper which has been miraculously preserved in the extreme dryness of the sand for some 1,300 years—just like the eggs of the dinosaur recently discovered not so very far from this region, and which, we are told, have been there for ten million years. No such antiquity can be claimed for our documents, which are, in fact, distressingly late. Historical references contained in them seem to show that both languages existed at least as late as the seventh century A.D., when they disappeared. The most striking fact about these languages is that, though very different the one from the other, they both clearly belong to that great Indo-European family to which Greek, Latin, English, Sanskrit, Persian, and so many of the languages of Europe belong. (shrink)

Moral dilemmas are a useful tool to investigate empirically, which parameters of a given situation modulate participants’ moral judgment, and in what way. In an effort to provide moral judgment data from a non-WEIRD culture, we provide the translation and validation of 48 classical moral dilemmas in Persian language. The translated dilemma set was submitted to a validation experiment with N = 82 Iranian participants. The four-factor structure of this dilemma set was confirmed; including Personal Force, Benefit Recipient, (...) Evitability, and Intentionality. When comparing moral judgments of Iranian participants to those of Spanish and Italian participants’ from previous research with the same dilemma set, differences emerged. Iranian participants’ moral judgments were more deontological, than Spanish and Italian participants. Religiosity made participants’ moral judgments more deontological, and also dysphoric mood resulted in a more deontological response style. (shrink)

Intellectual encounters between Europe and the Middle East have a long and rich history. During the last two centuries these encounters have accelerated, creating valuable opportunities to study the evolution of political concepts and dissemination of political ideas. This article examines one example of such encounters, showing how a liberal Persian intellectual of the late nineteenth century has borrowed and manipulated concepts from a French Romanticist of the late seventeenth century. Guided by theoretical insights from Quentin Skinner and Fred (...) Dallmayr, this article demonstrates the importance of context to the development of political thought, and refutes the conventional suggestion that Middle Eastern liberals have been the passive recipients of Western ideas. (shrink)

This study linked background TV and socioeconomic status to minority children’s Persian vocabulary development. To this end, 80 Iranian preschool children from two minority groups of Arabs and Turks were selected using stratified random sampling. They were simultaneous bilinguals, i.e., their mother tongue was either Arabic or Azari and their first language was Persian. Language sample analysis was used to measure vocabulary development through a 15-min interview by language experts. The LSA measures included total number (...) of utterances, total number of words, total number of new words, and mean length of utterance. A series of independent-samples t test, paired-samples t test, and repeated measures MANOVA tests were ran to examine data. Results showed significant improvements in children’s vocabulary scores from pretest to posttest for all children. In addition, high-SES children scored higher on the vocabulary measures in pretest and posttest. Moreover, background TV was associated with higher means in the TNW and the NDW in groups. The researchers concluded that background TV may be related to higher vocabulary scores in low-SES families as it may compensate for some linguistics gaps in these families including lower amount of child-parent interaction, play, and parents’ level of literacy. (shrink)