Basic Formal Ontology (BFO) is a top-level ontology consisting of thirty-six classes, designed to support information integration, retrieval, and analysis across all domains of scientific investigation, presently employed in over 350 ontology projects around the world. BFO is a genuine top-level ontology, containing no terms particular to material domains, such as physics, medicine, or psychology. In this paper, we demonstrate how a series of cases illustrating common types of change may be represented by universals, defined classes, and relations employing the (...) BFO framework. We provide discussion of these cases to provide a template for other ontologists using BFO, as well as to facilitate comparison with the strategies proposed by ontologists using different top-level ontologies. (shrink)

I argue that Aristotle endorses what I call the ‘strong link thesis’: the claim that virtuous and vicious acts are voluntary just in case the character states from which they flow are voluntary. Pace much of the literature, I argue that Aristotle does not defend some kind of limited or qualified responsibility for character: rightly or wrongly, he believes, and must believe, that character states are voluntary, full stop.

Philosophers of the modern period are often presented as having made an elementary error: that of confounding the attitude one adopts toward a proposition with its content. By examining the works of Locke and the Port-Royalians, I show that this accusation is ill-founded and that Locke, in particular, has the resources to construct a theory of propositional attitudes.

According to the phenomenal intentionality research program, a state’s intentional content is fixed by its phenomenal character. Defenders of this view have little to say about just how this grounding is accomplished. I argue that without a robust account of representation, the research program promises too little. Unfortunately, most of the well-developed accounts of representation – asymmetric dependence, teleosemantics, and the like – ground representation in external relations such as causation. Such accounts are inconsistent with the core of the phenomenal (...) intentionality program. I argue that, however counter-intuitive it may seem, the best prospect for explaining how phenomenal character represents appeals to resemblance. (shrink)

On a currently popular reading of Locke, an idea represents its cause, or what God intended to be its cause. Against Martha Bolton and my former self (among others), I argue that Locke cannot hold such a view, since it sins against his epistemology and theory of abstraction. I argue that Locke is committed to a resemblance theory of representation, with the result that ideas of secondary qualities are not representations.

The ability to access and share data is key to optimizing and streamlining any industrial production process. Unfortunately, the manufacturing industry is stymied by a lack of interoperability among the systems by which data are produced and managed, and this is true both within and across organizations. In this paper, we describe our work to address this problem through the creation of a suite of modular ontologies representing the product life cycle and its successive phases, from design to end of (...) life. We call this suite the Product Life Cycle (PLC) Ontologies. The suite extends proximately from The Common Core Ontologies (CCO) used widely in defense and intelligence circles, and ultimately from the Basic Formal Ontology (BFO), which serves as top level ontology for the CCO and for some 300 further ontologies. The PLC Ontologies were developed together, but they have been factored to cover particular domains such as design, manufacturing processes, and tools. We argue that these ontologies, when used together with standard public domain alignment and browsing tools created within the context of the Semantic Web, may offer a low-cost approach to solving increasingly costly problems of data management in the manufacturing industry. (shrink)

The conception of a ‘law of nature’ is a human product. It was created to play a role in natural philosophy, in the Cartesian tradition. In light of this, philosophers and scientists must sort out what they mean by a law of nature before evaluating rival theories and approaches. If one’s conception of the laws of nature is yoked to metaphysical notions of truth and explanation, that connection must be made explicit and defended. If, on the other hand, one’s aim (...) is to disentangle laws from truth or from explanation, that must be stated and defended as well. If philosophers do not make such assumptions, intuitions, and methodological commitments clear, then it will be impossible to identify the source of disagreement in debates about the laws of nature. Are the conflicts rooted in disagreement about the conclusions reached, or do the background commitments of the combatants block any resolution to the dispute in principle or in practice? (shrink)

John Locke’s claims about relations (such as cause and effect) and mixed modes (such as beauty and murder) have been controversial since the publication of the Essay. His earliest critics read him as a thoroughgoing anti-realist who denies that such things exist. More charitable readers have sought to read Locke’s claims away. Against both, I argue that Locke is making ontological claims, but that his views do not have the absurd consequences his defenders fear. By examining Locke’s texts, as well (...) as the intellectual context in which they were written, I show that Locke’s position is at once radical and thoroughly traditional. (shrink)

Hume's views on language have been widely misunderstood. Typical discussions cast Hume as either a linguistic idealist who holds that words refer to ideas or a proto-verificationist. I argue that both readings are wide of the mark and develop my own positive account. Humean signification emerges as a relation whereby a word can both indicate ideas in the mind of the speaker and cause us to have those ideas. If I am right, Hume offers a consistent view on meaning that (...) is neither linguistic idealism nor positivism but a genuine alternative to these, one that deserves to be taken seriously. (shrink)

Disputes over territory are a major contributing factor to the disruption of international relations. We believe that a cumulative, integrated, and continuously updated resource providing information about such disputes in an easily accessible form would be of benefit to intelligence analysts, military strategists, political scientists, and also to historians and others concerned with international disputes. We propose an ontology-based strategy for creating such a resource. The resource will contain information about territorial disputes, arguments for and against claims pertaining to sovereignty, (...) proffered evidence for such claims, political and military motives (overt or hidden), and associated conflicts. Our approach is designed to address several issues surrounding the representation of geopolitical conflict, including the tracking and individuation of disputes and the validation of disseminated information. (shrink)

Contemporary Humeans treat laws of nature as statements of exceptionless regularities that function as the axioms of the best deductive system. Such ‘Best System Accounts’ marry realism about laws with a denial of necessary connections among events. I argue that Hume’s predecessor, George Berkeley, offers a more sophisticated conception of laws, equally consistent with the absence of powers or necessary connections among events in the natural world. On this view, laws are not statements of regularities but the most general rules (...) God follows in producing the world. Pace most commentators, I argue that Berkeley’s view is neither instrumentalist nor reductionist. More important, the Berkeleyan Best System can solve some of the problems afflicting its Humean rivals, including the problems of theory choice and Nancy Cartwright’s ‘facticity’ dilemma. Some of these solutions are available in the contemporary context, without any appeal to God. Berkeley’s account deserves to be taken seriously in its own right. (shrink)

The way of laws is as much a defining feature of the modern period as the way of ideas; but the way of laws is hardly without its forks. Both before and after Descartes, there are philosophers using the concept to carve out a very different position from his, one that is entirely disconnected from God or God’s will. I argue that Francis Bacon and Baruch Spinoza treat laws as dispositions that derive from a thing’s nature. This reading upends the (...) currently orthodox treatment of Spinoza’s laws as infinite modes, and calls for a re-conception of his metaphysics of causation. (shrink)

Discussions of John Locke’s theory of causation tend, understandably, to focus on the related notion of power and in particular the dialectic with David Hume. But Locke faces a very different threat, one that is internal to his view. For he argues both that causation is a relation and that relations are not real. The obvious conclusion is intolerable. And yet the premises, I argue, are unassailable. Building on an interpretation of Locke’s treatment of relations I have developed elsewhere, I (...) show how Locke can at once speak meaningfully of causation and deny its mind-independent existence. (shrink)

In this paper, I argue that Locke is not in fact agnostic about the ultimate nature of the mind. In particular, he produces an argument, much like Jaegwon Kim's exclusion argument, to show that any materialist view that takes mental states to supervene on physical states is committed to epiphenomenalism. This result helps illuminate Locke's otherwise puzzling notion of 'superaddition.'.

I argue that Leibniz’s doctrine of sensory representation is intended in part to close an explanatory gap in his philosophical system. Unlike the twentieth century explanatory gap, which stretches between neural states on one side and phenomenal character on the other, Leibniz’s gap lies between experiences of secondary qualities like color and taste and the objects that cause them. The problem is that the precise arrangement and distribution of such experiences can never be given a full explanation. In response, Leibniz (...) appeals to representation. I argue that the sense in which Leibnizian sensations are representations is too weak to close his explanatory gap. In the end, he must appeal to the doctrine of the best possible world. (shrink)

Of course not. In this short paper, I offer a series of arguments against Pitcher and Feinberg and reply to the best objection to the view I defend.

Like their contemporary counterparts, early modern philosophers find themselves in a predicament. On one hand, there are strong reasons to deny that sensations are representations. For there seems to be nothing in the world for them to represent. On the other hand, some sensory representations seem to be required for us to experience bodies. How else could one perceive the boundaries of a body, except by means of different shadings of color? I argue that Nicolas Malebranche offers an extreme -- (...) and ultimately unworkable -- attempt to solve this riddle. Most commentators claim that Malebranche defends an adverbial theory of sensation, according to which a sensation is merely a way in which an act of sensing happens. The adverbial reading is wrong, or so I argue. Once we arrive at a more accurate reading, we shall see that his position is much more strange than is currently thought. Nevertheless, Malebranche’s view is similar to the adverbial theory in one respect, albeit it at a very high level of generality. His view thus inherits two of the main problems that afflict adverbial theories. Although Malebranche fails to solve them, his ingenious attempts to do so are instructive. (shrink)

Two kinds of people might find this useful: first, those interested in the modern debate over ideas and representation who don’t happen to read French, or who do, but would like to have in one place the relevant excerpts, to see whether looking at the originals is worth their time. Second are teachers of modern philosophy. The back-and-forth among these figures makes for a refreshing change from the massive, often self-contained works that characterize much of the rest of such a (...) course. For example, one could easily work in chapter 3 (the high point of the debate, from my point of view) between Descartes and Berkeley. (shrink)

Pace much of the literature, I argue that Aristotle endorses what I call the ‘strong link thesis’: the claim that virtuous and vicious acts are voluntary just in case the character states from which they flow are voluntary. I trace the strong link thesis to Plato’s Laws, among other texts, and show how it functions in key arguments of both philosophers.

Powers ontologies are currently enjoying a resurgence. This would be dispiriting news for the moderns; in their eyes, to imbue bodies with powers is to slide back into the scholastic slime from which they helped philosophy crawl. I focus on Descartes’s ‘little souls’ argument, which points to a genuine and, I think persisting, defect in powers theories. The problem is that an Aristotelian power is intrinsic to whatever has it. Once this move is accepted, it becomes very hard to see (...) how humble matter could have such a thing. It is as if each empowered object were possessed of a little soul that directs it and governs its behavior. Instead of attempting to resurrect the Aristotelian power theory, contemporary philosophers would be best served by taking their inspiration from its early modern replacement, devised by John Locke and Robert Boyle. On this view, powers are internal relations, not monadic properties intrinsic to their bearers. This move at once drains away the mysterious directedness of Aristotelian powers and solves the contemporary version of the little souls argument, Neil Williams’s ‘problem of fit.’. (shrink)

On the face of it, Locke rejects the scholastics' main tool for making sense of talk of God, namely, analogy. Instead, Locke claims that we generate an idea of God by 'enlarging' our ideas of some attributes (such as knowledge) with the idea of infinity. Through an analysis of Locke's idea of infinity, I argue that he is in fact not so distant from the scholastics and in particular must rely on analogy of inequality.

Locke clearly intends what I call his 'linguistic thesis,' the claim that words signify nothing but ideas, to tell against Aristotelian essentialism. I argue that current interpretations of Locke's anti-essentialist arguments have not accorded the linguistic thesis its proper role. This is largely due to the prevalent misreadings of that thesis. Locke's view is that words reliably indicate ideas in the mind of the speaker. It is only once we see this that we can understand how the thesis functions in (...) Locke's anti-Aristotelian project. (shrink)

How language works — its functions, mechanisms, and limitations — matters to the early moderns as much as it does to contemporary philosophers. Many of the moderns make reflection on language central to their philosophical projects, both as a tool for explaining human cognition and as a weapon to be used against competing views. Even in philosophers for whom language is less central, we can find important connections between their views on language and their other philosophical commitments.

Much recent philosophy of perception is preoccupied with finding a place for phenomenal character in a physical world. By contrast, Locke’s philosophy of sensory perception is an episode in his ‘Historical, plain method’ and seeks to map out the processes by which we experience ordinary objects. On Locke’s account, our ideas of primary and secondary qualities enter the mind ‘simple and unmixed’; having an idea of a colour, for example, is not necessary for the visual experience of a shape. An (...) analysis of the Molyneux problem reveals that, for Locke, judgment corrects the initial two-dimensional idea vision presents us with. Nevertheless, Locke’s position is problematic: he has no account of how we pair ideas of primary and secondary qualities, nor of how we could experience a colourless visual idea of shape. (shrink)

The report describes an application of ontologies to the analysis of wind turbine manufacturing data. We show how applying ontologies to composite materials data may facilitate the discovery of optimum composite material designs that will deliver maximum wind turbine blade performance within environmental constraints.

I claim that Berkeley's main argument against abstraction comes into focus only when we see Descartes as one of its targets. Berkeley does not deploy Winkler's impossibility argument but instead argues that what is impossible is inconceivable. Since Descartes conceives of extension as a determinable, and since determinables cannot exist as such, he falls within the scope of Berkeley's argument.

The popular Cartesian reading of George Berkeley's philosophy of mind mischaracterizes his views on the relations between substance and essence and between an idea and the act of thought in which it figures. I argue that Berkeley rejects Descartes's tripartite taxonomy of distinctions and makes use of a fourth kind of distinction. In addition to illuminating Berkeley's ontology of mind, this fourth distinction allows us to dissolve an important dilemma raised by Kenneth Winkler.

Despite their influence on later philosophers such as Hume, Malebranche's central arguments for occasionalism remain deeply puzzling. Both the famous ‘no necessary connection’ argument and what I call the epistemic argument include assumptions – e.g., that a true cause is logically necessarily connected to its effect – that seem unmotivated, even in their context. I argue that a proper understanding of late scholastic views lets us see why Malebranche would make this assumption. Both arguments turn on the claim that a (...) volition is the only candidate for a cause, because only a volition can include an effect as its intentional content. (shrink)

Unlike many of Descartes’s other followers, Pierre-Sylvain Re´gis resists the temptations of occasionalism. By marrying the ontology of mechanism with the causal structure of concurrentism, Re´gis arrives at a novel view that both acknowledges God’s role in natural events and preserves the causal powers of bodies. I set out Re´gis’s position, focusing on his arguments against occasionalism and his responses to Malebranche’s ‘no necessary connection’ and divine concursus arguments.

This article canvases the main areas of controversy: the nature of Lockean signification and his position on propositions and particles.

Trends in experimental philosophy have provided new and compelling results that are cause for re-evaluations in contemporary discussions of free will. In this paper, I argue for one such re-evaluation by criticizing Robert Kane’s well-known views on free will. I argue that Kane’s claims about pre-theoretical intuitions are not supported by empirical findings on two accounts. First, it is unclear that either incompatibilism or compatibalism is more intuitive to nonphilosophers, as different ways of asking about free will and responsibility reveal (...) different answers. Secondly, I discuss how a study by Josh May supporting a cluster concept of free will may provide ethicists with a reason to give up a definitional model, and I discuss a direction future work might take. Both of these objections come from a larger project concerned with understanding the cognitive mechanisms that people employ when they make judgments about agency and responsibility—a project that promises not only to challenge contemporary philosophy, but to inform it. (shrink)

Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology frameworks, different logics, and different (...) approaches to argument evaluation. Unlike most ontological approaches to arguments, ArgO utilizes Basic Formal Ontology (BFO) as an upper-level ontology, and may be used alongside other commonly used ontologies in the BFO framework, including boththe Information Artifact Ontology (IAO), and the Information Entity Ontology (INFO). Critically, our proposal is principled, based on rigorous definitions and formal axioms out of which characterizations of arguments naturally fall. It is our hope that ArgO may assist researchers in many projects, including: integrating heterogeneous sources of evidence, structuring the content of semantic wikis, and enhancing semantic reasoning. (shrink)

In recent years there has been a number of promising technical and institutional developments regarding use of ontologies in industry. At the same time, however, most industrial ontology development work remains within the realm of academic research and is without significant uptake in commercial applications. In biomedicine, by contrast, ontologies have made significant inroads as valuable tools for achieving interoperability between data systems whose contents derive from widely heterogeneous sources. In this position paper, we present a set of principles learned (...) from the successful Open Biomedical Ontologies (OBO) Foundry initiative to guide the design and development of the Industrial Ontologies Foundry (IOF), which is a counterpart to the OBO Foundry initiative for the manufacturing industry. We also illustrate the potential utility of these principles by sketching the conceptual design of a framework for sustainable IOF development. (shrink)

The manufacturing industry is evolving rapidly, becoming more complex, more interconnected, and more geographically distributed. Competitive pressure and diversity of consumer demand are driving manufacturing companies to rely more and more on improved knowledge management practices. As a result, multiple software systems are being created to support the integration of data across the product life cycle. Unfortunately, these systems manifest a low degree of interoperability, and this creates problems, for instance when different enterprises or different branches of an enterprise interact. (...) Common ontologies (consensus-based controlled vocabularies) have proved themselves in various domains as a valuable tool for solving such problems. In this paper, we present a consensus-based Additive Manufacturing Ontology (AMO) and illustrate its application in promoting re-usability in the field of dentistry product manufacturing. (shrink)

Disaster response is a highly collaborative and critical process that requires the involvement of multiple emergency responders (ERs), ideally working together under a unified command, to enable a rapid and effective operational response. Following the 9/11 and 11/13 terrorist attacks and the devastation of hurricanes Katrina and Rita, it is apparent that inadequate communication and a lack of interoperability among the ERs engaged on-site can adversely affect disaster response efforts. Within this context, we present a scenario-based terrorism case study to (...) highlight the challenges of operational disaster command and response. In this article, which is based on the French emergency response doctrine, we outline a semantics-based common operational command system that is designed to guarantee an efficient information flow among ERs. Our focus is on offering to all ERs, a real-time operational picture of the situation in order to enable multilevel coordination among firefighters, police, healthcare units, public authorities, and other stakeholders. Our approach consolidates information to promote timely sharing of data among ERs. The proposed system is based on an ontology that has been developed to represent the different types of knowledge on the part of ERs, providing a shared vocabulary that covers a variety of interoperability concerns. (shrink)

Abstract In light of the complexity of unfolding disasters, the diversity of rapidly evolving events, the enormous amount of generated information, and the huge pool of casualties, emergency responders (ERs) may be overwhelmed and in consequence poor decisions may be made. In fact, the possibility of transporting the wounded victims to one of several hospitals and the dynamic changes in healthcare resource availability make the decision process more complex. To tackle this problem, we propose a multicriteria decision support service, based (...) on the Analytic Hierarchy Process (AHP) method, that aims to avoid overcrowding and outpacing the capacity of a hospital to effectively provide the best care to victims by finding out the most appropriate hospital that meets the victims’ needs. The proposed approach searches for the most appropriate healthcare institution that can effectively deal with the victims’ needs by considering the availability of the needed resources in the hospital, the victim’s wait time to receive the healthcare, and the transfer time that represents the hospital proximity to the disaster site. The evaluation and validation results showed that the assignment of hospitals was done successfully considering the needs of each victim and without overwhelming any single hospital. (shrink)

Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper ontology descending from BFO. The (...) axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite. (shrink)

Managing complex disaster situations is a challenging task because of the large number of actors involved and the critical nature of the events themselves. In particular, the different terminologies and technical vocabularies that are being exchanged among Emergency Responders may lead to misunderstandings. Maintaining a shared semantics for exchanged data is a major challenge. To help to overcome these issues, we elaborate a modular suite of ontologies called POLARISCO that formalizes the complex knowledge of the ERs. Such a shared vocabulary (...) resolves inconsistent terminologies and promotes semantic interoperability among ERs. In this work, we discuss developing POLARISCO as an extension of Basic Formal Ontology and the Common Core Ontologies. We conclude by presenting a real use-case to check the efficiency and applicability of the proposed ontology. (shrink)

Functionally graded materials (FGMs) have been used in many different kinds of applications in recent years and have attracted significant research attention. However, we do not yet have a commonly accepted way of representing the various aspects of FGMs. Lack of standardised vocabulary creates obstacles to the extraction of useful information relating to pertinent aspects of different applications. A standard resource is needed for describing various elements of FGMs, including existing applications, manufacturing techniques, and material characteristics. This motivated the creation (...) of the FGM Ontology (FGMO) in 2016. Here, we present a revised and expanded version of the FGM Ontology, which includes enrichments along four dimensions: (1) documenting recent FGMs applications; (2) reorganising the framework to incorporate an updated representation of types of manufacturing processes; (3) enriching the axioms of the ontology; and (4) importing mid-level ontologies from the Common Core Ontologies (CCO) and Product Life Cycle (PLC) Ontologies. The work is being carried out within the framework of the Industry Ontology Foundry (IOF), and the ontology is conformant to Basic Formal Ontology (BFO). (shrink)

Disaster response requires the cooperation of multiple emergency responder organizations (EROs). However, after‐action reports relating to large‐scale disasters identity communication difficulties among EROs as a major hindrance to collaboration. On the one hand, the use of two‐radio communication, based on multiple orthogonal frequencies and uneven coverage, has been shown to degrade inter‐organization communication. On the other hand, because they reflect different areas of expertise, EROs use differing terminologies, which are difficult to reconcile. These issues lead to ambiguities, misunderstandings, and inefficient (...) exchange of data and information among those involved, which can impede the response process and slow decision making. We, therefore, hypothesize that promoting semantic interoperability across ERO information systems might improve information exchange among stakeholders and thereby allow a more coherent response to the disaster. We propose an ontology‐based messaging service on the basis of the Emergency Data Exchange Language (EDXL) standards. The parties involved will continue to use the terminologies to which they are accustomed, but the system will resolve inconsistencies and thereby enhance mutual understanding among EROs by ensuring semantic translation of the exchanged information. The evaluation of the semantic translation demonstrated the effectiveness and accuracy of the proposed service. (shrink)

A significant change in consumer viewing habits has taken place globally with the introduction and growth of over-the-top television services (OTT TV). In the absence of scientific evidence on television consumer behavior viewership changes, this paper's objective was to ascertain the television viewing patterns, given the rise of OTT TV services in South Africa. The study adopted a quantitative research approach using a convenience sampling method. Online survey questionnaires were distributed on reputable social media networks and collected 391 responses. The (...) study results suggest changes to TV consumption, in that more TV consumers are binge-watching and streaming content online. Furthermore, more than five hours a day are spent online consuming TV content, especially by male respondents. The sharing of OTT TV logon credentials with family and friends is prevalent across all demographic groups. The fundamental aspect of this paper is that it illuminates the rivalry between the Pay-Tv operators and OTT TV service providers while aiding the Independent Communications Authority of South Africa (ICASA) to regulate the market. (shrink)

A significant change in consumer viewing habits has taken place globally with the introduction and growth of over-the-top television services (OTT TV). In the absence of scientific evidence on television consumer behavior viewership changes, this paper's objective was to ascertain the television viewing patterns, given the rise of OTT TV services in South Africa. The study adopted a quantitative research approach using a convenience sampling method. Online survey questionnaires were distributed on reputable social media networks and collected 391 responses. The (...) study results suggest changes to TV consumption, in that more TV consumers are binge-watching and streaming content online. Furthermore, more than five hours a day are spent online consuming TV content, especially by male respondents. The sharing of OTT TV logon credentials with family and friends is prevalent across all demographic groups. The fundamental aspect of this paper is that it illuminates the rivalry between the Pay-Tv operators and OTT TV service providers while aiding the Independent Communications Authority of South Africa (ICASA) to regulate the market. (shrink)

Ott (2009) identifies two kinds of philosophical theories about laws: top-down, and bottom-up. An influential top-down reading, exemplified by Ernst Cassirer, emphasized the ‘mere form of law’. Recent bottom-up accounts emphasize the mind-independent natures of objects as the basis of laws of nature. Stang and Pollok in turn focus on the transcendental idealist elements of Kant’s theory of matter, which leads to the question: is the essence of Kantian matter that it obeys the form of law? I argue that Kant (...) has an independent theory of matter in the Metaphysical Foundations of Natural Science, one that gives what Kant himself calls a ‘real definition’ of matter as a theory-independent (if not mind-independent) entity. I argue that this matter theory underpins physical arguments about inertia and impenetrability, which resemble Einstein’s arguments about the unification of fields in general relativity. (shrink)

Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...) a theory of intensional entities, retains the Fregean division of properties and relations into a multiplicity of categories according to their adicities and ‘input types’ and discards the division of intensional entities into different ‘orders’, OTT takes the opposite approach: it retains the hierarchy of orders (though with some modifications) and discards the categorisation of properties and relations according to their adicities and input types. In contrast to STT, this latter approach avoids intensional counterparts of the Epimenides and related paradoxes. Fundamental intensional entities lie at the base of the proposed hierarchy and are also given a prominent part to play in the individuation of non-fundamental intensional entities. (shrink)