This book is both an introduction to and a research work on Meinongianism. “Meinongianism” is taken here, in accordance with the common philosophical jargon, as a general label for a set of theories of existence – probably the most basic notion of ontology. As an introduction, the book provides the first comprehensive survey and guide to Meinongianism and non-standard theories of existence in all their main forms. As a research work, the book exposes and develops the most up-to-date Meinongian theory (...) (called modal Meinongianism), applies it to specific fields, and discusses its open problems. Part I of the book provides a historical introduction to, and critical discussion of, the dominant philosophical view of existence: the “Kantian-Fregean-Quinean” perspective. Part II is the full-fledged introduction to the Meinongian theories of existence as a real property of individuals: after starting with the so-called naïve Meinongian conception and its problems, it provides a self-contained presentation of the main neo-Meinongian proposals, and a detailed discussion of their strengths and weaknesses. Part III develops a specific neo-Meinongian theory of existence employing a model-theoretic semantic framework. It discusses its application to the ontology and semantics of fictional objects, and its open problems. The methodology of the book follows the most recent trends in analytic ontology. In particular, the meta-ontological point of view is largely privileged. (shrink)

There is an intuition, notoriously difficult to formalise, that only some predicates express real properties. J. M. Dunn formalises this intuition with relevance logic, proposing a notion of relevant predication. For each first order formula Ax, Dunn specifies another formula that is intuitively interpreted as "Ax expresses a real property". Chapter I calls such an approach an object language approach, since the claim that Ax expresses a real property is rendered as a formula in the object (...) language. On a metalanguage approach, on the other hand, the claim that Ax expresses a real property would be metalinguistic, mentioning but not using the formula Ax. ;Our Introduction begins by investigating Dunn's motivation for relevant predication, and argues that it implicitly presupposes some interpretation of identity. Indeed, part of the dissertation's work is to use relevant predication as a key to a coherent account of relevant identity. ;Chapter I re-motivates relevant predication. We consider P. Geach's distinction between real and "Cambridge" change, and suggest that there is an underlying distinction between real and Cambridge predicates. We further argue that no classical object language approach can formalise this distinction. So we turn to relevance logic, remotivating relevant predication, with Geach's distinction in mind. ;In light of this new motivation, we argue that relevant prediction relies on a logically weak notion of identity, according to which "x = y" means "x and y share all relevant properties". Identity is taken up in a more technical setting in Chapters IV and V. ;Subsequent chapters investigate technical issues that flow from Chapter I. Chapter II investigates metalinguistic grammatical characterisations of relevant predication. Chapter III concerns the semantics of first order relevance logic. Chapter IV investigates the identity in R and its relationship to relevant predication. In particular, Chapter IV argues against introducing the axiom, $\to$ Ay), in relevance logic, since the resulting systems are unstable, in a sense motivated by the notion of relevant identity underlying Dunn's notion of relevant predication. Finally Chapter V investigates the possibility of a coherent theory of identity in R's modal relatives ${\bf R}\sp\square$ and E. (shrink)

We critically investigate and refine Dunn's relevant predication, his formalisation of the notion of a real property. We argue that Dunn's original dialectical moves presuppose some interpretation of relevant identity, though none is given. We then re-motivate the proposal in a broader context, considering the prospects for a classical formalisation of real properties, particularly of Geach's implicit distinction between real and ''Cambridge'' properties. After arguing against these prospects, we turn to relevance logic, re-motivating relevant predication (...) with Geach's distinction in mind. Finally we draw out some consequences of Dunn's proposal for the theory of identity in relevance logic. (shrink)

In February 1828 a Royal Commission was appointed to examine the law of Real Property of England and Wales. The Commission sat for four years and examined a vast amount of material, recommended certain changes in the law, and drafted several bills for consideration by parliament. Four massive reports were eventually presented to parliament in May 1829, June 1830, May 1832, and lastly in April 1833. As a result parliament enacted a limited number of piecemeal reforms, but did not (...) attempt a major revision of the law. (shrink)

New developments in genetics could affect a variety of real property rights. Mortgage lenders, mortgage insurers, real estate sellers, senior living centers, retirement communities, or other parties in residential real estate transactions begin requiring predictive genetic information as part of the application process. One likely use would be by retirement communities to learn an individual's genetic risk for Alzheimer's disease. The federal Fair Housing Act prohibits discrimination based on disability, but it is not clear that it would (...) apply to genetic risk assessments. Only California law explicitly applies to this situation and there have been no reported cases. (shrink)

Suppose you own a garden-variety object such as a hat or a shirt. Your property right then follows the ageold saw according to which possession is nine-tenths of the law. That is, your possession of a shirt constitutes a strong presumption in favor of your ownership of the shirt. In the case of land, however, this is not the case. Here possession is not only not a strong presumption in favor of ownership; it is not even clear what possession is. (...) Possessing a thing like a hat or a shirt is a rather straightforward affair: the person wearing the hat or shirt possesses the shirt or the hat. But what is possession in the case of land? This essay seeks to provide an answer to this question in the form of an ontology of landed property. (shrink)

Few philosophers believe in the existence of so-called negative properties. Indeed, many find it mind-boggling just to imagine such properties. In contrast, I think not only that negative properties are quite imaginable, but also that there are good reasons for believing that some such properties actually exist. In this paper, I want to defend the reality and irreducibility, or genuineness, as I call it, of negative properties. After briefly presenting the idea of a negative property, (...) I collect commonly invoked tests for the realness of things and attend to the question whether negative properties pass any of these. Next, I try to segregate the many different notions of irreducibility, probing whether negative properties can be reckoned to be genuine in any sense of the word. In the final section, I rebut some frequent objections raised against negative properties. _German_ Wenige Philosophen glauben an die Existenz sogenannter negativer Eigenschaften. Die meisten halten solche Eigenschaften sogar für unvorstellbar. Ich dagegen halte negative Eigenschaften nicht nur für denkbar, sondern glaube darüber hinaus, dass solche Eigenschaften tatsächlich existieren. In diesem Aufsatz möchte ich die Wirklichkeit und Irreduzibilität – oder Echtheit – negativer Eigenschaften verteidigen. Nachdem ich kurz die Idee einer negativen Eigenschaft vorstelle, ziehe ich geläufige Kriterien für die Realität von Dingen heran und überprüfe, ob negative Eigenschaften diese erfüllen. Als nächstes unterscheide ich verschiedene Begriffe von Irreduzibilität, um zu überprüfen, ob negative Eigenschaften als echt in irgendeinem Sinn des Wortes betrachtet werden können. Im letzten Abschnitt möchte ich einige häufige Einwände gegen negative Eigenschaften zurückweisen. (shrink)

Most metaphysicians deny that dispositions are among the fundamental constituents of the world. The solubility of salt, for example, is regarded as derivative from more basic features of reality, such as the molecular structure of salt and the laws of nature. This is an initially plausible view: a disposition seems to be essentially a characterization of what its bearer can do, which seems to be wholly dependent on what that bearer is like. ;Nonetheless, I think that the most attractive view (...) of dispositions is that they are fundamental constituents of reality---in fact, almost all real properties are irreducibly dispositional. Following D. M. Armstrong, I call this view dispositionalism. In my dissertation, I address several major difficulties for dispositionalism. For instance, it is often argued that dispositionalism makes causal relations necessary, and is thus committed to an unacceptable theory of causation. In response to this worry, I defend the thesis that causal relations are necessary. A second objection is based on C. B. Martin's "finkish" cases. It is widely accepted that some accounts of dispositions are able to escape this objection by adopting David Lewis's response to it. Contra Lewis, I argue that dispositionalism can follow in their footsteps. Finally, I consider the objection that dispositionalism, by implying that it is dispositions all the way down, leads to a vicious regress. I think that this is the most serious problem for dispositionalism, and although I do not fully lay it to rest, I make some headway. ;I also survey a wide range of competing theories of dispositions. I argue that the difficulties they face are both far greater than has been recognized, and more serious than the difficulties that beset dispositionalism. The result is not a conclusive proof of dispositionalism, but a demonstration that this underdog theory is preferable to its more popular competitors. (shrink)

Our days are a vast, intricate, evolving dance of mutual understandings. We stop at a traffic light, offer a plastic card as payment for a meal, leave our weapons at home, or enter a voting booth. We live and work in close proximity, at high speed, with few collisions: on our roads and in our neighborhoods, places of worship, and places of business. Somehow, having all those people around is more liberating than stifling. The secret is that we know roughly (...) what to expect from each other. Knowing what to expect enables us to adapt to each other. Not being obliged to conform to expectations—being free to test the previously untested— is likewise a great benefit. The two benefits seem mutually exclusive, yet property rights, combined with freedom of contract, enable us to reap both at once. We can rely on being able to go to market and find someone selling cauliflower at an affordable price. We can also rely on being able to go to market and find someone rendering obsolete what a few years ago had been cutting-edge technology. We make progress by testing what has not previously been tested. We experiment. One problem with experiments is: many of them don’t work.1 Or, the ideas being tested turn out to be bad ideas. Thus a successful society encourages people not only to experiment, but also to shut down experiments whose inspiration proves unsound. What kind of framework encourages experimentation without at the same time perpetuating bad ideas? Here is one hypothesis: in societies that sustain progress over long periods, people are free to experiment at their own expense and free from having to pay for other people’s bad ideas. This is the true test of a system of property. It is natural to assume instead that the true test of a system of property is a question of whether the system is just. That is, philosophers should theorize about justice first, and only then begin to theorize about what can legitimately become a person’s property. I have become skeptical about this. (shrink)

We analyze combinatorial properties of open covers of sets of real numbers by using filters on the natural numbers. In fact, the goal of this paper is to characterize known properties related to ω-covers of the space in terms of combinatorial properties of filters associated with these ω-covers. As an example, we show that all finite powers of a set R of real numbers have the covering property of Menger if, and only if, each filter (...) on ω associated with its countable ω-cover is a P + filter. (shrink)

Institutional investors and corporations increasingly recognize that extra-financial determinants of business performance can both create value and uncover significant risks within a business or investment portfolio. For companies that invest in, develop, own, or operate commercial real estate assets, this awareness of extrafinancial impacts has led to a significant interest in what has been called "responsible property investment (RPI)". Within the field of RPI, green real estate — real estate investment and management that seeks to reduce the (...) environmental impacts of building construction and operations — has begun to receive attention. This attention has been extended over the past decade to community property development projects, where both social and environmental considerations related not only to the building, but also the project site and surrounding community are integrated into management and investment decisions. Some examples of these projects include affordable and workforce housing, urban revitalization and brownfield redevelopment. More social-focussed issues such as labour and workplace considerations are also key components of responsible property investing, yet to date labour issues have received little attention in the RPI literature and workplace considerations are reflected indirectly through environmental considerations in the green building literature. This paper explores responsible real estate investment in Canada by taking an integrated approach in examining both environmental and social factors and their potential impact on such investments. A series of semi-structured interviews are conducted with key stakeholders in Canada to gain insight into how using environmental and social factors may influence long-term risk and financial returns in real estate investment in Canada with particular emphasis on institutional investors engaged in these practices. Data is used to analyse the impact that ESG considerations have on financial performance of these assets. Jantzi-Sustainalytics ESG ratings are used along with the stock price changes of fourteen real estate companies and REITs to interrogate this question. (shrink)

ABSTRACTAssuming there are fictional objects, what sorts of properties do they have? Intuitively, most of their properties involve being represented—appearing in works of fiction, being depicted as clever, being portrayed by actors, being admired or feared, and so on. But several philosophers, including Saul Kripke, Peter van Inwagen, Kendall Walton, and Amie Thomasson, argue that even if there are fictional objects, they are not really represented in some or all of these cases. I reconstruct four kinds of arguments (...) for this unexpected conclusion; they concern the semantics of names, pragmatic force, creation, and representations’ qualitative content. But I find all the arguments flawed. I then argue for the contrary, employing a new perspective: representation of fictional objects begins with the works of fiction that originate them. A work of fiction represents its “native” objects because our culture bestows that property on it. I sketch conditions for such property bestowal and argue that they are satisfied in this case. (shrink)

We investigate, within the framework of Zermelo-Fraenkel set theory ZF, the interrelations between weak forms of the Axiom of Choice AC restricted to sets of reals.

In the Critique of Pure Reason, Kant often remarks that phenomena consist only in relations. This is a highly puzzling thesis that is not easily reconcilable with the explanation of natural processes. More specifically, it is not clear whether and how a network of mere relations (such as ‘being higher than’, ‘being next to’, etc.) can give rise to genuine changes in nature. I call this the problem of global relationality. In this paper, I suggest a solution to this problem (...) by showing that Kant’s specific sense of relationality is ultimately grounded in the spatiality of phenomena and differs from the one usually assumed in the contemporary debate. I argue that a subset of empirical properties can be regarded as ‘comparatively intrinsic’ since they preserve a genuine sense of intrinsicness while being fully relational in space. As a result, real changes can take place in the phenomenal realm if they concern comparatively intrinsic properties of empirical objects. (shrink)

We study the relationship between various properties of the real numbers and weak choice principles.

Kant holds that in order to have knowledge of an object, a subject must be able to “prove” that the object is really possible—i.e., prove that there is neither logical inconsistency nor “real repugnance” between its properties. This is (usually) easy to do with respect to empirical objects, but (usually) impossible to do with respect to particular things-in-themselves. In the first section of the paper I argue that an important predecessor of Kant’s account of our ignorance of (...) class='Hi'>real possibility can be found in Locke’s Essay Concerning Human Understanding. In the middle sections I discuss the way in which our inability to prove the real possibility of things-in-themselves motivates Kant’s famous prohibition on certain kinds of knowledge-claims about them. In the final section I examine Hegel’s attempts to dissolve this problem of real repugnance and thereby remove an inherited obstacle to speculative knowledge of the supersensible. -/- . (shrink)

We study regularity properties related to Cohen, random, Laver, Miller and Sacks forcing, for sets of real numbers on the Δ31\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Delta}^1_3}$$\end{document} level of the projective hieararchy. For Δ21\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Delta}^1_2}$$\end{document} and Σ21\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Sigma}^1_2}$$\end{document} sets, the relationships between these properties follows the pattern of the well-known Cichoń diagram for cardinal characteristics of the continuum. It (...) is known that assuming suitable large cardinals, the same relationships lift to higher projective levels, but the questions become more challenging without such assumptions. Consequently, all our results are proved on the basis of ZFC alone or ZFC with an inaccessible cardinal. We also prove partial results concerning Σ31\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Sigma}^1_3}$$\end{document} and Δ41\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\varvec{\Delta}^1_4}$$\end{document} sets. (shrink)

Eliminativist metaphysicians have recently explored various arguments, including those about over-determination, colocation, the problem of the Many and ontological parsimony, for dispensing with kinds and their token continuants. Further, David Lewis’s missing “real temporary intrinsics” has paved the way to treating the sortal and the modal properties yielding the persistence conditions of continuants as unreal because they are extrinsic. In this paper I show, first, that none of the arguments mentioned above are decisive against the disputed entities. Second, (...) I argue that the sortal/modal properties, while extrinsic, are also real, because they are constitutive of kinds. The general point is that modal conceptualism should not be conflated with a cheap version of semanticism. The position advocated here is based on closing the gap between the metaphysical and the epistemic perspectives.Eliminativistički metafizičari u novije su doba istražili razne argumente, uključujući argumente pretjerane determininacije, kolokacije, problem mnoštva i ontološke štedljivosti, kako bi se riješili vrsta i njihovih primjeraka kontinuanata. Nadalje, Lewisova nedostajuća “stvarna privremena intrinzična svojstva” utrla su put shvaćanju sortalnih i modalnih svojstava koja pružaju uvjete ustrajavanja kontinuanata kao nestvarnih, budući da su ekstrinzična. U ovome članku pokazujem, prvo, da nijedan od spomenutih argumenata ne daje odlučne razloge protiv prijepornih entiteta. Drugo, tvrdim da su sortalna/modalna svojstva, iako su ekstrinzična, također stvarna, budući da su konstitutivna za vrste. Općenito, modalni konceptualizam ne treba brkati s jeftinom verzijom semanticizma. Stajalište koje se ovdje zagovara zasniva se na zatvaranju jaza između metafizičke i epistemičke perspektive. (shrink)

We review some known results about the Ramsey property for partitions of reals, and we present a certain two-person game such that if either player has a winning strategy then a homogeneous set for the partition can be constructed, and conversely. This gives alternative proofs of some of the known results. We then discuss possible uses of the game in obtaining effective versions of Ramsey's theorem and prove a theorem along these lines.

Unauthorized appropriation of geneticresources has been described by the term``biopiracy.'' Technological breakthroughsincluding biotechnological applications canincrease considerably the instrumental value ofbiodiversity as new products or products withnew properties can be made. Nevertheless, itappears that, in most cases, the properties inquestion were already known to the indigenouspeople and used for centuries. The analysisdiscusses both from an economic and an ethicalperspective whether it is just that traditionalknowledge is rewarded. As the conflictintensifies over questions of ownership andcontrol of biological materials, IntellectualProperty Rights (...) are at the center ofcontroversies. The current global systemgoverning biotechnology has largely been shapedby Western expectations and valuations andconsequently has drawn severe criticism. Thecritics doubt both the stability andsustainability of the current patent system andargue for restructuring through benefit-sharingsystems in order to address some of theexisting inequalities. With the help of a casestudy (US patent no. 5,751 on ayahuasca) thetheoretical notion of biopiracy is applied toreal problems. (shrink)

Economic principles operate in much the same way whether on land or in the oceans. It is the very same tragedy of the commons that almost wiped out the buffalo that is now endangering precious fish stocks. The answer to these challenges, in both cases, is privatization. Establishment of private property will not only solve the problems of the over fishing of the ocean commons, but will also create incentives for investors to use new technologies that could radically increase the (...) productivity of the ocean for fish and other resources. In order to make these gains however, we must make an irrevocable commitment to defining and defending these property rights as a permanent institution of the future of our oceans. (shrink)

It is widely held that there is an important distinction between the notion of consciousness as it is applied to creatures and, on the other hand, the notion of consciousness as it applies to mental states. McBride has recently argued in this journal that whilst there may be a grammatical distinction between state consciousness and creature consciousness, there is no parallel ontological distinction. It is argued here that whilst state consciousness and creature consciousness are indeed related, they are distinct (...) class='Hi'>properties. Conscious creatures can have, at one time, both conscious and unconscious mental states. This raises the question of what distinguishes the conscious from unconscious mental states of a subject: a question about what state consciousness consists in. Whilst the state/creature distinction may not be of use in explaining every aspect of a subject's consciousness, it does provide a key part of the explanandum for theories of consciousness and mind. The state/creature consciousness distinction is a real one and should not be dropped from our psychological taxonomy. (shrink)

The heuristics and strategies presented in Lakatos' Proofs and Refutations are well-known. However they hardly present the whole story as many authors have shown. In this paper a recent, rather spectacular, event in the history of mathematics is examined to gather evidence for two new strategies. The first heuristic concerns the expectations mathematicians have that a statement will be proved using given methods. The second heuristic tries to make sense of the mathematicians' notion of the quality of a proof.

In _Real Natures and Familiar Objects_ Crawford Elder defends, with qualifications, the ontology of common sense. He argues that we exist -- that no gloss is necessary for the statement "human beings exist" to show that it is true of the world as it really is -- and that we are surrounded by many of the medium-sized objects in which common sense believes. He argues further that these familiar medium-sized objects not only exist, but have essential properties, which we (...) are often able to determine by observation. The starting point of his argument is that ontology should operate under empirical load -- that is, it should give special weight to the objects and properties that we treat as real in our best predictions and explanations of what happens in the world. Elder calls this presumption "mildly controversial" because it entails that arguments are needed for certain widely assumed positions such as "mereological universalism". Elder begins by defending realism about essentialness. He then defends this view of familiar objects against causal exclusion arguments and worries about vagueness. Finally, he argues that many of the objects in which common sense believes really exist, including artifacts and biological devices shaped by natural selection, and that we too exist, as products of natural selection. (shrink)

In this work we give a complete answer as to the possible implications between some natural properties of Lebesgue measure and the Baire property. For this we prove general preservation theorems for forcing notions. Thus we answer a decade-old problem of J. Baumgartner and answer the last three open questions of the Kunen-Miller chart about measure and category. Explicitly, in \S1: (i) We prove that if we add a Laver real, then the old reals have outer measure one. (...) (ii) We prove a preservation theorem for countable-support forcing notions, and using this theorem we prove (iii) If we add ω 2 Laver reals, then the old reals have outer measure one. From this we obtain (iv) $\operatorname{Cons}(\mathrm{ZF}) \Rightarrow \operatorname{Cons}(\mathrm{ZFC} + \neg B(m) + \neg U(m) + U(c))$ . In \S2: (i) We prove a preservation theorem, for the finite support forcing notion, of the property " $F \subseteq ^\omega\omega$ is an unbounded family." (ii) We introduce a new forcing notion making the old reals a meager set but the old members of ω ω remain an unbounded family. Using this we prove (iii) $\operatorname{Cons}(\mathrm{ZF}) \Rightarrow \operatorname{Cons}(\mathrm{ZFC} + U(m) + \neg B(c) + \neg U(c) + C(c))$ . In \S3: (i) We prove a preservation theorem, for the finite support forcing notion, of a property which implies "the union of the old measure zero sets is not a measure zero set," and using this theorem we prove (ii) $\operatorname{Cons}(\mathrm{ZF}) \Rightarrow \operatorname{Cons}(\mathrm{ZFC} + \neg U(m) + C(m) + \neg C(c))$. (shrink)

In _Real Natures and Familiar Objects_ Crawford Elder defends, with qualifications, the ontology of common sense. He argues that we exist -- that no gloss is necessary for the statement "human beings exist" to show that it is true of the world as it really is -- and that we are surrounded by many of the medium-sized objects in which common sense believes. He argues further that these familiar medium-sized objects not only exist, but have essential properties, which we (...) are often able to determine by observation. The starting point of his argument is that ontology should operate under empirical load -- that is, it should give special weight to the objects and properties that we treat as real in our best predictions and explanations of what happens in the world. Elder calls this presumption "mildly controversial" because it entails that arguments are needed for certain widely assumed positions such as "mereological universalism". Elder begins by defending realism about essentialness. He then defends this view of familiar objects against causal exclusion arguments and worries about vagueness. Finally, he argues that many of the objects in which common sense believes really exist, including artifacts and biological devices shaped by natural selection, and that we too exist, as products of natural selection. (shrink)

In this volume, fourteen philosophers, economists and legal scholars and one computer scientist address various facets of the same question: under which conditions (if any) can intellectual property rights be fair? This general question unfolds in a variety of others: What are the parallels and differences between intellectual and real property? Are libertarian theories especially sympathetic to IP rights? Should Rawlsian support copyright? How can a concern for incentives be taken into account by each of the main theories of (...) justice? What's exactly wrong with free-riding, when dealing with non-rival goods? This requires a close examination of a variety of specific issues such as peer-to-peer file sharing, access to vital medicines, the interaction between copyright and freedom of expression, patents on genes, etc. It also involves bringing together state-of-the-art knowledge on legal, economic and technical issues with the most advanced state of our normative theories. (shrink)

Suppose you attend a seminar where a mathematician presents a proof to some of his colleagues. Suppose further that what he is proving is an important mathematical statement Now the following happens: as the mathematician proceeds, his audience is amazed at first, then becomes angry and finally ends up disturbing the lecture (some walk out, some laugh, …). If in addition, you see that the proof he is presenting is formally speaking (nearly) correct, would you say you are witnessing an (...) extraordinary event in urgent need of explanation? Surely, your answer would be yes. But do events of this type actually occur? The matter of the fact is, yes, they do. This paper presents the details of such an event, suggests a possible explanation and examines its implications for our understanding of mathematical practice. (shrink)

We present a model where ω1 is inaccessible by reals, Silver measurability holds for all sets but Miller and Lebesgue measurability fail for some sets. This contributes to a line of research started by Shelah in the 1980s and more recently continued by Schrittesser and Friedman, regarding the separation of different notions of regularity properties of the real line.

A framework for representing a specific kind of emergent property instance is given. A solution to a generalized version of the exclusion argument is then provided and it is shown that upwards and downwards causation is unproblematical for that kind of emergence. One real example of this kind of emergence is briefly described and the suggestion made that emergence may be more common than current opinions allow.

We define a σ-ideal J D on the set of functions ω ω with the property that a real x ∈ ω ω is a Hechler real over V if and only if x omits all Borel sets in J D . In fact we define a topology D on ω ω related to Hechler forcing such that J D is the family of first category sets in D. We study cardinal invariants of the ideal J D.

We show that the statement “every universally Baire set of reals has the perfect set property” is equiconsistent modulo ZFC with the existence of a cardinal that we call virtually Shelah for supercompactness. These cardinals resemble Shelah cardinals and Shelah-for-supercompactness cardinals but are much weaker: if $0^\sharp $ exists then every Silver indiscernible is VSS in L. We also show that the statement $\operatorname {\mathrm {uB}} = {\boldsymbol {\Delta }}^1_2$, where $\operatorname {\mathrm {uB}}$ is the pointclass of all universally Baire (...) sets of reals, is equiconsistent modulo ZFC with the existence of a $\Sigma _2$ -reflecting VSS cardinal. (shrink)

This article sets out a new conception of ‘property as an asset of resilience’. Building on Fineman’s emphasis on ‘webs’ of resilience, and applying insights from Actor-Network Theory and Resilient Property Theory, we examine how the rhetorical claims asserted by owners and non-owners, individually and collectively, and the ways that law recognizes and endorses those claims, affect the production of property-as-resilience. Applying Fineman’s framework, we argue that the ‘embodiment’ and ‘embeddedness’ of human vulnerability is revealed by the necessary and inevitable (...) relationship we have with land, housing and place. Everyone—including homeless people—must ‘be’ somewhere (embodiment); however, it is our ability to access ‘assets of resilience’ through our social embeddedness in institutional structures and relationships that mitigates (or not) our experience and life opportunities. In this article we analyze the nature of real property as an asset of resilience, the consequences of exclusionary concepts of ownership for how resilience is allocated, and the implications for how we think and talk about ‘exclusion’ and ‘inclusion’ in property theories and property law. We consider the roles that states perform in the allocation of property as an asset of resilience: both directly, through the protection and enforcement of private property rights and official narratives about the nature of private property; and indirectly, as owners leverage the hinterland of privilege extended to ‘ownership’ and owners to deepen their own networks of resilience. (shrink)

'There is much food for thought in McGinn's discussions and each chapter is rich with a series of considerations for thinking that the currently received views on the various topics have some serious difficulties that need confronting... For those interested in metaphysics and the philosophy of logic, this book will stimulate much further thought' -Mind 'The sweep of the book is broad and the pace is brisk... There is much material here to provide the basis for many a deep philosophical (...) discussion' -Mind 'Lucid and provocative little book... clear, direct and well argued' -Times Higher Education SupplementIdentity, existence, predication, necessity, and truth are fundamental philosophical concerns. Colin McGinn treats them both philosophically and logically, aiming for maximum clarity and minimum pointless formalism. He contends that there are real logical properties that challenge naturalistic metaphysical outlooks. These concepts are not definable, though we can say a good deal about how they work. The aim of Logical Properties is to bring philosophy back to philosophical logic. (shrink)

Identity, existence, predication, necessity, and truth are fundamental philosophical concerns. Colin McGinn treats them both philosophically and logically, aiming for maximum clarity and minimum pointless formalism. He contends that there are real logical properties that challenge naturalistic metaphysical outlooks. These concepts are not definable, though we can say a good deal about how they work. The aim of Logical Properties is to bring philosophy back to philosophical logic.

_Real Metaphysics_ brings together new articles by leading metaphysicians to honour Hugh Mellor's outstanding contribution to metaphysics. Some of the most outstanding minds of current times shed new light on all the main topics in metaphysics: truth, causation, dispositions and properties, explanation, and time. At the end of the book, Hugh Mellor responds to the issues raised by each of the thirteen contributors and gives us new insight into his own highly influential work on metaphysics.

Real Metaphysics brings together new articles by leading metaphysicians to honour Hugh Mellor's outstanding contribution to metaphysics. Some of the most outstanding minds of current times shed new light on all the main topics in metaphysics: truth, causation, dispositions and properties, explanation, and time. At the end of the book, Hugh Mellor responds to the issues raised by each of the thirteen contributors and gives us new insight into his own highly influential work on metaphysics.

Perhaps we should entertain the idea that aesthetic properties are no less (but no more) objective than properties like weight or shape. Indeed, the weight and shape of something are themselves aesthetic properties of that thing. And we might speculate or (what the heck) assert that aesthetic properties are no more (but no less) socially constructed than size or material composition, for example. Indeed the size and material composition of something are aesthetic properties of it. (...) We might, that is, live in an aesthetic universe, live embedded in an aesthetic reality. Then, for example, to give a full description of any thing or phenomenon, we would have to resort to aesthetic categories: perhaps there is no natural science, for example, without aesthetics, and vice versa. On a good day, the universe might really, actually, truly be beautiful. (shrink)

Review by: Johanna N. Y. Franklin The Bulletin of Symbolic Logic, Volume 19, Issue 1, Page 115-118, March 2013.

States of the brain represent states of the world. A puzzle arises when one learns that at least some of the mind/brain’s internal representations, such as a sensation of heat or a sensation of red, do not genuinely resemble the external realities they allegedly represent: the mean kinetic energy of the molecules of the substance felt (temperature) and the mean electromagnetic reflectance profile of the seen object (color). The historical response has been to declare a distinction between objectively real (...) properties, such as shape motion and mass, and merely subjective properties, such as heat, color and smell. This hypothesis leads to trouble. A challenge for cognitive neurobiology is to characterize, in suitably general terms, the nature of the relationship between brain models and the world modeled. We favor the hypothesis that brains develop high-dimensional maps whose internal relations correspond in varying degrees of fidelity to the enduring causal structure of the world. From this perspective, the basic epistemological relation is not “single-percept to single- external-feature” but rather “background-brain-maps to causal-domain-portrayed. (shrink)

This paper aims to build a bridge between two areas of philosophical research, the structure of kinds and metaphysical modality. Our central thesis is that kinds typically involve super-explanatory properties, and that these properties are therefore metaphysically essential to natural kinds. Philosophers of science who work on kinds tend to emphasize their complexity, and are generally resistant to any suggestion that they have “essences”. The complexities are real enough, but they should not be allowed to obscure the (...) way that kinds are typically unified by certain core properties. We shall show how this unifying role offers a natural account of why certain properties are metaphysically essential to kinds. (shrink)

We define the ideal with the property that a real omits all Borel sets in the ideal which are coded in a transitive model if and only if it is an amoeba real over this model. We investigate some other properties of this ideal. Strolling through the "amoeba forest" we gain as an application a modification of the proof of the inequality between the additivities of Lebesgue measure and Baire category.

The modern form of realism about properties has typically been far more austere than its Platonic ancestor. There is nothing especially austere about denying, as most modern property realists do, the reality of “disjunctive properties”—properties which would correspond, in the world, to disjunctive predicates such as “is an apple or an ocean,” “is observed by now and green or not observed by now and blue,” etc. But modern property realists typically deny far more. It has been argued, (...) for example, that the only real properties there are are properties flanked by contrary opposites—so that there is no real property corresponding, for example, to the predicate “is self-identical.” Perhaps the biggest step in the direction of austerity is the argument, offered by a number of modern property realists, that there can be in the world no “determinable properties” corresponding to such determinable predicates as “has mass,” “is colored,” or “has a valence.” For these arguments are said to establish that not even such familiar properties as redness or painfulness really exist; to predicates such as “is red” and “is painful,” no real property corresponds. The business of this paper is to examine the prevailing arguments against “determinable properties,” and to argue that the ontology which they entail is decidedly less austere than is commonly supposed. The motivation is mainly just to get a more accurate ontology of properties. But a side benefit, if my arguments are correct, will be an increased appreciation for the treatment of vague predicates that posits truth-value gaps—and with it, increased ease with the idea that corresponding to vague predicates there really are, in the world, vague properties. (shrink)

This paper begins an analysis of the real line using an inconsistency-tolerant (paraconsistent) logic. We show that basic field and compactness properties hold, by way of novel proofs that make no use of consistency-reliant inferences; some techniques from constructive analysis are used instead. While no inconsistencies are found in the algebraic operations on the real number field, prospects for other non-trivializing contradictions are left open.