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)

Two hundred and sixty-three subjects each gave examples for one of five geographic categories: geographic features, geographic objects, geographic concepts, something geographic, and something that could be portrayed on a map. The frequencies of various responses were significantly different, indicating that the basic ontological terms feature, object, etc., are not interchangeable but carry different meanings when combined with adjectives indicating geographic or mappable. For all of the test phrases involving geographic, responses were (...) predominantly natural features such as mountain, river, lake, ocean, hill. Artificial geographic features such as town and city were listed hardly at all for geographic categories, an outcome that contrasts sharply with the disciplinary self-understanding of academic geography. However, geographic artifacts and fiat objects, such as roads, cities, boundaries, countries, and states, were frequently listed by the subjects responding to the phrase something that could be portrayed on a map. In this paper, we present the results of these experiments in visual form, and provide interpretations and implications for further research. (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)

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

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)

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)

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)

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)

Notions such as śūnyatā, catuṣkoṭi, and Indra's net, which figure prominently in Buddhist philosophy, are difficult to readily accommodate within our ordinary thinking about everyday objects. Famous Buddhist scholar Nāgārjuna considered two levels of reality: one called conventional reality, and the other ultimate reality. Within this framework, śūnyatā refers to the claim that at the ultimate level objects are devoid of essence or "intrinsic properties", but are interdependent by virtue of their relations to other objects. Catuṣkoṭi refers to the claim (...) that four truth values, including contradiction, are admissible in reasoning. Indra's net refers to the claim that every part of a whole is reflective of the whole. Here we present category theoretic constructions that are reminiscent of these Buddhist concepts. The universal mapping property definition of mathematical objects, wherein objects of a universe of discourse are defined not in terms of their content, but in terms of their relations to all objects of the universe is reminiscent of śūnyatā. The objective logic of perception, with perception modeled as [a category of] two sequential processes (sensation followed by interpretation), and with its truth value object of four truth values, is reminiscent of the Buddhist logic of catuṣkoṭi. The category of categories, wherein every category has a subcategory of sets with zero structure within which every category can be modeled, is reminiscent of Indra's net. Our thorough elaboration of the parallels between Buddhist philosophy and category theory can facilitate better understanding of Buddhist philosophy, and bring out the broader philosophical import of category theory beyond mathematics. (shrink)

In this essay, I challenge Charles Mills’s use of the category of moral personhood for advancing a robust anti-racist political critique in nonideal circumstances. I argue that the idea of the moral equality of persons is necessary but insufficient for reparative justice. I enrich the normative basis of political critique to include: (1) a clarification of what the public recognition of moral personhood can legitimately entail as a requirement of justice enforceable by the state, especially with respect to economic reforms (...) that advance equal opportunity and (2) a conception of non-alienated labor that assails identity-based occupational segregation in the labor market. These additional components do not exhaust the plausible bases for political critique, but enrich it in a way that the idea of moral equality alone cannot. (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 social categories to which we belong—Latino, disabled, American, woman— causally influence our lives in deep and unavoidable ways. One might be pulled over by police because one is Latino, or one might receive a COVID vaccine sooner because one is American. Membership in these social categories most often falls outside of our control. This paper argues that membership in social categories constitutes a restriction on human agency, creating a situation of non-ideal agency for many human individuals. (...) -/- However, there are ways to resist the causal influence of social categories, and certain socially marginalized groups can be understood as attempting to do just this. I discuss two instances of social category resistance: gender pronouns and the rights of trans individuals. I suggest that the intentional declaration of gender pronouns (“she/her” or “they/them”) can be understood as an attempt to resist the causal powers of nonconsensual social categorization. Similarly, one among many reasons to support the rights of trans individuals is that their self-declarations of gender identity can be viewed as a reclamation of agency in the face of causal constraints imposed by socially defined and imposed gender categories. This lesson can be generalized to people belonging to a broad range of marginalized groups. (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)

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)

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)

Ontological pluralism is the view that there are different ways of being. Historically, ways of being are aligned with the ontological categories. This paper is about to investigate why there is such a connection, and how it should be understood. Ontological pluralism suffers from an objection, according to which ontological pluralism collapses into ontological monism, i.e., there is only one way to be. Admitting to ontological categories can save ontological pluralism from this objection if ways of being ground (...) ontological categories. -/- . (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)

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)

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)

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.

Kendall Walton’s “Categories of Art” (1970) is one of the most important and influential papers in twentieth-century aesthetics. It is almost universally taken to refute traditional aesthetic formalism/empiricism, according to which all that matters aesthetically is what is manifest to perception. Most commentators assume that the argument of “Categories” applies to works of literature. Walton himself notes a word of caution: “The aesthetic properties of works of literature are not happily called ‘perceptual’ … (The notion of perceiving a (...) work in a category … is not straightforwardly applicable to literary works)” (335 n.5). However, he goes on to say that although he focuses “on visual and musical works … the central points I make concerning them hold, with suitable modifications, for novels, plays, and poems as well” (335 n.5). Here I consider what “suitable modifications” are required to extend the account to literature. (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)

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)

One well known problem regarding quantifiers, in particular the 1st order 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 functor-function 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)

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)

This article focuses on the reception of Aristotle’s Categories by the first three representatives of Greek Neoplatonism: Plotinus (204/205–270 CE), Porphyry (ca. 234–ca. 305 CE), Iamblichus (ca. 242–ca. 325 CE). The first section argues that Plotinus’ acquaintance with Aristotle’s treatises marked a fresh start vis-à-vis the previous Platonist tradition. Aristotle’s views, arguments and vocabulary are ubiquitous in Plotinus writings (the Enneads) and they must be considered an essential part of his philosophical project. Plotinus, however, does not share some of (...) Aristotle’s key theories and is critical of them. The second section focuses on Plotinus’ discussion of Aristotle’s Categories in the tripartite treatise On the Genera of Being (6.1–3). There he rejects the Peripatetic division into ten categories as providing an incomplete account of the genera of being that unduly omits “those which are most authentically beings”, i.e. Plato’s separate Forms. While drawing on earlier Platonist objections to Aristotle, Plotinus’ approach is original insofar as he criticizes Aristotle and his followers not only for omitting intelligible beings in the division of categories, but also for being unable, for this very reason, to work out an adequate division of sensible beings themselves. The third section is devoted to Porphyry, a student of Plotinus’ and the editor of his works. Porphyry worked intensively on Aristotle’s Categories, which he regarded as an introduction not only to logic, but to philosophy as a whole. Unlike Plotinus, Porphyry aimed to integrate Aristotle into Platonism and his engagement with the Categories was a key part of his project after Plotinus’ in-depth criticism. Porphyry’s approach is connected to his view of the subject-matter of the Categories, which he sees as focusing on words insofar as they signify beings, and not on beings as such. The fourth section focuses on some parallels between Plotinus’ Genera of Beings and Porphyry’s works, which may reflect the debate within Plotinus’ school. The fifth section focuses on Iamblichus of Chalcis. Both in theology and in the interpretation of Aristotle’s Categories, Iamblichus aimed to both continue and supplant Porphyry’s work. While Plotinus criticizes Aristotle’s categories for omitting intelligible beings, and while Porphyry accepts Aristotle’s categories insofar as they focus on words signifying sensible things, Iamblichus incorporates his Neoplatonist and Pythagorizing metaphysics into the interpretation of the Categories. (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)

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

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)

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)

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)

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.

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)

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)