The paper begins with a more carefully stated version of ontologically neutral (ON) logic, originally introduced in (Hailperin, 1997). A non-infinitistic semantics which includes a definition of potential infinite validity follows. It is shown, without appeal to the actual infinite, that this notion provides a necessary and sufficient condition for provability in ON logic.

After drawing attention to the basic importance of Goodman's workThe Structure of Appearance, this paper turns to a critical analysis of Goodman's claims concerning worldmaking. It stresses that Goodman's acceptance of a multiplicity of actual worlds doesnot involve the belief in an unknowable underlying reality; but that it is due to the non-mysterious fact that constructional systems allow for a multiplicity of disagreeing, right versions. However, from the point of view of truthmaker ontology, most worlds of constructional systems are (...) not genuine worlds; and so far it hasnot been shown that there are genuine truthmaker worlds that disagree.It is suggested that the construction of systems usually involves three conflicting aims: the logical, the ontological, and the psychological. Considering the current interest in cognitive psychology and phenomenology, the implications of the psychological aim, too, deserve to be reexamined. (shrink)

A review of U. Mäki (ed.). Fact and Fiction in Economics, Cambridge: Cambridge University Press, 2003. pp. xvi 384. ISBN 0521 00957. As people interested mainly in theory, methodologists and philos...

A brief review of the historicalrelation between logic and ontologyand of the opposition between the viewsof logic as language and logic as calculusis given. We argue that predication is morefundamental than membership and that differenttheories of predication are based on differenttheories of universals, the three most importantbeing nominalism, conceptualism, and realism.These theories can be formulated as formalontologies, each with its own logic, andcompared with one another in terms of theirrespective explanatory powers. After a briefsurvey of such a comparison, we argue (...) that anextended form of conceptual realism provides themost coherent formal ontology and, as such, canbe used to defend the view of logic as language. (shrink)

It is rare to come across a philosophical work that breaks away from what has come before it and augurs a new way of doing philosophy. Petri Berndtson’s remarkable new book, Phenomenological Ontolo...

Dietrich von Hildebrand’s treatise The Nature of Love is set in relation to the theological personalism of the Cappadocian fathers of the Church, and to my own earlier work done in this tradition. Several points of divergence are explored, especially points concerning von Hildebrand’s claim that love exists as a response to the beauty of the beloved person. God’s love for human beings does not always seem to fit the paradigm of value-response; His love seems to be creative of beauty (...) in us rather than to respond to already existing beauty. But at the same time, the deep kinship of von Hildebrand’s personalism with that of the Cappadocian fathers is stressed; he is at one with them in affirming the heart as distinct from the intellect, in affirming love as the supreme act of the person, and in affirming the place of beauty in the existence of persons. (shrink)

The current resurgence of interest in cognition and in the nature of cognitive processing has brought with it also a renewed interest in the early work of Husserl, which contains one of the most sustained attempts to come to grips with the problems of logic from a cognitive point of view. Logic, for Husserl, is a theory of science; but it is a theory which takes seriously the idea that scientific theories are constituted by the mental acts of cognitive subjects. (...) The present essay begins with an exposition of Husserl's act-based conception of what a science is, and goes on to consider his account of the role of linguistic meanings, of the ontology of scientific objects, and of evidence and truth. The essay concentrates almost exclusively on the Logical Investigations of 1900/01. This is not only because this work, which is surely Husserl's single most important masterpiece, has been overshadowed first of all by his Ideas I and then later by the Crisis. It is also because the Investigations contain, in a peculiarly clear and pregnant form, a whole panoply of ideas on logic and cognitive theory which either simply disappeared in Husserl's own later writings or became obfuscated by an admixture of that great mystery which is 'transcendental phenomenology'. (shrink)

The paper points out that the modern formulation of Bohm’s quantum theory known as Bohmian mechanics is committed only to particles’ positions and a law of motion. We explain how this view can avoid the open questions that the traditional view faces according to which Bohm’s theory is committed to a wave-function that is a physical entity over and above the particles, although it is defined on configuration space instead of three-dimensional space. We then enquire into the status of the (...) law of motion, elaborating on how the main philosophical options to ground a law of motion, namely Humeanism and dispositionalism, can be applied to Bohmian mechanics. In conclusion, we sketch out how these options apply to primitive ontology approaches to quantum mechanics in general. (shrink)

The way society is organised means that we all get made into members of various types of people, such as judges, wives, or women. These ‘human social kinds’ may be brought into being by oppressive social arrangements, and people may suffer oppression in virtue of being made into a member of a certain human social kind. This book argues that we should pay attention to the ways in which the very fact of being made into a member of a certain (...) human social kind can be oppressive in and of itself. For example, someone who becomes a wife under circumstances where husbands have unjust powers over their wives has suffered a wrong, even if her husband never in fact exercises these powers. The book argues that social movements against racial and gendered oppression, including efforts to advance trans liberation, must get to grips with this phenomenon, and it supplies the conceptual tools needed to do so. The first tool is an analysis of this general form of wrong, termed ‘ontic injustice’. The second tool is an account of ‘ontic oppression’, a particular kind of ontic injustice in which the wrong amounts to a form of oppression, in the sense of being structural and pervasive. The third tool is a pluralist account of race and gender kinds, according to which there is no single social kind that corresponds to a gender category such as ‘woman’, but, rather, there are various different social kinds, each of which is explanatory for different purposes. (shrink)

[Stephen Yablo] The usual charge against Carnap's internal/external distinction is one of 'guilt by association with analytic/synthetic'. But it can be freed of this association, to become the distinction between statements made within make-believe games and those made outside them-or, rather, a special case of it with some claim to be called the metaphorical/literal distinction. Not even Quine considers figurative speech committal, so this turns the tables somewhat. To determine our ontological commitments, we have to ferret out all traces of (...) nonliterality in our assertions; if there is no sensible project of doing that, there is no sensible project of Quinean ontology. /// [Andre Gallois] I discuss Steve Yablo's defence of Carnap's distinction between internal and external questions. In the first section I set out what I take that distinction, as Carnap draws it, to be, and spell out a central motivation Carnap has for invoking it. In the second section I endorse, and augment, Yablo's response to Quine's arguments against Carnap. In the third section I say why Carnap's application of the distinction between internal and external questions runs into trouble. In the fourth section I spell out what I take to be Yablo's version of Carnap. In the last I say why that version is especially vulnerable to the objection raised in the second. (shrink)

This article develops a criticism of Alain Badiou’s assertion that “mathematics is ontology.” I argue that despite appearances to the contrary, Badiou’s case for bringing set theory and ontology together is problematic. To arrive at this judgment, I explore how a case for the identification of mathematics and ontology could work. In short, ontology would have to be characterised to make it evident that set theory can contribute to it fundamentally. This is indeed how Badiou proceeds (...) in Being and Event. I review his descriptions of the ontological problematic at some length here, only to argue that set theory is a poor fit. Although philosophers working on questions of being were certainly occupied with matters of oneness and the part-whole relationship, I argue that Badiou’s discussion of philosophical sources points towards a mereological treatment, not a set-theoretic one. Finally, I suggest that Badiou’s philosophical interpretations of key set-theoretic results are better understood as some sort of analogising between mathematics, ontology, and philosophical anthropology. (shrink)

Willard van Orman Quine once said that he had a preference for a desert ontology. This was in an earlier day when concerns with logical structure and ontological simplicity reigned supreme. Ontological genocide was practiced upon whole classes of upper-level or ‘derivative’ entities in the name of elegance, and we were secure in the belief that one strayed irremediably into the realm of conceptual confusion and possible error the further one got from ontic fundamentalism. In those days, one paid (...) more attention to generic worries about possible errors than to actual errors derived from distancing oneself too far from the nitty-gritty details of actual theory, actual inferences from actual data, the actual conditions under which we posited and detected entities, calibrated and ‘burned in’ instruments, identified and rejected artifacts, debugged programs and procedures, explained the mechanisms behind regularities, judged correlations to be spurious, and in general, to the real complexities and richness of actual scientific practice. (shrink)

The central task of cognitive neuroscience to map cognitive capacities to neural mechanisms faces three interlocking conceptual problems that together frame the problem of cognitive ontology. First, they must establish which tasks elicit which cognitive capacities, and specifically when different tasks elicit the same capacity. To address this operationalization problem, scientists often assess whether the tasks engage the same neural mechanisms. But to determine whether mechanisms are of the same or different kinds, we need to solve the abstraction problem (...) by determining which mechanistic differences are and are not relevant, and also the boundary problem by distinguishing the mechanism from its background conditions. Solving these problems, in turn, requires understanding how cognitive capacities are elicited in tasks. These three problems, which have been noted and discussed elsewhere in the literature, together form a ‘cycle of kinds’ that frames the central problem-space of cognitive ontology. We describe this cycle to clarify the intellectual challenges facing the cognitive ontologist and to reveal the kind of iterative process by which ontological revision in cognitive neuroscience is likely to unfold. (shrink)

[Stephen Yablo] The usual charge against Carnap's internal/external distinction is one of 'guilt by association with analytic/synthetic'. But it can be freed of this association, to become the distinction between statements made within make-believe games and those made outside them-or, rather, a special case of it with some claim to be called the metaphorical/literal distinction. Not even Quine considers figurative speech committal, so this turns the tables somewhat. To determine our ontological commitments, we have to ferret out all traces of (...) nonliterality in our assertions; if there is no sensible project of doing that, there is no sensible project of Quinean ontology. /// [Andre Gallois] I discuss Steve Yablo's defence of Carnap's distinction between internal and external questions. In the first section I set out what I take that distinction, as Carnap draws it, to be, and spell out a central motivation Carnap has for invoking it. In the second section I endorse, and augment, Yablo's response to Quine's arguments against Carnap. In the third section I say why Carnap's application of the distinction between internal and external questions runs into trouble. In the fourth section I spell out what I take to be Yablo's version of Carnap. In the last I say why that version is especially vulnerable to the objection raised in the second. (shrink)

In light of many recent critiques of Western modernity and its conceptual foundations, the problem of adequately justifying our most basic moral and political values looms large. Without recourse to traditional ontological or metaphysical foundations, how can one affirm — or sustain — a commitment to fundamentals? The answer, according to Stephen White, lies in a turn to “weak” ontology, an approach that allows for ultimate commitments but at the same time acknowledges their historical, contestable character. This turn, White (...) suggests, is already underway. His book traces its emergence in a variety of quarters in political thought today and offers a clear and compelling account of what this might mean for our late modern self-understanding. (shrink)

The article is devoted to the search for the nature of the ontology of an art work on the example of a literary work. Tradition viewed a work of art as the discovery of a higher truth. Analytical philosophy deprived literature of the status of truth in general, and thereby deprived it of any ontological dimension. Heidegger’s attempt to return this dimension to literature through its relationship with being did not find continuation in philosophy. The author proposes to consider (...) a literary work as a model of the world, primarily the social world. This approach makes liken a literary work to a mathematical theory. A mathematical theory is built as a correlation of simple elements; in a literary work such elements are characters (sometimes things). A mathematical theory is built on clearly defined axioms, a literary work is also built on axioms, but they do not have an explicit expression within the work and cannot always be perceived intuitively. The author shows that the mathematical theory never fully meets the specified conditions, and the mathematicians themselves note that in the future they will largely lose their strength. Thus, a literary work is of the same nature as a mathematical theory, only it presents a more complex case. The problem of truth serves as the way to find the ontological dimension. Analysis shows that in mathematics it is solved not by reducing a hypothesis to axioms, but by recognizing a theory through its effectiveness or applicability. For a work of art, such a criterion is its perception by its readers. In both cases, the ontological dimension is in the mind of the reader. (shrink)

I here critically discuss Hilary Putnam's views on ontology, especially as recently expounded in his Ethics without Ontology. In particular, I discuss Putnam's thesis of conceptual relativity and his criticism of the thesis that objectivity requires objects. Although I think that much of what Putnam says is important, and that there are important elements of truth to it, my points will largely be negative. Along the way I will discuss Putnam's and Wittgenstein's views in the philosophy of mathematics, (...) and I will compare Putnam's metaontological views with those of William James, Michael Dummett, Crispin Wright and Simon Blackburn. (shrink)

This is a contribution to a symposium on Amie Thomasson’s Ontology Made Easy (2015). Thomasson defends two deflationary theses: that philosophical questions about the existence of numbers, tables, properties, and other disputed entities can all easily be answered, and that there is something wrong with prolonged debates about whether such objects exist. I argue that the first thesis (properly understood) does not by itself entail the second. Rather, the case for deflationary metaontology rests largely on a controversial doctrine about (...) the possible meanings of ‘object’. I challenge Thomasson's argument for that doctrine, and I make a positive case for the availability of the contested, unrestricted use of ‘object’. (shrink)

A defense of an ontology of propositions and of some logical resources for representing them. It begins with an austere formulation of a theory of propositions in a first-order extensional logic, but then uses the commitments of this theory to justify an enrichment to modal logic - the logic of necessity and possibility - as an appropriate framework for regimented languages that are constructed to represent any of our scientific and philosophical commitments. Both the proof-theory and the model theory (...) of a first-order quantified modal logic are developed in detail, and it is argued that these formal resources help to sharpen questions about ontology and predication. The clarification of predication helps to provide a motivation for extending our ontological commitment to properties and relations that are expressed by predicates, and for extending the logic to a higher-order modal logic that provides a conception of metaphysical modality that allows for the contingent existence, not only of persons and physical objects, but also of properties, relations and propositions. Even though both the specific ontological commitments defended (to propositions, properties and relations) and the logical resources that are used to defend them (modal and higher-order logic) were famously rejected by W. V. Quine, the book adopts a self-consciously neo-Quinean methodology, and argues that the theory that is developed helps to motivate and clarify Quine's naturalistic metaphysical picture. (shrink)

W. V. Quine assumed that in _Empiricism, Semantics, and Ontology Rudolf Carnap was attempting to dodge commitment to abstract entities--without either renouncing quantification over them or demonstrating their dispensability--by wielding the analytic/synthetic distinction against ontological issues. Quine's interpretation of Carnap's intent--and his criticism of it--is widely endorsed. But Carnap objected, I argue, not to abstract entities, but to his critics' suggestion that empiricism implies nominalism. Quine's and Carnap's views are therefore more akin than Quine ever suspected. Unfortunately, Quine's misinterpretation (...) of Carnap's position has led to a misunderstanding of the implications of Quine's own naturalistic turn for contemporary ontology. (shrink)

Temporal ontology is the part of ontology involving the rival positions of presentism, eternalism, and the growing block theory. While this much is clear, it’s surprisingly difficult to elucidate the substance of the disagreement between presentists and eternalists. Certain events happened that are not happening now; what is it to disagree about whether these events exist? In spite of widespread suspicion concerning the status and methods of analytic metaphysics, skeptics’ doubts about this debate have not generally been heeded, (...) neither by metaphysicians, nor by philosophers of physics. This paper revisits the question in the light of prominent elucidation attempts from both camps. The upshot is that skeptics were right to be puzzled. The paper then explores a possible re-interpretation of positions in temporal ontology that links it to normative views about how we should live as temporal beings. (shrink)

Traditionally, social entities (i.e., social properties, facts, kinds, groups, institutions, and structures) have not fallen within the purview of mainstream metaphysics. In this chapter, we consider whether the exclusion of social entities from mainstream metaphysics is philosophically warranted or if it instead rests on historical accident or bias. We examine three ways one might attempt to justify excluding social metaphysics from the domain of metaphysical inquiry and argue that each fails. Thus, we conclude that social entities are not justifiably excluded (...) from metaphysical inquiry. Finally, we ask how focusing on social entities could change the character of metaphysical inquiry. We suggest that starting from examples of social entities might lead metaphysicians to rethink the assumption that describing reality in terms of intrinsic, independent, and individualistic features is preferable to describing it in terms of relational, dependent, and non-individualistic features. (shrink)

The interpretation of functional imaging experiments is complicated by the pluripotency of brain regions. As there is a many-to-one mapping between cognitive functions and their neural substrates, region-based analyses of imaging data provide only weak support for cognitive theories. Price and Friston argue that we need a ‘cognitive ontology’ that abstractly categorizes the function of regions. I argue that abstract characterizations are unlikely to be cognitively interesting. I argue instead that we should attribute functions to regions in a context-sensitive (...) manner. I review recent meta-analyses that approach fMRI data in this light and argue that they have revisionary potential. (shrink)