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)

The main purpose of the paper is to outline the formal-logical, general theory of language treated as a particular ontological being. The theory itself is called the ontology of language, because it is motivated by the fact that the language plays a special role: it reflects ontology and ontology reflects the world. Language expressions are considered to have a dual ontological status. They are understood as either concretes, that is tokens – material, physical objects, or types – classes of (...) tokens, which are abstract objects. Such a duality is taken into account in the presented logical theory of syntax, semantics and pragmatics. We point to the possibility of building it on two different levels; one which stems from concretes, language tokens of expressions, whereas the other one – from their classes, types conceived as abstract, ideal beings. The aim of this work is not only to outline this theory as taking into account the functional approach to language, with respect to the dual ontological nature of its expressions, but also to show that the logic based on it is ontologically neutral in the sense that it abstracts from accepting some existential assumptions, related with the ontological nature of these linguistic expressions and their extra-linguistic ontological counterparts (objects). (shrink)

This book presents a formal and philosophical analysis of language syntax. It refers to some ideas of E.Husserl and G. Frege, to S. Leśniewski's theory of syntactic categories and K. Ajdukiewicz's conception of formal grammar, also to Ch.S. Pierces's distinction between tokens (concrete linguistic entities) and types (ideal linguistic entities) and to A.A. Markov's theory of algorithms. The central aim of the book is - in the spirit of these ideas - to provide both strict yet comprehensive lectures on (...) two axiomatic theories of languages (grammars) irrespective of specific structure of their expression and the notation used in them. The main feature of these theories are that definitions of well-formed expression allow the formulation of algorithms for the examination of syntactic correctness of expressions and that their formalizations are bi-level, in reference to opposite philosophical orientations: nominalistic and idealistic. The theoretical considerations in the book speak in favour of the former. The book contains a translation of the basic contents of the book in Polish "Teorie języków syntaktycznie kategorialnych ("Theories of syntactically categorial languages"), PWN, Warszawa-Wrocław 1985, and extensive Introduction and Final Remarks. In Introduction are discussed the main assumptions, objectives and conditionings of presented theories and intuitive foundations of these theories. Final Remarks are connected with the subject-matter of the book and the ability to build syntax theories in the opposition spirit, because of the Platonic approach to language syntax. -/- . (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)

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)

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 main goal of this paper is to outline a general formal-logical theory of language construed as a particular ontological being. The theory itself will be referred to as an ontology of language, because it is motivated by the fact that language plays a special role: it reflects ontology, and ontology reflects the world. Linguistic expressions will be regarded as having a dual ontological status: they are to be understood as either concreta – i.e. tokens, in the sense of material, (...) physical objects – or types, in the sense of classes of tokens – i.e. abstract objects. Such a duality will then be taken into account in the logical theory of syntax, semantics and pragmatics presented here. We point to the possibility of constructing the latter on two different levels, one stemming from concreta, construed as linguistic tokens of expressions, the other from their classes – namely types, conceived as abstract, ideal beings. The aim of this work is not only to outline such a theory with respect to the dual ontological nature of the expressions of language in terms that take into account a functional approach to language itself, but also to show that the logic based on it is ontologically neutral in the sense that it is abstracted from the level at which certain existential assumptions relating to the ontological nature of these linguistic expressions and their extra-linguistic ontological counterparts (objects) would have to be embraced. (shrink)

By logical foundations of language syntax ontology we understand here the construction of formalized linguistic theories based on widely conceived mathematical logic and dependent on two trends in language ontology. The formalization includes exclusively the syntactic aspect of logical analysis of language characterized categorially according to Ajdukiewicz's approach [1935, 1960]. Any categorial language L is characterized formally on two levels: on one of them it concerns the language of expression-tokens, on the other one - that of expression-types. (...) Accepting the view that expression-concretes, that is expression-tokens - thus, physical objects are fundamental language layer, whereas the secondary layer for L are expression-abstracts, that is expression-types - thus, ideal objects, it is the nominalistic, concretistic philosophical view on the ontological nature of language entities that is adhered to. Supporting the view that expression-types are the basic language layer, while expression-concretes are the secondary one, we take the opposite standpoint - platonizing one. We prove that the two dual approaches towards the two-level syntax theory of language are logically eqivalent. In the scope of language syntax, both conceptions deriving from two different existential assumption are equivalent. This statement is philosophical significance, since it proves that in syntactical studies on language the assumption of the existence of abstract language beings (interpreted as classes equiform tokens) can be neglected. The idea was signalized by author in ealier paper "On the type-token relationships'' [1986) and than, in a slighly diffrent form in English "On the eliminatibility of ideal linguistic entities, Studia Logica 48,no 4 (1989), pp. 587-615. (shrink)

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)

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)

The popular interpretation of token‐reflexivism states that at the level of logical form, indexicals and demonstratives are disguised descriptions that employ complex demonstratives or special quotation‐mark names involving particular tokens of the appropriate expression‐types. In this article I first demonstrate that this interpretation of token‐reflexivism is only one of many, and that it is better to think of token‐reflexivism as denoting a family of distinct theoretical frameworks. Second, I contrast two interpretations of the idea of the token‐reflexive paraphrase (...) of an indexical sentence. The utterance approach claims that token‐reflexive paraphrases involve tokens of entire utterances. The sub‐utterance approach maintains that token‐reflexive paraphrases involve tokens of the particular indexical words used in the utterance. Next, I pose a problem that shows that neither of the two approaches is correct. The problem shows that the only viable version of the token‐reflexive proposition must somehow take into account the referential intentions of the speaker of the context. Therefore I conclude the article by sketching the framework of restricted intentional token‐reflexivism. I argue that it is an attractive semantic theory of distributed utterances that, among other things, enables automatic and intentional indexicals to be distinguished. (shrink)

Floridi’s infosphere consisting of informational reality is estimated and delineated by introducing the new notion of Typ-Ken, an undifferentiated amalgam of type and token that can be expressed as either type or token dependent on contingent ontological commitment. First, we elaborate Floridi’s system, level of abstraction (LoA), model, and structure scheme, which is proposed to reconcile ontic with epistemic structural reality, and obtain the duality of type and token inherited in the relationship between LoA and model. While we focus on (...) the ontological commitment that can negotiate and emphasize the discrepancy between type and token, we show that most research focusing on different hierarchical layers (type and token) has converged onto the flattened perspective of type and token to clarify the role of ontological commitment. We propose the idea of Typ-Ken to avoid this flattening. In addition, we elaborate Taddeo and Floridi’s criticism of approaches to the symbol grounding problem and show that their criticism based on the zero semantical commitment condition is specific to the agents affected by the flattening. We then take bird flocks as a metaphor for the living infosphere as if it had one mind. The knowledge recently yielded by image analysis indicates that it is difficult for previous flock models based on agents equipped with the flattening of local (token) and global (type) to show the special feature of a flock of the scale-free proportion (SFP). We show here that agents based on the Typ-Ken can reveal the SFP, which is the essential characteristic of the living infosphere. In other words, Typ-Ken is an expression for informational reality (LoA and model with ontological commitment) that can reveal seamless local and global interactions in the functioning of a flock or infosphere. (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)

With reference to Polish logical-philosophical tradition two formal theories of language syntax have been sketched and then compared with each other. The first theory is based on the assumption that the basic linguistic stratum is constituted by object-tokens (concrete objects perceived through the senses) and that the types of such objects (ideal objects) are derivative constructs. The other is founded on an opposite philosophical orientation. The two theories are equivalent. The main conclusion is that in syntactic researches it is (...) redundant to postulate the existence of abstract linguistic entities. Earlier, in a slightly different form, the idea was presented in paper "Logiczne podstawy ontologii składni języka" (1988). (shrink)

According to the Computational/Representational Theory of Thought (CRTT ? Language of Thought Hypothesis, or LOTH), propositional attitudes, such as belief, desire, and the like, are triadic relations among subjects, propositions, and internal mental representations. These representations form a representational _system_ physically realized in the brain of sufficiently sophisticated cognitive organisms. Further, this system of representations has a combinatorial syntax and semantics, but the processes that operate on the representations are causally sensitive only to their syntax, not to their semantics. On (...) this approach, a first pass account of propositional attitudes is the following (cf. Field 1978: 37 and Fodor 1987: 17). (shrink)

I argue that imperatives express contents that are both cognitively and semantically related to, but nevertheless distinct from, modal propositions. Imperatives, on this analysis, semantically encode features of planning that are modally specified. Uttering an imperative amounts to tokening this feature in discourse, and thereby proffering it for adoption by the audience. This analysis deals smoothly with the problems afflicting Portner's Dynamic Pragmatic account and Kaufmann's Modal account. It also suggests an appealing reorientation of clause-type theorizing, in which the cognitive (...) act of updating on a typed sentence plays a central role in theorizing about both its semantics and role in discourse. (shrink)

Usage-based approaches to language hold that we learn multiword expressions as patterns of language from language usage, and that knowledge of these patterns underlies fluent language processing. This paper explores these claims by focusing upon verb–argument constructions such as “V about n.” These are productive constructions that bind syntax, lexis, and semantics. It presents analyses of usage patterns of English VACs in terms of their grammatical form, semantics, lexical constituency, and distribution patterns in large corpora; patterns of VAC usage in (...) child-directed speech and child language acquisition; and investigations of VAC free-association and psycholinguistic studies of online processing. We conclude that VACs are highly patterned in usage, that this patterning drives language acquisition, and that language processing is sensitive to the forms of the syntagmatic construction and their distributional statistics, the contingency of their association with meaning, and spreading activation and prototypicality effects in semantic reference. Language users have rich implicit knowledge of the statistics of multiword sequences. (shrink)

There are three conceptions of expression in Husserl: (1) expression as a physical or sensible entity (expression-token), (2) expression as a repeatable entity (expression-type), and (3) expression as an act that connects token and type to each other (act of expressing). Only when all three notions are considered canHusserl's theory of expression and its meaning be correctly interpreted. However, such an interpretation does not ensure the correctness of Husserl’s theory itself. Rather, the distinctions (...) of the three notions reveal implausibility in the theory, because using an expression-token is nothing other than having a presentation(Vorstellung) of it. In his manuscript of 1914, Husserl attempts to overcome that implausibility but in a way that gives rise to another difficulty. (shrink)

It is plausible to think that our knowledge of linguistic types can bejustified by what we know about the tokens of these types. But one then hasto explain what it is about the relation a type bears to its tokens that makespossible the move from knowledge of the concrete to knowledge of theabstract. I argue that the standard solution to this difficulty, that the relevant relation is instantiation and that the transition is inductive generalization, is inadequate. I propose (...) an alternative, according to which tokens are representations of the type they belong to. I also defend this view against the charge that it cannot account for the systematic ambiguity of expressions like ‘word’ or ‘sentence’, and the objection that it leads to an implausible form of Platonism. (shrink)

It is plausible to think that our knowledge of linguistic types can bejustified by what we know about the tokens of these types. But one then hasto explain what it is about the relation a type bears to its tokens that makespossible the move from knowledge of the concrete to knowledge of theabstract. I argue that the standard solution to this difficulty, that the relevant relation is instantiation and that the transition is inductive generalization, is inadequate. I propose (...) an alternative, according to which tokens are representations of the type they belong to. I also defend this view against the charge that it cannot account for the systematic ambiguity of expressions like ‘word’ or ‘sentence’, and the objection that it leads to an implausible form of Platonism. (shrink)

A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the syntax (...) and semantics of Action Type Deontic Logic is presented and it is shown to meet the benchmarks. Finally, possibilities for further research are indicated. In the appendix, decidability of the satisfiability of formulas is proved via a technique known from monadic First Order Logic. (shrink)

The different occurrences of a word in a sentence cannot be identified with the one word type, nor with its many tokens. What then are occurrences of a word? How can one type occur more than once in another type? Is the conception of ‘structural universals’ that leads to these questions incoherent, as Lewis maintained? I argue against the answer Wetzel suggested, which identifies sentences with functions from numbers to expressions, and propose instead that occurrences of one type in another (...) are subtypes with different relative positions in the whole. Types have subtypes as well as tokens. Occurrences in non-symmetrical types like sequences are individuated by their relative positions in the type. Occurrences in a symmetrical whole have different positions but stand in the same relations to the other components. They are numerically different subtypes that do not differ from each other qualitatively. (shrink)

When quotations are used with a purely referential purpose, they are mostly used with the purpose of referring to expressions, in the sense of rather abstract expression types. However, in many cases purely referential quotations are used with the purpose of referring to things other than very abstract expression types, such as boldface types, sounds, particular tokens, etc. The paper deals with the question of what mechanism underlies the possibility of successfully referring to different things (...) and kinds of things with one and the same quotation. I defend the view that a quotation has as its semantic reference a certain very abstract expression type, and that the possibility of referring to other things by means of it is to be explained as a pragmatic phenomenon of felicitously conveyed speaker reference. (shrink)

Abstract It is widely assumed that the meaning of at least some types of expressions involves more than their reference to objects, and hence that there may be co-referential expressions which differ in meaning. It is also widely assumed that ?syntax does not suffice for semantics?, i.e. that we cannot account for the fact that expressions have semantic properties in purely syntactical or computational terms. The main goal of the paper is to argue against a third related assumption, namely (...) that what is responsible for a difference in meaning between co-referential expressions is the computational difference in the cognitive functioning of the expressions. ?Intentional aspects? of expressions?those features which their meanings involve in addition to reference?cannot be syntacticized, since they are individuated not in terms of any cognitive feature, but rather in terms of those properties of the referents through which the expressions refer to them, and cognitive features cannot determine such properties in exactly the same sense as they cannot determine reference. (shrink)

It is widely assumed that the meaning of at least some types of expressions involves more than their reference to objects, and hence that there may be co-referential expressions which differ in meaning. It is also widely assumed that “syntax does not suffice for semantics”, i.e. that we cannot account for the fact that expressions have semantic properties in purely syntactical or computational terms. The main goal of the paper is to argue against a third related assumption, namely that (...) what is responsible for a difference in meaning between co-referential expressions is the computational difference in the cognitive functioning of the expressions. “Intentional aspects” of expressions—those features which their meanings involve in addition to reference—cannot be syntacticized, since they are individuated not in terms of any cognitive feature, but rather in terms of those properties of the referents through which the expressions refer to them, and cognitive features cannot determine such properties in exactly the same sense as they cannot determine reference. (shrink)

The main objective of the paper is to provide a conceptual apparatus of a general logical theory of language communication. The aim of the paper is to outline a formal-logical theory of language in which the concepts of the phenomenon of language communication and language communication in general are defined and some conditions for their adequacy are formulated. The theory explicates the key notions of contemporary syntax, semantics, and pragmatics. The theory is formalized on two levels: token-level and type-level. As (...) such, it takes into account the dual – token and type – ontological character of linguistic entities. The basic notions of the theory: language communication, meaning and interpretation are introduced on the second, type-level of formalization, and their required prior formalization of some of the notions introduced on the first, token-level; among others, the notion of an act of communication. Owing to the theory, it is possible to address the problems of adequacy of both empirical acts of communication and of language communication in general. All the conditions of adequacy of communication discussed in the presented paper, are valid for one-way communication (sender-recipient); nevertheless, they can also apply to the reverse direction of language communication (recipient-sender). Therefore, they concern the problem of two-way understanding in language communication. (shrink)

We started from the fact that type theory, in the way it was implemented in IL, makes it costly to deal with nominalization processes. We have also argued that the type hierarchy as such doesn't play any real role in a grammar; the classification it provides for different semantic objects is already contained, in some sense, in the categorial structure of the grammar itself. So, on the basis of a theory of properties (Cocchiarella's HST*) we have tried to build a (...) language (IL*) whose syntax does not contain any explicit typing of expressions. Some of the consequences that this move brings about in the overall organization of the grammar can be summarized as follows:it allows for a simple treatment of infinitives, gerunds, factives and, in general, all those phenomena which might be analyzed as cases of nominalization;it provides a simpler and more constrained semantics than IL, since IL* doesn't go beyond second order, and its non-modal basis is axiomatizable;it suggests that the role of logical form in a theory of grammar could be that of a family of theories of semantic objects;it eliminates the extrinsic limitations of a type hierarchy on the choice of the system of syntactic categories.I think that it is interesting to notice how having an explicit semantic framework helps to provide a sense in which it is legitimate to regard the syntax of a language as ‘autonomous’. (shrink)

Qiyās, or “correlational inference” (often glossed as “analogy”), comprises a primary set of methodological tools recognized by a majority of premodern Sunnī jurists. Its elements, valid modes, and proper applications were the focus of continual argument and refinement. A particular area of debate was the methodology of determining or justifying the ʿilla: the legal cause (or occasioning factor, or ratio legis) giving rise to a ruling in God’s Law. This was most often discussed (and disputed) under the rubric of “the (...) modes of causal justification” (masālik al-taʿlīl). Among these modes was the much debated test of dawarān (concomitance of presumed cause and effect). In brief, proponents of dawarān employed it to justify claims that a property (waṣf) occasioned the ruling (ḥukm) in an authoritative source-case (aṣl). In concert with other considerations, the demonstrated co-presence (ṭard) and co-absence (ʿaks) of property and ruling—that is, their concomitance “in existence” (wujūdan) and “in nonexistence” (ʿadaman)— was taken as an indication that the property was the ruling’s ʿilla. Delving further into dawarān and causation (ʿilliyya), the current study interprets “in existence” and “in nonexistence” not as a kind of metaphor for true and false (within the framework of a classical truth-functional formal semantics), but as an accurate terminology vis-à-vis the meaning of causality statements, fully compatible with dominant Islamicate views on causal agency. In brief, a deeper logical and linguistic analysis of the different existential modes of dawarān strongly suggests that we should distinguish property (or phenomenon) and ruling (or effect) as types (concepts or propositions linguistically expressed by a sentence) as opposed to tokens (instantiations of the type; the real, ontological events that verify the proposition). Our reading of dawarān as shaped by a finer-grained structure not only allows us to identify the efficient occasioning process as a function which takes some particular token of the ʿilla (arguably, the property or properties which provide the ruling’s material cause) and renders a token of the general ruling type, but it allows us to elucidate the role of taʿlīl (causal justification) in shaping an epistemological theory of argument to the best explanation: a sophisticated, premodern manifestation of abductive reasoning. (shrink)

We use quotation marks when we wish to refer to an expression. We can and do so refer even when this expression is composed of characters that do not occur in our alphabet. That's why Tarski, Quine, and Geach's theories of quotation don't work. The proposals of Davidson, Frege, and C. Washington, however, do not provide a plausible account of quotation either. (Section I). The problem is to construct a Tarskian theory of truth for an object language that (...) contains quotation marks, without appealing to quotation marks in the metalanguage. I propose to supply Tarski's truth definition with one axiom that determines the denotation of all expressions containing quotation marks. According to this axiom, quotation marks create a non-extensional context. Since admitting such contexts does not lead to any difficulties in the recursive truth characterization, we may indeed dispense with extensionalism. (Section II). Finally, I argue that we classify and denote expressions in the very same way that we classify and denote extralinguistic entities. Both tokens and types of written signs can be easily incorporated into the naturalist's worldview. (Section III). (shrink)

The article investigates the significance of syntax in the multilingual EU law. It attempts to respond to the question whether syntax is apt to contribute to the uniformity of that law and how, with regard to this function, it relates to the (widely disputed yet uncontested) semantic and pragmatic methods of achieving such a uniformity. In order to respond to this question, the article firstly, recalls fundamental concepts which would help conceptualize the endeavour and, secondly, presents examples of analysis of (...) syntax arrangements which can be deemed representative for the study of the said problem of contribution. The study finds that EU law (expressed in 24 official languages which have equal authentic status) relies on diversified syntax of its respective constitutive languages. Syntax structures used in respective language versions of EU law represent narrower, law-specific, form of syntax structures available in these languages. Its specificity is determined mostly by legislative traditions of respective EU member states. Syntactic structures of EU law produced in different official languages do not represent a single pattern because of diversified mode of producing illocutionary value of provisions in which strongly idiomatic modal verbs (modal operators) and even special modal structures (not necessarily containing modal verbs) are used to express legal norms. They also differ when it comes to their law-specific compositionality, i.e. flexibility of different syntax structure to produce the same meaning and, in the same time, to preserve their genre/register informational value. Notwithstanding, these structures have well pronounced and system-significant common features within respective Germanic, Romanic, and Slavic families of languages in which EU law is mostly reproduced. The sentence structure and the relevant register of EU law provisions are the same for respective versions of EU texts of law expressed in the languages belonging to the respective three language families which were examined for the sake of this study. These common features are re-enforced by the synoptic mode of producing EU law which imposes formal resemblance of provisions reproduced in respective EU official languages to each other. The multilingual EU legislator also uses patterns which grant legal text the relevant register, yet its specific EU character ultimately transpires through semantic aspects of EU texts rather than their mere syntax. The unity of the system is achieved most strongly through the EU specific interpretation, where the teleological methods (which can be conceived as a language means to achieve EU law goals and objectives at the pragmatic level) are of utmost importance. Thus, there is no EU-specific syntax which would, as such, contribute to unity of EU law. Instead, unity is achieved in the area of semantics and pragmatics. The well exposed anaphoric character of EU law (as any other type of law) may contribute to narrowing down possibility for differentiation of respective language versions of EU law. (shrink)

Jerry Fodor now holds (1990) that the content of mental state types opaquely taxonomized (de dicto content: DDC) is determined by the 'orthographical' syntax + the computational/functional role of such states. Mental states whose tokens are both orthographically and truth-conditionally identical may be different with regard to the computational/functional role played by their respective representational cores. This make them tantamount to different contentful states, i.e. states with different DDCs, insofar as they are opaquely taxonomized. Indeed they cannot both be (...) truthfully ascribed to a single subject at the same time. Some years ago (1987), Fodor postulated a notion of mental content which also went beyond that of a mental state's truth-conditions. States whose tokens differ in their truth-conditions, or broad content, might, he claimed, still share a narrow content (NC), which was causally responsible for the shared behavior of the subjects of these states. For instance, two molecularly identical individuals, living in environments in all respects the same, except for the chemical substance of the phenomenically indistinguishable liquids filling their respective lakes and rivers, would behave similarly when having truth-conditionally different thoughts regarding those liquids. According to Fodor, this sameness of behavior was causally dependent on the sameness of the NC of the two individuals' truth-conditionally different thoughts. Now, this way of individuating mental states is still of interest for semantics. Indeed, NC allows one contextually to fix the broad content of a mental state token. Echoing Kaplan's notion of character,1 Fodor explained NC as a function that mapped contexts (of thought) onto broad contents. NC was thus invoked by Fodor mainly in order to account for sameness of intentional behavior. But DDC also plays a role in explaining intentional behavior, precisely by explaining why a subject whose thought-tokens have identical truthconditions may behave differently.. (shrink)

This paper defends a version of Davidson’s demonstrative theory of quotation and against against the Fregean identity theory (IT henceforth) as articulated and defended by Corey Washington (1992). On the Fregean view, when an expression is referred to by means of quotation the quoted material itself is a linguistic referring expression. Quotation-marks are not needed; when they are used, they serve to make clearer the shift in syntactic and semantic properties effected on the quoted material by its occupying (...) that linguistic context: whatever its usual syntactic function, the quoted material functions as a singular term; whatever its usual semantic function, in that linguistic environment the quoted material refers to itself. On DT, in contrast, quotation-marks themselves are the linguistic bearers of reference, functioning like a demonstrative; the quoted material merely plays the role of a demonstratum. In the version I argue for the referent is obtained through some contextually suggested relation; in the default case the relation will be: … instantiates the linguistic type __, but there are other possibilities. In this way, the view can deal with the fact that we do not merely refer with quotations to expression-types, but also to other entities related in some way to the relevant token we use: features exhibited by the token distinct from those constituting its linguistic type, features exhibited by other tokens of the same type but not by the one actually used (as when, by using a graphic token, we refer to its phonetic type), or even other related tokens. (shrink)

I defend a Deferred Ostension view of quotation, on which quotation-marks are the linguistic bearers of reference, functioning like a demonstrative; the quoted material merely plays the role of a demonstratum. On this view, the quoted material works like Nunberg’s indexes in his account of deferred ostensión in general. The referent is obtained through some contextually suggested relation; in the default case the relation will be … instantiates the linguistic type __, but there are other possibilities. In this way, the (...) deferred ostension view deals with a problem I pointed out for the identity proposal in my earlier work, that we do not merely refer with quotations to expression-types, but also to other entities related in some way to the relevant token we use: features exhibited by the token distinct from those constituting its linguistic type, features exhibited by other tokens of the same type but not by the one actually used (as when, by using a graphic token, we refer to its phonetic type), or even other related tokens (see the examples on p. 261 of García-Carpintero 1994). (shrink)

In his (1978) and parts of (1993), Philip Kitcher advances a new context-sensitive theory of reference which he applies to abandoned theoretical expression-types, such as Joseph Priestley’s ‘dephlogisticated air’, in order to show that, although qua types they fail to refer uniformly, they nonetheless have referential tokens. This piece offers a critical examination of Kitcher’s theory. After a general investigation into the overall adequacy of Kitcher’s theory as a general account of reference, I focus on the case (...) of abandoned theoretical terms. Kitcher’s theory is meant to be able to evaluate and solve disputes about referential continuity and progress in scientific theorychange. To this end, Kitcher employs the principle of humanity and a notion of the “correct historical explanation” of the production of each expression-token. I argue that the application of the principle of humanity does not offer a principled way to show that the historical actors were involved in different modes of reference when they produced different tokens of an expressiontype. I also suggest that the principle of humanity, coupled with Kitcher’s view that tokens of expression-types may systematically refer to different things, makes conceptual progress too easy and thus uninteresting. (shrink)

Suppose we think in a language of thought. Then Paul Boghossian' is prepared to argue, first, that there may be ambiguous Mentalese expression types that have unambiguous tokens, and, second, that the way in which this is possible allows for otherwise valid theoretical or practical reasoning to be rendered invalid owing to equivocation of a sort that may be undetectable to the reasoner. Paul sees this as a possible basis from which to launch an argument for what some (...) might call "narrow content", and this is a question I'll take up later. (shrink)

The expressions ‘form’, ‘structure’, ‘schema’, ‘shape’, ‘pattern’, ‘figure’, ‘mold’, and related locutions are used in logic both as technical terms and in metaphors. This paper juxtaposes, distinguishes, and analyses uses of [FOR these PUT such] expressions by logicians. No [FOR such PUT similar] project has been attempted previously. After establishing general terminology, we present a variant of traditional usage of the expression ‘logical form’ followed by a discussion of the usage found in the two-volume Chateaubriand book Logical Forms (2001 (...) and 2005)—the most comprehensive work on the subject ever written and in many ways the focus of this paper. Key Words: morphology, character, sense, sentence, proposition, form, structure, schema, alternative constituent, type, token . (shrink)

Many philosophers of language and mind have recognized the existence of two distinct kinds of content assigned to our linguistic and mental representations. Thus following Kaplan , the character is the linguistic meaning of an expression-type, while the content is the propositional content expressed by a token of that expression in a context. Perry applied Kaplan's distinction in the analysis of belief: the proposition p is what a subject S believes, and the belief state is that in virtue (...) of which S believes p; where belief states are individuated by the characters of the sentences that S is disposed to assert. And Barwise and Etchemendy distinguished between the infon and the Austinian proposition, where the former is the content to be evaluated with respect to a situation, and the latter is the complete content, including both the infon and the situation.The possibility of operating with two kinds of content arises when a distinction is drawn between two kinds of context-dependence. Since Kaplan, we are familiar with the idea that context determines both the content of a sentence containing an indexical and the circumstance with respect to which that content is evaluated. So, truth values depend on the context of utterance and on the circumstance of evaluation. Whether an utterance of ‘I feel elated’ is true or false depends on both which proposition is expressed, i.e. who the speaker is, and on whether that proposition is evaluated with respect to the time and world of the context. Variation in either factor makes for a potential change in truth value. Also well-known is Kaplan's idea that contents have relative truth conditions: they are true with respect to world-time-place triples. The temporal operator ‘now’ in ‘I feel elated now’ specifies the time with respect to which the proposition …. (shrink)

Crafted within a knowledge-first epistemological framework, Mona Simion’s engaging and wide-ranging work ensures that both the Knowledge Norm of Assertion (KNA) and Classical Invariantism (CI) can be part of a viable and productive research program.Dissatisfied with current strategies on offer in the literature, she successfully counters objections to the pair sourced in “shiftiness intuitions”—intuitions that seem to indicate that mere changes in practical context can impact the propriety of assertions and knowledge attributions. For example, in Keith DeRose’s famous pair of (...) low stakes versus high stakes bank cases, the consequences of Keith’s acting on The bank is open on Saturday if it were false change from trivial in low stakes to catastrophic in high stakes. We are to suppose that the proposition is true, and that Keith has access to the same quantity and quality of evidence for it in both cases. In low stakes, but not in high stakes, we are inclined to think that Keith can appropriately assert to his inquiring wife “The bank is open on Saturday.” In low stakes, Keith’s knowledge ascription “I know that the bank is open on Saturday” strikes us as aptly asserted and true. In high stakes only a knowledge denial on Keith’s part strikes us as aptly asserted and true.If we want to hang on to KNA, it looks like we will have to abandon CI and concede that ‘knows’ or knowledge is sensitive to changes in practical considerations. If we want to retain CI, we can try to say that, while Keith does still know that the bank is open on Saturday in high stakes, he does not have sufficient warrant to properly assert that it is. But such a move seems to run counter to KNA. We appear to be stuck in the Shiftiness Dilemma.Keen to get us out of the dilemma and to preserve the idea that epistemically good thinking and asserting are independent of practical concerns, Simion suggests a strategy that can also be used to protect other epistemic speech-act norms and notions from similar threats of practical shiftiness. She notes that having an impact on the degree of epistemic warrant required is not enough to make a norm an epistemic one. Fair enough. If I am given strong practical reason (a million dollars, or a gun to the head) not to adopt full belief until I have gathered more evidence, there is potentially some nonepistemic norm at work in the demand for further evidence. So it is a live possibility (indeed, a plausible one, as Simion would say) that our intuitions in the Shiftiness Dilemma are being misdescribed: they are tracking all-things-considered propriety of assertion, not epistemic propriety. In high stakes, practical norms override the epistemic norm KNA. Keith’s asserting “The bank is open on Saturday” would be epistemically proper but all-things-considered improper.Simion backs up her account with an etiological-function origin story and typology for the norms of assertion. Here is her characterization of etiological function for traits, artifacts, and actions. E-function.A token of type T has the e-function of type B of producing effect E in a system S iff (1) tokens of T produced E in the past, (2) producing E resulted in benefit of type B in S/S’s ancestors, and (3) producing E’s having B-benefited S’s ancestors contributes to the explanation of why T exists in S.In this schema, norms governing an action are typed by the functions or purposes of the action, which in turn are typed by the benefits the action delivers. The epistemic norm of assertion will be the one that characteristically and reliably enables participants in the practice of assertion to secure its primary epistemic good, which Simion identifies as knowledge (testimonial knowledge in hearers generated under normal conditions by the assertions of knowledgeable speakers). Moves in a practice either directly or indirectly aim at fulfilling the goal of the practice. Assertion is a move in the practice of inquiry, which has the generation of knowledge as its aim. Hence, Simion concludes, assertion aims at generating knowledge.This account helps to explain why, in cases like high stakes, Keith all-things-considered ought not to assert “The bank is open on Saturday,” even though he knows it is true. Prudential norms of assertion override the epistemic KNA, for when multiple functions come into conflict, the ones that are more important to the survival of the organism will generate weightier normative constraints.Simion then applies her account to the general category of constatives—for example, speech acts that express a speaker’s belief and the intention that the hearer form or continue to hold the like belief. Employing the taxonomy of Bach and Harnish, she argues that, as expressions of belief and hence varieties of assertion, constatives are subject to knowledge norms as well. Bach and Harnish identify fifteen different subcategories of constatives, each characterized in terms of the kind of belief and intention they express. The norms governing a species have to be at least as strong as the norms governing the corresponding type. As species of the type assertion, each subcategory, then, is subject to at least the necessary direction of KNA. Ultimately, we arrive at a knowledge norm for every speech act on the list, such as The Knowledge Norm of Conjecture (KNC):One’s conjecture that p is epistemically permissible only if one knows that there is reason, but not sufficient reason, to believe that p. Most of the proposed interpretations of various constatives are on the whole reasonable enough, though J. L. Austin would surely be unhappy to see so many different speech acts fashioned into varieties of assertion. Simion concludes with reflections on conjecturing, telling, and moral assertion.Construing the challenge of shiftiness intuitions in terms of the Shiftiness Dilemma allows Simion to declare success when the compatibility of KNA and CI with the relevant data of intuition is secured. Ensuring empirical adequacy for an explanatory framework is an important step, but pronouncements of victory by way of inference to the best explanation would be premature.Other candidates have been shown to match KNA’s familiar explanatory successes (involving lottery propositions, Moorean statements, etc.). Unlike KNA, alternatives that require only epistemically justified or rational belief or credence can allow that a subject is epistemically proper to assert what they believe when their belief is epistemically rational, even under conditions where there are defeating reasons that they are not in a position to be aware of. Furthermore, such norms seem better suited for philosophical or heated moral discussions where there is little consensus and individuals routinely fail to know that what they assert is true. Simion sounds the alarm that the Shiftiness Dilemma threatens to generalize “to epistemic normativity as a whole” (xi–xii), but norms concerning rational credence seem particularly immune.As Simion notes, the etiological-function model of norms that she proposes could be rebuilt with a different central epistemic aim at its core. Indeed, Millikan-inspired models along these lines are appealed to in other areas in philosophy where the concept of information takes center stage—a concept that may be more amenable to rigorous definition and use in dialogue with the sciences than knowledge. We can wonder, also, what special weight the etiological-function model accords to a knowledge-first perspective on epistemic normativity when the model is malleable in this way.The effectiveness of Simion’s strategy for shielding epistemically good thinking and assertion from practical shiftiness becomes less apparent when we try to apply it to Keith’s belief or judgment that the knowledge ascription/denial he asserts is true. It is unclear whether we are to suppose that, in high stakes, Keith epistemically ought to believe/judge that his asserted knowledge denial is false, but all-things-considered he ought to believe/judge that it is true. We do not have to accept that the knowledge-first, etiological function account of normativity for assertion carries over to belief, of course, but then what progress have we made in accounting for the shiftiness in Keith’s judgment that he knows the bank is open on Saturday in low stakes but not in high stakes?Furthermore, there are other ways to generate problems for fallibilist Classical Invariantists in low versus high stakes pairs of cases. Here is a simplified version of a puzzle from the debate over pragmatic encroachment. Consider low cases where you meet the invariant standards for knowing that p, but your justified confidence falls short of certainty. Among these cases, there must be some where you also meet the invariant standards for knowing that if p is true, then among your choices of action ϕ-ing results in the best overall outcome. Say, for instance, that you have a machine with a ϕ button, and your machine, which you know to be extremely reliable, tells you what the cost or benefit will be if you push the button and p is true versus if p is false. If you ϕ (push the ϕ button) and p is true, you win one hundred dollars; if you ϕ and p is false, you lose one hundred dollars. You face the choice: to ϕ or not to ϕ. Since you know that p, and you know that if p is true, then among your choices of action ϕ-ing results in the best overall outcome, you rationally conclude that ϕ-ing results in the best overall outcome, and hence that you ought to ϕ. If you know which choice of action has the best overall outcome, that is what you all-things-considered should do. Now consider high, where the quantity and quality of your evidence for p is the same, and you still know that your machine is extremely reliable. This time, however, the machine tells you that if you push ϕ and p is true, you win one hundred dollars, but if you push ϕ and p is false, you lose $1 million. Your rational confidence in p is not high enough to justify pushing the button, so you rationally conclude that you ought not to ϕ. Since in high nothing evidentially relevant has changed (all that has changed is the machine informing you of a new, more serious cost of acting on p if p is false), the classical invariantist will have to say that you still know that ϕ, and you still know that if p is true, then among your choices of action ϕ-ing results in the best overall outcome. So, according to CI, you should still be able to reason properly as follows: you know that p, and you know that if p is true, then among your choices of action ϕ-ing results in the best overall outcome, so you know that ϕ-ing results in the best overall outcome, hence you ought to ϕ. Classical invariantists owe us an explanation concerning how we can avoid the paradox here without conceding that knowledge is practically shifty. (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)

This study focuses on concepts and, ultimately, their possible implementation in brains. Especially salient is analysis of Jerry Fodor's work. The view of concepts found therein is one where many of both are "simple": to be ascribed or to token most concepts doesn't require being ascribed or tokening any other concepts, and most symbols lack "parts" which are themselves symbols. This is, I think, a very popular, and mistaken, view. ;In chapter 1, I argue that Fodor's theory of content is, (...) contra its goals, neither naturalistic nor atomistic. A deep mistake undermines both, viz. that there's no way to individuate a mental symbol non-semantically. This leads to chapter 2, where I explore the much neglected notion of Mentalese syntax. I argue that there are three possible principles of syntactic type individuation, and that these turn out not only to be incompatible but also inadequate for a "language of thought." I conclude that the idea of simple mental symbols is in trouble. ;This then allows me to argue in chapter 3 that we don't have to fear intentional holism , which sanctions the prevalence of complex concepts. I next sketch, in chapter 4, the sort of complex symbols needed to implement complex concepts. The chapter's bulk consists in an empirical argument for the complexity view via seven domains of current cognitive science, including concept context dependency, typicality effects, association, and reasoning. ;Chapter 5 concludes by exploring connectionism. I argue that, despite problems, connectionism seems on the right track in a way that Fodor's computationalism isn't. For example, it's more explicitly brain-like; in dropping the idea of mental computation over symbols it's free from the syntax problems of chapter 2; and, most important, it's highly compatible with the complexity view, which best characterized the cognitive processes of chapter 4. (shrink)

The conception of performative utterances proposed by John Langshaw Austin is unclear and provokes many fundamental questions. We compare this proposal with Jacek Juliusz Jadacki's conception of performatives, being much more precise one. We develop Jadacki's intuitions and propose to characterize performatives as expressions fulfilling a specific semantic function: A type-expression W is a performative generating an intentional state of affairs S iff there is a convention K and circumstances C such that the convention K says: if somebody utters (...) a token-expression W in circumstances C, so the state of affairs S will take place. Subsequently, we analyze the problem of correctness of performative utterances and relations between different criteria of correctness of performative acts. On the basis of these analyses, the paradox of annulled marriage is formulated and the problem of perfomatives in law is sketched. (shrink)

This paper offers a theory of quotation by uniting two apparently disparate extant theories, Recanati's pragmatic theory and Washington's identity theory. Recanati draws a distinction between open and closed quotations, and contends that open quotations do not refer. Washington argues that closed quotations refer to various expression types, not just orthographic and/or phonetic types. By combining these views, this paper proposes a theory, according to which quotations, open or closed, may be tokens of semantico-physical types (i.e., (...) meaningful expressions), and while those types are mentioned (or referred to) by closed quotations, they are used in open quotations. (shrink)

In the formation of extended noun phrases, expressions are used that describe some dimension. Weight is described by each of the prenominal expressions in heavy rock, too much ballast, 2 lb rock, 2 lbs of rocks. The central claim of this paper is that the position of these types of expressions within the noun phrase limits the kinds of dimensions they may describe. The limitations have to do with whether or not the dimension tracks relevant part-whole relations. An analogy (...) is made between these constraints and the well-known constraints on thematic relations that are incurred by the position of a noun phrase in a clause. A proposal is made about the meanings of expressions like too much and 2 pounds which explains their common cross-categorial distribution and this informs the analysis of their use in noun phrases. A position is taken on the meaning of the count mass distinction which, in conjunction with the hypothesis about dimensions, explains asymmetries in the distribution of prenominal adjectives with count and mass nouns. (shrink)

The aim of this paper is to help refine the definition of humans as “linguistic animals” in light of a comparative approach on nonhuman animals’ cognitive systems. As Uexküll & Kriszat (1934/1992) have theorized, the epistemic access to each species-specific environment (Umwelt) is driven by different biocognitive processes. Within this conceptual framework, I identify the salient cognitive process that distinguishes each species typical perception of the world as the faculty of language meant in the following operational definition: the ability to (...) connect different elements according to structural rules. In order to draw some conclusions about humans’ specific faculty of language, I review different empirical studies on nonhuman animals’ ability to recognize formal patterns of tokens. I suggest that what differentiates human language from other animals’ cognitive systems is the ability to categorize the units of a pattern, going beyond its perceptual aspects. In fact, humans are the only species known to be able to combine semantic units within a network of combinatorial logical relationships (Deacon 1997) that can be linked to the state of affairs in the external world (Wittgenstein 1922). I assume that this ability is the core cognitive process underlying a) the capacity to speak (or to reason) in verbal propositions and b) the general human faculty of language expressed, for instance, in the ability to draw visual conceptual maps or to compute mathematical expressions. In light of these considerations, I conclude providing some research questions that could lead to a more detailed comparative exploration of the faculty of language. (shrink)

One of the most basic stylistic characteristics of the Qur’ān is the agree-ment between syllables, sounds, lines and rhymes repeated at the end of the verses and give the same harmony. The question/problem “Are these words that have pleasant melodic structures and superior arts something that the Arabs of the 7th century Hejaz Region did not know, were not familiar with and did not hear, or are they expressions that existed in oral and literary types in their daily vocabulary (...) formed and embodied within the framework of well-known lexical customs and literary tastes?” is discussed in this article. For this purpose, the study examines the seciʿ and rhyming word structures in the verbal and literary discourses of the Jahiliya period Arabs. Then, based on the data in the ancient Islamic Literature, it examines the dialectical relationship of the melodic structures at the end of the verses of the Qur’ān with the characteristics of the seciʿ and rhyming literary products in the poems of the Arab poets of ignorance, and for the choice that the Arab society made it a custom and habit at that time to observe at the end of the words, and whether some rules of comparison of the language were abandoned or not. Of course, although the dialectical relationship between the seciʿ expression structures of the Qur’ān and the literary tastes of the Arabs of that period was addressed in the former literature with a weak and feeble voice between the lines, unfortunately, this has not been examined in modern studies yet. For this reason, we hope that the present study, which we think is original and authentic, will contribute to this field and as a result of the study, in which the literature review method was used, whether the harmonious, rhythmic, melodic sound and meter structures of the Qur’ān at the end of the verses are related to the literary tastes, lexical customs and traditions of the 7th century Arabs, or rather, these expressions were unknown to the Arabs of that day, will be uncovered along with the question whether it existed in a wonderful, transcendent and transcendent language and style that they were not familiar with, or in a local, regional, cultural anthropological nature that was compatible and agreeable with their tastes and expectations in that time. (shrink)

Introduction -- The type/token theory introduced -- Motivating the type/token theory : repeatability -- Nominalist approaches to the ontology of music -- Musical anti-realism -- The type/token theory elaborated -- Types I : abstract, unstructured, unchanging -- Types introduced and nominalism repelled -- Types as abstracta -- Types as unstructured entities -- Types as fixed and unchanging -- Types II : platonism -- Introduction : eternal existence and timelessness -- Types and properties -- (...) The eternal existence of properties reconsidered -- Types and patterns -- Defending the type/token theory I -- Unstructuredness and analogical predication -- Musical works as fixed and unchanging -- Abstractness and audibility (again) -- Works and interpretations -- Conclusion and resumé -- Defending the type/token theory II : musical platonism -- Platonism it is : replies to Anderson and Levinson -- The existence conditions of works of music -- Composition as creative discovery -- The nature of the compositional process : replies to objections -- Composition and aesthetic appraisal : a reply to Levinson -- Composition and aesthetic appraisal : understanding, interpretation, and correctness -- Musical works as continuants : a theory rejected -- A theory introduced -- Explicating and motivating the continuant view -- The continuant view and repeatability -- Further objections to the continuant view -- Musical works as compositional actions : a critique -- Currie's action-type hypothesis -- Davies's performance theory -- Sonicism I : against instrumentalism -- Sonicism introduced -- Sonicism motivated : moderate empiricism -- Instrumentation : timbral sonicism introduced -- Scores -- Instrumentation, artistic properties, and aesthetic content -- Levinson's rejoinder -- Sonicism II : against contextualism -- Introduction : formulating contextualism -- Contextualist ontological proposals -- Levinson's doppelgänger thought-experiments -- Artistic, representational, and object-directed expressive properties -- Aesthetic and non-object-directed expressive properties -- Conclusion : the place of context. (shrink)

BackgroundType-Token Ratio, given its relatively simple hand computation, is one of the few LSA measures calculated by clinicians in everyday practice. However, it has significant well-documented shortcomings; these include instability as a function of sample size, and absence of clear developmental profiles over early childhood. A variety of alternative measures of lexical diversity have been proposed; some, such as Number of Different Words/100 can also be computed by hand. However, others, such as Vocabulary Diversity and the Moving Average Type Token (...) Ratio rely on complex resampling algorithms that cannot be conducted by hand. To date, no large-scale study of all four measures has evaluated how well any capture typical developmental trends over early childhood, or whether any reliably distinguish typical from atypical profiles of expressive child language ability.Materials and MethodsWe conducted linear and non-linear regression analyses for TTR, NDW, VocD, and MATTR scores for samples taken from 946 corpora from typically developing preschool children, engaged in adult-child toy play, from the Child Language Data Exchange System. These were contrasted with 504 samples from children known to have delayed expressive language skills. We also conducted a separate sub-analysis which examined possible contextual effects of sampling environment on lexical diversity.ResultsOnly VocD showed significantly different mean scores between the typically -developing children and delayed developing children group. Using TTR would actually misdiagnose typical children and miss children with known language impairment. However, computation of VocD as a function of toy interactions was significant and emerges as a further caution in use of lexical diversity as a valid proxy index of children’s expressive vocabulary skill.DiscussionThis large scale statistical comparison of computer-implemented algorithms for expressive lexical profiles in young children with traditional, hand-calculated measures showed that only VocD met criteria for evidence-based use in LSA. However, VocD was impacted by sample elicitation context, suggesting that non-linguistic factors, such as engagement with elicitation props, contaminate estimates of spoken lexical skill in young children. Implications and suggested directions are discussed. (shrink)