The five English words—sentence, proposition, judgment, statement, and fact—are central to coherent discussion in logic. However, each is ambiguous in that logicians use each with multiple normal meanings. Several of their meanings are vague in the sense of admitting borderline cases. In the course of displaying and describing the phenomena discussed using these words, this paper juxtaposes, distinguishes, and analyzes several senses of these and related words, focusing on a constellation of recommended senses. One of the purposes of this paper (...) is to demonstrate that ordinary English properly used has the resources for intricate and philosophically sound investigation of rather deep issues in logic and philosophy of language. No mathematical, logical, or linguistic symbols are used. Meanings need to be identified and clarified before being expressed in symbols. We hope to establish that clarity is served by deferring the extensive use of formalized or logically perfect languages until a solid “informal” foundation has been established. Questions of “ontological status”—e.g., whether propositions or sentences, or for that matter characters, numbers, truth-values, or instants, are “real entities”, are “idealizations”, or are “theoretical constructs”—plays no role in this paper. As is suggested by the title, this paper is written to be read aloud. -/- I hope that reading this aloud in groups will unite people in the enjoyment of the humanistic spirit of analytic philosophy. (shrink)

This paper wants to know whether it would exist, or could exist, in worlds in which I didn't write it. Before we can answer this question, we first of all have to inquire as to what, exactly, this paper is. After exploring two forms of Platonism, and a theory that defines literary works in terms of events, I shall argue that the term ‘this paper’ is actually infected with ambiguity. Does this paper need me? It depends upon what you mean (...) by ‘this paper’. I lay out the options for what you might mean, and answer the question for each of the options. (shrink)

According to the received view, Charles S. Peirce's theory of diagrammatic reasoning is derived from Kant's philosophy of mathematics. For Kant, only mathematics is constructive/synthetic, logic being instead discursive/analytic, while for Peirce, the entire domain of necessary reasoning, comprising mathematics and deductive logic, is diagrammatic, i.e. constructive in the Kantian sense. This shift was stimulated, as Peirce himself acknowledged, by the doctrines contained in Friedrich Albert Lange's Logische Studien (1877). The present paper reconstructs Peirce's reading of Lange's book, and illustrates (...) what, according to Peirce, was right and what was problematic in Lange's account of reasoning. It further seeks to explain how Peirce's theory of deductive reasoning was a combination of Kant's philosophy of mathematics and Lange's philosophy of logic. (shrink)

What is it for a picture to depict a scene? The most orthodox philosophical theory of pictorial representation holds that depiction is grounded in resemblance. A picture represents a scene in virtue of being similar to that scene in certain ways. This essay presents evidence against this claim: curvilinear perspective is one common style of depiction in which successful pictorial representation depends as much on a picture's systematic differences with the scene depicted as on the similarities; it cannot be analyzed (...) in terms of similarity alone. The same problem arises for many other kinds of depiction. The essay concludes that depiction in general is not grounded in resemblance but geometrical transformation. (shrink)

The Linda paradox is a key topic in current debates on the rationality of human reasoning and its limitations. We present a novel analysis of this paradox, based on the notion of verisimilitude as studied in the philosophy of science. The comparison with an alternative analysis based on probabilistic confirmation suggests how to overcome some problems of our account by introducing an adequately defined notion of verisimilitudinarian confirmation.

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)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

Unentwegt werden neue technische Produkte gestaltet. Doch was macht die technische Gestaltung aus? Wie lässt sich ihr Gegenstand - (noch) nicht existierende Artefakte - adäquat auf den Begriff bringen? Michael Kuhn begreift technische Ideen vor ihrer Realisierung als Fiktionen. Er bietet eine fiktionstheoretische Rekonstruktion der Gestaltungstätigkeit und entwickelt hieraus eine Ethik der Gestaltung. Der stark interdisziplinäre Zugang zwischen Technikphilosophie und Ingenieurwissenschaften liefert neue Erkenntnisse für beide Fachrichtungen und stellt wertvolle Grundlagen bereit.

What kind of entities are works of art from an ontological point of view? This question has become canonical in the framework of analytic philosophy. One way of answering the puzzle seemed to be conclusive. It is the hypothesis that all, or the majority of artworks can be identified with types embedded into tokens. To begin with, I will survey how the type-token distinction transitioned from semiotics to ontology. Secondly, I will consider how some contemporary art forms contributed to questioning (...) this approach to the ontology of artworks. Lastly, I will suggest how the nature of types and tokens should be reassessed in order to properly describe artworks in their historical and socially construed nature. (shrink)

Aphantasia, i.e., the inability to voluntarily form visual mental images, affects approximately 2 to 5 percent of the population and plays an important role in a more general debate revolving around the role of imagery for our cognition. This thesis investigates aphantasia by means of an interdisciplinary approach, combining insights from contemporary neuroscientific research with historical philosophical arguments, with a specific focus on the later philosophy of Ludwig Wittgenstein. A new theoretical concept, meta-imagination, is developed and it is argued that (...) the concept can explain why aphantasics perform successfully on a wide range of visual imagery tasks, thus providing important implications for the more general debate about the connection between imagery and cognition. (shrink)

Between the last decades of the 18th century and the middle of the 19th century, something of paramount importance happened in the history of anthropology. This was the advent of a physical anthropology that was about the classification of ‘human races’ through comparative measurement. A central tool of the new trade was diagrams. Being inherently about relations in and between objects, diagrams became the means of defining human groups and their relations to each other – the last point being disputed (...) between the monogenists and the polygenists. James Cowles Prichard, a proponent of the comparative historical approach, was able to do without images in his pioneering Researches Into the Physical History of Man of 1813, but the third edition, which appeared in five volumes between 1836 and 1847, was richly illustrated with ‘ethnic types’ and skulls, including diagrams. What was happening is a process I engage with in detail for Samuel George Morton, who collected and distributed human skulls as lithographs in Crania americana (1839) and Crania aegyptiaca (1844). Along with the paper skulls travelled detailed instructions of how to look at them through a set of lines and to set their individual parts in relation to each other as well as to those of other types. Drawing on Johann Friedrich Blumenbach and Peter Camper, the Crania thus played a pivotal role in establishing what I call a diagrammatics of race – a diagrammatics that became overtly political with Types of Mankind (1854), which was written in Morton's honour by Josiah Nott and George Gliddon. (shrink)

The Millian semantic view of names relies on a metaphysical view of names—often given the label ‘common currency conception’ —on which the names of distinct individuals count as distinct names. While even defenders of the Millian view admit that the CCC ‘does not agree with the most common usage’, I will argue further that the CCC makes names exceptional amongst the class of linguistic expressions: if the CCC is correct, then names must have a sui-generis metaphysical nature, distinct from the (...) metaphysics of every other kind of linguistic expression. Such metaphysical exceptionalism would be justified if the Millian view had a clear, uncontested theoretical advantage over its rivals. However, in the context of a semantic debate about names in which the closest competitors of the Millian view—the Predicate view and Indexicalism—do not result in such exceptionalism, it counts as a strike against the Millian view. (shrink)

In this thesis, I address the metaphysical question `What is humour?' and the ethical question `When is humour immoral?' Consulting a dictionary reveals a circle of definitions between `amusement', `funniness', and `humour'. So I split the metaphysical question `What is humour?' into three questions: `What is amusement?', `What is funniness?' and `What is humour?' By critically analysing then synthesising recent research in philosophy, psychology and linguistics, I give the following answers: x amuses y if and only if: y is in (...) a non-serious, non-threatened, non-goal-directed state. y simultaneously activates two incompatible interpretations of x via unsound logic. sufficiently increases the psychological arousal of y. x is funny if and only if x merits amusement. x is humour if and only if the function of x is to merit or elicit amusement. Similarly, I split the ethical question `When is humour immoral?' into three questions: `When is amusement immoral?', `How does immorality affect funniness?' and `When is humour immoral?' By using, and, I give the following answers: Amusement is immoral when the correct theory of normative ethics defines, or to be immoral. Immorality negatively affects funniness. Humour-types are not subject to moral evaluation. Humour-tokens are immoral when the correct theory of normative ethics defines them to be immoral. This thesis contributes to the knowledge of the subject in two ways. First, by critically analysing and synthesising recent inter-disciplinary research, provides a more precisely specified definition of amusement than that in the philosophical literature. Second, research on humour, across all disciplines, conflates the three closely related but distinct concepts of humour, amusement and funniness. By providing a linear sequence of definitions,, and avoid the conceptual confusions that commonly occur. (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)

Theory of illness causation is an important issue in all biomedical sciences, and solid etiological explanations are needed in order to develop therapeutic approaches in medicine and preventive interventions in public health. Until now, the literature about the theoretical underpinnings of illness causation research has been scarce and fragmented, and lacking a convenient summary. This interdisciplinary book provides a convenient and accessible distillation of the current status of research into this developing field, and adds a personal flavor to the discussion (...) by proposing the etiological stance as a comprehensive approach to identify modifiable causes of illness. (shrink)

This paper provides an analysis of the notational difference between Beta Existential Graphs, the graphical notation for quantificational logic invented by Charles S. Peirce at the end of the 19th century, and the ordinary notation of first-order logic. Peirce thought his graphs to be “more diagrammatic” than equivalently expressive languages for quantificational logic. The reason of this, he claimed, is that less room is afforded in Existential Graphs than in equivalently expressive languages for different ways of representing the same fact. (...) The reason of this, in turn, is that Existential Graphs are a non-linear, occurrence-referential notation. As a non-linear notation, each graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic that are obtained by permuting those elements that in the graphs lie in the same area. As an occurrence-referential notation, each Beta graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic in which the identity of reference of two or more variables is asserted. In brief, Peirce’s graphs are more diagrammatic than the linear, type-referential notation of first-order logic because the function that translates the latter to the graphs does not define isomorphism between the two notations. (shrink)

The subject matter of this work covers the issues or problems listed below: * The problem of the ontological status of language signs and a more general philosophical problem connected with it: * What is language as a system of signs, which – on the one hand – serves to: 1) represent our knowledge about the reality which is being recognized, and, on the other one to: 2) a. explore and better cognize or discover it, b. describe it in an (...) adequate manner, and c. enable users to make interpersonal communication? All the pragmatic functions of language require carrying out its logical-philosophical analysis, and this means both regarding its syntax and semantics. Such an analysis is not possible without determining the following: How are signs perceived and what is their ontological nature in the so-called functional approach towards logical semiotics of natural language, founded on two ways of their usage: either as signs which we use in concrete situational or situational-language contexts or as isolated signs detached from such contexts? In the first case, they are language tokens (concretes), existing material objects perceived through the senses, with a fixed temporal-spatial location, in the other one – they are non-concretes and as such (as the majority of researchers in the field of philosophy and linguistics accept) – abstract objects, language types. The type-token distinction (differentiation between abstract and concrete) has already acquired a certain status in contemporary philosophy and is of considerable importance to metaphysics and epistemology in particular. Indeed, it is most often illustrated with reference to language signs (words, expressions) as the distinction type/token of a sign, introduced into semiotics by Ch. S. Peirce. In the semiotic analysis, and also in the linguistic one, there are used both types and tokens of signs, however, often without paying due attention to when it is said about types and when about tokens. This is related to the problems which are still considered by the philosophy of language: What is the type? What is the token (specimen)? What are the mutual relations between the type and the token? Disputes concerning providing answers to these questions are related to existential issues dealing with the ontological status of these language signs and two currents within the ontology of language, remaining under the influence of two fundamental concepts formed in the debate: nominalism and realism. The author presents in brief different stances on the above-mentioned issues or problems, as well as argues that from the logical point of view: 1) working out any theoretical conception of language must take into account its bi-aspectual characteristics: as a language of expression-tokens and as a language of expression-types; 2) advocating either of the standpoints: (a) types exist independent of their tokens, or (b) it is not so, can be omitted in syntactic considerations on language; 3) mutual relations between sign-tokens differ from the mutual relations between sign-types, yet; 4) determination of the mutual relation between sign-types and sign-tokens depends on accepting either of the standpoints: (a) or (b); 5) semantic or semantic-pragmatic concepts of language, such as meaning, denotation, interpretation should be defined exclusively for types of tokens, but their definitions require certain reference to the functions which sign-tokens perform in the language (words, expressions), or to relations between them; 6) The concept of an act of language communication differs from general language communication: the first one is defined by means of sign-tokens, whereas the other one – with the use of sign-types. (shrink)

The characterization of early token-based accounting using a concrete concept of number, later numerical notations an abstract one, has become well entrenched in the literature. After reviewing its history and assumptions, this article challenges the abstract–concrete distinction, presenting an alternative view of change in Ancient Near Eastern number concepts, wherein numbers are abstract from their inception and materially bound when most elaborated. The alternative draws on the chronological sequence of material counting technologies used in the Ancient Near East—fingers, tallies, tokens, (...) and numerical notations—as reconstructed through archaeological and textual evidence and as interpreted through Material Engagement Theory, an extended-mind framework in which materiality plays an active role (Malafouris 2013). (shrink)

Oliver's and Rodriguez-Pereyra's important interpretation of the problem of universals as one concerning truthmakers neglects something crucial: that there is a numerical identity between numerically distinct particulars. The problem of universals is rather how to resolve the apparent contradiction that the same things are both numerically distinct and numerically identical. Baxter's account of instantiation as partial identity resolves the apparent contradiction. A seeming objection to this account is that it appears to make instantiation symmetric, since partial identity is symmetric. Armstrong's (...) standard reply is that the difference between a particular and a universal is what makes instantiation asymmetric. Brown suggests, though, that the instantiation of a universal by a universal is sometimes symmetric. However, the examples on which he relies are not universals. (shrink)

We propose a reconstruction of the constellation of problems and philosophical positions on the nature and number of the primitives of logic in four authors of the nineteenth century logical scene: Peano, Padoa, Frege and Peirce. We argue that the proposed reconstruction forces us to recognize that it is in at least four different senses that a notation can be said to be simpler than another, and we trace the origins of these four senses in the writings of these authors. (...) We conclude that Frege, and even more so Peirce, developed new notations not to make drawing logical conclusions easier but in order to answer the needs of logical analysis. (shrink)

We propose a reconstruction of the constellation of problems and philosophical positions on the nature and number of the primitives of logic in four authors of the nineteenth century logical scene: Peano, Padoa, Frege and Peirce. We argue that the proposed reconstruction forces us to recognize that it is in at least four different senses that a notation can be said to be simpler than another, and we trace the origins of these four senses in the writings of these authors. (...) We conclude that Frege, and even more so Peirce, developed new notations not to make drawing logical conclusions easier but in order to answer the needs of logical analysis. (shrink)

One usually makes assertions by means of uttering indicative sentences like “It is raining”. However, not every utterance of an indicative sentence is an assertion. For example, in uttering “I will be back tomorrow”, one might be making a promise. What is to make an assertion? C.S. Peirce held the view that “to assert a proposition is to make oneself responsible for its truth” (CP 5.543). In this thesis, I interpret Peirce’s view of assertion and I evaluate Peirce’s reasons for (...) holding it. I begin by reconstructing and assessing Peirce’s case for such view as it appears in (EP 2.140, 1903), (EP 2.312-313, 1904), and (CP 5.546, 1908). Then, I continue by elaborating on three aspects of Peirce’s view of assertion, namely, assertion as an act involving a certain kind of responsibility, the proposition as what is asserted, and responsibility for truth as a responsibility to give reasons. With respect to these three aspects, I argue for the following claims: (1) Peirce construed the responsibility involved in asserting as a moral responsibility; (2) Peirce held that propositions are types; and (3) Peirce was committed to a dialogical interpretation of “responsibility to give reasons”. Finally, I end by presenting two objections to Peirce’s view of assertion and its corresponding replies. I conclude that Peirce’s account of assertion is a valuable contribution to the philosophical debate on assertion. (shrink)

This book attempts to explicate and expand upon Frank Ramsey's notion of the realistic spirit. In so doing, it provides a systematic reading of his work, and demonstrates the extent of Ramsey's genius as evinced by both his responses to the Tractatus Logico-Philosophicus , and the impact he had on Wittgenstein's later philosophical insights.

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.

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)

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)

On receiver-based teleosemantic theories of representation, the chemical states of the circadian clocks in animal, plant and cyanobacterial cells constitute signals of future states of affairs, often the rising and setting of the sun. This signalling is much more rigid than sophisticated representational systems like human language, but it is not simple on all dimensions. In most organisms the clock regulates many different circadian rhythms. The process of entrainment ensures that the mapping between chemical states of the clock and the (...) daily light-dark cycle is adjusted to deal with seasonal changes. In regulating anticipatory behaviour, the states of the clock look forward both to the time the behaviour is supposed to happen and the later time when the anticipated circumstances are supposed to arise. The case of the circadian clock shows that purely indicative signals can arise in very basic biological systems and brings into sharp relief the trade-offs involved in characterizing representational systems. On receiver-based teleosemantic theories, future-directed signals are not restricted to complex multicellular organisms but are ubiquitous in the biological world. (shrink)

We discuss the role of linguistic metaphors as a cognitive frame for the understanding of genetic information processing. The essential similarity between language and genetic information processing has been recognized since the very beginning, and many prominent scholars have noted the possibility of considering genes and genomes as texts or languages. Most of the core terms in molecular biology are based on linguistic metaphors. The processing of genetic information is understood as some operations on text – writing, reading and editing (...) and their specification (encoding/decoding, proofreading, transcription, translation, reading frame). The concept of gene reading can be traced from the archaic idea of the equation of Life and Nature with the Book. Thus, the genetics itself can be metaphorically represented as some operations on text (deciphering, understanding, code-breaking, transcribing, editing, etc.), which are performed by scientists. At the same time linguistic metaphors portrayed gene entities also as having the ability of reading. In the case of such “bio-reading” some essential features similar to the processes of human reading can be revealed: this is an ability to identify the biochemical sequences based on their function in an abstract system and distinguish between type and its contextual tokens of the same type. Metaphors seem to be an effective instrument for representation, as they make possible a two-dimensional description: biochemical by its experimental empirical results and textual based on the cognitive models of comprehension. In addition to their heuristic value, linguistic metaphors are based on the essential characteristics of genetic information derived from its dual nature: biochemical by its substance, textual (or quasi-textual) by its formal organization. It can be concluded that linguistic metaphors denoting biochemical objects and processes seem to be a method of description and explanation of these heterogeneous properties. (shrink)

We propose a model of cognition grounded in ancient Greek philosophy which encompasses Aristotle’s categories. Taking for First Principles the brute facts of the mental actions of separation, aggregation and ordering, we derive Aristotle’s categories as follows. First, Separation lets us see single entities, giving the simple concept of an individual. Next, Aggregation lets us see instances of some kind, giving the basic concept of a particular. Then, Ordering lets us see both wholes-with-parts as well as parts-of-some-whole, giving the subtle (...) concept of a relational or Gestalt. The basic and the subtle concept give us the major and minor categories. The categories constitute a top-level ontology and describe universal usage so that any other category necessarily describes particular or domain usage. (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 paper deals with modality in Peirce's existential graphs, as expressed in his gamma and tinctured systems. We aim at showing that there were two philosophically motivated decisions of Peirce's that, in the end, hindered him from producing a modern, conclusive system of modal logic. Finally, we propose emendations and modifications to Peirce's modal graphical tinctured systems and to their underlying ideas that will produce modern modal systems.

Language in a broad sense becomes imperative for communication to ensue. Language considered as a system of signs and signification is achieved through a process involving sign relations, e.g. semiosis. Charles S. Peirce’s Theory of Signs can provide a basic framework for the elucidation of the intelligibility of signs. Furthermore, the ability for generating sign processes in an organized manner is determined by what Thomas A. Sebeok designates as an organism’s modeling capacity. Modeling capacities range from primitive to complex, thus (...) generating three orders of language corresponding to language as a Primary Modeling System (PMS), a Secondary Modeling System (SMS) and a Tertiary Modeling System (TMS). This Peirce-Sebeok framework for communication, which John Deely places as “postmodern,” is premised upon what he designates as the suprasubjective nature of sign relations and their equally suprasubjective function. Thus, Sebeok’s Modeling Theory together with Peirce’s doctrine on the nature and behavior of signs can be used to direct the generation as well as the interpretation of language systems in accordance with the ultimate norm of communication, that is, to reflect truth as an icon of reality. (shrink)

This paper proposes to recover the topic of the philosophy of scientific method from its late nineteenth-century roots. The subject matter of scientific method sprouted from key inferential ingredients identified by Charles Peirce. In this paper, the historical path is traversed from the viewpoint of contemporary Cognitive Structural Realism (CSR). Peirce’s semiotic theory of methods and practices of scientific inquiry prefigured CSR’s reliance on embodied informational structures and experimentation upon forms of relations that model generic scientific domains. Three results are (...) shown to follow from this convocation: (i) a naturalization of Peirce’s interconnected abductive, deductive and inductive stages of the logic of science, here characterized de novo in terms of CSR. (ii) a perspective to scientific modeling that incorporates processes of abstraction and generalization as originated from Peirce’s logic of science, and (iii) diagrammatic reasoning as a pivotal method in analyzing scientific reasoning in experimental practices. (shrink)

Multistable figures offer an intriguing model for arbitrating conflicting positions. Moving back and forth between the different aspects under which something can be seen, one recognizes that mutually contradictory descriptions can be equally valid and that disputes over the correct account can be resolved without dissolving differences or establishing a higher synthesis. Yet, the experience of a gestalt switch also offers a model for radical conversions and revolutions – that is, for irreversible leaps to incommensurable alternatives foiling ideals of rational (...) choice while providing the possibility and necessity of decision. Accentuating the temporal dimensions of multistable figures, this multidisciplinary volume illuminates the critical potentials and limits of multistability as a complex figure of thought. (shrink)

This introduction aims to familiarize readers with basic dimensions of variation among pictorial and diagrammatic representations, as we understand them, in order to serve as a backdrop to the articles in this volume. Instead of trying to canvas the vast range of representational kinds, we focus on a few important axes of difference, and a small handful of illustrative examples. We begin in Section 1 with background: the distinction between pictures and diagrams, the concept of systems of representation, and that (...) of the properties of usage associated with signs. In Section 2 we illustrate these ideas with a case study of diagrammatic representation: the evolution from Euler diagrams to Venn diagrams. Section 3 is correspondingly devoted to pictorial representation, illustrated by the comparison between parallel and linear perspective drawing. We conclude with open questions, and then briefly summarize the articles to follow. (shrink)

Le problème du temps tourmente et nourrit la philosophie depuis sa naissance. Dans ce cadre, une lecture métaphysique des textes de S. Leśniewski permet de développer un point de vue original sur certaines propriétés fondamentales du temps logique. En particulier, après une analyse minutieuse des œuvres philosophiques de jeunesse, et notamment de l’article « La vérité est-elle éternelle ou éternelle et sempiternelle? », nous montrons que le temps logique est, chez Leśniewski, inévitablement double : les propositions, dont la vérité doit (...) pouvoir être _éternelle_, sont des entités qui se développent dans un espace et dans un temps déterminés. De même, cette double temporalité apparaît dans l’Ontologie, un calcul logique des noms dont l’axiomatique est établie à partir du foncteur ε, connecteur logique à la fois inscrit dans un espace et dans un temps et néanmoins sans ancrage temporel. Ainsi, plusie... (shrink)

This paper considers how the presentation of movement practices in performance contexts blurs the distinction between making and performance, raising questions about the nature of dance ‘works’. I examine the way that practice is foregrounded in the work of UK dance artists Katye Coe and Charlie Morrissey, and American choreographer Deborah Hay, troubling distinctions between the internal and external aspects of performance. In response to this, I examine the applicability of the work–concept, to current dance practices, suggesting that the concept (...) is an open one and refers not solely to stable art objects, but also indicates open-ended entities, which are formed through a confluence of practice and performance. (shrink)

The jurisprudent Jack M. Balkin introduced the analogy of memes as a semiotic device for understanding the law. His notion of cultural software into which this device was inserted is developed first, followed by a development of memetic analysis and its several semiotic dimensions. After a brief treatment of the position of ideology in view of memetic analysis, and the corresponding notion of transcendence, Balkin’s explicitly semiotic setting for this doctrine is displayed. This method is then briefly applied to the (...) civilian doctrine of patrimony, to supplement Balkin’s application of it to common law institutions. (shrink)

This article looks at photography from the perspective of Charles S. Peirce’s theory of signs. The topic is a mainstay in accounts of photography, though usually it is limited to discussing iconicity and indexicality in a cursive and superficial manner: photos are both likenesses of their objects, and they are existentially determined by them. Yet the practice of photography—the way we use it—requires us to delve deeper into Peirce’s theory of signs. The central argument of this article is that calling (...) on the semiotics of Peirce to investigate photography requires more than simply describing how the medium of photography functions in terms of any sort of medium specificity. It requires that we consider—and distinguish—how producers and viewers use photos as signs as well as the purposes for using them. Such uses and purposes may vary greatly in individual cases as there are no fixed rules in the matter except the adaptedness of the medium to be used for this or that purpose. (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)

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)

Natural mimicry is ubiquitous. Plants mimic animals, animals mimic plants, animals mimic each other and animals may even mimic counterfactual states that deceive or distract other animals. Almost all natural mimicry is based on iconicity which hence anchors it in real world resemblances. The vast majority of natural mimicry is done unconsciously but when humans mimic, they know what they are doing. As Merlin Donald suggest, mimicry may in fact have played a crucial role in the emergence of the human (...) condition, allowing new forms of cognition to emerge. Here it is suggested that the role played by mimicry may have involved the evolution of a capacity for metaphorical perception, where an object may not only be seen ‘as is’ but also ‘as if’ it was a functional mimic of something else. This new form of mimicry made possible new forms of communication, co-operation and creative engagement with the environment. Once these developed to the point where they produced symbolic systems and other cultural tools, the nature of human mimicry expanded radically. No longer anchored in resemblance, it became detached and qualitatively distinct from natural forms. The consequences of this detachment are now becoming clear. (shrink)

It is commonly supposed that the pragmatisms of Peirce and James are fundamentally opposed; this view is supported by the fact that in 1905 Peirce deliberately chose a new name for his original doctrine. Yet Peirce and James were not only life-long friends but to a surprising extent were life-long collaborators. It is true that their approaches to philosophy were very different, reflecting their distinct personalities, with James exhibiting a pluralistic and humanistic style as opposed to Peirce the analyst and (...) formalist. James was a popular philosopher and Peirce a philosopher for philosophers. But they followed each other’s work, corresponded about philosophical problems, and deeply influenced each other. Peirce never completely renounced James’s broader pragmatism and tried hard to find common ground, even to some extent reshaping his own views to accommodate James’s. (shrink)

Recently, philosophers and social scientists have turned their attention to the epistemological shifts provoked in established sciences by their incorporation of big data techniques. There has been less focus on the forms of epistemology proper to the investigation of algorithms themselves, understood as scientific objects in their own right. This article, based upon 12 months of ethnographic fieldwork with Russian data scientists, addresses this lack through an investigation of the specific forms of epistemic attention paid to algorithms by data scientists. (...) On the one hand, algorithms are unlike other mathematical objects in that they are not subject to disputation through deductive proof. On the other hand, unlike concrete things in the world such as particles or organisms, algorithms cannot be installed as the objects of experimental systems directly. They can only be evaluated in their functioning as components of extended computational assemblages; on their own, they are inert. As a consequence, the epistemological coding proper to this evaluation does not turn on truth and falsehood but rather on the efficiency of a given algorithmic assemblage. This article suggests that understanding the forms of algorithmic rationality employed in such inquiry is crucial for charting the place of data science within the contemporary academy and knowledge economy more generally. (shrink)