Logic is usually thought to concern itself only with features that sentences and arguments possess in virtue of their logical structures or forms. The logical form of a sentence or argument is determined by its syntactic or semantic structure and by the placement of certain expressions called “logical constants.”[1] Thus, for example, the sentences Every boy loves some girl. and Some boy loves every girl. are thought to differ in logical form, even though they share a common syntactic and semantic (...) structure, because they differ in the placement of the logical constants “every” and “some”. By contrast, the sentences Every girl loves some boy. and Every boy loves some girl. are thought to have the same logical form, because “girl” and “boy” are not logical constants. Thus, in order to settle questions about logical form, and ultimately about which arguments are logically valid and which sentences logically true, we must distinguish the “logical constants” of a language from its nonlogical expressions. (shrink)

In a growing number of papers, one encounters arguments to the effect that certain philosophical views are objectionable because they would imply that there are necessary truths for whose necessity there is no explanation. That is, they imply that there are propositions p such that (a) it is necessary that p, but (b) there is no explanation why it is necessary that p. For short, they imply that there are “brute necessities.” Therefore, the arguments conclude, the views in question should (...) be rejected in favor of rival views under which the necessities would be explained. This style of argument raises a number of important and difficult questions. Do necessary truths really require explanation? Are they not paradigms of truths that either need no explanation or automatically have one, being in some sense self‐explanatory? If some necessary truths do require or admit of explanation, what types of explanation, are available? Are some necessary truths explained by other necessary truths? Are some necessary truths self‐explanatory? Are all necessary truths either self‐explanatory or explained by others? Or are there some necessary truths that are truly brute? This article surveys several representative arguments from brute necessity as well as a variety of answers to the questions above, noting their bearing on arguments from bruteness. (shrink)

The use of the symbol ∨for disjunction in formal logic is ubiquitous. Where did it come from? The paper details the evolution of the symbol ∨ in its historical and logical context. Some sources say that disjunction in its use as connecting propositions or formulas was introduced by Peano; others suggest that it originated as an abbreviation of the Latin word for “or,” vel. We show that the origin of the symbol ∨ for disjunction can be traced to Whitehead and (...) Russell’s pre-Principia work in formal logic. Because of Principia’s influence, its notation was widely adopted by philosophers working in logic (the logical empiricists in the 1920s and 1930s, especially Carnap and early Quine). Hilbert’s adoption of ∨ in his Grundzüge der theoretischen Logik guaranteed its widespread use by mathematical logicians. The origins of other logical symbols are also discussed. (shrink)

Leibniz's principle of sufficient reason (PSR) is the claim that everything has a sufficient reason. But is Leibniz committed to the necessity or to the contingency of his great principle? I argue that Leibniz is committed to its contingency, given that he allows for the absolute possibility of entities that he claims violate the PSR. These are all cases of qualitatively indiscernible entities, such as indiscernible atoms, vacua, and bodies. However, Leibniz's commitment to the contingency of the PSR seems to (...) stand in tension with his inference of the PSR from his theory of truth. I argue that this apparent tension can be resolved satisfactorily. When it comes to his modal views on the PSR, Leibniz's position is entirely consistent. (shrink)

This paper explores the theory of freedom that Emilie du Châtelet advances in her essay “On Freedom.” Using contemporary terminology, we can characterize this theory as a version of agent-causal compatibilism. More specifically, the theory has the following elements: (a) freedom consists in the power to act in accordance with one’s choices, (b) freedom requires the ability to suspend desires and master passions, (c) freedom requires a power of self-motion in the agent, and (d) freedom is compatible with moral necessity (...) but not with physical necessity. While these elements may at first appear disparate, the paper shows that they fit together quite well. The resulting theory is a surprising combination of doctrines that appear to be based on Samuel Clarke’s libertarian account of free will and doctrines that are reminiscent of the compatibilist accounts of John Locke, Anthony Collins, Gottfried Leibniz, and Thomas Hobbes. (shrink)

I elaborate and defend an interpretation of Leibniz on which he is committed to a stronger space-time structure than so-called Leibnizian space-time, with absolute speeds grounded in his concept of force rather than in substantival space and time. I argue that this interpretation is well-motivated by Leibniz's mature writings, that it renders his views on space, time, motion, and force consistent with his metaphysics, and that it makes better sense of his replies to Clarke than does the standard interpretation. Further, (...) it illuminates the way in which Leibniz took his physics to be grounded in his metaphysics. (shrink)

This paper consists in a study of Leibniz’s argument for the infinite plurality of substances, versions of which recur throughout his mature corpus. It goes roughly as follows: since every body is actually divided into further bodies, it is therefore not a unity but an infinite aggregate; the reality of an aggregate, however, reduces to the reality of the unities it presupposes; the reality of body, therefore, entails an actual infinity of constituent unities everywhere in it. I argue that this (...) depends on a generalized notion of aggregation, according to which a thing may be an aggregate of its constituents if every one of its actual parts presupposes such constituents, but is not composed from them. One of the premises of this argument is the reality of bodies. If this premise is denied, Leibniz’s argument for the infinitude of substances, and even of their plurality, cannot go through. (shrink)

Leibniz argues that God doesn't create everything possible because not all possible things are compossible, that is, compatible with each other. Much recent debate has focused on Leibniz's conception of compossibility. One important aspect of this debate, which has not been examined directly, is the distinction between possible worlds and possible creations: the notion of possible world is more robust than simply whatever God can create. Many commentators have relied on this distinction without a clear formulation of it. I develop (...) the distinction between possible worlds and possible creations by looking at how Leibniz characterizes what God is capable of creating. I argue that possible creations must be both logically consistent and determinate. Possible creations differ from possible worlds insofar as possible creations fail to be either maximal or harmonious. I conclude, therefore, that focusing on the notion of determinateness offers a new approach to answering the question why doesn't God create everything possible? (shrink)

The late nineteenth- and early twentieth-century debate over ‘internal’ and ‘external’ relations is well explored, as far as its course in Britain is concerned. F. H. Bradley’s idealistic internalism, on the one hand, and Bertrand Russell’s realistic externalism, on the other, were at the center of this debate. Less well known, however, is that there was also a discussion about relations in the United States at the time. The central figures in this discussion were Edward Gleason Spaulding and John Dewey. (...) Like Russell, Spaulding advocated a realist-inspired externalism, while Dewey criticized this viewpoint from a pragmatist perspective. The aim of the present paper is to reconstruct the exchange between Spaulding and Dewey and to elaborate the specifics of this exchange. In doing so it will emerge, among other things, that, in contrast to Bradley’s idealist rejection of externalism, Dewey’s pragmatist attempt at a refutation was more in line with common sense and science and that Spaulding’s version of externalism differed markedly from Russell’s in its strong empirical orientation. Overall, an undeservedly forgotten chapter in the history of early twentieth-century American philosophy is revisited and reassessed. (shrink)

In Sein und Zeit Heidegger makes several claims about the nature of ‘assertion’ [Aussage]. These claims are of particular philosophical interest: they illustrate, for example, important points of contact and divergence between Heidegger's work and philosophical movements including Kantianism, the early Analytic tradition and contemporary pragmatism. This article provides a new assessment of one of these claims: that assertion is connected to a ‘present-at-hand’ ontology. I also indicate how my analysis sets the stage for a new reading of Heidegger's further (...) claim that assertion is an explanatorily derivative phenomenon. I begin with a loose overview of Heidegger's position and then develop a sharper formulation of the key premises. I go on to argue that existing treatments of the supposed link between assertion and the ‘present-at-hand’ are unsatisfactory, and advance a new, ‘methodological’, interpretation of that link. Finally, I sketch the implications of my interpretation for the further claim that assertion is explanatorily derivative. (shrink)

This essay offers an account of the relationship between extended Leibnizian bodies and unextended Leibnizian monads, an account that shows why Leibniz was right to see intimate, explanatory connections between his studies in physics and his mature metaphysics. The first section sets the stage by introducing a case study from Leibniz's technical work on the strength of extended, rigid beams. The second section draws on that case study to introduce a model for understanding Leibniz's views on the relationship between derivative (...) and primitive forces. The third section draws on Leibniz's understanding of the relationship between derivative and primitive forces in order to shed light, in turn, on his understanding of the relationship between extended, material bodies and unextended, immaterial monads. The fourth section responds to a likely objection by arguing that Leibniz's monads may, in a perfectly reasonable sense, be spatially located. (shrink)

This paper is a discussion of the treatment of Leibniz's conception of substance in Heidegger's The Metaphysical Foundations of Logic. I explain Heidegger's account, consider its relation to recent interpretations of Leibniz in the Anglophone secondary literature, and reflect on the ways in which Heidegger's methodology may illuminate what it is to read Leibniz and other figures in the history of philosophy.

Artificial formal languages played a pivotal role in early analytic philosophy. The branch of analytic philosophy which focused on new formal logic is often called “Ideal Language Philosophy”. The aim of the present paper is to shed light on how and why more exactly those influential philosophers gave such an enormously central place for formal languages in their whole philosophical thought. Different ways these thinkers viewed the role of formal languages and their relation to colloquial languages are tracked.

Leibniz holds that we cannot give an account of the synchronic and diachronic identity of a person without appealing to a substance. This paper analyses his reasons for this anti-Lockean thesis. It first looks at his theory of substance, paying particular attention to his commitment to the Principle of Sufficient Reason: the existence of a well-ordered series of mental states cannot be sufficiently explained without reference to a substance. The paper then examines the distinction Leibniz draws between the substance as (...) the “real person” and the “appearing person” that comes into existence through reflexive consciousness. It argues that there can be no appearing person without a real person and looks at the relationship between these two types of person. Leibniz’s distinction is still relevant because it shows that questions concerning the metaphysical constitution of a person need to be carefully distinguished from questions concerning the psychological construction of a personality. (shrink)

This paper compares the views of Hegel and Schelling regarding the problem of individuation, i.e. the question of what makes an individual (a) numerically distinct from others and (b) the very individual it is. My focus is on how Hegel approaches this problem in his metaphysics and how that relates to Schelling’s views as articulated in his ‘negative philosophy’. While Hegelians like Robert Stern and Karen Ng are optimistic that Hegel can solve the problem of individuation, I argue that Schelling (...) puts forward an objection that both challenges Hegel’s account and provides a rationale for taking seriously Schelling’s own insistence on a pre-logical dimension of being. (shrink)

This article discusses Leibniz’s claim that every substance is endowed with the property of perception in connection with Platonism, rationalism and the problem of substance monism. It is argued that Leibniz’s ascription of perception to every substance relies on his Platonic conception of finite things as imitations of God, in whom there is ‘infinite perception’. Leibniz’s Platonism, however, goes beyond the notion of imitation, including also the emanative causal relation and the logical (i.e. definitional) priority of the absolute over the (...) limited. It is proposed that Leibniz’s endorsement of Platonism, in conjunction with some rationalist elements of his philosophy, implies a monistic conception of particulars as modifications of a single substance. Following some scholars and opposing others, the article offers evidence that Leibniz accepted this implication during the last years of his Paris period. However, it is further argued that it was precisely the idea of perception as a property of every substance that allowed Leibniz to find a way out of monism after that period. More specifically, the article defends the view that what made room for ontological pluralism within Leibniz’s rationalist and Platonic outlook was the idea that perception is the property which constitutes the very being of substances: substances are their perceptions. (shrink)

Leibniz is unclear about the nature of pleasure. In some texts, he describes pleasure as a perception of perfection, while in other texts he describes pleasure as being caused by a perception of perfection. In this article, I disambiguate two senses of “perception of perfection”, which clarifies Leibniz’s considered position. I argue that pleasure is a perception of an increase in a substance’s power which is caused by a substance’s knowledge of a perfection of the universe or God. This reading (...) helps clarify the nature of Leibnizian happiness. Happiness is a cognitive process (akin to a mood), constituted fundamentally out of pleasure, which is grounded in increases in a substance’s power. A rational substance will sustain its happiness so long as it is more powerful than it is weak, and it is engaging in activities that increase its power. (shrink)

This article has three main aims. First, it argues that the question of the inclusion of “non‐Western” thought in philosophy cannot be resolved by appealing to definitions of philosophy, as such definitions are an integral part of the epistemically hegemonic practices responsible for the exclusion of non‐Western thought in the first place. Second, it argues that philosophy is structurally Eurocentric. It makes this argument first by looking at metaphilosophy. It argues that metaphilosophy is primarily performative and that its performativity is (...) a form of boundary work that is engaged in hegemonic practices of the epistemic type. It then argues that philosophy as a whole is inescapably engaged in boundary work and hegemonic practices, some of which partake in structural Eurocentrism. Finally, it promotes sociometaphilosophy, an approach that draws from the new sociology of knowledge to identify illegitimate mechanisms of exclusion inscribed in the rules that codify philosophical practice. (shrink)

This essay develops a interpretation of Leibniz’ theory of motion that strives to integrate his metaphysics of force with his doctrine of the equivalence of hypotheses, but which also supports a realist, as opposed to a fully idealist, interpretation of his natural philosophy. Overall, the modern approaches to Leibniz’ physics that rely on a fixed spacetime backdrop, classical mechanical constructions, or absolute speed, will be revealed as deficient, whereas a more adequate interpretation will be advanced that draws inspiration from an (...) invariantist conception of reality and recent non-classical theories of physics. (shrink)

This paper develops the account of our experience and knowledge of time put forward by Russell in his Theory of Knowledge manuscript. While Russell ultimately abandons the project after it receives severe criticism from Wittgenstein (though several chapters derived from it appear as articles in The Monist), in producing this manuscript time, and particularly the notion of the present time, play a central role in Russell’s account of experience. In the present discussion, I propose to focus largely on Russell’s writing (...) in 1912–3, comparing this with some of the remarks made about memory by Moore in 1910–11. My motivation is twofold. First as a matter of scholarship, to reveal an original interpretation of Russell’s notion of immediate memory and of his view of our experience and knowledge of time over this period. Second as a matter of philosophical curiosity. There has been an increase in interest in temporal experience in contemporary discussions of the philosophy of mind, from memory and the imagination to the temporal aspects of perceptual experience. Russell’s writing in 1912–3 provides us with a philosophically interesting account of temporal experience which has points of contact with contemporary debates. (shrink)

Term Functor Logic is a term logic that recovers some important features of the traditional, Aristotelian logic; however, it turns out that it does not preserve all of the Aristotelian properties a valid inference should have insofar as the class of theorems of Term Functor Logic includes some inferences that may be considered irrelevant (e.g. ex falso, verum ad, and petitio principii). By following an Aristotelian or syllogistic notion of relevance, in this contribution we adapt a tableaux method for Term (...) Functor Logic in order to avoid irrelevance and we offer some sort of intuitive semantics in terms of traditional inferential situations (e.g. propter quid, quia, non causa ut causa, and non sequitur). (shrink)

Résumé Alberto Voltolini préconise une analyse syncrétique des entités fictives, affirmant qu'elle satisfait tous les desiderata d'une analyse appropriée des entités fictives. Cet article présente une analyse des personnages fictifs qui réponde à ces critères, tout en évitant les problèmes que rencontre l'analyse de Voltolini. Selon mon analyse antiréaliste et leibnizienne, un personnage fictif peut être identifié par la collection de prédicats attribués à son nom. Cette analyse offre le bénéfice de la théorie des faisceaux, puisqu'elle écarte la question des (...) porteurs des noms fictifs, tout en expliquant pourquoi un personnage fictif est plus qu'une simple collection de prédicats. (shrink)

This paper locates a source of contingency for Leibniz in the fact that God can do otherwise, absolutely speaking. This interpretative line has been previously thought to be a dead-end because it appears inconsistent with Leibniz’s own conception of God, as the ens perfectissimum, or the most perfect being (Adams, 1994). This paper points out that the best argument on offer which seeks to demonstrate this inconsistency fails. The paper then argues that the supposition that God does otherwise implies for (...) Leibniz (at least) that God would not be praiseworthy, which is an absurd implication—or a violation of the principle of sufficient reason (PSR)—but that this is not, strictly speaking, an inconsistency—or a violation of the principle of contradiction (POC). While praiseworthiness is a perfection—and is compossible with God’s other perfections—and so God must instantiate it, this paper argues that, given the nature of praiseworthiness for Leibniz, it in fact makes sense to say that praiseworthiness is merely a contingent perfection of God. (shrink)

According Leibniz's thesis of universal expression, each substance expresses the whole world, i.e. all other substances, or, as Leibniz frequently states, from any given complete individual notion (which includes, in internal terms, everything truly attributable to a substance) one can "deduce" or "infer" all truths about the whole world. On the other hand, in Leibniz's view each (created) substance is internally individuated, self-sufficient and independent of other (created) substances. What may be called Leibniz's expression problem is, how to reconcile these (...) views with each other, that is, how a substance that expresses the whole world, even in the sense that the whole world can be "inferred" from its complete individual notion, can be self-sufficient and internally individuated. The purpose of this paper is to give an exact account of this tricky problem of universal expression, an account that retains substances' self-sufficiency under the constraint that all truths about the whole world are to be obtained from complete individual notions. It will also be shown how the explication of universal expression to be given accounts for Leibniz's thesis of universal change, i.e. the view that any change in any substance is reflected as a real, internal change in each and every other substance. (shrink)

I examine several alleged grounds of the principle of sufficient reason in Leibniz’s philosophy. These include the nature of a requisite and a sufficient condition, the nature of truth, and the nature of harmony. I argue that Leibniz does not ground the PSR in any of these ways. Instead, he is committed to a value-based grounds of the PSR: God creates the best possible world, and the fact that the PSR obtains in this world contributes to it being the best. (...) I conclude by considering some objections to this way of grounding the PSR. (shrink)

The author of the article analyses the historical and philosophical principles used by B. Russell, L. Couturat, E. Cassirer, H. Heimsoeth, W. Kabitz, B. Jansen, D. Mahnke and others to interpret the relation between logic and metaphysics in the philosophy of G. W. Leibniz. The article proves that the approach of W. Kabitz is a significant regression compared to the approach of E. Cassirer due to the ignoring of Leibniz's contribution to the history of logic, methodology and theory of cognition, (...) as well as due to the too narrow modernised understanding of logic. The author disagrees with the interpretation of B. Jansen, who based Leibniz's philosophy on non-cholastic pre-established harmony. The disadvantage of D. Mahnke's approach is, in the author's opinion, a failure to understand that synthesis for the sake of synthesis can never be creative, and the construction of a universal philosophical system can never be the goal of true philosophical creativity. (shrink)

In a recent book, Robert Trueman develops a version of the identity theory of truth, the theory that true propositions are not in some kind of correspondence with, but are rather identical with, facts. He claims that this theory ‘collapses the gap between mind and world’. Whether it does so will obviously depend on how the theory is to be understood, which in turn depends on the argumentative route to it. Trueman’s route is clear, rigorous, and free of extravagant assumptions. (...) Perhaps because of those merits it seems obvious that it falls short of the claim he makes for it. But there are difficult questions about the nature of the shortfall and about what in the character of Trueman’s philosophical approach prevents him from appreciating it. The paper explores those questions through a comparison with Moore’s ‘original’ identity theory and the Idealist philosophy he directed it against. (shrink)

Leibniz believed in a God that has the power to create beings and whose existence could be a priori demonstrated. Kant objected that similar demonstrations all presuppose the false claim that existence is a real property. Russell added that if existence were a real property Leibniz should have concluded that God does not actually have the power to create anything at all. First, I show that Leibniz’ conception of existence is incompatible with the one that Russell presupposes. Subsequently, I argue (...) that on Leibniz’ conception of existence Russell’s objection is immediately undermined. (shrink)

What is this discipline called history of philosophy? What standards are relevant to its assessment? There aren’t single, straightforward answers to these quest.

From the pre-Socratics to the present, one primary aim of philosophy has been to learn from arguments. Philosophers have debated whether we could indeed do this, but they have by and large agreed on how we would use arguments if learning from argument was at all possible. They have agreed that we could learn from arguments either by starting with true premises and validly deducing further statements which must also be true and therefore constitute new knowledge, or that we could (...) start from putative premises and validly deduce false consequences thereby showing that our premises were false. Our aim in this paper is to suggest a third alternative: we can learn from plausible arguments through criticism of such arguments which enable us to discover new problems. (shrink)

Never shall this be proved, that things that are not are. ParmenidesTo say that something does not exist, or that there is something which is not, is clearly a contradiction in terms; hence “ ” must be true. Moreover, we should certainly expect leave to put any primitive name of our language for the “x” of any matrix “ … x … ”, and to infer the resulting singular statement from “ ”; it is difficult to contemplate any alternative logical (...) rule for reasoning with names. (shrink)

Discussions of Leibniz’s view of the relation between God and nature in 1675–1676 has split commentators into two competing camps. According to some scholars, Leibniz was a pantheistic substance monist in these years. However, other scholars think that he was neither a substance monist nor a pantheist. This paper advocates a middle ground between these two interpretations. With scholars in the first camp, it is argued that Leibniz was a substance monist in 1675–1676. However, it is also argued that he (...) was not a pantheistic substance monist, but rather a panentheistic one. This interpretation has at least a twofold virtue vis-à-vis the anti-monistic and pantheistic readings. For one thing, unlike the anti-monistic reading, the panentheistic interpretation is in keeping with the weight of textual evidence, which strongly indicates that in 1675–1676 Leibniz did embrace, and actually argue for, the idea that God is the only substance. For another, unlike the pantheist interpretation, it can accommodate the fact that, while endorsing monism in 1675–1676, Leibniz at the same time rejected necessitarianism. (shrink)

Theories of philosophy of perception are too simplifying. Direct realism and representationalism, for example, are philosophical theories of perception about the nature of the perceived object and its location. It is common sense to say that we directly perceive, through our senses, physical objects together with their properties. However, if perceptual experience is representational, it only appears that we directly perceive the represented physical objects. Despite psychological studies concerning the role of memory in perception, what these two philosophical theories do (...) not explicate are the continuity of the external describable object and the role of memory in perceiving the continuity, difference, break or ending. Using empirical evidence of particular cases and the hypothetico-deductive model, this research article analyses how one is able to perceive the continuity of same things. The early stages of perceptual process are not sufficient for the perception of continuity. Empirical evidence of memory disorders shows that persons with a memory disorder do not perceive the same thing or the familiar place they previously saw and now experience or remember what they are thinking about, even if the object, the place or the person has remained the same. I will argue that the perception of continuity requires memory. In fact, observation indicates how the memory runs at the same time, when the object is seen over time. This fact implies the memory system’s essential role for perceiving the continuity of the same things. (shrink)

Este artigo busca mapear as diferenças e transformações que marcam a trajetória da noção leibniziana de substância ao longo dos quase trinta anos que separam suas primeiras e últimas sínteses de ar sistemático; percurso que vai do _Discurso de Metafísica_ à _Monadologia_ e aos _Princípios da Natureza e da Graça _. Poderemos, deste modo, fornecer um quadro de mecanismos conceituais e doutrinários que nos permita melhor compreender o estatuto coesivo de sua obra filosófica, donde encontraremos uma noção ampla mas singular (...) de substância que se define, sobretudo, pela articulação reversiva entre unidade e ação. (shrink)

Resumen En esta contribución ofrecemos una interpretación del pons asinorum que se basa en una lógica de términos contemporánea. Esto nos permite revitalizar la idea del pons asinorum para generar el -políticamente correcto- pons scholasticorum, una versión terminística del pons asinorum que conecta la inventio medii con el dictum de omni et nullo.In this contribution we offer an interpretation of the pons asinorum by using a contemporary term logic. This interpretation allows us to revitalize the concept of the pons asinorum (...) in order to produce the -politically correct- pons scholasticorum, a terministic version of the pons asinorum that relates the inventio medii with the dictum de omni et nullo. (shrink)

Being mainly concerned with the origins and development of formal logic, current “histories of logic” often devote scarce, if any, space to logic in the early modern period. In standard narratives, emphasis is put, on one side, on Aristotle’s Organon and on the Stoics’ logic of propositions, and on the other side, on the development of mathematical logic from Boole and Frege on. The picture often emerging from such reconstructions represents early modern philosophers—net of their criticisms of Aristotelian syllogism— as (...) largely estranged from the discipline. It is true that, the medieval period’s concern with semantic and inference issues has been accounted... (shrink)

In this paper, I argue a position that has almost never been held: that Leibniz was a materialist. At the conclusion of my article, I consider whether the difficulty of reconciling Leibnizs idea of concluding that there is instead a Leibnizian idea of which does a better job.

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

The research programme of the philosophy of information (PI) proposed in 2002 made it an independent area or discipline in philosophical research. The scientific concept of ‘information’ is formally accepted in philosophical inquiry. Hence a new and tool-driven philosophical discipline of PI with its interdisciplinary nature has been established. Philosophy of information is an ‘orientative’ rather than ‘cognitive’ philosophy. When PI is under consideration in the history of Western philosophy, it can be regarded as a shift of large tradition. There (...) are three large traditions at large, known as Platonic, Kantian and Leibniz-Russellian. In the discussion of the position of the possible worlds, we have modal Platonism and modal realism, but both of the theories are made in the framework of Western philosophy. In this essay, it is argued that possible worlds could be seen as worlds in information, which is then an interpretation of modal information theory (MIT). Our interpretation is made on the basis of Leibniz’s lifelong connection with China, a fact often overlooked by the Western philosophers. Possible world theory was influenced by the Neo-Confucianism flourishing since the Song Dynasty of China, the foundation of which is Yijing. It could be argued that Leibniz’s possible world theory was formulated in respect to the impact of the thoughts reflected in Yijing, in that one of the prominent features is the model-theoretic construction of theories. There are two approaches to theory construction, i.e., axiom-theoretic and model-theoretic. The origin of the former is from ancient Greece and the latter from ancient China. And they determined the different features of theoretic structures between the oriental and occidental traditions of science and technology. The tendency of the future development of science and technology is changing from the axiom-theoretic to the model-theoretic orientation, at least the two approaches being complementary each other. To some extent, this means the retrospective of tradition in the turning point of history, and some of the China’s cultural traditions might become the starting points in formulating the future Chinese philosophy of science and technology. (shrink)

O presente manual tem como intenção constituir um guia para uma disciplina introdutória de filosofia da linguagem. Foi elaborado a partir da leccionação da disciplina de Filosofia da Linguagem I na Faculdade de Letras da Universidade do Porto desde 2001. A disciplina de Filosofia da Linguagem I ocupa um semestre lectivo e proporciona aos estudantes o primeiro contacto sistemático com a área da filosofia da linguagem. Pretende-se que este manual ofereça aos estudantes os instrumentos necessários não apenas para acompanhar uma (...) iniciação ao campo da filosofia da linguagem mas também para o estudo e a investigação autónomos posteriores. Para isso é percorrido um trajecto que conduz das intuições pré-teóricas acerca de linguagem, de que todos dispomos, até um conhecimento disciplinar específico, histórico e temático, da filosofia da linguagem. Em termos práticos, são considerados como precedentes da disciplina de Filosofia da Linguagem I – mesmo se, pelo existem actualmente precedências em sentido estrito – as disciplinas de Lógica I e II e de Filosofia do Conhecimento I e II. Os programas dessas disciplinas nos últimos anos estiveram presentes por trás da elaboração do manual. (shrink)

In this article I construe Russell's definite description notation as a fragment of an "ideal language"– a language in which, as Russell puts it in the "Logical Atomism" lectures, "the words in a proposition correspond one by one with the components of the corresponding fact." Russell's notation – containing as it does variables, quantifiers and the identity sign – commits him to an ontology that is lavish indeed. It thus conflicts with the spirit of the theory of descriptions, which is (...) developed in the service of ontological frugality. I make use of arguments derived from the Tractatus to show that an ideal language need not contain logical signs. I thus defend the spirit of the theory of descriptions while departing from its letter. (shrink)

I propose that Leibniz did not state Leibniz’s Law, the logically and metaphysically robust principle that is typically understood as the following biconditional: ∀x ∀y [(x = y) ↔ ∀P (Px ↔ Py)]. To arrive at this conclusion, I examine the three principles that have become associated with Leibniz’s Law: the Substitutivity Principle (salva veritate), the Indiscernibility of Identicals, and the Identity of Indiscernibles. I show that Leibniz intended salva veritate as a semantic principle, never explicitly stated the Indiscernibility of (...) Identicals, and understood the Identity of Indiscernibles as a metaphysical principle. In the debate about Leibniz’s Law, I focus on four commentators: (1) W. V. O. Quine’s construal of salva veritate as the Indiscernibility of Identicals, (2) Nicholas Rescher’s contention that both the Identity of Indiscernibles and salva veritate may be construed as Leibniz’s Law, (3) Fred Feldman’s argument that Leibniz did not state a law or definition of identity, but only a criterion of identity for concepts, and (4) Edwin Curley’s response to Feldman, that Feldman’s assumptions, along with passages in Leibniz, show Leibniz did state Leibniz’s Law. I argue that Feldman’s position is not completely correct but can be amended with insights from Quine, Rescher, and Curley and by reference to Leibniz’s Complete Concept Theory. (shrink)

El objetivo de este trabajo es exponer una aproximación a los puntos de contacto y de divergencia entre el pensamiento de Leibniz y la hermenéutica de Gadamer, en la perspectiva de justificar la actualidad del pensamiento leibniziano desde el punto de vista de la concepción actual de la racionalidad. La hermenéutica propone un concepto de razón “débil” que se funda en la noción de fusión de horizontes, que puede ser interpretado como una forma de perspectivismo. Como contrapartida, se examina el (...) perspectivismo leibniziano desde el punto de vista de la armonía universal y del concepto de expresión como su fundamento. De este modo, la posibilidad de establecer correspondencias y transformaciones entre las diferentes perspectivas constituye un equivalente leibniziano la fusión de horizontes gadameriana. Además, gracias al concepto de “razón simbólica”, se le reconoce la filosofía leibniziana cierta superioridad respecto de la hermenéutica gadameriana. (shrink)

Review of Russell’s Philosophy of Logical Atomism 1897–1905, by Jolen Galaugher (Palgrave Macmillan 2013).

Everyone interested in Leibniz ought to read this fine, stimulating book. It is admirably written in the tradition exemplified by the references below and will especially appeal to those familiar with the analytical exposition in those works.