Stephen Yablo offers a solution to the problem of mental causation by claiming that the physical is a determinate of the mental's determinable, and therefore the mental and physical do not compete for causal relevance. I present Yablo's solution and argue that the mental‐physical relation cannot meet three necessary conditions for determination. That relation fails to meet the requirements that determinates of the same determinable be incompatible and that no property can be a determinate of more than one determinable. Further, (...) the mental and physical do not fall under the same series of scope inclusions as determinables and their determinates must. Yablo's conception of determination might be rendered more general to avoid these objections, but doing so would prevent it from functioning as a competitor to extant theories of the mental‐physical relation. Thus, Yablo's solution to the problem of mental causation cannot be both adequately specific and correct. (shrink)

The descriptions 'good' and 'bad' are examples of thin concepts, as opposed to 'kind' or 'cruel' which are thick concepts. Simon Kirchin provides one of the first full-length studies of the crucial distinction between 'thin' and 'thick' concepts, which is fundamental to many debates in ethics, aesthetics and epistemology.

This is an open access title available under the terms of a CC BY-NC-ND 4.0 International licence. It is free to read at Oxford Scholarship Online and offered as a free PDF download from OUP and selected open access locations. We use evaluative terms and concepts every day. We call actions right and wrong, teachers wise and ignorant, and pictures elegant and grotesque. Philosophers place evaluative concepts into two camps. Thin concepts, such as goodness and badness, and rightness and wrongness (...) have evaluative content, but they supposedly have no or hardly any nonevaluative, descriptive content: they supposedly give little or no specific idea about the character of the person or thing described. In contrast, thick concepts such as kindness, elegance and wisdom supposedly give a more specific idea of people or things. Yet, given typical linguistic conventions, thick concepts also convey evaluation. Kind people are often viewed positively whilst ignorance has negative connotations. The distinction between thin and thick concepts is frequently drawn in philosophy and is central to everyday life. However, very few articles or books discuss the distinction. In this full-length study, Simon Kirchin discusses thin and thick concepts, highlighting key assumptions, questions and arguments, many of which have gone unnoticed. Kirchin focuses in on the debate between 'separationists' and 'nonseparationists'. Thick Evaluation argues for a version of nonseparationism, and in doing so argues both that many concepts are evaluative and also that evaluation is not exhausted by thin positive and negative stances. (shrink)

We can distinguish two non-equivalent ways in which a natural language argument can be valid: it can be interpretationally or representationally valid. However, there is just one notion of classical first-order validity for formal languages: truth-preservation in all classical first-order models. To ease the tension, Baumgartner suggests that we should understand interpretational and representational validity as imposing different adequacy conditions on formalizations of natural language arguments. I argue against this proposal. To that end, I first show that Baumgartner’s definition of (...) representational validity is extensionally inadequate. I present a number of natural language arguments that we pre-theoretically hold to be representationally valid, but are not representationally valid according to Baumgartner’s definition. I then point to two further untenable features of Baumgartner’s definitions: according to Baumgartner’s definition of a representationally correct formalization, we cannot arrive at formalizations in a recursive way, and Baumgartner’s definition of representational validity is non-monotonic. I conclude that interpretational and representational validity cannot be understood as merely imposing different adequacy conditions on formalizations. If we want to capture our interpretational and representational intuitions, we need two different formal definitions of validity. (shrink)

The word “as” enables one to make contexts and aspects of things explicit while attributing properties or descriptions to them. For example “John is rational as a mathematician”; “John is irrational as a driver.” This paper examines the idea according to which all propositions containing “as” should be targeted as potential inferences about the subject; as for the examples given—about John. If the inference is valid—the conception in question holds—one can get rid of “as.” I argue against that view by (...) bringing up several contexts in which “as” is not supposed to express an inference. On this basis I come up with a different (non-inferential) typology which does justice, I believe, to ordinary as well as philosophical uses of the little word at stake. (shrink)

Mental causation, our mind's ability to causally affect the course of the world, is part and parcel of our ‘manifest image’ of the world. That there is mental causation is denied by virtually no one. How there can be such a thing as mental causation, however, is far from obvious. In recent years, discussions about the problem of mental causation have focused on Jaegwon Kim's so-called Causal Exclusion Argument, according to which mental events are ‘screened off’ or ‘preempted’ by physical (...) events unless mental causation is a genuine case of overdetermination or mental properties are straightforwardly reducible to physical properties. (shrink)

Mental causation, our mind's ability to causally affect the course of the world, is part and parcel of our ‘manifest image’ of the world. That there is mental causation is denied by virtually no one. How there can be such a thing as mental causation, however, is far from obvious. In recent years, discussions about the problem of mental causation have focused on Jaegwon Kim's so-called Causal Exclusion Argument, according to which mental events are ‘screened off’ or ‘preempted’ by physical (...) events unless mental causation is a genuine case of overdetermination or mental properties are straightforwardly reducible to physical properties. (shrink)

Taking 'rationalized judgments' to be those formed by inference from other judgments, I argue against 'Extreme Determinism': the thesis that theoretical rationalization just is a kind of predetermination of 'conclusion-judgments' by 'premise-judgments'. The argument rests upon two key lemmas: firstly, that a deliberator - in this case, his/her assent to some proposition - to be predetermined (I call this the 'Openness Requirement'): secondly, that a subject's logical insight into his/her premise-judgments must enter into the explanation of any judgment s/he forms (...) that is rationalized by those judgments. My contention is that, given the Openness Requirement, no version of Extreme Determinsim can allow for the role played by logical insight in the rationalization of judgment. I end by indicating briefly how this result might figure in a wider argument against any form of determinism about rationalized judgment, and by explaining why I have focused specifically upon rebutting a deterministic view of theoretical as opposed to 'practical' rationalization. (shrink)

Finding the demarcation criterion for the identification of scientific knowledge is the most important task of normative epistemology. Pseudoscience is not a harmless leisure activity, it can pose a danger to the functioning of liberal democratic societies and the well-being of their citizens. First, there is an outline of how to define science instrumentally without slipping into the detrimental heritage of conceptual essentialism. The second part is dedicated to Popper’s falsification criterion and the objections of its opponents, which eventually led (...) to the abandonment of “naïve” falsificationism. Then I present two promising solutions to the problem, namely the ostensive definition of pseudoscience and the cognitive research of pseudoscientific thinking. In conclusion, I suggest to further extend the typology of alternatives to science to include parascience. (shrink)

In sustainability research and elsewhere, the notion of resilience is attracting growing interest and causing heated debate. Those focusing on resilience often emphasize its potential to bridge, integrate, and unify disciplines. This article attempts to evaluate these claims. Resilience is investigated as it appears in several fields, including materials science, psychology, ecology, and sustainability science. It is argued that two different concepts of resilience are in play: one local, the other global. The former refers to the ability to return to (...) some reference state after a disturbance, the latter the maintenance of some property during a disturbance. An implication of this analysis is that the various uses of the resilience concept are more closely related than has been previously been suggested. Furthermore, it is argued that there is a preference towards using highly abstract versions of the concept. This explains the apparent context insensitivity of the concept, but presents a problem for those.. (shrink)

What is the relation between the concept good and more specific or ‘thick’ concepts such as admirable or courageous? I argue that good or more precisely good pro tanto is a general concept, but that the relation between good pro tanto and the more specific concepts is not that of a genus to its species. The relation of an important class of specific evaluative concepts, which I call ‘affective concepts’, to good pro tanto is better understood as one between a (...) determinable and its determinates, whereas concepts such as courageous can be analysed in terms of affective concepts and purely descriptive concepts. (shrink)

The New A-theory of Time is the view, to be elaborated and defended in this article, that many times exist, and that time is real in virtue of every moment in time bearing each of the so-called A-properties: past, present and future. I argue that TNAT is at least as theoretically virtuous as mainstream views in the philosophy of time and may have some claim to being our best theory of time. I show that the properties ‘past’, ‘present’ and ‘future’ (...) can be understood as compatible intrinsic properties. Having demonstrated that this account of the A-properties is coherent, I go on to demonstrate how TNAT can give us an account of passage, change and the truth-conditions for temporal sentences. In the final section of the article, I develop a tentative argument in favour of TNAT, though concede that we have to settle for the result that TNAT is on a par with our other theories of time. In the remainder of this opening section, my aim is to situate the current proposal as a direct response to Mc.. (shrink)

Argues for a causal-psychological account of acting for reasons. This view is distinguished from a more ambitious causal theory of action, clarified as far as possible, and motivated—against non-reductive, teleological, and behaviourist alternatives—on broadly metaphysical grounds.

Overall, Max Black's defense of the inductive support of inductive rules succeeds. Circularity is best explained in terms of epistemic conditions of inference. When an inference is circular, another inference token of the same type may, because of a difference of surrounding circumstances, not be circular. Black's inductive arguments in support of inductive rules fit this pattern: a token circular in some circumstances may be noncircular in other circumstances.

Universals are usually considered to be universal properties. Since tropes are particular properties, if there are only tropes, there are no universals. However, universals might be thought of not only as common properties, but also as common aspects (“determinable universals”) and common wholes (“concrete universals”). The existence of these two latter concepts of universals is fully compatible with the assumption that all properties are particular. This observation makes possible three different trope theories, which accept tropes and no universals, tropes and (...) determinable universals and tropes and concrete universals. (shrink)

The arguments of Fodor, Garret, Walker and Parkes [(1980) Against definitions, Cognition, 8, 263-367] are the source of widespread skepticism in cognitive science about lexical semantic structure. Whereas the thesis that lexical items, and the concepts they express, have decompositional structure (i.e. have significant constituents) was at one time "one of those ideas that hardly anybody [in the cognitive sciences] ever considers giving up" (p. 264), most researchers now believe that "[a]ll the evidence suggests that the classical [(decompositional)] view is (...) wrong as a general theory of concepts" [Smith, Medin & Rips (1984) A psychological approach to concepts: comments on Rey, Cognition, 17, 272], and cite Fodor et al. (1980) as "sounding the death knell for decompositional theories" [MacNamara & Miller (1989) Attributes of theories of meaning, Psychological Bulletin, 106, 360]. I argue that the prevailing skepticism is unmotivated by the arguments in Fodor et al. Fodor et al. misrepresent the form, function and scope of the decompositional hypothesis, and the procedures they employ to test for the psychological reality of definitions are flawed. I argue, further, that decompositional explanations of the phenomena they consider are preferable to their primitivist alternatives, and, hence, that there is prima facie reason to accept them as evidence for the existence of decompositional structure. Cognitive scientists would, therefore, do well to revert to their former commitment to the decompositional hypothesis. (shrink)

A computational theory of induction must be able to identify the projectible predicates, that is to distinguish between which predicates can be used in inductive inferences and which cannot. The problems of projectibility are introduced by reviewing some of the stumbling blocks for the theory of induction that was developed by the logical empiricists. My diagnosis of these problems is that the traditional theory of induction, which started from a given (observational) language in relation to which all inductive rules are (...) formulated, does not go deep enough in representing the kind of information used in inductive inferences. As an interlude, I argue that the problem of induction, like so many other problems within AI, is a problem of knowledge representation. To the extent that AI-systems are based on linguistic representations of knowledge, these systems will face basically the same problems as did the logical empiricists over induction. In a more constructive mode, I then outline a non-linguistic knowledge representation based on conceptual spaces. The fundamental units of these spaces are "quality dimensions". In relation to such a representation it is possible to define "natural" properties which can be used for inductive projections. I argue that this approach evades most of the traditional problems. (shrink)

I discuss paradoxes of implication in the setting of a proof-conditional theory of meaning for logical constants. I argue that a proper logic of implication should be not only relevant, but also constructive and nonmonotonic. This leads me to select as a plausible candidate LL, a fragment of linear logic that differs from R in that it rejects both contraction and distribution.

According to a once influential view of selection, it consists of repeated cycles of replication and interaction. It has been argued that this view is wrong: replication is not necessary for evolution by natural selection. I analyze the nine most influential arguments for this claim and defend the replication–interaction conception of selection against these objections. In order to do so, however, the replication–interaction conception of selection needs to be modified significantly. My proposal is that replication is not the copying of (...) an entity, the replicator, but the copying of a property. Thus, we can have a replication process without there being a replicator that is being copied. (shrink)

I identify three aspects to the puzzle of the speckled hen: A general puzzle, an epistemic puzzle, and a puzzle for the representationalist. These puzzles rely on an underlying “pictorialist” assumption, that we visually perceive general, determinable properties only in virtue of determinate properties or more specific, local features of our visual experience. This assumption is mistaken: Visual perception frequently starts from a position of uncertainty, and is routinely able to acquire information about general properties in the absence of more (...) specific information. Acknowledging that visual indeterminacy is structured this way resolves all three puzzles of the speckled hen. (shrink)

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those who (...) created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

It is of common use in modern Venn diagrams to mark a compartment with a cross to express its non-emptiness. Modern scholars seem to derive this convention from Charles S. Peirce, with the assumption that it was unknown to John Venn. This paper demonstrates that Venn actually introduced several methods to represent existentials but felt uneasy with them. The resistance to formalize existentials was not limited to diagrammatic systems, as George Boole and his followers also failed to provide a satisfactory (...) symbolic representation for them. This difficulty points out issues that are inherent to the very nature of existentials. This paper assesses the various methods designed for the representation of existential statements with Venn diagrams. First, Venn’s own attempts are discussed and compared with other solutions proposed by his contemporaries and successors, notably Lewis Carroll and Peirce. Since disjunctives hold an important role in an effective representation of existentials, their representation is also discussed. Finally, recent methods for the diagrammatic representation of existing individuals, rather than mere existence, are surveyed. (shrink)

The aim of this paper is to make sense of the Keynes–Johnson octagon of oppositions. We will discuss Keynes' logical theory, and examine how his view is reflected on this octagon. Then we will show how this structure is to be handled by means of a semantics of partition, thus computing logical relations between matching formulas with a semantic method that combines model theory and Boolean algebra.

What I call Mellor’s Question is the problem of whether determinables are properties of their determinates or properties of the particulars that possess these determinates. One can distinguish two basic competing theories of determinables that address the issue, implicitly if not explicitly. On the second-order theory, determinables are second-order properties of determinate properties; on the second-level theory, determinables are first-order properties of the particulars with these determinate properties. Higher-order properties are prima facie ontologically uneconomical, and in line with my general (...) view that ontological parsimony is vital to metaphysics, I consider it highly important which of the two theories is true. Firstly, I argue that the second-level theory offers the best explanation of the explananda (though the race is close), including the important but neglected phenomenon of ‘intermediate determinables’. Secondly, by paying attention to intermediate determinables and instantiation of higher-order properties, I argue that the second-level theory also is more ontologically economical. For these two reasons, this theory is preferable. (shrink)

We canvas a number of past uses of Ramsey sentences which have yielded disappointing results, and then consider three very interesting recent attempts to deploy them for a Ramseyan Dialetheist theory of truth, a modal account of laws and theories, and a criterion for the existence of factual properties. We think that once attention is given to the specific kinds of theories that Ramsey had in mind, it becomes evident that their Ramsey sentences are not the best ways of presenting (...) those theories. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

Theodore de Laguna develops and argues for a deflationary view of truth well before the publication of what many have taken to be its source, or at least its inspiration, namely Frank P. Ramsey’s paper ‘Facts and Propositions’. I outline de Laguna’s view of truth and the arguments he offers for it; I also discuss its role in the history of twentieth-century philosophy. My outline and discussion serve as an introduction to de Laguna’s ‘A Nominalistic Interpretation of Truth’, a paper (...) he originally wrote in English but which has hitherto only been published in French. (shrink)

From a metaphysical point of view, it is important clearly to see the ontological difference between what is studied in mathematics and mathematical physics, respectively. In this respect, the paper is concerned with the vectors of classical physics. Vectors have both a scalar magnitude and a direction, and it is argued that neither conventionalism nor wholesale anti‐conventionalism holds true of either of these components of classical physical vectors. A quantification of a physical dimension requires the discovery of ontological order relations (...) among all the determinate properties of this dimension, as well as a conventional definition that connects the number one and mathematical unit vectors to determinate spatiotemporal physical entities. One might say that mathematics deals with numbers and vectors, but mathematical physics with scalar quantities and vector quantities, respectively. The International System of Units distinguishes between basic and derived scalar quantities; if a similar distinction should be introduced for the vector quantities of classical physics, then duration in directed time ought to be chosen as the basic vector quantity. The metaphysics of physical vectors is intimately connected with the metaphysics of time. From a philosophical‐historical point of view, the paper revives W. E. Johnson's distinction ‘determinates‐determinables’ and Hans Reichenbach's notion of ‘coordinative definition’. (shrink)

Being an "untimely review", this paper reviews Aristotle's 'Categories' as if they were published today, in the era of computerised information, where categorisation becomes more and more essential for information retrieval. I suggest a systematic ordering of Aristotle's list of categories and argue that Aristotle's discussion of ontological dependency and his focus on concrete entities are still a source of new insight and can indeed be read as a contribution to the emerging field of applied ontology and ontological engineering.

In the Grundlagen , Frege offers eight main arguments, together with a series of more minor supporting arguments, against Mill’s view that numbers are “properties of external things”. This paper reviews all eight of these arguments, arguing that none are conclusive.

This paper explores the prospects of a combinatorial account of modality. We argue against David M. Armstrong’s version of combinatorialism, which seeks to do without modal primitives, on the grounds, among other things, that Armstrong’s basic ontological categories are themselves subject to non-contingent constraints on recombination. We outline an alternative version, which acknowledges the necessity of modal primitives, at the level of ontology, and not just of our concepts.

A “conceptual spaces” approach is used to formalize Aristotle’s main intuitions about time and change, and other ideas about temporal points of view. That approach has been used in earlier studies about points of view. Properties of entities are represented by locations in multidimensional conceptual spaces; and concepts of entities are identified with subsets or regions of conceptual spaces. The dimensions of the spaces, called “determinables”, are qualities in a very general sense. A temporal element is introduced by adding a (...) time variable to state functions that map entities into conceptual spaces. That way, states may have some permanency or stability around time instances. Following Aristotle’s intuitions, changes and events will not be necessarily instant phenomena, instead they could be processual and interval dependent. Change is defined relatively to the interval during which the change is taking place. Time intervals themselves are taken to represent points of view. To have a point of view is to look at the world as it is in the selected interval. Many important concepts are relativized to intervals, for instance change, events, identity, ontology, potentiality, etc. The definition of points of view as intervals allows to compare points of view in relation to all these concepts. The conceptual space approach has an immediate semantic and structural character, but it is tempting to develop also logics to describe them. A formal language is introduced to show how this could be done. (shrink)

Several philosophers (e.g., Ehring (Nous (Detroit, Mich.) 30:461–480, 1996 ); Funkhouser (Nous (Detroit, Mich.) 40:548–569, 2006 ); Walter (Canadian Journal of Philosophy 37:217–244, 2007 ) have argued that there are metaphysical differences between the determinable-determinate relation and the realization relation between mental and physical properties. Others have challenged this claim (e.g., Wilson (Philosophical Studies, 2009 ). In this paper, I argue that there are indeed such differences and propose a “mechanistic” account of realization that elucidates why these differences hold. This (...) account of realization incorporates two distinct roles that mechanisms play in the realization of mental (and other special science) properties which are implicit, but undeveloped, in the literature—what I call “constitutive” and “integrative” mechanisms. I then use these two notions of mechanism to clarify some debates about the relations between realization, multiple realizability, and irreducibility. (shrink)

Points of view are a central phenomenon in human cognition. Although the concept of point of view is ambiguous, there exist common elements in different notions. A point of view is a certain way to look at things around us. In conceptual points of view, things are looked at or interpreted through conceptual lenses. Conceptual points of view are important for epistemology, cognitive science, and philosophy of science. In this article, a new method to formalize conceptual points of view is (...) introduced. It is based on the conceptual space approach, where concepts are regions of multi-dimensional quality spaces. Points of view, as defined in this article, consist of a selection of relevant dimensions, referred to here as determinables, and of a certain supposition, referred to here as a theory, about the subject content. After considering some early efforts to formalize points of view, the notion of conceptual space is defined and explored. One concept of point of view is defined and developed in the framework of conceptual space, and a new logic for points of view is also outlined. The problem of mind–body correlation is discussed as an example of the application of the notion of points of view. To conclude, the meaning and applications of the new concepts and tools developed in the article are discussed. (shrink)

Wittgenstein's critical and constructive analysis of ostensive definition is examined. Nine fundamental logico?metaphysical errors stemming from misapprehension of ostensive definition are identified, most of which occur in the Tractatus. The Fregean holistic conception of meaning is applied to the special case of ostension. Ostensive definition is one rule among others. It is not unequivocal, it does not link language with reality, nor does it determine its own application. The role of samples in ostensive definition of perceptual properties is analysed, and (...) the affinities between samples and Tractarian simples stressed. Samples belong to the method of representation, and not to the substance of reality. The constructive analysis is brought to bear upon the previously identified errors. Finally, a further range of problems concerning ostensive definition is raised. (shrink)

Within analytic philosophy, induction has been seen as a problem concerning inferences that have been analysed as relations between sentences. In this article, we argue that induction does not primarily concern relations between sentences, but between properties and categories. We outline a new approach to induction that is based on two theses. The first thesis is epistemological. We submit that there is not only knowledge-how and knowledge-that, but also knowledge-what. Knowledge-what concerns relations between properties and categories and we argue that (...) it cannot be reduced to knowledge-that. We support the partition of knowledge by mapping it onto the long-term memory systems: procedural, semantic and episodic memory. The second thesis is that the role of inductive reasoning is to generate knowledge-what. We use conceptual spaces to model knowledge-what and the relations between properties and categories involved in induction. (shrink)

Within analytic philosophy, induction has been seen as a problem concerning inferences that have been analysed as relations between sentences. In this article, we argue that induction does not primarily concern relations between sentences, but between properties and categories. We outline a new approach to induction that is based on two theses. The first thesis is epistemological. We submit that there is not only knowledge-how and knowledge-that, but also knowledge-what. Knowledge-what concerns relations between properties and categories and we argue that (...) it cannot be reduced to knowledge-that. We support the partition of knowledge by mapping it onto the long-term memory systems: procedural, semantic and episodic memory. The second thesis is that the role of inductive reasoning is to generate knowledge-what. We use conceptual spaces to model knowledge-what and the relations between properties and categories involved in induction. (shrink)

In this paper I shall defend the traditional claim that Aristotle's nonsubstantial particulars discussed in the second chapter of the Categories are unsharable particulars against G. E. L. Owen's claim that they are sharable universals. I shall proceed by presenting first a sketch of the traditional position that makes explicit why it holds that non-substantial particulars are unsharable particulars. Secondly, I shall sketch Owen's position and recount how it differs in certain important respects from the traditional position. Thirdly, I shall (...) present some of my own considerations that I believe support the traditional position at the expense of Owen's position. Finally, I shall offer what I take to be the primary reason Aristotle was committed to the existence of such odd items as non-substantial particulars. (shrink)

According to the partial identity account of resemblance, exact resemblance is complete identity and inexact resemblance is partial identity. In this paper, I examine Arda Denkel's (1998) argument that this account of resemblance is logically incoherent as it results in a vicious regress. I claim that although Denkel's argument does not succeed, a modified version of it leads to the conclusion that the partial identity account is plausible only if the constituents of every determinate property are ultimately quantitative in nature.

Tropes, as distinguished from other possible kinds of entities such as universals, states of affairs, events and bare particulars, are best-suited to play the role of causal relata.

Monists say that the nature of truth is invariant, whichever sentence you consider; pluralists say that the nature of truth varies between different sets of sentences. The orthodoxy is that logic and logical form favour monism: there must be a single property that is preserved in any valid inference; and any truth-functional complex must be true in the same way as its components. The orthodoxy, I argue, is mistaken. Logic and logical form impose only structural constraints on a metaphysics of (...) truth. Monistic theories are not guaranteed to satisfy these constraints, and there is a pluralistic theory that does so. (shrink)

Semantic networks were developed in cognitive science and artificial intelligence studies as graphical knowledge representation and inference tools emulating human thought processes. Formal analysis of the representation and inference capabilities of the networks modeled them as subsets of standard first-order logic (FOL), restricted in the operations allowed in order to ensure the tractability that seemed to characterize human reasoning capabilities. The graphical network representations were modeled as providing a visual language for the logic. Sub-sets of FOL targeted on knowledge representation (...) came to be called description logics, and research on these logics has focused on issues of tractability of subsets with differing representation capabilities, and on the implementation of practical inference systems achieving the best possible performance. Semantic network research has kept pace with these developments, providing visual languages for knowledge entry, editing, and presenting the results of inference, that translate unambiguously to the underlying description logics. This paper discusses the design issues for such semantic network formalisms, and illustrates them through detailed examples of significant generic knowledge structures analyzed in the literature, including determinables, contrast sets, genus/differentiae, taxonomies, faceted taxonomies, cluster concepts, family resemblances, graded concepts, frames, definitions, rules, rules with exceptions, essence and state assertions, opposites and contraries, relevance, and so on. Such examples provide important test material for any visual language formalism for logic. (shrink)

Realists, D. M. Armstrong among them, claim, contrary to natural class nominalists, that natural classes are analysable. Natural classes of particulars, claim the realists, can be analysed in terms of particulars having universals in common. But for the realist, there are also natural classes of universals. And if the realist's claim that natural classes are analysable is a general claim about natural classes, then the realist must also provide an analysis of natural classes of universals. For Armstrong, the unity (or (...) naturalness) of a natural class of universals is analysed in terms of universals resembling each other. I argue that Armstrong's account fails. His account fails for the same reason all other resemblance accounts of natural classes fail: some arbitrary classes satisfy the analysis for natural classes. (shrink)

In the middle of last century metaphysics was widely criticized, ridiculed, and committed to the flames. During this period a handful of philosophers, against several anti-metaphysical trends, defended metaphysics and articulated novel metaphysical doctrines. Donald C. Williams was one of these philosophers. But while his contributions to metaphysics are well known his defence of metaphysics is not and yet it played a key part in the development and revival of metaphysics. In this paper I present his defence of metaphysics in (...) its historical context. I also show how his defence is relevant in response to recent attacks on metaphysics. (shrink)

This paper first investigates logical characterizations of different structures of opposition that extend the square of opposition in a way or in another. Blanché’s hexagon of opposition is based on three disjoint sets. There are at least two meaningful cubes of opposition, proposed respectively by two of the authors and by Moretti, and pioneered by philosophers such as J. N. Keynes, W. E. Johnson, for the former, and H. Reichenbach for the latter. These cubes exhibit four and six squares of (...) opposition respectively. We clarify the differences between these two cubes, and discuss their gradual extensions, as well as the one of the hexagon when vertices are no longer two-valued. The second part of the paper is dedicated to the use of these structures of opposition for discussing the comparison of two items. Comparing two items usually involves a set of relevant attributes whose values are compared, and may be expressed in terms of different modalities such as identity, similarity, difference, opposition, analogy. Recently, J.-Y. Béziau has proposed an “analogical hexagon” that organizes the relations linking these modalities. Elementary comparisons may be a matter of degree, attributes may not have the same importance. The paper studies in which ways the structure of the hexagon may be preserved in such gradual extensions. As another illustration of the graded hexagon, we start with the hexagon of equality and inequality due to R. Blanché and extend it with fuzzy equality and fuzzy inequality. Besides, the cube induced by a tetra-partition can account for the comparison of two items in terms of preference, reversed preference, indifference and non-comparability even if these notions are a matter of degree. The other cube, which organizes the relations between the different weighted qualitative aggregation modes, is more relevant for the attribute-based comparison of items in terms of similarity. (shrink)