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)

Peirce considered the principal business of logic to be the analysis of reasoning. He argued that the diagrammatic system of Existential Graphs, which he had invented in 1896, carries the logical analysis of reasoning to the furthest point possible. The present paper investigates the analytic virtues of the Alpha part of the system, which corresponds to the sentential calculus. We examine Peirce’s proposal that the relation of illation is the primitive relation of logic and defend the view that this idea (...) constitutes the fundamental motive of philosophy of notation both in algebraic and graphical logic. We explain how in his algebras and graphs Peirce arrived at a unifying notation for logical constants that represent both truth-function and scope. Finally, we show that Shin’s argument for multiple readings of Alpha graphs is circular. (shrink)

We describe Peirce’s 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce’s assumptions concerning the broken-cut notation. By developing an algebraic semantics we establish the completeness of fifteen modal logics of gamma graphs. We show that, besides logical necessity and possibility, Peirce proposed an epistemic interpretation of the (...) broken-cut modality, and that he was led to analyze constructions of knowledge in the style of epistemic logic. (shrink)

This article investigates Charles Peirce’s development of logical calculi for classical propositional logic in 1880–1896. Peirce’s 1880 work on the algebra of logic resulted in a successful calculus for Boolean algebra. This calculus, denoted byPC, is here presented as a sequent calculus and not as a natural deduction system. It is shown that Peirce’s aim was to presentPCas a sequent calculus. The law of distributivity, which Peirce states in 1880, is proved using Peirce’s Rule, which is a residuation, inPC. The (...) transitional systems of the algebra of the copula that Peirce develops since 1880 paved the way to the 1896 graphical system of the alpha graphs. It is shown how the rules of the alpha system reinterpret Boolean algebras, answering Peirce’s statement that logical graphs supply a new system of fundamental assumptions to logical algebra. A proof-theoretic analysis is given for the connection betweenPCand the alpha system. (shrink)

Philosophical discussion of truthmaking has flourished in recent times, but what exactly does it mean to ‘make’ a truth-bearer true? I argue that ‘making’ is a concept with modal force, and this renders it a problematic deployment for truthmaker theorists with nominalist sympathies, which characterises most current theories. I sketch the outlines of what I argue is a more genuinely realist truthmaker theory, which is capable of answering the explanatory question: In virtue of what does each particular truthmaker make its (...) particular truthbearer(s) true? I do this by drawing on recent work by Frederik Stjernfelt on Charles Peirce’s account of the proposition as having a ‘particular double structure’, according to which a proposition not only depicts certain characters of an object, it also depicts itself claiming those characters to pertain to the object. This double structure, I shall argue, also resolves important issues in analytic philosophers’ truthmaker theory, including the proper distinction between reference and truthmaking, and a dilemma concerning an infinite regress of truthmaking. (shrink)

The theory of existential graphs, which Peirce ultimately divided into four quadrants , is a rich method of analysis in the philosophy of logic. Its $$\upbeta $$ β -part boasts a diagrammatic theory of quantification, which by 1902 Peirce had used in the logical analysis of natural-language expressions such as complex donkey-type anaphora, quantificational patterns describing new mathematical concepts, and cognitive information processing. In the $$\upbeta $$ β -quadrant, he came close to inventing independence-friendly logic, the idea of which he (...) found indispensable in fulfilling the tasks –. (shrink)

In this paper I propose to read and understand gestures as logical tools within a synthetic paradigm of knowledge. This interpretation of gesture is drawn from a new pragmatist reading of reasoning in general, and synthetic reasoning in particular. Complete gestures are actions with a beginning and an end that bear a meaning. It is our regular way to embody vague ideas into singular actions with general meaning. The tool is forged by a dense blending of icons, indices, and symbols (...) and by a complexity of phenomenological characteristics as feelings, actual actions, general concepts and habits. The paper illustrates this new way to look at gestures and different kinds of complete and incomplete gestures. (shrink)

Abductive conclusions are drawn in a special, co-hortative mood. Abductive conclusions are representative interpretants that represent abduction as a form of reasoning that can convey a general conception of the truth. The truth is not asserted; abduction merely delivers the idea of a matter of course, rendering that idea comparatively simple and natural, hence assuring us of its justified assertibility. Hence abductive reasoning is at home in addressing ‘How Possible’-questions in science. Abductive reasoning concerns the question of how things might, (...) could or would conceivably be such that they can be plausibly asserted. Peirce took all reasoning to be diagrammatic and representable using the graphical method of logic. Yet no examples have previously been found in his large manuscript corpus of what such non-deductive graphs might look like. This paper proposes a new interpretation of a sole exception, a sketch of two graphs from a rejected page from 1903, which might be the only surviving example of Peirce’s abductive graphs. The proposed interpretation takes them to be representative interpretants of this special inverse type of inference. (shrink)

This paper examines the contemporary philosophical and cognitive relevance of Charles Peirce's diagrammatic logic of existential graphs (EGs), the ‘moving pictures of thought’. The first part brings to the fore some hitherto unknown details about the reception of EGs in the early 1900s that took place amidst the emergence of modern conceptions of symbolic logic. In the second part, philosophical aspects of EGs and their contributions to contemporary logical theory are pointed out, including the relationship between iconic logic and images, (...) the problem of the meaning of logical constants, the cognitive economy of iconic logic, the failure of the Frege–Russell thesis, and the failure of the Language of Thought hypothesis. (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)

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)

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)

In Natural propositions (2014), Stjernfelt contends that the interpretation of a proposition or dicisign requires the joint action of two kinds of signs. A proposition must contain a sign that conveys a general quality. This function can be served by a similarity-based icon or code-based symbol. In addition, a proposition must situate or apply this general quality, so that the predication can become liable of being true or false. This function is served by an index. Stjernfelt rightly considers the co-localization (...) of these two parts to be a primitive phenomenon. Although this primitive character would seem to bar any further analysis, I endeavor to clarify the degree of proximity sufficient to enable co-localization. Siding with Pietarinen (2014), who argues that the whole issue should not be construed in metric terms, I conclude that one cannot make sense of propositional co-localization without appealing to some form of first-person perspective. (shrink)

In 1898 C. S. Peirce declares that the medieval doctrine of consequences had been the starting point of his logical investigations in the 1860s. This paper shows that Peirce studied the scholastic theory of consequentiae as early as 1866–67, that he adopted the scholastics’ terminology, and that that theory constituted a source of logical doctrine that sustained Peirce for a lifetime of creative and original work.

Charles S. Peirce’s pragmatist theory of logic teaches us to take the context of utterances as an indispensable logical notion without which there is no meaning. This is not a spat against compositionality per se , since it is possible to posit extra arguments to the meaning function that composes complex meaning. However, that method would be inappropriate for a realistic notion of the meaning of assertions. To accomplish a realistic notion of meaning (as opposed e.g. to algebraic meaning), Sperber (...) and Wilson’s Relevance Theory (RT) may be applied in the spirit of Peirce’s Pragmatic Maxim (PM): the weighing of information depends on (i) the practical consequences of accommodating the chosen piece of information introduced in communication, and (ii) what will ensue in actually using that piece in further cycles of discourse. Peirce’s unpublished papers suggest a relevance-like approach to meaning. Contextual features influenced his logic of Existential Graphs (EG). Arguments are presented pro and con the view in which EGs endorse non-compositionality of meaning. (shrink)

Although Peirce frequently insisted that continuity was a core component of his philosophical thought, his conception of it evolved considerably during his lifetime, culminating in a theory grounded primarily in topical geometry. Two manuscripts, one of which has never before been published, reveal that his formulation of this approach was both earlier and more thorough than most scholars seem to have realized. Combining these and other relevant texts with the better-known passages highlights a key ontological distinction: a collection is bottom-up, (...) such that the parts are real and the whole is an ens rationis, while a continuum is top-down, such that the whole is real and the parts are entia rationis. Accordingly, five properties are jointly necessary and sufficient for Peirce’s topical continuum: rationality, divisibility, homogeneity, contiguity, and inexhaustibility. (shrink)

Expressively equivalent logical languages can enunciate logical notions in notationally diversified ways. Frege’s Begriffsschrift, Peirce’s Existential Graphs, and the notations presented by Wittgenstein in the Tractatus all express the sentential fragment of classical logic, each in its own way. In what sense do expressively equivalent notations differ? According to recent interpretations, Begriffsschrift and Existential Graphs differ from other logical notations because they are capable of “multiple readings.” We refute this interpretation by showing that there are at least three different kinds (...) of such multiple readings. While readings of the first kind do not capture any essential difference among notations but only among vocabularies, corresponding to readings of the second and the third kind two general parameters according to which notations may differ are defined: linearity vs. non-linearity, and tabularity vs. non-tabularity. This answers the question of how there can be substantially different but expressively equivalent logical notations. (shrink)

Peirce wrote in late 1901 a text on formal logic using a special Dragon-Head and Dragon-Tail notation in order to express the relation of logical consequence and its properties. These texts have not been referred to in the literature before. We provide a complete reconstruction and transcription of these previously unpublished sets of manuscript sheets and analyse their main content. In the reconstructed text, Peirce is seen to outline both a general theory of deduction and a general theory of consequence (...) relation. The two are the cornerstones of modern logic and have played a crucial role in its development. From the wider perspective, Peirce is led to these theories by three important generalizations: propositions to all signs, truth to scriptibility, and derivation to transformability. We provide an exposition of such proposed semiotic foundation for logical constants and point out a couple of further innovations in this rare text, including the sheet of assertion, correction as a dual of deduction and the nature of conditionals as variably strict conditionals. (shrink)

Peirce aspired for the completeness of his logic cum the theory of signs in his 1903 Lowell Lectures and other late manuscripts. Semeiotic completeness states that everything that is a consequence in logical critic is derivable in speculative grammar. The present paper exposes the reasons why Peirce would fall short of establishing semeiotic completeness and thus why he would not continue seeking a perfect match between the theories of grammar and critic. Some alternative notions are then proposed.

This paper describes Peirce's systems of logic diagrams, focusing on the so-called ''existential'' graphs, which are equivalent to the first-order predicate calculus. It analyses their implications for the nature of mental representations, particularly mental models with which they have many characteristics in common. The graphs are intended to be iconic, i.e., to have a structure analogous to the structure of what they represent. They have emergent logical consequences and a single graph can capture all the different ways in which a (...) possibility can occur. Mental models share these properties. But, as the graphs show, certain aspects of propositions cannot be represented in an iconic or visualisable way. They include negation, and the representation of possibilities qua possibilities, which both require representations that do not depend on a perceptual modality. Peirce took his graphs to reveal the fundamental operations of reasoning, and the paper concludes with an analysis of different hypotheses about these operations. (shrink)

It is of common use in modern Venn diagrams to mark a compartment with a cross to express its non-emptiness. Modern scholars seem to derive this convention from Charles S. Peirce, with the assumption that it was unknown to John Venn. This paper demonstrates that Venn actually introduced several methods to represent existentials but felt uneasy with them. The resistance to formalize existentials was not limited to diagrammatic systems, as George Boole and his followers also failed to provide a satisfactory (...) symbolic representation for them. This difficulty points out issues that are inherent to the very nature of existentials. This paper assesses the various methods designed for the representation of existential statements with Venn diagrams. First, Venn’s own attempts are discussed and compared with other solutions proposed by his contemporaries and successors, notably Lewis Carroll and Peirce. Since disjunctives hold an important role in an effective representation of existentials, their representation is also discussed. Finally, recent methods for the diagrammatic representation of existing individuals, rather than mere existence, are surveyed. (shrink)

Louis Loeb has argued that Hume is pessimistic while Peirce is optimistic about the attainment of fully stable beliefs. In contrast, we argue that Hume was optimistic about such attainment but only if the scope of philosophical investigation is limited to first-order explanatory questions. Further, we argue that Peirce, after reformulating the pragmatic maxim to accommodate the reality of counterfactuals, was pessimistic about such attainment. Finally, we articulate and respond to Peirce's objection that Hume's skeptical arguments in T 1.4.1 and (...) his commitment to common sense indicate that Hume was confused about whether we could have stable beliefs at all. (shrink)

Peirce seems to maintain two incompatible theses: that a sentence is multiply analyzable into subject and predicate, and that a sentence is uniquely analyzable as a combination of rhemata of first intention and rhemata of second intention. In this paper it is argued that the incompatibility disappears as soon as we distinguish, following Dummett’s work on Frege, two distinct notions of analysis: ‘analysis’ proper, whose purpose is to display the manner in which the sense of a sentence is determined by (...) the senses of its constituent parts, and ‘decomposition’, which is the process of dividing a sentence into a predicate and a subject, and whose purpose is to both to explain how quantified sentences are constructed and to evidence a pattern within a sentence which it shares with other sentences. (shrink)

The logic of assertive graphs (AGs) is a modification of Peirce’s logic of existential graphs (EGs), which is intuitionistic and which takes assertions as its explicit object of study. In this paper we extend AGs into a classical graphical logic of assertions (ClAG) whose internal logic is classical. The characteristic feature is that both AGs and ClAG retain deep-inference rules of transformation. Unlike classical EGs, both AGs and ClAG can do so without explicitly introducing polarities of areas in their language. (...) We then compare advantages of these two graphical approaches to the logic of assertions with a reference to a number of topics in philosophy of logic and to their deep-inferential nature of proofs. (shrink)

In this paper, I aim to identify Peirce?s great contribution to logical diagrams and its limit.Peirce is the first person who believed that the same logical status can be given to diagrams as to symbolic systems.Even though this belief led him to invent his own graphical system, Existential Graphs, the success or failure of this system does not determine the value of Peirce?s general insights about logical diagrams.In order to make this point clear, I will show that Peirce?s revolutionary ideas (...) about diagrams not only overcame some important defects of Venn diagrams but opened a new horizon for logical diagrams.Finally, I will point out where Peirce?s new horizon for logical diagrams stopped and will claim that this limit is mainly responsible for the discrepancy between Peirce?s and others? estimates of his contribution to logical diagrams. (shrink)

The recent wave of data on exoplanets lends support to METI ventures (Messaging to Extra-Terrestrial Intelligence), insofar as the more exoplanets we find, the more likely it is that “exominds” await our messages. Yet, despite these astronomical advances, there are presently no well-confirmed tests against which to check the design of interstellar messages. In the meantime, the best we can do is distance ourselves from terracentric assumptions. There is no reason, for example, to assume that all inferential abilities are language-like. (...) With that in mind, I argue that logical reasoning does not have to be couched in symbolic notation. In diagrammatic reasoning, inferences are underwritten, not by rules, but by transformations of self-same qualitative signs. I use the Existential Graphs of C. S. Peirce to show this. Since diagrams are less dependent on convention and might even be generalized to cover non-visual senses, I argue that METI researchers should add some form of diagrammatic representations to their repertoire. Doing so can shed light, not just on alien minds, but on the deepest structures of reasoning itself. (shrink)

Logicians have strongly preferred first-order natural deductive systems over Peirce's Beta Graphs even though both are equivalent to each other. One of the main reasons for this preference, I claim, is that inference rules for Beta Graphs are hard to understand, and, therefore, hard to apply for deductions. This paper reformulates the Beta rules to show more fine-grained symmetries built around visual features of the Beta system, which makes the rules more natural and easier to use and understand. Noting that (...) the rules of a natural deductive system are natural in a different sense, this case study shows that the naturalness and the intuitiveness of rules depends on the type of representation system to which they belong. In a diagrammatic system, when visual features are discovered and fully used, we have a more efficacious deductive system. I will also show that this project not only helps us to apply these rules more easily but to understand the validity of the system at a more intuitive level. (shrink)

Spider diagrams are based on Euler and Venn/Peirce diagrams, forming a system which is as expressive as monadic first order logic with equality. Rather than being primarily intended for logicians, spider diagrams were developed at the end of the 1990s in the context of visual modelling and software specification. We examine the original goals of the designers, the ways in which the notation has evolved and its connection with the philosophical origins of the logical diagrams of Euler, Venn and Peirce (...) on which spider diagrams are based. Using Peirce’s concepts and classification of signs, we analyse the ways in which different sign types are exploited in the notation. Our hope is that this analysis may be of interest beyond those readers particularly interested in spider diagrams, and act as a case study in deconstructing a simple visual logic. Along the way, we discuss the need for a deeper semiotic engagement in visual modelling. (shrink)

This paper presents the topological arrangements in four geometrical figures of modal propositions and their derivative relations by means of Peirce's gamma graphs and their rules of transformation. The idea of arraying the gamma graphs in a geometric and symmetrical order comes from Peirce himself who in a manuscript drew two cubes in which he presented the derivative relations of some gamma graphs. Therefore, Peirce's insights of a topological order of gamma graphs are extended here backwards from the cube to (...) the line and the square; and then forwards from the cube to the four-dimensional polyhedron. (shrink)

Abstract.Cognitive science and religion provides perspectives on human cognition and spirituality. Emergent systems theory captures the subatomic, physical, biological, psychological, cultural, and transcendent relationships that constitute the human person. C. S. Peirce's metaphysical categories and existential graphs enrich traditional cognitive science modeling tools to capture emergent phenomena. From this richer perspective, one can reinterpret the traditional doctrine of soul as form of the body in terms of information as the constellation of constitutive relationships that enables real possibility.

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?

Lines of Identity are important elements in Existential Graphs. They can be assembled to whole networks called “ligatures.” They are not straightforwardly understandable: for example, in constrast to LoI, ligatures may stand for more than one object.This article elaborates the handling of ligatures. It is precisely investigated how ligatures are dealt with in the calculus and how they can be modified without changing the meaning of a graph. Finally, a sufficient criterion for reading a ligature similar to a LoI is (...) provided, as well as an algorithm which grasps the correct meaning of an existential graph even if it contains arbitrarily complex ligatures. (shrink)

What is logical relevance? Anderson and Belnap say that the “modern classical tradition [,] stemming from Frege and Whitehead-Russell, gave no consideration whatsoever to the classical notion of relevance.” But just what is this classical notion? I argue that the relevance tradition is implicitly most deeply concerned with the containment of truth-grounds, less deeply with the containment of classes, and least of all with variable sharing in the Anderson–Belnap manner. Thus modern classical logicians such as Peirce, Frege, Russell, Wittgenstein, and (...) Quine are implicit relevantists on the deepest level. In showing this, I reunite two fields of logic which, strangely from the traditional point of view, have become basically separated from each other: relevance logic and diagram logic. I argue that there are two main concepts of relevance, intensional and extensional. The first is that of the relevantists, who overlook the presence of the second in modern classical logic. The second is the concept of truth-ground containment as following from in Wittgenstein’s Tractatus. I show that this second concept belongs to the diagram tradition of showing that the premisses contain the conclusion by the fact that the conclusion is diagrammed in the very act of diagramming the premisses. I argue that the extensional concept is primary, with at least five usable modern classical filters or constraints and indefinitely many secondary intensional filters or constraints. For the extensional concept is the genus of deductive relevance, and the filters define species. Also following the Tractatus, deductive relevance, or full truth-ground containment, is the limit of inductive relevance, or partial truth-ground containment. Purely extensional inductive or partial relevance has its filters or species too. Thus extensional relevance is more properly a universal concept of relevance or summum genus with modern classical deductive logic, relevantist deductive logic, and inductive logic as its three main domains. (shrink)

Abstract.Stuart Kauffman's proposal in Investigations to ground a “general biology” in the laws of self‐organization governing systems of autonomous agents runs up against the methodological problem of how to integrate formal mathematical with semantic and semiotic approaches to the study of evolutionary development. Gilles Deleuze's concept of the virtual and C. S. Peirce's system of existential graphs provide a theoretical framework and practical art for answering this problem of method by modeling the creative event of collective self‐organization as both represented (...) and practiced in the scientific community. (shrink)

We seek means of distinguishing logical knowledge from other kinds of knowledge, especially mathematics. The attempt is restricted to classical two-valued logic and assumes that the basic notion in logic is the proposition. First, we explain the distinction between the parts and the moments of a whole, and theories of ?sortal terms?, two theories that will feature prominently. Second, we propose that logic comprises four ?momental sectors?: the propositional and the functional calculi, the calculus of asserted propositions, and rules for (...) (in)valid deduction, inference or substitution. Third, we elaborate on two neglected features of logic: the various modes of negating some part(s) of a proposition R, not only its ?external? negation not-R; and the assertion of R in the pair of propositions ?it is (un)true that R? belonging to the neglected logic of asserted propositions, which is usually left unstated. We also address the overlooked task of testing the asserted truth-value of R. Fourth, we locate logic among other foundational studies: set theory and other theories of collections, metamathematics, axiomatisation, definitions, model theory, and abstract and operator algebras. Fifth, we test this characterisation in two important contexts: the formulation of some logical paradoxes, especially the propositional ones; and indirect proof-methods, especially that by contradiction. The outcomes differ for asserted propositions from those for unasserted ones. Finally, we reflect upon self-referring self-reference, and on the relationships between logical and mathematical knowledge. A subject index is appended. (shrink)

In this essay, we propose that Peirce’s Existential Graphs can derive the desired uniqueness implication (or in a weaker claim, the definite description readings) of donkey pronouns in conjunctive discourse (A man walks in the park. He whistles), without postulating a separate category of E-type pronouns.

This paper proposes deep and fundamental structures of communication among persons in a “coexistential” setting. The basic framework for this formalization of communication structures is Leibnizian notions of space and time together with the notion of the Existential Graph by C. S. Peirce and that of the Petri net, more precisely, the occurrence net. The fundamental structures of coexistential communication are then formalized as co-creation of Leibnizian space and time in such a manner that they are used to link the (...) communicated messages, thus establishing the “coexistential atmosphere and field” (“Ba” in Japanese) among the individuals. This framework is then applied to the analysis of theater play communication. Finally, the framework of information edaphology is also introduced to discuss the growth processes of individuals and communities through coexistential communication. (shrink)

A framework for “improvisational” social acts and communication is introduced by referring to the idea of “relationalism” such as natural farming, permaculture and deep ecology. Based on this conception, the notion of Existential Graph by C. S. Peirce is introduced. The notion of extended self in deep ecology is substantiated based on the Roy Adaptation Model in Nursing Theory and Narrative approaches. By focusing on Leibnizian notions of space and time and by introducing Petri net, a spatio-temporal model of improvisation (...) is constructed. This model is expected to substantiate the interesting notion of “Ba” proposed by H. Shimizu reflecting Japanese culture. (shrink)

Wittgenstein’s language games can be put into a wider service by virtue of elements they share with some contemporary opinions concerning logic and the semantics of computation. I will give two examples: manifestations of language games and their possible variations in logical studies, and their role in some of the recent developments in computer science. It turns out that the current paradigm of computation that Girard termed Ludics bears a striking resemblance to members of language games. Moreover, the kind of (...) interrelations that are emerging could be scrutinised from the viewpoint of logic that virtually necessitates game-theoretic conceptualisations, demonstrating the fact that the meaning of utterances may, in many situations, be understood as Wittgenstein’s language games of ‘showing or telling what one sees’. This provides motivation for the use of games in relation to logic and formal semantics that some commentators have called for. Many of the ideas can be traced to C.S. Peirce, for whom signs were vehicles of strategic communication. The conclusion about Wittgenstein is that the notions of saying and showing converge in his late philosophy. (shrink)

I am honoured and pleased to address you this evening on the life and work of an extraordinary American thinker, Charles Sanders Peirce. Although Peirce is perhaps most often remembered as the father of the philosophical movement known as pragmatism, I would like to impress upon you that he was also, and perhaps, especially, a logician, a working scientist and a mathematician. During his life time Peirce most often referred to himself, and was referred to by his colleagues, as a (...) logician. Furthermore, Peirce spent thirty years actively engaged in scientific research for the US Coast Survey. The National Archives in Washington, DC, holds some five thousand pages of Peirce's reports on this work. Finally, the four volumes of Peirce's mathematical papers edited by Professor Carolyn Eisele eloquently testify to his contributions to that field as well. (shrink)

In this article, I examine the reconstruction that Peirce does on analytic/synthetic Kantian division, supported by his phenomenology, semiotic and pragmatism. The analysis of Peirce’s writings on mathematic suggests a notion of a posteriori and necessary analytical truths, that is, propositions that express one belief justified in experience, but whose generalization is valid for all the possible worlds. This was a new idea the time that Peirce formulated it, in 19th Century, and it contrasts with semantic-analytical tradition from Frege and (...) was contested by Quine in 1950’s. Peirce’s notion of analyticity is a result of his discovery of the logic of relatives, which led the philosopher to revise the deductive reasoning, dividing it into corollarial and theorematic, which in turn allow us to understand why mathematics is, simultaneously, deductive and non-trivial. (shrink)

Endoporeutic method exemplifies the fundamental principle concerning the direction of the flow of interpretation in Peirce’s diagrammatic logic of existential graphs. It boils down to the fact that in EGs, one starts with the outermost graph-instance or the cut and proceeds inwards according to the conventions of EGs. The interpretation is dialogic, which Peirce laid out in his semeiotics in terms of two players, the Interpreter and the Utterer, and in EGs in terms of the Grapheus and the Graphist. Endoporeutic (...) method is thus closely related to semantic games. It is also an early sketch of model theory in logic, and marks an outlook on logic that puts the notion of compositionality under critical scrutiny. (shrink)