Drawing on perspectives ranging from generative syntax, optimality theory, computational linguistics, sign language phonology, and language evolution studies, this book explores the current philosophical issues in theoretical linguistics. It is an essential read for linguists, cognitive scientists and philosophers working in language studies.

This paper introduces the _Global Philosophy_ symposium on Giuseppe Primiero’s book _On the Foundations of Computing_ (2020). The collection gathers commentaries and responses of the author with the aim of engaging with some open questions in the philosophy of computer science. Firstly, this paper introduces the central themes addressed in Primiero’s book; secondly, it highlights some of the main critiques from commentators in order to, finally, pinpoint some conceptual challenges indicating future directions for the philosophy of computer science.

What is a language? What do scientific grammars tell us about the structure of individual languages and human language in general? What kind of science is linguistics? These and other questions are the subject of Ryan M. Nefdt's Language, Science, and Structure. -/- Linguistics presents a unique and challenging subject matter for the philosophy of science. As a special science, its formalisation and naturalisation inspired what many consider to be a scientific revolution in the study of mind (...) and language. Yet radical internal theory change, multiple competing frameworks, and issues of modelling and realism have largely gone unaddressed in the field. Nefdt develops a structural realist perspective on the philosophy of linguistics which aims to confront the aforementioned topics in new ways while expanding the outlook toward new scientific connections and novel philosophical insights. On this view, languages are real patterns which emerge from complex biological systems. Nefdt's exploration of this novel view will be especially valuable to those working in formal and computational linguistics, cognitive science, and the philosophies of science, mathematics, and language. (shrink)

This book deals with a major problem in the study of language: the problem of reference. The ease with which we refer to things in conversation is deceptive. Upon closer scrutiny, it turns out that we hardly ever tell each other explicitly what object we mean, although we expect our interlocutor to discern it. Amichai Kronfeld provides an answer to two questions associated with this: how do we successfully refer, and how can a computer be programmed to achieve this? Beginning (...) with the major theories of reference, Dr Kronfeld provides a consistent philosophical view which is a synthesis of Frege's and Russell's semantic insights with Grice's and Searle's pragmatic theories. This leads to a set of guiding principles, which are then applied to a computational model of referring. The discussion is made accessible to readers from a number of backgrounds: in particular, students and researchers in the areas of computational linguistics, artificial intelligence and the philosophy of language will want to read this book. (shrink)

My contribution takes up a set of methodological and philosophical issues in linguistics that have recently occupied the work of Devitt and Rey. Devitt construes the theories of generative linguistics as being about an external linguistic reality of utterances, inscriptions, etc.; that is, Devitt rejects the ‘psychologistic’ construal of linguistics. On Rey’s conception, linguistics concerns the mental contents of speaker / hearers; there are no external linguistic items at all. I reject both views. Against Devitt, I (...) argue that the philosophical issues in linguistics should be framed in terms of the theories themselves, not pre-theoretical conceptions front either philosophy or commonsense as to what linguistics is about or what a language is. In this light, I suggest that Devitt’s key arguments (concerning parameter setting, psychological reality, and the role of intuitions) do not make sense of current linguistic inquiry and so do not offer an adequate philosophical basis of that work. To this extent, I agree with Rey. Ourdifferences emerge over the putative role of content in linguistic inquiry and how the concept of computation ought to be understood. Following the lead of Chomsky’s recent philosophical remarks, I argue that a theory of the language faculty should be understood as an abstract specification of the function that pairs ‘sound’ with ‘meaning’ rather than as a specification of the content the mind represents. But doesn’t ‘computation’ presuppose ‘representation’? I argue for a negative answer, at least if ‘representation’ is read intentionally. A ‘representation’ can be construed as brain structure that, at the present stage of inquiry, can only be picked out via the abstract concepts of linguistic theory. We are entitled to posit such structures insofar as they earn their explanatory keep over the output of the faculty. The linguistic function is a way of setting the boundary conditions on what the brain must be doing such that humans get to be competent speaker / hearers, although we do not therefore take the function to be a story of the causal spring of linguistic performance. (shrink)

Vagueness is a linguistic phenomenon as well as a property of physical objects. Fuzzy set theory is a mathematical model of vagueness that has been used to define vague models of computation. The prominent model of vague computation is the fuzzy Turing machine. This conceptual computing device gives an idea of what computing under vagueness means, nevertheless, it is not the most natural model. Based on the properties of this and other models of vague computing, an attempt is made to (...) formulate a basis for a philosophy of a theory of fuzzy computation. (shrink)

Extract from Hofstadter's revew in Bulletin of American Mathematical Society : http://www.ams.org/journals/bull/1980-02-02/S0273-0979-1980-14752-7/S0273-0979-1980-14752-7.pdf -/- "Aaron Sloman is a man who is convinced that most philosophers and many other students of mind are in dire need of being convinced that there has been a revolution in that field happening right under their noses, and that they had better quickly inform themselves. The revolution is called "Artificial Intelligence" (Al)-and Sloman attempts to impart to others the "enlighten- ment" which he clearly regrets not having (...) experienced earlier himself. Being somewhat of a convert, Sloman is a zealous campaigner for his point of view. Now a Reader in Cognitive Science at Sussex, he began his academic career in more orthodox philosophy and, by exposure to linguistics and AI, came to feel that all approaches to mind which ignore AI are missing the boat. I agree with him, and I am glad that he has written this provocative book. The tone of Sloman's book can be gotten across by this quotation (p. 5): "I am prepared to go so far as to say that within a few years, if there remain any philosophers who are not familiar with some of the main developments in artificial intelligence, it will be fair to accuse them of professional incom- petence, and that to teach courses in philosophy of mind, epistemology, aesthetics, philosophy of science, philosophy of language, ethics, metaphysics, and other main areas of philosophy, without discussing the relevant aspects of artificial intelligence will be as irresponsible as giving a degree course in physics which includes no quantum theory." -/- (The author now regrets the extreme polemical tone of the book.). (shrink)

This paper reports a procedure which I employed with two computational research instruments, the Index Thomisticus and its companion St. Thomas CD-ROM, in order to research the Thomistic axiom, ‘whatever is received is received according to the mode of the receiver.’ My procedure extends to the lexicological methods developed by the pioneering creator of the Index, Roberto Busa, from single terms to a proposition. More importantly, the paper shows how the emerging results of the lexicological searches guided my formation (...) of a philosophical thesis about the axiom’s import for Aquinas’s existential metaphysics. (shrink)

The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 September 1975. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science, and was sponsored by the National Research Council of Canada and the University of Western Ontario. As those associated closely with the work of the Division (...) over the years know well, the work undertaken by its members varies greatly and spans a number of fields not always obviously related. In addition, the volume of work done by first rate scholars and scientists in the various fields of the Division has risen enormously. For these and related reasons it seemed to the editors chosen by the Divisional officers that the usual format of publishing the proceedings of the Congress be abandoned in favour of a somewhat more flexible, and hopefully acceptable, method of pre sentation. Accordingly, the work of the invited participants to the Congress has been divided into four volumes appearing in the University of Western Ontario Series in Philosophy of Science. The volumes are entitled, Logic, Foundations of Mathematics and Computability Theory, Foun dational Problems in the Special Sciences, Basic Problems in Methodol ogy and Linguistics, and Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science. (shrink)

This article reformulates the theory of computable physical models, previously introduced by the author, as a branch of applied model theory in first-order logic. It provides a semantic approach to the philosophy of science that incorporates aspects of operationalism and Popper’s degrees of falsifiability.

We offer philosophical motivations for a method we call Virtual World Cognitive Science (VW CogSci), in which researchers use virtual embodied agents that are embedded in virtual worlds to explore questions in the field of Cognitive Science. We focus on questions about mental and linguistic representation and the ways that such computational modeling can add rigor to philosophical thought experiments, as well as the terminology used in the scientific study of such representations. We find that this method forces researchers (...) to take a god’s-eye view when describing dynamical relationships between entities in minds and entities in an environment in a way that eliminates the need for problematic talk of belief and concept types, such as the belief that cats are silly, and the concept CAT, while preserving belief and concept tokens in individual cognizers’ minds. We conclude with some further key advantages of VW CogSci for the scientific study of mental and linguistic representation and for Cognitive Science more broadly. (shrink)

Is the neurophysiology of pain all there is to pain? How do words and mental pictures come to represent things in the world? Do computers think, and if so, are their thought processes significantly similar to our thought processes? Or is there something distinctive about human thought thatprecludes replication in a computer? These are some of the puzzles that motivate the philosophical discipline called "philosophy of mind," a central area of philosophy.This Very Short Introduction introduces the philosophy (...) of mind, and looks at some of the most interesting and important topics in this fascinating field, including the mind-body problem and dualism. Barbara Montero also discusses minds other than our own, and the problems associated with definingconsciousness in animals, aliens and machines. Considering these and other such thorny issues such as physicalism and intentionality, she demonstrates how questions of the philosophy of mind also infiltrate disciplines outside of philosophy, including psychology, neuroscience, economics,evolutionary biology, and linguistics. As she observes, most everyone, at some time or another, has ruminated over the relation between mind and matter.ABOUT THE SERIES: The Very Short Introductions series from Oxford University Press contains hundreds of titles in almost every subject area. These pocket-sized books are the perfect way to get ahead in a new subject quickly. Our expert authors combine facts, analysis, perspective, new ideas, andenthusiasm to make interesting and challenging topics highly readable. (shrink)

The Cambridge Handbook of Computational Cognitive Sciences is a comprehensive reference for this rapidly developing and highly interdisciplinary field. Written with both newcomers and experts in mind, it provides an accessible introduction of paradigms, methodologies, approaches, and models, with ample detail and illustrated by examples. It should appeal to researchers and students working within the computational cognitive sciences, as well as those working in adjacent fields including philosophy, psychology, linguistics, anthropology, education, neuroscience, artificial intelligence, computer science, (...) and more. (shrink)

The philosophy of mind is one of the fastest-growing areas in philosophy, not least because of its connections with related areas of psychology, linguistics and computation. This _Companion_ is an alphabetically arranged reference guide to the subject, firmly rooted in the philosophy of mind, but with a number of entries that survey adjacent fields of interest. The book is introduced by the editor's substantial _Essay on the Philosophy of Mind_ which serves as an overview of (...) the subject, and is closely referenced to the entries in the Companion. Among the entries themselves are several "self-profiles" by leading philosophers in the field, including Chomsky, Davidson, Dennett, Dretske, Fodor, Lewis, Searle and Stalnaker, in which their own positions within the subject are articulated. In some more complex areas, more than one author has been invited to write on the same topic, giving a polarity of viewpoints within the book's overall coverage. All main entries have a full bibliography, and the book is indexed to the high standards set by other volumes in the Blackwell Companions to Philosophy series. (shrink)

Could a computer have a mind? What kind of machine would this be? Exactly what do we mean by 'mind' anyway?The notion of the 'intelligent' machine, whilst continuing to feature in numerous entertaining and frightening fictions, has also been the focus of a serious and dedicated research tradition. Reflecting on these fictions, and on the research tradition that pursues 'Artificial Intelligence', raises a number of vexing philosophical issues. Minds and Computers introduces readers to these issues by offering an engaging, coherent, (...) and highly approachable interdisciplinary introduction to the Philosophy of Artificial Intelligence.Readers are presented with introductory material from each of the disciplines which constitute Cognitive Science: Philosophy, Neuroscience, Psychology, Computer Science, and Linguistics. Throughout, readers are encouraged to consider the implications of this disparate and wide-ranging material for the possibility of developing machines with minds. And they can expect to de. (shrink)

Context: Challenges by embodied, enactive, extended and ecological approaches to cognition have provided good reasons to shift away from neurocentric theories. Problem: Classic cognitivist accounts tend towards internalism, representationalism and methodological individualism. Such accounts not only picture the brain as the central and almost exclusive mechanism of cognition, they also conceive of brain function in terms that ignore the dynamical relations among brain, body and environment. Method: I review four areas of research where enactivist accounts have shown alternative ways of (...) thinking about the brain. Results: Taken together, such analyses form a comprehensive alternative to the classic conceptions of cognitivist, computational neuroscience. Implications: Such considerations motivate the need to re-think our understanding of how the brain itself works. They suggest that the best explanation of brain function may be found in the mixed vocabularies of embodied and situated cognition, developmental psychology, ecological psychology, dynamic systems theory, applied linguistics, the theory of affordances and material engagement, rather than the narrow vocabulary of computational neuroscience. Constructivist content: This account is consistent with an enactivist-constructivist approach to cognition. (shrink)

The philosophy of mind is one of the fastest-growing areas in philosophy, not least because of its connections with related areas of psychology, linguistics and computation. This _Companion_ is an alphabetically arranged reference guide to the subject, firmly rooted in the philosophy of mind, but with a number of entries that survey adjacent fields of interest. The book is introduced by the editor's substantial _Essay on the Philosophy of Mind_ which serves as an overview of (...) the subject, and is closely referenced to the entries in the Companion. Among the entries themselves are several "self-profiles" by leading philosophers in the field, including Chomsky, Davidson, Dennett, Dretske, Fodor, Lewis, Searle and Stalnaker, in which their own positions within the subject are articulated. In some more complex areas, more than one author has been invited to write on the same topic, giving a polarity of viewpoints within the book's overall coverage. All main entries have a full bibliography, and the book is indexed to the high standards set by other volumes in the Blackwell Companions to Philosophy series. (shrink)

This review essay analyzes the book by Giuseppe Primiero, On the foundations of computing. Oxford: Oxford University Press (ISBN 978-0-19-883564-6/hbk; 978-0-19-883565-3/pbk). xix, 296 p. (2020). It gives a critical view from the perspective of physical computing as a foundation of computing and argues that the neglected pillar of material computation (Stepney) should be brought centerstage and computing recognized as the fourth great domain of science (Denning).

Book synopsis: The philosophy of mind is one of the fastest-growing areas in philosophy, not least because of its connections with related areas of psychology, linguistics and computation. This Companion is an alphabetically arranged reference guide to the subject, firmly rooted in the philosophy of mind, but with a number of entries that survey adjacent fields of interest. The book is introduced by the editor's substantial Essay on the Philosophy of Mind which serves as an (...) overview of the subject, and is closely referenced to the entries in the Companion. Among the entries themselves are several ""self-profiles"" by leading philosophers in the field, including Chomsky, Davidson, Dennett, Dretske, Fodor, Lewis, Searle and Stalnaker, in which their own positions within the subject are articulated. In some more complex areas, more than one author has been invited to write on the same topic, giving a polarity of viewpoints within the book's overall coverage. (shrink)

Empirical insights into language processing have a philosophical relevance that extends well beyond philosophical questions about language. This chapter will discuss this wider relevance: We will consider how experimental philosophers can examine language processing in order to address questions in several different areas of philosophy. To do so, we will present the emerging research program of experimental argument analysis (EAA) that examines how automatic language processing shapes verbal reasoning – including philosophical arguments. The evidential strand of experimental philosophy (...) uses mainly questionnaire-based methods to assess the evidentiary value of intuitive judgments that are adduced as evidence for philosophical theories and as premises for philosophical arguments. Extending this prominent strand of experimental philosophy, EAA underpins such assessments, extends the scope of the assessments, and expands the range of the empirical methods employed: EAA examines how automatic inferences that are continually made in language comprehension and production shape verbal reasoning, and draws on findings about comprehension biases that affect the contextualisation of such default inferences, in order to explain and expose fallacies. It deploys findings to assess premises and inferences from premises to conclusions, in philosophical arguments. To do so, it adapts methods from psycholinguistics and recruits methods from computational linguistics. (shrink)

In this paper I consider the idea of external language and examine the role it plays in our understanding of human linguistic practice. Following Michael Devitt, I assume that the subject matter of a linguistic theory is not a psychologically real computational module, but a semiotic system of physical entities equipped with linguistic properties. 2 What are the physical items that count as linguistic tokens and in virtue of what do they possess phonetic, syntactic and semantic properties? According to (...) Devitt, the entities in question are particular bursts of sound or bits of ink that count as standard linguistic entities3 — that is, strings of phonemes, sequences of words and sentences — in virtue of the conventional rules that constitute the structure of the linguistic reality. In my view, however, the bearers of linguistic properties should rather be understood as complex physical states of affairs — that I call, following Ruth G. Millikan, complete linguistic signs4 — within which one can single out their narrow and wide components, that is, (0 sounds or inscriptions produced by the speaker and (if) salient aspects of the context of their production. Moreover, I do not share Devitt's view on the nature of linguistic properties. Even though I maintain the general idea of convention-based semantics — according to which semantic properties of linguistic tokens are essentially conventional — I reject the Lewisian robust account of conventionality. Following Millikan, I assume that language conventions involve neither regular conformity nor mutual understanding. (shrink)

Any attempt to conceptualize, categorize and constraint foundational issues in a living science, such as Computing, is bound to show its limitations and leave a number of open issues. Taking stock with some critical reviews of Primiero (On the foundations of computing, Oxford University Press, Oxford, 2019) published in this Journal, I overview potential new problems to be investigated by a foundational analysis of the science of computing.

This book presents the current state of experimental philosophy of language, drawing attention to corpus methods. The volume highlights new trends in experimental philosophy of language, thus exploring the future’s discipline. It includes cross-linguistics studies that reveal the differences and similarities in how speakers of different languages use specific terms, and scrutinizes methodological advances used in experimental philosophy of language. The book also includes politically engaged experimental philosophy of language studies focusing on slurs, pejoratives, and (...) hate speech. The topic’s interdisciplinary nature makes the volume of interest to a broad range of scholars across disciplines including philosophy, linguistics, philology, psychology, and computational linguistics. (shrink)

In this article, we reflect on the use of formal methods in the philosophy of science. These are taken to comprise not just methods from logic broadly conceived, but also from other formal disciplines such as probability theory, game theory, and graph theory. We explain how formal modelling in the philosophy of science can shed light on difficult problems in this domain.

Much of the literature on the question “Is a human essentially distinct from every possible machine?” proceeds on the assumption that we know what a man essentially is, namely a living body with such attributes as consciousness, freedom, feeling and linguistic competence. Is a man essentially that? The paper contrasts that picture of man with Kierkegaard’s account of man as essentially self. Hard limits of machine subjectivity begin to appear in the failure of certain everyday concepts involving ‘self’ to engage (...) at all with the concept ‘machine’. (shrink)

Much of the literature on the question “Is a human essentially distinct from every possible machine?” proceeds on the assumption that we know what a man essentially is, namely a living body with such attributes as consciousness, freedom, feeling and linguistic competence. Is a man essentially that? The paper contrasts that picture of man with Kierkegaard’s account of man as essentially self. Hard limits of machine subjectivity begin to appear in the failure of certain everyday concepts involving ‘self’ to engage (...) at all with the concept ‘machine’. (shrink)

ABSTRACT The article constitutes an attempt to answer the question contained in the title, by reference to three example topics: individual privacy, ownership of software, and computer ‘hacking’. The ethical question is approached via the legal one of whether special, computer–specific legislation is appropriate. The conclusion is in the affirmative, and rests on the claim that computer technology has brought with it, not so much the potential for committing totally new kinds of crimes, as a distinctive set of linguistic and (...) conceptual apparatus which makes it necessary to describe computer–related activity in special ways. (shrink)

This article provides a survey of key papers that characterise computable functions, but also provides some novel insights as follows. It is argued that the power of algorithms is at least as strong as functions that can be proved to be totally computable in type-theoretic translations of subsystems of second-order Zermelo Fraenkel set theory. Moreover, it is claimed that typed systems of the lambda calculus give rise naturally to a functional interpretation of rich systems of types and to a hierarchy (...) of ordinal recursive functionals of arbitrary type that can be reduced by substitution to natural number functions. (shrink)

This paper offers a review of Giuseppe Primero’s (2020) book “On the foundations of computing”_._ Mathematical, engineering, and experimental foundations of the science of computing are examined under the light of the notions of formal, physical, and experimental computational validity provided by the author. It is challenged the thesis that experimental computational validity can be defined only for the algorithmic method and not for the software development process. The notions of computational hypothesis and computational experiment provided (...) by Primiero (2020) are extended to the case of software development. Finally, it is highlighted how the hypothetical-deductive method is involved in the practice of using models to corroborate computational hypotheses in software testing. As a concluding remark, it is underlined how defining experimental computational validity in the context of software development offers a sound experimental foundation to the science of computing. (shrink)

In this paper I present a formalist philosophy mathematics and apply it directly to Arithmetic. I propose that formalists concentrate on presenting compositional truth theories for mathematical languages that ultimately depend on formal methods. I argue that this proposal occupies a lush middle ground between traditional formalism, fictionalism, logicism and realism.

Colour fascinates all of us, and scientists and philosophers have sought to understand the true nature of colour vision for many years. In recent times, investigations into colour vision have been one of the main success stories of cognitive science, for each discipline within the field - neuroscience, psychology, linguistics, computer science and artificial intelligence, and philosophy - has contributed significantly to our understanding of colour. Evan Thompson's book is a major contribution to this interdisciplinary project. Colour Vision (...) provides an accessible review of the current scientific and philosophical discussions of colour vision. Thompson steers a course between the subjective and objective positions on colour, arguing for a relational account. This account develops a novel `ecological' approach to colour vision in cognitive science and the philosophy of perception. It is vital reading for all cognitive scientists and philosophers whose interests touch upon this central area. (shrink)

Recent advances in neuroscience lead to a wider realm for philosophy to include the science of the Darwinian-evolved computational brain, our inner world producing organ, a non-recursive super- Turing machine combining 100B synapsing-neuron DNA-computers based on the genetic code. The whole system is a logos machine offering a world map for global context, essential for our intentional grasp of opportunities. We start from the observable contrast between the chaotic universe vs. our orderly inner world, the noumenal cosmos. So (...) far, philosophy has been rehearsing our thoughts, our human-internal world, a grand painting of the outer world, how we comprehend subjectively our experience, worked up by the logos machine, but now we seek a wider horizon, how humans understand the world thanks to Darwinian evolution to adapt in response to the metaphysical gap, the chasm between the human animal and its environment, shaping the organism so it can deal with its variable world. This new horizon embraces global context coded in neural structures that support the noumenal cosmos, our inner mental world, for us as denizens of the outer environment. Kant’s inner and outer senses are fundamental ingredients of scientific philosophy. Several sections devoted to Heidegger, his lizard debunked, but his version of the metaphysical gap & his doctrine of the logos praised. Rorty and others of the behaviorist school discussed also. (shrink)

In this paper, I argue for a modified version of what Devitt calls the Representational Thesis. According to RT, syntactic rules or principles are psychologically real, in the sense that they are represented in the mind/brain of every linguistically competent speaker/hearer. I present a range of behavioral and neurophysiological evidence for the claim that the human sentence processing mechanism constructs mental representations of the syntactic properties of linguistic stimuli. I then survey a range of psychologically plausible computational models of (...) comprehension and show that they are all committed to RT. I go on to sketch a framework for thinking about the nature of the representations involved in sentence processing. My claim is that these are best characterized not as propositional attitudes but, rather, as subpersonal states whose representational properties are determined by their functional role. Finally, I distinguish between explicit and implicit representations and argue that the latter can be drawn on as data by the algorithms that constitute our sentence processing routines. I conclude that skepticism concerning the psychological reality of grammars cannot be sustained. (shrink)

"Foundations of the Formal Sciences" is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades. The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical (...) methods can improve our philosophical and technical understanding of language and scientific discourse, ranging from the theoretical level up to applications in language recognition software. Audience: This volume is of interest to all formal philosophers and theoretical linguists. In addition to that, logicians interested in the applications of their field and logic students in mathematics, computer science, philosophy and linguistics can use the volume to broaden their knowledge of applications of logic. (shrink)

This collection of 38 papers gives a cross-section of ongoing research in philosophy of science and philosophical logic. The papers, written by active researchers in the field and published here for the first time, are drawn from around 650 papers that were contributed to the 9th International Congress of Logic, Methodology and Philosophy of Science in Uppsala, Sweden, 1991. Some of the speakers whose contributions attracted special interest were invited to contribute their papers to this volume. A few (...) papers appear here more or less as they were presented at the Congress, whereas others are expansions or elaborations of the talks given. There is one section with five papers on philosophical logic. The other papers deal with many different aspects of philosophy of science, including general methodological questions, problems of probability, induction and decision theory, and ethics of science and technology, as well as foundational problems about particular sciences. Five special sections are concerned with logic, mathematics and computer science, the physical sciences, the biological sciences, cognitive science, and linguistics, respectively. Finally, there is one section on the history of logic, methodology and philosophy of science. The book will be of interest to philosophers of science and logicians, as well as to all researchers interested in the foundations of their disciplines. (shrink)

The paper shows how ideas that explain the sense of an expression as a method or algorithm for finding its reference, preshadowed in Frege’s dictum that sense is the way in which a referent is given, can be formalized on the basis of the ideas in Thomason (1980). To this end, the function that sends propositions to truth values or sets of possible worlds in Thomason (1980) must be replaced by a relation and the meaning postulates governing the behaviour of (...) this relation must be given in the form of a logic program. The resulting system does not only throw light on the properties of sense and their relation to computation, but also shows circular behaviour if some ingredients of the Liar Paradox are added. The connection is natural, as algorithms can be inherently circular and the Liar is explained as expressing one of those. Many ideas in the present paper are closely related to those in Moschovakis (1994), but receive a considerably lighter formalization. (shrink)

This book collects most of the invited papers presented at the 12th International Congress of Logic, Methodology and Philosophy of Science in Oviedo, August 2003. It contains state of the art accounts of ongoing work by a selection of the most renowned researchers in the field. The papers in the Logic section deal with topics in mathematical logic, as well as philosophical logic, and the area of logic and computation. The section on General Methodology contains articles on models, theories, (...) probability, induction, causation, and other topics. A number of papers discuss Philosophical Issues of Particular Sciences, such as mathematics, physics, linguistics, psychology, biology, and medicine. There is also a section on Ethics of Science, and papers from a special symposium on the Emergence of Scientific Medicine in the 19th-20th Century. (shrink)

This volume comprises a selection of papers that were contributed to the 7th International Congress of Logic, Methodology and Philosophy of Science, which was held in Salzburg from the 11th - 16th July, 1983. There were 14 sections in this congress: 1. proof theory and foundations of mathematics 2. model theory and its applica ti on 3. recursion theory and theory of computation 4. axiomatic set theory 5. philosophical logic 6. general methodology of science 7. foundations of probability and (...) induction 8. foundations and philosophy of the physical sciences 9. foundati ons and phi 1 osophy of biology 10. foundations and philosophy of psychology foundations and philosophy 11. of the social sciences 12. foundati ons and philosophy of linguistics 13. history of logic, methodology and philosophy of science 14. fundamental principles of the ethics of science In each section, three or four invited addresses were given, which will be published in the Congress Proceedings (Ruth Barcan Marcus, Georg J. W. Dorn and Paul Weingartner, eds. : Logic, Metho dology and Philosophy of Science VII. Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of v PREFACE Science, Salzburg, 1983. - Amsterdam, New York, Oxford: North-Holland Publishing 'Company, 1985. ) Every section with the exception of section 14 also contained contributed papers. (shrink)

The purpose of this essay is to offer a Wide view of the diverse currents of thought and debates that have emerged due to the so called: “naturalistic program in epistemology and the philosophy of science”. The cognitive sciences have been of great importance due to their relationship to thought, and to the fact that philosophy has been, from the beginning, part of the interdisciplinary frame that groups: cognitive science, computer science, neurology, anthropology, psychology and linguistics.

After reviewing some major features of theinteractions between Linguistics and Philosophyin recent years, I suggest that the depth and breadthof current inquiry into semanticshas brought this subject into contact both with questionsof the nature of linguistic competence and with modern andtraditional philosophical study of the nature ofour thoughts, and the problems of metaphysics.I see this development as promising for thefuture of both subjects.

This anthology aims to present the fundamental philosophical issues and tools required by the reflection within and upon geography and Geographic Information Systems. It is an introduction to the philosophy for GIScience from an analytical perspective, which looks at GIS with a specific focus on its fundamental and most general concepts and distinctions. The first part of the book is devoted to explore some of the main philosophical questions arising from GIS and GIScience, which include, among others, investigations in (...) ontology, epistemology, linguistics and geometrical modeling. The second part concerns issues related to spatial and cartographical representations of the geographical world. The third part is focused on the ontology of geography, specifically in terms of geographical entities, objects and boundaries. Finally, in the fourth part, the topic of GIS constitutes a starting point for exploring themes such as quantum geography and disorientation, and for defining professional profiles for geographers with competences in GIS environment. This book on a new and unexplored field of research could be a fundamental point of reference for professional philosophers and geographers interested in the theoretical reflection about the foundational concepts of GIScience. It is also interesting reading material for students in philosophy, geography, applied ontology, GIScience, geomatics and computer science. (shrink)

We study the computational complexity of polyadic quantifiers in natural language. This type of quantification is widely used in formal semantics to model the meaning of multi-quantifier sentences. First, we show that the standard constructions that turn simple determiners into complex quantifiers, namely Boolean operations, iteration, cumulation, and resumption, are tractable. Then, we provide an insight into branching operation yielding intractable natural language multi-quantifier expressions. Next, we focus on a linguistic case study. We use computational complexity results to (...) investigate semantic distinctions between quantified reciprocal sentences. We show a computational dichotomy<br>between different readings of reciprocity. Finally, we go more into philosophical speculation on meaning, ambiguity and computational complexity. In particular, we investigate a possibility to<br>revise the Strong Meaning Hypothesis with complexity aspects to better account for meaning shifts in the domain of multi-quantifier sentences. The paper not only contributes to the field of the formal<br>semantics but also illustrates how the tools of computational complexity theory might be successfully used in linguistics and philosophy with an eye towards cognitive science. (shrink)

The Fifth International Congress of Logic, Methodology and Philosophy of Science was held at the University of Western Ontario, London, Canada, 27 August to 2 September 1975. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science, and was sponsored by the National Research Council of Canada and the University of Western Ontario. As those associated closely with the work of the Division (...) over the years know weIl, the work undertaken by its members varies greatly and spans a number of fields not always obviously related. In addition, the volume of work done by first rate scholars and scientists in the various fields of the Division has risen enormously. For these and related reasons it seemed to the editors chosen by the Divisional officers that the usual format of publishing the proceedings of the Congress be abandoned in favour of a somewhat more flexible, and hopefully acceptable, method of pre sentation. Accordingly, the work of the invited participants to the Congress has been divided into four volumes appearing in the University of Western Ontario Series in Philosophy of Science. The volumes are entitled, Logic, Foundations of Mathematics and Computability Theory, Foun dational Problems in the Special Sciences, Basic Problems in Methodol ogy and Linguistics, and Historical and Philosophical Dimensions of Logic, Methodology and Philosophy of Science. (shrink)

Does recent work in the cognitive sciences have any implications for theories or methods employed within the philosophy of science itself? It does if one takes a naturalistic approach in which understanding the nature of representations or judgments of representational success in science requires reference to the cognitive capacities or activities of individual scientists. Here I comment on recent contributions from three areas of the cognitive sciences represented respectively by Paul Churchland's neurocomputational perspective, Nancy Nersessian's cognitive-historical approach, and Paul (...) Thagard's computational philosophy of science. The main general conclusion is that we need to replace traditional linguistic notions of representation in science. (shrink)

Written by world-leading experts, this book draws together a number of important strands in contemporary approaches to the philosophical and scientific questions that emerge when dealing with the issues of computing, information, cognition and the conceptual issues that arise at their intersections. It discovers and develops the connections at the borders and in the interstices of disciplines and debates. This volume presents a range of essays that deal with the currently vigorous concerns of the philosophy of information, ontology creation (...) and control, bioinformation and biosemiotics, computational and post-computation approaches to the philosophy of cognitive science, computational linguistics, ethics, and education. (shrink)

This book covers completeness of first-order logic, some model theory, Gödel's incompleteness theorems and related results, and a smattering of computability theory. The text is self-contained and provides full proofs of the main facts. Ideally, the reader of this work has already taken at least one introductory logic course; however, everything needed to understand the syntax and semantics of first-order logic is presented herein. Students from philosophy, linguistics, computer science, physics, and other related subjects will find this work (...) useful and enlightening. (shrink)

This is the first of two volumes comprising the papers submitted for publication by the invited participants to the Tenth International Congress of Logic, Methodology and Philosophy of Science, held in Florence, August 1995. The Congress was held under the auspices of the International Union of History and Philosophy of Science, Division of Logic, Methodology and Philosophy of Science. The invited lectures published in the two volumes demonstrate much of what goes on in the fields of the (...) Congress and give the state of the art of current research. The two volumes cover the traditional subdisciplines of mathematical logic and philosophical logic, as well as their interfaces with computer science, linguistics and philosophy. Philosophy of science is broadly represented, too, including general issues of natural sciences, social sciences and humanities. The papers in Volume One are concerned with logic, mathematical logic, the philosophy of logic and mathematics, and computer science. (shrink)