Les mots « métaphysique » et « ontologie » se disent de façons multiples à l’intérieur de la philosophie analytique et ailleurs dans la philosophie du vingtième siècle. Ils sont souvent employés pour parler de la théorie ou l’analyse de ce qu’il y a, des espèces principales de ce qu’il y a et de leurs rapports. Mais les positivistes viennois, par exemple, appelaient « métaphysiques » les philosophies qu’ils n’aimaient pas (Carnap 1985, Campbell 1976 ch. 2)1. Et si Quine parle (...) de l’engagement ontologique ou ontique d’une théorie, celui-ci ne se confond nullement avec un engagement métaphysique ou existentiel quelconque. (shrink)

During the realist revival in the early years of this century, philosophers of various persuasions were concerned to investigate the ontology of truth. That is, whether or not they viewed truth as a correspondence, they were interested in the extent to which one needed to assume the existence of entities serving some role in accounting for the truth of sentences. Certain of these entities, such as the Sätze an sich of Bolzano, the Gedanken of Frege, or the propositions of Russell (...) and Moore, were conceived as the bearers of the properties of truth and falsehood. Some thinkers however, such as Russell, Wittgenstein in the Tractatus, and Husserl in the Logische Untersuchungen, argued that instead of, or in addition to, truth-bearers, one must assume the existence of certain entities in virtue of which sentences and/or propositions are true. Various names were used for these entities, notably 'fact', 'Sachverhalt', and 'state of affairs'. (1) In order not to prejudge the suitability of these words we shall initially employ a more neutral terminology, calling any entities which are candidates for this role truth-makers. (shrink)

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)

In an unpublished speech from 1991, David Lewis told his audience that he counted ‘the metaphysician Carnap ’ amongst his historical ancestors. Here I provide a novel interpretation of the Aufbau that allows us to make sense of Lewis’s claim. Drawing upon Lewis’s correspondence, I argue it was the Carnap of the Aufbau whom Lewis read as a metaphysician, because Carnap’s appeal to the notion of founded relations in the Aufbau echoes Lewis’s own appeal to the metaphysics of natural properties. (...) I further maintain that Lewis was right to read Carnap this way and that the notion of a founded relation has a legitimate claim to be both logical and metaphysical. I also argue that Carnap’s initial response to Goodman’s puzzle about ‘grue’ relies upon a metaphysics of simple properties which also prefigures Lewis’s own response to Goodman invoking natural properties. (shrink)

This paper embeds a theory of proper names in a general approach to singular reference based on type‐free property theory. It is proposed that a proper name “N” is a sortal common noun whose meaning is essentially tied to the linguistic type “N”. Moreover, “N” can be singularly referring insofar as it is elliptical for a definite description of the form the “N” Following Montague, the meaning of a definite description is taken to be a property of properties. The proposed (...) theory fulfils the major desiderata stemming from Kripke's works on proper names. (shrink)

When Russell argued for his ontological convictions, for instance that there are negative facts or that there are universals, he expressed himself in English. But Wittgenstein must have noticed that from the point of view of Russell's ideal language these ontological statements appear to be pseudo-propositions. He believed therefore that what these statements pretend to say, could not really be said but only shown. Carnap discovered a way out of this mutism: what in the material mode of speech of the (...) object language looks like a pseudo-proposition can be translated into a perfectly meaningful proposition in the formal mode of speech (in the metalinguistic mode of speech of the logical syntax of language). But is this ascent into the metalanguage necessary? Taking advantage of Lésniewski's logical system there exists another way outwe can expand the number of categories of our ideal language. But Leniewski's formulas raise another profound problem, the problem of semantical muteness (cf. W. G. Lycan Semantic Competence and Funny Functors Monist 64 (1979), 209–222). (shrink)

The triangle in general or the man as such are general objects. These are objects that possess the properties common to all the individual objects in their range. Stanisław Leśniewski and Tadeusz Kotarbiński, two Polish philosophers and logicians belonging to the Lvov-Warsaw School, produced several proofs aiming to show that such objects are impossible because the principles that govern them lead to a contradiction. In this paper I first clarify the structure of their proofs. Then I suggest a way to (...) elude their conclusion. In order to do that I use two Meinongian distinctions: the distinction between complete and incomplete objects, on the one hand, and the distinction between nuclear and extranuclear properties, on the other hand. I claim first that general objects are incomplete objects, i.e. they do not satisfy the ontological principle of the excluded middle, and second that the principle that governs the relations between the properties of general objects and the properties of the individual objects in their range should be restricted to nuclear properties. (shrink)

The theory of so-called‘mental images’, which is put forward again in contemporary cognitive psychology, is criticized by way of elaborating the distinctly different intentional structures of the mental activities of‘remembering something’and‘representing something pictorially’(by means of a painting, photo, sculpture, etc.) It is suggested that psychology in its concept and theory formation could use profitably phenomenological-descriptive analyses of the different forms of intentionality as exemplified in the paper.

In a recent article, Herbert Hochberg portrays my ontological position, that of a trope nominalist who is sceptical about relational tropes, as deviating into idealism. Since there are few philosophical views I find more repugnant than idealism, I must either resist the accusation or recant. I choose to resist, by showing how relational tropes are not needed as truth-makers for a wide range of truths, and raising the real possibility that they may not be needed at all, without lapsing into (...) either monism or idealism. (shrink)