A lightning fast summary of Yablo, Aboutness, cutting many corners in the interests of brevity. The emphasis is on “ways.” Substituting “ways for S to be true” in for “worlds in which S is true” improves a number of philosophical explanations. The subject matter of S is identified with S’s ways of holding in a world, or failing, as the case may be. S contains T iff T is implied by S, and T’s ways of being true are implied by (...) ways for S to be true ; this kind of way-implication is the same as subject matter inclusion. S’s surplus content over T is explained as that portion of the content of S that is not about whether T. Subject matter is cast throughout as a full partner in meaning. (shrink)

This article explores the theme of nihilism from the perspective of post-continental philosophy by focusing on semiotics and information theory and the question of “meaning” at stake between them. Nihilism is characterised here as an avatar of the counter-Enlightenment tradition. Post-continental philosophy is defined by a positive revaluation of reason, science, and technology, which were critiqued for their nihilistic effects by key continental philosophers. Rather than critiquing nihilism, then, post-continental philosophers have tended to affirm it. This article argues that, despite (...) appearances, such developments in fact allow a deepened response to nihilism, considered as an existential problem. It does so by using Lyotard’s critique of semiotics to show how the kind of linguistic and cultural meaning associated with continental philosophy is itself a kind of nihilism. It then examines Meillassoux’s theory of the meaningless sign and Laruelle’s idea of the secret truth of Hermes to argue that this new paradigm of post-continental philosophy allows a response to nihilism by offering an alternative to semiotic meaning. Thus freed, this new paradigm allows the embrace of information theory as a plural articulation of meanings grounded in meaningless data, which enables a superior response to nihilism in the information age. (shrink)

Recently, natural language pragmatics started to make use of decision-, game-, and information theoretical tools to determine the usefulness of questions and assertions in a quantitative way. In the first part of this paper several of these notions are related with each other. It is shown that under particular natural assumptions the utility of questions and answers reduces to their informativity, and that the ordering relation induced by utility sometimes even reduces to the logical relation of entailment. The second part (...) of the paper shows how different proposals (using either protocols or likelihood functions) to measure the relevance/utility of non-partitional questions come down to the same thing. (shrink)

Why do we ask questions? Because we want tohave some information. But why this particular kind ofinformation? Because only information of this particularkind is helpful to resolve the decision problemthat the agent faces. In this paper I argue thatquestions are asked because their answers help toresolve the questioner's decision problem, and that thisassumption helps us to interpret interrogativesentences. Interrogative sentences are claimed to have asemantically underspecified meaning and thisunderspecification is resolved by means of the decisionproblem.

We identify a pervasive contrast between implicit and explicit stances in logical analysis and system design. Implicit systems change received meanings of logical constants and sometimes also the notion of consequence, while explicit systems conservatively extend classical systems with new vocabulary. We illustrate the contrast for intuitionistic and epistemic logic, then take it further to information dynamics, default reasoning, and other areas, to show its wide scope. This gives a working understanding of the contrast, though we stop short of a (...) formal definition, and acknowledge limitations and borderline cases. Throughout we show how awareness of the two stances suggests new logical systems and new issues about translations between implicit and explicit systems, linking up with foundational concerns about identity of logical systems. But we also show how a practical facility with these complementary working styles has philosophical consequences, as it throws doubt on strong philosophical claims made by just taking one design stance and ignoring alternative ones. We will illustrate the latter benefit for the case of logical pluralism and hyper-intensional semantics. (shrink)

Both the quantity of information and the informational content of a signal are defined in the context of signaling games. Informational content is a generalization of standard philosophical notions of propositional content. It is shown how signals that initially carry no information may spontaneously acquire informational content by evolutionary or learning dynamics. It is shown how information can flow through signaling chains or signaling networks.

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)

How natural is natural deduction?– Gentzen's system of natural deduction intends to fit logical rules to the effective mathematical reasoning in order to overcome the artificiality of deductions in axiomatic systems (¶ 2). In spite of this reform some of Gentzen's rules for natural deduction are criticised by psychologists and natural language philosophers for remaining unnatural. The criticism focuses on the principle of extensionality and on formalism of logic (¶ 3). After sketching the criticism relatively to the main rules, I (...) argue that the criteria of economy, simplicity, pertinence etc., on which the objections are based, transcend the strict domain of logic and apply to arguments in general (¶ 4). (¶ 5) deals with Frege's critique of the concept of naturalness as regards logic. It is shown that this concept means a regression into psychologism and is exposed to the same difficulties as are: relativity, lack of precision, the error of arguing from `is' to `ought' (the naturalistic fallacy). Despite of these, the concept of naturalness plays the role of a diffuse ideal which favours the construction of alternative deductive systems in contrast to the platonic conception of logic (¶ 6). (shrink)

One of the integral parts of Bayesian coherentism is the view that the relation of ‘being no less coherent than’ is fully determined by the probabilistic features of the sets of propositions to be ordered. In the last one and a half decades, a variety of probabilistic measures of coherence have been put forward. However, there is large disagreement as to which of these measures best captures the pre-theoretic notion of coherence. This paper contributes to the debate on coherence measures (...) by considering three classes of adequacy constraints. Various independence and dependence relations between the members of each class will be taken into account in order to reveal the ‘grammar’ of probabilistic coherence measures. Afterwards, existing proposals are examined with respect to this list of desiderata. Given that for purely mathematical reasons there can be no measure that satisfies all constraints, the grammar allows the coherentist to articulate an informed pluralist stance as regards probabilistic measures of coherence. (shrink)

Striving for a probabilistic explication of coherence, scholars proposed a distinction between agreement and striking agreement. In this paper I argue that only the former should be considered a genuine concept of coherence. In a second step the relation between coherence and reliability is assessed. I show that it is possible to concur with common intuitions regarding the impact of coherence on reliability in various types of witness scenarios by means of an agreement measure of coherence. Highlighting the need to (...) separate the impact of coherence and specificity on reliability it is finally shown that a recently proposed vindication of the Shogenji measure qua measure of coherence vanishes. (shrink)

Formulações da validade dedutiva clássica costumam recorrer explicitamente a modalidades: por exemplo, um argumento é classicamente dedutivamente válido se, e somente se, necessariamente se as premissas forem verdadeiras, a conclusão também é verdadeira. Não é possível abolir completamente esse apelo ao discurso modal, porque a lógica clássica é o domínio das possibilidades. Não obstante, pode-se, por intermédio de uma semântica informacional, evitar que o usuário da lógica clássica tenha de manipular modalidades, ainda que elas estejam, de algum modo, imbricadas nos (...) infons – unidades mínimas de informação. A partir do trabalho pioneiro de Carnap e de Bar-Hillel, apresentarei duas semânticas informacionais: uma delas diretamente relacionada a mundos possíveis, e a outra relacionada aos duais de mundos possíveis. (shrink)

The foundations of AI design discourse are worth analyzing. Here, attention is paid to the nature of theory languages used in designing new AI technologies because the limits of these languages can clarify some fundamental questions in the development of AI. We discuss three types of theory language used in designing AI products: formal, computational, and natural. Formal languages, such as mathematics, logic, and programming languages, have fixed meanings and no actual-world semantics. They are context- and practically content-free. Computational languages (...) use terms referring to the actual world, i.e., to entities, events, and thoughts. Thus, computational languages have actual-world references and semantics. They are thus no longer context- or content-free. However, computational languages always have fixed meanings and, for this reason, limited domains of reference. Finally, unlike formal and computational languages, natural languages are creative, dynamic, and productive. Consequently, they can refer to an unlimited number of objects and their attributes in an unlimited number of domains. The differences between the three theory languages enable us to reflect on the traditional problems of strong and weak AI. (shrink)

A fascinating research program in neurophysiology attempts to quantify the amount of information transmitted by single neurons. The claims that emerge from this research raise new philosophical questions about the nature of information. What kind of information is being quantified? Do the resulting quantities describe empirical magnitudes like those found elsewhere in the natural sciences? In this article, it is argued that neural information quantities have a relativisitic character that makes them distinct from the kinds of information typically discussed in (...) the philosophical literature. It is also argued that despite this relativistic character, there are cases in which neural information quantities can be viewed as robustly objective empirical properties. (shrink)

Dans la philosophie de Hintikka la notion d'analyticité occupe une place particulière ; plus précisément, le philosophe finnois distingue deux notions d'analyticité : l'une qui est basée sur la notion d'information, l'autre sur la notion de preuve. Alors que ces deux notions ont été largement utilisées pour étudier la logique propositionnelle et la logique du premier ordre, aucun travail n'a été développé pour la logique modale. Cet article se propose de combler cette lacune et ainsi d'examiner l'analyticité des validités de (...) la logique modale. (shrink)

Dans la philosophie de Hintikka la notion d'analyticité occupe une place particulière (e.g., [Hintikka 1973], [Hintikka 2007]) ; plus précisément, le philosophe finnois distingue deux notions d'analyticité : l'une qui est basée sur la notion d'information, l'autre sur la notion de preuve. Alors que ces deux notions ont été largement utilisées pour étudier la logique propositionnelle et la logique du premier ordre, aucun travail n'a été développé pour la logique modale. Cet article se propose de combler cette lacune et ainsi (...) d'examiner l'analyticité des validités de la logique modale. (shrink)

Proposition 5.122 of Wittgenstein’s Tractatus has been the source of much puzzlement among interpreters, so much so that no fully satisfactory account is yet available. This is unfortunate, if only because the containment account of logical consequence has a venerable tradition behind it. Pasquale Frascolla’s interpretation of proposition 5.122 is based on a valid argument and one true premise. However, the argument explains sense containment only in an indirect way, leaving some crucial questions unanswered. Besides, Frascolla does not address the (...) issue of how to make sense containment notationally perspicuous, an essential theme in Wittgenstein’s reflections. In this paper, we elaborate on Frascolla’s account by looking at the issue through the Tractarian notion of logical space. Our analysis shows that, for containment to be fully appreciated, one should adopt a negative perspective on the notion of sense, in line with the exclusionary theory of conceptual content, as labelled by Ian Rumfitt. Besides this, we introduce and discuss two methods—one envisaged by Wittgenstein himself—for making sense containment notationally perspicuous. (shrink)

This note makes a contribution to the issue raised in a paper by Popper and Miller (1983) in which it was claimed that probabilistic support is purely deductive. Developing R. C. Jeffrey's remarks, a new general approach to the crucial concept of "going beyond" is here proposed. By means of it a quantitative measure of the inductive component of a probabilistic inference is reached. This proposal leads to vindicating the view that typical predictive probabilistic inferences by enumeration and analogy are (...) purely inductive. (shrink)

Recent years have seen a renewed interest in the philosophical study of information. In this paper a two-part analysis of information gain—objective and subjective—in the context of doxastic change is presented and discussed. Objective information gain is analyzed in terms of doxastic movement towards true belief, while subjective information gain is analyzed as an agent’s expectation value of her objective information gain for a given doxastic change. The resulting expression for subjective information gain turns out to be a familiar one (...) with well-known formal properties: the Kullback–Leibler divergence. The two notions of information are discussed and the suggested measure of subjective information gain is then compared with the widely held view that information gain equals uncertainty reduction. (shrink)

This paper considers two novel Bayesian responses to a well-known skeptical paradox. The paradox consists of three intuitions: first, given appropriate sense experience, we have justification for accepting the relevant proposition about the external world; second, we have justification for expanding the body of accepted propositions through known entailment; third, we do not have justification for accepting that we are not disembodied souls in an immaterial world deceived by an evil demon. The first response we consider rejects the third intuition (...) and proposes an explanation of why we have a faulty intuition. The second response, which we favor, accommodates all three intuitions; it reconciles the first and the third intuition by the dual component model of justification, and defends the second intuition by distinguishing two principles of epistemic closure. (shrink)

Some propositions add more information to bodies of propositions than do others. We start with intuitive considerations on qualitative comparisons of information added . Central to these are considerations bearing on conjunctions and on negations. We find that we can discern two distinct, incompatible, notions of information added. From the comparative notions we pass to quantitative measurement of information added. In this we borrow heavily from the literature on quantitative representations of qualitative, comparative conditional probability. We look at two ways (...) to obtain a quantitative conception of information added. One, the most direct, mirrors Bernard Koopman’s construction of conditional probability: by making a strong structural assumption, it leads to a measure that is, transparently, some function of a function P which is, formally, an assignment of conditional probability (in fact, a Popper function). P reverses the information added order and mislocates the natural zero of the scale so some transformation of this scale is needed but the derivation of P falls out so readily that no particular transformation suggests itself. The Cox–Good–Aczél method assumes the existence of a quantitative measure matching the qualitative relation, and builds on the structural constraints to obtain a measure of information that can be rescaled as, formally, an assignment of conditional probability. A classical result of Cantor’s, subsequently strengthened by Debreu, goes some way towards justifying the assumption of the existence of a quantitative scale. What the two approaches give us is a pointer towards a novel interpretation of probability as a rescaling of a measure of information added. (shrink)

The concept of biological information, and information in general, usually presupposes a purely quantitative view of reality. Even though actualist quantification has an important place in the description of the world, a nominalistic stance that tries to simplify reality in purely actualist terms inevitably runs into inconsistencies; these inconsistencies have been pointed out by the critical assessments of the notion of biological information. Rather than calling for an abandonment of the informational terminology, we try to rethink information as a part (...) of an event, the description of which cannot be exhausted by a physicalist, mechanistic, temporally static view of reality. Reconceptualizing the notion of biological information in terms of a process of interpretation rather than as an informational object allows us to transcend the limitations imposed by an analysis of reality that depends on a fixed, finite structure of outcome. Thus, we argue that measuring biological information is intrinsically problematic. (shrink)

Prominent views about representation share a premise: that mathematical communication theory is blind to representational content. Here I challenge that premise by rejecting two common misconceptions: that Claude Shannon said that the meanings of signals are irrelevant for communication theory (he didn't and they aren't), and that since correlational measures can't distinguish representations from natural signs, communication theory can't distinguish them either (the premise is true but the conclusion is false; no valid argument can link them).

This paper aims to establish several interconnected points. First, a particular interpretation of the mathematical definition of information, known as the causal interpretation, is supported largely by misunderstandings of the engineering context from which it was taken. A better interpretation, which makes the definition and quantification of information relative to the function of its user, is outlined. The first half of the paper is given over to introducing communication theory and its competing interpretations. The second half explores three consequences of (...) the main thesis. First, a popular claim that the quantification of information in a signal is irrelevant for the meaning of that signal is exposed as fallacious. Second, a popular distinction between causal and semantic information is shown to be misleading, and I argue it should be replaced with a related distinction between natural and intentional signs. Finally, I argue that recent empirical work from microbiology and cognitive science drawing on resources of mathematical communication theory is best interpreted by the functional account. Overall, a functional approach is shown to be both theoretically and empirically well-supported. (shrink)

This article establishes grounds on which attributions of information and encoding in animal signals are warranted. As common interest increases between evolutionary agents, the theoretical approach best suited to describing their interaction shifts from evolutionary game theory to communication theory, which warrants informational language. The take-home positive message is that in cooperative settings, signals can appropriately be described as transmitting encoded information, regardless of the cognitive powers of signalers. The canonical example is the honeybee waggle dance, which is discussed extensively (...) in the second and third sections. The take-home negative message is that signals are not always a consequence of coadaptation. The communication theory approach is just one end of a continuum explored more thoroughly by evolutionary game theory. The fourth and fifth sections explore this wider framework, as well as overturning some widely held misconceptions about information theory. (shrink)

The concept of information has well-known difficulties. Among the many issues that have been discussed is the alethic nature of a semantic conception of information. Floridi :197–222, 2004; Philos Phenomenol Res 70:351–370, 2005; EUJAP 3:31–41, 2007; The philosophy of information, Oxford University Press, Oxford, 2011) argued that semantic information must be truthful. In this article, arguments will be presented in favor of an alethically neutral conception of semantic information and it will be shown that such a conception can withstand Floridi’s (...) criticism. In particular, it is argued that an alethically neutral conception of semantic information can manage the so-called Bar-Hillel Carnap paradox, according to which contradictions have maximum informational content. This issue, as well as some of Floridi’s other arguments, is resolved by disentangling the property of being information from the property of being informative. The essay’s final conclusion is that although semantic information is alethically neutral, a veridical conception of semantic information can, and should, be retained as a subconcept of semantic information, as it is essential for the analysis of informativity, which, unlike the property of being information, depends on truth. (shrink)

In this paper I argue that, according to a particular physicalist conception of information, information is both alethically neutral or non-alethic, and is intrinsically semantic. The conception of information presented is physicalist and reductionist, and is contrary to most current pluralist and non-reductionist philosophical opinion about the nature of information. The ontology assumed for this conception of information is based upon physicalist non-eliminative ontic structural realism. However, the argument of primary interest is that information so construed is intrinsically semantic on (...) a reductionist and non-alethic basis where semantic content is constituted by indication along causal pathways. Similar arguments have been presented by philosophers with respect to representation. I suggest the conception of information that I present is correct by the lights of the best applied mathematical and scientific theories of information. If so, there is no need for any separate theory of semantic information. Thus I present a theory of intrinsically semantic information which also constitutes an informational theory of truth where truth reduces to information. In the last section I discuss weakly and strongly semantic information, and reject them in favour of alethically neutral intrinsically semantic information. (shrink)

In the present paper we develop different arguments to show that there are no reasons to consider that there exists quantum information as qualitatively different than Shannon information. There is only one kind of information, which can be coded by means of orthogonal or non-orthogonal states. The analogy between Shannon’s theory and Schumacher’s theory is confined to coding theorems. The attempt to extend the analogy beyond this original scope leads to a concept of quantum information that becomes indistinguishable from that (...) of quantum state. But information is essentially linked with communication, as it is clear in both Shannon’s and Schumacher’s proposals. If we detach information from this link, we are not talking about information but about quantum mechanics. We also stress the neutrality of information with respect to the physical theories that describe the systems used for its implementation. This view opens the way towards a non-reductive unification of physics: if different physical theories can be reconstructed on the same neutral informational basis, they could be meaningfully compared with no need of searching for reductive links among them. (shrink)

Despite of its formal precision and its great many applications, Shannon’s theory still offers an active terrain of debate when the interpretation of its main concepts is the task at issue. In this article we try to analyze certain points that still remain obscure or matter of discussion, and whose elucidation contribute to the assessment of the different interpretative proposals about the concept of information. In particular, we argue for a pluralist position, according to which the different views about information (...) are no longer rival, but different interpretations of a single formal concept. (shrink)

Christopher Timpson proposes a deflationary view about information, according to which the term ‘information’ is an abstract noun and, as a consequence, information is not part of the material contents of the world. The main purpose of the present article consists in supplying a critical analysis of this proposal, which will lead us to conclude that information is an item even more abstract than what Timpson claims. From this view, we embrace a pluralist stance that recognizes the legitimacy of different (...) interpretations of the concept of information. (shrink)

This paper presents the concept of physical information, and it discusses what physical information is, and how it can be defined. The existence of physical information has been discussed in several studies which recognize that properties of information are characteristic of physical phenomena. That is, information has an objective existence, a lack of meaning, and can be quantified. In addition, these studies recognize how a phenomenon that is denoted as physical information can be expressed as an organization of natural or (...) artificial entities. This paper argues that concepts of (abstract) information that are associated with meaning also depend (to a substantial degree) on physical information. (shrink)

Physical information is a property of nature. How does physical information persist over time? Does it do so as an object, process, or event, which are things considered in the current persistence theories? Physical information is none of these, however, this implies that persistence theories cannot explain the persistence of information. We therefore study the persistence of snowflakes, ephemeral natural structures, to better understand the persistence of natural things, such as physical information. The transitory nature of snowflakes suggests that physical (...) information persists as nature’s latent order, therefore, it is associated with natural structures, but it is not identical to them. This interpretation preserves the properties attributed to physical information, particularly its foundational character. The concept of physical information as latent order accords with Burgin’s General Theory of Information (GTI), which is currently the most comprehensive conceptualization of information that has been proposed. (shrink)

Philosophically, one of the most important questions in the enterprise termed confirmation theory is this: Why should one stick to well confirmed theories rather than to any other theories? This paper discusses the answers to this question one gets from absolute and incremental Bayesian confirmation theory. According to absolute confirmation, one should accept ''absolutely well confirmed'' theories, because absolute confirmation takes one to true theories. An examination of two popular measures of incremental confirmation suggests the view that one should stick (...) to incrementally well confirmed theories, because incremental confirmation takes one to (the most) informative (among all) true theories. However, incremental confirmation does not further this goal in general. I close by presenting a necessary and sufficient condition for revealing the confirmational structure in almost every world when presented separating data. (shrink)

The problem addressed in this paper is “the main epistemic problem concerning science”, viz. “the explication of how we compare and evaluate theories [...] in the light of the available evidence” (van Fraassen, BC, 1983, Theory comparison and relevant Evidence. In J. Earman (Ed.), Testing scientific theories (pp. 27–42). Minneapolis: University of Minnesota Press). Sections 1– 3 contain the general plausibility-informativeness theory of theory assessment. In a nutshell, the message is (1) that there are two values a theory should exhibit: (...) truth and informativeness—measured respectively by a truth indicator and a strength indicator; (2) that these two values are conflicting in the sense that the former is a decreasing and the latter an increasing function of the logical strength of the theory to be assessed; and (3) that in assessing a given theory by the available data one should weigh between these two conflicting aspects in such a way that any surplus in informativeness succeeds, if the shortfall in plausibility is small enough. Particular accounts of this general theory arise by inserting particular strength indicators and truth indicators. In Section 4 the theory is spelt out for the Bayesian paradigm of subjective probabilities. It is then compared to incremental Bayesian confirmation theory. Section 4 closes by asking whether it is likely to be lovely. Section 5 discusses a few problems of confirmation theory in the light of the present approach. In particular, it is briefly indicated how the present account gives rise to a new analysis of Hempel’s conditions of adequacy for any relation of confirmation (Hempel, CG, 1945, Studies in the logic of comfirmation. Mind, 54, 1–26, 97–121.), differing from the one Carnap gave in § 87 of his Logical foundations of probability (1962, Chicago: University of Chicago Press). Section 6 adresses the question of justification any theory of theory assessment has to face: why should one stick to theories given high assessment values rather than to any other theories? The answer given by the Bayesian version of the account presented in section 4 is that one should accept theories given high assessment values, because, in the medium run, theory assessment almost surely takes one to the most informative among all true theories when presented separating data. The concluding section 7 continues the comparison between the present account and incremental Bayesian confirmation theory. (shrink)

In a recent survey of the literature on the relation between information and confirmation, Crupi and Tentori claim that the former is a fruitful source of insight into the latter, with two well-known measures of confirmation being definable purely information-theoretically. I argue that of the two explicata of semantic information which are considered by the authors, the one generating a popular Bayesian confirmation measure is a defective measure of information, while the other, although an admissible measure of information, generates a (...) defective measure of confirmation. Some results are proved about the representation of measures on consequence-classes. (shrink)

The term information has become a universal and omnipresent keyword in almost all areas of our modern world—be it in science or society in general. This is not only obvious from the naming of whole scientific branches like Information Theory, Information Science or Informatics but even more from common speaking—characterising our present time and society as information age viz. information society. However, what information might mean, is by no means clear and there is a wide range of interpretations covering, among (...) others, its technical, communicational, educational, mental, and scientific aspects. But is the use of the same term justified when adopted in Biology, Physics, Archaeology, Law, Communication Technology, and Informatics (to list just a few of the involved scientific branches) or do its different uses at least have some common characteristics—some sort of common denominator? Is information natural, e.g. manifesting itself as a material phenomenon residing in organisms, stars, atoms, or genes, or is it just a cultural product of human communication, thinking, and interpretation? In this article, we try to clarify some of the most important interpretations, discuss and contrast them with the Informatics point of view. Interpretations range from taking information as material, transferable signals (following Shannon’s Information Theory or the genetic approaches), treating it as a sign (following a semiotic approach), as a commercial product (now common in Web-based Information Business) to considering it a pure mental phenomenon bound to humans or human-like individuals or even to groups and societies. Based on these interpretations, we shall throw a critical glance on current trends in human science and society—focusing on the now popular concept of information society —and then derive some theses and guidelines for further research escorting the growth and dispersal of information technology. As it will turn out, an information society which defines itself through the number of computers, internet connections and network links is based on a very narrow, techno-centric concept of information. However, a reflection on the educational and cultural aspects of information might lead to a better-qualified society consisting of responsible and critical citizens. (shrink)

This paper defines in a formal and computational way the notion of ‘consilience’, a term introduced by Whewell in 1847 for the evaluation of scientific theories. Informally, as has been used to date, a model or theory is ‘consilient’ if it is predictive, explanatory and unifies the evide-nce. Centred in a constructive framework, where new terms can be intro-duced, we essay a formalisation of the idea of unification based on the avoidance of ‘sepa-ration’. However, it is soon manifest that this (...) classical approach is vulnerable to the introduction of fantastic concepts to unify disparate sub-theories. Our second approach is constructed by using a detailed evaluation of the relationship between the theory and the evid-ence by means of reinforcement propagation. With the use of reinfor-cement, fantastic concepts can be better detected and the role of con-silience for theory construction and revision can be specialised for dif-ferent inference mechanisms like explanatory induction, abduction, deduc-tion and analogy. (shrink)

I propose a qualitative Bayesian account of explanatory goodness that is analogous to the Bayesian account of incremental confirmation. This is achieved by means of a complexity criterion according to which an explanation h is good if the reduction in the complexity of the explanandum e brought about by h (the explanatory gain) is greater than the additional complexity introduced by h in the context of e (the explanatory cost). To illustrate the account, I apply it in the context of (...) ad hoc hypotheses. (shrink)

Popper argued that a statistical falsification required a prior methodological decision to regard sufficiently improbable events as ruled out. That suggestion has generated a number of fruitful approaches, but also a number of apparent paradoxes and ultimately, no clear consensus. It is still commonly claimed that, since random samples are logically consistent with all the statistical hypotheses on the table, falsification simply does not apply in realistic statistical settings. We claim that the situation is considerably improved if we ask a (...) conceptually prior question: when should a statistical hypothesis be regarded as falsifiable. To that end we propose several different notions of statistical falsifiability and prove that, whichever definition we prefer, the same hypotheses turn out to be falsifiable. That shows that statistical falsifiability enjoys a kind of conceptual robustness. These notions of statistical falsifiability are arrived at by proposing statistical analogues to intuitive properties enjoyed by exemplary falsifiable hypotheses familiar from classical philosophy of science. That demonstrates that, to a large extent, this philosophical tradition was on the right conceptual track. Finally, we demonstrate that, under weak assumptions, the statistically falsifiable hypotheses correspond precisely to the closed sets in a standard topology on probability measures. That means that standard techniques from statistics and measure theory can be used to determine exactly which hypotheses are statistically falsifiable. In other words: the proposed notion of statistical falsifiability both answers to our conceptual demands and submits to standard mathematical techniques. (shrink)

The concept of information and its relation to biosemiotics is a major area of contention among biosemioticians. Biosemioticians influenced by von Uexküll, Sebeok, Bateson and Peirce are critical of the way the concept as developed in information science has been applied to biology, while others believe that for biosemiotics to gain acceptance it will have to embrace information science and distance biosemiotics from Peirce’s philosophical work. Here I will defend the influence of Peirce on biosemiotics, arguing that information science and (...) biosemiotics as these were originally formulated are radically opposed research traditions. Failure to appreciate this will undermine the challenge of biosemiotics and other anti-reductionist traditions to mainstream science with its reductionist ambition to explain everything through physics. However, for this challenge to be successful, it will be necessary to respond to criticisms of Peircian ideas, jettisoning ideas that are no longer defensible and integrating ideas allied to his anti-reductionist agenda. Here I will argue that the natural philosophy of Gilbert Simondon, offering a searching critique of the application of the new concept of information and cybernetics to the life and human sciences, provides the means to defend and advance Peirce’s core ideas and thereby defend post-reductionist biosemiotics. (shrink)

The Minimum Description Length principle is the modernformalisation of Occam's razor. It has been extensively and successfullyused in machine learning, especially for noisy and long sources ofdata. However, the MDL principle presents some paradoxes andinconveniences. After discussing all these, we address two of the mostrelevant: lack of explanation and lack of creativity. We present newalternatives to address these problems. The first one, intensionalcomplexity, avoids extensional parts in a description, so distributingcompression ratio in a more even way than the MDL principle. (...) The secondone, information gain, forces that the hypothesis is informative wrt. the evidence, so giving a formaldefinition of what is to discover. (shrink)

The claims that “The brain processes information” or “Cognition is information processing” are accepted as truisms in cognitive science. However, it is unclear how to evaluate such claims absent a specification of “information” as it is used by neurocognitive theories. The aim of this article is, thus, to identify the key features of information that information-based neurocognitive theories posit. A systematic identification of these features can reveal the explanatory role that information plays in specific neurocognitive theories, and can, therefore, be (...) both theoretically and practically important. These features can be used, in turn, as desiderata against which candidate theories of information may be evaluated. After discussing some characteristics of explanation in cognitive science and their implications for “information”, three notions are briefly introduced: natural, sensory, and endogenous information. Subsequently, six desiderata are identified and defended based on cognitive scientific practices. The global workspace theory of consciousness is then used as a specific case study that arguably posits either five or six corresponding features of information. (shrink)

Floridi’s Theory of Strongly Semantic Information posits the Veridicality Thesis. One motivation is that it can serve as a foundation for information-based epistemology being an alternative to the tripartite theory of knowledge. However, the Veridicality thesis is false, if ‘information’ is to play an explanatory role in human cognition. Another motivation is avoiding the so-called Bar-Hillel/Carnap paradox. But this paradox only seems paradoxical, if ‘information’ and ‘informativeness’ are synonymous, logic is a theory of inference, or validity suffices for rational inference; (...) a, b, and c are false. (shrink)

On the basis of an analysis of the relevant parts of Tractatus logico-philosophicus, a definition of the property of saying something, and of the obviously correlated property of saying nothing, is given. By applying that definition, both tautologies and contradictions are sanctioned as saying nothing, as lacking sense, in full agreement with Wittgenstein's explicit statements. On the other hand, a recent systematic attempt by A. Negro to extract from the Tractatus a criterion for sense containment and a criterion for saying (...) more, that is, for comparing the amount of sense of propositions, leads to the conclusion that the sense of any proposition is contained in the sense of a contradiction and that contradictions say more than any other propositions. The problem faced in this paper is that of restoring consistency between Negro's criteria, which on the whole give a correct interpretation of the text of the Tractatus, and Wittgenstein's thesis that, not only tautologies, but also contradictions say nothing. (shrink)

Focusing on Shannon information, this article shows that, even on the basis of the same formalism, there may be different interpretations of the concept of information, and that disagreements may be deep enough to lead to very different conclusions about the informational characterization of certain physical situations. On this basis, a pluralist view is argued for, according to which the concept of information is primarily a formal concept that can adopt different interpretations that are not mutually exclusive, but each useful (...) in a different specific context. (shrink)