Most, if not all, philosophers agree that computers cannot learn what words refers to from raw text alone. While many attacked Searle’s Chinese Room thought experiment, no one seemed to question this most basic assumption. For how can computers learn something that is not in the data? Emily Bender and Alexander Koller ( 2020 ) recently presented a related thought experiment—the so-called Octopus thought experiment, which replaces the rule-based interlocutor of Searle’s thought experiment with a neural language model. The Octopus (...) thought experiment was awarded a best paper prize and was widely debated in the AI community. Again, however, even its fiercest opponents accepted the premise that what a word refers to cannot be induced in the absence of direct supervision. I will argue that what a word refers to _is_ probably learnable from raw text alone. Here’s why: higher-order concept co-occurrence statistics are stable across languages and across modalities, because language use (universally) reflects the world we live in (which is relatively stable). Such statistics are sufficient to establish what words refer to. My conjecture is supported by a literature survey, a thought experiment, and an actual experiment. (shrink)

Some in the recent literature have claimed that a connection exists between the Liar paradox and _semantic relativism_: the view that the truth values of certain occurrences of sentences depend on the contexts at which they are assessed. Sagi (Erkenntnis 82(4):913–928, 2017) argues that contextualist accounts of the Liar paradox are committed to relativism, and Rudnicki and Łukowski (Synthese 1–20, 2019) propose a new account that they classify as relativist. I argue that a full understanding of how relativism is conceived (...) within theories of natural language shows that neither of the purported connections can be maintained. There is no reason why a solution to the Liar paradox needs to accept relativism. (shrink)

Intuitivamente, la realidad está formada por entidades y hechos existentes y concretos. Sin embargo, nuestro lenguaje y pensamiento versa también sobre hechos meramente posibles, sobre cosas inexistentes y entidades abstractas. ¿Cómo es esto posible? ¿Significa ello que cuando hablamos y pensamos de estas otras cosas no hablamos de nada real? ¿o mas bien la realidad está mas poblada de lo que pensábamos y hay diferentes maneras de formar parte de la realidad además de la de existir de manera positiva y (...) concreta? En este libro trataremos de arrojar luz a estas y otras preguntas similares, poniendo atención a las estrategias argumentativas generales que suelen esgrimirse en esta rama de la filosofía. (shrink)

This book investigates what change is, according to Aristotle, and how it affects his conception of being. Mark Sentesy argues that change leads Aristotle to develop first-order metaphysical concepts such as matter, potency, actuality, sources of being, and the teleology of emerging things. He shows that Aristotle’s distinctive ontological claim—that being is inescapably diverse in kind—is anchored in his argument for the existence of change. -/- Aristotle may be the only thinker to have given a noncircular definition of change. When (...) he gave this definition, arguing that change is real was a losing proposition. To show that it exists, he had to rework the way philosophers understood reality. His groundbreaking analysis of change has long been interpreted through a Platonist lens, however, in which being is conceived as unchanging. Offering a comprehensive reexamination of the relationship between change and being in Aristotle, Sentesy makes an important contribution to scholarship on Aristotle, ancient philosophy, the history and philosophy of science, and metaphysics. (shrink)

This paper investigates the strange case of an argument that was directed against a positivist verification principle. We find an early occurrence of the argument in a talk by the phenomenologist Roman Ingarden at the 1934 International Congress of Philosophy in Prague, where Carnap and Neurath were present and contributed short rejoinders. We discuss the underlying presuppositons of the argument, and we evaluate whether the attempts by Carnap (especially) actually succeed in answering this argument. We think they don’t, and offer (...) instead a few sociological thoughts about why the argument seems to have disappeared from the profession’s evaluaton of the positivist criterion of verifiability. (shrink)

Lecture notes from Husserl's logic lectures published during the last 20 years offer a much better insight into his doctrine of the forms of meaning than does the fourth Logical Investigation or any other work published during Husserl's lifetime. This paper provides a detailed reconstruction, based on all the sources now available, of Husserl's system of logical grammar. After having explained the notion of meaning that Husserl assumes in his later logic lectures as well as the notion of form of (...) meaning as it features in ‘doctrine of the forms of meaning’, I present a system of rules that describes all the various forms of meaning that Husserl singles out in his lectures. (shrink)

The claim that metaphysics is fundamental has frequently been voiced in the history of the discipline. However, the usual ways in which this claim is justified do not appear to be effective. This article aims to fill this gap in meta-metaphysical theory by providing a credible justification of the fundamentality of metaphysics in two steps. The first consists in establishing a set of five conditions of fundamentality for the discipline. The second consists in showing that these conditions are satisfied when (...) the object of study of metaphysics is identified with an ontologically neutral object, namely categories, and the task of the discipline is taken to be the determination of the number and identity of the most general categories and the relation of less general categories to the most general ones. (shrink)

SummaryThe term ‘category mistake’ began to turn up regularly in public discourse in the 1990s as a general term to describe a confusion between different fields of thought with serious practical consequences. But it began its career in philosophy, introduced by Gilbert Ryle in The Concept of Mind in 1949 to attack Cartesian dualism and assert a monistic solution to the so-called mind-body problem. This paper traces the stages by which it came into general usage, arguing that while by the (...) later 1960s it had generally been rejected by philosophers, it was saved from disappearance by its migration into fields such as psychology and theology. From there, it moved into critical theory and then into international relations. Its entry into these latter areas first made plain its potential in political argument. Eventually, multiple meanings of the term came to coexist with one another, with the practical and rhetorical usage supplementing rather than replacing its original philosophical sense. (shrink)

The aim of this paper is to show that Karl Marx’s critique of political economy can be interpreted as a critique of what philosophers have termed “category-mistakes”. Therefore, I first turn to the origins of this term in Gilbert Ryle’s “Categories”, to further developments in “Philosophical Arguments” and in P. F. Strawson, as well as to W. H. Walsh’s approach to categories, to establish a workable meaning of the term “category-mistake”. In the second part, I briefly discuss some of the (...) previous uses of this term in exegeses of Marx. Based on Marx’s writings and D. Sayer’s work on Marx’s methodology, I then explicate the meaning of Marx’s term “economic category”. Finally, I arrive at an interpretation of Marx’s critique of economic theories as an analysis concerned with the improper use of theoretical concepts. By way of conclusion, I offer some general remarks on one important aspect of critique in Marx and in social science in general. (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)

The problem of the status of metaphysics -- what it is and what it is for, what use it is - has been with us for millennia, at least since Plato took issue with the Sophists, and continues to the present day. Here I attempt an intervention in this perennial dispute, with the aim of providing some kind of rapprochement between the factions. This intervention is based on how Charles Sanders Peirce (1839-1914) understood metaphysics and the position presented here is (...) thus called `Peircean realism'. The basic idea is that everyone has a metaphysics and has to have one, just to get by in everyday life, and this is no different for scientific inquirers in their professional work. The subject matter of metaphysics is thus presuppositions, whether it is what we rely on to go shopping or to discover the Higgs boson. We rely on these in our activities and expect them to have an effect on outcomes, so when our expectations are frustrated, doubt may be thrown on our presuppositions. We would thus like the ability to inquire into our presuppositions so as not to repeat mistakes, but our instinctive, evolved capacity for reasoning may not be up the job, since it is entwined with what we take for granted. Instead, Peirce develops a science of good reasoning that includes a theory of inquiry, which would allow us to scrutinise our presuppositions, to perform metaphysical inquiry. The starting point for this science of good reasoning is basic principles of combination and organisation, because these are involved in all activity, and these are Peirce's categories of Firstness, Secondness and Thirdness. This is also where I start in the exposition of and argument for Peircean realism as a scientific -- that is, truth-directed -- metaphysics that provides the best possible general presuppositions to the natural and human sciences, the special sciences that deal with matters in their particularity; that Peircean realism is a viable metaphysics for those sciences. This exposition and argument comprises the first part of this thesis. In the second part, the case for Peircean realism is further bolstered by turning a critical eye on positions that are deficient from the Peircean point of view, in that they lack one or other category and thus starve the special sciences of the resources they need, or that they try to ignore metaphysics entirely. All this is meant to demonstrate that metaphysics is unavoidable, that we need all three of Peirce's categories for a viable metaphysics for the special sciences, and that Peircean realism is just such a metaphysics. (shrink)

It is a familiar story that, where Kant humbly draws a line beyond which cognition can’t reach, Husserl presses forward to show how we can cognize beyond that limit. Kant supposes that cognition is bound to sensibility and that what we experience in sensibility is mere appearance that does not inform us about the intrinsic nature of things in themselves. By contrast, for Husserl, it makes no sense to say we experience anything other than things in themselves when we enjoy (...) sensory perception. Kant’s conception, then, by doing just that, is nonsensical. I argue that Husserl’s account does not deliver on its promise. Things as they are in themselves are just as cognitively out of reach on Husserl’s understanding of them as they are on Kant’s. Further, the charge of nonsense Husserl raises against Kant’s conception of things in themselves applies—indeed, with greater force—to his own. (shrink)

Typically, if I understand a sentence, then it expresses a proposition that I entertain. Nonsensical sentences don’t express propositions, but there are contexts in which we talk about understanding nonsensical sentences. For example, we accept various kinds of semantically defective sentences in fiction, philosophy, and everyday life. Furthermore, it is a standard assumption that if a sentence is nonsensical, then it makes no sense to say that it implies anything or is implied by other sentences. Semantically uninterpreted sentences don’t have (...) logical characteristics. Hence, the riddle of understanding nonsense arises. We seem to use nonsensical sentences in reasoning, thinking, judging, and drawing conclusions, but they convey no propositions, which are the vehicles of their semantic properties. In this article, I propose the pretence theory of understanding nonsense to explain the riddle of understanding nonsense, and discuss alternative frameworks that are insufficient to solve it. -/- . (shrink)

The austere view of nonsense says that the source of nonsense is not a violation of the rules of logical syntax, but nonsense is always due to a lack of meaning in one of the components of a sentence. In other words, the necessary and sufficient condition for nonsensicality is that no meaning has been assigned to a constituent in a sentence. The austere conception is the key ingredient of the resolute reading of Tractatus Logico-Philosophicus that presents a therapeutical interpretation (...) of the work, and rejects a possibility of conveying some ineffable truths by means of nonsensical sentences. In this paper, I defend the austere view against the most important objections. Firstly, I discuss textual sources for ascribing to Wittgenstein the austere view that have not been sufficiently thoroughly discussed yet. Next, I indicate that the apparent occurrence of words out of the context of a sentence on lists of verbs and in definitions is not in conflict with the version of the context principle recommended by austere theorists, since this argument does not sufficiently take into account the distinction between sign and symbol. Furthermore, I argue that the austere conception and the principle of compositionality are jointly tenable, for the former view does not exclude the existence of syntactic and semantic rules, but only shows that they are recognizable conditionally. Finally, I indicate that the austere view of nonsense should be seen as a viable option by a contemporary theorist of nonsense, for it helps us to avoid making controversial assumptions about the nature of meaning and content. (shrink)

For many, putting in doubt the existence of phenomenal consciousness is absurd since the distinction between appearance and reality does not apply to it. Many cognitive scientists and neuroscientists accept the existence of consciousness in virtue of such reasoning. The present work questions that justification. Consciousness is a concept whose scientific meaning comes from philosophy or colloquial language. From this, it concludes that the “self-evident nature of consciousness” is not a scientifically valid statement. This philosophical assumption rests on a category (...) mistake in scientific language use. (shrink)

Despite their recent development, geo-ontologies represent a complicated conundrum for the different experts involved in their design. Computer scientists use ontologies for describing the meaning of data and their semantics in order to make information resources built for humans understandable also for artificial agents. Geographers pursue conceptualizations that describe the domain of interest in a way that should be accessible, informative, and complete for their final recipients. In this context, philosophers are not required to sketch the historical background of ontology. (...) Rather, they should offer conceptual solutions for carving nature at the joints and choosing how best to categorize and classify the different entities belonging to the geographical domain in question. Accordingly, the aim of this paper is to combine assumptions and requirements coming from these different areas of research in order to show what different categories might potentially complete the current domain of geo-ontologies. (shrink)

In the domain of information systems ontologies, the notion of completeness refers to ontological contents by demanding that they be exhaustive with respect to the domain that the ontology aims to represent. The purpose of this paper is to analyze such a notion, by distinguishing different varieties of completeness and by questioning its consistency with the open-world assumption, which formally assumes the incompleteness of conceptualizations on information systems ontologies.

Landgrebe and Smith :2061–2081, 2021) present an unflattering diagnosis of recent advances in what they call language-centric artificial intelligence—perhaps more widely known as natural language processing: The models that are currently employed do not have sufficient expressivity, will not generalize, and are fundamentally unable to induce linguistic semantics, they say. The diagnosis is mainly derived from an analysis of the widely used Transformer architecture. Here I address a number of misunderstandings in their analysis, and present what I take to be (...) a more adequate analysis of the ability of Transformer models to learn natural language semantics. To avoid confusion, I distinguish between inferential and referential semantics. Landgrebe and Smith ’s analysis of the Transformer architecture’s expressivity and generalization concerns inferential semantics. This part of their diagnosis is shown to rely on misunderstandings of technical properties of Transformers. Landgrebe and Smith also claim that referential semantics is unobtainable for Transformer models. In response, I present a non-technical discussion of techniques for grounding Transformer models, giving them referential semantics, even in the absence of supervision. I also present a simple thought experiment to highlight the mechanisms that would lead to referential semantics, and discuss in what sense models that are grounded in this way, can be said to understand language. Finally, I discuss the approach Landgrebe and Smith advocate for, namely manual specification of formal grammars that associate linguistic expressions with logical form. (shrink)

Consider the following proposition: It is possible that all of our perceptual experiences are ‘delusive.’ According to Gilbert Ryle, is demonstrably absurd. In this paper I address four questions: What is Ryle’s argument against?; How persuasive is it?; What positions are ruled out if is absurd?; and How does Ryle’s position compare with contemporary work on skepticism?

Category mistakes are sentences such as ‘Colourless green ideas sleep furiously’ or ‘The theory of relativity is eating breakfast’. Such sentences are highly anomalous, and this has led a large number of linguists and philosophers to conclude that they are meaningless (call this ‘the meaninglessness view’). In this paper I argue that the meaninglessness view is incorrect and category mistakes are meaningful. I provide four arguments against the meaninglessness view: in Sect. 2, an argument concerning compositionality with respect to category (...) mistakes; in Sect. 3 an argument concerning synonymy facts of category mistakes; in Sect. 4 concerning embeddings of category mistakes in propositional attitude ascriptions; and in Sect. 5 concerning the uses of category mistakes in metaphors. Having presented these arguments, in Sect. 6 I briefly discuss some of the positive motivations for accepting the meaninglessness view and argue that they are unconvincing. I conclude that the meaninglessness view ought to be rejected. (shrink)

Frege ridiculed the formalist conception of mathematics by saying that the formalists confused the unimportant thing, the sign, with the important, the meaning. Surely, one wishes to say, mathematics does not treat of dashes on a bit of paper. Frege’s idea could be expressed thus: the propositions of mathematics, if they were just complexes of dashes, would be dead and utterly uninteresting, whereas they obviously have a kind of life. And the same, of course, could be said of any proposition: (...) Without a sense, or without the thought, a proposition would be an utterly dead and trivial thing. And further it seems clear that no adding of inorganic signs can make the proposition live. And the conclusion which one draws from this is that what must be added to the dead signs in order to make a live proposition is something immaterial, with properties different from all mere signs. But if we had to name anything which is the life of the sign, we should have to say that it was its use. (Blue Book, p. (shrink)

Gilles Deleuze's notion of sense, as developed in Difference and Repetition and The Logic of Sense, is meant to be a fourth dimension of the proposition besides denotation, manifestation and signification. While Deleuze explains signification in inferentialist terms, he ascribes to sense some very unusual properties, making it hard to understand what sense is. The aim of this paper is to improve this situation by confronting Deleuzian sense with a more or less contemporary, but otherwise rather distant philosophical conception: Gilbert (...) Ryle's theory of categories and category mistakes. The leading idea is that to understand the sense of a proposition regarding X is to know the category of the concept X, which requires that one knows which questions may appropriately be asked with regard to X. Thus, sense, category and questions are intimately related to each other. Finally, it seems to be consistent with Deleuze's views to assume that abstract signification is contextually generated by concrete sense. (shrink)

The theory of frames has recently been proposed as a universal format for knowledge representation in language, cognition and science. Frames represent categories as well as individual objects and events in terms of recursive attribute-value structures. In this paper, we would like to explore the potential ontological commitments of frame-based knowledge representations, with particular emphasis on the ontological status of the possessors of quality attributes in individual object frames. While not strictly incompatible with nominalistic, bundle- or substratum-theoretic approaches to the (...) metaphysics of particular objects, it will be argued that representing objects in terms of attribute-value structures is more in accordance with a tradition that can be traced back to Aristotle’s doctrine of physical substances. Attributes appear to describe primary potentialities of objects, which, in the Aristotelian view, are the unchangeable nature or essence, hence substance, of any separate object. (shrink)

This paper puts together an ancientand a recent approach to classificatory language, thought, and ontology.It includes on the one hand an interpretation of Aristotle's ten categories,with remarks on his first category, called (or translated as) substancein the Categories or What a thing is in the Topics. On the other hand is the ideaof domain-specific cognitive abilities urged in contemporary developmentalpsychology. Each family of ideas can be used to understand the other. Neitherthe metaphysical nor the psychological approach is intrinsically morefundamental; they (...) complement each other. The paper incidentally clarifies distinct uses of the word category in different disciplines, and also attempts to make explicit several notions of domain. It also examines Aristotle's most exotic and least discussed categories, being-in-a-position (e.g., sitting) and having-(on) (e.g., armour). Finally the paper suggests a tentative connectionbetween Fred Sommers' theory of types and Aristotle's first category. (shrink)

We shall distinguish between sortal predication and standard predication. The former kind of predication necessarily involves sortal concepts but the latter, as it is customarily viewed, does not. It is generally thought that the only essential occurrence of a concept in a standard predication is the concept being predicated. In this paper, we shall put forward an alternative view. We shall propose to understand standard predication as a cognitive act essentially requiring sortal concepts. We shall call this view conceptual predication (...) sortalism and ground it on the basis of epistemic-semantic reasons. Concepts are understood as intersubjectively realizable capacities or abilities that fulfill particular cognitive roles, such as those of classification, categorization, individuation, and referring. (shrink)

Non-naturalists claim that the nature of normativity precludes the possibility of normative naturalism. In particular, they think that normative reduction amounts to normative elimination. This is because it always leaves out the normative. In this paper, I examine the force that the normativity objection has against Humean reductionism. I argue that the normativity objection has no argumentative force against reductionism. When it is presented as a bare intuition, it begs the question against reduction. A more interesting reading of the argument (...) claims that the normative cannot be explained in terms of the natural because the natural is arbitrary. Yet, this version of the argument fails as well because the natural is not arbitrary in the relevant sense. The natural is contingent, so what has value is contingent. That is not an elimination of the normative though, because contingent reasons are still reasons. (shrink)

The aim of this paper is to offer two novel solutions to two perennial problems of categorial ontology, namely, the problem of the categorial structure: how are the categories related to one another? And the problem of categorial completeness: how is the completeness of a proposed list of categories justified? First, I argue that a system of categories should have a structure such that there is a most basic category that is a bearer of all other categories and that has (...) what I shall call “combinatorial conditions”. To do so, I compare this approach to categorial structure with the approaches given by substantialist, mereological, factualist, and geo ontologies. Second, I argue that the problem of categorial completeness is only a problem for certain ontologies. In this connection, I explore views on categorial completeness proposed by substantialists and geo-ontologists. Lastly, I conclude that factualism does a better job of accounting for categorial structure and categorial completeness than other categorial ontologies. (shrink)

Categories play a major role in contemporary metaphysics. They have not only been invoked in a number of philosophical theories but are themselves objects of epistemological and metaphysical scrutiny. In this article, we will discuss the following questions: How do we know when something belongs to a certain category? Is there a fundamental category of the world? Can we give a satisfactory account of the number of categories and the completeness of systems of categories? Are categories the genuine subjects of (...) ontology? (shrink)

In “The Uses of Argument” Toulmin introduces a number of concepts that have become popular in argumentation theory, such as data, claim, warrant, backing, force, field, and, most fundamentally, the concept of a “logical type”. Toulmin never defines the concept of a logical type or a field very clearly, and different interpretations can be found in the literature, either reconstructing what Toulmin has in mind, or revising his concepts to suit other concerns. A natural history of these concepts is not (...) my concern. I will analyse logical types according to what Toulmin uses this concept for, namely to raise a problem with deductive logic and motivate its replacement with the Toulmin model. I will argue that a logical type and the distinction he draws between different logical types resembles distinctions made in logical positivism between the directly and the indirectly verifiable, and the problem raised is, in essence, the positivist’s problem of how indirect propositions can be justified on the basis of direct propositions. I will show that Toulmin makes a straw man of the positivists’ own solution to the problem and hence does not prove there to be an adequate motivation for replacing deductive logic with the Toulmin model. (shrink)

The proper range and content of the unconscious in the human sciences should be established by reference to its conceptual relationship to the folk psychology that informs the standard form of explanation therein. A study of this relationship shows that human scientists should appeal to the unconscious only when the language of the conscious fails them, i.e. typically when they find a conflict between people's self-understanding and their actions. This study also shows that human scientists should adopt a broader concept (...) of the unconscious than the one developed by Freud, that is, one free from his ahistorical concept of the instincts and his ahistorical emphasis on the sexual experiences of childhood. The unconscious, understood in this way, has an ambiguous relationship to more recent linguistic and narrativist strands of psychoanalysis. (shrink)

The aim of my paper is to describe and evaluate different conceptions of holism in Ludwig Wittgenstein’s Tractatus Logico-Philosophicus. I distinguish three readings of holistic elements in this work: i) Minimal Holism (E. Anscombe, M. Black, D. Pears); ii) Moderate Holism (J. Conant, C. Diamond, G. Ryle); and iii) Radical Holism (G. Bar-Elli, M. Kremer, P. Livingston). The conclusion is that the most viable option is Moderate Holism since it embraces the logico-syntactical notion of use, rejects an anachronistic interpretation of (...) Tractatarian ontology and allows us to see that the holistic elements are complementary to the initial atomism of the work. Moreover, I point to the consequences of the topic for the overall reading of Wittgenstein’s early and late work. (shrink)

Thus far the logic out of which mathematics has developed has been First-order Predicate Calculus with Identity, that is the logic of the sentential functors, ¬, →, ∧, ∨, etc., together with identity and the existential and universal quotifiers restricted to quotify- ing only over individuals, and not anything else, such as qualities or quotities themselves. Some philosophers—among them Quine— have held that this, First-order Logic, as it is often called, con- stitutes the whole of logic. But that is a (...) mistake. It leaves out Second-order Logic, which we need if we are to characterize the natural numbers precisely, and pays scant attention to the logic of relations, especially transitive relations, which is the key to much of modern mathematics. Quine’s argument for restricting logic to First-order Logice was based on the grounds that only First- order logical theories display “Law and Order” and himself regards modal logic as belonging with witchcraft and superstition.1 Pred- icates are ontologically more suspect than individuals, and have a different logic, which is liable to give rise to paradox and inconsis- tency. Moreover, Second-order Logic lacks the completeness that First-order Logice has, which provides a pleasing parallel between syntactic and semantic notions, and argues for the analyticity of deductive logic. (shrink)

The species of metaphysical speculation known as ontology is as old as philosophy itself. It is encountered in one form or another in all climes and times. In Western philosophy, it is already cultivated in a fairly sophisticated form in Parmenides: Being is positive and does not admit to the possibility of negation. Being is a plenum, etc. The problem which exercised the mind of Parmenides has lost something of its vitality in our time but it has recognizably survived in (...) such contemporary questions as “Are there negative facts?” At the present day, however, the liveliest issues of ontology revolve round a topic which has a different, if no less celebrated, ancestry. It is the problem of universals which, much discussed by Plato, was taken up and made a principal concern by the scholastics. It is being canvassed again in recent times under the heading of abstract entities. What I wish to investigate is the connection between the metaphysics of abstract entities and the discipline of logic as developed in the modern era. (shrink)