Natural languages generally distinguishes among different existence predicates for different types of entities, such as English 'exist', 'occur', and 'obtain'. The paper gives an in-depth discussion and analysis of a range of existence predicates in natural language within the general project of descriptive metaphysics, or more specifically ‘natural language ontology’.

Kant said that existence is not a predicate and Russell agreed, arguing that a sentence such as ‘The king of France exists’, which seems to attribute existence to the king of France, really has a logical form that is not reflected in the surface structure of the sentence at all. While the surface form of the sentence consists of a subject and a predicate, the underlying logical form, according to Russell, is the formula given in. This formula obviously (...) has no subjectpredicate form and in fact has no single constituent that corresponds to the verb phrase ‘exists’ in the surface sentence. ∃x∀y The importance of Russell’s analysis becomes clear when we consider ‘The king of France does not exist’. If this sentence would attribute non-existence to the king it should entail that there is someone who does not exist, just as ‘Mary doesn’t like bananas’ entails that there is someone who doesn’t like bananas. Thus the idea that all sentences have subject-predicate form has led some philosophers to the view that there are objects that lack existence. This embarrassing position can be avoided once Russell’s analysis is accepted: if ‘The king of France does not exist’ is formalised as the negation of formula, no unwanted consequences follow. (shrink)

This paper contrasts the scholastic realisms of David Armstrong and Charles Peirce. It is argued that the so-called 'problem of universals' is not a problem in pure ontology (concerning whether universals exist) as Armstrong construes it. Rather, it pertains to which predicates should be applied where, issues which Armstrong sets aside under the label of 'semantics', and which from a Peircean perspective encompass even fundamentals of scientific methodology. It is argued that Peirce's scholastic realism not only presents a more (...) nuanced ontology (distinguishing existence and reality) but also illuminates why scholastic realism is a position worth fighting for. (shrink)

The notion of existence is a very puzzling one philosophically. Often philosophers have appealed to linguistic properties of sentences stating existence. However, the appeal to linguistic intuitions has generally not been systematic and without serious regard of relevant issues in linguistic semantics. This paper has two aims. On the one hand, it will look at statements of existence from a systematic linguistic point of view, in order to try to clarify what the actual semantics of such statements (...) in fact is. On the other hand, it will explore what sort of ontology such statements reflect. The first aim is one of linguistic semantics; the second aim is one of descriptive metaphysics. Philosophically, existence statements appear to reflect the distinction between endurance and perdurance as well as particular notions of abstract states and of kinds. Linguistically, statements of existence involve a particular way of drawing the distinction between eventive and stative verbs and between individual-level and stage-level predicates as well as a particular approach to the semantics of bare plurals and mass nouns. (shrink)

Four accounts, three of them Kantian, of true sentences of the form “ exists” are contrasted. Russell’s theory that such sentences are meaningless is contrasted with two other Kantian theories that are analogous to one another: Frege’s semantic-ascent theory and the Frege-inspired ungerade (indirect, “oblique”) theory. Frege’s objection to the semantic-ascent account of identity is applied, ironically with equal force, against his account of existence. A second argument favoring the ungerade theory is offered. The argument is then refuted through (...) an application of a general strategy suggested by Kripke. A fourth theory, the deeply anti-Kantian existence-as-predicate theory, fully accommodates these results. (shrink)

In this paper I aim to defend a first‐order non‐discriminating property view concerning existence. The version of this view that I prefer is based on negative (or a specific neutral) free logic that treats the existence predicate as first‐order logical predicate. I will provide reasons why such a view is more plausible than a second‐order discriminating property view concerning existence and I will also discuss four challenges for the proposed view and provide solutions to them.

This essay considers Kant’s theory of modality in light of a debate in contemporary modal metaphysics and modal logic concerning the Barcan formulas. The comparison provides a new and fruitful perspective on Kant’s complex and sometimes confusing claims about possibility and necessity. Two central Kantian principles provide the starting point for the comparison: that the possible must be grounded in the actual and that existence is not a real predicate. Both are shown to be intimately connected to the Barcan (...) formulas, and Kant’s views on what he distinguishes as three different kinds of modality are then considered in light of this connection. (shrink)

This paper investigates the connection between two recent trends in philosophy: higher-orderism and conceptual engineering. Higher-orderists use higher-order quantifiers (in particular quantifiers binding variables that occupy the syntactic positions of predicates) to express certain key metaphysical doctrines, such as the claim that there are properties. I argue that, on a natural construal, the higher-orderist approach involves an engineering project concerning, among others, the concept of existence. I distinguish between a modest construal of this project, on which it aims (...) at engineering higher-order analogues of the familiar notion of first-order existence, and an ambitious construal, on which it additionally aims at engineering a broadened notion of existence that subsumes first-order and higher-order existence. After identifying a substantial problem for the ambitious project, I investigate a possible response which is based on adopting a cumulative type theory as the background higher-order logic. While effective against the problem at hand, this strategy turns out to undermine a major reason to embrace higher-orderism in the first place, namely the idea that higher-orderism dissolves a range of otherwise intractable debates in metaphysics. Higher-orderists are therefore best advised to pursue their engineering project on the modest variant and against the background of standard type theory. (shrink)

K denotes both the knowledge predicate satisfied by every currently known theorem and the finite set of all currently known theorems. The set K is time-dependent, publicly available, and contains theorems both from formal and constructive mathematics. Any theorem of any mathematician from past or present forever belongs to K. Mathematical statements with known constructive proofs exist in K separately and form the set K_c⊆K. We assume that mathematical sets are atemporal entities. They exist formally in ZFC theory although their (...) properties can be time-dependent (when they depend on K) or informal. The true statement "K is non-empty" is outside K forever because K is not a formal set. Paul Cohen proved in 1963 that the equality 2^{\aleph_0}=\aleph_1 is independent of ZFC. Before 1963, the statement "There is a known constructively defined integer n⩾1 such that 2^{\aleph_0}=\aleph_n" was outside K. Since 1963, this statement is outside K forever. The true statement "There exists a set X⊆{1,...,49} such that card(X)=6 and X never occurred as the winning six numbers in the Polish Lotto lottery" refers to the current non-mathematical knowledge and is outside K forever. In Martin-Löf's terminology, every currently known theorem is actually true whereas every theorem (known or unknown) is potentially true. Actual truth is knowledge dependent and tensed. Potential truth is knowledge independent and tenseless. Algorithms always terminate. We explain the distinction between algorithms whose existence is provable in ZFC and constructively defined algorithms which are currently known. By using this distinction, we obtain non-trivially true statements on decidable sets X⊆N that belong to constructive and informal mathematics and refer to the current mathematical knowledge on X. For every such statement, its truth concerning the current mathematical knowledge is implied by a true statement of the form: (the conjunction of i conditions of the form α∈K)∧(the conjunction of j conditions of the form β∉K)∧(the conjunction of k conditions of the form γ∈K_c)∧(the conjunction of l conditions of the form δ∉K_c), where i,j,k,l∈N and α,β,γ,δ are mathematical statements. In constructive mathematics and the traditional Brouwerian intuitionism, the truth of a mathematical statement means that we know a constructive proof. Therefore, the truth of a mathematical statement depends on time, where the statement is formally stated in the classical mathematics without the predicate K. In this article, mathematical statements on decidable sets X⊆N refer to time because they refer to the current mathematical knowledge on X. They cannot be formally stated in the classical mathematics without the predicate K and their logical values may change in time. For a set X⊆N whose infiniteness is false or unproven, we define which elements of X are classified as known. No known set X⊆N satisfies Conditions (1)-(4) and is widely known in number theory or naturally defined, where this term has only informal meaning. (1) A known algorithm with no input returns an integer n satisfying card(X)<ω ⇒ X⊆(-∞,n]. (2) A known algorithm for every k∈N decides whether or not k∈X. (3) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(X)=ω" is outside K. (4) There are many elements of X and it is conjectured, though so far unproven, that X is infinite. (5) X is naturally defined. The infiniteness of X is false or unproven. X has the simplest definition among known sets Y⊆N with the same set of known elements. No set X⊆N will satisfy Conditions (1)-(4) forever, if for every algorithm with no input, at some future day, a computer will be able to execute this algorithm in 1 second or less. The physical limits of computation disprove the assumption of the above statement. We prove that the set X={n∈N: the interval [-1,n] contains more than 29.5+(11!/(3n+1))∙sin(n) primes of the form k!+1} satisfies Conditions (1)-(5) except the requirement that X is naturally defined. We present a table that shows satisfiable conjunctions of the form #(Condition1)∧(Condition 2)∧#(Condition 3)∧(Condition 4)∧#(Condition 5), where # denotes the negation ¬ or the absence of any symbol. We prove that there exists a naturally defined set C⊆N which satisfies the following conditions (6)-(11). (6) A known and simple algorithm for every k∈N decides whether or not k∈C. (7) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(C)=ω" is outside K. (8) For every known algorithm A with no input, the statement "A returns the logical value of the statement card(N\C)=ω" is outside K. (9) It is conjectured, though so far unproven, that C is infinite. (10) For every known algorithm A with no input, the statement "A returns an integer n satisfying card(C)<ω ⇒ C⊆(-∞,n]" is outside K. (11) For every known algorithm A with no input, the statement "A returns an integer m satisfying card(N\C)<ω ⇒ N\C⊆(-∞,m]" is outside K. The set C={k∈N: 2^{2^k}+1 is composite} is naturally defined and satisfies conditions (6)-(11). (shrink)

According to what Jonathan Bennett calls the Kant–Frege view of existence, Frege gave solid logical foundations to Kant’s claim that existence is not a real predicate. In this article I will challenge Bennett’s claim by arguing that although Kant and Frege agree on what existence is not, they agree neither on what it is nor on the importance and justification of existential propositions. I identify three main differences: first, whereas for Frege existence is a property of (...) a concept, for Kant it is a relational property pertaining between the concept and intuition of an object. Second, whereas for Frege truth about individuals presupposes their existence, for Kant truth is in many cases independent of the existence of objects. Third, whereas Frege binds logic to existence and removes modalities from logic, for Kant existence is a modal category that is emphatically removed from the domain of logic and set in the core of metaphysics. Due to these differences in Kant’s and Frege’s theories of existence, Frege cannot be seen as giving logical clarity to Kant’s view. (shrink)

In this paper, I will defend the claim that there are three existence properties: the second-order property of being instantiated, a substantive first-order property (or better a group of such properties) and a formal, hence universal, first-order property. I will first try to show what these properties are and why we need all of them for ontological purposes. Moreover, I will try to show why a Meinong-like option that positively endorses both the former and the latter first-order property is (...) the correct view in ontology. Finally, I will add some methodological remarks as to why this debate has to be articulated from the point of view of reality, i.e., by speaking of properties, rather than from the point of view of language, i.e., by speaking of predicates (for such properties). (shrink)

Much debate in contemporary metaphysics of time has centred on whether or not tense is essential to the understanding of a temporal reality. The rival positions in this debate are associated with two very different pictures of the relationship between time and existence. Those who argue for the dispensability of tense see the phenomenon of tense as an epistemological accretion which infects our perception of the world but is in no way essential to a complete description of reality. With (...) respect to existence, things past and future are supposed to be on an equal footing with things present. Thus the Quinean ‘time slice’ ontology, which sees the world as a four-dimensional entity in space-time, repudiates any ontological significance to the differences between past, present and future. For the Quinean, what differences we see between past, present and future existents pertain to our limited mode of access to reality. In a perception which grasped the world as it really is tense differences would have no place. In this respect the Quinean position resembles Spinoza's claim in the Ethics that in so far as the mind conceives a thing under the dictates of reason it is affected equally, whether the idea be of a thing future, past or present. (shrink)

In the course of his philosophy, in various contexts, Kant comes to reject three theses about existence: (i) that the thoroughgoing determination of a thing implies its existence, (ii) that existence is a real predicate or determination of a thing, and (iii) that existence is the complement of inner possibility or essence. Kant’s target here is Baumgarten, who advocates these theses as the criterion, classification, and definition of existence. In this article I seek to clarify (...) Kant’s elusive theory of existence through its opposition to Baumgarten. I will show that Kant’s refutation of (i)–(iii) does not stand alone but is grounded on his own definition of existence as (absolute) positing. Thus contrary to common practice, Kant’s negative claims about what existence is not cannot be understood in isolation but must be taken as jointly dependent on Kant’s positive claim of what existence is. I will show that the theses (i)–(iii) fail because they presuppose that existence contributes to the intension or content of a concept, whereas according to Kant existence in fact posits a (non-empty) extension to the concept. (shrink)

This article identifies and formalizes the logical features of analogous terms that justify their use in deduction. After a survey of doctrines in Aristotle, Aquinas, and Cajetan, the criteria of “analogy of proper proportionality” are symbolized in first-order predicate logic. A common genus justifies use of a common term, but does not provide the inferential link required for deduction. Rather, the respective differentiae foster this link through their identical proportion. A natural-language argument by analogy is formalized so as to exhibit (...) these criteria, thereby showing the validity of analogical deduction. (shrink)

This paper examines the doctrine of existence as a perfection. Examining some of the comments from Leroy Howe, there is an immense amount of confusion with the idea of existence as a perfection. Leaning on some level of the cosmological argument, I believe it is Descartes that brings forth a proper understanding of why existence is a great making property. However, there is a level of irrelevance between the Kantian problem existence as a predicate and the (...) nature of Anselm's argument. (shrink)

The separation of Avicenna between Essence and Existence influenced logic and Arab and Muslim logicians in the Middle Ages among them Ibn al-Nafīs (1208-1288). Under this influence he contributed to the development of logic and especially the theory of the universal term. By means of the consequences of this analysis:-It has become possible to make a distinction between abstract concepts and formal concepts independent of any sensible reality, and hence the questioning of Aristotelian categories, that is to say the (...) ability to conceive for Ibn al-Nafīs like Avicenna, subjects and predicates which are not necessarily words expressing or belonging to one of the Aristotelian categories.-The analysis of the universal proposition as a conditional proposition, which made easier the distinction between absolute proposition which has no existential implication, and the other which differ from the first by an affirmation of explicit existence. (shrink)

Kit Fine has proposed a new solution to what he calls ‘a familiar puzzle’ concerning modality and existence. The puzzle concerns the argument from the alleged truths ‘It is necessary that Socrates is a man’ and ‘It is possible that Socrates does not exist’ to the apparent falsehood ‘It is possible that Socrates is a man and does not exist’. We discuss in detail Fine’s setting up of the ‘puzzle’ and his rejection, with which we concur, of two mooted (...) solutions to it. (One of these uses standard, Kripkean, notions, and the other rests on work done by Arthur Prior.) We set out, and reject, the philosophy of modality underlying Fine’s new solution, and we defend an alternative response to the alleged puzzle. Our solution follows the work of David Wiggins in distinguishing between the sentential operator ‘It is necessary that’ and the predicate modifier ‘necessarily’. We briefly provide this distinction with a possible- world semantics on which it is neither a necessary truth, in some sense, that Socrates exists nor true, in some sense, that Socrates necessarily exists. (shrink)

The thesis that existence is radically different from the determinacy of an actually existing thing –Kant considers this thesis to be the unsurmountable objection against the cosmological and the ontological argument– is the same thesis that demands a specific explanation of the existence of that actually existing thing. The notion of existence that results from its complete exclusion from the realm of the contents thoroughgoing determined by real predicates requires, thus, precisely because this thoroughness excludes it, (...) a specific reason that explains that in the actually existing thing its own actual existence is in fact united with its own determinacy; that notion of existence, however, cancels at the same time the requirement of a sufficient reason of the existence of what actually exists, and again for the same reason, namely, because since existence is as such excluded from the determinacy of the existing things, it radically differs from the specific realm where determinacy is constituted (that is why existing things are thoroughgoing determined as possible), and, therefore, it invalidates any application to itself of the logical laws that are valid only for the merely possible domain of determinacy. (shrink)

A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to hold of an individual just if the individual necessarily has all second order properties which are D we in Section 2 derive the thesis (40) that all properties are D or some individual is G. In Section 3 theorems 1 to 3 suggest (...) a sufficient kinship to Gödelian ontological arguments so as to think of thesis (40) in terms of divine property and Godly being; divine replaces positive with Gödel and others. Thesis (40), the sacred thesis, supports the ontological argument that God exists because some property is not divine. In Section 4 a fixed point analysis is used as diagnosis so that atheists may settle for the minimal fixed point. Theorem 3 shows it consistent to postulate theistic fixed points, and a monotheistic result follows if one assumes theism and that it is divine to be identical with a deity. Theorem 4 (the Monotheorem) states that if Gg and it is divine to be identical with g, then necessarily all objects which are G are identical with g. The impredicative origin of D suggests weakened Gaunilo-like objections that offer related theses for other second order properties and their associated diverse presumptive individual bearers. Nevertheless, in the last section we finesse these Gaunilo-like objections by adopting what we call an apathiatheistic opinion which suggest that the best concepts `God’ allow thorough indifference as to whether God exists or not. (shrink)

The focus of the article is the self-predication principle, according to which the/a such-and-such is such-and-such. We consider contemporary approaches (Frege, Russell, Meinong) to the self-predication principle, as well as fourteenth-century approaches (Burley, Ockham, Buridan). In crucial ways, the Ockham-Buridan view prefigures Russell’s view, and Burley’s view shows a striking resemblance to Meinong’s view. In short the Russell-Ockham-Buridan view holds: no existence, no truth. The Burley-Meinong view holds, in short: intelligibility suffices for truth. Both views approach self-predication in a (...) uniform way. We were unable to find a medieval philosopher who, like Frege, approaches self-predication in a non-uniform way. We do not want to dispute that there are also considerable differences between the contemporary and the fourteenth-century approach to self-predication. Importantly, fourteenth-century accounts of self-predication rely strongly on the identity theory of predication, and this theory is not endorsed by contemporary philosophers of language. Nevertheless, some basic tenets seem to us to be clearly shared between fourteenth-century and contemporary thinkers. (shrink)

The author investigates greek ontologies that apparently rely on a conflation of "binary" (x is f) and "monadic" (x is) uses of 'is'. He uses Aristotelian and other texts to support his proposal that these ontologies are explained by the Greeks using two alternative semantic analyses for 'x is F'. The first views it as asserting a relation between x and F, the second as asserting that a "predicative complex" exists, where a predicative complex is a complex consisting of x (...) and F. The article concludes by indicating some uses for the novel concept of predicative complex in aristotelian interpretation. (shrink)

In this extended critical discussion of 'Kant's Modal Metaphysics' by Nicholas Stang (OUP 2016), I focus on one central issue from the first chapter of the book: Stang’s account of Kant’s doctrine that existence is not a real predicate. In §2 I outline some background. In §§3-4 I present and then elaborate on Stang’s interpretation of Kant’s view that existence is not a real predicate. For Stang, the question of whether existence is a real predicate amounts to (...) the question: ‘could there be non-actual possibilia?’ (p.35). Kant’s view, according to Stang, is that there could not, and that the very notion of non-actual or ‘mere’ possibilia is incoherent. In §5 I take a close look at Stang’s master argument that Kant’s Leibnizian predecessors are committed to the claim that existence is a real predicate, and thus to mere possibilia. I argue that it involves substantial logical commitments that the Leibnizian could reject. I also suggest that it is danger of proving too much. In §6 I explore two closely related logical commitments that Stang’s reading implicitly imposes on Kant, namely a negative universal free logic and a quantified modal logic that invalidates the Converse Barcan Formula. I suggest that each can seem to involve Kant himself in commitment to mere possibilia. (shrink)

It is surprisingly hard to define presentism. Traditional definitions of the view, in terms of tensed existence statements, have turned out not to to be capable of convincingly distinguishing presentism from eternalism. Picking up on a recent proposal by Tallant, I suggest that we need to locate the break between eternalism and presentism on a much more fundamental level. The problem is that presentists have tried to express their view within a framework that is inherently eternalist. I call that (...) framework the Fregean nexus, as it is defined by Frege’s atemporal understanding of predication. In particular, I show that the tense-logical understanding of tense which is treated as common ground in the debate rests on this very same Fregean nexus, and is thus inadequate for a proper definition of presentism. I contrast the Fregean nexus with what I call the original temporal nexus, which is based on an alternative, inherently temporal form of predication. Finally, I propose to define presentism in terms of the original temporal nexus, yielding original presentism. According to original presentism, temporal propositions are distinguished from atemporal ones not by aspects of their content, as they are on views based on the Fregean nexus, but by their form—in particular, by their form of predication. (shrink)

Usage of the Greek verb ‘to be’ is generally divided into three broad categories — the predicative use, the existential and the veridical—and these usages often inform the way we understand Being in ancient philosophy. This article challenges this approach by arguing that Being is not the product of linguistic reflection in Parmenides, Plato and Aristotle; rather, these thinkers treat Being as the ontological and epistemological primary. Though this may overlap with the linguistic senses, it is not the same thing. (...) The article is divided into three sections: the first one raises several basic issues with the predicative interpretation of Being, the second argues that Being is unified and singular in a significant sense and the third brings out the special pre-immanence of Being. (shrink)

This chapter discusses ontological commitment to properties, understood as ontological correlates of predicates. We examine the issue in four metaontological settings, beginning with an influential Quinean paradigm on which ontology concerns what there is. We argue that this naturally but not inevitably avoids ontological commitment to properties. Our remaining three settings correspond to the most prominent departures from the Quinean paradigm. Firstly, we enrich the Quinean paradigm with a primitive, non-quantificational notion of existence. Ontology then concerns what exists. (...) We argue that this strengthens the Quinean case against ontological commitment to properties while also newly distinguishing between stronger and weaker forms of nominalism. Secondly, we enrich the Quinean paradigm with the ideology of fundamentality. Ontology then centrally concerns what’s fundamental. We argue that this leaves ontological commitment to properties wide open although Bradleyan regress threatens. Thirdly, we enrich the Quinean paradigm with primitive higher-order quantifiers. Ontology then expands to concern what there higher-order is and what there first-order is. We argue that this naturally but not inevitably incurs ontological commitment to properties. (shrink)

Øystein Linnebo has recently shown that the existence of successors cannot be proven in predicative Frege arithmetic, using Frege’s definitions of arithmetical notions. By contrast, it is shown here that the existence of successor can be proven in ramified predicative Frege arithmetic.

Neste ensaio, discutem-se cinco questões acerca da existência: 1. É a existência representável em termos de quantificação? 2. É a existência um predicado" real", de primeira ordem? 3. É existir o mesmo que ser? 4. Existe tudo? 5. Qual é a forma lógica de afirmações de existência? São introduzidas e examinadas algumas das mais salientes posições acerca destas questões, em especial a concepção Frege-Russell da existência e diversas concepções recentes neo-Meinongianas. Defendemos as seguintes três teses acerca daquilo que deve ser (...) um bom predicado de existência:(a) um predicado puramente lógico e parcialmente definível em termos do quantificador existencial;(b) invariavelmente um predicado de primeira ordem (dadas certas suposições de partida acerca do universo do discurso);(c) um predicado universal, verdadeiro de tudo e falso de nada. (shrink)

Berkeley argues that claims about divine predication (e.g., God is wise or exists) should be understood literally rather than analogically, because like all spirits (i.e., causes), God is intelligible only in terms of the extent of his effects. By focusing on the harmony and order of nature, Berkeley thus unites his view of God with his doctrines of mind, force, grace, and power, and avoids challenges to religious claims that are raised by appeals to analogy. The essay concludes by showing (...) how a letter, supposedly by Berkeley, to Peter Browne ("discovered" in 1969 by Berman and Pittion) is, in fact, by John Jackson (1686-1763), controversial theologian and friend of Samuel Clarke. (shrink)

Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in (...) the course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

Revised and reprinted; originally in Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer 133-251. -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in (...) the course of discussing generality, quantifying-in, learnability, referential semantics, nominalism, conceptualism, realism, type-freedom, the first-order/higher-order controversy, names, indexicals, descriptions, Mates’ puzzle, and the paradox of analysis. Two first-order intensional logics are then formulated. Finally, fixed-point type-free theories of predication are discussed, especially their relation to the question whether properties may be identified with propositional functions. (shrink)

In his groundbreaking work of 1969, Spinoza's Metaphysics: An Essay in Interpretation, Edwin Curley attacked the traditional understanding of the substance-mode relation in Spinoza, which makes modes inhere in the substance. Curley argued that such an interpretation generates insurmountable problems, as had been already claimed by Pierre Bayle in his famous entry on Spinoza. Instead of having the modes inhere in the substance Curley suggested that the modes’ dependence upon the substance should be interpreted in terms of (efficient) causation, i.e., (...) as committing Spinoza to nothing over and above the claim that the substance is the (efficient) cause of the modes. These bold and fascinating claims generated one of the most important scholarly controversies in Spinoza scholarship of the past thirty-five years. In this chapter I argue against Curley’s interpretation and attempt to reestablish the traditional understanding of Spinozistic modes as inhering in God and as predicated of God. I also criticize Curley’s philosophical motivation for suggesting this interpretation. I do believe, however, that Curley is right about the existence of an intimate connection between the substance-mode relation and causation in Spinoza. In the next chapter I will study the notion of ‘immanent cause’, which merges efficient causality and inherence. I will clarify the relation between immanent, efficient and material causation, and show where precisely Spinoza diverged from the traditional Aristotelian taxonomy of causes. In the second chapter I also discuss the German Idealists’ view of Spinoza as an ‘acosmist’. Under this interpretation Spinoza was a modern reviver of Eleatic monism, who allegedly asserts the mere existence of God, and denies the reality of the world of particular things. Spinozistic modes - according to this reading - are nothing but passing and unreal phenomena. Though this view of Spinoza as an ‘acosmist’ can be supported by some lines in Spinoza’s thought, I believe it should be rejected since it is not consistent with some of the most central doctrines of the Ethics. In the final part of the second chapter I discuss the relation between modes and the attributes under which they fall, and suggest a terminological distinction between a ‘mode of God’ (i.e., a mode under all attributes) and a ‘mode of an attribute’ (i.e., a mode under a specific attribute), a distinction which can help us avoid some common confusions in the treatment of the issue. (shrink)

The article examines Kant's various criticisms of the broadly Cartesian ontological argument as they are developed in the Critique of Pure Reason. It is argued that each of these criticisms is effective against its intended target, and that these targets include—in addition to Descartes himself—Leibniz, Wolff, and Baumgarten. It is argued that Kant's most famous criticism—the charge that being is not a real predicate—is directed exclusively against Leibniz. Kant's argument for this thesis—the argument proceeding from his example of a hundred (...) thalers—although it may seem to beg the question, in fact succeeds against Leibniz. It does so because the charge of begging the question can be rebutted if one makes certain Leibnizian assumptions. (shrink)

‘Quantified pure existentials’ are sentences (e.g., ‘Some things do not exist’) which meet these conditions: (i) the verb EXIST is contained in, and is, apart from quantificational BE, the only full (as against auxiliary) verb in the sentence; (ii) no (other) logical predicate features in the sentence; (iii) no name or other sub-sentential referring expression features in the sentence; (iv) the sentence contains a quantifier that is not an occurrence of EXIST. Colin McGinn and Rod Girle have alleged that standard (...) first-order logic cannot adequately deal with some such existentials. The article defends the view that it can. (shrink)

The general topic of this paper is the ontological commitment to so-called "fictitious objects", that is, things and characters of fictional stories, like Sherlock Holmes and Pegasus. Discourse about fiction seems to entail an ontological commitment to fictitious entities, a commitment that is often deemed inconsistent with empirical facts. For instance, "Pegasus is a flying horse" seems to entail "There are flying horses" as well as "Pegasus exists" (according to some widely accepted logical principles). I discuss two solutions that have (...) been proposed in the literature. The first one amounts to rejecting sentences like "Pegasus is a flying horse" as false, at least if they are taken at face value. This solution is called the "story operator strategy". It consists in paraphrasing sentences like "Pegasus is a flying horse" by means of the expression "according to a story" such that they are interpreted as an elliptic formulation of, e.g., "According to a story, Pegasus is a flying horse". I spell out the difficulties of the story operator strategy and opt for a realist ontology of fiction. A novel interpretation of the story operator "according to a story" is given, which is not only consistent with but even sheds new light on such a realist ontology. In particular, it is shown how the story operator can be used as a tool to introduce the so-called "modes of predication distinction" (which is an essential ingredient of many realist ontologies of fiction) in a commonsensical way. (shrink)

The quest to understand the natural and the mathematical as well as philosophical principles of dynamics of life forms are ancient in the human history of science. In ancient times, Pythagoras and Plato, and later, Copernicus and Galileo, correctly observed that the grand book of nature is written in the language of mathematics. Platonism, Aristotelian logism, neo-realism, monadism of Leibniz, Hegelian idealism and others have made efforts to understand reasons of existence of life forms in nature and the underlying (...) principles through the lenses of philosophy and mathematics. In this paper, an approach is made to treat the similar question about nature and existential life forms in view of mathematical philosophy. The approach follows constructivism to formulate an abstract model to understand existential life forms in nature and its dynamics by selectively combining the elements of various schools of thoughts. The formalisms of predicate logic, probabilistic inference and homotopy theory of algebraic topology are employed to construct a structure in local time-scale horizon and in cosmological time-scale horizon. It aims to resolve the relative and apparent conflicts present in various thoughts in the process, and it has made an effort to establish a logically coherent interpretation. (shrink)

The article analyzes cultural constructivism as one of the ways of a conceptual representation of historical reality. The connection between cultural constructivism as an epistemological position and cultural predication as a procedure of historical discourse is substantiated. The main focus is on the constructive function of cultural prediction in historical discourse. Constructivism as the position, behind which reality is the construction of consciousness is opposed to realism – the position in which thought or language reflect objectively existing and independent of (...) consciousness reality. When constructed reality corresponds to objective reality, constructivism acquires thе status of constructive realism. The classification of constructivism was proposed, according to which it is divided into epistemological, social and cultural. It is noted that cultural constructivism and cultural predication form the constructivist paradigm of historical discourse. (shrink)

Thomasson’s easy ontology approach (2015) aims at deflating existence questions through a revival of Carnap’s (1950) distinction between internal and external questions. Importantly, her account depends on an analysis of the ordinary meaning of ‘exist(s)’ as a second-order predicate. I do two things in this paper. First, I show that Thomasson’s analysis fails to do justice to the complexity of the English predicate ‘exist(s)’. Against Thomasson, I argue that there are cases in which ‘exist(s)’ functions as a first-order predicate. (...) Because these cases were first noted by P.F. Strawson (1967), I will call them ‘Strawson-cases’. Secondly, I argue that these counterexamples give some support to (i) more substantive theories about existence as well as (ii) accounts that treat ‘exist(s)’ as varying in meaning. (shrink)

Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) issue-based theory—a novel and natural entry in the atom-based tradition that meets our constraints. In a coda, I categorize a recent theory from Fine as atom-based, and contrast it to the issue-based theory, concluding that they are evenly matched, relative to our main criteria of adequacy. I offer tentative reasons to nevertheless favour the issue-based theory. (shrink)

Aristotle and William of Ockham both argue that existence or being is a predicate, though not a distinguishing predicate. I place Ockham’s argument in an Aristotelian context and discuss its merits. I then turn to empiricist criticisms of the view that we can coherently predicate being of things. I argue that while Ockham’s argument is cogent, his account of how we come to have the concept of being is inadequate. Ockham’s view needs to be supplemented with Kantian insights.

Leibniz claims that for every possible substance S there is an individual concept that includes predicates describing everything that will ever happen to S, if S existed. Many commentators have thought that this leads Leibniz to think that all properties are had essentially, and thus that it is not metaphysically possible for substances to be otherwise than the way their individual concept has them as being. I argue against this common way of reading Leibniz’s views on the metaphysics of (...) modality. I develop a model in which individual concepts are innocent; that is, individual concepts are divine ideas that permit God to know everything that will ever happen to all possible substances, if created, but these individual concepts neither require that all properties are had essentially nor require that it is metaphysically necessary for substances to be the way their individual concepts have them as being. (shrink)

Through a series of empirical studies involving native speakers of English, German, and Chinese, this paper reveals that the predicate “true” is inherently ambiguous in the empirical domain. Truth statements such as “It is true that Tom is at the party” seem to be ambivalent between two readings. On the first reading, the statement means “Reality is such that Tom is at the party.” On the second reading, the statement means “According to what X believes, Tom is at the party.” (...) While there appear to exist some cross-cultural differences in the interpretation of the statements, the overall findings robustly indicate that “true” has multiple meanings in the realm of empirical matters. (shrink)

In the Transcendental Dialectic (KrV, A 599-560/B 627-628), Kant presents the argument of the hundred talers as a concrete example of his general claim against conceiving existence as a real predicate. According to Kant, the content of concepts can be completely determined as merely possible content; in the existential judgment, the subject then relates the completely determined content of his internal thoughts with perception: it is only through perception that the subject knows the content of his concepts as real (...) things of the world. Thus, although in his epistemology conceptual activity plays a crucial role in perceptual activity, Kant still offers an empiricist account of empirical knowledge. Hegel criticizes Kant´s theory of perception by distinguishing representation (Vorstellen) from comprehension (Begreifen) and by developing on that basis a more complex theory of the relation between concept, existence, and empirical knowledge. From the standpoint of representation, concept and existence, being-determined and being-real exclude each other; in comprehension, on the contrary, representation and perception are no longer unilateral forms of knowing: for the mind that comprehends what it perceives, the existence of what it perceives is –when abstractly considered as such– only a collateral product of the way it knows the real world. According to Hegel, comprehension develops the internal necessity of the contents of knowledge and, by doing so, grasps the individual objects that constitute our world. (shrink)

First, I will discuss several reasons as to why there is still almost a reluctance to reading Kant’s philosophy in the context of the scholastic tradition. The focus will be on (i) the label “revolutionary” often attached to Kant’s thought thereby suggesting a radical break with the past, especially with regard to philosophers often perceived as conservative, and (ii) the issue of confessional ramifications (not unrelated to the first point) will also be touched upon, albeit briefly. Then, two examples will (...) be investigated with regard to which a recourse to this context provides important clues to the philosophical points at issue. These are Kant’s claims that on the one hand, existence is not a real predicate, and on the other, that appearances are nothing but representations. (shrink)

Há alguns anos atrás, algumas pessoas acreditavam que a tese de que a existência não é um predicado, uma tese defendida por autoridades como Gottlob Frege e Bertrand Russell, era um dos traços distintivos da chamada filosofia analítica. Que uma tal crença é afinal falsa pode ser tomado como mais um sinal da vitalidade e do anti-dogmatismo que caracterizam em geral a tradição analítica; e o mesmo se aplica a quaisquer outras crenças do género, que comprometam esta tradição com teses (...) filosóficas substantivas. O meu propósito neste ensaio é duplo. Por um lado, descrevo o estado actual da questão relativamente ao venerável tópico da existência, caracterizando e examinando as principais teorias disponíveis. Por outro, argumento a favor de um ponto de vista específico sobre o tópico. Esse ponto de vista consiste na conjunção das seguintes três teses: (F) Não há objectos não-existentes; (H*) A existência é um predicado; e (H**) As afirmações de existência não são uniformes quanto à forma lógica, tendo por vezes a forma de quantificações existenciais e por vezes a forma de predicações monádicas de primeira ordem. (shrink)

Pańcāstikāya-samgraha or Pańcāstikāya-sāra (known briefly as Pańcāstikāya and spelled commonly as Panchastikay) is one of the four most important and popular works of Ācārya Kundakunda (circa first century B.C.), the other three being Samayasāra, Pravacanasāra and Niyamasāra. The original text is in Prakrit language and contains a total of 173 verses (gāthā). Pańcāstikāya means ‘five-substances-with-bodily-existence’ and these are: the soul (jīva), the physical-matter (pudgala), the medium-of-motion (dharma), the medium-of-rest (adharma), and the space (ākāśa). These five substances collectively constitute the (...) universe-space (loka). Outside this universe-space (loka) is the infinite non-universe-space (aloka), comprising just the pure space (ākāśa). The substance-of-time (kāla dravya) which renders assistance to all substances in their continuity of being through gradual changes is not an ‘astikāya’ since it occupies a single space-point and, therefore, does not possess the characteristic of body (kāya). Pańcāstikāya-samgraha expounds the Jaina metaphysics – the philosophy of being and knowing – including the nature of the pure soul-substance (jīvāstikāya) which is integral to the seven realities (tattva), the nine objects (padārtha), and the six substances (dravya). While the substance (dravya) never leaves its essential character of existence (sattā), it undergoes origination (utpāda), destruction (vyaya) and permanence (dhrauvya). There is inseparable association between the qualities (guņa) and the substance (dravya). The discussion relies on the ‘doctrine of conditional predication’ (syādvāda) and the ‘seven-nuance system’ (saptabhańgī), as expounded by Lord Jina. (shrink)

In addition to novelty and relevance, interdisciplinarity seems to be an imperative predicate in the scientific works carried out in Indonesia. Unfortunately, research on the interdisciplinarity itself, particularly from the perspective of philosophy of science, either descriptive or normative, i.e., what and how interdisciplinary has been (and should be) done is still a desideratum. Through database and normative-philosophical analysis, this article shows that most of the interdisciplinary works hitherto carried out are either additive or interpretative/take-over in nature. Such works would (...) be bad scientific practices. Good interdisciplinary works presuppose the existence of interdisciplinary material objects and their formal ones. These normative requirements, however, lead to a dilemma which should be faced by those who work interdisciplinarily. (shrink)

W. V. Quine’s criterion of ontological commitment is commonly presented as the slogan: “to be is to be the value of a variable”. More specifically, to be is to be in the domain of values of a bound variable attached to a existential quantifier in the body of a theory. If a sentence of our best available theory quantifies over bachelors, so we conclude that, according to it, there are bachelors. Simplicity and the use of logical apparatus for determining this (...) criterion are responsible for many philosophers to adhere to this standpoint within analytical metaphysics. I will argue that despite this strong influence of the Quinean criterion of ontological commitment in many debates, we find at least three interlinked problems in its original formulation: (1) The criterion depends of a clear definition of theory for the determination of the quantifications counting as entailers of ontological commitments. However, Quine does not present such clear concept of what would be a theory and of how to formalize it. Quine develops this notion under just the metaphor of the knowledge fabric, in which we have a group of sentences, which does not suffice for the required account of ontological commitment. (2) There are distinct possibilities of quantifying over given sentences, which leaves room for different ontological commitments associated with the same statement. In that sense, someone could argue that the Quinean solution would be to endorse just the first order predicate logic. Nonetheless, the Quinean should explain why we ought to be restricted to this logic. (3) The previous problems lead to a possible explosion of the Quinean criterion of ontological commitment, making it trivial, because it permits the quantification over any supposed entities and, hence, that anything can exist. Thus, I will discuss Quine’s criterion of ontological commitment in the light of the abovementioned problems, showing that, unless the Quinean presents a more specific definition of theory beyond just a group of sentences, he leads to an explosion of commitments with different entities. I will conclude that, if you understand ‘theory’ as Alonzo Church’s concept of ‘formalized language’, this knot can be undone. However, Church’s concept is much more akin to Carnap’s linguistic framework than to a notion of knowledge fabric “without borders” as the one proposed by Quine. (shrink)

Kant claims that existence is not a real predicate that can be added to the concept of a thing, but that it is the mere positing of the thing. Kant considers this thesis to be evident for itself and therefore thinks that its rejection is the result of an " over-subtle argumentation ". In this paper I will show that the claim that existence is the positing of the content of mental concepts, far from being evident, rests on (...) numerous philosophical presuppositions. In this regard, I will defend the claim that the thought experiment of the nothingness of the existing world is what leads Kant to conceive existence as absolute positing. Furthermore, I will try to show that it is possible to accept the claim that existence is not a real predicate, without having to accept at the same time that it is the positing of the concept. With this purpose in view, I will focus specifically on Hegel´s claim that, in the general frame of a radically antiempiricist and coherentist epistemology, being resolves and dissolves into the determinate concept of the objects of knowledge. (shrink)

● Sergio Cremaschi, The non-existing Island. I discuss the way in which the cleavage between the Continental and the Anglo-American philosophies originated, the (self-)images of both philosophical worlds, the converging rediscoveries from the Seventies, as well as recent ecumenic or anti-ecumenic strategies. I argue that pragmatism provides an important counter-instance to both the familiar self-images and to the fashionable ecumenic or anti-ecumenic strategies. My conclusions are: (i) the only place where Continental philosophy exists (as Euro-Communism one decade ago) is America; (...) (ii) less obviously, also analytic philosophy does not exist, or does no more exist as a current or a paradigm; what does exist is, on the one hand, philosophy of language and, on the other, philosophy of mind, that is, two disciplines; (iii) the dissolution of analytic philosophy as a school has been extremely fruitful, precisely in so far as it has left room for disciplines and research programmes; (iv) what is left, of the Anglo-American/Continental cleavage is primarily differences in styles, depending partly on intellectual traditions, partly owing to sociology, history, institutional frameworks; these differences should not be blurred by rash ecumenism; besides, theoretical differences are alive as ever, but within both camps; finally, there is indeed a lag (not a difference) in the appropriation of intellectual techniques by most schools of 'Continental' philosophy, and this should be overcome through appropriation of what the best 'analytic' philosophers have produced. ● Michael Strauss, Language and sense-perception: an aspect of analytic philosophy. To test an assertion about one fact by comparing it with perceived reality seems quite unproblematic. But the very possibility of such a procedure is incompatible with the intellectualistic basis of logical positivism and atomism (as it is for example to be found in Russell's Analysis of Mind). According to the intellectualistic approach pure sensation is meaningless. Sensation receives its meaning and order from the intellect through interpretation, which is performed with the help of linguistic tools, i.e. words and sentences. Before being interpreted, sensation is not a picture or a representation, it is neither true nor false, neither an illusion nor knowledge; it does not tell us anything; it is a lifeless and order-less matter. But how can a thought (or a proposition) be compared with such a lifeless matter? This difficulty confronts the intellectualist, if on the one hand he admits the necessity of comparing thought with sense-perception, and on the other hand presupposes that we possess only intellectual and no immediate perceptual understanding of what we see and hear. In this paper I give a critical exposition of three attempts, made by Russell, Neurath and Wittgenstein, to solve this problem. The first attempt adheres to strict conventionalism, the second tends to naturalism and the third leads to an amended, very moderate version of conventionalism. This amended conventionalism looks at sense impressions as being a peculiar language, which includes primary symbols, i.e. symbols not founded on convention and not being in need of interpretation. ● Ernst Tugendhat, Phenomenology and language analysis. The paper, first published in German in 1970, by which Tugendhat gave a start to the German rediscovery of analytic philosophy. The author stages a confrontation between phenomenology and language analysis. He argues that language analysis does not differ from phenomenology as far as the topics dealt with are concerned; instead, both currents are quite different in method. The author argues that language-analytic philosophy does not simply lay out of the mainstream of transcendental philosophy, but that instead it challenges this tradition on the very level of foundations. The author criticizes the linguistic-analytic approach centred on the subject as well as any object-centred approach, while proposing inter-subjective understanding through language as the new universal framework. This is, when construed in so general terms, the same program of hermeneutics, though in a more basic version. ● Jürgen Habermas, Language game, intention and meaning. On a few suggestions by Sellars and Wittgenstein. The paper, first published in German in 1975, in which Habermas announces his own linguistic turn through a discovery of speech acts. In this essay the author wants to work out a categorical framework for a communicative theory of society; he takes Wittgenstein's concept of language game as a Leitfade and, besides, he takes advantage also of Wilfried Sellars's quasi-transcendental account of the genesis of intentionality. His goal is to single out the problems connected with a theory of consciousness oriented in a logical-linguistic sense. ● Zvie Bar-On, Isomorphism of speech acts and intentional states. This essay presents the problem of the formal relationship between speech acts and intentional states as an essential part of the perennial philosophical question of the relation between language and thought. I attempt to show how this problem had been dealt with by two prominent philosophers of different camps in our century, Edmund Husserl and John Searle. Both of them wrote extensively about the theory of intentionality. I point out an interesting, as it were unintended, continuity of their work on that theory. Searle started where Husserl left off 80 years earlier. Their meeting point could be used as the first clue in our search. They both adopted in effect the same distinction between two basic aspects of the intentional experience: its content or matter, and its quality or mode. Husserl did not yet have the concept of a speech act as contradistinguished from an intentional state. The working hypothesis, however, which he suggested, could be used as a second clue for the further elaboration of the theory. The relationship of the two levels, the mental and the linguistic, which remained for Husserl in the background only, became the cornerstone of Searle' s inquiry. He employed the speech act as the model and analysed the intentional experience by means of the conceptual apparatus of his own theory of speech acts. This procedure enabled him to mark out a number of parallelisms and correlations between the two levels. This procedure explains the phenomenon of the partial isomorphism of speech acts and intentional states. ● Roberta de Monticelli, Ontology. A dialogue among the linguistic philosopher, the naturalist, and the phenomenological philosopher. This paper proposes a comparison between two main ways of conceiving the role and scope of that fundamental part of philosophy (or of "first" philosophy) which is traditionally called "ontology". One way, originated within the analytic tradition, consists of two main streams, namely philosophy of language and (contemporary) philosophy of mind, the former yielding "reduced ontology" and the latter "neo-Aristotelian ontology". The other way of conceiving ontology is exemplified by "phenomenological ontology" (more precisely, the Husserlian, not the Heideggerian version). Ontology as a theory of reference ("reduced" ontology, or ontology as depending on semantics) is presented and justified on the basis of some classical thesis of traditional philosophy of language (from Frege to Quine). "Reduced ontology" is shown to be identifiable with one level of a traditional, Aristotelian ontology, namely the one which corresponds to one of the four "senses of being" listed in Aristotle's Metaphysics: "being" as "being true". This identification is justified on the basis of Franz Brentano's "rules for translation" of the Aristotelian table of judgements in terms of (positive and negative) existential judgments such as are easily translatable into sentences of first order predicate logic. The second part of the paper is concerned with "neo-Aristotelian ontology", i.e. with naturalism and physicalism as the main ontological options underlying most of contemporary discussion in the philosophy of mind. The qualification of such options as "neo-Aristotelian" is justified; the relationships between "neo-Aristotelian ontology" and "reduced ontology" are discussed. In the third part the fundamental tenet of "phenomenological ontology" is identified by the thesis that a logical theory of existence and being does capture a sense of "existing" and "being" which, even though not the basic one, is grounded in the basic one. An attempt is done of further clarifying this "more basic" sense of "being". An argument making use of this supposedly "more basic" sense is advanced in favour of a "phenomenological ontology". ● Kuno Lorenz, Analytic Roots in Dialogic Constructivism. Both in the Vienna Circle ad in Russell's early philosophy the division of knowledge into two kinds (or two levels), perceptual and conceptual, plays a vital role. Constructivism in philosophy, in trying to provide a pragmatic foundation - a knowing-how - to perceptual as well as conceptual competences, discovered that this is dependent on semiotic tools. Therefore, the "principle of method" had to be amended by the "principle of dialogue". Analytic philosophy being an heir of classical empiricism, conceptually grasping the "given", and constructive philosophy being an heir of classical rationalism, perceptually providing the "constructed", merge into dialogical constructivism, a contemporary development of ideas derived especially from the works of Charles S. Peirce (his pragmatic maxim as a means of giving meaning to signs) and of Ludwig Wittgenstein (his language games as tools of comparison for understanding ways of life). 7. Albrecht Wellmer, "Autonomy of meaning" and "principle of charity" from the viewpoint of the pragmatics of language. In this essay I present an interpretation of the principle of the autonomy of meaning and of the principle of charity, the two main principles of Davidson's semantic view of truth, showing how both principles may fit in a perspective dictated by the pragmatics of language. I argue that (I) the principle of the autonomy of meaning may be thoroughly reformulated in terms of the pragmatics of language, (ii) the principle of charity needs a supplement in terms of pragmatics of language in order to become really enlightening as a principle of interpretation. Besides, I argue that: (i) on the one hand, the fundamental thesis of Habermas on the pragmatic theory of meaning ("we understand a speech act when we know what makes it admissible") is correlated with the seemingly intentionalist thesis according to which we understand a speech act when we know what a speaker means; (ii) on the other hand, to say that the meaning competence of a competent speaker is basically a competence about a potential of reasons (or also of possible justifications) which is inherently connected with the meaning of statements, or with their use in utterances. ● Rüdiger Bubner, The convergence of analytic and hermeneutic philosophy This paper argues that the analytic philosophy does not exist, at least as understood by its original programs. Differences in the analytic camp have always been bigger than they were believed to be. Now these differences are coming to the fore thanks to a process of dissolution of dogmatism. Philosophical analysis is led by its own inner logic towards questions that may be fairly qualified as hermeneutic. Recent developments in analytic philosophy, e.g. Davidson, seem to indicate a growing convergence of themes between philosophical analysis and hermeneutics; thus, the familiar opposition of Anglo-Saxon and Continental philosophy might soon belong to history. The fact of an ongoing appropriation of analytical techniques by present-day German philosophers may provide a basis for a powerful argument for the unity of philosophizing, beyond its strained images privileging one technique of thinking and rejecting the remainder. Actual philosophical practice should take the dialogue between the two camps more seriously; in fact, the processes described so far are no danger to philosophical work. They may be a danger for parochial approaches to philosophizing; indeed, contrary to what happens in the natural sciences, Thomas Kuhn's "normal science" developing within the framework of one fixed paradigm is not typical for philosophical thinking. And in philosophy innovating revolutions are symptoms more of vitality than of crisis. ● Karl-Otto Apel, The impact of analytic philosophy on my intellectual biography. In my paper I try to reconstruct the history of my Auseinandersetzung mit - as I called it - "language-analytical" philosophy (including even Peircean semiotics) since the late Fifties. The heuristics of my study was predetermined by two main motives of my beginnings: the hermeneutic turn of phenomenology and the transformation of "transcendental philosophy" in the light of the "language a priori". Thus, I took issue with the early and the later Wittgenstein, logical positivism, and post-Wittgensteinian and post-empiricist philosophy of science (i.e. G.H. von Wright and the renewal of the "explanation vs understanding controversy" as well as the debate between Th. Kuhn and Popper/Lakatos); besides, with speech act theory and the debate about "transcendental arguments" since Strawson. The "pragmatic turn", started already by C.L. Morris and the later Carnap, led me to study also the relationship between Wittgensteinian "use" theory of meaning and of truth. This resulted on my side in something like a program of "transcendental semiotics", i.e. "transcendental pragmatics" and "transcendental hermeneutics". ● Ben-Ami Scharfstein, A doubt on both their houses: the blindness to non-western philosophies. The burden of my criticism is that contemporary European philosophers of all kinds have continued to think as if there were no true philosophy but that of the West. For the most part, the existentialists have been oblivious of their Eastern congeners; the hermeneuticians have yet to stretch their horizons beyond the most familiar ones; and the analysts remain unaware of the analyses and linguistic sensitivities of the ancient non-European philosophers. Briefly, ignorance still blinds almost all contemporary Western philosophers to the rich, variegated philosophical traditions outside of their familiar orbit. Both Continental and Anglo-Americans have lost the breadth of view that once characterized such thinkers as Herder and the Humboldts. The blindness that has resulted is not simply that of individual Western philosophers but of our whole, still parochial philosophical culture. (shrink)

"Berkeley’s Doctrine of Existence. A Linguistic Approach" The paper focuses on a linguistic analysis of Berkeley’s doctrine of existence. It has been shown that the traditional, relational-operational interpretation of Berkeley's existential claims must be expanded by adding a predicative element, which requires that they also be interpret as definitional copulas. The standard interpretation of Berkeley’s claims has been indicated as one of the main causes of misinterpretations of his metaphysics. The new, philosophically intriguing use of the verb ‘to (...) be’, combining features of the definitional copula and the auxiliary verb for the passive voice, is also described in this paper. (shrink)