Team semantics is a highly general framework for logics which describe dependencies and independencies among variables. Typically, the dependencies considered in this context are properties of sets of configurations or data records. We show how team semantics can be further generalized to support languages for the discussion of interventionist counterfactuals and causal dependencies, such as those that arise in manipulationist theories of causation. We show that the “causal teams” we introduce in the present paper can be (...) used for modelling some classical counterfactual scenarios which are not captured by the usual causal models. We then analyse the basic properties of our counterfactual languages and discuss extensively the differences with respect to the Lewisian tradition. (shrink)

We investigate extensions of dependence logic with generalized quantifiers. We also introduce and investigate the notion of a generalized atom. We define a system of semantics that can accommodate variants of dependence logic, possibly extended with generalized quantifiers and generalized atoms, under the same umbrella framework. The semantics is based on pairs of teams, or double teams. We also devise a game-theoretic semantics equivalent to the double team semantics. We make use of the double (...) class='Hi'>team semantics by defining a logic $$\hbox {DC}^2$$ DC 2 which canonically fuses together two-variable dependence logic $$\hbox {D}^2$$ D 2 and two-variable logic with counting quantifiers $$\hbox {FOC}^2$$ FOC 2 . We establish that the satisfiability and finite satisfiability problems of $$\hbox {DC}^2$$ DC 2 are complete for $$\hbox {NEXPTIME}$$ NEXPTIME. (shrink)

Acknowledgement for the support of publication of JSRI no. 3.

A logical approach to Bell's Inequalities of quantum mechanics has been introduced by Abramsky and Hardy [2]. We point out that the logical Bell's Inequalities of [2] are provable in the probability logic of Fagin, Halpern and Megiddo [4]. Since it is now considered empirically established that quantum mechanics violates Bell's Inequalities, we introduce a modified probability logic, that we call quantum team logic, in which Bell's Inequalities are not provable, and prove a Completeness Theorem for this logic. For (...) this end we generalise the team semantics of dependence logic [7] first to probabilistic team semantics, and then to what we call quantum team semantics. (shrink)

In (Barbero and Sandu 2020 Journal of Philosophical Logic, 50, 471-521), we showed that languages encompassing interventionist counterfactuals and causal notions based on them (as e.g. in Pearl’s and Woodward’s manipulationist approaches to causation) as well as information-theoretic notions (such as learning and dependence) can be interpreted in a semantic framework which combines the traditions of structural equation modeling and of team semantics. We now present a further extension of this framework (causal multiteams) which allows us to talk (...) about probabilistic causal statements. We analyze the expressivity resources of two causal-probabilistic languages, one finitary and one infinitary. We show that many causal-probabilistic notions from the literature on causal inference can already be expressed in the finitary language, and we prove a normal form theorem that throws a new light on Pearl’s “ladder of causation”. In addition, we provide an exact semantic characterization of the infinitary language, which shows that this language captures precisely those causal-probabilistic statements that do not commit us to any specific interpretation of probability; and we prove that no usual, countable language is apt for this task. (shrink)

Gain a deeper understanding of essential research on the semantics of noun phrases and verb phrases. Clear explanations of significant recent research bring complex issues to life, with expert guidance on topics of debate within the field. The book gives readers valuable insights into topics such as definiteness, specificity, genericity aspect, aktionsart and mood. It also discusses directions for future research. Written by a world-class team of authors, these highly cited articles are here in paperback for the first (...) time since their original publication. An essential reference for researchers in the area. (shrink)

We analyze the causal-observational languages that were introduced in Barbero and Sandu (2018), which allow discussing interventionist counterfactuals and functional dependencies in a unified framework. In particular, we systematically investigate the expressive power of these languages in causal team semantics, and we provide complete natural deduction calculi for each language. Furthermore, we introduce a generalized semantics which allows representing uncertainty about the causal laws, and we analyze the expressive power and proof theory of the causal-observational languages over (...) this enriched semantics. (shrink)

In this paper, we introduce a logic based on team semantics, called $\mathbf {FOT} $, whose expressive power is elementary, i.e., coincides with first-order logic both on the level of sentences and (possibly open) formulas, and we also show that a sublogic of $\mathbf {FOT} $, called $\mathbf {FOT}^{\downarrow } $, captures exactly downward closed elementary (or first-order) team properties. We axiomatize completely the logic $\mathbf {FOT} $, and also extend the known partial axiomatization of dependence logic (...) to dependence logic enriched with the logical constants in $\mathbf {FOT}^{\downarrow } $. (shrink)

The article raises the problem of the ambiguity and polysemantic nature of the complex and heterogeneous semantics of the concept of science. This concept includes theories and methods, models and classifications of reality, scientific laws and laws of nature, scientific thinking, scientific publications, experiments and laboratory activities, scientific institutes and research teams, scientific research, expertise and scientific disciplines, scientific knowledge and scientific truth, etc. Nevertheless, with all the abovementioned complexity, science exhibits the properties of a single, dynamically developing complex (...) phenomenon and, accordingly, requires an appropriate interdisciplinary, complex definition that is sensitive to its fundamental contexts: thematic, social and temporal. (shrink)

This paper is a survey of standards being used in the domain of digital cultural heritage with focus on the Metadata Encoding and Transmission Standard created by the Library of Congress in the United States of America. The process of digitization of cultural heritage requires silo breaking in a number of areas—one area is that of academic disciplines to enable the performance of rich interdisciplinary work. This lays the foundation for the emancipation of the second form of silo which are (...) the silos of knowledge, both traditional and born digital, held in individual institutions, such as galleries, libraries, archives and museums. Disciplinary silo breaking is the key to unlocking these institutional knowledge silos. Interdisciplinary teams, such as developers and librarians, work together to make the data accessible as open data on the “semantic web”. Description logic is the area of mathematics which underpins many ontology building applications today. Creating these ontologies requires a human–machine symbiosis. Currently in the cultural heritage domain, the institutions’ role is that of provider of this open data to the national aggregator which in turn can make the data available to the trans-European aggregator known as Europeana. Current ingests to the aggregators are in the form of machine readable cataloguing metadata which is limited in the richness it provides to disparate object descriptions. METS can provide this richness. (shrink)

In recent years, the logic of questions and dependencies has been investigated in the closely related frameworks of inquisitive logic and dependence logic. These investigations have assumed classical logic as the background logic of statements, and added formulas expressing questions and dependencies to this classical core. In this paper, we broaden the scope of these investigations by studying questions and dependency in the context of intuitionistic logic. We propose an intuitionistic team semantics, where teams are embedded within intuitionistic (...) Kripke models. The associated logic is a conservative extension of intuitionistic logic with questions and dependence formulas. We establish a number of results about this logic, including a normal form result, a completeness result, and translations to classical inquisitive logic and modal dependence logic. (shrink)

In this article we study linear temporal logics with team semantics that are novel logics for defining hyperproperties. We define Kamp-type translations of these logics into fragments of first-order team logic and second-order logic. We also characterize the expressive power and the complexity of model-checking and satisfiability of team logic and second-order logic by relating them to second- and third-order arithmetic. Our results set in a larger context the recent results of Lück showing that the extension (...) of TeamLTL by the Boolean negation is highly undecidable under the so-called synchronous semantics. We also study stutter-invariant fragments of extensions of TeamLTL. (shrink)

We study the mathematical properties of bilateral state-based modal logic (BSML), a modal logic employing state-based semantics (also known as team semantics), which has been used to account for free choice inferences and related linguistic phenomena. This logic extends classical modal logic with a nonemptiness atom which is true in a state if and only if the state is nonempty. We introduce two extensions of BSML and show that the extensions are expressively complete, and develop natural deduction (...) axiomatizations for the three logics. (shrink)

In Team Semantics, a dependency notion is strongly first order if every sentence of the logic obtained by adding the corresponding atoms to First-Order Logic is equivalent to some first-order sentence. In this work it is shown that all nontrivial dependency atoms that are strongly first order, downwards closed, and relativizable are definable in terms of constancy atoms.Additionally, it is shown that any strongly first-order dependency is safe for any family of downwards closed dependencies, in the sense that (...) every sentence of the logic obtained by adding to First-Order Logic both the strongly first-order dependency and the downwards closed dependencies is equivalent to some sentence of the logic obtained by adding only the downwards closed dependencies. (shrink)

This paper investigates formal logics for reasoning about determinacy and independence. Propositional Dependence Logic D and Propositional Independence Logic I are recently developed logical systems, based on team semantics, that provide a framework for such reasoning tasks. We introduce two new logics L_D and L_I, based on Kripke semantics, and propose them as alternatives for D and I, respectively. We analyse the relative expressive powers of these four logics and discuss the way these systems relate to natural (...) language. We argue that L_D and L_I naturally resolve a range of interpretational problems that arise in D and I.We also obtain sound and complete axiomatizations for L_D and L_I . (shrink)

We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and Väänänen, and their compositional semantics due to Hodges. We show how Hodges’ semantics can be seen as a special case of a general construction, which provides a context for a useful completeness theorem with respect to a wider class of models. We shed some new light on each aspect of the logic. We show that the natural propositional logic carried by (...) the semantics is the logic of Bunched Implications due to Pym and O’Hearn, which combines intuitionistic and multiplicative connectives. This introduces several new connectives not previously considered in logics of informational dependence, but which we show play a very natural rôle, most notably intuitionistic implication. As regards the quantifiers, we show that their interpretation in the Hodges semantics is forced, in that they are the image under the general construction of the usual Tarski semantics; this implies that they are adjoints to substitution, and hence uniquely determined. As for the dependence predicate, we show that this is definable from a simpler predicate, of constancy or dependence on nothing. This makes essential use of the intuitionistic implication. The Armstrong axioms for functional dependence are then recovered as a standard set of axioms for intuitionistic implication. We also prove a full abstraction result in the style of Hodges, in which the intuitionistic implication plays a very natural rôle. (shrink)

Inquisitive modal logic, InqML, is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in the direction of monadic second-order logic, as inquisitive modal operators involve quantification over sets of worlds. We introduce (...) and investigate the natural notion of bisimulation equivalence in the setting of InqML. We compare the expressiveness of InqML and first-order logic in the context of relational structures with two sorts, one for worlds and one for information states, and characterise inquisitive modal logic as the bisimulation invariant fragment of first-order logic over various natural classes of two-sorted structures. (shrink)

Intuitionistic dependence logic was introduced by Abramsky and Väänänen [1] as a variant of dependence logic under a general construction of Hodges’ (trump) team semantics. It was proven that there is a translation from intuitionistic dependence logic sentences into second order logic sentences. In this paper, we prove that the other direction is also true, therefore intuitionistic dependence logic is equivalent to second order logic on the level of sentences.

Directed acyclic graphs (DAGs) constitute a qualitative representation for conditional independence (CI) properties of a probability distribution. It is known that every CI statement implied by the topology of a DAG is witnessed over it under a graph-theoretic criterion of d-separation. Alternatively, all such implied CI statements are derivable from the local independencies encoded by a DAG using the so-called semi-graphoid axioms. We consider Labeled Directed Acyclic Graphs (LDAGs) modeling graphically scenarios exhibiting context-specific independence (CSI). Such CSI statements are modeled (...) by labeled edges, where labels encode contexts in which the edge vanishes. We study the problem of identifying all independence statements implied by the structure and the labels of an LDAG. We show that this problem is coNP-hard for LDAGs and formulate a sound extension of the semi-graphoid axioms for the derivation of such implied independencies. Finally we connect our study to certain qualitative versions of independence ubiquitous in database theory and teams semantics. (shrink)

We continue the work on the relations between independence logic and the model-theoretic analysis of independence, generalizing the results of [15] and [16] to the framework of abstract independence relations for an arbitrary AEC. We give a model-theoretic interpretation of the independence atom and characterize under which conditions we can prove a completeness result with respect to the deductive system that axiomatizes independence in team semantics and statistics.

We analyse the two definitions of generalized quantifiers for logics of dependence and independence that have been proposed by F. Engström, comparing them with a more general, higher order definition of team quantifier. We show that Engström’s definitions can be identified, by means of appropriate lifts, with special classes of team quantifiers. We point out that the new team quantifiers express a quantitative and a qualitative component, while Engström’s quantifiers only range over the latter. We further argue (...) that Engström’s definitions are just embeddings of the first-order generalized quantifiers into team semantics, and fail to capture an adequate notion of team-theoretical generalized quantifier, save for the special cases in which the quantifiers are applied to flat formulas. We also raise several doubts concerning the meaningfulness of the monotone/nonmonotone distinction in this context. In the appendix we develop some proof theory for Engström’s quantifiers. (shrink)

We present a natural standard translation of inquisitive modal logic $\mathrm{InqML}$ into first-order logic over the natural two-sorted relational representations of the intended models, which captures the built-in higher-order features of $\mathrm{InqML}$. This translation is based on a graded notion of flatness that ties the inherent second-order, team-semantic features of $\mathrm{InqML}$ over information states to subsets or tuples of bounded size. A natural notion of pseudo-models, which relaxes the non-elementary constraints on the intended models, gives rise to an elementary, (...) purely model-theoretic proof of the compactness property for $\mathrm{InqML}$. Moreover, we prove a Hennessy-Milner theorem for $\mathrm{InqML}$, which crucially uses $\omega $ -saturated pseudo-models and the new standard translation. As corollaries we also obtain van Benthem style characterisation theorems. (shrink)

We introduce an atomic formula ${\vec{y} \bot_{\vec{x}}\vec{z}}$ intuitively saying that the variables ${\vec{y}}$ are independent from the variables ${\vec{z}}$ if the variables ${\vec{x}}$ are kept constant. We contrast this with dependence logic ${\mathcal{D}}$ based on the atomic formula = ${(\vec{x}, \vec{y})}$ , actually equivalent to ${\vec{y} \bot_{\vec{x}}\vec{y}}$ , saying that the variables ${\vec{y}}$ are totally determined by the variables ${\vec{x}}$ . We show that ${\vec{y} \bot_{\vec{x}}\vec{z}}$ gives rise to a natural logic capable of formalizing basic intuitions about independence and dependence. (...) We show that ${\vec{y} \bot_{\vec{x}}\vec{z}}$ can be used to give partially ordered quantifiers and IF-logic an alternative interpretation without some of the shortcomings related to so called signaling that interpretations using = ${(\vec{x}, \vec{y})}$ have. (shrink)

Epistemic contextualism is a recent and hotly debated topic in philosophy. Contextualists argue that the language we use to attribute knowledge can only be properly understood relative to a specified context. How much can our knowledge depend on context? Is there a limit, and if so, where does it lie? What is the relationship between epistemic contextualism and fundamental topics in philosophy such as objectivity, truth, and relativism? The Routledge Handbook of Epistemic Contextualism is an outstanding reference source to the (...) key topics, problems, and debates in this exciting subject and is the first collection of its kind. Comprising thirty-seven chapters by a team of international contributors the _Handbook_ is divided into eight parts: Data and motivations for contextualism Methodological issues Epistemological implications Doing without contextualism Relativism and disagreement Semantic implementations Contextualism outside ‘knows’ Foundational linguistic issues. Within these sections central issues, debates and problems are examined, including contextualism and thought experiments and paradoxes such as the Gettier problem and the lottery paradox; semantics and pragmatics; the relationship between contextualism, relativism, and disagreement; and contextualism about related topics like ethical judgments and modality. The Routledge Handbook of Epistemic Contextualism is essential reading for students and researchers in epistemology and philosophy of language. It will also be very useful for those in related fields such as linguistics and philosophy of mind. (shrink)

We study the extension of dependence logic \ by a majority quantifier \ over finite structures. We show that the resulting logic is equi-expressive with the extension of second-order logic by second-order majority quantifiers of all arities. Our results imply that, from the point of view of descriptive complexity theory, \\) captures the complexity class counting hierarchy. We also obtain characterizations of the individual levels of the counting hierarchy by fragments of \\).

The semantic confusion in Europe about the term “anthropology” has of late been considerable. On the one hand there is meant by it, and quite justifiably, human biology and medical anthropology. On the other hand, the work of some contemporary thinkers, under the name of “philosophical anthropology,” has recently gone beyond the narrower compass. This has been noticeable at both the German and the international European philosophical conventions since the last war. In addition to this, there appeared the term “Kulturanthropologie,”—for (...) the first time probably as the title of E. Rothacker's contribution to Systematische Philosophie, a collection of essays edited by Nicolai Hartmann and published in 1942. But “Kulturanthropologie,” in Rothacker's sense, is not a translation of “cultural anthropology,” which has in recent years grown to such eminence among scholarly fields in England and America. In the United States, “anthropology” designates a group of scholarly fields ranging on the one hand from biological anthropology to archaeology and the study of the beginnings of history on the other, often including history, linguistics, and other realms of research; it is neither one of the natural sciences nor of the humanities but one of the social sciences; and the actually new results of this young discipline, especially at Harvard, Yale, and the University of Chicago, are arrived at by means of team work by anthropologists, psychologists, and sociologists, which in Germany has not been the case so far. (shrink)

Written by an international team of leading scholars, this collection of thirteen new essays explores the implications of semantic externalism for self-knowledge and skepticism, bringing recent developments in the philosophy of mind, the philosophy of language, and epistemology to bear on the issue. Structured in three parts, the collection looks at self-knowledge, content transparency, and then meta-semantics and the nature of mental content. The chapters examine a wide range of topics in the philosophy of mind and the philosophy (...) of language, including 2D semantics, transparency views of self-knowledge, and theories of linguistic understanding, as well as epistemological debates on contextualism, contrastivism, pragmatic encroachment, anti-luminosity arguments and testimony. The scope of the volume will appeal to graduate students and researchers in epistemology, philosophy of mind, philosophy of language, cognitive science, psychology and linguistics. (shrink)

Book synopsis: New work on a hot topic by an outstanding team of authors At the intersection of several central areas of philosophy It is the linguistic job of singular terms to pick out the objects that we think or talk about. But what about singular terms that seem to fail to designate anything, because the objects they refer to don't exist? We can employ these terms in meaningful thought and talk, which suggests that they are succeeding in fulfilling (...) their representational task. A team of leading experts presents new essays on the much-debated problem of empty reference and thought. In the 1960s and 1970s Keith Donnellan, David Kaplan, Saul Kripke and Hilary Putnam initiated a revolution in the then standard conception of reference—a concept at the core of philosophical inquiry. The repercussions of the revolution, particularly felt in metaphysics and epistemology, were soon refined by other influential writers such as Tyler Burge, Gareth Evans, and John Perry. They argued that some linguistic and mental representations have contents individuated by what they are about—by ordinary referents of expressions such as proper names, indexicals, definite descriptions and common nouns, i.e. by planets, people or natural kinds. The view was at odds with a central philosophical presumption at that time: that cognitive and linguistic access to objective reality is indirect and accidental, mediated by general descriptive characterizations, the only constitutive semantic feature of the expressions; hence its ontological and epistemological repercussions. A turning-point in the debate about how linguistic and mental representation reach external contents concerned the nature of empty mental and linguistic representations, framed by means of the very same expressions crucially invoked in the Donnellan-Kaplan-Kripke-Putnam arguments. The papers in this volume address different aspects of reference and thought about the non-existent. (shrink)

Linguistics and philosophy, while being two closely-related fields, are often approached with very different methodologies and frameworks. Bringing together a team of interdisciplinary scholars, this pioneering book provides examples of how conversations between the two disciplines can lead to exciting developments in both fields, from both a historical and a current perspective. It identifies a number of key phenomena at the cutting edge of research within both fields, such as reporting and ascribing, describing and referring, narrating and structuring, locating (...) in time and space, typologizing and ontologizing, determining and questioning, arguing and rejecting, and implying and supposing. Each chapter takes on a phenomena and explores it through a set of questions which are posed and answered at the outset of each chapter. An accessible and engaging resource, it is essential reading for researchers and students in both disciplines, and will empower exciting and illuminating conversations for years to come. (shrink)

Making a Difference presents fifteen original essays on causation and counterfactuals by an international team of experts. Collectively, they represent the state of the art on these topics. The essays in this volume are inspired by the life and work of Peter Menzies, who made a difference in the lives of students, colleagues, and friends. Topics covered include: the semantics of counterfactuals, agency theories of causation, the context-sensitivity of causal claims, structural equation models, mechanisms, mental causation, causal exclusion (...) argument, free will, and the consequence argument. (shrink)

The Routledge Handbook of Collective Intentionality is the first of its kind, synthesizing research from several disciplines for all students and professionals interested in better understanding the nature and structure of social reality. The contents of the volume are divided into eight sections, each of which begins with a short introduction: Collective Action and Intention Shared and Joint Attitudes Epistemology and Rationality in the Social Context Social Ontology Collectives and Responsibility Collective Intentionality and Social Institutions The Extent, Origins, and Development (...) of Collective Intentionality Semantics of Collectivity The eight sections contain a total of 40 accessible chapters, all written exclusively for this volume by a team of internationally recognized experts. Each chapter ends with a References and a Further Reading section as well as cross-references to other germane chapters in the volume. A longer General Introduction provides an initial overview of the history as well as the current issues and problems in collective intentionality, the range of topics and their interconnections, and the organization of the _Handbook_. Systematic in its approach and thorough and detailed in its coverage_, The Routledge Handbook of Collective Intentionality_ provides readers with a valuable reference to this rapidly growing, cross-disciplinary research area and a trailhead to its most promising future directions. (shrink)

The Oxford Handbooks series is a major new initiative in academic publishing. Each volume offers an authoritative and up-to-date survey of original research in a particular subject area. Specially commissioned essays from leading figures in the discipline give critical examinations of the progress and direction of debates. Oxford Handbooks provide scholars and graduate students with compelling new perspectives upon a wide range of subjects in the humanities and social sciences. Ernie Lepore and Barry Smith present the definitive reference work for (...) this diverse and fertile field of philosophy. A superb international team contribute more than forty brand-new essays covering topics from the nature of language to meaning, truth, and reference, and the interfaces of philosophy of language with linguistics, psychology, logic, epistemology, and metaphysics. It will be an essential resource for anyone working in the central areas of philosophy, for linguists interested in syntax, semantics, and pragmatics, and for psychologists and cognitive scientists working on language. (shrink)

We introduce generalized quantifiers, as defined in Tarskian semantics by Mostowski and Lindström, in logics whose semantics is based on teams instead of assignments, e.g., IF-logic and Dependence logic. Both the monotone and the non-monotone case is considered. It is argued that to handle quantifier scope dependencies of generalized quantifiers in a satisfying way the dependence atom in Dependence logic is not well suited and that the multivalued dependence atom is a better choice. This atom is in fact (...) definably equivalent to the independence atom recently introduced by Väänänen and Grädel. (shrink)

This collection of new essays on the systematic thought and intellectual legacy of the American philosopher Wilfrid Sellars comes at a time when Sellars's influence on contemporary debates about mind, meaning, knowledge, and metaphysics has never been greater. A team of well-known contemporary philosophers who have been strongly influenced by Sellars critically examines the groundbreaking ideas by means of which Sellars sought to integrate our thought, perception, and rational agency within a naturalistic outlook on reality. Topics include Sellars's inferentialist (...) semantics and normative functionalist view of the mind; his attempted reconciliations of internalist and externalist aspects of thought, meaning, and knowledge; his novel nominalist account of abstract entities; and a speculative 'pure process' metaphysics of consciousness. Of particular interest is how this volume exhibits the ongoing fruitful dialogue between philosophers whose work continues to be inspired and informed by Sellars's thought today. (shrink)

Information and communication technology occupies a central place in the modern world, with society becoming increasingly dependent on it every day. It is therefore unsurprising that it has become a growing subject area in contemporary philosophy, which relies heavily on informational concepts. _The Routledge Handbook of Philosophy of Information_ is an outstanding reference source to the key topics and debates in this exciting subject and is the first collection of its kind. Comprising over thirty chapters by a team of (...) international contributors the _Handbook_ is divided into four parts: basic ideas quantitative and formal aspects natural and physical aspects human and semantic aspects. Within these sections central issues are examined, including probability, the logic of information, informational metaphysics, the philosophy of data and evidence, and the epistemic value of information. The Routledge Handbook of Philosophy of Information is essential reading for students and researchers in philosophy, computer science and communication studies. (shrink)

The Oxford Handbooks series is a major new initiative in academic publishing. Each volume offers an authoritative and up-to-date survey of original research in a particular subject area. Specially commissioned essays from leading figures in the discipline give critical examinations of the progress and direction of debates. Oxford Handbooks provide scholars and graduate students with compelling new perspectives upon a wide range of subjects in the humanities and social sciences. Ernie Lepore and Barry Smith present the definitive reference work for (...) this diverse and fertile field of philosophy. A superb international team contribute more than forty brand-new essays covering topics from the nature of language to meaning, truth, and reference, and the interfaces of philosophy of language with linguistics, psychology, logic, epistemology, and metaphysics. It will be an essential resource for anyone working in the central areas of philosophy, for linguists interested in syntax, semantics, and pragmatics, and for psychologists and cognitive scientists working on language. (shrink)

The phenomenon of missed interactions between online users is a specific issue occurring when users of different language games interact on social media platforms. We use the lens of institutional theory to analyze this phenomenon and argue that current online institutions will necessarily fail to regulate user interactions in a way that creates common meanings because online institutions are not set up to deal with the multiplicity of language games and forms of life co-existing in the online social space. We (...) argue for the need to enable and foster grassroots online institutions that can stabilize the norms of interaction by redesigning algorithms and user interfaces. Such online grassroots institutions would facilitate user orientation at three distinct levels: informational, normative, and semantic-pragmatic. We propose user orientation as a principle that would facilitate the formation of institutions aiming to regulate information exchanges between users inhabiting various forms of life. This principle of user orientation should guide design decisions, while designer teams would need to become aware of the institutional power unleashed when they set up interfaces and algorithms for user-generated content. (shrink)

This Handbook brings together philosophical work on how language shapes, and is shaped by, social and political factors. Its 24 chapters were written exclusively for this volume by an international team of leading researchers, and together they provide a broad expert introduction to the major issues currently under discussion in this area. The volume is divided into four parts: Part I: Methodological and Foundational Issues Part II: Non-ideal Semantics and Pragmatics Part III: Linguistic Harms Part IV: Applications The (...) parts, and chapters in each part, are introduced in the volume's General Introduction. A list of Works Cited concludes each chapter, pointing readers to further areas of study. The Handbook is the first major, multi-authored reference work in this growing area and essential reading for anyone interested in the nature of language and its relationship to social and political reality. (shrink)

Demonstratives play a crucial role in the acquisition and use of language. Bringing together a team of leading scholars this detailed study, a first of its kind, explores meaning and use across fifteen typologically and geographically unrelated languages to find out what cross-linguistic comparisons and generalizations can be made, and how this might challenge current theory in linguistics, psychology, anthropology and philosophy. Using a shared experimental task, rounded out with studies of natural language use, specialists in each of the (...) languages undertook extensive fieldwork for this comparative study of semantics and usage. An introduction summarizes the shared patterns and divergences in meaning and use that emerge. (shrink)

The skopos of this new type of church Bible is: ‘How would the source texts of the Bible have sounded in Afrikaans in the context envisaged for its hypothesised first audience?’ Fully acknowledging the complexities of language as a dynamic and complex system embedded in the culture and conceptual world of its speakers, as well as the wide range of frames that are involved in the process of Bible translation as a difficult form of secondary communication, this article addresses two (...) of the challenges of this ambitious project. In the first section the incongruence between the world of the Old Testament and speakers of Afrikaans is treated. Examples are provided of instances where both the nature of difficult secondary intercultural communication as well as the subjective theories of the host audience constrains the ‘directness’ of the translation. In the second section, some of the challenges of distinguishing between the formal and functional features of Biblical Hebrew are dealt with. The article concludes that, although the notion ‘communicative clue’ provides a useful heuristic device to act as point of departure for negotiations on the construal of the meaning of the text in the source language and host language respectively, the notion has to be supplemented by insights from the fields of cultural anthropology, cognitive linguistics and linguistic typology. A better understanding of how meaning ‘works’ provides members of a translation team with some criteria to make informed decisions when they negotiate how the meaning of specific Biblical Hebrew constructions are to be construed ‘directly’ in Afrikaans.Keywords: Afrikaans Bibles; Bible translation; Biblical Hebrew; church Bible; code model; cognitive linguistics; cognitive semantics; communication model; communicative clue; direct translation; discourse marker; dynamic equivalent translation; functionalist tran. (shrink)

Biology and history are often viewed as closely related disciplines, with biology informed by history, especially in its task of charting our evolutionary past. Maximizing the opportunities for cross-fertilization in these two fields requires an accurate reckoning of their commonalities and differences-precisely what this volume sets out to achieve. Specially commissioned essays by a team of recognized international researchers cover the full panoply of topics in these fields and include notable contributions on the correlativity of evolutionary and historical explanations, (...) applying to history the latest causal-mechanical approach in the philosophy of biology, and the question of generalized laws that might pertain across the two subjects. The collection opens with a vital interrogation of general issues on explanation that apart from potentially fruitful areas of interaction (could the etiology of the causal-mechanical perspective in biology account for the historical trajectory of the Roman Empire?) this volume also seeks to chart relative certainties distinguishing explanations in biology and history. It also assesses techniques such as the use of probabilities in biological reconstruction, deployed to overcome the inevitable gaps in physical evidence on early evolution. Methodologies such as causal graphs and semantic explanation receive in-depth analysis. Contributions from a host of prominent and widely read philosophers ensure that this new volume has the stature of a major addition to the literature. (shrink)

The Cambridge philosopher Frank Ramsey died tragically young, but had already established himself as one of the most brilliant minds of the twentieth century. Besides groundbreaking work in philosophy, particularly in logic, language, and metaphysics, he created modern decision theory and made substantial contributions to mathematics and economics. In these original essays, written to commemorate the centenary of Ramsey's birth, a distinguished international team of contributors offer fresh perspectives on his work and show how relevant it is to present-day (...) concerns.Each of the ten essays addresses fundamental and contentious issues, including success semantics, propositions, infinity, conditionals, conceptual analysis, decision theory, and intergenerational justice. They also shed light on the intellectual context in which Ramsey developed his thought, including his relationship with such leading thinkers as John Maynard Keynes, Bertrand Russell, and Ludwig Wittgenstein. The volume will be indispensable reading for anyone interested in the recent history of philosophy and economics, as well as for practitioners and students of logic, metaphysics, philosophy of mathematics, philosophy of science, philosophy of mind, decision theory, and welfare economics. (shrink)

I will show that the semantic structure of a new imperfect-information propositional logic can be described in terms of extensive forms of semantic games. I will discuss some ensuing properties of these games such as imperfect recall, informational consistency, and team playing. Finally, I will suggest a couple of applications that arise in physics, and most notably in quantum theory and quantum logics.

The Continuum Companion to Philosophy of Language offers the definitive guide to contemporary philosophy of language. The book covers all the fundamental questions asked by the philosophy of language - areas that have continued to attract interest historically as well as topics that have emerged more recently as active areas of research. Ten specially commissioned essays from an international team of experts reveal where important work continues to be done in the area and, most valuably, the exciting new directions (...) the field is taking. The Companion explores issues pertaining to the nature of language, form semantics, theories of meaning, reference, intensional contexts, context-dependence, pragmatics, the normativity of language, analyticity, a priority and modality. Featuring a series of indispensable research tools, including an A to Z of key terms and concepts, a detailed list of resources and a fully annotated bibliography, this is the essential reference tool for anyone working in the philosophy of language. (shrink)