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)

Language exists because human subjects define themselves in the circumstance they are in. This is possible because they are able to know, not directly through their senses only, but adding something new to the construct they create in their conscience. The main thing they add to the construct created is categories, something invented or fabricated by the human subject at the moment of speaking.

One well known problem regarding quantifiers, in particular the 1storder quantifiers, is connected with their syntactic categories and denotations. The unsatisfactory efforts to establish the syntactic and ontological categories of quantifiers in formalized first-order languages can be solved by means of the so called principle of categorial compatibility formulated by Roman Suszko, referring to some innovative ideas of Gottlob Frege and visible in syntactic and semantic compatibility of language expressions. In the paper the principle is introduced for (...) class='Hi'>categorial languages generated by the Ajdukiewicz’s classical categorial grammar. The 1st-order quantifiers are typically ambiguous. Every 1st-order quantifier of the type k > 0 is treated as a two-argument functorfunction defined on the variable standing at this quantifier and its scope (the sentential function with exactly k free variables, including the variable bound by this quantifier); a binary function defined on denotations of its two arguments is its denotation. Denotations of sentential functions, and hence also quantifiers, are defined separately in Fregean and in situational semantics. They belong to the ontological categories that correspond to the syntactic categories of these sentential functions and the considered quantifiers. The main result of the paper is a solution of the problem of categories of the 1st-order quantifiers based on the principle of categorial compatibility. (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)

Some language encourages essentialist thinking. While philosophers have largely focused on generics and essentialism, I argue that nouns as a category are poised to refer to kinds and to promote representational essentializing. Our psychological propensity to essentialize when nouns are used reveals a limitation for anti-essentialist ameliorative projects. Even ameliorated nouns can continue to underpin essentialist thinking. I conclude by arguing that representational essentialism does not doom anti-essentialist ameliorative projects. Rather it reveals that would-be ameliorators ought to attend to the (...) propensities for our representational devices to essentialize and to the complex relationship between essentialism and prejudice. (shrink)

The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and universal constructions in the Sets, the category of sets and functions. The analysis extends directly to other concrete categories (groups, rings, vector spaces, etc.) where the objects are sets with a certain type of structure and the morphisms are functions that preserve that structure. Then the elements & distinctions-based definitions can be (...) abstracted in purely arrow-theoretic way for abstract category theory. In short, the language of elements & distinctions is the conceptual language in which the category of sets is written, and abstract category theory gives the abstract arrows version of those definitions. (shrink)

This paper is an essay in what Austin (_Proc Aristotel Soc_ 57: 1–30, 1956–1957) called "linguistic phenomenology". Its focus is on showing how the grammatical features of ordinary causal verbs, as revealed in the kinds of linguistic constructions they can figure in, can shed light on the nature of the processes that these verbs are used to describe. Specifically, drawing on the comprehensive classification of English verbs founds in Levin (_English verb classes and alternations: a preliminary investigation_, University of Chicago (...) Press, Chicago, 1993), I divide the forms of productive causal processes into five classes, corresponding to Aristotle's ontological categories: there are processes that cause change in location, in state, and in quantity; and that lead to the creation and destruction of substances. These broader categories are then subdivided into other ones, corresponding to different Levin classes, according to further differences in the causal processes they involve. I conclude by discussing the relevance of this argument to research in metaphysics and experimental philosophy. (shrink)

The aim of natural language ontology is to uncover the ontological categories and structures that are implicit in the use of natural language, that is, that a speaker accepts when using a language. This article aims to clarify what exactly the subject matter of natural language ontology is, what sorts of linguistic data it should take into account, how natural language ontology relates to other branches of metaphysics, in what ways natural language ontology is important, and what may be distinctive (...) of the ontological categories and structures reflected in natural language. (shrink)

Language was central to Hobbes's understanding of human beings and their mental abilities, and criticism of other philosophers' uses of language became a favorite critical tool for him. This paper connects Hobbes's theories about language to his criticisms of others' language, examining Hobbes's theories of propositions and truth, and how they relate to his claims that various sorts of proposition are absurd. It considers whether Hobbes in fact means anything more by 'absurd' than 'false'. And it pays particular attention to (...) Hobbes's categorization of causes of absurdity and of types of incoherent proposition, arguing that Hobbes's approach is only loosely related to later discussions of category mistakes. (shrink)

Frege's conception of the logical categories has vexed commentators for decades. In this dissertation, I argue that it revolves around two forms of internality. The first is the internality of its use in the expression of judgment to the sign. A proper understanding of that internality reveals how Frege's philosophical logic cannot be fit into the framework given by the contemporary syntax/semantics distinction. The second is the internality that obtains between the way in which Begriffsschrift signs stratify into different categories, (...) on the one hand, and the way in which the realm of Bedeutungen stratifies into logical categories, on the other hand. A proper understanding of this internality reveals how Frege's conception of the relation between language and the world is neither a form of realism nor a form of linguistic idealism. To come to understand Frege's conception of the logical categories, is to come to understand both these forms of internality by coming to understand how they hang together. (shrink)

First, I briefly recapitulate the main points of Rosen’s article, namely, that the word “Being” does not adequately signify the paradoxical unification of subject and object and that the Klein bottle can serve as a more appropriate sign -vehicle than the word. I then propose to apply his insight more widely; however, in order to do that, it is first necessary to identify infra- and exostructures of language, including culture, category structure, logic, metaphor, semantics, syntax, concept, and sign vehicles, that (...) preserve the status quo and keep subject and object disjunct. After analyzing those infra/exostructures, I engage a complementary process of integrating them, coagula, in order to spark ideas for innovating ways in which more of those facets of language can embrace paradox. (shrink)

A discussion of the relation of dialectical transitions in Hegel's speculative logic to changes in categories and grammar in the empirical historical languages.

The origin of languages was a hotly debated topic in the eighteenth century. This paper reconstructs a distinctively Kantian account according to which the origination, progression, and diversification of languages is at bottom reason’s self-development under certain a priori constraints and external environments. The reconstruction builds on three sets of materials. The first is Herder’s famous prize essay on the origin of languages. The second includes Kant’s explicit remarks about language – especially his notion of “transcendental grammar,” (...) his argument that language cannot be innate, his contrast of “Oriental” symbolic (intuitive) and “Occidental” discursive languages, and his treatment of the latter as a sine qua non of humanity’s cultural and moral progress. The third includes the concepts that we need to make sense of those remarks, such as Kant’s epigenetic theory of biological formation and his account of categories as originally acquired. (shrink)

There are many ways of construing the claim that some categories are more “natural" than others. One can ask whether a system of categories is innate or acquired by learning, whether it pertains to a natural phenomenon or to a social institution, whether it is lexicalized in natural language or requires a compound linguistic expression. This renders suspect any univocal answer to this question in any particular case. Yet another question one can ask, which some authors take to have a (...) bearing on the issue of the naturalness of categories, is whether a system of categories constitutes a unique way of organizing a particular set of entities or phenomena, or whether there are other legitimate classification schemes that can coexist with it. Another way of putting this is by asking whether systems of categories can cut across one another, and if so, under what circumstances. Some philosophers have claimed that crosscutting systems of categories cannot exist as genuine natural kinds. This paper examines that claim and puts forward some counterexamples, concluding that this notion of natural kind is not in tune with scientific classification and ought to be rejected in favor of an alternative. (shrink)

In this paper, we develop a mathematical model of awareness based on the idea of plurality. Instead of positing a singular principle, telos, or essence as noumenon, we model it as plurality accessible through multiple forms of awareness (“n-awareness”). In contrast to many other approaches, our model is committed to pluralist thinking. The noumenon is plural, and reality is neither reducible nor irreducible. Nothing dies out in meaning making. We begin by mathematizing the concept of awareness by appealing to the (...) mathematical formalism of higher category theory. The beauty of higher category theory lies in its universality. Pluralism is categorical. In particular, we model awareness using the theories of derived categories and (infinity, 1)-topoi which will give rise to our meta-language. We then posit a “grammar” (“n-declension”) which could express n-awareness, accompanied by a new temporal ontology (“n-time”). Our framework allows us to revisit old problems in the philosophy of time: how is change possible and what do we mean by simultaneity and coincidence? Another question which could be re-conceptualized in our model is one of soteriology related to this pluralism: what is a self in this context? A new model of “personal identity over time” is thus introduced. (shrink)

This brief brochure is intended to present a philosophical theory known as relational materialism. We introduce the postulates and principles of the theory, articulating its ontological and epistemological content using the language of category theory. The identification of any existing entity is primarily characterized by its relational, finite, and non-static nature. Furthermore, we provide a categorical construction of particularities within the relational materialist onto-epistemology. Our objective is to address and transform a specific perspective prevalent in scientific communities into a productive (...) network of philosophical commitments. (shrink)

The way Whitehead speaks of God in his "philosophy of organism," and the evaluation thereof, is the subject of this article. The background of this issue is the position—broadly shared in theology, and here represented by Aquinas—that one should not speak "carelessly" about God. Does Whitehead violate this rule, or does his language for God express God's otherness and relatedness to the world in a new, intriguing way? In order to answer this question, an introduction into Whitehead's philosophy is given, (...) and especially into his category of existence, the "actual entity." For Whitehead, God is an actual entity, and so is the most trivial puff of existence. His perception of the similarity and greater dissimilarity between God and the worldly actual entities (and clusters thereof) is analyzed. In the main and final section of this article, these insights are used as tools to decrypt Whitehead's God-language. Here, I compare the status of Whitehead's and Aquinas's statements about God, discuss Whitehead's ideas concerning the analogical character of concrete language, and argue that in Whitehead's philosophy too there is no discourse about God without a shift or breakdown of the "ordinary" meaning of language. (shrink)

This brief brochure is intended to present a philosophical theory known as re- lational materialism. We introduce the postulates and principles of the theory, ar- ticulating its ontological and epistemological content using the language of category theory. The identification of any existing entity is primarily characterized by its relational, finite, and non-static nature. Furthermore, we provide a categorical con- struction of particularities within the relational materialist onto-epistemology. Our objective is to address and transform a specific perspective prevalent in scientific communities (...) into a productive network of philosophical commitments. (shrink)

I provide a critical commentary regarding the attitude of the logician and the philosopher towards the physicist and physics. The commentary is intended to showcase how a general change in attitude towards making scientific inquiries can be beneficial for science as a whole. However, such a change can come at the cost of looking beyond the categories of the disciplines of logic, philosophy and physics. It is through self-inquiry that such a change is possible, along with the realization of the (...) essence of the middle that is otherwise excluded by choice. The logician, who generally holds a reverential attitude towards the physicist, can then actively contribute to the betterment of physics by improving the language through which the physicist expresses his experience. The philosopher, who otherwise chooses to follow the advancement of physics and gets stuck in the trap of sophistication of language, can then be of guidance to the physicist on intellectual grounds by having the physicist’s experience himself. In course of this commentary, I provide a glimpse of how a truthful conversion of verbal statements to physico-mathematical expressions unravels the hitherto unrealized connection between Heisenberg uncertainty relation and Cauchy’s definition of derivative that is used in physics. The commentary can be an essential reading if the reader is willing to look beyond the categories of logic, philosophy and physics by being ‘nobody’. (shrink)

Apart from what (little) OpenAI may be concealing from us, we all know (roughly) how ChatGPT works (its huge text database, its statistics, its vector representations, and their huge number of parameters, its next-word training, and so on). But none of us can say (hand on heart) that we are not surprised by what ChatGPT has proved to be able to do with these resources. This has even driven some of us to conclude that ChatGPT actually understands. It is not (...) true that it understands. But it is also not true that we understand how it can do what it can do. I will suggest some hunches about benign biases: convergent constraints that emerge at LLM scale that may be helping ChatGPT do so much better than we would have expected. These biases are inherent in the nature of language itself, at LLM scale, and they are closely linked to what it is that ChatGPT lacks, which is direct sensorimotor grounding to connect its words to their referents and its propositions to their meanings. These convergent biases are related to (1) the parasitism of indirect verbal grounding on direct sensorimotor grounding, (2) the circularity of verbal definition, (3) the mirroring of language production and comprehension, (4) iconicity in propositions at LLM scale, (5) computational counterparts of human categorical perception in category learning by neural nets, and perhaps also (6) a conjecture by Chomsky about the laws of thought. The exposition will be in the form of a dialogue with ChatGPT-4. (shrink)

In recent years, language has been shown to play a number of important cognitive roles over and above the communication of thoughts. One hypothesis gaining support is that language facilitates thought about abstract categories, such as democracy or prediction. To test this proposal, a novel set of semantic memory task trials, designed for assessing abstract thought non-linguistically, were normed for levels of abstractness. The trials were rated as more or less abstract to the degree that answering them required the participant (...) to abstract away from both perceptual features and common setting associations corresponding to the target image. The normed materials were then used with a population of people with aphasia to assess the relationship of abstract thought to language. While the language-impaired group with aphasia showed lower overall accuracy and longer response times than controls in general, of special note is that their response times were significantly longer as a function of a trial’s degree of abstractness. Further, the aphasia group’s response times in reporting their degree of confidence (a separate, metacognitive measure) were negatively correlated with their language production abilities, with lower language scores predicting longer metacognitive response times. These results provide some support for the hypothesis that language is an important aid to abstract thought and to metacognition about abstract thought. (shrink)

Ontology has been proposed as a solution to the 'Tower of Babel' problem that threatens the semantic interoperability of information systems constructed independently for the same domain. In information systems research and applications, ontologies are often implemented by formalizing the meanings of words from natural languages. However, words in different natural languages sometimes subdivide the same domain of reality in terms of different conceptual categories. If the words and their associated concepts in two natural languages, or even (...) in two terminological traditions within the same language, do not have common referents in the real world, an ontology based on word meanings will inherit the 'Tower of Babel' problem from the languages involved, rather than solve it. In this paper we present evidence from a preliminary comparison of landscape terms in English with those in the Yindjibarndi language of northwestern Australia demonstrating that this problem is not just hypothetical. Some possible solutions are suggested. (shrink)

The paper develops Lambda Grammars, a form of categorial grammar that, unlike other categorial formalisms, is non-directional. Linguistic signs are represented as sequences of lambda terms and are combined with the help of linear combinators.

Metaethics is the study of metaphysics, epistemology, the philosophy of mind, and the philosophy of language, insofar as they relate to the subject matter of moral or, more broadly, normative discourse – the subject matter of what is good, bad, right or wrong, just, reasonable, rational, what we must or ought to do, or otherwise. But out of these four ‘core’ areas of philosophy, it is plausibly the philosophy of language that is most central to metaethics – and not simply (...) because ‘metaethics’ was for a long time construed more narrowly as a name for the study of moral language. The philosophy of language is central to metaethics because both the advantages of and the open problems facing different metaethical theories differ sharply over the answers those theories give to central questions in the philosophy of language. In fact, among the open problems over which such theories differ, are included particularly further problems in the philosophy of language. This article briefly surveys a range of broad categories of views in metaethics and both catalogues some of the principal issues faced by each in the philosophy of language, as well as how those arise out of their answers to more basic questions in the philosophy of language. I make no claim to completeness, only to raising a variety of important issues. (shrink)

When we speak of language we usually use the concept of a particular language. In this sense the concept denoted with the word language may vary from one language to another. Real language (=the language spoken) on the contrary is the reality lived by speakers thus encompassing complex and multifarious activities. Depending on the language spoken, the modes of thinking, modes of being in the conception of things, and systems of beliefs transmitted by means of particular languages, denote the (...) living reality of language with different grammatical categories. The concept “language” is expressed sometimes with a noun, thus denoting something existing in it; sometimes with a verb, thus denoting an action or an activity; and sometimes with an adverb, thus denoting the mode of an activity. The reality or degree of reality implicit in these grammatical categories involves a particular mode of thinking, prompted with a particular mode of being in the conception of things. Because of this it is necessary to distinguish the concept of language as something different from the reality of language. But first of all it is necessary to determine the reality or degree of reality of both the reality lived by speakers and the thing usually conceived of as language or a language. (shrink)

Embodied cognitive theories predict that linguistic conceptual representations are grounded and continually represented in real world, sensorimotor experiences. However, there is an on-going debate on whether this also holds for abstract concepts. Grammar is the archetype of abstract knowledge, and therefore constitutes a test case against embodied theories of language representation. Former studies have largely focussed on lexical-level embodied representations. In the present study we take the grounding-by-modality idea a step further by using reaction time (RT) data from the linguistic (...) processing of nominal classifiers in Chinese. We take advantage of an independent body of research, which shows that attention in hand space is biased. Specifically, objects near the hand consistently yield shorter RTs as a function of readiness for action on graspable objects within reaching space, and the same biased attention inhibits attentional disengagement. We predicted that this attention bias would equally apply to the graspable object classifier but not to the big object classifier. Chinese speakers (N = 22) judged grammatical congruency of classifier-noun combinations in two conditions: graspable object classifier and big object classifier. We found that RTs for the graspable object classifier were significantly faster in congruent combinations, and significantly slower in incongruent combinations, than the big object classifier. There was no main effect on grammatical violations, but rather an interaction effect of classifier type. Thus, we demonstrate here grammatical category- specific effects pertaining to the semantic content and by extension the visual and tactile modality of acquisition underlying the acquisition of these categories. We conclude that abstract grammatical categories are subjected to the same mechanisms as general cognitive and neurophysiological processes and may therefore be grounded. (shrink)

This essay explores the speech act of dogwhistling (sometimes referred to as ‘using coded language’). Dogwhistles may be overt or covert, and within each of these categories may be intentional or unintentional. Dogwhistles are a powerful form of political speech, allowing people to be manipulated in ways they would resist if the manipulation was carried outmore openly—often drawing on racist attitudes that are consciously rejected. If philosophers focus only on content expressed or otherwise consciously conveyed they may miss what is (...) most powerful and pernicious in the speech of political culture. This essay is a call to start paying attention to these more covert speech acts, and a first attempt at beginning to theorize them. It argues that dogwhistles present a complex and interesting case for the philosopher of language, and explores their implications for democratic politics. (shrink)

Scientists often communicate using generic generalizations, which are unquantified generalizations such as ‘Americans overestimate social class mobility’ or ‘sound waves carry gravitational mass’. In this paper, I explain the role of such generic generalizations in science, based on a novel theory about their characteristic meaning. According to this theory, a scientific generalization of the form ‘Ks are F’ says that F is one property based on which category K qualifies as a scientific kind. Because what it takes to qualify as (...) a scientific kind varies depending on the discipline, what a generic sentence entails also varies. Based on this semantic theory, I discuss the benefits and drawbacks of using generic language in science. (shrink)

A type theory constructed with reference to a particular language will associate with each monadic predicate P of that language a class of individuals C(P) of which it is categorically significant to predicate P (or which P spans, for short). The extension of P is a subset of C(P), which is a subset of the language’s universe of discourse. The set C(P) is a category discriminated by the language. The relation 'is spanned by the same predicates as' divides the language’s (...) universe of discourse into equivalence classes. These are the types discriminated by the language. This paper criticizes an attempt by Peter Strawson to explain terms peculiar to type theory in terms of other notions not peculiar to type theory. (shrink)

How do essentialist beliefs about categories arise? We hypothesize that such beliefs are transmitted via language. We subject large language models (LLMs) to vignettes from the literature on essentialist categorization and find that they align well with people when the studies manipulated teleological information -- information about what something is for. We examine whether in a classic test of essentialist categorization -- the transformation task -- LLMs prioritize teleological properties over information about what something looks like, or is made of. (...) Experiments 1 and 2 find that telos and what something is made of matter more than appearance. Experiment 3 manipulates all three factors and finds that what something is for matters more than what it's made of. Overall, these studies suggest that language alone may be sufficient to give rise to essentialist beliefs, and that information about what something is for matters more. (shrink)

This paper argues that the notion of a single object or 'being one' does not require worldly or perceived conditions of integrity and even less so concept-relative atomicity. It generally is based on conditions of integrity of some sort, but not strictly so. It rather is imposed by the use of count categories in natural language and thus makes a case for linguistic idealism.

The ‘syntax’ and ‘combinatorics’ of my title are what Curry (1961) referred to as phenogrammatics and tectogrammatics respectively. Tectogrammatics is concerned with the abstract combinatorial structure of the grammar and directly informs semantics, while phenogrammatics deals with concrete operations on syntactic data structures such as trees or strings. In a series of previous papers (Muskens, 2001a; Muskens, 2001b; Muskens, 2003) I have argued for an architecture of the grammar in which finite sequences of lambda terms are the basic data structures, (...) pairs of terms syntax, semantics for example. These sequences then combine with the help of simple generalizations of the usual abstraction and application operations. This theory, which I call Lambda Grammars and which is closely related to the independently formulated theory of Abstract Categorial Grammars (de Groote, 2001; de Groote, 2002), in fact is an implementation of Curry’s ideas: the level of tectogrammar is encoded by the sequences of lambda-terms and their ways of combination, while the syntactic terms in those sequences constitute the phenogrammatical level. In de Groote’s formulation of the theory, tectogrammar is the level of abstract terms, while phenogrammar is the level of object terms. (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)

In the worlds of philosophy, linguistics, and communications theory, a view has developed which understands conscious experience as experience which is 'reflected' back upon itself through language. This indicates that the consciousness we experience is possible only because we have culturally invented language and subsequently evolved to accommodate it. This accords with the conclusions of Daniel Dennett (1991), but the 'hermeneutic objection' would go further and deny that the objective sciences themselves have escaped the hermeneutic circle. -/- The consciousness we (...) humans experience is developed only within the context of crossing the 'symbolic threshold' (Percy 1975; Deacon 1997) and one of the earliest and most important symbols we acquire is that of the self, or 'the subject of experience'. It is only when we achieve self-awareness that the world, as such, comes to exist for us as an object (which contains categories and sub-categories of objects). Any consciousness imputed to prelinguistic stages of development is based on projection and guesswork, since we can know nothing directly of it. It can be said that any experience which does not separate an inner subject from an outer world is probably a continuum of sensation in which environmental stimulus and instinctive response are experienced as a unity; it may be 'lived experience' but it is experience 'lived' non-consciously. -/- Speech requires assertion and by learning to speak we find ourselves asserting, in essence, our selves into the world. The narrative form of language allows us to develop life stories, self-knowledge, and, most important, narrative memory coincident with narrative time. All this is made possible with the intersubjective 'net' of language which allows us to know ourselves by first identifying with the viewpoint of others; and, later, such allows us to identify with other minds as we anticipate their reception our communication. These three, assertion, narrative, and intersubjectivity are the essence of what language is and are the keystones that make culture possible outside of nature. (shrink)

The article analyzes the grammatical category of time as a means of actualizing temporal deixis in Belarusian and English in the typological aspect. Traditionally, the reference point of temporal deixis is the moment of speech. Nevertheless, it is important to take into account both the speaker and the observer. The purpose of the research is to carry out the comparative analysis of the grammatical category of time in Belarusian and English in terms of the speaker and the observer, as well (...) as to reveal universal characteristics and national and specific features. The research is based on the contexts selected from Belarusian and English parallel corpuses of Russian National Corpus and Internet resources. (shrink)

The appearance of openly accessible Artificial Intelligence Applications such as Large Language Models, nowadays capable of almost human-level performances in complex reasoning tasks had a tremendous impact on public opinion. Are we going to be "replaced" by the machines? Or - even worse - "ruled" by them? The behavior of these systems is so advanced they might almost appear "alive" to end users, and there have been claims about these programs being "sentient". Since many of our relationships of power and (...) social dominance are apparently based on intelligence, where the "smarter" seems to prevail on the "dumber" (as we see for example with livestock farming, or with the distribution of salaries according to formal and intellectual qualifications etc.) the emergence of programs and AI applications of this level of sophistication brings us to the question "what will AI do to us?". Our error is to frame Artificial Intelligence in the same way we frame Natural Intelligence and mistakenly address it as we would do with biological life, even applying to it the same biopolitical categories. We here try to reverse the common arguments in relationship between life and intelligence and show that our progresses in Artificial Intelligence might have no immediate consequence for the topic of life as such, as life and intelligence are well separated issues, and - even when we would like to somehow fuse them together, we are very far away from having an "Artificial Life" to the degree of complexity and effectiveness we have with "Artificial Intelligence". (shrink)

Compared with Western Philosophy, Chinese Philosophy seldom talks about "the other world". This difference can be further proved in language categories. What exists in language text is different from what exists in language structure or language categories. Language categories reflect the styles of deep thinking. The lacking of subjunctive in Chinese language reflects the indifference between facts and ultra-facts in Chinese minds. There is a pan-fact attention in Chinese culture, while an ultra-fact attention in Western culture. This difference also embodies (...) in the activities of religion, logic, mathematics and science. (shrink)

This paper outlines an Husserlian, phenomenological account of the first stages of the acquisition of empirical knowledge in light of some aspects of Wilfrid Sellars’ critique of the myth of the given. The account offered accords with Sellars’ in the view that epistemic status is attributed to empirical episodes holistically and within a broader normative context, but disagrees that such holism and normativity are accomplished only within the linguistic and conceptual confines of the space of reasons, and rejects the limitation (...) of the relevant normativity to the cognitive domain. Attention to the phenomenological notion of motivations in our mapping of the structure and acquisition of empirical knowledge reveals a form of weak categoriality given in experience, one outside exclusive mediation by language and concepts but also not merely causal. Section 1 outlines some basic aspects of Sellars’ account of empirical knowledge in Empiricism and the Philosophy of Mind, including a regress objection that arises due to his claim that empirical knowledge presupposes knowledge of general facts about perception. Section 2 examines Sellars’ later revisiting of the objection, via his critique of Roderick Firth, in “The Lever of Archimedes,” focusing on his analysis of the “Myth of the Categorial Given” and his use of the notion of ur-concepts. Section 3 looks at Sellars’ psychological nominalism and his rejection of the explanatory primacy of experience in light of the strict dichotomy between the space of causes and the space of reasons, and shows how Firth’s account aligns with phenomenology in its advocating for an irreducible and non-inferential role for experience. It also raises an important objection to Sellars’ account concerning the categorial givenness of causality. Section 4 turns to Husserl, arguing that his conception of motivation in the Logical Investigations and Ideas II reveals a third explanatory or logical space “between” that of causes and that of reasons. Section 5 further develops this account with regard to the explanatory role of lived experience. Section 6 revisits the regress objection to Sellars from the phenomenological standpoint developed earlier in the paper, and argues that an Husserlian account of empirical knowledge offers a viable alternative to Sellars’ that overcomes the regress objection and gives proper explanatory weight to the evidence of lived experience vis-à-vis scientific presuppositions about causality. (shrink)

This paper uses a partially ordered set of syntactic categories to accommodate optionality and licensing in natural language syntax. A complex but well-studied data set pertaining to the syntax of quantifier scope and negative polarity licensing in Hungarian is used to illustrate the proposal. The presentation is geared towards both linguists and logicians. The paper highlights that the main ideas can be implemented in different grammar formalisms, and discusses in detail an implementation where the partial ordering on categories is given (...) by the derivability relation of a calculus with residuated and Galois-connected unary operators. (shrink)

Kripke’s main argument against descriptivism is rooted in a category error that confuses statements about the world with statements about models of the world. It is only because of the ambiguity introduced by the fact that a single sentence can frame two different propositions, one necessary and the other a posteriori, that one reaches the mistaken conclusion that there can be necessary a posteriori truths. This ambiguity from language was carried over into modal logic by Kripke. However, we must consider (...) the two different propositions (1) and (2) separately. Doing so reveals that a given proposition is either necessary and a priori or contingent and a posteriori. It cannot be both. (shrink)

Every domain-specific ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. In the present paper we sketch a new type of upper-level ontology, which is intended to be the basis of a knowledge modelling language GOL (for: 'General Ontological Language'). It turns out that the upper- level ontology underlying standard modelling languages such as KIF, F-Logic and CycL is restricted to the ontology of sets. Set theory has considerable mathematical power (...) and great flexibility as a framework for modelling different sorts of structures. At the same time it has the disadvantage that sets are abstract entities (entities existing outside the realm of time, space and causality), and thus a set-theoretical framework should be supplemented by some other machinery if it is to support applications in the ripe, messy world of concrete objects. In the present paper we partition the entities of the real world into sets and urelements, and then we introduce several new ontological relations between these urelements. In contrast to standard modelling and representation formalisms, the concepts of GOL provide a machinery for representing and analysing such ontologically basic relations. (shrink)

Within-category induction is the projection of a generic property from a class to a subtype of that class. The modifier effect refers to the discovery reported by Connolly et al., that the subtype statement tends to be judged less likely to be true than the original unmodified sentence. The effect was replicated and shown to be moderated by the typicality of the modifier. Likelihood judgements were also found to correlate between modified and unmodified versions of sentences. Experiment 2 elicited justifications, (...) which suggested three types of reason for the effect-pragmatics, knowledge-based reasoning, and uncertainty about attribute inheritance. It is argued that the results provide clear evidence for the default inheritance of prototypical attributes in modified concepts, although a full account of the effect remains to be given. (shrink)

With regard to the new directions in the Humanities, here I am going to consider and examine the approach of al-Farabi as a medieval thinker in introducing a new outlook to “language” in difference with the other views. Thereby, I will explore his challenges in the frame of “philosophical humanism” as a term given by Arkoun (1970) and Kraemer (1984) to the humanism of the Islamic philosophers and their circles, mainly in the tenth and eleventh centuries. Al-Farabi’s conception of philosophical (...) humanism, in which philosophy is thick and religion is thin, makes its agony with the other versions of humanism and also orthodox Islam. It means that his introduction of a humanistic understanding of language should be placed in such a multi-level contested environment. According to al-Farabi, language as a universal category has relation with reason that logic should function as its proper instrument. As a result, there is no specific privileged predetermined language, but the position of any language is shaped by its relation with human reason and formal logic that is something human-made. And such a conception means language in human terms. Key Terms: Al-Farabi; Language; Philosophical Humanism; Arabic: Greek . (shrink)

Generic statements express generalizations about categories. Current theories suggest that people should be especially inclined to accept generics that involve threatening information. However, previous tests of this claim have focused on generics about non-human categories, which raises the question of whether this effect applies as readily to human categories. In Experiment 1, adults were more likely to accept generics involving a threatening property for artifacts, but this negativity bias did not also apply to human categories. Experiment 2 examined an alternative (...) hypothesis for this result, and Experiments 3 and 4 served as conceptual replications of the first experiment. Experiment 5 found that even preschoolers apply generics differently for humans and artifacts. Finally, Experiment 6 showed that these effects reflect differences between human and non-human categories more generally, as adults showed a negativity bias for categories of non-human animals, but not for categories of humans. These findings suggest the presence of important, early-emerging domain differences in people's judgments about generics. (shrink)

Ernst Cassirer’s focus on the expressive function of language should be read, not in the context of Carnap’s debate with Heidegger, but in the context of the earlier work of Chajim (Heymann) Steinthal. Steinthal distinguishes the expressive form of language, when language is studied as a natural phenomenon, from language as a logical, inferential system. Steinthal argues that language always can be expressed in terms of logical inference. Thus, he would disagree with Heidegger, just as Carnap does. But, Steinthal insists, (...) that is not to say that language, as a natural phenomenon, is exhausted by logic or by the place of terms or relations in inferential structures. Steinthal’s “form” of linguistic “expression” is an early version of Cassirer’s “expressive function” for language. The expressive function, then, should not be seen to place a barrier between Carnap and Cassirer. Rather, Steinthal and Cassirer deal with a question that, as far as I know, Carnap does not address directly: how should philosophers analyze human language as a natural phenomenon, as a part of our expression as animals? And how does that expression determine the semantic categories, kind terms, and other structures that develop within, and characterize, human language itself? (shrink)

Objective. Study of the Covid-19 related quarantine concept as an emerging category of linguistic consciousness of Ukrainians. -/- Materials & Methods. The strategy of the study is based on the logical and methodological concept of inductivism. Respondents were asked to write down their own understanding of the quarantine, formulate an appropriate definition and describe the situation, which in their opinion is the exact opposite to quarantine. Respondents also assessed how much their psychological well-being, their daily lifestyle during quarantine had changed, (...) and ranked their preferences for the quarantine strategies proposed to them. A discursive analysis was applied to the obtained texts, as a result of which nine discourses were identified. These data, along with some socio-demographic characteristics were subjected to multidimensional mathematical and statistical processing. -/- Results. Covid-19 related quarantine is represented in the linguistic consciousness of Russian-speaking Ukrainians by a discursive field, which includes at least nine recognizable, semantically autonomous discourses. Empirically discovered such phenomenon as – inter-discourse semantic dissociation. Its essence is a statistically significant reduction in the probability of some discourses appearing in the texts when others are being actualized there. This feature is associated with the innate negativity of the language and determines the semantic biasing of the quarantine concept. Inter-discourse semantic dissociation, as well as the influence of non-discursive factors constitute the discursive formation of the quarantine concept, which is qualitatively characterized by the hierarchical relationship of its components. At the same time, it was revealed that part of the discourses interacting “horizontally” are indirectly associated “vertically”, which forms the stable semantic core of the quarantine concept. Partial empirical confirmation has been found of the previously put forward assumptions about: a) the existence of such a relationship between discourses and psychological defense mechanisms (as character-forming factors) that contributes to the hierarchical structure construction of discursive formations; b) the differential nature of discourses and mechanisms of psychological defenses interaction, which makes it possible to single out the discursive aspect in a characterological profile and consider a discourse as an operator of characterological semantics. -/- Conclusions. An empirical study made it possible to form a primary idea of the substantive and structural semantic features of the quarantine concept, as an emerging category of linguistic consciousness of Ukrainians. The results obtained have a potentially useful application perspective. Thus, when implementing anti-epidemiological measures, it is important to consider the studied features of the discursive formation hierarchical structure of the quarantine concept, since discursive semantics are associated with cognitive focusing, which, in turn, affects the behavior direction and its upshots. (shrink)

In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequacy of expressions of L. The adequacy ensures their unambiguous syntactic and (...) semantic senses and mutual, syntactic and semantic correspondence guaranteed by the acceptance of a postulate of categorial compatibility of syntactic and semantic (extensional and intensional) categories of expressions of L. This postulate defines the unification of these three logical senses. There are three principles of compositionality which follow from this postulate: one syntactic and two semantic ones already known to Frege. They are treated as conditions of homomorphism of partial algebra of L into algebraic models of L: syntactic, intensional and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, obviously, an idealisation. The syntactic and semantic unambiguity of its expressions is not, of course, a feature of natural languages, but every syntactically and semantically ambiguous expression of such languages may be treated as a schema representing all of its interpretations that are unambiguous expressions. (shrink)

The purpose of this book is to address the controversial issues of whether we have a fixed set of ontological categories and if they have some epistemic value at all. Which are our ontological categories? What determines them? Do they play a role in cognition? If so, which? What do they force to presuppose regarding our world-view? If they constitute a limit to possible knowledge, up to what point is science possible? Does their study make of philosophy a science? Departing (...) from the novelty –but no exclusively- of considering distinctions to be the subject matter of thought and language -that is, of reference and meaning- the author arrives at a radical novel conception of the ontological categories. The observations and arguments presented in it constitute a strong case against established and well-rooted tenets, if not paradigms, of contemporary philosophy, beyond ontology and epistemology. The entailing conclusions, open the door to a revival of the discipline and the importance of its studies, as the science of the constitutive elements of knowledge of a non-empirical nature. (shrink)

Within philosophy of science, debates about realism often turn on whether posited entities exist or whether scientific claims are true. Natural kinds tend to be investigated by philosophers of language or metaphysicians, for whom semantic or ontological considerations can overshadow scientific ones. Since science crucially involves dividing the world up into categories of things, however, issues concerning classification ought to be central for philosophy of science. Muhammad Ali Khalidi's book fills that gap, and I commend it to readers with an (...) interest in scientific taxonomy and natural kinds. He works through general issues to craft a useful philosophical conception and uses the account to think through a wide range of specific examples. Although there are differences in the details, that one-sentence summary of Khalidi's book could just as well describe my own recent monograph on natural kinds. (shrink)