If it is true that semiotics has tried to establish itself as an autonomous science starting with Saussure and Peirce, in imposing itself as a cultural fashion since the 1960’s, due especially to Roland Barthes and his interest in the language of connotations, it is also true that from ancient treatises of medicine to books of magic, from rhetoric to logic, from nature to science, symbols— even from different points of view—have been the object of passionate reflections.

Recent considerations of mind and world react against philosophical naturalisation strategies by maintaining that the thought of the world is normatively driven to reject reductive or bald naturalism. This paper argues that we may reject bald or ‘thoughtless’ naturalism without sacrificing nature to normativity and so retreating from metaphysics to transcendental idealism. The resources for this move can be found in theNaturphilosophieoutlined by the German Idealist philosopher F.W.J. Schelling. He argues that because thought occurs in the same universe as thought (...) thinks, it remains part of that universe whose elements in consequence now additionally include that thought. A philosophy of nature beginning from such a position neither shaves thought from a thoughtless nature nor transcendentally reduces nature to the content of thought, since a thought occurring in nature only has ‘all nature’ as its content when that thought is additive rather than summative. A natural history of mind drawn from Schellingian premises therefore entails that, while a thought may have ‘all nature’ as its content, this thought is itself the partial content of the nature augmented by it. (shrink)

The essay constructs an ontological theory designed to capture the categories instantiated in those portions or levels of reality which are captured in our common sense conceptual scheme. It takes as its starting point an Aristotelian ontology of “substances” and “accidents”, which are treated via the instruments of mereology and topology. The theory recognizes not only individual parts of substances and accidents, including the internal and external boundaries of these, but also universal parts, such as the “humanity” which is an (...) essential part of both Tom and Dick, and also “individual relations”, such as Tom’s promise to Dick, or their current handshake. (shrink)

Until now, antirealists have offered sketches of a theory of truth, at best. In this paper, we present a probabilist account of antirealist truth in some formal detail, and we assess its ability to deal with the problems that are standardly taken to beset antirealism.

Intersemiotic translation (IT) was defined by Roman Jakobson (The Translation Studies Reader, Routledge, London, p. 114, 2000) as “transmutation of signs”—“an interpretation of verbal signs by means of signs of nonverbal sign systems.” Despite its theoretical relevance, and in spite of the frequency in which it is practiced, the phenomenon remains virtually unexplored in terms of conceptual modeling, especially from a semiotic perspective. Our approach is based on two premises: (i) IT is fundamentally a semiotic operation process (semiosis) and (ii) (...) IT is a deeply iconic-dependent process. We exemplify our approach by means of literature to dance IT and we explore some implications for the development of a general model of IT. (shrink)

Presentiamo qui la traduzione di un lungo saggio sull’ontologia e i sistemi informativi. Abbiamo tradotto la parte più generale con le distinzioni base tra ontologia, metafisica e scienza. L’autore, fornendo un suo punto di vista peculiare sull’ontologia, descrive le diverse questioni e distinzioni connesse all’impresa ontologica, considerando sia il punto di vista dei filosofi che degli informatici.

We experience our encounters with the world and others in different degrees of intensity – the presence of things and others is gradual. I introduce this kind of presence as a ubiquitous feature of every phenomenally conscious experience, as well as a key ingredient of our ‘feeling of being alive’, and distinguish explanatory agendas that might be relevant with regard to this phenomenon (1 – 3). My focus will be the role of the body-brain nexus in realizing these experiences and (...) its treatment in recent accounts of the bodily constitution of experience. Specifically, I compare a sensorimotor approach to perceptual presence that focuses on properties of the moving body (O’Regan 2011; Noë 2012) with a more general enactivism that focuses on properties of the living body (Thompson 2007). First, I develop and discuss a theory of access derived from sensorimotor theory that might be suited to explain the phenomenon of gradual presence. This is a theory that sees the mastery of sensorimotor, bodily engagements with the world as key elements in setting up a phenomenal experience space. I object that in current versions of sensorimotor theory the correlation posited between presence and changes in the subject’s physical relation to the environment is too rigid. Nevertheless I defend the claim that gradual presence is constituted by our temporally extended engagement with the environment (4 – 7). Second, I consider some objections stemming from enactivism with regard to self-regulatory properties of the living body and the phenomenological claim that the organism’s value-laden relations with its environment have to be included in the theory. I will show that the latter is a necessary amendment to sensorimotor theory and its concept of gradual presence (8-10). (shrink)

Whilst arguing for sounds as repeatable objects does not seem suitable to our auditory experience, considering them as events can then help us understand some of their main features. In this sense, sounds are events happening to material objects; they have a beginning and an end; they are ephemeral entities that we cannot grasp as ordinary objects. Nevertheless, supporters of event theory usually focus on the autonomous status that sounds manifest from the things in the world. Conversely, when we hear (...) sounds, we hear what and where they are sounding even in those theories that I will call detached-sound theories; in hearing them we hear how different materials create different sounds. Within the different positions of the event theory to pure-event or acousmatic proposal, the importance and role that the material has in the creation of diverse sounds does not always seem to be recognized. In this paper, I therefore aim to show how the materiality of resonating bodies and objects is given in all forms of auditory experience, not until analyzed the differences between object and event accounts in the philosophy of sound. (shrink)

This book contains a selection of the papers presented at the Logic, Reasoning and Rationality 2010 conference in Ghent. The conference aimed at stimulating the use of formal frameworks to explicate concrete cases of human reasoning, and conversely, to challenge scholars in formal studies by presenting them with interesting new cases of actual reasoning. According to the members of the Wiener Kreis, there was a strong connection between logic, reasoning, and rationality and that human reasoning is rational in so far (...) as it is based on logic. Later, this belief came under attack and logic was deemed inadequate to explicate actual cases of human reasoning. Today, there is a growing interest in reconnecting logic, reasoning and rationality. A central motor for this change was the development of non-classical logics and non-classical formal frameworks. The book contains contributions in various non-classical formal frameworks, case studies that enhance our apprehension of concrete reasoning patterns, and studies of the philosophical implications for our understanding of the notions of rationality. (shrink)

Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...) como questões acerca das conexões destes com a realidade não mental e extralinguística. A razão daquela qualificação é a seguinte: por um lado, a investigação em questão é qualificada como filosófica em virtude do elevado grau de generalidade e abstracção das questões examinadas (entre outras coisas); por outro, a investigação é qualificada como lógica em virtude de ser uma investigação logicamente disciplinada, no sentido de nela se fazer um uso intenso de conceitos, técnicas e métodos provenientes da disciplina de lógica. O agregado de tópicos que constitui a área de estudos lógico-filosóficos é já visível, pelo menos em parte, no Tractatus Logico-Philosophicus de Ludwig Wittgenstein, uma obra publicada em 1921. E uma boa maneira de ter uma ideia sinóptica do território disciplinar abrangido por esta enciclopédia, ou pelo menos de uma porção substancial dele, é extrair do Tractatus uma lista dos tópicos mais salientes aí discutidos; a lista incluirá certamente tópicos do seguinte género, muitos dos quais se podem encontrar ao longo desta enciclopédia: factos e estados de coisas; objectos; representação; crenças e estados mentais; pensamentos; a proposição; nomes próprios; valores de verdade e bivalência; quantificação; funções de verdade; verdade lógica; identidade; tautologia; o raciocínio matemático; a natureza da inferência; o cepticismo e o solipsismo; a indução; as constantes lógicas; a negação; a forma lógica; as leis da ciência; o número. (shrink)

Arguing that our attachment to Aristotelian modes of discourse makes a revision of their conceptual foundations long overdue, the author proposes the consideration of unacknowledged factors that play a central role in argument itself. These are in particular the subjective imprint and the dynamics of argumentation. Their inclusion in a four-dimensional framework and the focus on thesis validity allow for a more realistic view of our discourse practice. Exhaustive analyses of fascinating historical and contemporary arguments are provided. These range from (...) Columbus’s advocacy of the Western Passage to India, over the trial of King Louis XVI during the French Revolution, to today’s highly charged controversies surrounding euthanasia and embryo research. Excavating foundational issues such as the purpose of argument itself and the contested role of argument as a generator of knowledge, the book culminates in a discussion of the relationship between rationality and reasonableness and criticizes the restrictions of ‘rational’ argument relying on fixed logical, economic or cultural criteria that in reality are mutable. Here, a true, open argument requires the infusion of Paul Lorenzen’s principle of ‘transsubjectivity’, which recognizes but transcends the partiality of the individual and which can be seen in the pragmatic and expanding consensus that humanity can control itself to safeguard the future of a fragile, damaged world. (shrink)

For Aristotle, demonstrative knowledge is the result of what he calls ‘intellectual learning’, a process in which the knowledge of a conclusion depends on previous knowledge of the premises. Since demonstrations are ultimately based on indemonstrable principles (the knowledge of which is called ‘νοῦς’), Aristotle is often described as advancing a foundationalist doctrine. Without disputing the nomenclature, I shall attempt to show that Aristotle’s ‘foundationalism’ should not be taken as a rationalist theory of epistemic justification, as if the first principles (...) of science could be known as such independently of their explanatory connections to demonstrable propositions. I shall argue that knowing first principles as such involves knowing them as explanatory of other scientific propositions. I shall then explain in which way noetic and demonstrative knowledge are in a sense interdependent cognitive states – even though νοῦς remains distinct from (and, in Aristotle’s words, more ‘accurate’ than) demonstrative knowledge. (shrink)

This is an examination of similarities and differences between Atocha Aliseda’s semantic tableaux analysis of abduction and Dov Gabbay’s and the present author’s ignorance-preservation model of it. Also discussed is the suitability of these models for the analysis of the logical structure of legal reasoning.

This paper argues that a priori justification is, in principle, compatible with naturalism—if the a priori is understood in a way that is free of the inessential properties that, historically, have been associated with the concept. I argue that empirical indefeasibility is essential to the primary notion of the a priori ; however, the indefeasibility requirement should be interpreted in such a way that we can be fallibilist about apriori-justified claims. This fallibilist notion of the a priori accords with the (...) naturalist’s commitment to scientific methodology in that it allows for apriori-justified claims to be sensitive to further conceptual developments and the expansion of evidence. The fallibilist apriorist allows that an a priori claim is revisable in only a purely epistemic sense. This modal claim is weaker than what is required for a revisability thesis to establish empiricism, so fallibilist apriorism represents a distinct position. (shrink)

Architecture is about buildings, and consequently, reflecting philosophically on architecture comprises asking what buildings are. The question seems easy to answer using everyday concepts, refined, if necessary, by referring to concepts from civil engineering or building legislation. Philosophical interest is raised mainly when time enters into the problem. This paper argues that the identity of buildings through time cannot be reduced to the identity of their designations, their materials or their locations in space and time. Instead, it proposes to construe (...) buildings as Peircean sign processes. The identity of a building then becomes a function of the maintenance of sign relations by value-guided communities. (shrink)

In place of the traditional epistemological view of knowledge as justified true belief we argue that artificial intelligence and law needs an evidence-based epistemology according to which scientific knowledge is based on critical analysis of evidence using argumentation. This new epistemology of scientific evidence (ESE) models scientific knowledge as achieved through a process of marshaling evidence in a scientific inquiry that results in a convergence of scientific theories and research results. We show how a dialogue interface of argument from expert (...) opinion, along with its set of critical questions, provides the argumentation component of the ESE. It enables internal scientific knowledge to be translated over into a wider arena in which individual nonexpert citizens and groups can make use of it. The external component shows how evidence is presented and used in a legal procedural setting that includes fact-finding, weighing the credibility of expert witnesses, and critical questioning of arguments. The paper critically reviews the standards of admissibility of scientific evidence using the ESE. (shrink)

Tribunals have come to depend increasingly on expertise for determining the facts in cases. However, current legal methods have proved problematic to work with. This paper argues that, as a special model of public understanding of science, assessing expertise should consider source credibility of expertise from internal aspects, including scientific validity and reliability, and external aspects involving the credibility of experts. Using the Carneades Argumentation System we show that the internal and the external aspects are mediated by the structure of (...) the argument from expert opinion with its matching set of critical questions. (shrink)

This paper will apply post-structural semiotic theories to study the texts of Gödel's first incompleteness theorem. I will study the texts’ own articulations of concepts of ‘meaning’, analyze the mechanisms they use to sustain their senses of validity, and point out how the texts depend (without losing their mathematical rigor) on sustaining some shifts of meaning. I will demonstrate that the texts manifest semiotic effects, which we usually associate with poetry and everyday speech. I will conclude with an analysis of (...) how the picture I paint relates to an ethics of mathematical production. (shrink)

The paper will discuss the role of the visual in French urban space. It will reveal the close connections between visual and semiotics where the visual dimension is central rather than marginal. We will evaluate altogether the psychological, legal and social impacts of the new shapes of our own environment. Rethinking our public space shapes our identities, unveils the ‘hidden’ powerful discourse behind these new urban models.

Thomas Scanlon and Derek Parfit have recently defended a meta-ethical view that is supposed to satisfy realistic intuitions about morality, without the metaphysical implications that many find hard to accept in other realist views. Both philosophers argue that truths in the normative domain do not have ontological implications, while truths in the scientific domain presuppose a metaphysical reality. What distinguishes Scanlon and Parfit’s approach from other realistic meta-ethical theories is that they maintain that normative entities exist in a way that (...) is different from (some) non-normative entities. Moreover, they think that this view about the way normative entities exist helps to answer the metaphysical worries that are often thought to plague non-naturalism. To make sense of this idea, I develop their view as a version of alethic pluralism: the position that there is more than one truth property. I argue, however, that when their view is developed in this way it fails to satisfy realistic intuitions about morality. This shows that on a plausible and initially promising reading of what it takes for a normative entity to exist in a way that is different from non-normative entities, Parfit’s and Scanlon’s non-metaphysical moral realism fails to be more realistic than contemporary versions of anti-realism. (shrink)

Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.

El artículo se pregunta qué sentido tiene la práctica de conferir o reconocer derechos y sostiene que son sus consecuencias lo que nos interesa y lo que hace sensata la práctica relacionada con ellos. La virtud de esta tesis es que permite aterrizar el vocabulario aéreo de los derechos y que invita a determinar sus contenidos específicos con la mayor precisión posible. Se trata de una tesis realista y pragmatista respecto de los derechos. Realista, porque busca comprender en qué consiste (...) realmente ser titular de derechos; pragmatista, en la medida en que, para hacerlo, se interesa por las consecuencias de su titularidad. El artículo busca también mostrar el modo en que una tesis pragmatista sobre los derechos puede dar cuenta de los derechos fundamentales. (shrink)

This target article presents a new computational theory of explanatory coherence that applies to the acceptance and rejection of scientific hypotheses as well as to reasoning in everyday life, The theory consists of seven principles that establish relations of local coherence between a hypothesis and other propositions. A hypothesis coheres with propositions that it explains, or that explain it, or that participate with it in explaining other propositions, or that offer analogous explanations. Propositions are incoherent with each other if they (...) are contradictory, Propositions that describe the results of observation have a degree of acceptability on their own. An explanatory hypothesis is acccpted if it coheres better overall than its competitors. The power of the seven principles is shown by their implementation in a connectionist program called ECHO, which treats hypothesis evaluation as a constraint satisfaction problem. Inputs about the explanatory relations are used to create a network of units representing propositions, while coherende and incoherence relations are encoded by excitatory and inbihitory links. ECHO provides an algorithm for smoothly integrating theory evaluation based on considerations of explanatory breadth, simplicity, and analogy. It has been applied to such important scientific cases as Lovoisier's argument for oxygen against the phlogiston theory and Darwin's argument for evolution against creationism, and also to cases of legal reasoning. The theory of explanatory coherence has implications for artificial intelligence, psychology, and philosophy. (shrink)

This article provides a historical, philosophical, and psychological analysis of the recent discovery that reoviruses are oncolytic, capable of infecting and destroying many kinds of cancer cells. After describing Patrick Lee's very indirect path to this discovery, I discuss the implications of this case for understanding the nature of scientific discovery, including the economy of research, anomaly recognition, hypothesis formation, and the role of emotion in scientific thinking. Lee's discoveries involved a combination of serendipity, abductive and deductive inference, and emotional (...) cognition. (shrink)

In adversarial problem solving (APS), one must anticipate, understand and counteract the actions of an opponent. Military strategy, business, and game playing all require an agent to construct a model of an opponent that includes the opponent's model of the agent. The cognitive mechanisms required for such modeling include deduction, analogy, inductive generalization, and the formation and evaluation of explanatory hypotheses. Explanatory coherence theory captures part of what is involved in APS, particularly in cases involving deception.

This article argues how one problem of computing lies in realizing a significant instance given a class or type. Analysis of a case study on digital narrative suggests two general processes for instantiating significant instances: interaction and optimization. The article then explains how the problem of universals needs to be deconstructed when trying to understand what type of entities significant instances are and what the process for obtaining them is.

Scientific anomalies are observations and facts that contradict current scientific theories and they are instrumental in scientific theory change. Philosophers of science have approached scientific theory change from different perspectives as Darden (Theory change in science: Strategies from Mendelian genetics, 1991) observes: Lakatos (In: Lakatos, Musgrave (eds) Criticism and the growth of knowledge, 1970) approaches it as a progressive “research programmes” consisting of incremental improvements (“monster barring” in Lakatos, Proofs and refutations: The logic of mathematical discovery, 1976), Kuhn (The structure (...) of scientific revolutions, 1996) observes that changes in “paradigms” are instigated by a crisis from some anomaly, and Hanson (In: Feigl, Maxwell (eds) Current issues in the philosophy of science, 1961) proposes that discovery does not begin with hypothesis but with some “problematic phenomena requiring explanation”. Even though anomalies are important in all of these approaches to scientific theory change, there have been only few investigations into the specific role anomalies play in scientific theory change. Furthermore, much of these approaches focus on the theories themselves and not on how the scientists and their experiments bring about scientific change (Gooding, Experiment and the making of meaning: Human agency in scientific observation and experiment, 1990). To address these issues, this paper approaches scientific anomaly resolution from a meaning construction point of view. Conceptual integration theory (Fauconnier and Turner, Cogn Sci 22:133–187, 1996; The way we think: Conceptual blending and mind’s hidden complexities, 2002) from cognitive linguistics describes how one constructs meaning from various stimuli, such as text and diagrams, through conceptual integration or blending. The conceptual integration networks that describe the conceptual integration process characterize cognition that occurs unconsciously during meaning construction. These same networks are used to describe some of the cognition while resolving an anomaly in molecular genetics called RNA interference (RNAi) in a case study. The RNAi case study is a cognitive-historical reconstruction (Nersessian, In: Giere (ed) Cognitive models of science, 1992) that reconstructs how the RNAi anomaly was resolved. This reconstruction traces four relevant molecular genetics publications in describing the cognition necessary in accounting for how RNAi was resolved through strategies (Darden 1991), abductive reasoning (Peirce, In: Hartshorne, Weiss (eds) Collected papers, 1958), and experimental reasoning (Gooding 1990). The results of the case study show that experiments play a crucial role in formulating an explanation of the RNAi anomaly and the integration networks describe the experiments’ role. Furthermore, these results suggest that RNAi anomaly resolution is embodied. It is embodied in a sense that cognition described in the cognitive-historical reconstruction is experientially based. (shrink)

While concurring with Honneth’s reconstruction of reification as a form of forgetfulness, this article questions the way in which he arrives at that conclusion as well as the conceptual status he ascribes to recognition – the instance with reference to which reification is exhibited as distortion or deformation. It argues, first, that Honneth’s dualistic mode of argumentation falls behind the left-Hegelian tradition which he himself seeks to revitalize, thus causing a serious architectonic problem; and, second, that while polemicizing strongly against (...) the cognitive approach, he at crucial points actually reverts to the very resources made available by that mode of thinking. Being the central concern of the article, this latter aspect is treated as the cognitive problem in his work, especially in his Tanner Lectures. (shrink)

The paper gives a detailed reconstruction and discussion of Peirce’s doctrine of propositions, so-called Dicisigns, developed in the years around 1900. The special features different from the logical mainstream are highlighted: the functional definition not dependent upon conscious stances nor human language, the semiotic characterization extending propositions and quasi-propositions to cover prelinguistic and prehuman occurrences of signs, the relations of Dicisigns to the conception of facts, of diagrammatical reasoning, of icons and indices, of meanings, of objects, of syntax in Peirce’s (...) logic-as-semiotics. (shrink)

In order to effectively communicate information, the choice of representation is important. Ideally, a chosen representation will aid readers in making desired inferences. In this paper, we develop the theory of observation: what it means for one statement to be observable from another. Using observability, we give a formal characterization of the observational advantages of one representation of information over another. By considering observational advantages, people will be able to make better informed choices of representations of information. To demonstrate the (...) benefit of observation and observational advantages, we apply these concepts to set theory and Euler diagrams. In particular, we can show that Euler diagrams have significant observational advantages over set theory. This formally justifies Larkin and Simon’s claim that “a diagram is worth ten thousand words”. (shrink)

This article offers an anthropological perspective on autism, a condition at once neurological and social, which complements existing psychological accounts of the disorder, expanding the scope of inquiry from the interpersonal domain, in which autism has been predominantly examined, to the socio-cultural one. Persons with autism need to be viewed not only as individuals in relation to other individuals, but as members of social groups and communities who act, displaying both social competencies and difficulties, in relation to socially and culturally (...) ordered expectations of behavior. The article articulates a socio-cultural approach to perspective-taking in autism in three social domains: participating in conversational turn-taking and sequences; formulating situational scenarios; and interpreting socio-cultural meanings of indexical forms and behavior. Providing ethnographic data on the everyday lives of high-functioning children with autism and Asperger syndrome, the article outlines a cline of competence across the three domains, from most success in conversational turn-taking to least in inferring indexical meanings. Implications of these abilities and limitations are considered for theoretical approaches to society and culture, illuminating how members of social groups are at once shaped by, and are agents of, social life and cultural understanding. (shrink)

The replacement, under totalitarian regimes, of multiple sources of information with a single information monopoly confers an indeterminacy on the concepts of truth, fact, objectivity, and reality. From a pragmatist perspective, these words can then no longer mean exactly what they mean to speakers accustomed to freedom of discussion and inquiry. This corruption of discourse is detailed, e.g., in Arthur Koestler's Darkness at Noon, where criteria for belief?formation are ultimately completely divorced from the objects of belief. Like George Orwell, Koestler (...) postulates a coherent totalitarian perspective, in which the objects of belief are no longer relevant to belief?formation. The present article argues that, once the connection between belief?formation and the object of belief is severed, one can no longer have a coherent body of belief. There is also no evidence that this connection was ever severed in the mind of Koestler's historical protagonist Bukharin, who thus differs from his counterpart Rubashov in Koestler's novel. On the other hand, Koestler's critics are at fault for exaggerating the contrast between Rubashov and the historical Bukharin. The latter's confession at the Moscow Trials can be best understood as a testimony to the epistemically and linguistically corruptive process detailed in Koestler's novel. (shrink)

Criticisms are presented against Eger's challenge to the demarcation between the natural sciences and ethics. Arguments are given both against his endorsement of the “new” philosophy of science and against his rejection of the fact‐value dichotomy. However, his educational recommendations are reinforced rather than weakened by these criticisms.

Historically the words representation and symbol have had overlapping meanings, meanings that usually disregard the role played by the interpreter. Peirce’s theory of signs accounts for these meanings and also for the role of the interpreter. His theory draws attention to the static and dynamic nature of signs. Sign interpretation can be viewed as a continuous dynamic and evolving process. The static and dynamic nature of signs helps us understand the teaching–learning activity as a process of interpretation on the part (...) of teacher and students. The paper attempts to explain the classroom interpretation process on the part of the actors involved using the Peircean theory of signs. (shrink)

Three different ways in which systems of axioms can contribute to the discovery of new notions are presented and they are illustrated by the various ways in which lattices have been introduced in mathematics by Schröder et al. These historical episodes reveal that the axiomatic method is not only a way of systematizing our knowledge, but that it can also be used as a fruitful tool for discovering and introducing new mathematical notions. Looked at it from this perspective, the creative (...) aspect of axiomatics for mathematical practice is brought to the fore. (shrink)