Since it is only five years since the publication of our paper, "Geographical categories: An ontological investigation" (Smith and Mark 2001), it seems somewhat strange to be making retrospective comments on the piece. Nevertheless, the field is moving quickly, and much has happened since the article appeared. A large number of papers have already cited the work, which suggests that there is a seam here that people find worthy of being mined. In this short essay, we first review the (...) paper and attempt to assess its significance from the perspective of our current work. We then put the paper in the context of our individual and joint works, which led up to it, and summarize our research trajectories since the paper appeared, pointing out what some of this reveals about spatial ontology in general. We conclude with some remarks on the future of ontological research in geographical information science. (shrink)

Ontology, since Aristotle, has been conceived as a sort of highly general physics, a science of the types of entities in reality, of the objects, properties, categories and relations which make up the world. At the same time ontology has been for some two thousand years a speculative enterprise. It has rested methodologically on introspection and on the construction and analysis of elaborate world-models and of abstract formal-ontological theories. In the work of Quine and others this ontological theorizing in (...) abstract fashion about the world was supplemented by the study, based on the use of logical methods, of the ontological commitments or presuppositions embodied in scientific theories. In recent years both types of ontological study have found application in the world of information systems, for example in the construction of frameworks for knowledge representation and in database design and translation. As ontology is in this way drawn closer to the domain of real-world applications, the question arises as to whether it is possible to use empirical methods in studying ontological theories. More specifically: can we use empirical methods to test the ontological theories embodied in human cognition? We set forth the outlines of a framework for the formulation and testing of such theories as they relate to the specific domain of geographic objects and categories. (shrink)

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories (...) to be similar to their non-geographic counterparts in the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (shrink)

Cognitive categories in the geographic realm appear to manifest certain special features as contrasted with categories for objects at surveyable scales. We have argued that these features reflect specific ontological characteristics of geographic objects. This paper presents hypotheses as to the nature of the features mentioned, reviews previous empirical work on geographic categories, and presents the results of pilot experiments that used English-speaking subjects to test our hypotheses. Our experiments show geographic categories (...) to be similar to their non-geographic counterparts in the ways in which they generate instances of different relative frequencies at different levels. Other tests, however, provide preliminary evidence for the existence of important differences in subjects’ categorizations of geographic and non-geographic objects, and suggest further experimental work especially with regard to the role in cognitive categorization of different types of object-boundaries at different scales. (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)

An ontology of geographic kinds is designed to yield a better understanding of the structure of the geographic world, and to support the development of geographic information systems that are conceptually sound. This paper first demonstrates that geographical objects and kinds are not just larger versions of the everyday objects and kinds previously studied in cognitive science. Geographic objects are not merely located in space, as are the manipulable objects of table-top space. Rather, they are tied (...) intrinsically to space, and this means that their spatial boundaries are in many cases the most salient features for categorization. The ontology presented here will accordingly be based on topology (the theory of boundary, contact and separation) and on mereology (the theory of extended wholes and parts). Geographic reality comprehends mesoscopic entities, many of which are best viewed as shadows cast onto the spatial plane by human reasoning and language. Because of this, geographic categories are much more likely to show cultural differences in category definitions than are the manipulable objects of table-top space. (shrink)

The article reviews the category of ‘happiness’ along three lines: etymological discourse, ‘objective’ indicators and elements of happiness as a social/cultural phenomenon, as well as the author's proposed formula for happiness. The relevance of this study is determined by the fact that human resource is the main resource of the State, and the future of the country depends on the well-being of each individual. As a result of the etymological discourse, the following conclusions have been drawn: 1, the category of (...) ‘happiness’ is a more recent entity; 2, the ancient Greek categories of ‘good’ and ‘the highest good’ are its progenitors; 3, in the West European philosophy, good is understood inconsistently and includes the range from its utilitarian meaning to its connection with the notion of ‘value’; 4, the category of ‘happiness’ includes two aspects: one under the control of a man and another determined by external factors. Thus, in understanding happiness, most studies focus on either social/biological or social/economic components. The author proposes an integrative formula for happiness, which has the following elements: 1, ‘why’/belief system: life according to one’s own convictions; 2, ‘what’/abilities: their fulfilment in a professional/cognitive activity, i.e. the implementation of cognitive interest; 3, ‘where’/the place for fulfilling one’s life, understood as a geographical and climatic space; 4, ‘with whom’/ communication with people the person truly likes and who like him/her, while keeping a socially acceptable distance of a detached polite interaction with the rest of the social space. Therefore, happiness is the harmony of triune: the person with the Self, the Self with the world and the world with the Self. (shrink)

This paper presents an axiomatic formalization of a theory of top-level relations between three categories of entities: individuals, universals, and collections. We deal with a variety of relations between entities in these categories, including the sub-universal relation among universals and the parthood relation among individuals, as well as cross-categorial relations such as instantiation and membership. We show that an adequate understanding of the formal properties of such relations – in particular their behavior with respect to time – is (...) critical for geographic information processing. The axiomatic theory is developed using Isabelle, a computational system for implementing logical formalisms. All proofs are computer verified and the computational representation of the theory is available online. (shrink)

Attempts to trace a unifying thread of ontological realism extending through 1. my early writings on Frege, Brentano, Husserl, Wittgenstein, Ingarden and (with Kevin Mulligan and Peter Simons) on truthmakers; 2. work on formal theories of the common-sense world, and on mereotopology, fiat objects, geographical categories, and environments (with David Mark, Roberto Casati, Achille Varzi), to 3. current work on applied ontology in biology and medicine, and on the theory of document acts and on the ontology of information artifacts.

Philosophers in the field of analytic metaphysics have begun gradually to come to terms with the fact that there are entities in a range of categories not dreamt of in the set-theory and predicate-logic-based ontologies of their forefathers. Examples of such “entia minora” would include: boundaries, places, events, states holes, shadows, individual colour- and tone-instances (tropes), together with combinations of these and associated simple and complex universal species or essences, states of affairs, judgment-contents, and myriad abstract structures of the (...) sorts which are studied by the mathematical sciences. How, as hunter-gatherer ontologists, are we to bring order into this vast array? How are we to gauge the ontological merits of given candidate entities, and how are we to understand their relation to entities of more humdrum sorts? Meinong, it turns out, offers a very simple answer to all of these questions. (shrink)

The paper uses the tools of mereotopology (the theory of parts, wholes and boundaries) to work out the implications of certain analogies between the 'ecological psychology' of J. J Gibson and the phenomenology of Edmund Husserl. It presents an ontological theory of spatial boundaries and of spatially extended entities. By reference to examples from the geographical sphere it is shown that both boundaries and extended entities fall into two broad categories: those which exist independently of our cognitive acts (for (...) example, the planet Earth, its exterior surface); and those which exist only in virtue of such acts (for example: the equator, the North Sea). The visual field, too, can be conceived as an example of an extended entity that is dependent in the sense at issue. The paper suggests extending this analogy by postulating entities which would stand to true judgments as the visual field stands to acts of visual perception. The judgment field is defined more precisely as that complex extended entity which comprehends all entities which are relevant to the truth of a given (true) judgment. The work of cognitive linguists such as Talmy and Langacker, when properly interpreted, can be shown to yield a detailed account of the structures of the judgment fields corresponding to sentences of different sorts. A new sort of correspondence-theoretic definition of truth for sentences of natural language can then be formulated on this basis. (shrink)

We propose an ontological theory that is powerful enough to describe both complex spatio-temporal processes and the enduring entities that participate therein. For this purpose we introduce the notion a directly depicting ontology. Directly depicting ontologies are based on relatively simple languages and fall into two major categories: ontologies of type SPAN and ontologies of type SNAP. These represent two complementary perspectives on reality and employ distinct though compatible systems of categories. A SNAP (snapshot) ontology comprehends enduring entities (...) such as organisms, geographic features, or qualities as they exist at some given moment of time. A SPAN ontology comprehends perduring entities such as processes and their parts and aggregates as they unfold themselves through some temporal interval. We give an axiomatic account of the theory of directly depicting ontologies and of the core parts of the metaontological fragment within which they are embedded. (shrink)

he importance of gender equality and of women’s work in relation to the environment is regarded as a crucial question for development in “third‐world” rural societies. “Development” and a certain standard of welfare make these issues appear to be less urgent in a wealthier country such as Sweden. In this article, I trace some of the contradictions and connections in the ways in which gender equality is conceptualized in women’s struggles vis‐à‐vis environmental issues in rural areas in Sweden and India. (...) The article throws light on two important insights: First, in Sweden, where gender equality has been actively pursued as the bedrock of modern societal organizing, the space to organize as women in relation to environmental issues was fraught with ambiguity. Second, development discourses about equality and empowerment of oppressed third‐world women not only bear on how gender equality is conceptualized and practiced in the global South but also shape the space for gender equality in the North. Analyzing the two cases in relation to each other reveals the travel of ideas and conversations across distant geographical spaces. While ideas about the independent, empowered woman are used to deny agency to women’s collectives in India, gendered discrimination has taken different forms in Sweden, making it more difficult to contest. Understanding how this takes place opens an opportunity for interruption in an order and a space that appears to have become narrower under the umbrella of development, welfare, and growth. It brings into question the category of development in a southern but particularly so in a northern context, where the North, and especially Sweden, is taken as a referent for questions of development and gender equality. -/- . (shrink)

When discussing the general inertia in climate change mitigation, it is common to approach the analysis either in terms of epistemic obstacles (climate change is too scientifically complex to be fully understood by all in its dramatic nature and/or to find space in the media) and/or moral obstacles (the causal link between polluting actions and social damage is too loose, both geographically and temporally, to allow individuals to understand the consequences of their emissions). In this chapter I maintain that both (...) categories of obstacles now play a secondary role: many people have a clear understanding of the physical and social dynamics involved in climate change. The main reason why so few manage to reduce their ecological footprint is an ethical short-circuit that does not allow most people to reveal their “true” climate-related preferences in their daily choices. This short-circuit manifests itself in two phenomena that can be analysed through the lens of moral psychology. First, as the possibility of anticipated utility approaches, individuals further discount expected future utility and may even reverse their preferences (due to the so-called immediacy multiplier, in addition to the better known and discussed future utility discounting). Second, individuals struggle to order their preferences transitively when presented with the opportunity to obtain small net marginal utilities in the short run. The intertemporal and collective structure of the climate problem creates fertile ground for both phenomena, which means that even those who are sincerely convinced of the need to contribute to climate change mitigation end up trapped in loops of procrastination, both first and second level. If, however, we can understand the origin of these phenomena, then we will be able to devise counteracting solutions that will speed up individual mitigation efforts. I will therefore briefly propose three ethical/public strategies to break the procrastination loop: pre-commitment; increasing the costs of marginal postponements; reducing the disutility of action that is likely to be postponed. (shrink)

It is nowadays a dominant opinion in a number of disciplines (anthropology, genetics, psychology, philosophy of science) that the taxonomy of human races does not make much biological sense. My aim is to challenge the arguments that are usually thought to invalidate the biological concept of race. I will try to show that the way “race” was defined by biologists several decades ago (by Dobzhansky and others) is in no way discredited by conceptual criticisms that are now fashionable and widely (...) regarded as cogent. These criticisms often arbitrarily burden the biological category of race with some implausible connotations, which then opens the path for a quick eliminative move. However, when properly understood, the biological notion of race proves remarkably resistant to these deconstructive attempts. Moreover, by analyzing statements of some leading contemporary scholars who support social constructivism about race, I hope to demonstrate that their eliminativist views are actually in conflict with what the best contemporary science tells us about human genetic variation. (shrink)

The present article has as proposal the discussion of the philosophical categories of Idealism and Materialism in the Geographical thought. Starting from the assumption that the knowledge is a fact, we explicit our onto-epistemological basis by a dialog between the main representatives of each Philosophy pole, from Democritus to Hegel, exposing after the sublation to the metaphysics done by the dialectical materialism. Using a bridge to the hard core of the Critical Geography (Lefebvre, Harvey and Quaini), we transmute the (...) philosophical debate to the geographical field showing the often ignored roots, logic and addictions of the Modern Geography. Retaking in the end the duel between Idealism and Materialism, we present our thesis in which the Crisis of Geography is, in fact, just the result of a process originated from its incapacity as a discipline to overcome the limiter vestige of its birth: the Metaphysics. (shrink)

D'Arcy May, in his review, contends Magliola argues that the Buddhist doctrines of no-self and rebirth are contradictory, whereas Magliola in fact argues just the opposite--that these two Buddhist doctrines are not contradictory (and he explains why). What Magliola does contend is that Buddhist no-self and rebirth contradict the Catholic teachings of individual identity and "one life-span only." D'Arcy May's review contends that Magliola admits "authoritative statements" are "hard to come by" in Buddhism, whereas Magliola in his book contends that (...) "authoritative statements" play a very important role in Buddhism: his book explains how "authority" functions in Buddhism, and he directs readers to the careful "vetting" of his book--including his discussions of "authority in Buddhism"-- by Ven. Bhikkhu Bodhi (for Theravada) and Ven. Dr. Dhammadipa [Fa Yao] (for both Theravada and the two "Big Vehicles"). His book also cites approvals by several established academics who are Buddhologists. Magliola's "Reply" goes on to argue that D'Arcy May's interpretation of the "sensus fidelium" foists the opinions of "white intellectual elites and higher-income Catholics of the North Atlantic tier of countries and their geographical projections--Australia, etc. (only 9 percent of the world's Catholic population) upon the 68 percent of Catholics who live in the global South and East. Magliola's "Reply" also expresses his dismay that D'Arcy May, throughoout his review, dodges the pivotal Derridean notion of "samenesses erected by irreducible difference" though this "thought-motif" constitutes the scaffolding of Magliola's entire book. (shrink)

Maps provide us with an easily recognizable version of the new demarcation problem: On the one hand, we are all familiar with graphics and maps that unacceptably distort our perceptions without being technically inaccurate or fictive; indeed there are whole websites groups devoted to curating such images for fun. On the other hand, there are multiple unavoidably value-laden choices that must be made in the production of any map. Producing a map requires choosing everything from the colors and thicknesses of (...) the lines, the scale, the projection system, the categories and parameters represented, and much more. There is no neutral default for any of these choices, and all of them shape what information the map communicates. All the visual choices involved in producing a map enable some information to be conveyed at the cost of hiding or distorting other information, as map makers themselves routinely acknowledge and discuss. Hence there are no straightforward answers to questions about the line between distortion and legitimate representational choices. I explore three distinctive kinds of epistemic risks in map-making that generate special versions of the demarcation problem, which I dub aesthetic risk, categorization risk, and simplification risk. I argue that in each case, even good maps – maps that are accurate and epistemically valuable – have the potential to mislead us. I end by looking at maps that offer special epistemic benefits by making clear their own lack of value-neutrality while still being accurate and epistemically fecund. (shrink)

Geographical economics (also known as the ‘new economic geography’) is an approach developed within economics dealing with space and geography, issues previously neglected by the mainstream of the discipline. Some practitioners in neighbouring fields traditionally concerned with spatial issues (descriptively) characterized it as—and (normatively) blamed it for—intellectual imperialism. We provide a nuanced analysis of the alleged imperialism of geographical economics and investigate whether the form of imperialism it allegedly instantiates is to be resisted and on what grounds. From both descriptive (...) and normative perspectives, our conclusion is: yes and no. (shrink)

Foundational ontologies, central constructs in ontological investigations and engineering alike, are based on ontological categories. Firstly proposed by Aristotle as the very ur- elements from which the whole of reality can be derived, they are not easy to identify, let alone partition and/or hierarchize; in particular, the question of their number poses serious challenges. The late medieval philosopher Dietrich of Freiberg wrote around 1286 a tutorial that can help us today with this exceedingly difficult task. In this paper, I (...) discuss ontological categories and their importance for foundational ontologies from both the contemporary perspective and the original Aristotelian viewpoint, I provide the translation from the Latin into English of Dietrich's De origine II with an introductory elaboration, and I extract a foundational ontology–that is in fact a single-category one–from this text rooted in Dietrich's specification of types of subjecthood and his conception of intentionality as causal operation. (shrink)

The federal system for allocating donated livers in the United States is often criticized for allowing geographic disparities in access to livers. Critics argue that such disparities are unfair on the grounds that where one lives is morally arbitrary and so should not influence one's access to donated livers. They argue instead that livers should be allocated in accordance with the equal opportunity principle, according to which US residents who are equally sick should have the same opportunity to receive (...) a liver, regardless of where they live. In this paper, we examine a central premise of the argument for the equal opportunity principle, namely, that geographic location is a morally arbitrary basis for allocating livers. We raise some serious doubts regarding the truth of this premise, arguing that under certain conditions, factors closely associated with geographic location are relevant to the allocation of livers, and so that candidates' geographic location is sometimes a morally non-arbitrary basis for allocating livers. Geographic location is morally non-arbitrary, we suggest, since by taking it into account, the UNOS may better fulfill its central goals of facilitating the effective and efficient placement of organs for transplantation and increasing organ donation. (shrink)

We propose as a UCGIS research priority the topic of “Ontological Foundations for Geographic Information.” Under this umbrella we unify several interrelated research subfields, each of which deals with different perspectives on geospatial ontologies and their roles in geographic information science. While each of these subfields could be addressed separately, we believe it is important to address ontological research in a unitary, systematic fashion, embracing conceptual issues concerning what would be required to establish an exhaustive ontology of the (...) geospatial domain, issues relating to the choice of appropriate methods for formalizing ontologies, and considerations regarding the design of ontology-driven information systems. This integrated approach is necessary, because there is a strong dependency between the methods used to specify an ontology, and the conceptual richness, robustness and tractability of the ontology itself. Likewise, information system implementations are needed as testbeds of the usefulness of every aspect of an exhaustive ontology of the geospatial domain. None of the current UCGIS research priorities provides such an integrative perspective, and therefore the topic of “Ontological Foundations for Geographic Information Science” is unique. (shrink)

Category-based induction is an inferential mechanism that uses knowledge of conceptual relations in order to estimate how likely is for a property to be projected from one category to another. During the last decades, psychologists have identified several features of this mechanism, and they have proposed different formal models of it. In this article; we propose a new mathematical model for category-based induction based on distances on conceptual spaces. We show how this model can predict most of the properties of (...) this kind of reasoning while providing a solid theoretical foundation for it. We also show that it subsumes some of the previous models proposed in the literature and that it generates new predictions. (shrink)

This article discusses the process of universalization of education in Brazil the count from a specific spatiality - the places on the edge of the Transmazonica highway. There being no need toquestion the scope and effectiveness of expanding access to basic education, given its wide acceptance in the country - we start from the principle of geographical connectivity/connection to problematize such educational universalization. We aim to reflect on the scope of basic education, its conditions and ability to potentiate or not (...) the diversity of the territory. Methodologically grounded in a dialogue between phenomenology and existentialism, we conduct a literature review taking as starting point the preliminary empirical research data. We conclude that the universalization of education is configured as extermination argument that effective the urbanocentric vision and one connectedness between places and territory, produces disconnection of the places themselves, removing their ability to communicative action that jeopardizes not only education the local, but regional and national. (shrink)

Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical theory of (...) class='Hi'>categories, dating from the mid-twentieth century, includes a theory of always-self-predicative universals--which can be seen as forming the "other bookend" to the never-self-predicative universals of set theory. The self-predicative universals of category theory show that the problem in the antinomies was not self-predication per se, but negated self-predication. They also provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. (shrink)

This paper proposes that the resurgence of geographic factors in the study of uneven development is not due simply to the recurrent nature of intellectual fashions, nor necessarily because arguments that rely on geographic factors are less simplistic than before, nor because they avoid racialist, imperialistic, and deterministic forms they sometimes took in the past. Rather, this paper argues that geographic factors have been turned to once again because they are an indispensable part of explanation, playing a (...) special role that has not been properly understood, a role especially crucial for the explanation of the inherently spatial questions that development studies seek to address. The paper is made up of two sections and an appendix. The first section discusses why geographic factors are necessary for explanations of uneven development with a brief example from the ‘institutions versus geography’ debate. The second section discusses why the reflexive rejection by social scientists of geographic and environmental factors is misguided, with a separate note on geography and geographers. The ideas in this paper were in part arrived at inductively while surveying instances where social scientists in some way attempt to account for real-world locations/distributions of social phenomena (as opposed to discussing a social theory or process aspatially or with its distribution taken as a starting point). A number of these are included with discussion as an appendix. (shrink)

There is growing support for the view that social categories like men and women refer to “objective types” (Haslanger 2000, 2006, 2012; Alcoff 2005). An objective type is a similarity class for which the axis of similarity is an objective rather than nominal or fictional property. Such types are independently real and causally relevant, yet their unity does not derive from an essential property. Given this tandem of features, it is not surprising why empirically-minded researchers interested in fighting oppression (...) and marginalization have found this ontological category so attractive: objective types have the ontological credentials to secure the reality (and thus political representation) of social categories, and yet they do not impose exclusionary essences that also naturalize and legitimize social inequalities. This essay argues that, from the perspective of these political goals of fighting oppression and marginalization, the category of objective types is in fact a Trojan horse; it looks like a gift, but it ends up creating trouble. I argue that objective type classifications often lack empirical adequacy, and as a result they lack political adequacy. I also provide, and in reference to the normative goals described above, several arguments for preferring a social ontology of natural kinds with historical essences. (shrink)

Analytical categories of scientific cultures have typically been used both exclusively and universally. For instance, when styles of scientific research are employed in attempts to understand and narrate science, styles alone are usually employed. This article is a thought experiment in interweaving categories. What would happen if rather than employ a single category, we instead investigated several categories simultaneously? What would we learn about the practices and theories, the agents and materials, and the political-technological impact of science (...) if we analyzed and applied styles, paradigms, and models simultaneously? I address these questions in general and for a specific case study: a brief history of systematics. (shrink)

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

Linnebo and Pettigrew present some objections to category theory as an autonomous foundation. They do a commendable job making clear several distinct senses of ‘autonomous’ as it occurs in the phrase ‘autonomous foundation’. Unfortunately, their paper seems to treat the ‘categorist’ perspective rather unfairly. Several infelicities of this sort were addressed by McLarty. In this note I address yet another apparent infelicity.

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

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)

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.

In this paper an Artificial Neural Network (ANN) model, for predicting the category of a tumor was developed and tested. Taking patients’ tests, a number of information gained that influence the classification of the tumor. Such information as age, sex, histologic-type, degree-of-diffe, status of bone, bone-marrow, lung, pleura, peritoneum, liver, brain, skin, neck, supraclavicular, axillar, mediastinum, and abdominal. They were used as input variables for the ANN model. A model based on the Multilayer Perceptron Topology was established and trained using (...) data set which its title is “primary tumor” and was obtained from the University Medical Centre, Institute of Oncology, Ljubljana, Yugoslavia Test data evaluation shows that the ANN model is able to correctly predict the tumor category with 76.67 % accuracy. (shrink)

In this paper it is shown how simple texts that can be parsed in a Lambek Categorial Grammar can also automatically be provided with a semantics in the form of a Discourse Representation Structure in the sense of Kamp [1981]. The assignment of meanings to texts uses the Curry-Howard-Van Benthem correspondence.

Arguing first that the best way to understand what a continuant is is as something that primarily has its properties at a time rather than atemporally, the paper then defends the idea that there are occurrent continuants. These are things that were, are, or will be happening—like the ongoing process of someone reading or my writing this paper, for instance. A recently popular philosophical view of process is as something that is referred to with mass nouns and not count nouns. (...) This has mistakenly encouraged the view that the only way to think of process is as the stuff of events, and has obscured the possibility of thinking of processes as individual continuants. (shrink)

In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (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)

Anyone who tries to understand categories soon runs into the problem of giving an account of the unity of a category. Call this the “unity problem.” In this essay, I describe a distinctive and under-studied version of the unity problem and discuss how it might be solved. First, I describe various versions of the unity problem. Second, I focus on one version and argue that it is best dealt with by thinking of at least some categories as “norm-constituted,” (...) in a sense that I try to make clear. Third, I discuss some objections to my proposal. Fourth, I compare norm -constituted categories to categories that are normative in a different sense. Fifth, I briefly discuss the possibility of grounding the normativity of norm-constituted categories. Finally, I raise a few questions for further research. (shrink)

Kimberlé Williams Crenshaw ends her landmark essay “Mapping the Margins: Intersectionality, Identity Politics, and Violence against Women of Color” with a normative claim about coalitions. She suggests that we should reconceptualize identity groups as “in fact coalitions,” or at least as “potential coalitions waiting to be formed.” In this essay, I explore this largely overlooked claim by combining philosophical analysis with archival research I conducted at the Gay, Lesbian, Bisexual and Transgender Historical Society Archive in San Francisco about Somos Hermanas, (...) the solidarity project of the Alliance Against Women’s Oppression, based in the San Francisco Women’s Building (1984–90). I extend my analysis into the present by drawing on the oral history and published works of Carmen Vázquez, a key organizer in both Somos Hermanas and the Women’s Building. I argue that conceptualizing identities as in fact coalitions—as complex, internally heterogeneous unities constituted by their internal differences and dissonances and by internal as well as external relations of power—enables us to organize effective political coalitions that cross existing identity categories and to pursue a liberatory politics of interconnection. (shrink)

Categories We Live by: The Construction of Sex, Gender, Race, and Other Social Categories, by Ásta. Oxford: OUP, 2018. Pp. 160.

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)

Images of species, sets, and containers, combined with an obsolete positivist theory of meaning and a curiously illogical interpretation of a structuralist understanding of meaning, together have driven feminists and their critics to find unavoidable essentialism and binary totalism in feminist theorists' use of the category WOMEN. This paper explores an enriched imagination for how categories can be structured internally and in relations to other categories, and proposes that we need to think categories simultaneously through multiple and (...) mixed metaphors, including the metaphors of a spun thread and family resemblance, and the image of correlational densities in multidimensional quality spaces. (shrink)

This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also (...) consider the idea of non-standard geographies, which may be associated with geography under a classical conception in the same sense in which non-standard logics are associated with classical logic. (shrink)

We introduce the category of mereotopology Mtop as an alternative category to that of topology Top, stating ontological consequences throughout. We consider entities such as boundaries utilizing Brentano’s thesis and holes utilizing homotopy theory with a rigorous proof of Hausdorff Spaces satisfying [GEM]TC axioms. Lastly, we mention further areas of study in this category.

The aim of this paper is to clarify the role of category theory in the foundations of mathematics. There is a good deal of confusion surrounding this issue. A standard philosophical strategy in the face of a situation of this kind is to draw various distinctions and in this way show that the confusion rests on divergent conceptions of what the foundations of mathematics ought to be. This is the strategy adopted in the present paper. It is divided into 5 (...) sections. We first show that already in the set theoretical framework, there are different dimensions to the expression foundations of. We then explore these dimensions more thoroughly. After a very short discussion of the links between these dimensions, we move to some of the arguments presented for and against category theory in the foundational landscape. We end up on a more speculative note by examining the relationships between category theory and set theory. (shrink)

I defend a one category ontology: an ontology that denies that we need more than one fundamental category to support the ontological structure of the world. Categorical fundamentality is understood in terms of the metaphysically prior, as that in which everything else in the world consists. One category ontologies are deeply appealing, because their ontological simplicity gives them an unmatched elegance and spareness. I’m a fan of a one category ontology that collapses the distinction between particular and property, replacing it (...) with a single fundamental category of intrinsic characters or qualities. We may describe the qualities as qualitative charactersor as modes, perhaps on the model of Aristotelian qualitative (nonsubstantial) kinds, and I will use the term “properties” interchangeably with “qualities”. The qualities are repeatable and reasonably sparse, although, as I discuss in section 2.6, there are empirical reasons that may suggest, depending on one’s preferred fundamental physical theory, that they include irreducibly intensive qualities. There are no uninstantiated qualities. I also assume that the fundamental qualitative natures are intrinsic, although physics may ultimately suggest that some of them are extrinsic. On my view, matter, concrete objects, abstract objects, and perhaps even spacetime are constructed from mereological fusions of qualities, so the world is simply a vast mixture of qualities, including polyadic properties (i.e., relations). This means that everything there is, including concrete objects like persons or stars, is a quality, a qualitative fusion, or a portion of the extended qualitative fusion that is the worldwhole. I call my view mereological bundle theory. (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)