Cohen and Meskin 2006 recently offered a counterfactual theory of information to replace the standard probabilistic theory of information. They claim that the counterfactual theory fares better than the standard account on three grounds: first, it provides a better framework for explaining information flow properties; second, it requires a less expensive ontology; and third, because it does not refer to doxastic states of the information-receiving organism, it provides an objective basis. In this paper, I show that none of these is (...) really an advantage. Moreover, the counterfactual theory fails to satisfy one of the basic properties of information flow, namely the Conjunction principle. Thus, I conclude, there is no reason to give up the standard probabilistic theory for the counterfactual theory of information. (shrink)

Deductive inference is usually regarded as being “tautological” or “analytical”: the information conveyed by the conclusion is contained in the information conveyed by the premises. This idea, however, clashes with the undecidability of first-order logic and with the (likely) intractability of Boolean logic. In this article, we address the problem both from the semantic and the proof-theoretical point of view. We propose a hierarchy of propositional logics that are all tractable (i.e. decidable in polynomial time), although by means of growing (...) computational resources, and converge towards classical propositional logic. The underlying claim is that this hierarchy can be used to represent increasing levels of “depth” or “informativeness” of Boolean reasoning. Special attention is paid to the most basic logic in this hierarchy, the pure “intelim logic”, which satisfies all the requirements of a natural deduction system (allowing both introduction and elimination rules for each logical operator) while admitting of a feasible (quadratic) decision procedure. We argue that this logic is “analytic” in a particularly strict sense, in that it rules out any use of “virtual information”, which is chiefly responsible for the combinatorial explosion of standard classical systems. As a result, analyticity and tractability are reconciled and growing degrees of computational complexity are associated with the depth at which the use of virtual information is allowed. (shrink)

Theories of truthlikeness (or verisimilitude) are currently being classified according to two independent distinctions: that between ‘content’ and ‘likeness’ accounts, and that between ‘conjunctive’ and ‘disjunctive’ ones. In this article, I present and discuss a new definition of truthlikeness, which employs Carnap’s notion of the content elements entailed by a theory or proposition, and is then labelled ‘Carnapian’. After studying in detail the properties and shortcomings of this definition, I argue that it occupies a unique position in the landscape of (...) different approaches to truthlikeness. More precisely, I show that it provides the only explication of truthlikeness which is both ‘conjunctive’ and ‘content-based’ in a suitably defined sense. (shrink)

Fitelson (1999) demonstrates that the validity of various arguments within Bayesian confirmation theory depends on which confirmation measure is adopted. The present paper adds to the results set out in Fitelson (1999), expanding on them in two principal respects. First, it considers more confirmation measures. Second, it shows that there are important arguments within Bayesian confirmation theory and that there is no confirmation measure that renders them all valid. Finally, the paper reviews the ramifications that this "strengthened problem of measure (...) sensitivity" has for Bayesian confirmation theory and discusses whether it points at pluralism about notions of confirmation. (shrink)

In this paper we show that the coherence measures of Olsson (J Philos 94:246–272, 2002), Shogenji (Log Anal 59:338–345, 1999), and Fitelson (Log Anal 63:194–199, 2003) satisfy the two most important adequacy requirements for the purpose of assessing theories. Following Hempel (Synthese 12:439–469, 1960), Levi (Gambling with truth, New York, A. A. Knopf, 1967), and recently Huber (Synthese 161:89–118, 2008) we require, as minimal or necessary conditions, that adequate assessment functions favor true theories over false theories and true and informative (...) theories over true but uninformative theories. We then demonstrate that the coherence measures of Olsson, Shogenji, and Fitelson satisfy these minimal conditions if we confront the hypotheses with a separating sequence of observational statements. In the concluding remarks we set out the philosophical relevance, and limitations, of the formal results. Inter alia, we discuss the problematic implications of our precondition that competing hypotheses must be confronted with a separating sequence of observational statements, which also leads us to discuss theory assessment in the context of scientific antirealism. (shrink)

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

. In logic, diagrams have been used for a very long time. Nevertheless philosophers and logicians are not quite clear about the logical status of diagrammatical representations. Fact is that there is a close relationship between particular visual (resp. graphical) properties of diagrams and logical properties. This is why the representation of the four categorical propositions by different diagram systems allows a deeper insight into the relations of the logical square. In this paper I want to give some examples.

Luciano Floridi’s informational structural realism takes a constructionist attitude towards the problems of epistemology and metaphysics, but the question of the nature of the semantical component of his view remains vexing. In this paper, I propose to dispense with the semantical component of ISR completely. I outline a Syntactical version of ISR. The unified entropy-based framework of information has been adopted as the groundwork of SISR. To establish its realist component, SISR should be able to dissolve the latching problem. We (...) have to be able to account for the informational structures–reality relationship in the absence of the standard semantical resources. The paper offers a pragmatic solution to the latching problem. I also take pains to account for the naturalistic plausibility of this solution by grounding it in the recent computational neuroscience of the predictive coding and the free energy principle. (shrink)

En este artículo pretendo evaluar las bases conceptuales y interpretativas de las ‘paradojas info-térmicas’ subyacentes a las aproximaciones informacionales a la física térmica, por las cuales nuestra información epistémica sobre un sistema molecular aumenta y disminuye simultáneamente cuando este se aproxima al equilibrio térmico. Defiendo que el contenido paradójico de nuestra tesis persiste incluso cuando se distinguen distintos tipos de información, debido a la conexión robusta entre la parte del incremento y la parte de la disminución informacional de la tesis. (...) Concluiré defendiendo que dicha paradoja muestra las inconsistencias conceptuales de las aproximaciones informacionales de la física térmica. (shrink)

Although the everyday notion of information has clear semantic properties, the all-pervasive technical concept of Shannon information is usually considered as a non-semantic concept. In this paper I show how this concept was implicitly ‘semantized’ in the early 1950s by many authors, such as Rothstein or Brillouin, in order to explain the knowledge dynamics underlying certain scientific practices such as measurement. On the other hand, I argue that the main attempts in the literature to develop a quantitative measure of semantic (...) information to clarify science and scientific measurements, such as Carnap-Bar-Hillel, or Dretske, will not successfully achieve this philosophical aim for several reasons. Finally, I defend the use of a qualitative notion of semantic information within the information-theoretical framework MacKay to assess the informational dynamics underlying scientific practices, particularly measurements in statistical mechanics. (shrink)

ArgumentIn this comparative historical analysis, we will analyze the intellectual tendency that emerged between 1946 and 1956 to take advantage of the popularity of communication theory to develop a kind of informational epistemology of statistical mechanics. We will argue that this tendency results from a historical confluence in the early 1950s of certain theoretical claims of the so-called English School of Information Theory, championed by authors such as Gabor (1956) or MacKay (1969), and from the attempt to extend the profound (...) success of Shannon’s ([1948] 1993) technical theory of sign transmission to the field of statistical thermal physics. As a paradigmatic example of this tendency, we will evaluate the intellectual work of Léon Brillouin (1956), who, in the mid-fifties, developed an information theoretical approach to statistical mechanical physics based on a concept of information linked to the knowledge of the observer. (shrink)

In this paper I aim to demonstrate that Rudolf Carnap's analysis of the application of information theory within physics, an intellectual-historical precedent of current philosophical criticisms toward this tendency, is justified. First, Carnap and Bar-Hillel (1952) underlined the unjustified ‘semantification’ of Shannon entropy Furthermore, Carnap criticized the ‘physicalization’ of Shannon entropy, but that criticism was not accepted by the physics community of the 1950s (Köhler 2001). Finally, in the posthumously published "Two Essays on Entropy" Carnap (1977) developed a critical assessment (...) of entropy concepts that showed some deep conceptual and interpretative deficiencies in Jaynes (1957a) and Brillouin’s (1956) informational approaches to thermophysics. (shrink)

In this article I defend that Floridi’s Theory of Strongly Semantic Information – TSSI – is correct while encompassing the Veracity Thesis, which guides the semantic information definition as “p is information if and only if p is constituted by meaningful, truth well-formed data”. I argue that the theory is not arbitrary because it deals with important philosophical conundrums, mainly by avoiding the Bar-Hillel and Carnap paradox (1953) generated from the classical theory of semantic information. First, one of the classic (...) theory’s main result is discussed: the production of “too much informative sentences to be true”. Then the motivations to elaborate a “logic of being informed” are summarized and it is shown how the KTB-IL system is built and modelled keeping the veracity axiom among its axioms – K or A4. Finally the TSSI is examined and defended by showing that it aletically restricts the extension of the classic concept of information, avoiding problems with tautologies and contradictions. The TSSI offers an original solution by capturing our modal intuitions concerning informativeness as a basic notion. (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 information we explore.

Informational semantics were first developed as an interpretation of the model-theory of substructural (and especially relevant) logics. In this paper we argue that such a semantics is of independent value and that it should be considered as a genuine alternative explication of the notion of logical consequence alongside the traditional model-theoretical and the proof-theoretical accounts. Our starting point is the content-nonexpansion platitude which stipulates that an argument is valid iff the content of the conclusion does not exceed the combined content (...) of the premises. We show that this basic platitude can be used to characterise the extension of classical as well as non-classical consequence relations. The distinctive trait of an informational semantics is that truth-conditions are replaced by information-conditions. The latter leads to an inversion of the usual order of explanation: Considerations about logical discrimination (how finely propositions are individuated) are conceptually prior to considerations about deductive strength. Because this allows us to bypass considerations about truth, an informational semantics provides an attractive and metaphysically unencumbered account of logical consequence, non-classical logics, logical rivalry and pluralism about logical consequence. (shrink)

This paper develops and refines the suggestion that logical systems are conceptual artefacts that are the outcome of a design-process by exploring how a constructionist epistemology and meta-philosophy can be integrated within the philosophy of logic.

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)

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 paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This (...) yields a general soundness and completeness result for a variety of (positive) substructural logics with respect to multimodal Kripke frames with binary accessibility relations. In addition, an epistemic interpretation of pair models is provided. (shrink)

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premise-conclusion arguments. The premises and conclusion of an argument have information content (they ?say? something), and they have subject matter (they are ?about? something). The asymmetry between establishing validity and establishing invalidity has long been noted: validity is established through an information-processing procedure exhibiting a step-by-step deduction of the conclusion from the premise-set. Invalidity is established by (...) exhibiting a countermodel satisfying the premises but not the conclusion. The process of establishing validity focuses on information content; the process of establishing invalidity focuses on subject matter. Corcoran's information-theoretic concept of logical consequence corresponds to the former. Tarski's model-theoretic concept of logical consequence formulated in his famous 1936 no-countermodels definition corresponds to the latter. Both are found to be indispensable for understanding the rationale of the deductive method and each complements the other. This study discusses the ontic question of the nature of logical consequence and the epistemic question of the human capabilities presupposed by practical applications of these two concepts as they make validity and invalidity accessible to human knowledge. (shrink)

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

What is the role of the environment, and of the information it provides, in cognition? More specifically, may there be a role for certain artefacts to play in this context? These are questions that motivate "4E" theories of cognition (as being embodied, embedded, extended, enactive). In his take on that family of views, Hajo Greif first defends and refines a concept of information as primarily natural, environmentally embedded in character, which had been eclipsed by information-processing views of cognition. He continues (...) with an inquiry into the cognitive bearing of some artefacts that are sometimes referred to as 'intelligent environments'. Without necessarily having much to do with Artificial Intelligence, such artefacts may ultimately modify our informational environments. -/- With respect to human cognition, the most notable effect of digital computers is not that they might be able, or become able, to think but that they alter the way we perceive, think and act. (shrink)

The principle of complementarity in physics can be generalized and extended to information studies. It helps explain the dilemma faced by information studies today. The prevailing endeavor that going beyond the limitation of formal theories and to develop a unified theory of information falls in the dilemma which is structurally homologous to the dilemmas in quantum physics. The dilemma is caused by an epistemological paradox called assignment paradox. The paradox can be removed through generalized complementarity. It means that the concept (...) of information embodying in different theoretical contexts are different phenomenon. They are complementary to each other. The analysis brings bad news to methodologically reductionism and fundamentalism but good news to transdisciplinary approach. (shrink)

For living beings, information is as fundamental as matter or energy. In this paper we show: a) inadequacies of quantitative theories of information, b) how a qualitative analysis leads to a classification of information systems and to a modelling of intercellular communication.From a quantitative point of view, the application in biology of information theories borrowed from communication techniques proved to be disappointing. These theories ignore deliberately the significance of messages, and do not give any definition of information. They refer to (...) quantities, based upon arbitrarily defined probabilistic events. Probability is subjective. The receiver of the message needs to have meta-knowledge of the events. The quantity of information depends on language, coding, and arbitrary definition of disorder. The suggested objectivity is fallacious. (shrink)

The paper offers the foundations of the theory of information media. Information media are dynamical systems with additional macrostructure of information-carrying states and information-preserving transformations. The paper also defines the notion of information media network as a system of information media connected by information transformations. It is demonstrated that many standard examples of information-containing and processing systems are captured by the general notion of information medium. The paper uses the theory (and informal discussion) of information media to motivate a structural (...) approach to the information in media. The idea is that the notion of information transformation should be regarded as more primitive than the notion of informational state. Thus in information systems, especially in the context of information technology, information is secondary while information transformation is primary. (shrink)

One major fault line in foundational theories of cognition is between the so-called “representational” and “non-representational” theories. Is it possible to formulate an intermediate approach for a foundational theory of cognition by defining a conception of representation that may bridge the fault line? Such an account of representation, as well as an account of correspondence semantics, is offered here. The account extends previously developed agent-based pragmatic theories of semantic information, where meaning of an information state is defined by its interface (...) role, to a theory that accommodates a notion of representation and correspondence semantics. It is argued that the account can be used to develop an intermediate approach to cognition, by showing that the major sources of tension between “representational” and “non-representational” theories may be eased. (shrink)

One major fault line in foundational theories of cognition is between the so-called “representational” and “non-representational” theories. Is it possible to formulate an intermediate approach for a foundational theory of cognition by defining a conception of representation that may bridge the fault line? Such an account of representation, as well as an account of correspondence semantics, is offered here. The account extends previously developed agent-based pragmatic theories of semantic information, where meaning of an information state is defined by its interface (...) role, to a theory that accommodates a notion of representation and correspondence semantics. It is argued that the account can be used to develop an intermediate approach to cognition, by showing that the major sources of tension between “representational” and “non-representational” theories may be eased. (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 first place, we present the definition and fundamental properties of information functions — functions which establish a correspondence between sets of formulas and the information contained in them. The intuitions for the notion of information stem from the conception of Bar-Hillel and Carnap in [3]. In § 2 we will briefly show how those notions can be applied to the logic of theory change. In § 3 we will use them for proving two theorems about the lattices of (...) classical subtheories and their content. (shrink)

What is the relationship between information and representation? Dating back at least to Dretske (1981), an influential answer has been that information is a rung on a ladder that gets one to representation. Representation is information, or representation is information plus some other ingredient. In this paper, I argue that this approach oversimplifies the relationship between information and representation. If one takes current probabilistic models of cognition seriously, information is connected to representation in a new way. It enters as a (...) property of the represented content as well as a property of the vehicles that carry that content. This offers a new, conceptually and logically distinct way in which information and representation are intertwined in cognition. (shrink)

The Aristotelian square of oppositions is a well-known diagram in logic and linguistics. In recent years, several extensions of the square have been discovered. However, these extensions have failed to become as widely known as the square. In this paper we argue that there is indeed a fundamental difference between the square and its extensions, viz., a difference in informativity. To do this, we distinguish between concrete Aristotelian diagrams and, on a more abstract level, the Aristotelian geometry. We then introduce (...) two new logical geometries, and develop a formal, well-motivated account of their informativity. This enables us to show that the square is strictly more informative than many of the more complex diagrams. (shrink)

In this paper, we present a new semantic framework designed to capture a distinctly cognitive or epistemic notion of meaning akin to Fregean senses. Traditional Carnapian intensions are too coarse-grained for this purpose: they fail to draw semantic distinctions between sentences that, from a Fregean perspective, differ in meaning. This has led some philosophers to introduce more fine-grained hyperintensions that allow us to draw semantic distinctions among co-intensional sentences. But the hyperintensional strategy has a flip-side: it risks drawing semantic distinctions (...) between sentences that, from a Fregean perspective, do not differ in meaning. This is what we call the ‘new problem’ of hyperintensionality to distinguish it from the ‘old problem’ that faced the intensional theory. We show that our semantic framework offers a joint solution to both these problems by virtue of satisfying a version of Frege’s so-called ‘equipollence principle’ for sense individuation. Frege’s principle, we argue, not only captures the semantic intuitions that give rise to the old and the new problem of hyperintensionality, but also points the way to an independently motivated solution to both problems. (shrink)

The computation of scalar implicatures is sometimes costly relative to basic meanings. Among the costly computations are those that involve strengthening `some' to `not all' and strengthening inclusive disjunction to exclusive disjunction. The opposite is true for some other cases of strengthening, where the strengthened meaning is less costly than its corresponding basic meaning. These include conjunctive strengthenings of disjunctive sentences (e.g., free-choice inferences) and exactly-readings of numerals. Assuming that these are indeed all instances of strengthening via implicature/exhaustification, the puzzle (...) is to explain why strengthening sometimes increases costs while at other times it decreases costs. I develop a theory of processing costs that makes no reference to the strengthening mechanism or to other aspects of the derivation of the sentence's form/meaning. Instead, costs are determined by domain-general considerations of the grammar's output, and in particular by aspects of the meanings of ambiguous sentences and particular ways they update the context. Specifically, I propose that when the hearer has to disambiguate between a sentence's basic and strengthened meaning, the processing cost of any particular choice is a function of (i) a measure of the semantic complexity of the chosen meaning and (ii) a measure of how much relevant uncertainty it leaves behind in the context. I measure semantic complexity with Boolean Complexity in the propositional case and with semantic automata in the quantificational case, both of which give a domain-general measure of the minimal representational complexity needed to express the given meaning. I measure relevant uncertainty with the information-theoretic notion of entropy; this domain-general measure formalizes how `far' the meaning is from giving a complete answer to the question under discussion, and hence gives an indication of how much representational complexity is yet to come. Processing costs thus follow from domain-general considerations of current and anticipated representational complexity. The results might also speak to functional motivations for having strengthening mechanisms in the first place. Specifically, exhaustification allows language users to use simpler forms than would be available without it to both resolve relevant uncertainties and convey complex meanings. (shrink)

This paper develops a novel account of the nature of disinformation that challenges several widely spread theoretical assumptions, such as that disinformation is a species of information, a species of misinformation, essentially false or misleading, essentially intended/aimed/having the function of generating false beliefs in/misleading hearers. The paper defends a view of disinformation as ignorance generating content: on this account, X is disinformation in a context C iff X is a content unit communicated at C that has a disposition to generate (...) ignorance at C in normal conditions. I also offer a taxonomy of disinformation, and a view of what it is for a signal to constitute disinformation for a particular agent in a particular context. The account, if correct, carries high stakes upshots, both theoretically and practically: disinformation tracking will need to go well beyond mere fact checking. (shrink)

In this paper we elaborate a conception of entailment based on what we call the Ackermann principle, which explicates valid entailment through a logical connection between sentences depending on their informational content. We reconstruct Dunn’s informational semantics for entailment on the basis of Restall’s approach, with assertion and denial as two independent speech acts, by introducing the notion of a ‘position description’. We show how the machinery of position descriptions can effectively be used to define the positive and the negative (...) information carried by sentences of a given language and to present a formalized version of the Ackermann principle as an inclusion relationship between the informational contents of the conclusions and the premises of a valid entailment. Being so interpreted, the entailment relation exhibits certain properties, including the property of transitivity. Whereas properties such as Anderson and Belnap’s variable sharing property or Parry’s proscriptive principle are normally presented as imposing a relevance requirement on valid entailment, the suggested formalization of the Ackermann principle supports all of Gentzen’s structural rules, including weakening, a rule that is normally given up in sequent-style proof systems for relevance logics. In this way we propose an Ackermann-inspired explication of the nature of entailment as a relation between the informational contents of sentences. (shrink)

Biological evolution is often viewed narrowly as a change of morphology or allele frequency in a sequence of generations. Here I pursue an alternative informational concept of evolution, as preservation, advance, and emergence of functional information in natural agents. Functional information is a network of signs that are used by agents to preserve and regulate their functions. Functional information is preserved in evolution via complex interplay of copying and construction processes: the digital components are copied, whereas interpreting subagents together with (...) scaffolds, tools, and resources, are constructed. Some of these processes are simple and invariant, whereas others are complex and contextual. Advance of functional information includes improvement and modification of already existing functions. Although the genome information may change passively and randomly, the interpretation is active and guided by the logic of agent behavior and embryonic development. Emergence of new functions is based on the reinterpretation of already existing information, when old tools, resources, and control algorithms are adopted for novel functions. Evolution of functional information progressed from protosemiosis, where signs correspond directly to actions, to eusemiosis, where agents associate signs with objects. Language is the most advanced form of eusemiosis, where the knowledge of objects and models is communicated between agents. (shrink)

This article provides the first comprehensive reconstruction and analysis of Hintikka’s attempt to obtain a measure of the information yield of deductive inferences. The reconstruction is detailed by necessity due to the originality of Hintikka’s contribution. The analysis will turn out to be destructive. It dismisses Hintikka’s distinction between surface information and depth information as being of any utility towards obtaining a measure of the information yield of deductive inferences. Hintikka is right to identify the failure of canonical information theory (...) to give an account of the information yield of deductions as a scandal, however this article demonstrates that his attempt to provide such an account fails. It fails primarily because it applies to only a restricted set of deductions in the polyadic predicate calculus, and fails to apply at all to the deductions in the monadic predicate calculus and the propositional calculus. Some corollaries of these facts are a number of undesirable and counterintuitive results concerning the proposed relation of linguistic meaning (and hence synonymy) with surface information. Some of these results will be seen to contradict Hintikka’s stated aims, whilst others are seen to be false. The consequence is that the problem of obtaining a measure of the information yield of deductive inferences remains an open one. The failure of Hintikka’s proposal will suggest that a purely syntactic approach to the problem be abandoned in favour of an intrinsically semantic one. (shrink)

The study of information based on the approach of Shannon was detached from problems of meaning. Also, it did not allow analysis of the structural characteristics of information, nor describe the way structures carry information. An outline of a different theory of information, including its semantics, was earlier proposed by the author. This theory was using closure spaces to model information. In the present paper, structures (called syllogistics) underlying syllogistic reasoning as well as ethnoscientific classifications are identified together with the (...) conditions for the lattice of closed subsets describing information to allow its existence. The structures can be used for logical analysis outside of language at the more general level of information, which in turn can be applied to the description of semantic relations in the context of information. (shrink)

Abstract: According to the Veridicality Thesis, information requires truth. On this view, smoke carries information about there being a fire only if there is a fire, the proposition that the earth has two moons carries information about the earth having two moons only if the earth has two moons, and so on. We reject this Veridicality Thesis. We argue that the main notions of information used in cognitive science and computer science allow A to have information about the obtaining of (...) p even when p is false. (shrink)

In this article, against the background of a notion of ‘assembled’ truth, the evolutionary progressiveness of a theory is suggested as novel and promising explanation for the success of science. A new version of realism in science, referred to as ‘naturalised realism’ is outlined. Naturalised realism is ‘fallibilist’ in the unique sense that it captures and mimics the self-corrective core of scientific knowledge and its progress. It is argued that naturalised realism disarms Kyle Stanford’s anti-realist ‘new induction’ threats by showing (...) that ‘explanationism’ and his ‘epistemic instrumentalism’ are just two positions among many on a constantly evolving continuum of options between instrumentalism and full-blown realism. In particular it is demonstrated that not only can naturalised realism redefine the terms of realist debate in such a way that no talk of miracles need enter the debate, but it also promises interesting defenses against inductive- and under-determination-based anti-realist arguments. (shrink)

Neurons repeatedly exposed to similar perceptual experiences fire together and wire together to form ‘meaning kernels’ of concepts. Pulvermueller argues that abstract concepts may be devoid of meaning kernels, because the perceptual experiences that construct abstract concepts are subject to great variation and share few common features. Abstract concept are therefore grounded in the brain through features that belong to ‘meaning halos’, rather than to ‘meaning kernels’.

This paper aims to characterize the relationship between information as defined in the information-theoretic approach and linguistic meaning by way of formulation of computations over the lexicon of a natural language. Information in its information theoretic sense is supposed not to be equivalent to linguistic meaning, whereas linguistic meaning has an intrinsic connection to information as far as the form and structure of the lexicon of a language (in a non-lexicological sense) is concerned. We argue that these two apparently conflicting (...) aspects of the relationship between information and linguistic meaning can be unified by showing that information conserves linguistic meaning, only insofar as computations of a certain kind are defined on the symbolic elements of a lexicon. This has consequences not merely for the nature of lexical learning – natural or artificial or otherwise – but also for the conservation of information in axiomatic systems. (shrink)

Gambles which induce the decision-maker to experience ambiguity about the relative likelihood of events often give rise to ambiguity-seeking and ambiguity-avoidance, which imply violation of additivity and Savage's axioms. The inability of the subjective Bayesian theory to account for these empirical regularities has determined a dichotomy between normative and descriptive views of subjective probability. This paper proposes a framework within which the two perspectives can be reconciled. First, a formal definition of ambiguity is given over a continuum ranging from ignorance (...) to risk, and including ambiguous contexts as subsets. Second, it is shown that the systems of inductive logic account for the effects of ambiguity. Then, Carnap's X-system is applied as a psychological model and compared to Einhorn and Hogarth's non-normative psychological model. Finally, the implications of this research to the modeling of subjective probability judgements are discussed. (shrink)