To avoid difficulties that arise when we appeal to speaker intentions or multiple rules to determine the meaning of indexicals, Cohen (2013) recently defends a conventionalist account of these terms that focuses on their context of tokening. Apart from some tricky cases already discussed in the literature, however, such an account faces a serious difficulty: in many speech acts, multiple apparent tokens are produced – for example when a speaker speaks on a telephone, and her utterance is heard both (...) where she speaks, and at the location of the receiver of the call. The ‘token-contextual’ account seems to imply that in such cases a speaker will simultaneously produce multiple contradictory utterances. Here I argue that to resolve such problems we cannot help but to invoke speaker intentions. However, by appealing to intentions at the level of the metaphysics of semantic tokens, rather than to decide their meaning, the token-contextualist can make this appeal without reintroducing the difficulties associated with intentionalist accounts that she hopes to avoid. The resulting metaphysics of semantic tokens is, interestingly, more complex than we might have expected. -/- . (shrink)

To avoid difficulties facing intention-based accounts of indexicals, Cohen () recently defends a conventionalist account that focuses on the context of tokening. On this view, a token of ‘here’ or ‘now’ refers to the place or time at which it tokens. However, although promising, such an account faces a serious problem: in many speech acts, multiple apparent tokens are produced. If I call Alaska from Paris and say ‘I'm here now’, an apparent token of my utterance will be (...) produced in both Paris and Alaska. The token-contextual account seems to imply that in such cases I will refer to both places and contradict myself. Here I argue that to resolve this and similar puzzles we must realize that not all apparent semantic tokens really are semantic tokens, and that to decide which ones count we must appeal to speaker intentions. However, because this appeal is made at the level of the metaphysics of semantic tokens rather than to determine their meaning, it does not raise the problems associated with intentionalism that the conventionalist hopes to avoid. The metaphysics of semantic tokens uncovered is surprisingly complex, showing that shapes and sounds can transition in and out of being utterances. (shrink)

Reichenbachian approaches to indexicality contend that indexicals are "token-reflexives": semantic rules associated with any given indexical-type determine the truth-conditional import of properly produced tokens of that type relative to certain relational properties of those tokens. Such a view may be understood as sharing the main tenets of Kaplan's well-known theory regarding content, or truth-conditions, but differs from it regarding the nature of the linguistic meaning of indexicals and also regarding the bearers of truth-conditional import and truth-conditions. Kaplan (...) has criticized these approaches on different counts, the most damaging of which is that they make impossible a "logic of demonstratives". The reason for this is that the token-reflexive approach entails that not two tokens of the same sentential type including indexicals are guaranteed to have the same truth-conditions. In this paper I rebut this and other criticisms of the Reichenbachian approach. Additionally, I point out that Kaplan's original theory of "true demonstratives" is empirically inadequate, and claim that any modification capable of accurately handling the linguistic data would have similar problems to those attributed to the Reichenbachian approach. This is intended to show that the difficulties, no matter how real, are not caused by idiosincracies of the "token-reflexive" view, but by deep facts about indexicality. (shrink)

The classical rule of Repetition says that if you take any sentence as a premise, and repeat it as a conclusion, you have a valid argument. It's a very basic rule of logic, and many other rules depend on the guarantee that repeating a sentence, or really, any expression, guarantees sameness of referent, or semantic value. However, Repetition fails for token-reflexive expressions. In this paper, I offer three ways that one might replace Repetition, and still keep an interesting notion (...) of validity. Each is a fine way to go for certain purposes, but I argue that one in particular is to be preferred by the semanticist who thinks that there are token-reflexive expressions in natural languages. (shrink)

Synonymy, at its most basic, is sameness of meaning. A token-reflexive expression is an expression whose meaning assigns a referent to its tokens by relating each particular token of that particular expression to its referent. In doing so, the formulation of its meaning mentions the particular expression whose meaning it is. This seems to entail that no two token-reflexive expressions are synonymous, which would constitute a strong objection against token-reflexive semantics. In this paper, I propose and defend a notion (...) of synonymy for token-reflexive expressions that allows such expressions to be synonymous, while being a fairly conservative extension of the customary notion of synonymy. (shrink)

More than a century ago, G. E. Moore famously attempted to refute ethical naturalism by offering the so-called open question argument (OQA), also charging that all varieties of ethical naturalism commit the naturalistic fallacy. Although there is consensus that OQA and the naturalistic-fallacy charge both fail, OQA is sometimes vindicated, but only as an argument against naturalistic semantic analyses. The naturalistic-fallacy charge, by contrast, usually finds no takers at all. This paper provides new grounds for an OQA thus restricted. (...) But it aims chiefly at vindicating a version of the naturalistic fallacy, „the semantic-naturalist fallacy‟ (SNF), that we think defensible. We first argue that the openness of the question OQA raises against such analyses hinges on self-ascriptive, comparative judgments of content, which may be considered a priori warranted. We then provide independent reasons for the claim that the sort of mistake committed by naturalistic analyses in fact amounts to a pragmatic fallacy of a kind familiar in petitio principii and other forms of viciously circular inference. Of interest here are naturalistic analyses of ethical terms or concepts, not of properties. Our OQA (OQA*) raises an objection to the former. For no such semantic analyses can get off the ground unless moral terms are content-equivalent to purely descriptive terms, which amounts to saying that they must instantiate the same semantic types. Suppose „good‟ is the analysandum and „pleasure maximizing‟ the analysans (whichever purely descriptive term or terms would turn out to be the correct descriptive analysis of the target analysandum) of a certain semantic analysis. The claim that such terms are content-equivalent appears to be open to doubt on a priori grounds. After 1 all, whether one‟s own tokens of „good‟ and „pleasure maximizing‟ have/don‟t have the same content is a first-person, comparative judgment of content. Evaluating the proposed analysis requires, then, a self-ascriptive, comparative judgment of content.1 Judgments of this sort are thought to have a special epistemic status, since they seem grounded in neither evidence nor inference.. (shrink)

It's widely accepted that social facts about an individual's linguistic community can affect both the reference of her words and the concepts those words express. Theorists sympathetic to the internalist tradition have sought to accommodate these social dependence phenomena without altering their core theoretical commitments by positing deferential reference-fixing criteria. In this paper, we sketch a different explanation of social dependence phenomena, according to which all concepts are individuated in part by causal-historical relations linking token elements of thought.

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)

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)

In this paper, I analyze the semantics of the first person pronoun “I” from the perspective of the user/producer distinction. In the first part of the paper, I describe the Simple View and propose three interpretations of its thesis. In the second part, I analyze the notions of use and production of a linguistic token. In the next part, I show that all of the interpretations of SV are sensitive to counterexamples. In the end, I discuss possible answers of the (...) proponents of SV and argue against them. The first aim of this paper is to show that SV is wrong, and the second is to convince the reader that the user/producer distinction is of high importance in the philosophy of language. (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)

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 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)

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)

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)

Augustine famously claims every word is a name. Some readers take Augustine to thereby maintain a purely referentialist semantic account according to which every word is a referential expression whose meaning is its extension. Other readers think that Augustine is no referentialist and is merely claiming that every word has some meaning. In this paper, I clarify Augustine’s arguments to the effect that every word is a name and argue that ‘every word is a name’ amounts to the claim (...) that for any word, there exist tokens of that word which are autonymous nouns. Augustine takes this to be the result of universal lexical ambiguity or equivocity and I clarify how Augustine’s account of metalinguistic discourse, which is one of the most detailed to have survived from antiquity, differs from some ancient and modern theories. (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 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)

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)

Exactly how do the sign/symbol/token systems of endo- and exo-biosemiosis differ from those of cognitive semiosis? Do the biological messages that integrate metabolism have conceptual meaning? Semantic information has two subsets: Descriptive and Prescriptive. Prescriptive information instructs or directly produces nontrivial function. In cognitive semiosis, prescriptive information requires anticipation and “choice with intent” at bona fide decision nodes. Prescriptive information either tells us what choices to make, or it is a recordation of wise choices already made. Symbol systems allow (...) recordation of deliberate choices and the transmission of linear digital prescriptive information. Formal symbol selection can be instantiated into physicality using physical symbol vehicles (tokens). Material symbol systems (MSS) formally assign representational meaning to physical objects. Even verbal semiosis instantiates meaning into physical sound waves using an MSS. Formal function can also be incorporated into physicality through the use of dynamically-inert (dynamically-incoherent or -decoupled) configurable switch-settings in conceptual circuits. This paper examines the degree to which biosemiosis conforms to the essential formal criteria of prescriptive semiosis and cybernetic management. (shrink)

In current discussions on the problem of the metaphysical nature of the word, four factions – eliminativism, nominalism, originalism, and the type-token theory – take an active part. For eliminativism, words as separate entities do not exist; they are only a useful cognitive illusion. In the process of communication, competent speakers make sounds and inscriptions through which they are able to infer certain intentional contents of each other’s cognitive states. However, these sounds and inscriptions cannot be regarded as instances of (...) words since they do not possess the phonological and orthographic properties constitutive of words. For nominalism, by contrast, the streams of sounds and ink patterns produced by competent speakers serve as relevant instances of a particular word, or its tokens. What we usually call “words” are collections of such tokens, composed on the basis of similarity relations (phono- logical, orthographic or semantic). For originalism, the streams of sounds and ink patterns created by competent speakers are stages of words, understood as continuants, concrete ob- jects preserving identity over time, individualized by the causal history of their origin. Words are created by competent speakers through the practice of naming and spread through chains of interpersonal contact. The phonological, orthographic and semantic properties possessed by different stages of the same word are generally useless for a proper description of objects such as words. At different times of their existence, words can change any of their properties (pronunciation, spelling, and even reference) while preserving their identity in time. For the type-token theory, words are types, or abstract objects encoding a particular phonographic pattern, which in the process of communication must be instantiated by a competent native speaker by uttering or writing the appropriate token. The type-token theory has several ad- vantages over the views of eliminativism, nominalism and originalism. Firstly, it offers a unified ontology of linguistic structures (since the division into tokens and types extends here to the whole range of linguistic units, including sentences and letters). Secondly, unlike most of its competitors, it is able to present a clear operational criterion for word identity, while being consistent with most of our intuitive notions of intra- and cross-linguistic phenomena (homonymy, synonymy, etc.). (shrink)

There is much discussion about whether the human mind is a computer, whether the human brain could be emulated on a computer, and whether at all physical entities are computers (pancomputationalism). These discussions, and others, require criteria for what is digital. I propose that a state is digital if and only if it is a token of a type that serves a particular function - typically a representational function for the system. This proposal is made on a syntactic level, assuming (...) three levels of description (physical, syntactic, semantic). It suggests that being digital is a matter of discovery or rather a matter of how we wish to describe the world, if a functional description can be assumed. Given the criterion provided and the necessary empirical research, we should be in a position to decide on a given system (e.g. the human brain) whether it is a digital system and can thus be reproduced in a different digital system (since digital systems allow multiple realization). (shrink)

Recent work in formal semantics suggests that the language system includes not only a structure building device, as standardly assumed, but also a natural deductive system which can determine when expressions have trivial truth-conditions (e.g., are logically true/false) and mark them as unacceptable. This hypothesis, called the `logicality of language', accounts for many acceptability patterns, including systematic restrictions on the distribution of quantifiers. To deal with apparent counter-examples consisting of acceptable tautologies and contradictions, the logicality of language is often paired (...) with an additional assumption according to which logical forms are radically underspecified: i.e., the language system can see functional terms but is `blind' to open class terms to the extent that different tokens of the same term are treated as if independent. This conception of logical form has profound implications: it suggests an extreme version of the modularity of language, and can only be paired with non-classical---indeed quite exotic---kinds of deductive systems. The aim of this paper is to show that we can pair the logicality of language with a different and ultimately more traditional account of logical form. This framework accounts for the basic acceptability patterns which motivated the logicality of language, can explain why some tautologies and contradictions are acceptable, and makes better predictions in key cases. As a result, we can pursue versions of the logicality of language in frameworks compatible with the view that the language system is not radically modular vis-a-vis its open class terms and employs a deductive system that is basically classical. (shrink)

This article analyzes whether Brandom’s ISA (inferential-substitutional-anaphoric) semantics as presented in Making It Explicit (MIE) and Articulating Reasons (AR) can cope with problems resulting from inferentialism’s near-implied meaning holism. Inferentialism and meaning holism entail a radically perspectival conception of content as significance for an individual speaker. Since thereby its basis is fixed as idiolects, holistic inferentialism engenders a communication-problem. Brandom considers the systematic difference in information among individuals as the „point“ of communication and thus doesn’t want to diminish these effects (...) of inferentialism. Instead, explains communication with a model of “navigating among perspectives without sharing contents”. The crucial element in this navigation-model is the functioning of anaphoric connections between tokens uttered in discourse that can be used by every individual speaker in their own perspectival semantic substitution-economies. The heart of Brandom’s semantics is the thesis of the purely inferential, hence non-referential nature of anaphora, coupled with the claim that anaphoric-inferential semantic mechanisms yield sufficient conditions for mutually successful “information-extraction” or interpretation. This article disputes the thesis and denies the claim. Regarding the former it is observed that all of Brandom’s plausible reconstructions of anaphoric discourse-structures rely on covert “reference-infiltrations” that can’t be eliminated. Regarding the latter, a new argument based on context-sensitive semantic phenomena in anaphoric settings shows that the crucial distinction between initiator or anaphoric antecedent and anaphoric dependent cannot be drawn according to Brandom’s own premises without overt and irreducible referential premises. The article concludes that either Brandom’s semantics can offer determinate contents, but then must accept genuinely referential semantic primitives, or else it leaves utterance-contents undeterminable and hence cannot explain communication. (shrink)

In this paper I consider the idea of external language and examine the role it plays in our understanding of human linguistic practice. Following Michael Devitt, I assume that the subject matter of a linguistic theory is not a psychologically real computational module, but a semiotic system of physical entities equipped with linguistic properties. 2 What are the physical items that count as linguistic tokens and in virtue of what do they possess phonetic, syntactic and semantic properties? According (...) to Devitt, the entities in question are particular bursts of sound or bits of ink that count as standard linguistic entities3 — that is, strings of phonemes, sequences of words and sentences — in virtue of the conventional rules that constitute the structure of the linguistic reality. In my view, however, the bearers of linguistic properties should rather be understood as complex physical states of affairs — that I call, following Ruth G. Millikan, complete linguistic signs4 — within which one can single out their narrow and wide components, that is, (0 sounds or inscriptions produced by the speaker and (if) salient aspects of the context of their production. Moreover, I do not share Devitt's view on the nature of linguistic properties. Even though I maintain the general idea of convention-based semantics — according to which semantic properties of linguistic tokens are essentially conventional — I reject the Lewisian robust account of conventionality. Following Millikan, I assume that language conventions involve neither regular conformity nor mutual understanding. (shrink)

Sophisticated dispositionalism proposes a naturalist reduction of mental content by claiming that the semantic content of a mental symbol is determined by the causes of the occurrence of this symbol under ideal conditions, i.e., conditions under which only the referent of a symbol can cause its tokening. However, Paul Boghossian developed the open-endedness objection in order to show that it is not possible to specify these ideal conditions in non-semantic terms, entailing that the naturalist reduction of mental content (...) proposed by sophisticated dispositionalism is not viable. My goal in this paper is to argue that the open-endedness objection is flawed. (shrink)

In this paper, I argue against the claim recently defended by Josh Weisberg that a certain version of the self-representational approach to phenomenal consciousness cannot avoid a set of problems that have plagued higher-order approaches. These problems arise specifically for theories that allow for higher-order misrepresentation or—in the domain of self-representational theories—self-misrepresentation. In response to Weisberg, I articulate a self-representational theory of phenomenal consciousness according to which it is contingently impossible for self-representations tokened in the context of a conscious mental (...) state to misrepresent their objects. This contingent infallibility allows the theory to both acknowledge the (logical) possibility of self-misrepresentation and avoid the problems of self-misrepresentation. Expanding further on Weisberg’s work, I consider and reveal the shortcomings of three other self-representational models—put forward by Kreigel, Van Gulick, and Gennaro—in order to show that each indicates the need for this sort of infallibility. I then argue that contingent infallibility is in principle acceptable on naturalistic grounds only if we attribute (1) a neo-Fregean kind of directly referring, indexical content to self-representational mental states and (2) a certain ontological structure to the complex conscious mental states of which these indexical self-representations are a part. In these sections I draw on ideas from the work of Perry and Kaplan to articulate the context-dependent semantic structure of inner-representational states. (shrink)

A speaker's use of a declarative sentence in a context has two effects: it expresses a proposition and represents the speaker as knowing that proposition. This essay is about how to explain the second effect. The standard explanation is act-based. A speaker is represented as knowing because their use of the declarative in a context tokens the act-type of assertion and assertions represent knowledge in what's asserted. I propose a semantic explanation on which declaratives covertly host a "know"-parenthetical. (...) A speaker is thereby represented as knowing the proposition expressed because that is the semantic contribution of the parenthetical. I call this view parentheticalism and defend that it better explains knowledge representation than alternatives. As a consequence of outperforming assertoric explanations, parentheticalism opens the door to eliminating the act-type of assertion from linguistic theorizing. (shrink)

Sometimes, thinking a thought and saying something to oneself are the same event. Call this the ‘thinking-as-speaking’ thesis. It stands in opposition to the idea that we think something first, and then say it. One way to argue for the thesis is to show that the content of a token thought cannot be fully represented by a token mental state before the production of the utterance which expresses it. I make an argument for that claim based on speech act theory. (...) Many inner speech utterances are inner speech acts; as such they are individuated by an amalgam of semantic content and illocutionary force, which only come together with the performance of the speech act. Call the performance of a speech act its meaning and call its meaning its content. Since a token thought is individuated by its content it follows that the content of the speech act is not represented by any token mental state before the speech act is performed. Metaphysically, a thought, when it is an inner speech act, is not an object of any kind, but an action – the action of performing the speech act. I illustrate my argument with the action of deciding something. (shrink)

According to some views, natural language suffers from underdeterminacy, but thought doesn’t. According to the underdeterminacy claim, sentence types underdetermine the truth-conditions of sentence tokens. In particular, the semantics of a predicate type seems to underdetermine the satisfaction conditions of its tokens. By contrast, mental representation-types are supposed to determine the truth-conditions of its tokens. In this paper I critically examine these mixed views. First, I argue that the arguments supporting the indispensability of including in one’s theory (...) mental representations that are free of the underdeterminacy exhibited by natural language are not sound. As a result, the possibility that mental representation-types are as underdetermined as natural language sentence-types has not been ruled out. Second, I argue that Carston’s ad hoc concept-types are as underdetermined as word-types. I finish by arguing that mental representations are also underdetermined in a second sense—mental representation-tokens only determine a partial function from possible worlds to truth-values. (shrink)

Demonstratives (words like ‘this’ and ‘that’) and indexicals (words like ‘I’, ‘here’, and ‘now’) seem intuitively to form a semantic family. Together they form the basic set of directly referring ‘context sensitive’ terms whose reference changes as the environment or identity of the speaker changes. Something that we might expect of a semantics for indexicals is therefore that it would be closely related to a semantics of demonstratives, although recent approaches have generally treated them separately. A promising new theory (...) of indexicals is the ‘token-contextual’ account, which accounts for a wide range of uses of indexicals without encountering the problems faced by competing models. So far this theory has not been considered for demonstratives, however, but only for the indexicals ‘I’, ‘here’ and ‘now’. In this paper I show that the token-contextual account can be elegantly extended to cover demonstratives. Doing so restores unity to our understanding of a natural semantic family, and allows us to identify a single rule governing the most basic context-sensitive terms. (shrink)

Perception is riddled with cases of reliable misperception. These are cases in which a perceptual state is tokened inaccurately any time it is tokened under normal conditions. On the face of it, this fact causes trouble for theories that provide an analysis of perceptual content in non-semantic, non-intentional, and non-phenomenal terms, such as those found in Millikan (1984), Fodor (1990), Neander (2017), and Schellenberg (2018). I show how such theories can be extended so that they cover such cases without (...) giving up their core commitments. (shrink)

One of Moore’s paradoxical sentence types is ‘P, but I believe ~P’. Mooreans have assumed that all tokens of that sentence type are absurd in some way: epistemically, pragmatically, semantically, or assertively. And then they proceed to debate what the absurdity really is. I argue that if one has the appropriate philosophical views, then one can rationally assert tokens of that sentence type, and one can be epistemically reasonable in the corresponding compound belief as well.

The project of this paper is to deliver a semantics for a broad subset of bare plural generics about racial kinds, a class which I will dub 'Type C generics.' Examples include 'Blacks are criminal' and 'Muslims are terrorists.' Type C generics have two interesting features. First, they link racial kinds with ​ socially perspectival predicates ​ (SPPs). SPPs lead interpreters to treat the relationship between kinds and predicates in generic constructions as nomic or non-accidental. Moreover, in computing their content, (...) interpreters must make implicit reference to socially privileged​ ​ perspectives which are treated as authoritative about whether a given object fits into the extension of the predicate. Such deference grants these authorities influence over both the conventional meaning of these terms and over the nature of the ​ objects ​ in the social ontology that these terms purport to describe, much the way a baseball umpire is authoritative over the meaning and metaphysics of 'strike'/​ strike ​. Second, terms like 'criminal' and 'terrorist' receive default ​ racialized ​ interpretations in which these terms conventionally token racial or ethnic identities. I show that neither of these features can be explained by Sarah-Jane Leslie's influential 'weak semantics' for generics, and show how my own 'socially perspectival semantics' fares better on both counts. Finally, I give an analysis of 'Blacks are criminal' which explores the semantic mechanisms that underlie default racialized interpretations. (shrink)

The main question of metasemantics, or foundational semantics, is why an expression token has the meaning (semantic value) that it in fact has. In his reading of Ludwig Wittgenstein’s later work, Saul Kripke presented a skeptical challenge that threatened to make the foundational question unanswerable. My first contention in this paper is that the skeptical challenge indeed poses an insoluble paradox, but only for a certain kind of metasemantic theory, against which the challenge effectively works as a reductio ad (...) absurdum argument. My second contention is that as a result of rejecting the theory which entails a paradoxical outcome, we will see that the foundational question essentially involves a temporal dimension. After arguing that the skeptical challenge gives us a strong reason to adopt a historical view of meaning, I shall further argue against certain authors who claim that meanings not only have histories but futures as well, or that the meaning of a word may change retroactively in time as a consequence of counterfactual change in its future use. The major aim of the paper is thus to bring together the arguably interrelated debates about the skeptical challenge and temporal externalism in philosophy of language. (shrink)

This paper attempts to define indexicality so as to semantically distinguish indexicals from proper names and definite descriptions. The widely-accepted approach that says that indexical reference is distinctive in being dependent on context of use is criticized. A reductive approach is proposed and defended that takes an indexical to be (roughly) an expression that either is or is equivalent to ‘here’ or ‘now’, or is such that a tokening of it refers by relating something to the place and/or time that (...) would have been referred to had ‘here’ and ‘now’ been tokened instead. Alternative reductive approaches are criticized. (shrink)

A comprehensive introduction to the Language of Though Hypothesis (LOTH) accessible to general audiences. LOTH is an empirical thesis about thought and thinking. For their explication, it postulates a physically realized system of representations that have a combinatorial syntax (and semantics) such that operations on representations are causally sensitive only to the syntactic properties of representations. According to LOTH, thought is, roughly, the tokening of a representation that has a syntactic (constituent) structure with an appropriate semantics. Thinking thus consists in (...) syntactic operations defined over representations. Most of the arguments for LOTH derive their strength from their ability to explain certain empirical phenomena like productivity, systematicity of thought and thinking. (shrink)

Recording devices are generally taken to present problems for the standard Kaplanian semantics for indexicals. In this paper, I argue that the remote utterance view offers the best way for the Kaplanian semantics to handle the recalcitrant data that comes from the use of recording devices. Following Sidelle I argue that recording devices allow agents to perform utterances at a distance. Using the essential, but widely ignored, distinction between tokens and utterances, I develop the view beyond the initial sketch (...) given by Sidelle, and I answer the main objections raised against the view. The paper is structured as follows. Section 1 gives a succinct presentation of Kaplanian semantics and of the problem raised by the use recording devices, Section 2 presents the remote utterance view and Section 3 answers the objections put forward against the view and further develops it. I conclude that the remote utterance view can handle the data that comes from the use of recording devices with only modest modifications of the Kaplanian semantics. (shrink)

Existing metasemantic projects presuppose that word- (or sentence-) types are part of the non-semantic base. We propose a new strategy: an endogenous account of word types, that is, one where word types are fixed as part of the metasemantics. On this view, it is the conventions of truthfulness and trust that ground not only the meaning of the words (meaning by convention) but also what the word type is of each particular token utterance (words by convention). The same treatment (...) extends to identifying the populations through which the conventions prevail. We consider whether this proposal leads to new underdetermination challenges for metasemantics, and make a case that it does not. (shrink)

Noam Chomsky’s well-known claim that linguistics is a “branch of cognitive psychology” has generated a great deal of dissent—not from linguists or psychologists, but from philosophers. Jerrold Katz, Scott Soames, Michael Devitt, and Kim Sterelny have presented a number of arguments, intended to show that this Chomskian hypothesis is incorrect. On both sides of this debate, two distinct issues are often conflated: (1) the ontological status of language and (2) the relation between psychology and linguistics. The ontological issue is, I (...) will argue, not the relevant issue in the debate. Even if this Chomskian position on the ontology of language is false, linguistics may still be a subfield of psychology if the relevant methods in linguistic theory construction are psychological. Two options are open to the philosopher who denies Chomskian conceptualism: linguistic nominalism or linguistic platonism. The former position holds that syntactic, semantic, and phonological properties are primarily properties, not of mental representations, but rather of public languagesentence tokens; The latter position holds that the linguistic properties are properties of public language sentence types. I will argue that both of these positions are compatible with Chomsky’s claim that linguistics is a branch of psychology, and the arguments that have been given for nominalism and platonism do not establish that linguistics and psychology are distinct disciplines. (shrink)

I argue that what determines whether a science is ‘formal’ or ‘empirical’ is not the ontological status of its objects of study, but, rather, its methodology. Since all sciences aim at generalizations, and generalizations concern types, if types are abstract (non-spatiotemporal) objects, then all sciences are concerned to discover the nature of certain abstract objects. What distinguishes empirical from formal sciences is how they study such things. If the types of a science have observable instances (‘tokens’), then the nature (...) of the types may be determined empirically. If they types have either abstract tokens, or no tokens at all, their nature must be determined by non-empirical methods involving intuition, reasoning and proof. I conclude that the status of (theoretical) linguistics depends on the methodologies of syntax, semantics, phonology, morphology and orthography (and any other subdiscipline that is concerned with the study of the structure of language). (shrink)

The paper is an attempt at a logical explication of some crucial notions of current general semantics and pragmatics. A general, axiomatic, formal-logical theory of meaning and interpretation is outlined in this paper.In the theory, accordingto the token-type distinction of Peirce, language is formalised on two levels: first as a language of token-objects (understood as material, empirical, enduring through time-and space objects) and then – as a language of type-objects (understood as abstract objects, as classes of tokens). The basic (...) concepts of the theory, i.e. the notions: meaning, denotation and interpretation of well-formed expressions (wfes) of the language are formalised on the type-level, by utilising some semantic-pragmatic primitive notions introduced on the token-level. The paper is divided into two parts.In Part Ia theoryof meaningand denotation is proposed, and in Part II - its expansion to the theory of meaning and interpretation is presented.The meaninga wfe is defined as an equivalence class of the relation possessing the same manner of using types (cf. Ajdukiewicz [1934], Wittgenstein [1953]). The concept of denotation is defined by means of the relation of referring which holds between wfe-types and objects of reality described by the given language. (shrink)

In this paper, I argue that sentences that contain ‘omission’ tokens that appear to function as singular terms are meaningful while maintaining the view that omissions are nothing at all or mere absences. I take omissions to be fictional entities and claim that the way in which sentences about fictional characters are true parallels the way in which sentences about omissions are true. I develop a pragmatic account of fictional reference and argue that my fictionalist account of omissions implies (...) a plausible account of the metaphysics of omissions. (shrink)

Starting from the basic premises of Schank's notion of indexing in story telling and the representational approach of language, this paper investigates whether fairy tales create initial indexes for children, that may be re-indexed later in adult life, by reshaping their pre-existing experiences. More specifically, it focuses on the way fairy tales present several concepts already familiar to children, and whether this representation matches children’s pre-existing experiences. The data collected comes from several of Grimm Brothers' fairy tales and consists of (...) a corpus of 62839 word tokens. The fairy tales included were thematically related to general areas of everyday experience: femininity, blackness, whiteness, day, night, being young, ageing. The following semantically contradictory lexical pairs were examined in the expanded concordance, in relation to their collocations and semantic associations: old - young, woman - maiden, day - night, white - black. These were then compared with an adults’ and a children’s dictionary to check whether the collocations, semantic associations of the selected words as portrayed in the data, matched the societally accepted meanings found in dictionaries. The comparison indicated that, although the connotative meanings were included in the majority of denotative meanings that make up words' definitions in the adult dictionary examined, only five of them matched the connotative meanings of the words examined in the data. On the other hand, the way the above concepts/words were presented in the children’s dictionary, was very simple, probably reflecting children’s experiences. It seems, thus, that the concepts - at least some of them - presented in the fairy tales examined, do not “officially” relate to children's but to adults' experiences, functioning as an index that re-shapes children’s pre-existing concepts. (shrink)

In order to understand a sentence, one must know the relevant semantic rules. Those rules are not learned in a vacuum; they are given to one through one's senses. As a result, knowledge of semantic rules sometimes comes bundled with semantically irrelevant, but cognitively non-innocuous, knowledge of the circumstances in which those rules were learned. Thus, one must work through non-semantic information in order to know what is literally meant by a given sentence-token. A consequence is that (...) one's knowledge of what is literally meant by a given sentence-token is sometimes embedded in non-semantic knowledge, resulting in a cleavage between what that sentence-token literally means and what the auditor in question takes it to mean. Such deviations obviously have nothing to do with the principles put forth by Grice, since those principles only concern sentence-tokens that have already been understood---since, to put it another way, those principles only concern post-semantic implicature. The just-described deviations are appropriately described as being due to "pre-semantic implicature." Given the phenomenon of pre-semantic implicature, it is easily shown that Russell's Theory of Descriptions, if taken as a theory of literal meaning, is false. In the present volume, these rather elementary principles are entirely ignored, and all of the articles in it are sterile repetitions of the points made by Russell and Strawson. The blinkered approach to language embodied in this volume must be reconsidered in light of psychological principles relating to language-acquisition and language-use. Unfortunately, analytic philosophers shy away from such topics, as is made clear by the papers in this grim volume. (shrink)

My paper examines the popular idea, defended by Kripke, that meaning is an essentially normative notion. I consider four common versions of this idea and suggest that none of them can be supported, either because the alleged normativity has nothing to do with normativity or because it cannot plausibly be said that meaning is normative in the sense suggested. I argue that contrary to received opinion, we don’t need normativity to secure the possibility of meaning. I conclude by considering the (...) repercussions of rejecting semantic normativity on three central issues: justification, communication, and naturalism. (shrink)

Moeser suggested participants default to linear ordering elements but they can be primed to impose either linear or partial ordering. This study seems problematic insofar as ‘greater than’ might be understood to incline participants to favor linear orderings. Recent follow-up studies strongly suggest participants do not default to linear ordering. It seems plausible, moreover, that the observed priming effect is far more pervasive than Moeser countenanced. The present work explores the extent to which priming for linear or partial orders conflicts (...) with the construction of linear or partial ordering lists. Our two experiments suggest friction between priming and task, and also show once the priming tasks are cleared of potentially confounding semantic content, participants perform equally with respect to constructing linear or partial orders under similar priming conditions. (shrink)

Tagging is the phenomenon in which regions of a picture, map, or diagram are annotated with words or other symbols, to provide descriptive information about a depicted object. The interpretive principles that govern tagged images are not well understood, due in part to the difficulty of integrating pictorial and linguistic semantic rules. Rather than directly combining these rules, I propose to use the framework of perspectival feature maps as an intermediary representation of content, in which the outputs of pictorial (...) and linguistic interpretation may be assimilated. The result is a simple and compositional semantics for tagged images. (shrink)

I argue that semantics is the study of the proprietary database of a centrally inaccessible and informationally encapsulated input–output system. This system’s role is to encode and decode partial and defeasible evidence of what speakers are saying. Since information about nonlinguistic context is therefore outside the purview of semantic processing, a sentence’s semantic value is not its content but a partial and defeasible constraint on what it can be used to say. I show how to translate this thesis (...) into a detailed compositional-semantic theory based on the influential framework of Heim and Kratzer. This approach situates semantics within an independently motivated account of human cognitive architecture and reveals the semantics–pragmatics interface to be grounded in the underlying interface between modular and central systems. (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)