This dissertation argues that we have no good reason to accept any one theory of properties as correct. To show this, I present three possible bases for theory-choice in the properties debate: coherence, explanatory adequacy, and explanatory value. Then I argue that none of these bases resolve the underdetermination of our choice between theories of properties. First, I argue considerations about coherence cannot resolve the underdetermination, because no traditional theory of properties is obviously incoherent. Second, I argue considerations of explanatory (...) adequacy cannot resolve the underdetermination, because every traditional theory of properties lacks the theoretical resources to adequately explain resemblance, causal powers, and predication. However, these inadequacies are easily remedied with theoretical modifications. But this results in an overabundance of modified, but adequate, theories of properties. Third, I argue explanatory virtues cannot resolve the underdetermination, because we have no reason to think explanatory virtues make theories of properties more likely to be true. I reject the common argument that explanatory virtues are truth-conducive in theories of properties because they are truth-conducive in scientific theories. Since none of the three bases for theory choice can resolve the underdetermination, I conclude that we have no good reason to accept any one theory of properties as correct. Finally, I consider the possibility of choosing one theory over the others on pragmatic grounds. But I argue that pragmatic grounds cannot resolve the underdetermination either. Instead, I suggest we accept the view I call 'instrumental pluralism,' which allows practitioners to use whatever theory of properties they find useful. Adviser: Jennifer McKitrick. (shrink)

Theory and Reality is about the connection between true theories and the world. A mathematical framefork for such connections is given, and it is shown how that framework can be used to infer facts about the structure of reality from facts about the structure of true theories, The book starts with an overview of various approaches to metaphysics. Beginning with Quine's programmatic "On what there is", the first chapter then discusses the perils involved in going from language to metaphysics. It (...) criticises contemporary intuition-driven metaphysics, comments on naturalistic approaches, and then presents the main proposition put forward in the thesis: we should base metaphysics on model theory. In chapters 2 to 5, mathematical treatments are given of concepts that we need: theories, metaphysics, necessitation and semantics. These are used in chapters 6 and 7 to prove that, seen from a certain informative view point, any true theory will give rise to an isomorphism between that theory and the world. This conclusion is similar to Wittgenstein's in the Tractatus, but differs in that it places the structural relationship on the level of whole theories, rather than single propositions. (shrink)

Ingvar Johansson has argued that there are not only determinate universals, but also determinable ones. I here argue that this view is misguided by reviving a line of argument to the following effect: what makes determinates falling under a same determinable similar cannot be distinct from what makes them different. If true, some similarities — imperfect similarities between simple determinate properties — are not grounded in any kind of property-sharing. I suggest that determinables are better understood as maximal disjunctions of (...) brutely and imperfectly similar determinates. Such brute similarities have been thought to clash with realism about universals. I argue that this worry stems from the mistaken assumption that perfect and imperfect similarities are relations of a same kind. If exact and inexact resemblances are distinct and heterogeneous explananda, the realist about universals might explain the first thanks to property-sharing, while happily leaving imperfect similarities between properties unexplained. (shrink)

In this article, I explain how and why different attempts to defend absolute divine simplicity fail. A proponent of absolute divine simplicity has to explain why different attributions do not suppose a metaphysical complexity in God but just one superproperty, why there is no difference between God and His super-property and finally how a absolute simple entity can be the truthmaker of different intrinsic predications. It does not necessarily lead to a rejection of divine simplicity but it shows that we (...) may consider another conception of divine simplicity compatible with some metaphysical complexity in God. (shrink)

I propose a realist theory of laws formulated in terms of tropes that avoids both the problems of the "best-systems-analysis" and the "inference problem" of realism of universals. I analyze the concept of an exceptional situation, characterized as a situation in which a particular object satisfies the antecedent but not the consequent of the regularity associated with a law, without thereby falsifying that law. To take this possibility into account, the properties linked by a law must be conceived as dispositional (...) and not necessarily manifest. (shrink)

In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. (...) is in some sense. A man, a moment, a number, a class, a relation, a chimera, or anything else that can be mentioned, is sure to be a term'. Now in this remark, a certain extremely general, topic-neutral use of ‘object’ is singled out, a use in which the expression is treated as equivalent to (equally neutral) uses of ‘term’, ‘entity’, ‘unit’, ‘individual’, and ‘thing’. In addition, a claim is made to the effect that the content of the expression, with its emphasis on one, is such as to be adequate to comprehend the sum-total of existence, to include whatever there may be. The paper addresses the question of what this claim means, and whether it might be true. (shrink)

It is often said by philosophers that the term ‘the universe’ is illegitimate, whether because the notion of ‘all things’ is incoherent, or inconsistent, or cannot even be meaningfully expressed. The reasons may be drawn from metaphysics, or logic, or the philosophy of language, or the philosophy of mathematics. In this essay I argue that the term is legitimate, withstanding all criticisms, and that there is a single best meaning for it, which is that it is a semantically plural term (...) standing equally for every existing object. ‘Forty‐two’, said Deep Thought, with infinite majesty and calm. (Douglas Adams, The Hitch‐Hiker's Guide to the Galaxy). (shrink)

In this paper we examine a puzzle recently posed by Aaron Preston for the traditional realist assay of property (quality) instances. Consider Socrates (a red round spot) and red1—Socrates’ redness. For the traditional realist, both of these entities are concrete particulars. Further, both involve redness being `tied to’ the same bare individuator. But then it appears that red1 is duplicated in its ‘thicker’ particular (Socrates), so that it can’t be predicated of Socrates without redundancy. According to Preston, this suggests that (...) a concrete particular and its property instances aren’t genuinely related. We argue that Preston’s proffered solution here—to treat property instances as “mental constructs”—is fraught with difficulty. We then go on to show how, by fine-tuning the nature of bare particulars, treating them as abstract modes of things rather than concrete particulars, the traditional realist can neatly evade Preston’s puzzle. (shrink)

This dissertation concerns the location and nature of phenomenal qualities. Arguably, these qualities naively seem to belong to perceived external objects. However, we also seem to experience phenomenal qualities in hallucinations, and in hallucinations we do not perceive any external objects. I present and argue for a theory of the phenomenal qualities, "brain theory", which claims that all phenomenal qualities we experience are physical properties instantiated in the brain, regardless of whether they are experienced in veridical perceptions or in hallucinations. (...) I begin by more carefully identifying the phenomenal qualities, discussing how they are related to "qualia" and "phenomenal character". Then I present brain theory, and investigate its implications for the perceptual relations we stand in to external objects, noting that it is mostly neutral. I also compare brain theory to a similar theory of perception advocated by Bertrand Russell. Next, I provide an overview over the competing theories of phenomenal qualities, and relate them to theories of perception, such as representationalism, qualia theory, sense data theory and disjunctivism. The majority of my argumentation for brain theory focuses on arguing that the phenomenal qualities are instantiated in the brain, rather than on arguing that they are physical properties. Instead, I largely assume physicalism. However, even independently of the physicalism assumption, I show that we have reason to believe that phenomenal qualities are experienced in hallucinations, and that qualities experienced in hallucinations are instantiated in internal objects, such as our brains or sense data. In the first step towards this conclusion I argue that theories which deny that phenomenal qualities are experienced in hallucinations face serious problems. In the next step I argue that theories which deny that phenomenal qualities experienced in hallucinations are instantiated in internal objects face serious problems. Finally, an important part of the argumentation is my replies to objections against brain theory, including common sense objections and the "observation objection". From these conclusions, together with the physicalism assumption, I infer that we have reason to believe that brain theory is true about hallucinations. On this basis, I then argue, through a generalizing argument, that the same is the case for veridical perceptions. (shrink)

Our day-to-day experience of the world regularly brings us into contact with middlesized objects such as apples, dogs, and other human beings. These objects possess observable properties, properties that are available or accessible to the unaided senses, such as redness and roundness, as well as properties that are not so available, such as chemical ones. Both of these kinds of properties serve as valuable sources of information about our familiar middle-sized objects at least to the extent that they enable us (...) to understand the behaviours of those objects and their effects on each other and on us. I see the apple on the table before me, and in doing so I see its redness, its roundness, and so on. I do not see, but know that it has, a certain chemical constitution. The knowledge gained of the apple by means of both properties tells me something about the nature of that apple. In general, most, if not all, of the properties that objects in the observable world possess serve as the basis of our knowledge of such objects. But the subject-predicate form of much of our discourse and thought about objects suggests that substances are one kind of thing, properties another. We use subject terms such as names to identify objects, predicate terms to attribute properties to them. What, then, is it for an object to have a property? And what is the relation between an object and its properties? (shrink)

This paper examines Hegel’s accounts of the nature of judgements and inferences in the ‘subjective logic’ of the Science of Logic, and does so in light of the history of the tradition of formal logic to his time. It is argued that, contrary to the attitude often displayed by interpreters of Hegel’s logic, it is important to understand the positive role played by formal logic, ‘logic commonly so called’, in Hegel’s own conception of logic. It is argued that Hegel’s own (...) scientific presentation [Darstellung] of logic relies on a dialectic working through the tradition of formal logic from Aristotle to Leibniz. The positions within the dialectic are most easily brought into focus in terms of the distinction between Aristotelian and Stoic logic, but they can also be seen as internal to Aristotelian logic. The logical tradition can be regarded as presenting a type of reductio ad absurdum, and a science of logic must examine what it was about Aristotle’s original project that brought it to this fate. (shrink)

Discusses Armstrong's and Roman Ingarden's ontology, criticises substance ontology, and defends tropes and a field ontology.

Trope ontology is exposed and confronted with the question where one trope ends and another begins. It is argued that tropes do not have determinate boundaries, it is arbitrary how tropes are carved up. An ontology, which I call field ontology, is proposed which takes this into account. The material world consists of a certain number of fields, each of which is extended over all of space. It is shown how field ontology can also tackle the problem of determin-able properties (...) and the problem of completeness of things. (shrink)

This article presents an historical and conceptual overview on different approaches to logical abstraction. Two main trends concerning abstraction in the history of logic are highlighted, starting from the logical notions of concept and function. This analysis strictly relates to the philosophical discussion on the nature of abstract objects. I develop this issue further with respect to the procedure of abstraction involved by (typed) λ-systems, focusing on the crucial change about meaning and predicability. In particular, the analysis of the nature (...) of logical types in the context of Constructive Type Theory allows elucidation of the role of the previously introduced notions. Finally, the connection to the analysis of abstraction in computer science is drawn, and the methodological contribution provided by the notion of information is considered, showing its conceptual and technical relevance. Future research shall focus on the notion of information in distributed systems, analysing the paradigm of information hiding in dependent type theories. (shrink)

The authors of this paper earlier argued that concrete objects, such as things or persons, may have final value (value for their own sake), which is not reducible to the value of states of affairs that concern the object in question.Our arguments have been challenged. This paper is an attempt to respond to some of these challenges, viz. those that concern the reducibility issue. The discussion presupposes a Brentano‐inspired account of value in terms of fitting responses to value bearers. Attention (...) is given to a yet another type of reduction proposal, according to which the ultimate bearers of final value are abstract particulars (so‐called tropes) rather than abstract states or facts. While the proposal is attractive ((fone entertains the existence of tropes), it confronts serious difficulties. To recognise tropes as potential bearers of final value, along with other objects, is one thing; but to reduce the final value of concrete objects to the final value of tropes is another matter. (shrink)

The Ontological Square is a categorial scheme that combines two metaphysical distinctions: that between types (or universals ) and tokens (or particulars ) on the one hand, and that between characters (or features ) and their substrates (or bearers ) on the other hand. The resulting four-fold classification of things comprises particular substrates, called substances , universal substrates, called kinds , particular characters, called modes or moments , and universal characters, called attributes . Things are joined together in facts by (...) primitive ontological ties or nexus . This article describes a logic that is meant to capture the basic intuitions behind the Ontological Square. Given a minimal correspondence between atomic logical form and ontological structure, the commitment to nexus as a distinct ontological category entails a rehabilitation of copulae as ties of predication. Thus, the Logic of the Ontological Square is a copula calculus rather than a predicate calculus; its soundness and completeness can be established with respect to a model akin to a so-called first-order semantics for standard second-order logic. (shrink)

The aim of the present article is to make the notion of an ontology of fields mathematically rigorous. The conclusion will be that couching an ontology in terms of mathematical bundles and cross‐sections both captures many important intuitions of conventional ontologies, including the universal‐particular paradigm, the connection of universals and their ‘instantiations’, and the notion of ‘possibility’, and makes possible the framing of ontologies without ‘substrata’, bare particulars, and primitive particularizers.

Nexuses such as exemplification are the fundamental ties that structure reality as a whole. They are “formal” in the sense of constituting the form, not the matter of reality and they are “transcendental” inasmuch as they transcend the categorial distinctions between the denizens of reality, including that between existents and non-existents. I shall advocate a moderately particularist view about (external) nexuses and argue that it provides not only the best solution to Bradley’s regress, but also an elegant account of symmetrical (...) relations (both formal and material), as well as of temporal and modal change. These advantages are illustrated by the reconstruction of an Aristotelian ontology of exemplification involving substances, kinds and material attributes. (shrink)