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)

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.

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.

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 ...

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)

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.

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 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 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)

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.

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 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.

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)

__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)

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)

Identitet učitelja inoga jezika nedovoljno je istražen koncept na području Republike Hrvatske. Stoga se u ovome radu navedeni koncept ponajprije teorijski razmatra, a potom se prikazuju rezultati istraživanja profesionalnog identiteta učitelja francuskoga jezika u RH. U istraživačkome dijelu rada razmatramo mijenjaju li učitelji francuskog jezika svoj profesionalni identitet ili ne mijenjaju, a ako mijenjaju, u kojoj je to mjeri i koji su razlozi tomu. Rezultati su pokazali kako učitelji svoj učiteljski identitet najčešće mijenjaju sudjelujući na lokalnim stručnim usavršavanjima, a najmanje (...) sudjelovanjem u organiziranim e-tečajevima. Glavnim razlogom za sudjelovanje u aktivnostima stručnoga usavršavanja pokazao se njihov unutarnji poticaj, dok su se glavnim razlogom za nesudjelovanjem pokazali financijski čimbenici. Dulje radno iskustvo, članstvo u Hrvatskoj udruzi profesora francuskoga jezika i obvezni status jezika pokazali su se faktorima koji statistički značajno pozitivno utječu na osjećaj pripadnosti zajednici učitelja francuskoga jezika u Republici Hrvatskoj. The identity of foreign language teachers is an under-researched concept in Croatia. This paper thus focuses on this concept foremost from a theoretical position, followed by a description of the results of research into the professional identity of French teachers in Croatia. The research considers whether French teachers change their professional identity or not, and if they do, to which extent and for what reasons. The results show that teachers most often change their teaching identity by participating in local professional training courses, and least often by participating in organised e-courses. The main reason for participating in professional training activities proved to be internal motivation, while the main reason for not participating proved to be financial factors. A longer work history, membership in the Croatian Association of French Language Teachers, and status as a compulsory language proved to be statistically significant factors influencing feelings of belonging to the community of French teachers in Croatia. (shrink)

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)

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.

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)

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)

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.

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)

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)

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.

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”.

In the last twenty years or so there has been a renewed interest in Pliny the Elder, once an immensely popular author whose reputation began to suffer after Renaissance scholars challenged the accuracy of his work. The recent interest has been interdisciplinary, producing contributions from classical scholars, historians, scientists, and technologists, sometimes working as a team. What “interdisciplinary” has meant in practice is a collaboration rather than a blend of disciplines. What you see in Pliny is what your training makes (...) obvious.John Healy's book is a robust defense, indeed promulgation, of the thesis that Pliny practiced “science.” This thesis implies not only that science was a recognizable, and recognized, activity in antiquity but that “science” can tell us more clearly than any other rubric what Pliny was up to. Science can certainly tell us about Pliny's natural world, because it was very much like our own, but it does not tell us anything about Pliny's enterprise. We may feel a sense of intellectual satisfaction in knowing the formula for the acetic acid in vinegar and the chemical equation that represents its attack on calcareous rocks, but Pliny's story is about something else.In this study Healy, a distinguished classical scholar, has taken aboard a lot of science. He provides us with valuable information about the suitability of the Latin language for the development of technical terms and about its borrowings from Greek and other languages. After Healy the classicist considers Pliny as a writer and describes his life, sources, mode of work, language, and style, Healy the scientist addresses the topic of ancient science. Chapter 10 lays down the program, taken from a modern classification of fields of research. Healy takes the ten subdivisions of the “natural sciences, technologies and engineering” as a structure for his investigation into Pliny and for the format of the book. He thus looks at Pliny's thought in relation to chemistry, physics, earth sciences, engineering , applied sciences, biology, and agriculture. A footnote tells us that he has omitted any reference to medicine, pharmacology, and astronomy—a pity, as these subjects, with their own identities and practitioners, come closer to science than most of what either Pliny or Healy discusses. In the style of a modern scientific textbook, Healy's text is broken down into numerous subsections to accommodate modern categories. The chapters on minerals and gems are alphabetical lists.The combination of classical learning and scientific knowledge looks formidable and is certainly unusual. But the book is more an exercise in applying science to classical studies than an example of science illuminating history. The confidence his scientific material gives Healy leads to a certain historical insensitivity. I declare an interest here, for he badly misreads what I have argued about “science” in antiquity. His rigid use of modern—our—categories inevitably leads to instances in which he finds Pliny confusing them or failing to separate them. Our categories take on a life of their own in this exposition: the section on “electricity,” for example, is largely independent of Pliny. Its subsection 12.2.1c is on piezoelectricity, of which “neither Pliny, nor other ancient authorities, appear to have been aware.” Gravity has to be there, because it is part of modern physics, but Pliny does not mention it.There is no reason why classical scholars and scientists should not be interested in Pliny and find each other's disciplines enlightening. But the claim that Pliny was, as Healy says, making “contributions” to our science is a historical one and relates to Pliny's purposes. No amount of modern mathematical or chemical formulas will tell us what was in Pliny's mind, and he was fairly clear, after all, on his purposes in writing the Natural History. It's back to “Science in Antiquity?” again. (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)

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)

This paper examines language practices in two services offered in the main Catholic Church in the town of Sangmelima in the South region of Cameroon. The research is motivated by the need to find out what languages are used in this church and what the terms “French service” and “Bulu service” imply in the multilingual city of Sangmelima. The informants were the priests, catechists, choir leaders, and some parishioners of this church. Three main instruments were used to collect (...) data in these two church services, i.e., interview, questionnaire and participant observation. The frame adopted for the analysis was Kouega’s structural-functional approach (2008). The findings revealed that the services in this church include 28 parts. In the French service, the languages used to realise these parts were found to be French, Bulu (Sangmelima), Ewondo (Yaounde), Fang (south of Cameroon and north of Equatorial Guinea), Fe’efe’e (Bafang), Ghomala’ (Bafoussam), and Medumba (Bangangte). In the Bulu service, on the other hand, the languages used were: Bulu (Sangmelima), Ewondo (Yaounde), and French. These languages were chosen for a variety of reasons. First, a language like Bulu was chosen because it is understood by the parishioners as it is the main language of the locality. Second, French is the official language of the territory; third, some languages like Fe’efe’e, Ghomala, and Medumba were chosen on the basis of the involvement of the speakers of these ethnic languages in the activities of the church. Fourth, the availability of printed religious materials in a language was an important factor. (shrink)

L’Introduction à l’analyse des lignes courbes algébriques de Gabriel Cramer, paru en 1750, a tout de suite bénéficié du soutien de D’Alembert qui l’a inclus dans les références bibliographiques de ses articles de mathématiques de l’Encyclopédie portant sur les courbes. Ainsi choisi et légitimé par l’entreprise encyclopédique et ses reprises (Yverdon, Méthodique), l’ouvrage de Cramer devient objet patrimonial au tournant du xixe siècle pour les mathématiciens, amateurs, professionnels ou enseignants qui travaillent sur les courbes algébriques. Le suivi sur le temps (...) long des mentions de l’Introduction dans les encyclopédies, dictionnaires ou histoires des mathématiques en langue française, ainsi que dans quelques textes d’enseignement, nous permettra de comprendre que ce processus de patrimonialisation n’induit pas sa conservation, sa protection, sa valorisation à de seules fins mémorielles, en figeant l’ouvrage dans un passé immuable. Au contraire, il permet une historicisation critique de la part des acteurs qui les met en position d’interroger et de réactualiser les connaissances et les pratiques que l’œuvre contient, au gré des mouvements d’émergence, de réorganisation et des spécialisations des savoirs mathématiques, quitte à en oublier certains aspects pour en mettre de nouveaux en valeur. (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)