The paper contains an overview of the most important results presented in the monograph of the author "Teorie Językow Syntaktycznie-Kategorialnych" ("Theories of Syntactically-Categorial Languages" (in Polish), PWN, Warszawa-Wrocław 1985. In the monograph four axiomatic systems of syntactically-categorial languages are presented. The first two refer to languages of expression-tokens. The others also takes into consideration languages of expression-types. Generally, syntactically-categorial languages are languages built in accordance with principles of the theory of syntactic categories introduced by S. Leśniewski [1929,1930]; they are connected (...) with- the Ajdukiewicz’s work [1935] which was a continuation of Leśniewski’s idea and further developed and popularized in the research on categorial grammars, by Y. Bar-Hillel [1950,1953,1964]. To assign a suitable syntactic category to each word of the vocabulary is the main idea of syntactically-categorial approach to language. Compound expressions are built from the words of the vocabulary and then a suitable syntactic-category is assigned to each of them. A language built in this way should be decidable, which means that there should exist an algorithm for deciding about each expression of it, whether it is well-formed or is syntactically connected . The traditional, originating from Husserl, understanding of the syntactic category confronts some difficulties. This notion is defined by abstraction using the concept of affiliation of two expressions to the same syntactic category. (shrink)

This paper sketches or signals some ideas, results, and proposals connected with the theoretical issues related to the categorial approach to language which originated from the first author and which form the basis for further research by the second author. The main aims are the following: 1) to bring into common use some Polish ideas concerned with classical categorial grammar; 2) to take into consideration a universal and simultaneously formal-logical perspective; 3) to consider Peirce's well-known differentiation of linguistic (...) objects, i.e. their twofold ontological status as tokens and types and, according to this, to consider the biaspectual formalization of language dealing with the two main orientations in the controversy between nominalism and Platonism; 4) to characterize language according to Frege's ontological canons, according to which each expression of language corresponds to its denotation. All of these factors make possible not only the syntactic characterization of language but also the introduction of syntactic and semantic definitions of a true expression and its denotation. These notions correspond here to the old classical, but not necessarily standard, understanding of semantic concepts. The paper is divided into four sections: the first contains a brief characterization of the categorial approach to syntax; the second presents two strains of this approach; the third touches on certain general semantic issues connected with the notion of truth; and the last gives some final remarks. (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)

Pragmatism of Peirce and James overcomed traditional dualism between mind and matter, sense data and conceptions, and the severe differentiation between philosophy, science, art and religion. They made three types of synthesis- epistemological, metaphysical and religious, based on relations between belief, thought, and action. Within the framework of these the problem of relation between science and religion is solved. Peirce founded science on essentially religious metaphysics in such context in which knowledge and thought are grounded and become meaningful. Science (...) exists as a part of evolution of the universe not as end in itself. Without solving the metaphysical problems scientific knowledge is fallible and incomplete. Religious belief is another sort of knowledge for the evolution and in the future it would converge with science. -/- . (shrink)

The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. The (...) construction of the theories presented here has two levels. The axiomatic theory of label-tokens: material, physical linguistic objects, constitutes the first one. Label-types, according to the literature of the subject, are defined on the other level as equivalence classes of equiform label-tokens. Assuming the opposite point of view, one can accept that theory of label-types: abstract labels, formalized on the first level, in which it is possible to define the notion of label-token as well as the derivative notions on the second level, should become the basis of formalization of the theory of linguistic expressions and the theory of language in general. The axioms and definitions of both theories of labels: T k and T p representing the other approach to the ontology of language are included in the sequel of the abstract. The foundations of the theory of labels T k in which the primary assumption as to the label-types existence is superfluous have been referred on the basis of the author's monography "Teorie Języków Syntaktycznie Kategorialnych" ( "The Theories of Syntactically Categorial Languages"), PWN, Warszawa-Wrocław 1985. The basis of the theory of labels T p which takes into account the other position has to be presented here for the first time. Some extended ideas of the paper will also be presented in author's paper "Logiczne podstawy ontologii składni Języka" ("Logical foundations of language syntax ontology), Studia Filozoficzne 6-7 (271-272), (1988), pp. 263-284. (shrink)

Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University (...) at Buffalo, Buffalo, NY 14260-4150 E-mail: [email protected] The four-letter written-English expression ‘word’, which plays important roles in applications and expositions of logic and philosophy of logic, is ambiguous (multisense, or polysemic) in that it has multiple normal meanings (senses, or definitions). Several of its meanings are vague (imprecise, or indefinite) in that they admit of borderline (marginal, or fringe) cases. This paper juxtaposes, distinguishes, and analyses several senses of ‘word’ focusing on a constellation of senses analogous to constellations of senses of other expression words such as ‘expression’, ‘symbol’, ‘character’, ‘letter’, ‘term’, ‘phrase’, ‘formula’, ‘sentence’, ‘derivation’, ‘paragraph’, and ‘discourse’. Consider, e.g., the word ‘letter’. In one sense there are exactly twenty-six letters (letter-types or ideal letters) in the English alphabet and there are exactly four letters in the word ‘letter’. In another sense, there are exactly six letters (letter-repetitions or letter-occurrences) in the word-type ‘letter’. In yet another sense, every new inscription (act of writing or printing) of ‘letter’ brings into existence six new letters (letter-tokens or ink-letters) and one new word that had not previously existed. The number of letter-occurrences (occurrences of a letter-type) in a given word-type is the same as the number of letter-tokens (tokens of a letter-type) in a single token of the given word. Many logicians fail to distinguish “token” from “occurrence” and a few actually confuse the two concepts. Epistemological and ontological problems concerning word-types, word-occurrences, and word-tokens are described in philosophically neutral terms. This paper presents a theoretical framework of concepts and principles concerning logicography, including use of English in logic. The framework is applied to analytical exposition and critical evaluation of classic passages in the works of philosophers and logicians including Boole, Peirce, Frege, Russell, Tarski, Church and Quine. This paper is intended as a philosophical sequel to Corcoran et al. “String Theory”, Journal of Symbolic Logic 39(1974) 625-637. https://www.academia.edu/s/cdfa6c854e?source=link -/- . (shrink)

Peirce illustrated the type-token distinction by means of the definite article: there is only one word type “the,” but there are likely to be about twenty tokens of it on this page. Not all tokens are inscriptions; some are sounds, whispered or shouted, and some are smoke signals. The type “the” is neither written ink nor spoken sound; it is an abstract object. Or consider the Grizzly Bear, Ursus arctos horribilis. At one time its U.S. range (...) was most of the area west of the Missouri River and it numbered 10,000 in California alone. Today it numbers less than 1,000. Of course no particular bear numbers 1,000 and no particular bear ever had a range comprising most of the area west of the Missouri. It is a type of bear, a species of bear, that has both properties.We are all familiar with this way of talking about types of things. But—aside from being universals—what are types? What makes a token of one type rather than another? How do we know it is a token of that type? Do some types fail to have tokens? What, if anything, do all and only tokens of a particular type have in common other than being tokens of that type? The first half of the paper answers the last question (“Nothing beyond being a token of the type”). The second half contains sketches of answers to the other questions. (shrink)

Charles S. Peirce introduces the distinction between a token and a type into semiotics and philosophy by using as an example two ways of individuating words:(P1) A common mode of estimating the amount of matter in a MS. or printed book is to count the number of words. There will ordinarily be about twenty the's on a page, and of course they count as twenty words. In another sense of the word "word," however, there is but one word (...) "the" in the English language; and it is impossible that this word should lie visibly on a page or be heard in any voice, for the reason that it is not a Single thing or Single event. It does not exist; it only determines things that do exist. Such a definitely significant Form, I propose.. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:A Copy of a Book Is Not a Token of a TypeDavid Socher (bio)Masons butter their bricks, gardeners deadhead their roses, and who am I to quibble over terms? However, philosophers routinely speak of tokens and types, as if, so it seems to me, they are bringing a greater measure of precision to the table. Here I shall quibble. I shall try to lead the reader to realize (...) that those philosophers are neither being especially precise nor are they following Charles S. Peirce; instead, they are merely lending a false air of scientific respectability to the matter at hand. (Although these are broad strokes and I here tip my hand to a larger purpose, in what remains I'll stick to my title proposition.)In hearing or seeing a word, we hear sound, or see ink or chalk (or perhaps a hand gesture.) The sound or ink is said to be a "word-token," and the word itself that the speaker or writer thereby used is called a "word-type." Word-types are the things comprising our vocabulary, and their tokens are physical events or objects. Such is the reigning conception of the ontology of words, in analytic Anglo-American philosophy, for a hundred years. However, if David Kaplan1 carries the day, the time has come for a title bout and a new champ. And if he succeeds, then what follows may become mostly of antiquarian interest, a side trip down memory lane. I don't here join battle for or against the traditional account. A second issue I decline to engage concerns a little-noticed baby step or side-shuffle: commonly logicians speak of "tokens" and "types" for any linguistic expression of any length, apparently unaware they are extending the scope of a pair of terms introduced to only apply to words. (On the face of it, a linguistic expression as such doesn't really have a use on par with the use of a word.) A third issue [End Page 23] I decline to discuss is the propriety of that dubious contemporary giant step where brain processes are said to come in tokens and types. Perhaps this is a mere barbarism.So what is my main issue? It is this: Given, pace Kaplan, that we accept the traditional conception that words come in token and type, we ought not casually say the same of books, as, for example, Hornsby does in The Oxford Companion to Philosophy: "Following Peirce it can be said, for example, that there are three tokens of the word 'the' (that type) in the previous sentence, and that the actual book you're now reading is a token of the type Oxford Companion to Philosophy."2I now present some facts of speech, writing, and publishing to help dissipate the temptation to speak of the copies of a publication as tokens of a type.The purpose of printPrint mimics speech and handwriting. One can only receive words through a physical medium.3 In listening to talk and in reading handwritten letters, one gets the speaker or writer's words through the physical medium he or she directly produced. Not so in reading print: there, the printed words stand in for the author's physical words, or for a narrator's or character's words; or they present words of an abstract thing such as an amendment, advertisement, or contract, or of a concrete thing like a street sign or loudspeaker. In any case, whether or not an item is published, it is within such an item that the words are used—that is, that the types are invoked.When I signal a waiter for the check I produce a token, when an infant uses his only word to call out "mama," he produces a token; when in his second inaugural Lincoln admonished the nation to pursue reconstruction, "with malice towards none, with charity to all," he produced eight word tokens to invoke seven word types, twice invoking the word type "with." These two ways of counting words apply equally to Lincoln's phrase, his pronouncement of it, any publication or duplication of it, as well as any particular copies of such... (shrink)

The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called classical (...) categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality. (shrink)

From three simple Peircean semeiotic principles, the general formula is derived for the number of definable sign-types from the number of semeiotic trichotomies to be used in defining the sign-types. If k is the number of such trichotomies, then [ ]/2 is the number of sign-types definable by appealing to them. The significance of the derivation lies in its setting constraints on particular detailed theories of sign-types.

One task of logic, Peirce held, is to classify arguments so as to determine the validity of each kind. His own classification is interesting because it includes a novel type of argument in addition to the two traditionally recognized types. It is the purpose of this paper to discuss what Peirce thought to be sufficiently distinctive about abduction to warrant calling it a new kind of argument. But since one finds in his writings on abduction a number of different (...) views it is first necessary to make a few remarks concerning the unity of Peirce's thought. (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.

In this paper, we support a continuistic reading of Joseph Margolis' philosophy, defending the claim that in the 1970s, Margolis tackled the issues suggested by the analytic philosophy of art from an original theoretical perspective and through conceptual tools exceeding the analytical framework. Later that perspective turned out to be a radically pragmatist one, in which explicitly tolerant realistic claims and non-reductive naturalism converged with radical historicism and contextualism. We will endorse this thesis by focusing on two important concepts appearing (...) in Margolis' aesthetics essays from the late 1950s to the 1970s: the type-token pair and the notion of cultural emergence. On the one hand, we will emphasise Margolis' indebtedness to Peirce's first formulation of the type-token distinction, involving a strong interdependence between the two elements of the pair, as well as an anti-essentialistic, historicised, and contextualised notion of type. On the other hand, we will delve into Margolis' exploration of the concept of emergence and cultural emergence, involving a genuinely pluralistic view of ontology, as well as a non-reductive, continuistic form of naturalism. Finally, we will connect the criticism of the so-called closure of the physical world with Margolis' anti-autonomistic stance in defining artworks. (shrink)

Many do not doubt that Peirce's Existential Graphs are diagrammatic, as opposed to symbolic. However, when we are pressured to draw a distinction between the two different forms of representation, we find ourselves at a loss and our intuition quite vague. In this paper, I locate fundamental differences between two logically equivalent systems, Peirce's Alpha system and propositional languages. Suppose we have only two sentential connectives, ¬ and ^. In spite of its truth-functional completeness, we don't want to (...) use this language for the translation of English sentences or as a deductive calculus. We would adopt this language only when we intend to develop logical theories. That is, it is convenient to have fewer connectives for a meta-theory, but not for practical use. So, there seems to be a trade-off between a language with fewer connectives and a language with more connectives. This view has been accepted without question. In this paper, I will argue that this trade-off is limited to linear symbolic systems and that we could have a diagrammatic system with fewer operations but no need to suffer from problems like those of a sentential language with fewer connectives. How is that possible? A comparison between Peirce's Alpha system and a propositional language is presented to answer this question. The case study identifies the following unique property of a non-linear diagrammatic system as a main source of the discrepancy between two different types of representation: One and the same diagram can be read off in more than one way by carving it up in many ways, but without ambiguity. (shrink)

Our comment is based on a simple but, we believe, compelling principle. The proposed cognitive processes and functions that are components of Jablonka and Ginsburg’s Unlimited Associative Learning (UAL) are real and are fundamental elements in the varieties of consciousness, cognition, problem solving, and sentience in the species they identify. But, from our perspective, they didn’t function as the metaphoric biomolecular ship that brought consciousness into being. The UAL functions are, and should be viewed as, evolutionary steps that built upon (...) a deeper and much older cognitive foundation. The appearance of UAL didn’t allow consciousness to emerge. It allowed it to change the manner in which sentience was instantiated − just as a host of other evolutionary developments did. In short, the emergence of UAL is a _token_ on a continuum of mental experience and not a distinct _type_ of mentation. (shrink)

This book is based on my doctoral dissertation written at Harvard University in the year of 1963. My interest in Peirce was inspired by Professor D. C. Williams and that in Lewis by Professor Roderick Firth. To both of them lowe a great deal, not only in my study of Peirce and Lewis, but in my general approach toward the problems of knowledge and reality. Specifically, I wish to acknowledge Professor Williams for his patient and careful criticisms of the original (...) manuscripts of this book. I also wish to thank Professor Firth and Professor Israel Scheffler for their many suggestive comments regarding my discussions of induc tion. However, any error in this study of Peirce and Lewis is completely due to myself. Chung-ying Cheng Honolulu, Hawaii March,1967 TABLE OF CONTENTS PREFACE V SUMMARY IX CHAPTER I: Introduction I I. Problem of Justifying Induction and Proposal for Its Dissolution I 2. Two Types of Recent Arguments for the Validity of Induction 3 Arguments from Paradigm Cases and Uses of Words 4 3. (shrink)

We explore the technical details and historical evolution of Charles Peirce's articulation of a truth table in 1893, against the background of his investigation into the truth-functional analysis of propositions involving implication. In 1997, John Shosky discovered, on the verso of a page of the typed transcript of Bertrand Russell's 1912 lecture on ?The Philosophy of Logical Atomism? truth table matrices. The matrix for negation is Russell's, alongside of which is the matrix for material implication in the hand of (...) Ludwig Wittgenstein. It is shown that an unpublished manuscript identified as composed by Peirce in 1893 includes a truth table matrix that is equivalent to the matrix for material implication discovered by John Shosky. An unpublished manuscript by Peirce identified as having been composed in 1883?1884 in connection with the composition of Peirce's ?On the Algebra of Logic: A Contribution to the Philosophy of Notation? that appeared in the American Journal of Mathematics in 1885 includes an example of an indirect truth table for the conditional. (shrink)

According to Peirce one of the most important philosophical problems is continuity. Consequently, he set forth an innovative and peculiar approach in order to elucidate at once its mathematical and metaphysical challenges through proper non-classical logical reasoning. I will restrain my argument to the definition of the different types of discrete collections according to Peirce, with a special regard to the phenomenon called ?premonition of continuity? (Peirce, 1976, Vol. 3, p. 87, c. 1897).

Reflections on Peirce’s theory of abduction have not been free of controversy, given the difficulty to determine clearly the nature and epistemic function of this inference. The article examines three ways of understanding the concept of abduction, developed by Peirce himself throughout his work. The main objective is to reconstruct the logical, methodological, and instinctive conception of this type of reasoning in order to establish the possibility of a theory of abduction.

In Japan, the number of investigations of Charles Sanders Peirce’s philosophy has recently increased. In this article, we can focus only on a few instances of the research movement in Japan that has put Peirce’s ideas at its center. However, even such a limited survey shows that Peirce’s work has affected various Japanese academic areas. In this paper we talk about three types of Japanese studies of Peirce’s pragmatism: discussions of Peirce’s theory of abduction, examinations of Peirce’s the...

The process of ‘logical differentiation’ was introduced by Peirce in 1870. Directly analogous to mathematical differentiation, it uses logical terms instead of mathematical variables. Here, this mysterious process receives new interpretations which serve to clarify Peirce’s use of logical terms. I introduce the logical terms, the operation of multiplication, the logical analogy to the binomial theorem, infinitesimal relatives, the concepts of numerical coefficients and the number associated with each term. I also analyse the algebraic development of ‘logical (...) class='Hi'>differentiation’ and consider in depth one application of the process. (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)

Göstergenin bilimsel olarak incelenme sürecinde etkin rol oynayan zihinsel arka plan farklılığı, temel unsurlarının şekil ve formlarında görülen değişiklikler başta olmak üzere, gösterme eyleminin işlevi ve gayesine ilişkin birtakım görüş ayrılıklarına zemin hazırlar. Nitekim göstergebilimin kurucuları Ferdinand de Saussure ve C. S. Peirce, göstergeyi birbirinden farklı iki bağlamda ele alır. Saussure göstergebilimin, dilbilimi de içine alan bir bilim dalı olarak kurulması gerekliliğine değinmekle yetinirken Peirce, onu, mantık ve anlam-yorum çalışmalarına hız kazandırmak amacı ile bilimsel zemine taşır. Peirce’ün göstergeye bakışı, yalnızca (...) işaret olgusuna dair geliştirdiği bir teori olarak değil; ayrıca bir anlam ve bilgi teorisi olarak da incelenmelidir. Bu nedenle makalenin ilk bölümünde Peirce’ün mantık alanındaki düşüncelerinin alt yapısını oluşturan varlık kategorilerine yer verilecektir. Ardından onun pragmatisizm düşüncesi ve klasik mantık eleştirisi üzerinden göstergeye ve işaret ettiği anlama bakışı değerlendirilecektir. Üçüncü bölümde ise gösterge teorisi, detaylı olarak incelenecek; Peirce’ün felsefî pozisyonun semiyozis terimleri üzerindeki belirleyici etkisine değinilecektir. The difference in mental background, which plays an active role in the scientific analysis of the sign, paves the way for some disagreements regarding the function and purpose of the act of signifying, especially the changes in the shapes and forms of its basic elements. As a matter of fact, the founders of semiotics, Ferdinand de Saussure and C. S. Peirce, consider the sign in two different contexts. While Saussure is content to mention the necessity of establishing semiotics as a branch of science that also includes linguistics, Peirce carries it to the scientific ground with the aim of accelerating the logic and meaning-interpretation studies. Peirce, who developed his own categories of entities, deals with them in three stages. These; firstness, in which the entity is a pure quality before it exists in the world, secondness, in other words, the form in which this quality is embodied outside; and the thirdness, in other words, the state in question, which has gained the ability to serve as a representation in order to appeal to a mind and be interpreted. In this last category, being becomes an interpretable sign that points to an object for a certain meaning. The point where the categories of being and Peirce's theory of sign meet is that the types of sign, object and interpretant are shaped according to these three categories. (shrink)

An account of what Michael Krausz refers to as “a three tiered structure” within the interpretative process is defended. Starting with the employment of Peircian nomenclature, as employed by Joseph Margolis, artworks and persons - cultural entities - are distinguished from physical entities as tokens of types. But even if culturally emergent entities con be attributed to certain physical atributes in relation to their materiality at the first level of interpretation - the elucidatory - in which such culturally emergent properties (...) are embodied, cultural entities possess certain distinctive Intentional attributes, at a second level of interpretation - thc intentional - not assignable to purely physical properties nor, in the case of artworks such as Van Gogh’s The Potato Eaters, their creator’s intentions. But in order to make sense of Krausz’s notion of “aspectual reverberation” for an individual appreciator, a third level of interpretation is required - the elaborative - in order to make sense of Peirce’s notion not only of the type and token status of a work of art, but its tone, This third elaborative sense of interpretation is then considered in two ways: experientially in terms of what the spectator can bring to an appreciation of an artwork and performatively with respect to an artist’s interpretation of the work in performance, as in dance for example. Possible attacks on this position are then considered. (shrink)

In at least a few of his formulations of the pragmatic maxim around 1905—those in which he sought to inoculate his brand of pragmatism against misappropriation by other pragmatists and also to supply a demonstration of its truth—Charles Peirce instructs us to look not only at the consequences of affirming some claim or concept, but also at the consequences of denying it. Referring to himself in the third person as "the author," Peirce writes: Endeavoring, as a man of that (...) class='Hi'>type naturally would, to formulate what he so approved, he framed the theory that a conception, that is, the rational purport of a word or other expression, lies exclusively in its conceivable bearing on the conduct of life; so that, since... (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem (...) of Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

Many scholars believe “On a New List of Categories” is a metaphysical or transcendental deduction. The present essay will argue that Peirce derives the categories by induction and validates their order by prescision. Then the article shall solicit aid from Peirce’s early and later writings to explain how the new way to list the categories can serve as a genealogy of signification: how the different types of term, proposition, and argument emerge in the process of reasoning as the different types (...) of signs. Thus, the genealogy of signification would then qualify as a phenomenology of logic as a science of semiotics. Such a science of semiotics will have three types of comparison corresponding to the sign-relation in illation: namely, uniparance, diaparance, and comparance. Then the three types of comparison will occasion three types of relative in different types of propositions: namely, concurrents, disquiparants, and equiparants. Finally, the three types of relative will occasion the different types of sign corresponding to the different types of term: namely, icons, indices, and symbols. With this classification, there is then an explanation of how the process of reasoning is a semiotic process with three forms of valid argument: namely, hypothesis, induction, and deduction. (shrink)

This book is based on my doctoral dissertation written at Harvard University in the year of 1963. My interest in Peirce was inspired by Professor D. C. Williams and that in Lewis by Professor Roderick Firth. To both of them lowe a great deal, not only in my study of Peirce and Lewis, but in my general approach toward the problems of knowledge and reality. Specifically, I wish to acknowledge Professor Williams for his patient and careful criticisms of the original (...) manuscripts of this book. I also wish to thank Professor Firth and Professor Israel Scheffler for their many suggestive comments regarding my discussions of induc tion. However, any error in this study of Peirce and Lewis is completely due to myself. Chung-ying Cheng Honolulu, Hawaii March,1967 TABLE OF CONTENTS PREFACE V SUMMARY IX CHAPTER I: Introduction I I. Problem of Justifying Induction and Proposal for Its Dissolution I 2. Two Types of Recent Arguments for the Validity of Induction 3 Arguments from Paradigm Cases and Uses of Words 4 3. (shrink)

This article praises the development of second order cybernetics by von Foerster, Maturana, and Varela as an important step in deepening our understanding of the bio-psychological foundation of the dynamics of information, cognition, and communication. Luhmann's development of the theory into the realm of social communication is seen as a necessary and important move. The triple autopoietic differentiation between biological, psychological, and social-communicative autopoiesis and the introduction of a technical concept of meaning is central. Finally, the paper shows that (...) second order cybernetics lacks explicit and ontological concepts of emotion, meaning, and a concept of signs. C. S. Peirce's theory is introduced for this purpose. It is then shown, through Varela's development of Spencer Brown's ‘Laws of Form’ from a dual to a dynamic triadic categorical structure, that both theories are triadic and second order, and therefore can be fruitfully fused to a Cybersemiotics. (shrink)

I argue against the tendency in the philosophy of science literature to link abduction to the inference to the best explanation (IBE), and in particular, to claim that Peireean abduction is a conceptual predecessor to IBE. This is not to discount either abduction or IBE. Rather the purpose of this paper is to clarify the relation between Peireean abduction and IBE in accounting for ampliative inference in science. This paper aims at a proper classification—not justification—of types of scientific reasoning. In (...) particular, I claim that Peireean abduction is an in-depth account of the process of generating explanatory hypotheses, while IBE, at least in Peter Lipton's thorough treatment, is a more encompassing account of the processes both of generating and of evaluating scientific hypotheses. There is then a two-fold problem with the claim that abduction is IBE. On the one hand, it conflates abduction and induction, which are two distinct forms of logical inference, with two distinct aims, as shown by Charles S. Peirce; on the other hand it lacks a clear sense of the full scope of IBE as an account of scientific inference. (shrink)

Corcoran, J. 2007. Syntactics, American Philosophy: an Encyclopedia. 2007. Eds. John Lachs and Robert Talisse. New York: Routledge. pp.745-6. -/- Syntactics, semantics, and pragmatics are the three levels of investigation into semiotics, or the comprehensive study of systems of communication, as described in 1938 by the American philosopher Charles Morris (1903-1979). Syntactics studies signs themselves and their interrelations in abstraction from their meanings and from their uses and users. Semantics studies signs in relation to their meanings, but still in abstraction (...) from their uses and users. Pragmatics studies signs as meaningful entities used in various ways by humans. Taking current written English as the system of communication under investigation, it is a matter of syntactics that the two four-character strings ‘tact’ and ‘tics’ both occur in the ten-character string ‘syntactics’. It is a matter of semantics that the ten-character string ‘syntactics’ has only one sense and, in that sense, it denotes a branch of semiotics. It is a matter of pragmatics that the ten-character string ‘syntactics’ was not used as an English word before 1937 and that it is sometimes confused with the much older six-character string ‘syntax’. Syntactics is the simplest and most abstract branch of semiotics. At the same time, it is the most basic. Pragmatics presupposes semantics and syntactics; semantics presupposes syntactics. The basic terms of syntactics include the following: ‘character’ as alphabetic letters, numeric digits, and punctuation marks; ‘string’ as sign composed of a concatenation of characters; ‘occur’ as ‘t’ and ‘c’ both occur twice in ‘syntactics’. However, perhaps the most basic terms of syntactics are ‘type’ and ‘token’ in the senses introduced by Charles Sanders Peirce (1839-1914), America’s greatest logician, who could be considered the grandfather of syntactics, if not the father. These are explained below. (shrink)

Two groups of scientists have just announced what is being described as a leap forward in human stem cell research.1–3 Both have found ways of producing what are being called “induced pluripotent cells” , stem cells that they hope will demonstrate the same key properties of regeneration and unrestricted differentiation that human embryonic stem cells possess, but which are derived from skin cells not from embryos. In simple terms, these scientists have succeeded in reprogramming skin cells to behave like (...) hESCs.Stem cell research has been hailed as one of the most important and exciting areas of science, because it is believed that these types of cells will not only play an important part in regenerative medicine, but also yield valuable scientific information. These latest developments in cell reprogramming represent a milestone for stem cell science. No longer does the paradigm of irreversible cell specialisation hold true; instead, almost any type of cell might have the potential to become any other.The advent of techniques for producing these iPCs has also been hailed as an ethical breakthrough. Up until now, the production of hESCs has required a process which involves the destruction of embryos. Many of these embryos are available as by-products of IVF; but in addition, the process of somatic cell nuclear transfer to produce cloned embryonic stem cells requires a supply of human oocytes, which must currently be harvested from female donors at no insignificant cost. In a nutshell, iPCs seem to enable us to produce “embryo-free” human pluripotent stem cells, and in a “gender-neutral” way—that is, without the need for human oocytes.The response from the scientific community, ethical commentators and the public has, however, reflected an inherent confusion over the ethical significance of this research. The anti-embryo …. (shrink)

Robert Rosen’s relational biology and biosemiotics share the claim that life cannot be explained by the laws that apply to the inanimate world alone. In this paper, an integrated account of Rosen’s relational biology and Peirce’s semiosis is proposed. The ultimate goal is to contribute to the construction of a unified framework for the definition and study of life. The relational concepts of component and mapping, and the semiotic concepts of sign and triadic relation are discussed and compared, and a (...) representation of semiotic relations with mappings is proposed. The role of the final cause in two theories that account for what differentiates living beings, natural selection and relational biology, is analyzed. Then the presence of the final cause in Peirce’s semiosis is discussed and, with it, the similarities and differences between the theories of Rosen and Peirce are deepened. Then, a definition of a semiotic relation in an organism is proposed, and Short’s definition of interpretation is applied. Finally, a method to identify and analyze semiotic actions in an organism is proposed. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Intentionalität aus semiotischer Sicht. Peirceanische PerspektivenChristian StrubStefan Kappner Intentionalität aus semiotischer Sicht. Peirceanische Perspektiven. Berlin/New York: de Gruyter2004, ISBN 3–11-018288–2, 432 pp.1. Problem focusKappner intended only partially a Peirce-interpretation; he attempts to think further along with Peirce, and he succeeds as well. The first chapter serves as a sketch of the problem of intentionality from a historical perspective, starting from Brentano. Kappner formulates the problem correctly by stating (...) that from the contemporary standpoint on the one hand every sort of methodological mind—body dualism is obsolete, because the mainstream of research has adopted a methodological physicalism along with an anti-foundationalistic epistemology; yet on the other hand our common sense view of psychic and thus also of intentional phenomena, which is inclined towards just such a dualism, must be taken into consideration. The systematic task thus consists in describing the particular quality of psychic phenomena in such a manner that this description "is compatible with methodological naturalism" (47). Kappner's main concern is thus the attempt to anchor the intentionality of thoughts and of human consciousness in more primitive forms of intentionality which are already exhibited by non-psychic goal-oriented natural processes. The solution to this task must accomplish two things: firstly, Kappner must justify the distinction between three types of "carriers" of "intentionality": concrete objects which intentionally contain an object in themselves, i.e. signs (381f.): Ch. 7; organisms which are capable of producing "inner signs for the simulation of external processes" (cf. 320–326: insightful behavior) (382f): Ch. 8; organisms which are capable of understanding this production as their own (self-consciousness) (383): Ch. 9. I will call this distinction the "internal differentiation thesis" (IDT). Secondly, Kappner must demonstrate that these three types of carriers are founded in one another. Over and above this, Kappner asserts that sign-intentionality is founded in something which he (with Arno Ros, 263, cf. 144) calls "quasi-intentionality" (Ch. 6). I will call this the "founding thesis" (FT). Obviously FT presupposes IDT, but not vice versa. Kappner claims to have successfully concluded such an ambitious naturalization program (342). Even when one [End Page 439] does not always agree with the partial solutions of Kappner, reading the book is definitely rewarding, as it shows in what a precisely differentiated manner one can reflect on a central problem of the "philosophy of mind" using Peirce's array of semiotic instruments.The reader is, naturally, astonished to hear the name Peirce in the context of a program for the naturalization of intentionality, for Peirce himself never used the concepts of "intention" and "intentionality" in the sense in which Brentano used them (47, 66), and himself clearly espoused an antifoundationalism and a methodological monism—but never a methodological naturalism; rather its opposite, namely a methodological idealism which can only conceive of physical properties as derived from psychic properties (synechism; 50–54). The reader is all the more eager to see how Kappner will prove his thesis to the effect that Peirce nevertheless has made a systematic contribution to the solution of the problem of intentionality under contemporary conditions. The decisive methodological step of Kappner (60) in Ch. 2 consists in declaring Peirce's metaphysics to be independent of his epistemic realism, which holds reality to be independent of the subject's mode of access to this reality. It is first at the end of the work that Kappner can precisely formulate what he means by Peircean naturalism: "For [Peirce], it is not primarily a question of how in (mere) thought relations to real things can be produced [as it is for Brentano and Husserl], but rather the opposite, namely how the progressive distancing of humans from the linguistic or mentally denoted object was and is possible [ellipsis]. In my opinion Peirce's approach can above all for this reason be characterized as 'naturalistic'" (376). This is plausible—of course, only under the assumption (not acknowledged as such by Kappner) that something like a "protodistancing" from the world can already be ascertained in the realm of quasi-intentionality. Nevertheless, Kappner employs two different concepts of "naturalistic": a naturalistic theory of intentionality means (1... (shrink)

SummaryHow can the immense amount of suffering and waste inherent in the evolutionary process be reconciled with the existence of a perfectly good and omnipotent God? A widely embraced proposal in the area of “evolutionary theodicy” is the so-called “Only Way”-argument. This argument contends that certain valuable goods – in particular, creaturely independence and human freedom – can only come about through a genuinely indeterministic and partly uncontrolled process of evolution. In a previous article, I have argued that the “Only (...) Way”-argument can be defeated by a “Twin Earth”-thought experiment: If God is omnipotent, he could have created – directly, without evolution – creatures that are molecule-for-molecule identical to those that he actually created through evolution. If the creatures that he actually created have freedom and independence, there is no valid reason to deny that the non-evolved “twin creatures” would also be free and independent. Recently, Eikrem and Søvik have suggested a way of blocking my Twin Earth-argument by appealing to the distinction between type-values and token-values. While ES admit that the Twin Earth-argument shows the non-necessity of evolution for the existence of certain type-goods, they argue that an evolutionary creation can be justified by appeal to valuable token-goods that could not have existed without evolution. In this article, I respond to ES’s token-goods argument by showing that it is incompatible with a basic presupposition of “Only Way” evolutionary theodicies, namely the claim that the evolutionary process is genuinely indeterministic and partly uncontrolled. (shrink)

ABSTRACTEmotion differentiation, the ability to describe and label our own emotions in a differentiated and specific manner, has been repeatedly associated with well-being. However, it is unclear exactly what type of differentiation is most strongly related to well-being: the ability to make fine-grained distinctions between emotions that are relatively closely related, the ability to make larger distinctions between very distinct emotions, or the combination of both. To determine which type of differentiation is most predictive of (...) well-being, we performed a comprehensive meta-analysis across six datasets. We examined the correlations between these three types of differentiation and several indicators of well-being. Results showed that individuals differentiated most between very distinct emotions and least between more related emotions, and that an index computed across emotions from both the same and di... (shrink)

This paper proposes a Cournot game organized by three competing firms adopting bounded rationality. According to the marginal profit in the past time step, each firm tries to update its production using local knowledge. In this game, a firm’s preference is represented by a utility function that is derived from a constant elasticity of substitution production function. The game is modeled by a 3-dimensional discrete dynamical system. The equilibria of the system are numerically studied to detect their complex characteristics due (...) to difficulty to get an explicit form for those equilibria. For the proposed utility function, some cases with different value parameters are considered. Numerical simulations are used to provide an experimental evidence for the complex behavior of the evolution of the system. The obtained results show that the system loses its stability due to different types of bifurcations. (shrink)

Reilly approaches his topic by presenting the spirit of science and the phases of scientific inquiry as Peirce saw it, keeping before the reader, at all times, Peirce’s overarching view of man and the universe. The two prevailing themes guiding Peirce’s thought are 1) that there is a special conformity of the human mind to nature and of nature to God, and 2) that there is an architectonic qualifying all the various types and levels of treatment which occupy the philosopher’s (...) interest. The first question examined is the nature of the scientific concern. For Peirce, the scientist’s spirit is marked by the pure love of knowledge. It is important to note the theoretical aspect because it explains the possibility of holding belief in abeyance while examining nature: the purity of motive allows that proper questions will be asked and errors will be readily corrected. The scientist’s purpose is the real truth of things; he begins with questions about the world. There are four stages of scientific method: 1) The scientist observes nature as a thinking, analytic inquirer. Observation presupposes that nature is intelligibly structured. 2) He formulates an explanatory hypothesis which is a process of bringing a manifold of characters to a unified whole. 3) By deduction, the inquirer gathers experiential consequents of the hypothesis. 4) By induction the question is put to nature and observed phenomena are matched to the predicted phenomena, resulting in either truth or a modified hypothesis. Peirce’s principle of the kinship of man’s mind to nature supports his dictum to follow instinct over reasoned likelihood in choosing hypotheses. Also important is the doctrine of moderate fallibilism which holds that there is a convergence upon the truth founded upon the regularity of nature, but that chance is a real factor due to nature’s evolution. Reilly’s book gives an adequate account of the aspects of Peirce’s scientific method sacrificing specific and detailed analysis to a more general approach wherein he shows the unity operative throughout Peirce’s thinking. A good index and copious notes are provided.—W. A. F. (shrink)

A strong case can be made that Peirce’s formal rhetoric is primarily a theory of inquiry. Peirce’s convergence theory of truth requires a community of inquiry enduring indefinitely over time. Such a community, then, must promote “solidarity” in Peirce’s terms, a consistent practice of cooperation among inquirers over generations. One of the tasks of his formal rhetoric, then, is to analyze the conditions for solidarity. Using Peirce’s framework of a belief-desire model for practical action, solidarity can be promoted if there (...) are commonly desired ends and a consensus of beliefs about the best means to attain those ends in inquiry. Peirce recognizes, however, that the community of inquiry is constituted with different types of inquirers who have different purposes for inquiry. He divides them among the “pure” theoretical scientists, applied scientists and practical inquirers – the general public – who are interested in the practical applications that can bring betterment to their lives. It is argued here that Peirce’s apparent inconsistencies concerning the role and purpose of science can be attributed to cautions addressed to each of these different audiences. The remainder of the paper explores the problematics of solidarity in a community of inquirers who have different ends for inquiry, and how Peirce attempts to address the puzzles and paradoxes that result. (shrink)

It has recently been suggested that the type/token theorist concerning musical works cannot come up with an adequate semantic theory of those sentences in which we purport to talk about such works. Specifically, it has been claimed that, since types are abstract entities, a type/token theorist can only account for the truth of sentences such as “The 1812 Overture is very loud” and “Bach's Two Part Invention in C has an F-sharp in its fourth measure” by (...) adopting an untenable semantic claim: namely, that the predicates in such sentences, once applied to musical works, undergo a systematic shift in their meanings. This article is a sustained explanation of why our talk about musical works in fact provides no problem for the type/token theorist. First, we demonstrate that the aforementioned “meaning shift” approach to the sentences’ predicates is well motivated and very credible. Second, we explain how the type/token theorist can adopt the best available version of an alternative, generic quantificational approach to such sentences. Third, we establish that other semantic theories, presented as undermining the type/token theory by giving us a reason for adopting eliminativism about types, are much less theoretically virtuous than the two theories that a type/token theorist can freely adopt. (shrink)

I argue that Dilworth has not shown the type / token theory of film identity to be non-viable, since there is no reason to think that a single object cannot be a token of two types. Even if we assume a single inheritance view of types, Dilworth's argument runs into other problems. Dilworth does not provide any convincing argument as to why intentions are necessary for identifying film and why production history alone will not suffice for identifying (...) hardly conceivable forgeries. Intention is not necessary for distinguishing between fakes and the real thing, nor is it necessary to differentiate between two artworks with the same token. Moreover, taking the notion of intentions into consideration leads to a splintering problem. I propose that production history, presentation, and non-numerical template identity suffice to identify a film on a multiple inheritance type / token theory. (shrink)

In this article, I argue that Kant’s Categorical Imperative applies to maxim tokens rather than to maxim types. The article has three main parts. In the first, I explain my thesis. In the second, I argue for it. In the third, I argue, further, that, if my thesis is correct, then tokens of different maxim types can have different deontic statuses for different agents.