This review admires Michael Marder’s inquiry as a parallel for which biosemiotics can find points of conceptual resonance, even as methodological differences remain. By looking at the dump of ungrounded semiosis – the semiotics of dislocating referents from objects, and its effects – we can better do the work of applying biosemiotics not just towards the wonders of living relations, but also to the manifold ways in which industrial civilization is haphazardly yet systematically destroying the possibility for spontaneous yet contextualized (...) semiogenesis. Biosemiotics has much to gain by understanding the ways, gross and subtle, in which Anthropocenic hubris undercuts our own ability to make sense of the world, doubling down on overconfidence at the expense of meaning-making. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Most theories of promising are insufficiently broad, for they ground promissory obligation in some external or contingent feature of the promise. In this paper, I introduce a new kind of theory. The Mental States First (MSF) theory grounds promissory obligation in something internal and essential: the mental state expressed by promising, or the state that promisors purport to be in. My defense of MSF relies on three claims. First, promising to Φ expresses that you have resolved to Φ. Second, resolving (...) to Φ commits you to Φing, all else being equal. Third, the norms on speech acts are determined by the norms on the mental states they express, such that publicly expressing that you are in a state subjects you to whatever commitments are normally incurred by being in that state, regardless of whether you really are in it. I suggest that this general approach might also explain how the norms on other sorts of speech acts work. (shrink)

This essay calls attention to a set of linguistic interactions between counterfactual conditionals, on one hand, and possibility modals like could have and might have, on the other. These data present a challenge to the popular variably strict semantics for counterfactual conditionals. Instead, they support a version of the strict conditional semantics in which counterfactuals and possibility modals share a unified quantificational domain. I’ll argue that pragmatic explanations of this evidence are not available to the variable analysis. And putative counterexamples (...) to the unified strict analysis, on careful inspection, in fact support it. Ultimately, the semantics of conditionals and modals must be linked together more closely than has sometimes been recognized, and a unified strict semantics for conditionals and modals is the only way to fully achieve this. (shrink)

A systematic theory of naturalism, bridging metaphysics and the science of complexity and emergence.

Can fictions lie? According to a classic conception, works of fiction cannot contain lies, since their content is neither presented as true nor meant to deceive us. But this classic view can be challenged. Sometimes fictions appear to make claims about the actual world, and these claims can be designed to convey falsehoods, historical misconceptions, and pernicious stereotypes. Should we conclude that some fictional statements are lies? This article presents two views that support a positive answer, and two that support (...) a negative one. After examining various ways in which fictions can deceive, it concludes in favour of the view that fictional statements can mislead, but never lie. (shrink)

The paper provides an account of the pragmatist philosophical conception of reciprocity and altruism based on the ontology of “panrelationalism”. The Deweyan concepts of transaction and cooperation are also outlined in some detail as well as the pragmatist (Rortyan) idea of justice. The author attempts to show that altruism is not necessarily just reciprocal but demands as its supplement (at least) altruism without reciprocation.

In science and everyday life, we often infer that something is true because it would explain some set of facts better than any other hypothesis we can think of. But what if we have reason to believe that there is a better way to explain these facts that we just haven't thought of? Wouldn't that undermine our warrant for believing the best available explanation? Many philosophers have assumed that we can solve such underconsideration problems by stipulating that a hypothesis should (...) not only be 'the best' explanation available; rather, it should also be 'good enough'. Unfortunately, however, the only current suggestion for what it might mean to say that an explanation is 'good enough' is, well, not good enough. This paper aims to provide a better account of what is required for an explanatory hypothesis to be considered 'good enough'. In brief, the account holds that a `good enough' hypothesis is one that has gone through a process that I call explanatory consolidation, in which accumulating evidence and failed attempts to formulate better alternatives gradually make it more plausible that the explanation we currently have is better than any other that could be formulated. (shrink)

The notion of “semiotic scaffolding”, introduced into the semiotic discussions by Jesper Hoffmeyer in December of 2000, is proving to be one of the single most important concepts for the development of semiotics as we seek to understand the full extent of semiosis and the dependence of evolution, particularly in the living world, thereon. I say “particularly in the living world”, because there has been from the first a stubborn resistance among semioticians to seeing how a semiosis prior to and/or (...) independent of living beings is possible. Yet the universe began in a state not only lifeless but incapable of supporting life, and somehow “moved” from there in the direction of being able to sustain life and finally of actually doing so. Wherever dyadic interactions result indirectly in a new condition that either moves the universe closer to being able to sustain life, or moves life itself in the direction not merely of sustaining itself but opening the way to new forms of life, we encounter a “thirdness” in nature of exactly the sort that semiosic triadicity alone can explain. This is the process, both within and without the living world, that requires scaffolding. This essay argues that a fuller understanding of this concept shows why “semiosis” says clearly what “evolution” says obscurely. (shrink)

Many theorists, in their search for a better explanation of the dynamics of structure and agency, have expressed the need for a theory in which reflexivity and habitus are reconciled. In this article, we argue that a dissociative theory of mind can provide the essential framework in which habitual routines and reflexivity function in parallel. This is explored using the examples of athletic training and hypnosis, where the interplay between conscious and unconscious mechanisms is displayed. In both settings, there is (...) evidence to show that conscious reflexiveness and intersubjective and unconscious automatic processes are necessary to reach the desired outcome. We conclude that a dissociative theory of mind can shed new light on the relationship between habitus and reflexivity. (shrink)

In this paper we explore a generalization of traditional abduction which can simultaneously perform two different tasks: given an unprovable sequent Γ ⊢ G, find a sentence H such that Γ, H ⊢ G is provable ; given a provable sequent Γ ⊢ G, find a sentence H such that Γ ⊢ H and the proof of Γ, H ⊢ G is simpler than the proof of Γ ⊢ G . We argue that the two tasks should not be distinguished, (...) and present a general procedure for finding suitable hypotheses or lemmas. When the original sequent is provable, the abduced formula can be seen as a cut formula with respect to Gentzen's sequent calculus, so the abduction method is cut-based. Our method is based on the tableau-like system KE and we argue for its advantages over existing abduction methods based on traditional Smullyan-style Tableaux. (shrink)

Prerequisite to memory is a past distinct from present. Because wave evolution is both continuous and time-reversible, the undisturbed quantum system lacks a distinct past and therefore the possibility of memory. With the quantum transition, a reversibly evolving superposition of values yields to an irreversible emergence of definite values in a distinct and transient moment of time. The succession of such moments generates an irretrievable past and thus the possibility of memory. Bohm’s notion of implicate and explicate order provides a (...) conceptual basis for memory as a general feature of nature akin to gravity and electromagnetism. I propose that natural memory is an outcome of the continuity of implicate time in the context of discontinuous explicate time. Among the ramifications of natural memory are that laws of nature can propagate through time much like habits and that personal memory does not require neural information storage. (shrink)

This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913-1921; Feys, 1924; McKinsey, 1945; Carnap, 1945-1947; McKinsey, Tarski and Jónsson, 1947-1952; von Wright, 1951; Becker, 1952; Prior, 1953-1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955-1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958-1959; Drake, 1959-1961; Kripke, 1958-1965.

This paper offers an overview of Joseph Margolis’s philosophy of culture, highlighting how Margolis’s radical historicism is not inconsistent with our realistic intuitions regrading facts and objectivity. While Margolis identifies interpretation as the work of culture, the paper suggests that a much more basic sense of human labor needs to be thematized more fully than Margolis does in any defensible account of culture. Margolis of course appreciates work in this sense, but he does not consistently make it integral to his (...) conception of culture. Even so, what he so forcefully defends is, as one commentator has put it, “beautiful. It’s also erudite, elegant, and insightful (and frightfully, dialectically intricate).”. (shrink)

In this paper, classical pragmatism is used as a method, not as a substantial ethical theory, to develop “moral pragmatics.” Moral pragmatics offers a constructive approach for making progress where traditional ethical theories converge, and it innovates ethical deliberation. Assuming widespread agreement that real moral problems need practical solutions, the paper addresses two related problems: the missing link between ethical theories and moral practice, and the question of who is in charge of finding such solutions. It argues that “conscience” can (...) create a link between ethical knowledge and moral practice, and that this partly discharges “the ethicist” from the task of solving problems that are not really, or not only, hers. Two specific methodological innovations are suggested that go beyond admonitions to render ethics sensitive to context. Instead, a reevaluation of “casuistry” and a sensitivity for “finding the right words” give an idea of how to achieve this goal. (shrink)

There are some necessary conditions on causal relations that seem to be so trivial that they do not merit further inquiry. Many philosophers assume that the requirement that there could be no temporal gaps between causes and their effects is such a condition. Bertrand Russell disagrees. In this paper, an in-depth discussion of Russell’s argument against this necessary condition is the centerpiece of an analysis of what is at stake when one accepts or denies that there can be temporal gaps (...) between causes and effects. It is argued that whether one accepts or denies this condition, one is implicated in taking on substantial and wide-ranging philosophical positions. Therefore, it is not a trivial necessary condition of causal relations and it merits further inquiry. (shrink)

Some have suggested that images can be arguments. Images can certainly bolster the acceptability of individual premises. We worry, though, that the static nature of images prevents them from ever playing a genuinely argumentative role. To show this, we call attention to a dilemma. The conclusion of a visual argument will either be explicit or implicit. If a visual argument includes its conclusion, then that conclusion must be demarcated from the premise or otherwise the argument will beg the question. If (...) a visual argument does not include its conclusion, then the premises on display must license that specific conclusion and not its opposite, in accordance with some demonstrable rationale. We show how major examples from the literature fail to escape this dilemma. Drawing inspiration from the graphical logic of C. S. Peirce, we suggest instead that images can be manipulated in a way that overcomes the dilemma. Diagrammatic reasoning can take one stepwise from an initial visual layout to a conclusion—thereby providing a principled rationale that bars opposite conclusions—and the visual inscription of this correct conclusion can come afterward in time—thereby distinguishing the conclusion from the premises. Even though this practical application of Peirce’s logical ideas to informal contexts requires that one make adjustments, we believe it points to a dynamic conception of visual argumentation that will prove more fertile in the long run. (shrink)

This paper suggests that reference to phenomenal qualities is best understood as involving iconicity, that is, a passage from sign-vehicle to object that exploits a similarity between the two. This contrasts with a version of the ‘phenomenal concept strategy’ that takes indexicality to be central. However, since it is doubtful that phenomenal qualities are capable of causally interacting with anything, indexical reference seems inappropriate. While a theorist like David Papineau is independently coming to something akin to iconicity, I think some (...) of the awkwardness that plagues his account would be remedied by transitioning to a more inclusive philosophy of signs. (shrink)

It is often thought that consciousness has a qualitative dimension that cannot be tracked by science. Recently, however, some philosophers have argued that this worry stems not from an elusive feature of the mind, but from the special nature of the concepts used to describe conscious states. Marc Champagne draws on the neglected branch of philosophy of signs or semiotics to develop a new take on this strategy. The term “semiotics” was introduced by John Locke in the modern period – (...) its etymology is ancient Greek, and its theoretical underpinnings are medieval. Charles Sanders Peirce made major advances in semiotics, so he can act as a pipeline for these forgotten ideas. Most philosophers know Peirce as the founder of American pragmatism, but few know that he also coined the term “qualia,” which is meant to capture the intrinsic feel of an experience. Since pragmatic verification and qualia are now seen as conflicting commitments, Champagne endeavors to understand how Peirce could (or thought he could) have it both ways. The key, he suggests, is to understand how humans can insert distinctions between features that are always bound. Recent attempts to take qualities seriously have resulted in versions of panpsychism, but Champagne outlines a more plausible way to achieve this. So, while semiotics has until now been the least known branch of philosophy ending in –ics, his book shows how a better understanding of that branch can move one of the liveliest debates in philosophy forward. (shrink)

Robert Brandom holds that what we mean is best understood in terms of what inferences we are prepared to defend, and that such a defence is best understood in terms of rule-governed social interactions. This manages to explain quite a lot. However, for those who think that there is more to making correct/incorrect inferences than obeying/breaking accepted rules, Brandom’s account fails to adequately capture what it means to reason properly. Thus, in an effort to sketch an alternative that does not (...) rely primarily on peer pressure, I draw on the work of C. S. Peirce. Peirce argued that, when we reason, we manipulate abstract diagrams in order to observe what results. Since some manipulations are barred by the self-same nature of the diagrams, I try to show that this qualitative incompatibility, which I dub “contrapiction,” is a good reason to regard some reasoning as bad. (shrink)

Since Peirce defined the first operators for three-valued logic, it is usually assumed that he rejected the principle of bivalence. However, I argue that, because bivalence is a principle, the strategy used by Peirce to defend logical principles can be used to defend bivalence. Construing logic as the study of substitutions of equivalent representations, Peirce showed that some patterns of substitution get realized in the very act of questioning them. While I recognize that we can devise non-classical notations, I argue (...) that, when we make claims about those notations, we inevitably get saddled with bivalent commitments. I present several simple inferences to show this. The argument that results from those examples is ‘pragmatic’, because the inevitability of the principle is revealed in use (not mention); and it is ‘semiotic’, because this revelation happens in the use of signs. (shrink)

The Preface Paradox apparently shows that it is sometimes rational to believe logically incompatible propositions. In this paper, I propose a way out of the paradox based on the ideas of fallibilism and verisimilitude. More precisely, I defend the view that a rational inquirer can fallibly believe or accept a proposition which is false, or likely false, but verisimilar; and I argue that this view makes the Preface Paradox disappear. Some possible objections to my proposal, and an alternative view of (...) fallible belief, are briefly discussed in the final part of the paper. (shrink)

Abduction or retroduction, as introduced by C.S. Peirce in the double sense of searching for explanatory instances and providing an explanation is a kind of complement for usual argumentation. There is, however, an inferential step from the explanandum to the abductive explanans . Whether this inferential step can be captured by logical machinery depends upon a number of assumptions, but in any case it suffers in principle from the triviality objection: any time a singular contradictory explanans occurs, the system collapses (...) and stops working. The traditional remedies for such collapsing are the expensive mechanisms of consistency maintenance, or complicated theories of non-monotonic derivation that keep the system running at a higher cost. I intend to show that the robust logics of formal inconsistency, a particular category of paraconsistent logics which permit the internalization of the concepts of consistency and inconsistency inside the object language, provide simple yet powerful techniques for automatic abduction. Moreover, the whole procedure is capable of automatization by means of the tableau proof-procedures available for such logics. Some motivating examples are discussed in detail. (shrink)

ABSTRACT When a philosopher and a dog play Frisbee, do they cognize the same Frisbee? Is Fido subject to the “myth of the given”? The questions are not silly, for as Marjorie Grene quipped, “Epistemology is a branch of ethology.” What follows accepts what is usually called a “correspondence” theory of truth and a “realist” account of human knowledge. Nothing new, but what will be distinctive is that it seeks to exploit an unusual naturalism deriving from the American philosophical tradition. (...) It will particularly address the epistemic relation of sensing to knowing. A currently widespread view among those who object to realism can be traced to Wilfrid Sellars's 1956 critique of the “myth of the given.” Sellars argued that the normative “order of reasons” in which beliefs are adjudicated is discontinuous with the causal order of sensation or perception, so the former cannot be grounded in the latter. My claim will be that Sellars was half wrong, and the wrong half can be addressed by contemporary cognitive science and anthropology. The permission to employ the latter is granted by a special version of naturalism, “ordinal naturalism,” formed from the American philosophical tradition. (shrink)

In this paper, I consider the relationship between Inference to the Best Explanation and Bayesianism, both of which are well-known accounts of the nature of scientific inference. In Sect. 2, I give a brief overview of Bayesianism and IBE. In Sect. 3, I argue that IBE in its most prominently defended forms is difficult to reconcile with Bayesianism because not all of the items that feature on popular lists of “explanatory virtues”—by means of which IBE ranks competing explanations—have confirmational import. (...) Rather, some of the items that feature on these lists are “informational virtues”—properties that do not make a hypothesis \ more probable than some competitor \ given evidence E, but that, roughly-speaking, give that hypothesis greater informative content. In Sect. 4, I consider as a response to my argument a recent version of compatibilism which argues that IBE can provide further normative constraints on the objectively correct probability function. I argue that this response does not succeed, owing to the difficulty of defending with any generality such further normative constraints. Lastly, in Sect. 5, I propose that IBE should be regarded, not as a theory of scientific inference, but rather as a theory of when we ought to “accept” H, where the acceptability of H is fixed by the goals of science and concerns whether H is worthy of commitment as research program. In this way, IBE and Bayesianism, as I will show, can be made compatible, and thus the Bayesian and the proponent of IBE can be friends. (shrink)

The emerging epistemic community of ecosemioticians and the multidisciplinary field of inquiry known as ecosemiotics offer a radical and relevant approach to so-called global environmental crisis. There are no environmental fixes within the dominant code, since that code overdetermines the future, thereby perpetuating ecologically untenable cultural forms. The possibility of a sustainability transition (the attempt to overcome destitution and avoid ecocatastrophe) becomes real when mediated by and through ecosemiotics. In short, reflexive awareness of humankind's linguisticality is a necessary condition for (...) transforming ecologically maladaptive cultural forms. As a multidisciplinary, interdisciplinary research program integrating the human and natural sciences, ecosemiotic inquiry closes the gap between biophysical ecology and human ecology. A provisional outline of a pragmatic theory of ecoserniotics attempts to describe the processes by which adaptive cultural changes might be facilitated and points toward substantive content areas that constitute sites for further research. Ecosemiotic inquiry frames cultural codes as these shape and reproduce the ongoing stream of individual and societal choices that shape distinctively human existence in a larger context of biophysical realities that drive natural selection. However, while ecosemiotics is a necessary condition for the sustainability transition, it is not a sufficient condition. (shrink)

While the topic of assertion has recently received a fresh wave of interest from Peirce scholars, to this point no systematic account of Peirce’s view of assertion has been attempted. We think that this is a lacuna that ought to be filled. Doing so will help make better sense of Peirce’s pragmatism; further, what is hidden amongst various fragments is a robust pragmatist theory of assertion with unique characteristics that may have significant contemporary value. Here we aim to uncover this (...) theory, and to show that assertion for Peirce is not a mere corollary of pragmatic conceptions of truth, judgement, and belief, but is rather a central aspect of his philosophy. (shrink)

This article explores the relationship between three elements—personality, character, and script—to interpret the idea of someone's identity. A common way to deal with this relationship is in terms of a duality, but a tripartite analysis works better. The article relies heavily on the thought of Charles Hartshorne, with the aid of Simone Weil and Charles Sanders Peirce.

Although research on epistemic injustice has focused on the effects of prejudice in epistemic exchanges, the account of prejudice that emerges in Fricker’s (2007) view is not completely clear. In particular, I claim that the epistemic role of prejudice in the structure of testimonial justification is still in need of a satisfactory explanation. What special epistemic power does prejudice exercise that prevents the speaker’s words from constituting evidence for the hearer’s belief? By clarifying this point, it will be possible to (...) address two more general issues concerning the nature of prejudice: its resistance to counterevidence and the steps involved in overcoming prejudice. I propose a hinge account of prejudice, based on the recent perspective of hinge epistemology, to help clarify these aspects. According to the hinge account, prejudices share a fundamental feature with hinges: they work as norms of evidential significance, and as such, they determine what can and cannot count as evidence for belief. (shrink)

While symbolic colour use has always played a conspicuous role in science research and education, the use of colour in historic diagrams remains a lacuna in the history of science. Investigating the colour use in diagrams often means uncovering a whole cosmology that is not otherwise explicit in the diagram itself. The periodic table is a salient and iconic example of non-mimetic colour use in science. Andreas von Antropoff's (1924) rectangular table of recurrent rainbow colours is famous, as are Alcindo (...) Flores Cabral's (1949) application of colour in his round snail form, using the RGB scheme, and Mazurs's (1967) pine tree system, consisting of warm and cold colours that he attributed to specific groups of elements—an attribution that we can relate back to humoralism and alchemy. From the first periodic tables in the 19th century, individual researchers have used different colour regimes. While standardization may play an obvious role in chemistry and its diagrams, all the more impressive is the anarchistic use of colour in the various diagrams which continue to be created. This article focuses on periodic tables in chemical journals and text books, and explores and compares the development of colour codes found in the few existing polychrome diagrams from the 1920s to the 1970s. (shrink)

We briefly overview some of the historical landmarks on the path leading to the reduction of the number of logical connectives in classical logic. Relying on the duality inherent in Boolean algebras, we introduce a new operator ( Nallor ) that is the dual of Schönfinkel’s operator. We outline the proof that this operator by itself is sufficient to define all the connectives and operators of classical first-order logic ( Fol ). Having scrutinized the proof, we pinpoint the theorems of (...) Fol that are needed in the proof. Using the insights gained from the proof, we show that there are four binary operators that each can serve as the only undefined logical constant for Fol . Finally, we show that from every n -ary connective that yields a functionally complete singleton set of connectives two Schönfinkel-type operators are definable, and all the latter are so definable. (shrink)

One of the claims made for C. S. Peirce's existential graphs has been that they are a deductively complete formulation of first-order logic with identity. As Peirce presented them, this is true only for certain versions of first-order logic :those which do not include terms for individuals. I amend Peirce's rules here, showing, in particular, how they are capable of demonstrating that, for instance, ?Jack is in the kitchen? contradicts ?Jack is not in the kitchen?

Peirce and Frege both distinguished between the propositional content of an assertion and the assertion of a propositional content, but with different notational means. We present a modification of Peirce’s graphical method of logic that can be used to reason about assertions in a manner similar to Peirce’s original method. We propose a new system of Assertive Graphs, which unlike the tradition that follows Frege involves no ad hoc sign of assertion. We show that axioms of intuitionistic logic can be (...) derived from AGs, and argue that AGs analyse and represent assertions and illocutionary content in a way which is motivated both by its logical properties and its historical connection with the ideas that led to the development of the graphical method. (shrink)

The new paradigm in the psychology of reasoning adopts a Bayesian, or prob- abilistic, model for studying human reasoning. Contrary to the traditional binary approach based on truth functional logic, with its binary values of truth and falsity, a third value that represents uncertainty can be introduced in the new paradigm. A variety of three-valued truth table systems are available in the formal literature, including one proposed by de Finetti. We examine the descriptive adequacy of these systems for natural language (...) indicative condi- tionals and bets on conditionals. Within our framework the so-called “defective” truth table, in which participants choose a third value when the antecedent of the indicative conditional is false, becomes a coherent response. We show that only de Finetti’s system has a good descriptive fit when uncer- tainty is the third value. (shrink)

The existence of different types of semiosis has been recognized, so far, in two ways. It has been pointed out that different semiotic features exist in different taxa and this has led to the distinction between zoosemiosis, phytosemiosis, mycosemiosis, bacterial semiosis and the like. Another type of diversity is due to the existence of different types of signs and has led to the distinction between iconic, indexical and symbolic semiosis. In all these cases, however, semiosis has been defined by the (...) Peirce model, i.e., by the idea that the basic structure is a triad of ‘sign, object and interpretant’, and that interpretation is an essential component of semiosis. This model is undoubtedly applicable to animals, since it was precisely the discovery that animals are capable of interpretation that allowed Thomas Sebeok to conclude that they are also capable of semiosis. Unfortunately, however, it is not clear how far the Peirce model can be extended beyond the animal kingdom, and we already know that we cannot apply it to the cell. The rules of the genetic code have been virtually the same in all living systems and in all environments ever since the origin of life, which clearly shows that they do not depend on interpretation. Luckily, it has been pointed out that semiosis is not necessarily based on interpretation and can be defined exclusively in terms of coding. According to the ‘code model’, a semiotic system is made of signs, meanings and coding rules, all produced by the same codemaker, and in this form it is immediately applicable to the cell. The code model, furthermore, allows us to recognize the existence of many organic codes in living systems, and to divide them into two main types that here are referred to as manufacturing semiosis and signalling semiosis. The genetic code and the splicing codes, for example, take part in processes that actually manufacture biological objects, whereas signal transduction codes and compartment codes organize existing objects into functioning supramolecular structures. The organic codes of single cells appeared in the first three billion years of the history of life and were involved either in manufacturing semiosis or in signalling semiosis. With the origin of animals, however, a third type of semiosis came into being, a type that can be referred to as interpretive semiosis because it became closely involved with interpretation. We realize in this way that the contribution of semiosis to life was far greater than that predicted by the Peirce model, where semiosis is always a means of interpreting the world. Life is essentially about three things: (1) it is about manufacturing objects, (2) it is about organizing objects into functioning systems, and (3) it is about interpreting the world. The idea that these are all semiotic processes, tells us that life depends on semiosis much more deeply and extensively than we thought. We realize in this way that there are three distinct types of semiosis in Nature, and that they gave very different contributions to the origin and the evolution of life. (shrink)

Thomas Sebeok and Noam Chomsky are the acknowledged founding fathers of two research fields which are known respectively as Biosemiotics and Biolinguistics and which have been developed in parallel during the past 50 years. Both fields claim that language has biological roots and must be studied as a natural phenomenon, thus bringing to an end the old divide between nature and culture. In addition to this common goal, there are many other important similarities between them. Their definitions of language, for (...) example, have much in common, despite the use of different terminologies. They both regard language as a faculty, or a modelling system, that appeared rapidly in the history of life and probably evolved as an exaptation from previous animal systems. Both accept that the fundamental characteristic of language is recursion, the ability to generate an unlimited number of structures from a finite set of elements (the property of ‘discrete infinity’). Both accept that human beings are born with a predisposition to acquire language in a few years and without apparent efforts (the innate component of language). In addition to similarities, however, there are also substantial differences between the two fields, and it is an historical fact that Sebeok and Chomsky made no attempt at resolving them. Biosemiotics and Biolinguistics have become two separate disciplines, and yet in the case of language they are studying the same phenomenon, so it should be possible to bring them together. Here it is shown that this is indeed the case. A convergence of the two fields does require a few basic readjustments in each of them, but leads to a unified framework that keeps the best of both disciplines and is in agreement with the experimental evidence. What is particularly important is that such a framework suggests immediately a new approach to the origin of language. More precisely, it suggests that the brain wiring processes that take place in all phases of human ontogenesis (embryonic, foetal, infant and child development) are based on organic codes, and it is the step-by-step appearance of these brain-wiring codes, in a condition that is referred to as cerebra bifida, that holds the key to the origin of language. (shrink)

The classical theories of the genetic code claimed that its coding rules were determined by chemistry—either by stereochemical affinities or by metabolic reactions—but the experimental evidence has revealed a totally different reality: it has shown that any codon can be associated with any amino acid, thus proving that there is no necessary link between them. The rules of the genetic code, in other words, obey the laws of physics and chemistry but are not determined by them. They are arbitrary, or (...) conventional, rules. The result is that the genetic code is not a metaphorical entity, as implied by the classical theories, but a real code, because it is precisely the presence of arbitrary rules that divides a code from all other natural processes. In the past 20 years, furthermore, various independent discoveries have shown that many other organic codes exist in living systems, which means that the genetic code has not been an isolated case in the history of life. These experimental facts have one outstanding theoretical implication: they imply that in addition to the concept of information we must introduce in biology the concept of meaning, because we cannot have codes without meaning or meaning without codes. The problem is that at present we have two different theoretical frameworks for that purpose: one is Code Biology, where meaning is the result of coding, and the other is Peircean biosemiotics, where meaning is the result of interpretation. Recently, however, a third party has entered the scene, and it has been proposed that Robert Rosen’s relational biology can provide a bridge between Code Biology and Peircean biosemiotics. (shrink)

When interpreting the meanings of visual features in information visualizations, observers have expectations about how visual features map onto concepts (inferred mappings.) In this study, we examined whether aspects of inferred mappings that have been previously identified for colormap data visualizations generalize to a different type of visualization, Venn diagrams. Venn diagrams offer an interesting test case because empirical evidence about the nature of inferred mappings for colormaps suggests that established conventions for Venn diagrams are counterintuitive. Venn diagrams represent classes (...) using overlapping circles and express logical relationships between those classes by shading out regions to encode the concept of non-existence, or none. We propose that people do not simply expect shading to signify non-existence, but rather they expect regions that appear as holes to signify non-existence (the hole hypothesis.) The appearance of a hole depends on perceptual properties in the diagram in relation to its background. Across three experiments, results supported the hole hypothesis, underscoring the importance of configural processing for interpreting the meanings of visual features in information visualizations. (shrink)

In this paper we elucidate a particular type of instrument. Striking-phenomenon instruments assume their striking profile against the shifting backdrop of theoretical uncertainties. While technologically stable, the phenomena produced by these instruments are linguistically fuzzy, subject to a variety of conceptual representations. But in virtue of their technological stability alone, they can provide a foundation for further technological as well as conceptual development. Sometimes, as in the case of the pulse glass, the phenomenon is taken to confirm conflicting theoretical views; (...) sometimes, as in the case of the Lichtenberg-figures, it holds out the false promise of crucial theoretical importance; sometimes, as in the case of the airpump in the 18th century, it emphatically short-circuits theory and human ingenuity, giving a voice to nature herself; and sometimes, finally, as in the case of the quincunx, the phenomenon stands in for theoretical accounts. We propose and develop the salient features of these instruments demonstrating their importance to our understanding of science. (shrink)

We argue that living systems process information such that functionality emerges in them on a continuous basis. We then provide a framework that can explain and model the normativity of biological functionality. In addition we offer an explanation of the anticipatory nature of functionality within our overall approach. We adopt a Peircean approach to Biosemiotics, and a dynamical approach to Digital-Analog relations and to the interplay between different levels of functionality in autonomous systems, taking an integrative approach. We then apply (...) the underlying biosemiotic logic to a particular biological system, giving a model of the B-Cell Receptor signaling system, in order to demonstrate how biosemiotic concepts can be used to build an account of biological information and functionality. Next we show how this framework can be used to explain and model more complex aspects of biological normativity, for example, how cross-talk between different signaling pathways can be avoided. Overall, we describe an integrated theoretical framework for the emergence of normative functions and, consequently, for the way information is transduced across several interconnected organizational levels in an autonomous system, and we demonstrate how this can be applied in real biological phenomena. Our aim is to open the way towards realistic tools for the modeling of information and normativity in autonomous biological agents. (shrink)

In this paper, I draw a parallel between aspects of René Thom’s topological program understood as semiophysics, and Jakob von Uexküll’s theory of meaning. Through the use of Thom’s semiophysics, I believe that it is possible to interpret Uexküll’s intuition that meaning unfolds a kind of transformation in an organism’s transactions with the environment: that is, meaning incorporates topological spaces. The central idea in question is that beyond the semantic, syntactical and pragmatic human use of language, meaning incorporates specific topologies (...) by expressing the spatial interaction between organism and environment. This is what I mean by René Thom’s reading of Jakob von Uexküll. (shrink)

In this work, we propose a computational approach to the triadic model of Peircean semiosis (meaning processes). We investigate theoretical constraints about the feasibility of simulated semiosis. These constraints, which are basic requirements for the simulation of semiosis, refer to the synthesis of irreducible triadic relations (Sign–Object–Interpretant). We examine the internal organization of the triad S–O–I, that is, the relative position of its elements and how they relate to each other. We also suggest a multi-level approach based on self-organization principles. (...) In this context, semiosis is described as an emergent process. Nevertheless, the term ‘emergence’ is often used in a very informal way in the so called ‘emergent’ computation, without clear explanations and/or definitions. In this paper, we discuss in some detail the meaning of the theoretical terms ‘emergence’ and ‘emergent’, showing how such an analysis can lead to improvements of the algorithm proposed. (shrink)

We provide an overview of a proposal for a new metaphysical framework within which theology and science might both find a home. Our proposal draws on the triadic semiotics and threefold system of metaphysical categories of C. S. Peirce. We summarize the key features of a semiotic model of the Trinity, based on observed parallels between Peirce's categories of Firstness, Secondness, and Thirdness and Christian thinking about, respectively, the Father, Son, and Holy Spirit. We test and extend the semiotic model (...) by exploring how Peirce's taxonomy of signs offers a new approach to theological reflection on the Incarnation. This leads to a novel way of framing scientific questions about human evolution in semiotic terms and to a new approach to theological anthropology. Finally, we use the semiotic model of the Trinity as the basis of a trinitarian approach to the theology of creation according to which the semiotic processes that are fundamental to life and to human behavior and cognition may be understood as “vestiges of the Trinity in creation.”. (shrink)

b>. Recent findings in cognitive science suggest that the epistemic subject is more complex and epistemically porous than is generally pictured. Human knowers are open to the world via multiple channels, each operating for particular purposes and according to its own logic. These findings need to be understood and addressed by the philosophical community. The current essay argues that one consequence of the new findings is to invalidate certain arguments for epistemic anti-realism.

This essay introduces a running symposium on the work of Richard Rorty and its legacy fifteen years after his passing. The arc of Rorty's thought defines a trajectory through American pragmatism, tracing a variation unimagined until he expressed it. His work raised Anglophone philosophers’ interest in American pragmatism as never before and also focused the interest of the whole world on American pragmatism as never before, even though the result was to define a pragmatism saturated with nominalism and suppressing the (...) most original qualities of the sources that he celebrated. (shrink)