This special issue aims to redress the balance and to open up Gaston Bachelard's work beyond a small in-crowd of experts and aficionado’s in France. It aims to stimulate the discovery of new and understudied aspects of Bachelard’s work, including aspects of the intellectual milieu he was working in. Fortunately, for this purpose we were able to rely both on renowned Bachelard specialists, such as Hans-Jörg Rheinberg-er, Cristina Chimisso and Dominique Lecourt, as well as on a number of younger scholars (...) who are discovering their work in a different intellectual context. At the same time we also want to reassess the value of this oeuvre, which also entails examining the reasons and causes of the relative neglect of Bachelard’s work in recent times. Has it exhausted its possibilities? Does it have intrinsic limitations that have contributed to the eclipse, as some influential, mainly French, philoso-phers have more or less explicitly suggested? (shrink)

The work of Gaston Bachelard is known for two crucial concepts, that of the epistemological rupture and that of phenomenotechnique. A crucial question is, however, how these two concepts relate to one another. Are they in fact essentially connected or must they be seen as two separate elements of Bachelard’s thinking? This paper aims to analyse the relation between these two Bachelardian moments and the significance of the concept of phenomenotechnique for today. This will be done by examining how the (...) concepts of Bachelard have been used from the 1960s on. From this historical perspective, one gets the impression that these two concepts are relatively independent from each other. The Althusserian school has exclusively focused on the concept of ‘epistemological break’, while scholars from Science & Technology Studies, such as Bruno Latour, seem to have only taken up the concept of phenomenotechnique. It in fact leads to two different models of how to think about science, namely the model of purification and the model of proliferation. The former starts from the idea that sciences are rational to the extent that they are purified and free from obstacles. Scientific objectivity, within this later model, is not achieved by eradicating all intermediaries, obstacles and distortions, but rather exactly by introducing as many relevant technical mediators as possible. Finally, such a strong distinction will be criticized and the argument will be made that both in Bachelard’s and Latour's thought both concepts are combined. This leads to a janus-headed view on science, where both the element of purification and the element of proliferation are combined. (shrink)

Among the contemporary philosophers using the concept of the Anthropocene, Bruno Latour and Isabelle Stengers are prominent examples. The way they use this concept, however, diverts from the most common understanding of the Anthropocene. In fact, their use of this notion is a continuation of their earlier work around the concept of a ‘parliament of things.’ Although mainly seen as a sociology or philosophy of science, their work can be read as philosophy of technology as well. Similar to Latour’s claim (...) that science is Janus-headed, technology has two faces. Faced with the Anthropocene, we need to shift from technologies of control to technologies of negotiations, i.e., a parliament of things. What, however, does a ‘parliament of things’ mean? This paper wants to clarify what is conceptually at stake by framing Latour’s work within the philosophy of Michel Serres and Isabelle Stengers. Their philosophy implies a ‘postlinguistic turn,’ where one can ‘let things speak in their own name,’ without claiming knowledge of the thing in itself. The distinction between object and subject is abolished to go back to the world of ‘quasi-objects’ (Serres). Based on the philosophy of science of Latour and Stengers the possibility for a politics of quasi-objects or a ‘cosmopolitics’ (Stengers) is opened. It is in this framework that their use of the notion of the Anthropocene must be understood and a different view of technology can be conceptualized. (shrink)

The philosophy of Louis Althusser is often contrasted with the ideas of Michel Foucault. At first sight, the disagreement seems to be about the concept of ideology: while Althusser seem to be huge advocate of the use of the concept, Foucault apparently dislikes and avoids the concept altogether. However, I argue in this article that this reading is only superficial and that it obscures the real debate between these two authors. Althusser, especially in his recently posthumously published Sur la reproduction (...) (1995), appears to agree on many points with Foucault. The real dispute lies not in the concept of ideology, but in its connection with its counterpart ‘science’. Both Althusser and Foucault were in a way epistemologists, focusing on the question on how sciences develop and how scientific practice works. Focussing on their shared background in the French epistemology, with authors such as Gaston Bachelard and Jean Cavaillès, the real discussion appears to be about whether science can really be opposed to ideology or not. Focusing on these aspects of their works can shed new lights on their oeuvre as well as on the nature of scientific practice. (shrink)

In this article, two different claims about nature are discussed. On the one hand, environmental philosophy has forced us to reflect on our position within nature. We are not the masters of nature as was claimed before. On the other hand there are the recent developments within synthetic biology. It claims that, now at last, we can be the masters of nature we have never been before. The question is then raised how these two claims must be related to one (...) another. Rather than stating that they are completely irreconcilable, I will argue for a dialogue aimed to discuss the differences and similarities. The claim is that we should not see it as two successive temporal phases of our relation to nature, but two tendencies that can coexist. (shrink)

The work of Michel Serres is often presented as a radical break with the work of Gaston Bachelard. The aim of this paper is to partly correct this image, by focusing on Serres’s early Hermes series (1969-1980). In these books Serres portrays himself as a follower of Bachelard, exemplarily shown in his neologism of the ‘new new scientific spirit’ (le nouveau nouvel esprit scientifique), updating Bachelard in the light of more recent scientific developments. This allows a reinterpretation of the relation (...) between both authors, one where there is room to acknowledge how the roots of Serres’s philosophy lie not in a radical break with Bachelard, but can be partly understood as a Bachelardian criticism of Bachelard himself. This Bachelardian criticism consists in what could be called his ‘surrationalism’: the sciences do not follow the categories imposed by philosophers, but are always more flexible and open than these categories allow. Specific critiques of Serres, such as those concerning the novelty of Bachelard’s thought, the role of epistemology and finally the political dimension of science will be evaluated through a reappraisal of this Bachelardian move that underlies Serres’s criticism. (shrink)

Wij presenteren Berardi’s herwerking van de ideologiekritiek in drie stappen. Eerst schetsen wij de context waarin Berardi de ideologiekritiek herdenkt. Hij bouwt verder op de ontdekking van Deleuze en Guattari dat de taal van het kapitalisme niet de code, maar de axiomatiek is. De economische wetenschap biedt, volgens hen, mensen geen identiteit aan, maar bestaat uit een reeks commando’s die stromen van geld, arbeid, elektriciteit, enzovoort reguleert. Daaraan koppelt Berardi de observatie dat het hedendaagse kapitalisme vooral tekens verhandelt in plaats (...) van producten waarnaar zulke tekens zouden verwijzen. In een tweede stap brengen wij tegen deze opvatting in dat Berardi nog steeds vasthoudt aan de representatieve waarde van de economische wetenschap. Deze laatste zou enkel een afbeelding bieden van de realiteit en die vervalsen in het voordeel van het status quo. Sociologen uit de traditie van de actor-netwerktheorie (ANT) hebben dat echter betwist. Zij beweren dat de economische wetenschap de economische realiteit niet zozeer afbeeldt, maar actief vormgeeft. De economische wetenschap heeft de mens geschapen naar zijn evenbeeld: als homo oeconomicus. Het is dan ook een vergissing om de economische wetenschap te bekritiseren voor haar valse representaties. Zij maakt die immers waar. In een derde en laatste stap leggen wij in Berardi’s teksten een nieuw criterium bloot voor ideologiekritiek. In plaats van de economische wetenschap te bekritiseren voor haar valse uitspraken over de realiteit, moeten wij nagaan of de economische wetenschap een manier van leven promoot die mensen in staat zijn te onderhouden. De economische wetenschap is dan ideologisch als en slechts als zij een onhoudbare vorm van leven propageert. Volgens Berardi kan de hedendaagse economische wetenschap hiervan terecht beschuldigd worden. In zijn psychopathologie van het kapitalisme wijst hij immers op de negatieve psychische gevolgen van het hedendaagse kapitalisme, namelijk de instandhouding van een cyclus tussen paniek en depressie, een verlies aan betekenisvol menselijk contact en een neiging tot neurotisch vasthouden aan oude economische recepten die hun failliet reeds meermaals bewezen hebben. Niet de waarheid zal ons verlossen, maar in de verlossing ligt het ware leven. (shrink)

The work of Thomas Kuhn has been very influential in Anglo-American philosophy of science and it is claimed that it has initiated the historical turn. Although this might be the case for English speaking countries, in France an historical approach has always been the rule. This article aims to investigate the similarities and differences between Kuhn and French philosophy of science or ‘French epistemology’. The first part will argue that he is influenced by French epistemologists, but by lesser known authors (...) than often thought. The second part focuses on the reactions of French epistemologists on Kuhn’s work, which were often very critical. It is argued that behind some superficial similarities there are deep disagreements between Kuhn and French epistemology. This is finally shown by a brief comparison with the reaction of more recent French philosophers of science, who distance themselves from French epistemology and are more positive about Kuhn. Based on these diverse appreciations of Kuhn, a typology of the different positions within the philosophy of science is suggested. (shrink)

Although the relationship of part to whole is one of the most fundamental there is, this is the first full-length study of this key concept. Showing that mereology, or the formal theory of part and whole, is essential to ontology, Simons surveys and critiques previous theories--especially the standard extensional view--and proposes a new account that encompasses both temporal and modal considerations. Simons's revised theory not only allows him to offer fresh solutions to long-standing problems, but also has far-reaching (...) consequences for our understanding of a host of classical philosophical concepts. (shrink)

German translation of Mulligan, Simons and Smith, "Truth-Makers" (1984) A realist theory of truth for a class of sentence holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are (...) objects of perception. The core of our theory is the account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. The authors uphold the mutual independence of logical and ontological complexity. The theory is compared with that of Wittgenstein’s Tractatus, and the authors outline formal principles of truthmaking taking account of both kinds of complexity and suggesting how to overcome Wittgenstein’s problem of negation. (shrink)

As a painfully outdated institution the school is accused of: being alienating, closing itself off to society and to the needs of young people; reproducing social inequality and consolidating existing power relations; demotivating youth; showing a lack of effectiveness and having great difficulty with employability. And last but not least, the school is considered redundant: the school, where learning is bound to time and place, is no longer needed in the digital era of virtual learning environments. The ultimate charge: the (...) school is a product of outdated ways of distributing knowledge and expertise, determined by primitive technologies of the past. Adieu school. This book advocates the acquittal of the school. It argues that many of the allegations against the school are motivated by an age-old fear and even hatred toward one of its radical but essential characteristics: that the school provides ‘free time' and transforms knowledge and skills into 'common goods', and therefore has the potential to give everyone, regardless of background, natural talent or aptitude, the time and space to leave their known environment, rise above themselves and renew (and thus change in unpredictable ways) the world. This defence of the school starts from an investigation of what makes a school a school and pinpoints why the school has value in and of itself. It reveals the various attempts to rob the school of its scholastic character, that is, to tame the school. The ultimate aim is to elaborate a touchstone that helps to defend as well as to re-invent school. -/- Jan Masschelein and Maarten Simons are members of the Laboratory for Education and Society, KU Leuven. They share an interest in research on the public dimensions of education and are currently elaborating a philosophy of schooling. (shrink)

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

In the age of web 2.0, the university is constantly challenged to re-adapt its ‘old-fashioned’ pedagogies to the new possibilities opened up by digital technologies. This article proposes a rethinking of the relation between university and (digital) technologies by focusing not on how technologies function in the university, but on their constituting a meta-condition for the existence of the university pedagogy of inquiry. Following Ivan Illich’s idea that textual technologies played a crucial role in the inception of the university, we (...) will first show the structural similarities between university thinking and the text as a profanation of the book. Secondly, we describe university thinking as a type of critical thinking based on the materiality of the text-on-the-page, explaining why the text has been at the centre of university pedagogy since the beginning. In the third part, we show how Illich came to see the end of the culture of the text as a challenge for the university, by describing the new features of the text-as-code incompatible with the idea of reading as study. Finally, we challenge this pessimistic reading of Illich’s and end with a call for a profanatory pedagogy of digital technologies that could mirror the revolutionary thinking behind the mediaeval invention of the text. (shrink)

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

Grenon and Smith (2004) propose a framework for the ontology of things in space and time involving and invoking the distinction between continuants and occurrents, which has become a key element of Basic Formal Ontology (BFO). The terminology of SNAP (from “snapshot:” state of a continuant at a time) and SPAN (how an occurrent develops over an interval or timespan) occurs in that paper’s title. While any commonsense ontology will have a place for both continuants and occurrents, there is much (...) room for philosophical debate on whether one of them is more basic than the other, or can be reduced to the other, or whether they are equally fundamental, or whether they are two different perspectives on the same reality. Grenon and Smith opt for the last of these. They call the accounts of continuants (SNAP) and occurrents (SPAN) both “ontologies.” They do not have a single ontology of all that is in space and time. This dialog throws a few of the common arguments around a bit and comes to no sure conclusion. But one of the characters bears a faint resemblance to a certain Buffalonian philosopher. (shrink)

Philosophy in the West divides into three parts: Analytic Philosophy (AP), Continental Philosophy (CP), and History of Philosophy (HP). But all three parts are in a bad way. AP is sceptical about the claim that philosophy can be a science, and hence is uninterested in the real world. CP is never pursued in a properly theoretical way, and its practice is tailor-made for particular political and ethical conclusions. HP is mostly developed on a regionalist basis: what is studied is determined (...) by the nation or culture to which a philosopher belongs, rather than by the objective value of that philosopher’s work. Progress in philosophy can only be attained by avoiding these pitfalls. (shrink)

Autobiographical survey of interactions between the author and Barry Smith, especially as concerns the background and influence of the Seminar for Austro-German Philosophy and work on the relevance of Adolf Reinach, Roman Ingarden and other Central-European thinkers to contemporary analytic philosophy.

In To be is to be the object of a possible act of choice the authors defended Boolos’ thesis that plural quantification is part of logic. To this purpose, plural quantification was explained in terms of plural reference, and a semantics of plural acts of choice, performed by an ideal team of agents, was introduced. In this paper, following that approach, we develop a theory of concepts that—in a sense to be explained—can be labeled as a theory of logical concepts. (...) Within this theory, we propose a new logicist approach to natural numbers. Then, we compare our logicism with Frege’s traditional logicism. (shrink)

Simone de Beauvoir and Jean-Paul Sartre struggled for the whole of their philosophical careers against one of modern Western philosophy's most pervasive concepts, the Cartesian notion of self. A notion of self is always a complex of ideas; in the case of Beauvoir and Sartre it includes the ideas of embodiment, temporality, the Other, and intersubjectivity. This essay will show the considerable part that gender, especially Beauvoir's position as a woman in twentieth-century France, played in the development, presentation and reception (...) of the couple's alternative formulation. (shrink)

Als zu Beginn des Jahrhunderts der Realismus wieder ernst genommen wurde, gab es viele Philosophen, die sich mit der Ontologie der Wahrheit befaßten. Unabhängig von der Bestimmung der Wahrheit als Korrespondenzbeziehung wollten sie herausfinden, inwieweit zur Erklärung der Wahrheit von Sätzen besondere Entitäten herangezogen werden müssen. Einige dieser Entitäten, so zum Beispiel Bolzanos ‘Sätze an sich’, Freges ‘Gedanken’ oder die ‘propositions’ von Russell und Moore, wurden als Träger der Eigenschaften Wahrheit und Falschheit aufgefaßt. Einige Philosophen jedoch, wie Russell, Wittgenstein im (...) ›Tractatus‹ und Husserl in den ›Logischen Untersuchungen‹, argumentierten, zusätzlich zu den Wahrheitsträgern bzw. an ihrer Stelle müßten Entitäten angenommen werden, auf Grund deren Sätze und/oder ‘Propositionen’ wahr sind. Solchen Entitäten gab man verschiedene Namen, insbesondere ‘fact’, ‘Tatsache’, ‘state of affairs’ und ‘Sachverhalt’. 1 Wir wollen einer Entscheidung über die Angebrachtheit dieser Ausdrücke nicht vorgreifen und daher zunächst eine neutralere Terminologie verwenden: Alle Entitäten, die für diese zweite Rolle in Frage kommen, wollen wir ‘Wahrmacher’ nennen. (shrink)

I review Sandra Lapointe (ed.) "Themes from Ontology, Mind, and Logic: Present and Past – Essays in Honour of Peter Simons".

This volume brings together new work on the logic and ontology of plurality and a range of recent articles exploring novel applications to natural language semantics. The contributions in this volume in particular investigate and extend new perspectives presented by plural logic and non-standard mereology and explore their applications to a range of natural language phenomena. Contributions by P. Aquaviva, A. Arapinis, M. Carrara, P. McKay, F. Moltmann, O. Linnebo, A. Oliver and T. Smiley, T. Scaltsas, P. Simons, and (...) B.-Y. Yi . (shrink)

It has been argued that the tenseless view of time is incompatible with endurantism. This has been disputed, perhaps most famously by Hugh Mellor and Peter Simons. They argue that things can endure in tenseless time, and indeed must endure if tenseless time is to contain change. In this paper I will point out some difficulties with Mellor’s and Simons’ claims that in tenseless time a particular can be ‘wholly present’ at various times, and therefore endure, as well (...) as have incompatible properties at those different times, and thereby change. In effect I argue that they do not resolve the charge that the tenseless view of time is incomatible with endurantism because the tenseless view does not allow anything to change temporal location and thereby come to be ‘wholly present’ at various times. (shrink)

This paper motivates the idea that social robots should be credited as moral patients, building on an argumentative approach that combines virtue ethics and social recognition theory. Our proposal answers the call for a nuanced ethical evaluation of human-robot interaction that does justice to both the robustness of the social responses solicited in humans by robots and the fact that robots are designed to be used as instruments. On the one hand, we acknowledge that the instrumental nature of robots and (...) their unsophisticated social capabilities prevent any attribution of rights to robots, which are devoid of intrinsic moral dignity and personal status. On the other hand, we argue that another form of moral consideration—not based on rights attribution—can and must be granted to robots. The reason is that relationships with robots offer to the human agents important opportunities to cultivate both vices and virtues, like social interaction with other human beings. Our argument appeals to social recognition to explain why social robots, unlike other technological artifacts, are capable of establishing with their human users quasi-social relationships as pseudo-persons. This recognition dynamic justifies seeing robots as worthy of moral consideration from a virtue ethical standpoint as it predicts the pre-reflective formation of persistent affective dispositions and behavioral habits that are capable of corrupting the human user’s character. We conclude by drawing attention to a potential paradox drawn forth by our analysis and by examining the main conceptual conundrums that our approach has to face. (shrink)

In a lot of domains in metaphysics the tacit assumption has been that whichever metaphysical principles turn out to be true, these will be necessarily true. Let us call necessitarianism about some domain the thesis that the right metaphysics of that domain is necessary. Necessitarianism has flourished. In the philosophy of maths we find it held that if mathematical objects exist, then they do of necessity. Mathematical Platonists affirm the necessary existence of mathematical objects (see for instance Hale and Wright (...) 1992 and 1994; Wright 1983 and 1988; Schiffer 1996; Resnik 1997; Shapiro 1997 and Zalta 1988) while mathematical nominalists, usually in the form of fictionalists, hold that necessarily such objects fail to exist (see for instance Balaguer 1996 and 1998; Rosen 2001 and Yablo 2005). In metaphysics more generally, until recently it was more or less assumed that whatever the right account of composition—the account of under what conditions some xs compose a y—that account will be necessarily true (for a discussion of theories of composition see Simons 1987 and van Inwagen 1987 and 1990; the modal status of the composition relation is explicitly addressed in Schaffer 2007; Parsons 2006 and Cameron 2007). Similarly, it has generally been assumed that whatever the right account is of the nature of properties, whether they be universals, tropes, or whether nominalism is true, that account will be necessarily true (though see Rosen 2006 for a recent suggestion to the contrary). In considering theories of persistence it has been widely held that whether objects endure or perdure through time is a matter of necessity (Sider 2001; though see Lewis 1999 p227 who defends contingent perdurantism). And with respect to theories of time it is frequently held that whichever of the A- or B-theory is true is necessarily true. A-theorists often argue that there is time in a world only if the A-theory is true at that world (see for instance McTaggart 1903; Markosian 2004; Bigelow 1996; Craig 2001) while B-theorists often argue that the A-theory is internally inconsistent (Smart 1987; Mellor 1998; Savitt 2000 and Le Poidevin 1991). Once again, we find a few recent contingentist dissenters. Bourne (2006) suggests that it is a contingent feature of time that it is tensed, and thus that the A-theory is contingently true. Worlds in which there exist only B-theoretic properties are worlds with time, it is just that time in those worlds time is radically different to the way it is actually. Other defenders of the B-theory, though not expressly contingentists, do offer arguments against versions of the A-theory that try to show that such A-theories theories are inconsistent with the actual laws of nature (see for instance Saunders 2002 and Callender 2000); these arguments, at least, leave room for the possibility that the A-theories in question are contingently false (at least on the assumption that the laws of nature are themselves contingent, an assumption that not everyone accepts). Despite some notable exceptions, necessitarianism has flourished in many, if not most, domains in metaphysics. One such exception is Lewis’ famous defence of Humean supervenience as a contingent claim about our world. Lewis does not argue that necessarily, the supervenience base for all matters of fact in a world is nothing but a vast mosaic of local matters of particular fact. Rather, he thinks that we have reason to think that our world is one in which Humean supervenience holds (see Lewis 1986 p9-10 and 1994). Another exception to the necessitarian orthodoxy is to be found in the lively debate about the modal status of the laws of nature. Here, if anything, contingentism has been the dominating force, with it generally being held that there are possible worlds in which different laws of nature hold (this view is defended by, among others, Lewis 1986 and 2010; Schaffer 2005 and Sidelle 2002). Necessitarian dissenters hold that the laws of nature are necessary, frequently because they think it is necessary that fundamental properties have the causal or nomic profiles they do (see for instance Shoemaker 1980 and 1988; Swoyer 1982; Bird 1995; Ellis and Lierse 1994). Nevertheless, when it comes to thinking about the nature of the laws themselves, the necessitarian presumption is back on firm footing. Though there is disagreement about whether the laws are generalisations that feature in the most virtuous true axiomatisation of all the particular matters of fact (often known as the Humean view of laws and defended by Ramsey 1978; Lewis 1986 and Beebee 2000) or whether laws are relations of necessity that hold between universals (a view defended by Armstrong 1983; Dretske 1977; Tooley 1977 and Carroll 1990) no one has seriously suggested that it might be a contingent matter which of these is the right account of laws. The necessitarian orthodoxy is not surprising since metaphysics is largely an a priori process. While a priori reasoning may be used to determine whether a proposition is necessary or contingent, it is not well placed (in the absence of a posteriori evidence) to determine whether a contingent proposition is actually true or false. Since metaphysicians aim to tell us which principles are true in which worlds, on the face of it the discovery that metaphysical principles are contingent seems to make part of the task of metaphysics epistemically intractable. In what follows I consider two reasons one might end up embracing contingentism and whether this would lead one into epistemic difficulty. The following section considers a route to contingent metaphysical truths that proceeds via a combination of conceptual necessities and empirical discoveries. Section 3 considers whether there might be synthetic contingent metaphysical truths, and the final section raises the question of whether if there were such truths we would be well placed to come to know them. (shrink)

In this article, we propose a new trope nominalist conception of determinate and determinable kinds of quantitative tropes. The conception is developed as follows. First, we formulate a new account of tropes falling under the same determinates and determinables in terms of internal relations of proportion and order. Our account is a considerable improvement on the current standard account (Campbell 1990; Maurin 2002; Simons 2003) because it does not rely on primitive internal relations of exact similarity or quantitative distance. (...) The internal relations of proportion and order hold because the related tropes exist; no kinds of tropes need be assumed here. Second, we argue that there are only pluralities of tropes in relations of proportion and order. The tropes mutually connected by the relations of proportion and order form a special type of plurality, tropes belonging to the same kind. Unlike the recent nominalist accounts, we do not identify kinds of tropes with any further entities (e.g. sets) or abstractions from entities (e.g. pluralities of similar tropes). (shrink)

This article presents a trope bundle theory of simple substances, the Strong Nuclear Theory[SNT] building on the schematic basis offered by Simons's (1994) Nuclear Theory[NT]. The SNT adopts Ellis's (2001) dispositional essentialist conception of simple substances as powerful particulars: all of their monadic properties are dispositional. Moreover, simple substances necessarily belong to some natural kind with a real essence formed by monadic properties. The SNT develops further the construction of substances the NT proposes to obtain an adequate trope bundle (...) theory of powerful particulars. The SNT allows for co-located powerful particulars. However, every powerful particular is necessarily co-located with its constituent tropes, which determine its causal powers. Every constituent trope of substance i is part of a trope aggregate (the n-bundle or c-bundle) that forms an individual figuring in the basic spatio-temporal relations. The location of these individuals determines the location of individual tropes. Since they are necessarily co-located with substance i when they exist, every trope t of i is necessarily co-located with i when it exits. Every simple substance has nuclear tropes necessary to it. It belongs to certain primary natural kind K because its nuclear tropes belong to certain distinct determinate kinds. (shrink)

Aim of the paper is to analyze Priest’s dialetheic solution to Curry’s paradox. It has been shown that a solution refuting ABS, accepting MPP and consequently refuting CP meets some difficulties. Here I just concentrate on one difficulty: one obtains the validity of MPP just using FA in the metalanguage, an invalid rule for a dialetheist.

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

The idea that there could be spatially extended mereological simples has recently been defended by a number of metaphysicians (Markosian 1998, 2004; Simons 2004; Parsons (2000) also takes the idea seriously). Peter Simons (2004) goes further, arguing not only that spatially extended mereological simples (henceforth just extended simples) are possible, but that it is more plausible that our world is composed of such simples, than that it is composed of either point-sized simples, or of atomless gunk. The difficulty (...) for these views lies in explaining why it is that the various sub-volumes of space occupied by such simples, are not occupied by proper parts of those simples. Intuitively at least, many of us find compelling the idea that spatially extended objects have proper parts at every sub-volume of the region they occupy. It seems that the defender of extended simples must reject a seemingly plausible claim, what Simons calls the geometric correspondence principle (GCP): that any (spatially) extended object has parts that correspond to the parts of the region that it occupies (Simons 2004: 371). We disagree. We think that GCP is a plausible principle. We also think it is plausible that our world is composed of extended simples. We reconcile these two notions by two means. On the one hand we pay closer attention to the physics of our world. On the other hand, we consider what happens when our concept of something—in this case space—contains elements not all of which are realized in anything, but instead key components are realized in different features of the world. (shrink)

When the Necessity of Identity (NI) is combined with Composition as Identity (CAI), the contingency of composition (CC) is at risk. In the extant literature, either NI is seen as the basis for a refutation of CAI or CAI is associated with a theory of modality, such that: either NI is renounced (if counterpart theory is adopted); or CC is renounced (if the theory of modal parts is adopted). In this paper, we investigate the prospects of a new variety of (...) CAI, which aims to preserve both NI and CC. This new variety of CAI (CCAI, Contingent Composition as identity) is the quite natural product of the attempt to make sense of CAI on the background of a broadly Kripkean view of modality, such that one and the same entity is allowed to exist at more than one possible world. CCAI introduces a world-relative kind of identity, which is different from standard identity, and claims that composition is this kind of world-relative identity. CCAI manages to preserve NI and CC. We compare CCAI with Gibbard’s and Gallois’ doctrines of contingent identity and we show that CCAI can be sensibly interpreted as a form of Weak CAI, that is of the thesis that composition is not standard identity, yet is significantly similar to it. (shrink)

Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On the (...) basis of this extension we analyse the standard logical opposition relations for assertions and hypotheses. We formulate a pragmatic square of oppositions for assertions and a hexagon of oppositions for hypotheses. Finally, we give a mixed hexagon of oppositions to point out the opposition relations for assertions and hypotheses. (shrink)

We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...) S4 modal translation, we give a de nition of a system AHL of bi-intuitionistic logic that correctly represents the duality between intuitionistic and co-intuitionistic logic, correcting a mistake in previous work [7, 10]. A computational interpretation of cointuitionism as a distributed calculus of coroutines is then used to give an operational interpretation of subtraction.Work on linear co-intuitionism is then recalled, a linear calculus of co-intuitionistic coroutines is de ned and a probabilistic interpretation of linear co-intuitionism is given as in [9]. Also we remark that by extending the language of intuitionistic logic we can express the notion of expectation, an assertion that in all situations the truth of p is possible and that in a logic of expectations the law of double negation holds. Similarly, extending co-intuitionistic logic, we can express the notion of conjecture that p, de ned as a hypothesis that in some situation the truth of p is epistemically necessary. (shrink)

According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, relative (...) counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (shrink)

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

In this article I examine the compatibility of a leading trope bundle theory of substance, so-called Nuclear Theory, with trope theory more generally. Peter Simons (1994) originally proposed Nuclear Theory (NT), and continues to develop (1998, 2000) and maintain (2002/03) the view. Recently, building on Simons’s theory, Markku Keinänen (2011) has proposed what he calls the Strong Nuclear Theory (SNT). Although the latter is supposed to shore up some of NT’s weaknesses, it continues to maintain NT’s central tenet, (...) the premise that tropes are variously existentially interdependent. I argue that the central tenet of NT frustrates several important aims of trope theory. If my arguments go through, they also implicate SNT. Because of this, I largely set aside other aspects of NT and SNT and focus on their shared central tenet. (shrink)

Are identity criteria grounding principles? A prima facie answer to this question is positive. Specifically, two-level identity criteria can be taken as principles related to issues of identity among objects of a given kind compared with objects of a more basic kind. Moreover, they are grounding metaphysical principles of some objects with regard to others. In the first part of the paper we criticise this prima facie natural reading of identity criteria. This result does not mean that identity criteria could (...) not be taken as grounding principles. In the second part, we propose some basic steps towards a conceptual reading of grounding. Such a way of understanding it goes along with an epistemic reading of identity criteria. (shrink)

In this paper, we argue for a novel three-dimensionalist solution to the problem of persistence, i.e. cross-temporal identity. We restrict the discussion of persistence to simple substances, which do not have other substances as their parts. The account of simple substances employed in the paper is a trope-nominalist strong nuclear theory, which develops Peter Simons' trope nominalism. Regarding the distinction between three dimensionalism and four dimensionalism, we follow Michael Della Rocca's formulation, in which 3D explains persistence in virtue of (...) same entities and 4D in virtue of distinct entities. SNT is a 3D'ist position because it accounts for the persistence of simple substances in virtue of diachronically identical ‘nuclear’ tropes. The nuclear tropes of a simple substance are necessary for it and mutually rigidly dependent but distinct. SNT explains qualitative change by tropes that are contingent to a simple substance. We show that it avoids the standard problems of 3D: temporal relativization of ontic predication, Bradley's regress and coincidence, fission and fusion cases. The temporal relativization is avoided because of the analysis of temporary parts that SNT gives in terms of temporal sub-location, which is atemporal part–whole relation. (shrink)

To a first approximation, ontology is concerned with what exists, metaontology with what it means to say that something exists. So understood, metaontology has been dominated by three views: (i) existence as a substantive first-order property that some things have and some do not, (ii) existence as a formal first-order property that everything has, and (iii) existence as a second-order property of existents’ distinctive properties. Each of these faces well-documented difficulties. In this chapter, I want to expound a fourth theoretical (...) option, which unfortunately has remained ‘under the radar.’ This is Franz Brentano’s view, according to which to say that X exists is not to attribute a property at all (first- or second-order), but to say that the correct attitude to take toward X is that of accepting or believing in it. (shrink)

I argue that we can and should extend Tarski's model-theoretic criterion of logicality to cover indefinite expressions like Hilbert's ɛ operator, Russell's indefinite description operator η, and abstraction operators like 'the number of'. I draw on this extension to discuss the logical status of both abstraction operators and abstraction principles.

In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.

In 1890 Christian von Ehrenfels published his classic paper "Über 'Gestaltqualitäten'", the first systematic investigation of the philosophy and psychology of Gestalt. Ehrenfels thereby issued an important challenge to the psychological atomism that was still predominant in his day. His paper not only exerted a powerful influence on the philosophy of the Meinong school, it also marked the beginning of the Gestalt tradition in psychology, later associated with the work of Wertheimer, Köhler and Koffka in Berlin. Includes papers by C. (...) Von Ehrenfels, Kurt Grelling and Paul Oppenheim and contributions by K. Mulligan, P.M. Simons and Barry Smith. (shrink)

Peter Simons has argued that the expression ‘the universe’ is not a genuine singular term: it can name neither a single, completely encompassing individual, nor a collection of individuals. (It is, rather, a semantically plural term standing equally for every existing object.) I offer reasons for resisting Simons’s arguments on both scores.

According to strong composition as identity, the logical principles of one–one and plural identity can and should be extended to the relation between a whole and its parts. Otherwise, composition would not be legitimately regarded as an identity relation. In particular, several defenders of strong CAI have attempted to extend Leibniz’s Law to composition. However, much less attention has been paid to another, not less important feature of standard identity: a standard identity statement is true iff its terms are coreferential. (...) We contend that, if coreferentiality is dropped, indiscernibility is no help in making composition a genuine identity relation. To this aim, we analyse as a case study Cotnoir’s theory of general identity, in which indiscernibility is obtained thanks to a revisionary semantics and true identity statements are allowed to connect non-coreferential terms. We extend Cotnoir’s strategy for indiscernibility to the relation of comaternity, and we show that, neither in the case of composition nor in that of comaternity, indiscernibility contibutes to show that they are genuine identity relations. Finally, we compare Cotnoir’s approach with other versions of strong CAI endorsed by Wallace, Bøhn, and Hovda, and canvass the extent to which they violate coreferentiality. The comparative analysis shows that, in order to preserve coreferentiality, strong CAI is forced to adopt a non-standard semantic treatment of the singular/plural distinction. (shrink)

This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that such objections (...) show consequenceto be a primitive, indefinable notion, and that we must reject the claim that valid arguments necessarily preserve truth. We suggest that the accountsin question have the resources to meet the objections standardly thought to herald their demise and make two main claims: (i) that consequence, as opposed to logical consequence, is the epistemologically significant relation philosophers should be mainly interested in; and (ii) that consequence is a paradoxical notion if truth is. (shrink)

Fiat objects may come into existence by intentional explicit defnition and convention or they can be the result of some spontaneous and unintentional activity resulting in tracing fat spatial boundaries. Artifacts and fiat objects seem intuitively to be correlated: both artifacts and fiat objects depend for their existence on agents and their intentions. Is it possible to consider fiat objects as artifacts and to what extent? Or else can we conceive at least some artifacts as fiat objects? In order to (...) draw a map of the possible answers to these two questions we will take into account various defnitions of artifacts stemming from the two classical approaches: the intentional and the functional one. (shrink)