Online research in philosophy

The purpose of this paper is to look at some existing methods of semantic information quantification and suggest some alternatives. It begins with an outline of Bar-Hillel and Carnap’s theory of semantic information before going on to look at Floridi’s theory of strongly semantic information. The latter then serves to initiate an in-depth investigation into the idea of utilising the notion of truthlikeness to quantify semantic information. Firstly, a couple of approaches to (...) measure truthlikeness are drawn from the literature and explored, with a focus on their applicability to semantic information quantification. Secondly, a similar but new approach to measure truthlikeness/information is presented and some supplementary points are made. (shrink)

This paper addresses one of the fundamental problems of the philosophy of information: How does semantic information emerge within the underlying dynamics of the world?—the dynamical semantic information problem. It suggests that the canonical approach to semantic information that defines data before meaning and meaning before use is inadequate for pre-cognitive information media. Instead, we should follow a pragmatic approach to information where one defines the notion of information system as (...) a special kind of purposeful system emerging within the underlying dynamics of the world and define semantic information as the currency of the system. In this way, systems operating with semantic information can be viewed as patterns in the dynamics—semantic information is a dynamical system phenomenon of highly organized systems. In the simplest information systems, the syntax, semantics, and pragmatics of the information medium are co-defined. It proposes a new more general theory of information semantics that focuses on the interface role of the information states in the information system—the interface theory of meaning. Finally, with the new framework, it addresses the debate between weakly semantic and strongly semantic accounts of information, siding with the strongly semantic view because the pragmatic account developed here is a better generalization of it. (shrink)

In The Philosophy of Information, Luciano Floridi presents a theory of “strongly semantic information”, based on the idea that “information encapsulates truth” (the so-called “veridicality thesis”). Starting with Popper, philosophers of science have developed different explications of the notion of verisimilitude or truthlikeness, construed as a combination of truth and information. Thus, the theory of strongly semantic information and the theory of verisimilitude are intimately tied. Yet, with few exceptions, this link has virtually (...) pass unnoticed. In this paper, we briefly survey both theories and offer a critical comparison of strongly semantic information and related notions, like truth, verisimilitude, and partial truth. (shrink)

There is no consensus yet on the definition of semantic information. This paper contributes to the current debate by criticising and revising the Standard Definition of semantic Information (SDI) as meaningful data, in favour of the Dretske-Grice approach: meaningful and well-formed data constitute semantic information only if they also qualify as contingently truthful. After a brief introduction, SDI is criticised for providing necessary but insufficient conditions for the definition of semantic information. SDI (...) is incorrect because truth-values do not supervene on semantic information, and misinformation (that is, false semantic information) is not a type of semantic information, but pseudo-information, that is not semantic information at all. This is shown by arguing that none of the reasons for interpreting misinformation as a type of semantic information is convincing, whilst there are compelling reasons to treat it as pseudo-information. As a consequence, SDI is revised to include a necessary truth-condition. The last section summarises the main results of the paper and indicates some interesting areas of application of the revised definition. (shrink)

Up to now theories of semantic information have implicitly relied on logical monism, or the view that there is one true logic. The latter position has been explicitly challenged by logical pluralists. Adopting an unbiased attitude in the philosophy of information, we take a suggestion from Beall and Restall at heart and exploit logical pluralism to recognise another kind of pluralism. The latter is called informational pluralism, a thesis whose implications for a theory of semantic (...) class='Hi'>information we explore. (shrink)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information (...) but also to the philosophical debate on the nature of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

The article addresses the problem of how semantic information can be upgraded to knowledge. The introductory section explains the technical terminology and the relevant background. Section 2 argues that, for semantic information to be upgraded to knowledge, it is necessary and sufficient to be embedded in a network of questions and answers that correctly accounts for it. Section 3 shows that an information flow network of type A fulfils such a requirement, by warranting that the (...) erotetic deficit, characterising the target semantic information t by default, is correctly satisfied by the information flow of correct answers provided by an informational source s . Section 4 illustrates some of the major advantages of such a Network Theory of Account (NTA) and clears the ground of a few potential difficulties. Section 5 clarifies why NTA and an informational analysis of knowledge, according to which knowledge is accounted semantic information, is not subject to Gettier-type counterexamples. A concluding section briefly summarises the results obtained. (shrink)

Giovanni Sommaruga (ed): Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information Content Type Journal Article Pages 35-40 DOI 10.1007/s11023-011-9250-2 Authors Sebastian Sequoiah-Grayson, Department of Theoretical Philosophy, Faculty of Philosophy, University of Groningen, Groningen, The Netherlands Journal Minds and Machines Online ISSN 1572-8641 Print ISSN 0924-6495 Journal Volume Volume 22 Journal Issue Volume 22, Number 1.

This paper outlines a quantitative theory of strongly semantic information (TSSI) based on truth-values rather than probability distributions. The main hypothesis supported in the paper is that the classic quantitative theory of weakly semantic information (TWSI), based on probability distributions, assumes that truth-values supervene on factual semantic information, yet this principle is too weak and generates a well-known semantic paradox, whereas TSSI, according to which factual semantic information encapsulates truth, can avoid (...) the paradox and is more in line with the standard conception of what generally counts as semantic information. After a brief introduction, section two outlines the semantic paradox implied by TWSI, analysing it in terms of an initial conflict between two requisites of a quantitative theory of semantic information. In section three, three criteria of semantic information equivalence are used to provide a taxonomy of quantitative approaches to semantic information and introduce TSSI. In section four, some further desiderata that should be fulfilled by a quantitative TSSI are explained. From section five to section seven, TSSI is developed on the basis of a calculus of truth-values and semantic discrepancy with respect to a given situation. In section eight, it is shown how TSSI succeeds in solving the paradox. Section nine summarises the main results of the paper and indicates some future developments. (shrink)

Giovanni Sommaruga (ed): Formal Theories of Information: From Shannon to Semantic Information Theory and General Concepts of Information Content Type Journal Article Pages 119-122 DOI 10.1007/s11023-011-9228-0 Authors Giuseppe Primiero, Centre for Logic and Philosophy of Science, University of Ghent, Blandijnberg 2, Ghent, 9000 Belgium Journal Minds and Machines Online ISSN 1572-8641 Print ISSN 0924-6495 Journal Volume Volume 21 Journal Issue Volume 21, Number 1.

Computers today are not only the calculation tools - they are directly (inter)acting in the physical world which itself may be conceived of as the universal computer (Zuse, Fredkin, Wolfram, Chaitin, Lloyd). In expanding its domains from abstract logical symbol manipulation to physical embedded and networked devices, computing goes beyond Church-Turing limit (Copeland, Siegelman, Burgin, Schachter). Computational processes are distributed, reactive, interactive, agent-based and concurrent. The main criterion of success of computation is not its termination, but the adequacy of its (...) response, its speed, generality and flexibility; adaptability, and tolerance to noise, error,faults, and damage. Interactive computing is a generalization of Turing computing, and it calls for new conceptualizations (Goldin, Wegner). In the info-computationalist framework, with computation seen as information processing, natural computation appears as the most suitable paradigm of computation and information semantics requires logical pluralism. (shrink)

Information is the fuel of cognition. At its most basic level, information is a matter of structures interacting under laws. The notion of information thus reflects the (relational) fact that a structure is created by the impact of another structure. The impacted structure is an encoding, in some concrete form, of the interaction with the impacting structure. Information is, essentially, the structural trace in some system of an interaction with another system; it is also, as a (...) consequence, the structural fuel which drives the impacted system's subsequent processes and behavior. Information takes various forms because the world has many levels of compositional and functional complexity, under different constraints. The key constraints that matter in the understanding of information are natural patterns of organization, or types, and systematic correlations among types, or laws. These level- sensitive constraints, in the form of types and laws, shape the very form in which information is tokened in some structure, that is, the very form in which it is encoded. As a result, the information-producing interactions bring about different sorts of structures, with various sorts of causal effects and functions, whence so many ways in which information is coded and utilized. (shrink)

Semantics connected to some information based metaphor are well-known in logic literature: a paradigmatic example is Kripke semantic for Intuitionistic Logic. In this paper we start from the concrete problem of providing suitable logic-algebraic models for the calculus of attribute dependencies in Formal Contexts with information gaps and we obtain an intuitive model based on the notion of passage of information showing that Kleene algebras, semi-simple Nelson algebras, three-valued ukasiewicz algebras and Post algebras of order three (...) are, in a sense, naturally and directly connected to partially defined information systems. In this way wecan provide for these logic-algebraic structures a raison dêetre different from the original motivations concerning, for instance, computability theory. (shrink)

As an informational technology, the World Wide Web has enjoyed spectacular success. In just ten years it has transformed the way information is produced, stored, and shared in arenas as diverse as shopping, family photo albums, and high-level academic research. The “Semantic Web” was touted by its developers as equally revolutionary but has not yet achieved anything like the Web’s exponential uptake. This 17 000 word survey article explores why this might be so, from a perspective that bridges (...) both philosophy and IT. (*Also translated into Croatian and republished in Vjesnik bibliotekara Hrvatske 53, 1(2010), 155-206: See external link #2). (shrink)

This book reflects the growing influence of corpus linguistics in a variety of areas such as lexicography, translation studies, genre analysis, and language ...

In this paper, I reassess Floridi’s solution to the Bar-Hillel–Carnap paradox (the information yield of inconsistent propositions is maximal) by questioning the orthodox view that contradictions cannot be true. The main part of the paper is devoted to showing that the veridicality thesis (semantic information has to be true) is compatible with dialetheism (there are true contradictions) and that, unless we accept the additional non-falsity thesis (information cannot be false), there is no reason to presuppose that (...) there is no such thing like contradictory information. (shrink)

We present a compositional semantics for first-order logic with imperfect information that is equivalent to Sevenster and Sandu’s equilibrium semantics (under which the truth value of a sentence in a finite model is equal to the minimax value of its semantic game). Our semantics is a generalization of an earlier semantics developed by the first author that was based on behavioral strategies, rather than mixed strategies.

I suggest that the core ideas of Kit Fine’s Semantic Relationism are the notion of semantic requirement and the notion of manifest consequence, the non-classical logical relation associated with semantic requirement. Surrounding this core are novel “relational” systems of coordinated sequences of expressions, relational (as opposed to intrinsic) semantic values, coordinated propositions, and coordinated content. I take Fine to take the periphery to be reducible to the core (but see below). I will make some primarily exegetical (...) remarks about the two core ideas, and then make more critical remarks about the periphery. I should say that I find the book, as a whole, illuminating and, for the most part, convincing. I hesitantly suggest that the core constitutes an important and novel model for thinking about semantics (and representation in general), while the periphery might result from an attempt to force the new model into the old mold. (shrink)

“I love information upon all subjects that come in my way, and especially upon those that are most important.” Thus boldly declares Euphranor, one of the defenders of Christian faith in Berkley's Alciphron (Dialogue 1, Section 5, Paragraph 6/10, see Berkeley [1732]). Evidently, information has been an object of philosophical desire for some time, well before the computer revolution, Internet or the dot.com pandemonium (see for example Dunn [2001] and Adams [2003]). Yet what does Euphranor love, exactly? What (...) is information ? The question has received many answers in different fields. Unsurprisingly, several surveys do not even converge on a single, unified definition of information (see for example Braman [1989], Losee [1997], Machlup and Mansfield [1983], Debons and Cameron [1975], Larson and Debons [1983]). (shrink)

Information theoretic semantics proposes to construe predicate reference in terms of nomological relations between distal properties and properties of representational mental events. Research on the model has largely concentrated on the problem of choosing the nomological relation in terms of which distal properties are to be singled out. I argue that, in addition to this, an information theoretic account has to provide a specification of which properties of representational mental events will play a role in determining reference, qua (...) bearers of nomological relations. I contend that this task poses a serious additional challenge to the viability of the model. (shrink)

This paper investigates the relationship between reality and model, information and truth. It will argue that meaningful data need not be true in order to constitute information. Information to which truth-value cannot be ascribed, partially true information or even false information can lead to an interesting outcome such as technological innovation or scientific breakthrough. In the research process, during the transition between two theoretical frameworks, there is a dynamic mixture of old and new concepts in (...) which truth is not well defined. Instead of veridicity, correctness of a model and its appropriateness within a context are commonly required. Despite empirical models being in general only truthlike, they are nevertheless capable of producing results from which conclusions can be drawn and adequate decisions made. (shrink)

In 1972,Ernst Ulrich and Christine von Weizs ¨acker introduced the concept of pragmatic information with three desiderata:(i) Pragmatic information should assess the impact of a message upon its receiver;(ii)Pragmatic information should vanish in the limits of complete (non-interpretable)'novelty 'and complete 'confirmation';(iii)Pragmatic information should exhibit non-classical properties since novelty and confirmation behave similarly to Fourier pairs of complementary operators in quantum mechanics. It will be shown how these three desiderata can be naturally fulfilled within the framework of (...) Gardenfors' dynamic semantics of Bayesian belief models.(i)The meaning of a message is its impact upon the epistemic states of a cognitive agent. A pragmatic information measure can then be quanti .ed by the average information gain for the transition from a prior to a posterior state.(ii)Total novelty can be represented by the identical proposition, total con- .rmation by the logical consequence of propositions. In both cases, pragmatic information vanishes.(iii)For operators that are neither idempotent nor commuting, novelty and confirmation relative to a message sequence can be defined within Gardenfors' theory of belief revisions.The proposed approach is consistent with measures of relevance derived from statistical decision theory and it contains Bar-Hillel 's and Carnap's theory of semantic information as a special case. (shrink)

The first use of the term “information” to describe the content of nervous impulse occurs in Edgar Adrian's The Basis of Sensation (1928). What concept of information does Adrian appeal to, and how can it be situated in relation to contemporary philosophical accounts of the notion of information in biology? The answer requires an explication of Adrian's use and an evaluation of its situation in relation to contemporary accounts of semantic information. I suggest that Adrian's (...) concept of information can be to derive a concept of arbitrariness or semioticity in representation. This in turn provides one way of resolving some of the challenges that confront recent attempts in the philosophy of biology to restrict the notion of information to those causal connections that can in some sense be referred to as arbitrary or semiotic. (shrink)

This paper addresses the problem of upgrading functional information to knowledge. Functional information is defined as syntactically well-formed, meaningful and collectively opaque data. Its use in the formal epistemology of information theories is crucial to solve the debate on the veridical nature of information, and it represents the companion notion to standard strongly semantic information, defined as well-formed, meaningful and true data. The formal framework, on which the definitions are based, uses a contextual version (...) of the verificationist principle of truth in order to connect functional to semantic information, avoiding Gettierization and decoupling from true informational contents. The upgrade operation from functional information uses the machinery of epistemic modalities in order to add data localization and accessibility as its main properties. We show in this way the conceptual worthiness of this notion for issues in contemporary epistemology debates, such as the explanation of knowledge process acquisition from information retrieval systems, and open data repositories. (shrink)

Neste artigo defendo que a Teoria da Informação Fortemente Semântica de Floridi (2004) – TIFS – está correta ao assumir a Tese da Veracidade, que por sua vez orienta a definição de informação semântica como “p é informação se e somente se p é constituído por dados bem-formados, com significado e verdadeiros”. Argumento que a teoria não é arbitrária, pois dá conta do desembaraço de conundrums filosóficos importantes, principalmente por evitar o paradoxo de Bar-Hillel e Carnap (1953), que é gerado (...) a partir da teoria clássica da informação semântica. Primeiro é discutido um dos principais resultados da teoria clássica, o de produzir “sentenças muito informativas para serem verdadeiras”. Depois são resumidas as motivações para a elaboração de uma “lógica de estar informado” e é mostrado como o sistema KTB-IL é montado e modelado mantendo-se entre os seus axiomas o da veracidade – K ou A4. Finalmente, a TIFS é examinada e defendida ao mostrar que ela restringe aleticamente a extensão do conceito clássico de informação para evitar problemas com tautologias e contradições. A TIFS oferece uma solução original ao capturar nossas intuições modais a respeito da informatividade como noção básica. (shrink)

We describe a strategy for integration of data that is based on the idea of semantic enhancement. The strategy promises a number of benefits: it can be applied incrementally; it creates minimal barriers to the incorporation of new data into the semantically enhanced system; it preserves the existing data (including any existing data-semantics) in their original form (thus all provenance information is retained, and no heavy preprocessing is required); and it embraces the full spectrum of data sources, types, (...) models, and modalities (including text, images, audio, and signals). The result of applying this strategy to a given body of data is an evolving Dataspace that allows the application of a variety of integration and analytic processes to diverse data contents. We conceive semantic enhancement (SE) as a lightweight and flexible process that leverages the richness of the structured contents of the Dataspace without adding storage and processing burdens to what, in the intelligence domain, will be an already storage- and processing-heavy starting point. SE works not by changing the data to which it is applied, but rather by adding an extra semantic layer to this data. We sketch how the semantic enhancement approach can be applied consistently and in cumulative fashion to new data and data-models that enter the Dataspace. (shrink)

There are many ways of understanding the nature of philosophical questions. One may consider their morphology, semantics, relevance, or scope. This article introduces a different approach, based on the kind of informational resources required to answer them. The result is a definition of philosophical questions as questions whose answers are in principle open to informed, rational, and honest disagreement, ultimate but not absolute, closed under further questioning, possibly constrained by empirical and logico-mathematical resources, but requiring noetic resources to be answered. (...) The article concludes with a discussion of some of the consequences of this definition for a conception of philosophy as the study (or “science”) of open questions, which uses conceptual design to analyse and answer them. (shrink)

Recent studies have shown that schizophrenia may be a disease affecting the states of consciousness. The present study is aimed at investigating metamemory, i.e., the knowledge about one's own memory capabilities, in patients with schizophrenia. The accuracy of the Confidence level (CL) in the correctness of the answers provided during a recall phase, and the predictability of the Feeling of Knowing (FOK) when recall fails were measured using a task consisting of general information questions and assessing semantic memory. (...) Nineteen outpatients were paired with 19 control subjects with respect to age, sex, and education. Results showed that patients with schizophrenia exhibited an impaired semantic memory. CL ratings as well as CL and FOK accuracy were not significantly different in the schizophrenic and the control groups. However, FOK ratings were significantly reduced for the patient group, and discordant FOK judgments were also observed more frequently. Such results suggest that FOK judgments are impaired in patients with schizophrenia, which confirms that schizophrenia is an illness characterized by an impaired conscious awareness of one's own knowledge. (shrink)

What is it that one thinks or believes when one thinks or believes something? A mental formula? A sentence in some natural language? Its truth conditions? Or perhaps an abstract proposition? The current story of content is fairly ecumenical. It says that a number of aspects, some mental, other semantic, go into our understanding of content. Yet the current story is incomplete. It leaves out a very important aspect of content, one which I call incremental information. It is (...) information in a specific format, information as a limited or local increment, structured by a number of underlying parameters. It is in the form of such increments that information drives cognition and behavior. This is why, perhaps of all aspects of content, it is incremental information which matters most when we want to understand cognitive attitudes and performances. This in turn must have an impact on our philosophical notions of content, propositional attitudes, inference, justification and knowledge. (shrink)

The book focuses on relations between information and computation. Information is a basic structure of the world, while computation is a process of the dynamic change of information. In order for anything to exist for an individual, the individual must get information on it, either by means of perception or by re-organization of the existing information into new patterns and networks in the brain. With the advent of World Wide Web and a prospect of (...) class='Hi'>semantic web, the ways of information supply for individuals, networks of humans and machines and for humanity as a whole are becoming strategically important in a number of ways. Information becomes pivotal for communication, research, education systems, government, businesses and basic functioning of everyday life. At the same time, information may be understood only if we understand its dynamics - time changes of informational structure, that is, we should understand information processing and its primary form - computation. As there is no information without (physical) representation, the dynamics of information is implemented on different levels of granularity by different physical processes, including the level of computation performed by computing machines. There are a lot of open problems of the nature of information and computation, as well as their relationships. How exactly is information dynamics implemented in computational systems, machines as well as living organisms? Are computers processing only data or information and knowledge as well? How does information processing relate to knowledge management and sciences, especially to science of information itself? What do we know of computational processes in machines and living organisms and how these processes are related? What can we learn from natural computational processes that can be useful for information systems and knowledge management? These and similar problems related to information and computation are treated in the book. (shrink)

Wikipedia is a goldmine of information; not just for its many readers, but also for the growing community of researchers who recognize it as a resource of exceptional scale and utility. It represents a vast investment of manual effort and judgment: a huge, constantly evolving tapestry of concepts and relations that is being applied to a host of tasks. This article provides a comprehensive description of this work. It focuses on research that extracts and makes use of the concepts, (...) relations, facts and descriptions found in Wikipedia, and organizes the work into four broad categories: applying Wikipedia to natural language processing; using it to facilitate information retrieval and information extraction; and as a resource for ontology building. The article addresses how Wikipedia is being used as is, how it is being improved and adapted, and how it is being combined with other structures to create entirely new resources. We identify the research groups and individuals involved, and how their work has developed in the last few years. We provide a comprehensive list of the open-source software they have produced. (shrink)

We associate the semantic game with chance moves conceived by Blinov with Blamey’s partial logic. We give some equivalent alternatives to the semantic game, some of which are with a third player, borrowing the idea of introducing the pseudo-player called Nature in game theory. We observe that IF propositional logic proposed by Sandu and Pietarinen can be equivalently translated to partial logic, which implies that imperfect information may not be necessary for IF propositional logic. We also indicate (...) that some independent quantifiers can be regarded as dependent quantifiers of indeterminate sequence, using the interjunction connective in partial logic. We conclude our paper by indicating some further research in a more general setting. (shrink)

Communication is an important feature of the living world that mainstream biology fails to adequately deal with. Applying two main disciplines can be contemplated to fill in this gap: semiotics and information theory. Semiotics is a philosophical discipline mainly concerned with meaning; applying it to life already originated in biosemiotics. Information theory is a mathematical discipline coming from engineering which has literal communication as purpose. Biosemiotics and information theory are thus concerned with distinct and complementary possible meanings (...) of the word ‘communication’. Since literal communication needs to be secured so as to enable semantics being communicated, information theory is a necessary prerequisite to biosemiotics. Moreover, heredity is a purely literal communication process of capital importance fully relevant to literal communication, hence to information theory. A short introduction to discrete information theory is proposed, which is centred on the concept of redundancy and its use in order to make sequences resilient to errors. Information theory has been an extremely active and fruitful domain of researches and the motor of the tremendous progress of communication engineering in the last decades. Its possible connections with semantics and linguistics are briefly considered. Its applications to biology are suggested especially as regards error-correcting codes which are mandatory for securing the conservation of genomes. Biology needs information theory so biologists and communication engineers should closely collaborate. (shrink)

Meaning is a central concept of (bio)semiotics. At the same time, it is also a word of everyday language. Here, on the example of the world information, we discuss the “reduction-inflation model” of evolution of a common word into a scientific concept, to return subsequently into everyday circulation with new connotations. Such may be, in the near future, also the fate of the word meaning if, flexed through objectified semantics, will become considered an objective concept usable in semiotics. We (...) argue that reducing meaning to a technical term essentially synonymous to code and stripped of most of the original semantic field is not a necessary prerequisite for a meaningful application of the concept in semiotics and in biology. (shrink)

"According to informational semantics, if it's necessary that a creature can't distinguish Xs from Ys, it follows that the creature can't have a concept that applies to Xs but not Ys." (Jerry Fodor, The Elm and the Expert, p.32).

The influence of historical-causal theories of reference developed in the late sixties and early seventies by Donnellan, Kripke, Putnam and Devitt has been so strong that any semantic theory that has the consequence of assigning disjunctive representational content to the mental states of twins (e.g. [H2O or XYZ]) has been thereby taken to refute itself. Similarly, despite the strength of pre-theoretical intuitions that exact physical replicas like Davidson's Swampman have representational mental states, people have routinely denied that they have (...) any intentional/representational states. I want to focus on a particular brand of causal theory that is not historical, the so-called pure informational or nomic covariance theories, and examine how they propose to handle twin cases and replicas like Swampman. In particular, I will take up Fodor. (shrink)

The brain is often taken to be a paradigmatic example of a signaling system with semantic and representational properties, in which neurons are senders and receivers of information carried in action potentials. A closer look at this picture shows that it is not as appealing as it might initially seem in explaining the function of the brain. Working from several sender-receiver models within the teleosemantic framework, I will first argue that two requirements must be met for a system (...) to support genuine semantic information: 1. The receiver must be competent —that is, it must be able to extract rewards from its environment on the basis of the signals that it receives. 2. The receiver must have some flexibility of response relative to the signal received. In the second part of the paper, this initial framework will be applied to neural processes, pointing to the surprising conclusion that signaling at the single-neuron level is only weakly semantic at best. Contrary to received views, neurons will have little or no access to semantic information (though their patterns of activity may carry plenty of quantitative, correlational information) about the world outside the organism. Genuine representation of the world requires an organism - level receiver of semantic information, to which any particular set of neurons makes only a small contribution. (shrink)

This article mounts a defence of Floridi’s theory of strongly semantic information against recent independent objections from Fetzer and Dodig-Crnkovic. It is argued that Fetzer and Dodig-Crnkovic’s objections result from an adherence to a redundant practice of analysis. This leads them to fail to accept an informational pluralism, as stipulated by what will be referred to as Shannon’s Principle, and the non-reductionist stance. It is demonstrated that Fetzer and Dodig-Crnkovic fail to acknowledge that Floridi’s theory of strongly (...) class='Hi'>semantic information captures one of our deepest and most compelling intuitions regarding informativeness as a basic notion. This modal intuition will be referred to as the contingency requirement on informativeness. It will be demonstrated that its clarification validates the theory of strongly semantic information as a novel, and non ad hoc solution to the Bar-Hillel-Carnap semantic paradox. (shrink)

In this paper, I argue that informational semantics, the most well-known and worked-out naturalistic account of intentional content, conflicts with a fundamental psychological principle about the conditions of belief-formation. Since this principle is an important premise in the argument for informational semantics, the upshot is that the view is self-contradictory??indeed, it turns out to be guilty of a sophisticated version of the fallacy famously committed by Euthyphro in the eponymous Platonic dialogue. Criticisms of naturalistic accounts of content typically proceed piecemeal (...) by narrowly constructed counterexamples, but I argue that the current result is more robust. It affects a broad family of accounts, and provokes a wider doubt about the possibility of successful execution of the naturalistic project. (shrink)

The classical theory of semantic information ( ESI ), as formulated by Bar-Hillel and Carnap in 1952, does not give a satisfactory account of the problem of what information, if any, analytically and/or logically true sentences have to offer. According to ESI , analytically true sentences lack informational content, and any two analytically equivalent sentences convey the same piece of information. This problem is connected with Cohen and Nagel’s paradox of inference: Since the conclusion of a (...) valid argument is contained in the premises, it fails to provide any novel information. Again, ESI does not give a satisfactory account of the paradox. In this paper I propose a solution based on the distinction between empirical information and <span class='Hi'>analytic</span> information . Declarative sentences are informative due to their meanings. I construe meanings as structured hyperintensions , modelled in Transparent Intensional Logic as so-called constructions . These are abstract, algorithmically structured procedures whose constituents are sub-procedures. My main thesis is that constructions are the vehicles of information. Hence, although analytically true sentences provide no empirical information about the state of the world, they convey <span class='Hi'>analytic</span> information , in the shape of constructions prescribing how to arrive at the truths in question. Moreover, even though analytically equivalent sentences have equal empirical content, their <span class='Hi'>analytic</span> content may be different. Finally, though the empirical content of the conclusion of a valid argument is contained in the premises, its <span class='Hi'>analytic</span> content may be different from the <span class='Hi'>analytic</span> content of the premises and thus convey a new piece of information. (shrink)

This paper attempts to pose a question about the nature of "biological information" at its most basic level, seen from the perspectives of science, biosemiotics, and general semiotics. What has been called the central dogma of molecular biology is the idea that the genetic information flows only in one direction, from the genome to the biochemical activities in the cell. However, while this seems to presuppose a specific referential concept of information of some kind (or perhaps only (...) a primitive one specifying sequences of chemical monomers). Such a concept does not seem to be well defined in molecular biology, and there are reasons to ask if there is any concept of 'semantic' information at this level of biology - or any clear concept of information at all. This 'Sarkar challenge' will be contrasted with the more visionary views of biosemiotics about the nature of information, communication and semiosis in living systems. Are we facing incompatible world views or just different paradigms? (shrink)

Any theory of how language is internally organized and how it interacts with other mental capacities must address the fundamental question of how syntactic and lexico-semantic information interact at one central linguistic compositional level, the sentence level. With this general objective in mind, we examine ““lightverbs””, so called because the main thrust of the semantic relations of the predicate that they denote is found not in the predicate itself, but in the argument structure of the syntactic object (...) that such a predicate licenses. For instance, in the sentence.. (shrink)

This paper argues for a largely unnoted distinction between relational and modal components in the lexical semantics of verbs. Wehypothesize that many verbs encode two kinds of semantic information:a relationship among participants in a situation and a subset ofcircumstances or time indices at which this relationship isevaluated. The latter we term sublexical modality.We show that linking regularities between semantic arguments andsyntactic functions provide corroborating evidence in favor of thissemantic distinction, noting cases in which the semantic groundingof (...) linking through participant-role properties apparently fails. Thissemantic grounding can be preserved, however, once we abstractaway from sublexical modality in lexical semantic representations.Semantically-based linking constraints are insensitive to the sublexicalmodality component of lexical entries and depend only on informationin a predicator's situational core. (shrink)

We show that vector space semantics and functional semantics in two-sorted first order logic are equivalent for pregroup grammars. We present an algorithm that translates functional expressions to vector expressions and vice-versa. The semantics is compositional, variable free and invariant under change of order or multiplicity. It includes the semantic vector models of Information Retrieval Systems and has an interior logic admitting a comprehension schema. A sentence is true in the interior logic if and only if the ‘usual’ (...) first order formula translating the sentence holds. The examples include negation, universal quantifiers and relative pronouns. (shrink)

This book is conceived as an introductory text into the theory of syntactic and semantic information, and information flow.

ERPs (event-related potentials) correlates are largely used in cognitive psychology and specifically for analysis of semantic information processing. Previous research has underlined a strong correlation between a negative-ongoing wave (N400), more frontally distributed, and semantic linguistic or extra-linguistic anomalies. With reference to the extra-linguistic domain, our experiment analyzed ERP variation in a semantic task of comprehension of emotional facial expressions. The experiment explored the effect of expectancy violation when subjects observed congruous or incongruous emotional facial patterns. (...) Four prototypical (anger, sadness, happiness and surprise) and four morphed faces were presented. Moreover, two distinct cognitive tasks (an implicit vs an explicit elaboration) were analyzed in order to evaluate the influence of spontaneous decoding in N400-like effects. An automatic, high-order cognitive process was found, elicited by a negative ERP variation similar to the linguistic N400 effect, which allows us to explain the congruous/incongruous decoding in semantic extra-linguistic comprehension. (shrink)

Machine generated contents note: Preface; 1. Logical dynamics, agency, and intelligent interaction; 2. Epistemic logic and semantic information; 3. Dynamic logic of public observation; 4. Multi-agent dynamic-epistemic logic; 5. Dynamics of inference and awareness; 6. Questions and issue management; 7. Soft information, correction, and belief change; 8. An encounter with probability; 9. Preference statics and dynamics; 10. Decisions, actions, and games; 11. Processes over time; 12. Epistemic group structure and collective agency; 13. Logical dynamics in philosophy; 14. (...) Computation as conversation; 15. Rational dynamics in game theory; 16. Meeting cognitive realities; 17. Conclusion; Bibliography. (shrink)

Abstract Since their inception, distributional models of semantics have been criticized as inadequate cognitive theories of human semantic learning and representation. A principal challenge is that the representations derived by distributional models are purely symbolic and are not grounded in perception and action; this challenge has led many to favor feature-based models of semantic representation. We argue that the amount of perceptual and other semantic information that can be learned from purely distributional statistics has been underappreciated. (...) We compare the representations of three feature-based and nine distributional models using a semantic clustering task. Several distributional models demonstrated semantic clustering comparable with clustering-based on feature-based representations. Furthermore, when trained on child-directed speech, the same distributional models perform as well as sensorimotor-based feature representations of children’s lexical semantic knowledge. These results suggest that, to a large extent, information relevant for extracting semantic categories is redundantly coded in perceptual and linguistic experience. Detailed analyses of the semantic clusters of the feature-based and distributional models also reveal that the models make use of complementary cues to semantic organization from the two data streams. Rather than conceptualizing feature-based and distributional models as competing theories, we argue that future focus should be on understanding the cognitive mechanisms humans use to integrate the two sources. (shrink)

It is commonly argued that the rules of language, as distinct from its semantic features, are the characteristics which most clearly distinguish language from the communication systems of other species. A number of linguists (e.g., Chomsky 1972, 1980; Pinker 1994) have suggested that the universal features of grammar (UG) are unique human adaptations showing no evolutionary continuities with any other species. However, recent summaries of the substantive features of UG are quite remarkable in the very general nature of the (...) features proposed. While the syntax of any given language can be quite complex, the specific rules vary so much between languages that the truly universal (i.e. innate) aspects of grammar are not complex at all. In fact, these features most closely resemble a set of general descriptions of our richly complex semantic cognition, and not a list of specific rules. General principles of the evolutionary process suggest that syntax is more properly understood as an emergent characteristic of the explosion of semantic complexity that occurred during hominid evolution. It is argued that grammatical rules used in given languages are likely to be simply conventionalized, invented features of language, and not the result of an innate, grammar-specific module. The grammatical and syntactic regularities that are found across languages occur simply because all languages attempt to communicate the same sorts of semantic information. (shrink)

If the currently available theories of semantic information and utility-expectation are to be applied in a satisfactory way, they must be combined with a message-processing procedure. This paper presents a model of communication within which such a procedure can be defined. In this model the sender's messages arrive over a period of time, the receiver can reject some messages and retain others, the receiver can change his mind in various ways, and the receiver can apply various evaluation functions (...) to a "usable message total". As one example of message-evaluation, a system for evaluating news-value is presented. (shrink)

It is commonly argued that the rules of language, as distinct from its semantic features, are the characteristics which most clearly distinguish language from the communication systems of other species. A number of linguists (e.g., Chomsky 1972, 1980; Pinker 1994) have suggested that the universal features of grammar (UG) are unique human adaptations showing no evolutionary continuities with any other species. However, recent summaries of the substantive features of UG are quite remarkable in the very general nature of the (...) features proposed. While the syntax of any given language can be quite complex, the specific rules vary so much between languages that the truly universal (i.e. innate) aspects of grammar are not complex at all. In fact, these features most closely resemble a set of general descriptions of our richly complex semantic cognition, and not a list of specific rules. General principles of the evolutionary process suggest that syntax is more properly understood as an emergent characteristic of the explosion of semantic complexity that occurred during hominid evolution. It is argued that grammatical rules used in given languages are likely to be simply conventionalized, invented features of language, and not the result of an innate, grammar-specific module. The grammatical and syntactic regularities that are found across languages occur simply because all languages attempt to communicate the same sorts of semantic information. (shrink)

One of the most important objections to information-based semantic theories is that they are incapable of explaining Frege cases. The worry is that if a concept’s intentional content is a function of its informational content, as such theories propose, then it would appear that coreferring expressions have to be synonymous, and if this is true, it’s difficult to see how an agent could believe that a is F without believing that b is F whenever a and b are (...) identical. I argue that this appearance is deceptive. If we heed the distinction between the analog and digital contents of a signal, it is actually possible to reconstruct something akin to Frege’s sense/reference distinction in purely information-theoretic terms. This allows informational semanticists to treat coreferring expressions as semantically distinct and to solve Frege cases in the same way that Frege did—namely, by appealing to the different contents of coreferring expressions. (shrink)

Four known three-valued logics are formulated axiomatically and several completeness theorems with respect to nonstandard intuitive semantics, connected with the notions of information, contrariety and subcontrariety is given.

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such (...) navigation will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

A two-stage procedure is described which induces type-logical grammar lexicons from sentences annotated with skeletal terms of the simply typed lambda calculus. First, a generalized formulae-as-types correspondence is exploited to obtain all the type-logical proofs of the sample sentences from their lambda terms. The resulting lexicons are then optimally unified. The first stage constitutes the semantic bootstrapping (Pinker, Language Learnability and Language Development, Harvard University Press, 1984), while the unification procedure of Buszkowski and Penn represents a first attempt at (...) structure-dependent distributional learning of the syntactic and semantic categories. This effort extends earlier induction procedures (Buszkowski and Penn, 1990, Studia Logica 49, 431–454; Kanazawa, 1998, CSLI Publications and the European Association for Logic, Language and Information) for classical categorial grammar to at first the non-associative Lambek calculus, and then to a large class of type logics enriched by modal operators and structural rules. (shrink)

Introduction -- Basic concepts -- Previous approaches -- Semantic expressions: introduction -- Formal issues -- Semantic expressions: basic features -- Advanced features -- Applications: capture -- Three little pigs -- Applications: creation.

Chomsky’s conception of semantics must contend with both philosophical skepticism and contrary traditions in linguistics. In “Two Dogmas” Quine argued that “...it is non-sense, and the root of much non-sense, to speak of a linguistic component and a factual component in the truth of any individual statement.” If so, it follows that language as the object of semantic investigation cannot be separated from collateral information. F. R. Palmer pursues a similar contention in his recent survey of issues in (...) semantic theory: “...it is impossible even in theory to draw a clear line between the meaning of a word or sentence and all possible relevant information about it.” In spite of such skepticism, and through a variety of theories, devotion to lexical decomposition and truth dependent on language has not abated. The purpose of this paper is to focus related criticism and briefly put forward an alternative conception of empirical semantics. (shrink)

In Knowledge and the Flow of Information, Fred Dretske explains representational content by appealing to natural indication: a mental representation has its content in virtue of being a reliable natural indicator of a particular type of state of the world. His account fails for several reasons, not the least of which is that it cannot account for misrepresentation. Recognizing this, Dretske adds a twist in his more recent work on representational content (sketched in 'Misrepresentation' and elaborated in Explaining Behavior): (...) a mental representation acquires its semantic content when the fact that it naturally indicates some type of state of the world acquires explanatory relevance. This shift in emphasis from natural indication to function (and, so, to behaviour) is intended to address the disjunction problem. Whether or not it succeeds (I argue that it does not), new problems emerge as a direct result of the shift to emphasis on behaviour. First, although Dretske appeals to appropriate response behaviours for particular types of representations, it is not at all clear that such behaviours exist. Second, Dretske's theory cannot account for representations that never figure in the behaviour of the organism of which they are a part. In response to these problems, I suggest two possible routes to recovery: one, an appeal to implicit beliefs (or dispositions); and, two, an appeal to compositionality. Although it seems clear that Dretske must enlist one of these options if he is to formulate a successful causal naturalist theory of representational content, given his theoretical commitments, neither option is readily available to him. (shrink)

Lewis, D. Semantic analyses for dyadic deontic logic.--Salomaa, A. Some remarks concerning many-valued propositional logics.--Chellas, B. F. Conditional obligation.--Jeffrey, R.C. Remarks on interpersonal utility theory.--Hintikka, J. On the proper treatment of quantifiers in Montague semantics.--Mayoh, B.H. Extracting information from logical proofs.--Åqvist, L. A new approach to the logical theory of actions and causality.--Pörn, I. Some basic concepts of action.--Bouvère, K. de. Some remarks concerning logical and ontological theories.--Hacking, I. Combined evidence.--Äberg, C. Solution to a problem raised by Stig (...) Kanger and a set theoretical statement equivalent to the axiom of choice.--Lindström, P. On characterizing elementary logic.--Scott, D. Rules and derived rules.--Hansson, B. A program for pragmatics.--Hermerén, G. Models.--Fenstad, J.E. Remarks on logic and probability.--Stenlund, S. Analytic and synthetic arithmetical statements. (shrink)

In classical logic, the proposition expressed by a sentence is construed as a set of possible worlds, capturing the informative content of the sentence. However, sentences in natural language are not only used to provide information, but also to request information. Thus, natural language semantics requires a logical framework whose notion of meaning does not only embody informative content, but also inquisitive content. This paper develops the algebraic foundations for such a framework. We argue that propositions, in order (...) to embody both informative and inquisitive content in a satisfactory way, should be defined as non-empty, downward closed sets of possibilities, where each possibility in turn is a set of possible worlds. We define a natural entailment order over such propositions, capturing when one proposition is at least as informative and inquisitive as another, and we show that this entailment order gives rise to a complete Heyting algebra, with meet, join, and relative pseudo-complement operators. Just as in classical logic, these semantic operators are then associated with the logical constants in a first-order language. We explore the logical properties of the resulting system and discuss its significance for natural language semantics. We show that the system essentially coincides with the simplest and most well-understood existing implementation of inquisitive semantics, and that its treatment of disjunction and existentials also concurs with recent work in alternative semantics. Thus, our algebraic considerations do not lead to a wholly new treatment of the logical constants, but rather provide more solid foundations for some of the existing proposals. (shrink)

Recently, there has been a surge of interest in the lexicon. The demand for a fuller and more adequate understanding of lexical meaning required by developments in computational linguistics, artificial intelligence, and cognitive science has stimulated a refocused interest in linguistics, psychology, and philosophy. Different disciplines have studied lexical structure from their own vantage points, and because scholars have only intermittently communicated across disciplines, there has been little recognition that there is a common subject matter. The conference on which this (...) volume is based brought together interested thinkers across the disciplines of linguistics, philosophy, psychology, and computer science to exchange ideas, discuss a range of questions and approaches to the topic, consider alternative research strategies and methodologies, and formulate interdisciplinary hypotheses concerning lexical organization. The essay subjects discussed include: * alternative and complementary conceptions of the structure of the lexicon, * the nature of semantic relations and of polysemy, * the relation between meanings, concepts, and lexical organization, * critiques of truth-semantics and referential theories of meaning, * computational accounts of lexical information and structure, and * the advantages of thinking of the lexicon as ordered. (shrink)

This essay is a sustained attempt to bring new light to some of the perennial problems in philosophy of mind surrounding phenomenal consciousness and introspection through developing an account of sensory and phenomenal concepts. Building on the information-theoretic framework of Dretske (1981), we present an informational psychosemantics as it applies to what we call sensory concepts, concepts that apply, roughly, to so-called secondary qualities of objects. We show that these concepts have a special informational character and semantic structure (...) that closely tie them to the brain states realizing conscious qualitative experiences. We then develop an account of introspection which exploits this special nature of sensory concepts. The result is a new class of concepts, which, following recent terminology, we call phenomenal concepts: these concepts refer to phenomenal experience itself and are the vehicles used in introspection. On our account, the connection between sensory and phenomenal concepts is very tight: it consists in different semantic uses of the same cognitive structures underlying the sensory concepts, such as the concept of red. Contrary to widespread opinion, we show that information theory contains all the resources to satisfy internalist intuitions about phenomenal consciousness, while not offending externalist ones. A consequence of this account is that it explains and predicts the so-called conceivability arguments against physicalism on the basis of the special nature of sensory and phenomenal concepts. Thus we not only show why physicalism is not threatened by such arguments, but also demonstrate its strength in virtue of its ability to predict and explain away such arguments in a principled way. However, we take the main contribution of this work to be what it provides in addition to a response to those conceivability arguments, namely, a substantive account of the interface between sensory and conceptual systems and the mechanisms of introspection as based on the special nature of the information flow between them. (shrink)

This essay is a sustained attempt to bring new light to some of the perennial problems in philosophy of mind surrounding phenomenal consciousness and introspection through developing an account of sensory and phenomenal concepts. Building on the information-theoretic framework of Dretske (1981), we present an informational psychosemantics as it applies to what we call sensory concepts, concepts that apply, roughly, to so-called secondary qualities of objects. We show that these concepts have a special informational character and semantic struc-ture (...) that closely tie them to the brain states realizing conscious qualitative experiences. We then develop an account of introspection which exploits this special nature of sensory concepts. The result is a new class of concepts, which, following recent terminology, we call phenomenal con-cepts: these concepts refer to phenomenal experience itself and are the vehicles used in introspec-tion. On our account, the connection between sensory and phenomenal concepts is very tight: it consists in different semantic uses of the same cognitive structures underlying the sensory con-cepts, such as the concept of red. Contrary to widespread opinion, we show that information the-ory contains all the resources to satisfy internalist intuitions about phenomenal consciousness, while not offending externalist ones. A consequence of this account is that it explains and pre-dicts the so-called conceivability arguments against physicalism on the basis of the special nature of sensory and phenomenal concepts. Thus we not only show why physicalism is not threatened by such arguments, but also demonstrate its strength in virtue of its ability to predict and explain away such arguments in a principled way. However, we take the main contribution of this work to be what it provides in addition to a response to those conceivability arguments, namely, a sub-stantive account of the interface between sensory and conceptual systems and the mechanisms of introspection as based on the special nature of the information flow between them. (shrink)

According to Semantic Minimalism, every use of "Chiara is tall" (fixing the girl and the time) semantically expresses the same proposition, the proposition that Chiara is (just plain) tall. Given standard assumptions, this proposition ought to have an intension (a function from possible worlds to truth values). However, speakers tend to reject questions that presuppose that it does. I suggest that semantic minimalists might address this problem by adopting a form of "nonindexical contextualism," according to which the proposition (...) invariantly expressed by "Chiara is tall" does not have a context-invariant intension. Nonindexical contextualism provides an elegant explanation of what is wrong with "context-shifting arguments" and can be seen as a synthesis of the (partial) insights of semantic minimalists and radical contextualists. (shrink)

Mental states differ from most other entities in the world in having semantic or intentional properties: they have meanings, they are about other things, they have satisfaction- or truth-conditions, they have representational content. Mental states are not the only entities that have intentional properties - so do linguistic expressions, some paintings, and so on; but many follow Grice, 1957 ] in supposing that we could understand the intentional properties of these other entities as derived from the intentional properties of (...) mental states (viz., the mental states of their producers). Of course, accepting this supposition leaves us with a puzzle about how the non-derivative bearers of intentional properties (mental states) could have these properties. In particular, intentional properties seem to some to be especially difficult to reconcile with a robust commitment to ontological naturalism - the view that the natural properties, events, and individuals are the only properties, events, and individuals that exist. Fodor puts this intuition nicely in this oft-quoted passage:

I suppose that sooner or later the physicists will complete the catalogue they've been compiling of the
ultimate and irreducible properties of things. When they do, the likes of _spin_, _charm_, and _charge_ will perhaps
appear upon their list. But _aboutness_ surely won't; intentionality simply doesn't go that deep.... If aboutness is
real, it must be really something else ([ Fodor, 1987 ], 97).

Some philosophers have reacted to this clash by giving up one of the two views generating the tension. For example, Churchland, 1981 ] opts for intentional irrealism in order to save ontological naturalism, while. (shrink)

Do psychologists and computer/cognitive scientists mean the same thing by the term `information'? In this essay, I answer this question by comparing information as understood by Gibsonian, ecological psychologists with information as understood in Barwise and Perry's situation semantics. I argue that, with suitable massaging, these views of information can be brought into line. I end by discussing some issues in (the philosophy of) cognitive science and artificial intelligence.

Information theory offers a measure of "mutual information" which provides an appropriate measure of tracking efficiency for the naturalistic epistemologist. The statistical entropy on which it is based is arguably the best way of characterizing the uncertainty associated with the behavior of a system, and it is ontologically neutral. Though not appropriate for the naturalization of meaning, mutual information can serve as a measure of epistemic success independent of semantic maps and payoff structures. While not containing (...) payoffs as terms, mutual information places both upper and lower bounds on payoffs. This constitutes a non-trivial relationship to utility. (shrink)

The semantic concept of information is one of the most important, and one of the most problematical concepts in biology. I suggest a broad definition of biological information: a source becomes an informational input when an interpreting receiver can react to the form of the source (and variations in this form) in a functional manner. The definition accommodates information stemming from environmental cues as well as from evolved signals, and calls for a comparison between information‐transmission (...) in different types of inheritance systems—the genetic, the epigenetic, the behavioral, and the cultural‐symbolic. This comparative perspective highlights the different ways in which information is acquired and transmitted, and the role that such information plays in heredity and evolution. Focusing on the special properties of the transfer of information, which are very different from those associated with the transfer of materials or energy, also helps to uncover interesting evolutionary effects and suggests better explanations for some aspects of the evolution of communication. (shrink)

The semantic paradoxes are often associated with self-reference or referential circularity. Yablo (1993), however, has shown that there are infinitary versions of the paradoxes that do not involve this form of circularity. It remains an open question what relations of reference between collections of sentences afford the structure necessary for paradoxicality. In this essay, we lay the groundwork for a general investigation into the nature of reference structures that support the semantic paradoxes and the semantic hypodoxes. We (...) develop a functionally complete infinitary propositional language endowed with a denotation assignment and extract the reference structural information in terms of graph-theoretic properties. We introduce the new concepts of dangerous and precarious reference graphs, which allows us to rigorously define the task: classify the dangerous and precarious directed graphs purely in terms of their graph-theoretic properties. Ungroundedness will be shown to fully characterize the precarious reference graphs and fully characterize the dangerous finite graphs. We prove that an undirected graph has a dangerous orientation if and only if it contains a cycle, providing some support for the traditional idea that cyclic structure is required for paradoxicality. This leaves the task of classifying danger for infinite acyclic reference graphs. We provide some compactness results, which give further necessary conditions on danger in infinite graphs, which in conjunction with a notion of self-containment allows us to prove that dangerous acyclic graphs must have infinitely many vertices with infinite out-degree. But a full characterization of danger remains an open question. In the appendices we relate our results to the results given in Cook (2004) and Yablo (2006) with respect to more restricted sentences systems, which we call F-systems. (shrink)

Biologists rely heavily on the language of information, coding, and transmission that is commonplace in the field of information theory developed by Claude Shannon, but there is open debate about whether such language is anything more than facile metaphor. Philosophers of biology have argued that when biologists talk about information in genes and in evolution, they are not talking about the sort of information that Shannon’s theory addresses. First, philosophers have suggested that Shannon’s theory is only (...) useful for developing a shallow notion of correlation, the so-called causal sense of information. Second, they typically argue that in genetics and evolutionary biology, information language is used in a semantic sense, whereas semantics are deliberately omitted from Shannon’s theory. Neither critique is well-founded. Here we propose an alternative to the causal and semantic senses of information: a transmission sense of information, in which an object X conveys information if the function of X is to reduce, by virtue of its sequence properties, uncertainty on the part of an agent who observes X. The transmission sense not only captures much of what biologists intend when they talk about information in genes, but also brings Shannon’s theory back to the fore. By taking the viewpoint of a communications engineer and focusing on the decision problem of how information is to be packaged for transport, this approach resolves several problems that have plagued the information concept in biology, and highlights a number of important features of the way that information is encoded, stored, and transmitted as genetic sequence. (shrink)

The paper develops some of the conclusions, reached in Floridi (2007), concerning the future developments of Information and Communication Technologies (ICTs) and their impact on our lives. The two main theses supported in that article were that, as the information society develops, the threshold between online and offline is becoming increasingly blurred, and that once there won't be any significant difference, we shall gradually re-conceptualise ourselves not as cyborgs but rather as inforgs, i.e. socially connected, informational organisms. In (...) this paper, I look at the development of the so-called Semantic Web and Web 2.0 from this perspective and try to forecast their future. Regarding the Semantic Web, I argue that it is a clear and well-defined project, which, despite some authoritative views to the contrary, is not a promising reality and will probably fail in the same way AI has failed in the past. Regarding Web 2.0, I argue that, although it is a rather ill-defined project, which lacks a clear explanation of its nature and scope, it does have the potentiality of becoming a success (and indeed it is already, as part of the new phenomenon of Cloud Computing) because it leverages the only semantic engines available so far in nature, us. I conclude by suggesting what other changes might be expected in the future of our digital environment. (shrink)

Abstract: Luciano Floridi has impressively applied the concept of information to problems in semantics and epistemology, among other areas. In this essay, I briefly review two areas where I think one may usefully raise questions about some of Floridi's conclusions. One area is in the project to naturalize semantics and Floridi's use of the derived versus nonderived notion of semantic content. The other area is in the logic of information and knowledge and whether knowledge based on (...) class='Hi'>information necessarily supports closure, in every instance. I suggest that it does not and, thereby, raise a challenge to Floridi's logic of being informed. (shrink)

The use of highly abstract mathematical frameworks is essential for building the sort of theoretical foundation for semantic integration needed to bring it to the level of a genuine engineering discipline. At the same time, much of the work that has been done by means of these frameworks assumes a certain amount of background knowledge in mathematics that a lot of people working in ontology, even at a fairly high theoretical level, lack. The major purpose of this short paper (...) is provide a (comparatively) simple model of semantic integration that remains within the friendlier confines of first-order languages and their usual classical semantics and logic. (shrink)

Luciano Floridi (2003) offers a theory of information as a strongly semantic notion, according to which information encapsulates truth, thereby making truth a necessary condition for a sentence to qualify as information. While Floridi provides an impressive development of this position, the aspects of his approach of greatest philosophical significance are its foundations rather than its formalization. He rejects the conception of information as meaningful data, which entails at least three theses – that information (...) can be false; that tautologies are information; and, that It is true that ... is non-redundant – appear to be defensible. This inquiry offers various logical, epistemic, and ordinary-language grounds to demonstrate that an account of his kind is too narrow to be true and that its adoption would hopelessly obscure crucial differences between information, misinformation, and disinformation. (shrink)

‘Information’ and ‘code’ originated as technical terms within linguistics and information theory but are now widely used in genetics and developmental biology. Against this background, it is examined if coded information distinguishes genes from other information carriers, i.e., whether there are genetic words or sentences by virtue of the genetic code, and, if so, whether they have any semantic content. It is concluded that there is no genetic language with semantic content, but that the (...) genetic code still enables unique language-like modes of transmission and interpretation of causal information. (shrink)

The purpose of this paper is to (a) show that the received view of the problem of quantificational subordination (QS) is incorrect, and that, consequently, existing solutions do not succeed in explaining the facts, and (b) provide a new account of QS. On the received view of QS within dynamic semantic frameworks, determiners treated as universal quantifiers (henceforth universal determiners) such as all, every, and each behave as barriers to inter-sentential anaphora yet allow anaphoric accessibility in a number of (...) situations. We argue that universal determiners are not intrinsic anaphora barriers and that anaphoric accessibility under them is enabled factors including lexicon information and discourse effects of universal determiners. In support of this viewpoint, we first provide a data survey on the phenomena of QS and its interactions with plurals, rhetorical relations, and adverbial quantification. The results of the survey show that judgments of (naive) native English speakers on the QS examples are quite different from what is claimed in the literature. We argue that the various solutions in the literature, which in general accept that universal determiners are intrinsic anaphora barriers, fail to account for the facts from the survey data. We then describe the approach we adopt, which denies that universal determiners are anaphora barriers and reconstructs their semantics so that information in their scope can be released for anaphora. The constraints on QS noted in the literature we model in Segmented Discourse Representation Theory (SDRT) as conditions on the discourse relations which can hold between subordinated constituents. We show that this approach accounts for the QS data. (shrink)

Information is a notion of wide use and great intuitive appeal, and hence, not surprisingly, different formal paradigms claim part of it, from Shannon channel theory to Kolmogorov complexity. Information is also a widely used term in logic, but a similar diversity repeats itself: there are several competing logical accounts of this notion, ranging from semantic to syntactic. In this chapter, we will discuss three major logical accounts of information.

Experimental data suggest that the division between the visual ventral and dorsal pathways may indeed indicate that static and dynamical information is processed separately. Contrary to Hurford, it is suggested that the ventral pathway primarily generates representations of objects, whereas the dorsal pathway produces representations of events. The semantic object/event distinction may relate to the morpho-syntactic noun/verb distinction.

Commentary on Bergstrom and Rosvall, ‘The transmission sense of information’, Biology and Philosophy. In response to worries that uses of the concept of information in biology are metaphorical or insubstantial, Bergstrom and Rosvall have identified a sense in which DNA transmits information down the generations. Their ‘transmission view of information’ is founded on a claim about DNA’s teleofunction. Bergstrom and Rosvall see their transmission view of information as a rival to semantic accounts. This commentary (...) argues that it is complementary. The idea that DNA is transmitting information down the generations only makes sense if it is carrying a message, that is to say if it has semantic content. (shrink)

In this paper I apply an old problem of Quine's (the inscrutability of reference in translation) to a new style of theory about mental content (causal/nomological/informational accounts of meaning) and conclude that no "naturalization" of content of the sort currently popular can solve Quine's "gavagai" enigma. I show how failure to solve the problem leads to absurd conclusions not about one's own mental life, but about the non-mental world. I discuss various ways of attempting to remedy the accounts so as (...) to avoid the problem and explain why each attempt at solving the problem would take the information theorists further from their self-assigned task of "naturalizing" semantics. (shrink)

This paper argues that information should be made transparent as a means to close the global digital divide problem. The usual conception of the digital divide as a bifurcation between the information rich and poor in fact does a poor job at describing the reality of the situation, which is characterized by multiple dimensions of digital divides in many contexts. Taking the lead from Albert Borgmann, it is recognized that the so-called information poor do possess a rich (...) resource of information which needs to be fully accounted for in order to solve the global digital divide problem. In addition, making information transparent means, following the theory of development of Peruvian economist Hernando de Soto, that information should be made available and accessible through a system of representation. Floridis account of information ethics thus needs to be supplemented by the realization that members of infosphere, which in his view consist of information objects, should be made transparent in order that the global digital divide be ameliorated. In other words there should be a system of information about information, namely semantic representation of objective information which enables the locals to make full use of their available informational resources. (shrink)

The paper considers a version of the problem of linguistic creativity obtained by interpreting attributions of ordinary semantic knowledge as attributions of practical competencies with expressions. The paper explains how to cope with this version of the problem without invoking either compositional theories of meaning or the notion of `tacit knowledge' (of such theories) that has led to unnecessary puzzlement. The central idea is to show that the core assumption used to raise the problem is false. To render precise (...) argument possible, the paper first identifies and removes some relevant semantic indeterminacy in philosophical talk of `semantic knowledge' and `information'. This yields rules for attributing the two to human speakers and information-processors, respectively. The paper then shows, first, that ordinary speakers qualify as possessing all along an other than finite and definite stock of semantic knowledge and, second, that a very simple information-processor running a procedural semantics qualifies as possessing an analogous stock of semantic information. The second result is used to bring out that the first is neither unduly impressive nor particularly puzzling. (shrink)

The concept of genetic information is controversial because it attributes semantic properties to what seem to be ordinary biochemical entities. I argue that nucleic acids contain information in a semantic sense, but only about a limited range of effects. In contrast to other recent proposals, however, I analyze genetic information not in terms of a naturalized account of biological functions, but instead in terms of the way in which molecules determine their products during processes known (...) as template-directed syntheses. I argue that determining an outcome in a certain way is constitutive for being an instruction. On this account, the content of genetic information is identified with the template's properties, which determine the product in the way constitutive for instructions. (shrink)

Contemporary philosophy and theoretical psychology are dominated by an acceptance of content-externalism: the view that the contents of one's mental states are constitutively, as opposed to causally, dependent on facts about the external world. In the present work, it is shown that content-externalism involves a failure to distinguish between semantics and pre-semantics---between, on the one hand, the literal meanings of expressions and, on the other hand, the information that one must exploit in order to ascertain their literal meanings. It (...) is further shown that, given the falsity of content-externalism, the falsity of the Computational Theory of Mind (CTM) follows. It is also shown that CTM involves a misunderstanding of terms such as "computation," "syntax," "algorithm," and "formal truth." Novel analyses of the concepts expressed by these terms are put forth. These analyses yield clear, intuition-friendly, and extensionally correct answers to the questions "what are propositions?, "what is it for a proposition to be true?", and "what are the logical and psychological differences between conceptual (propositional) and non-conceptual (non-propositional) content?" Naively taking literal meaning to be in lockstep with cognitive content, Burge, Salmon, Falvey, and other semantic externalists have wrongly taken Kripke's correct semantic views to justify drastic and otherwise contraindicated revisions of commonsense. (Salmon: What is non-existent exists; at a given time, one can rationally accept a proposition and its negation. Burge: Somebody who is having a thought may be psychologically indistinguishable from somebody who is thinking nothing. Falvey: somebody who rightly believes himself to be thinking about water is psychologically indistinguishable from somebody who wrongly thinks himself to be doing so and who, indeed, isn't thinking about anything.) Given a few truisms concerning the differences between thought-borne and sentence-borne information, the data is easily modeled without conceding any legitimacy to any one of these rationality-dismantling atrocities. (It thus turns out, ironically, that no one has done more to undermine Kripke's correct semantic points than Kripke's own followers!). (shrink)