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)

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)

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

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)

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)

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)

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.

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.

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.

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)

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.

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)

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.

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)

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)

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.

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)

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)

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.

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)

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)

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.

Environmentalism has been a part of the ideological landscape of liberal societies for nearly three decades. Classical liberals have not yet succeeded, however, in articulating a coherent response that would be relevant to politically active environmentalists, as well as to liberals receptive to postmodern ideas. Robert C. Paehlke argues that, conservative liberals being in fact hostile to environmental thinking, moderate progressivism and environmentalism should enter into a close alliance. This paper challenges both assertions. Admittedly, not all currents within contemporary conservative (...) liberalism could play a part in the development of a neoliberal environmentalist movement. One current, however, the skeptical tradition, whose origin can be traced back to the Scottish Englightenment, is remarkably well suited to this task. Progressivism, on the other hand, could end up smothering the environmental movement under the weight of its own certainties. (shrink)

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)

Anton Marty (1847-1914) is known to be the most faithful pupil of Franz Brentano. As a matter of fact, most of his philosophical ideas find their source in the works of his master. Yet, the faithfulness of Marty is not constant. As the rich correspondence between the two thinkers shows, Marty elaborates an original theory of intentionality from ca. 1904 onward. This theory is based on the idea that intentionality is a process of mental assimilation (ideelle Verähnlichung), a process at (...) the core of which lies a sui generis relation of “ideal similitude” holding between a thinking subject and its object. This study spells out the Martyian notion of mental assimilation and traces back Marty’s evolution from his earlier position (prominently described in the recently published Deskriptive Psychologie of 1893-1894) to his final view as it is found in the Untersuchungen of 1908. It turns out that besides Brentano, Husserl is a key figure in that evolution. Such a “genetic”elucidation of Marty’s last theory is required in order to reach the main goal of this paper, namely: the clarification of Marty’s degree of dependence upon Brentano with respect to the theory of intentionality. That being said, we do not merely intend to compare the mature Marty with Brentano: our “genetic” considerations will also allow us to describe the interaction between the two thinkers before 1904. Accordingly, we begin by presenting Brentano’s own position on intentionality in discussing its two currently competing readings, namely the “discontinuist” and the “continuist” one. Against a recent interpretation, we argue that Marty’s endorsement of a “discontinuist” reading is not based on a misunderstanding of Brentano’s position. (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.

The Swiss philosopher Anton Marty (Schwyz, 1847 - Prague, 1914) belongs, with Carl Stumpf, to the first circle of Brentano’s pupils. Within Brentano’s school (and, to some extent, in the secondary literature), Marty has often been considered (in particular by Meinong) a kind of would-be epigone of his master (Fisette & Fréchette 2007: 61-2). There is no doubt that Brentano’s doctrine often provides Marty with his philosophical starting points. But Marty often arrives at original conclusions which are diametrically opposed to (...) Brentano’s views. This is true of his views about space and time and about judgment, emotions and intentionality. In the latter case, for example, Marty develops Brentano’s view and its implications in great detail (Mulligan 1989; Rollinger 2004), but uses them to formulate a very unBrentanian account of intentionality as a relation of ideal assimilation (Chrudzimski 1999; Cesalli & Taieb 2013). Marty’s philosophy of language, on the other hand, is one of the first philosophies worthy of the name. In what follows, we contrast briefly their accounts of (i) judgment and states of affairs and of (ii) emotings and value (two topics of foremost significance, for Brentano and Marty’s theoretical and practical philosophies respectively) (§1), and their philosophies of language (§2). Brentano’s view of language is based on his philosophy of mind. Marty takes over the latter and turns a couple of claims by Brentano about language into a sophisticated philosophy of language of a kind made familiar much later by Grice. Marty’s philosophy of states of affairs and value and of the mind’s relations to these also takes off from views sketched by the early Brentano, views forcefully rejected by the later Brentano. (shrink)

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

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.

L’objectivité permettrait d’assurer la supériorité de la science par rapport à d’autres modes de connaissance. Elle doit donc être défendue, surtout en cette « ère de post-vérité » où les « faits alternatifs » remplacent les faits avérés, en politique comme ailleurs. Or les attaques proviennent autant de l’extérieur que de l’intérieur de la sphère philosophique. Il convient donc de tenter d’opérer la réconciliation la plus large possible avec deux représentants de clans (très) opposés, Mario Bunge et Bruno Latour. Réinvestissant (...) les grandes conceptions de la notion d’objectivité, je propose ici trois chantiers pour cette réconciliation : la mise au rancart des conceptions naïves et parfois insincères de la science, la réévaluation des contextes de découverte et de justification, et celle de la distinction faits-valeurs. (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.'.

The purpose of this article is to present several immediate consequences of the introduction of a new constant called Lambda in order to represent the object ``nothing" or ``void" into a standard set theory. The use of Lambda will appear natural thanks to its role of condition of possibility of sets. On a conceptual level, the use of Lambda leads to a legitimation of the empty set and to a redefinition of the notion of set. It lets also clearly appear (...) the distinction between the empty set, the nothing and the ur-elements. On a technical level, we introduce the notion of pre-element and we suggest a formal definition of the nothing distinct of that of the null-class. Among other results, we get a relative resolution of the anomaly of the intersection of a family free of sets and the possibility of building the empty set from ``nothing". The theory is presented with equi-consistency results . On both conceptual and technical levels, the introduction of Lambda leads to a resolution of the Russell's puzzle of the null-class. (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)

La division entre "Intellect Agent" (intellectus agens) et "intellect Patient" (noûs pathêtikos) est-elle historique et donc culturelle ? Si oui , y a-t-il un intellect Uni-versel entre les deux ?

Rejet de la dialectique comme objet pouvant rentrer au sein de la logique. Refoulement de la dialectique dans l'histoire. Or si la dialectique est historique alors nous pouvons la situer spatialement dans l'histoire.

On abordera ici l'échec du pseudo-théologien Heidegger à venir se saisir de l'irrationnel augustinien et soulignerons la différence entre l'irrationnel dorien (au bout du langage) et l'irrationnel ionien (au bout du monde) autour de la mesure.

Le structuralisme, en le rapprochant du langage, a détruit le concept freudien de "Verdichtung" (condensation). Il s'agissait chez Freud d'un mouvement irrationnel dont la rationalité ne venait que de la cause finale qu'était le désir (inconscient). Avec sa notion de "Volonté de Puissance" (Der Wille zur Macht), Nietzsche tente de la même manière de déterminer l'intention et l’extension de ce mouvement de sens sans introduire la cause finale comme le fit Freud. Il s'approche alors de la dialectique platonicienne et de (...) son fondement, avant de plonger dans l'abyme de la source iranienne (perse). L'échec de la métabiologie de Nietzsche sera le départ de notre approche métabiologique appuyée sur la métaphysique d'Aristote et Kant. (shrink)

Puisque nous n'avons pu trouver un fondement logique à la dialectique, nous avons alors compris que la dialectique était historique. Il ne restait plus alors qu'à trouver la culture d'origine que nous avons localisée en Perse. -/- Since we could not find a logical foundation for the dialectic, we then understood that the dialectic was historical. All that remained was to find the culture of origin, which we located in Persia.

Comment l'Etre s'ouvre-t-il ? Réponse définitive au sophiste Heidegger.

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)

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)

Self-tracking-technologies can serve as a prominent example of how digital technologies put to test established practices, institutions, and structures of medicine and healthcare. While proponents emphasize the potentials, e.g., for individualized healthcare and new research data, opponents stress the risk that these technologies will reinforce gender-related inequalities. -/- While this has been made clear from—often intersectional—feminist perspectives since the introduction of such technologies, we aim to provide a queer-feminist perspective on self-tracking applications in healthcare by analyzing three concrete cases. In (...) this way, we want to show why such a perspective is helpful in assessing self-tracking technologies and how such a perspective might contribute to a queering of healthcare. -/- After a short introduction to self-tracking in healthcare and the corresponding risks of reproducing gender-related inequalities, we introduce queer bioethics as a methodology to examine structural discrimination and marginalization in bioethical research. We apply this framework in the analysis of three exemplary self-tracking applications from the areas of nutrition/fitness, reproductive health, and mental health. In the subsequent discussion of these results against the backdrop of already existing queer-sensitive technologies, we identify an equal access, a subversive design, an inclusive database, and a diversity-sensitive and discriminatory-critical definition of purposes as well as individualized usage possibilities as first possible starting points for a queering of self-tracking applications. Finally, we draw conclusions, how such a critical perspective on self-tracking applications might also contribute to a queering of the healthcare system at a structural level. (shrink)