Can there be relational universals? If so, how can they be exemplified? A monadic universal is by definition capable of having a scattered spatiotemporal localization of its different exemplifications, but the problem of relational universals is that one single exemplification seems to have to be scattered in the many places where the relata are. The paper argues that it is possible to bite this bullet, and to accept a hitherto un-discussed kind of exemplification relation called ‘scattered exemplification’. It has no (...) immediate symbolic counterpart in any Indo-European natural language or in any so far constructed logical language. In order to remedy this, a notion called ‘many-place copula’ is introduced, too. (shrink)
The paper claims that Hume’s philosophy contains an ontology, i.e. an abstract exhaustive classification of what there is. It is argued that Hume believes in the existence of a mind-independent world, and that he has a classification of mind-related entities that contains four top genera: perception, faculty, principle and relation. His ontology is meant to be in conformity with his philosophy of language and epistemology, and vice versa. Therefore, crucial to Hume’s ontology of mind-independent entities is his notion of ‘supposing (...) relative ideas’. Entities that are referred to by means of ordinary ideas can be truly classified, whereas entities that are referred to by means of relative ideas can only be hinted at. When Hume’s ontology is highlighted and systematised, his notion ‘the faculty of imagination’ becomes highly problematic. However, the exposition also makes it clear that Hume deserves the honorary title: the first cognitive scientist. (shrink)
The paper is an attempt to take Ingarden’s unfinished critique of idealism one step further. It puts forward a schematic solution to the external-world realist’sproblem of how to explain the fact that we can identify and re-identify fictions, entities that in one sense do not exist. The solution contains three proposals: to accept, with Husserl and Ingarden, that there are universals with intentionality (Husserl’s “intentional essences”), to accept, contra Husserl and Ingarden, an immanent realism for universals, and to accept Ingarden’s (...) view that there is a mode of being distinct from those put forward in traditional metaphysics, that of purely intentional being. Together, these views imply that all the instances of a specific intentional universal are directed towards the same intentional object; be this object a really existing object or a fiction, a purely intentional being. (shrink)
The paper ends with an argument that says: necessarily, if there are finitely spatially extended particulars, then there are monadic universals. Before that, in order to characterize the distinction between particulars and universals, Roman Ingardenâs notions of existential moments and modes (ways) of being are presented, and a new pair of such existential moments is introduced: multiplicityâmonadicity. Also, it is argued that there are not only real universals, but instances of universals (tropes) and fictional universals too.
Famously, Galilei made the ontological claim that the book of nature is written in the language of mathematics. Probably, if only implicitly, most contemporary natural scientists share his view. This paper, in contradistinction, argues that nature is only partly written in the language of mathematics; partly, it is written in the language of functions and partly in a very simple purely qualitative language, too. During the argumentation, three more specific but in themselves interesting theses are put forward: first (in Section (...) 3), there are more shapes than real numbers; second (in Section 4), the metrological notion ‘amount of substance’ can profitably be exchanged for ‘number of entities’; third (in Section 5), prototypical concepts will always be scientifically important. (shrink)
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is developed. If everyday language mirrors the world, then persons, organisms, organs, cells, and ordinary material things can lose some parts but nonetheless remain numerically exactly the same entity. In order to formalize this view, two new logical operators are introduced; and they bring with them some non-standard syntax. One of the operators is called ‘the (...) instantiation operator’; it is needed because the existential quantifier and its traditional relatives cannot do the job required. The other operator is called ‘the form-on-matter operator’, and it allows an individual (an instance of a form) to stay the same even though some of its parts (its constituting matter) is taken away from it. Also, a certain kind of predicates, called ‘nature terms’, is needed in order to represent what gives a particular its kind of identity. Both the operators and the nature terms introduced can be used in constructions of formal languages and formal systems, but no such constructions are made in the paper. The paper is structured as a comment on the philosophical problem called ‘the problem of the cats Tibbles and Tib’. (shrink)
We defend the fundamental ontological-pragmatic principle that where there are continua in reality science is often forced to make partly fiat terminological delimitations. In particular, this principle applies when it comes to describing biological organisms, their parts, properties, and relations. Human-made fiat delimitations are indispensable at the level of both individuals and the natural kinds which they instantiate. The kinds of pragmatically based ‘fiatness’ that we describe can create incompatibilities and lack of interoperability even between properly designed ontologies, if not (...) appropriately handled. (shrink)
It is argued that medical science requires a classificatory system that (a) puts functions in the taxonomic center and (b) does justice ontologically to the difference between the processes which are the realizations of functions and the objects which are their bearers. We propose formulae for constructing such a system and describe some of its benefits. The arguments are general enough to be of interest to all the life sciences.
For many assertions, the correspondence theory of truth seems intuitively to give the best account of the difference between truth and falsity, but one of its problems is how to explicate the notions of “correspondence” and “truthmaking”. In conformity with the view of David Armstrong, it is claimed that truthmaking is an internal relation between a truthmaker and a truth(-value-)bearer. The truthbearer (a token proposition) can exist without the truthmaker (an object or a state of affairs), and vice versa, but (...) when both exist the truthmaker necessarily makes the truthbearer true and correspondence obtains. Contrary to Armstrong’s reductionist analyses of internal relations and propositions, however, it is argued that internal relations can have a mind-independent existence and “add to being”, that truthbearers and truthmakers are categorially different, and that the correspondence theory of truth requires a distinction between internal relations with heterogeneous and homogeneous relata, respectively. (shrink)
The paper highlights a certain kind of self-falsifying utterance, which I shall call antiperformative assertions, not noted in speech-act theory thus far. By taking such assertions into account, the old question whether explicit performatives have a truth-value can be resolved. I shall show that explicit performatives are in fact self-verifyingly true, but they are not related to propositions the way ordinary assertions are; antiperformatives have the same unusual relation to propositions, but are self-falsifyingly false. Explicit performatives are speech acts performed (...) in situations where it is important that the speaker is self-reflectively aware of what he is doing in the speech act. Antiperformatives, on the other hand, are speech acts performed in situations where lack of direct self-reflectiveness is required. In order to situate performatives and antiperformatives, the analysis is embedded within a more general discussion of self-falsifying and self-verifying assertions. (shrink)
If the logic of belief changes is extended to cover belief states which contain both factual and normative beliefs, it is easily shown that a change of a factual belief (an 'Is') in a mixed belief state can imply a change of a normative belief (an 'Ought') in the same state. With regard to Hume's so-called 'Is-Ought problem', this means that one has to distinguish its statics from its dynamics. When this is done, it becomes clear that changes of factual (...) beliefs can, for rational reasons, have far-reaching normative consequences. Similarly, a change of a factual belief can imply a change of a value belief. (shrink)
This article takes it for granted that science is intrinsically social and that competition is part and parcel of science. Four kinds of competition are distinguished and related to four kinds of rationalities: technological, normal scientific, political, and philosophical. It is argued that science as a whole is rational when there is interaction between the different (sub-) rationalities. Science needs not only different disciplines, but a methodological division of labor.
Summary The article argues thatceteris paribus clauses have to be separated from another type of clauses called closure clauses. The former are associated with laws and theories, the latter with test situations of a particular kind. It is also argued that closure clauses, but notceteris paribus clauses, make Popper's falsifiability principle untenable. In that way, it also resolves the quarrel between Popper and Lakatos aboutceteris paribus clauses and falsifiability by saying that both are partly wrong and partly right.