A crucial question for a process view of life is how to identify a process and how to follow it through time. The genidentity view can contribute decisively to this project. It says that the identity through time of an entity X is given by a well-identified series of continuous states of affairs. Genidentity helps address the problem of diachronic identity in the living world. This chapter describes the centrality of the concept of genidentity for David Hull and proposes an (...) extension of Hull’s view to the ubiquitous phenomenon of symbiosis. Finally, using immunology as a key example, it shows that the genidentity view suggests that the main interest of a process approach is epistemological rather than ontological and that its principal claim is one of priority, namely that processes precede and define things, and not vice versa. (shrink)

Theories about the ontological structure of the world have generally been described in informal, intuitive terms. This book offers an account of the general features and methodology of formal ontology. The book defends conceptual realism as the best system to adopt based on a logic of natural kinds. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme.

This book argues that a plausible account of emergence requires replacing the traditional assumption that what primarily exists are particular entities with generic processes. Traversing contemporary physics and issues of identity over time, it then proceeds to develop a metaphysical taxonomy of emergent entities and of the character of human life.

1. 1. PROGRAM It will be our aim to reconstruct, with precision, certain views which have been traditionally associated with nominalism and to investigate problems arising from these views in the construction of interpreted formal systems. Several such systems are developed in accordance with the demand that the sentences of a system which is acceptable to a nominalist must not imply the existence of any entities other than individuals. Emphasis will be placed on the constructionist method of philosophical analysis. To (...) follow this method is to introduce the central notions of the subject-matter to be investigated into a system governed by exact rules. For example, the constructionist method of investigating the properties of geometric figures may consist in formulating a system of postulates and definitions which, together with the apparatus of formal logic, generates all necessary truths concerning geometric figures. Similarly, a constructionist analysis of the notion of an individual may take the form of an axiomatic theory whose provable assertions are just those which seem essential to the role played by the concept of an individual in system atic contexts. Such axiomatic theories gain in interest if they are supple mented by precise semantical rules specifying the denotation of all terms and the truth conditions of all sentences of the theory. (shrink)

Premise: our representational system has had a relatively invariant core throughout human history (cf. Sellars's manifest image). Major theses: (i) When philosophical argument establishes the existence of an entity, that entity is a representing, not a represented. (ii) Most of the documents in the history of philosophy are on a par (as dialogical resources) with current philosophical literature for establishing or controverting such existence claims. (iii) The use of mathematics (initially the mathematized neo-Platonism of classical mechanics) allowed modern physical science (...) to break with the perennial system of representation; in consequence, a portion of the representings of modern physical scientists do not belong to the historically invariant core. This limits the dialogical resources of physical science and the applicability of arguments from perennial philosophy to science. It also explains the relative irrelevance of pre-17th century science to contemporary physical scientists in contrast to the relevance of pre-17th century philosophy to contemporary philosophers. It also supports thesis (iv), that logic (broadly conceived) in central to all serious philosophical enterprises, since logic is the central tool for exhibiting and criticizing the rationale(s) of our representational system(s). Support for these theses will be found in the paper. (shrink)

ABSTRACT:For over a century there has been a protracted effort in American philosophy to use Darwinian explanatory resources in order to make certain leading ideas in German idealism naturalistically intelligible. I trace some of the nineteenth and twentieth century contours of this effort. In doing so I outline an understanding of ourselves as norm-laden persons in a natural world. As a consequence, philosophical inquiry—understood in C. S. Peirce's sense as the practice of the ‘normative sciences’ of aesthetics, logic, and ethics—can (...) be understood as the self-conscious and rational exercise of natural and socially conditioned capacities to sense, think, and act. This leaves us with a project, by no means completed, to frame categories through which to understand thesociohistorical developmentof the notions of beauty, truth, and goodness as a process continuous with thenatural evolutionof the nervous system in its sensory, central, and motor moments. (shrink)

An adequate semantics for generic sentences must stake out positions across a range of contested territory in philosophy and linguistics. For this reason the study of generic sentences is a venue for investigating different frameworks for understanding human rationality as manifested in linguistic phenomena such as quantification, classification of individuals under kinds, defeasible reasoning, and intensionality. Despite the wide variety of semantic theories developed for generic sentences, to date these theories have been almost universally model-theoretic and representational. This essay outlines (...) a range of proof-theoretic analyses for characterizing generics. Particular attention is given to an expressivist proof-theory that can be traced to 1) work on logical syntax that Carnap undertook prior to his turn toward truth-conditional model theory in the late 1930s, and 2) research on sequent calculi and natural deduction systems that originate in work from Gentzen and Prawitz.1. (shrink)

This paper argues that ‘that’-clauses are not singular terms (without denying that their semantical values are propositions). In its first part, three arguments are presented to support the thesis, two of which are defended against recent criticism. The two good arguments are based on the observation that substitution of ‘the proposition that p’ for ‘that p’ may result in ungrammaticality. The second part of the paper is devoted to a refutation of the main argument for the claim that ‘that’-clauses are (...) singular terms, namely that this claim is needed in order to account for the possibility of quantification into ‘that’-clause position. It is shown that not all quantification in natural languages is quantification into the position of singular terms, but that there is also so-called ‘non-nominal quantification’. A formal analysis of non-nominal quantification is given, and it is argued that quantification into ‘that’-clause position can be treated as another kind non-nominal quantification. (shrink)

Since the linguistic turn, many have taken semantics to guide ontology. Here, I argue that semantics can, at best, serve as a partial guide to ontological commitment. If semantics were to be our guide, semantic data and semantic treatments would need to be taken seriously. Through an examination of plurals and their treatments, I argue that there can be multiple, equally semantically adequate, treatments of a natural language theory. Further, such treatments can attribute different ontological commitments to a theory. Given (...) this, I argue that semantics can fail to deliver determinate ontological commitments and determinate answers to ontological questions, more generally. (shrink)

What are reasons? For example, if you’re aware that your secretary plans to expose you, and you resign to avoid a scandal, what is your reason for resigning? Is your reason the fact that your secretary plans to expose you? If so, what kinds of facts are eligible to be reasons? Can merely possible facts be reasons (for actual subjects)? Can merely apparent facts? Or are reasons rather attitudes? Are your reasons for resigning your belief that your secretary plans to (...) expose you, and your desire to avoid a scandal? Or are reasons propositions? If so, which propositions? Only propositions that the subject believes and desires? Only propositions that are true? (On some views, those will be facts; on other views, not.). (shrink)

Sellars [1960, ‘Grammar and existence: A preface to ontology’] argues that the truth of a second-order sentence does not incur commitment to there being any sort of abstract entity. This paper begins by exploring the arguments that Sellars offers for the above claim. It then develops those arguments by pointing out places where Sellars has been unclear or ought to have said more. In particular, Sellars's arguments rely on there being a means by which language users could come to understand (...) sentences of a second-order language wherein the truth of second-order existential sentences do not require there to be abstract entities. In addition to this, as Sellars [1979, Naturalism and Ontology] notes, a formal account of quantification is required that does not make use of the apparatus of sequences. Both such a translation of and a formal account of quantification are provided in this article. (shrink)

According to the species of neo-logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo-fregeanism-a general conception of the relation between language and reality; (2) the method of abstraction-a particular method for introducing concepts into language; (3) the scope of logic-second-order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...) The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second-order logic is set theory in disguise. (shrink)

According to the species of neo‐logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo‐fregeanism—a general conception of the relation between language and reality; (2) the method of abstraction—a particular method for introducing concepts into language; (3) the scope of logic—second‐order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...) The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second‐order logic is set theory in disguise.The irresistible metaphor is that pure abstract objects […] are no more than shadows cast by the syntax of our discourse. And the aptness of the metaphor is enhanced by the reflection that shadows are, after their own fashion, real. (Crispin Wright [1992], p. 181–2)But I feel conscious that many a reader will scarcely recognise in the shadowy forms which I bring before him his numbers which all his life long have accompanied him as faithful and familiar friends; (Richard Dedekind [1963], p. 33)1 Introduction2 Logical‐historical preliminaries3 The linguistic turn4 Reductionism5 Rejectionism6 The ‘Julius Caesar’ problem7 Second‐order logic8 Bad company objections9 Conclusion. (shrink)

Whether a predicate is a referential expression depends upon what reference is conceived to be. Even if it is granted that reference is a relation between words and worldly items, the referents of expressions being the items to which they are so related, this still leaves considerable scope for disagreement about whether predicates refer. One of Frege's great contributions to the philosophy of language was to introduce an especially liberal conception of reference relative to which it is unproblematic to suppose (...) that predicates are referring expressions. According to this liberal conception, each significant expression in a language has its own distinctive semantic role or power, a power to effect the truth-value of the sentences in which it occurs. (shrink)

In this article, I argue that, for the purpose of developing an effective critical social ontology about gender groups, it is not simply sufficient to carve gender groups at their joints: one must have in view whether the metaphysical categories we use to make sense of gender groups are prone to ideological distortion and vitiation. The norms underpinning a gender group's constitution as a type of social class and the norms involved in gender identity attributions, I propose, provide compelling reason (...) to think critical social ontological discourse is more processist-orientated, rather than substantival-orientated. The advantages of a processist critical social ontology of gender groups are that, unlike substance-discourse, process-discourse recognizes how gender group talk and gender identity talk are often messy and therefore require a conceptual scheme that can transform vocabulary for the emancipatory purpose of ending oppression, domination, and marginalization. (shrink)

In this article, I argue that, for the purpose of developing an effective critical social ontology about gender groups, it is not simply sufficient to carve gender groups at their joints: one must have in view whether the metaphysical categories we use to make sense of gender groups are prone to ideological distortion and vitiation. The norms underpinning a gender group's constitution as a type of social class and the norms involved in gender identity attributions, I propose, provide compelling reason (...) to think critical social ontological discourse is more processist-orientated, rather than substantival-orientated. The advantages of a processist critical social ontology of gender groups are that, unlike substance-discourse, process-discourse recognizes how gender group talk and gender identity talk are often messy and therefore require a conceptual scheme that can transform vocabulary for the emancipatory purpose of ending oppression, domination, and marginalization. (shrink)

RÉSUMÉDans cet article, je soutiens que le « manifeste du processus » de John Dupré et Daniel Nicholson est ironiquement plus sympathique à la métaphysique descriptive qu’à la métaphysique révisionniste. En me concentrant sur leur argument selon lequel toute philosophie du processus glisse automatiquement dans l'obscurantisme Whiteheadien lorsqu'elle ne se contente pas de révéler seulement les caractéristiques problématiques du langage ordinaire, je soutiens que leur position dissimule un espace logique dans lequel la métaphysique révisionniste s'articule sans aucun obscurantisme Whiteheadien et (...) n'implique aucun apauvrissement de l'orientation critique/révisionniste. Je soutiens que les caractéristiques clés des ontologies sociales critiques respectives de Judith Butler et Talia Mae Bettcher occupent un tel espace logique. (shrink)

Few if any distinctions are more easily recognisable and assented to than that between _objects_, that is, things which are some ways, and that which they are, that is, _ways for objects to be_ (‘ways of being’ for short). In this paper I present an argument designed to show that this distinction is indeterminate in the sense that the truth-conditions of predicational sentences leave open what should count as an object and a way of being. The bulk of the argument (...) is inspired by the celebrated permutation argument advanced by Quine, Wallace, Putnam and others. (shrink)

Wilfrid Sellars is usually read as claiming that only the unobservable, theoretical objects which science would postulate at the ideal end of inquiry are real. Against this, Willem deVries has suggested that we can develop a notion of practical reality in the context of Sellars's philosophy which would pertain primarily to commonsense objects. I use deVries's suggestion as a foil to clarify Sellars's own commitments about the practical. I show that the notion of practical reality is not necessary to secure (...) the ultimate legitimacy of practical concepts. We can retreat to the less committed notion of practical truth. I argue that the notion of practical truth may not be sufficient to ensure that ultimately legitimate practical concepts are commonsense concepts in Sellars's framework. Nevertheless, deVries's suggestion highlights that Sellars's vision of an ultimate conceptual system may have been richer than is often thought. (shrink)

The notion of a "class as many" was central to Bertrand Russell''s early form of logicism in his 1903 Principles of Mathematics. There is no empty class in this sense, and the singleton of an urelement (or atom in our reconstruction) is identical with that urelement. Also, classes with more than one member are merely pluralities — or what are sometimes called "plural objects" — and cannot as such be themselves members of classes. Russell did not formally develop this notion (...) of a class but used it only informally. In what follows, we give a formal, logical reconstruction of the logic of classes as many as pluralities (or plural objects) within a fragment of the framework of conceptual realism. We also take groups to be classes as many with two or more members and show how groups provide a semantics for plural quantifier phrases. (shrink)

A semantic analysis of mass nouns is given in terms of a logic of classes as many. In previous work it was shown that plural reference and predication for count nouns can be interpreted within this logic of classes as many in terms of the subclasses of the classes that are the extensions of those count nouns. A brief review of that account of plurals is given here and it is then shown how the same kind of interpretation can also (...) be given for mass nouns. (shrink)

Bertrand Russell introduced several novel ideas in his 1903 Principles of Mathematics that he later gave up and never went back to in his subsequent work. Two of these are the related notions of denoting concepts and classes as many. In this paper we reconstruct each of these notions in the framework of conceptual realism and connect them through a logic of names that encompasses both proper and common names, and among the latter, complex as well as simple common names. (...) Names, proper or common, and simple or complex, occur as parts of quantifier phrases, which in conceptual realism stand for referential concepts, i.e., cognitive capacities that inform our speech and mental acts with a referential nature and account for the intentionality, or directedness, of those acts. In Russell’s theory, quantifier phrases express denoting concepts (which do not include proper names). In conceptual realism, names, as well as predicates, can be nominalized and allowed to occur as "singular terms", i.e., as arguments of predicates. Occurring as a singular term, a name denotes, if it denotes at all, a class as many, where, as in Russell’s theory, a class as many of one object is identical with that one object, and a class as many of more than one object is a plurality, i.e., a plural object that we call a group. Also, as in Russell’s theory, there is no empty class as many. When nominalized, proper names function as "singular terms" just the way they do in so-called free logic. Leśniewski’s ontology, which is also called a logic of names can be completely interpreted within this conceptualist framework, and the well-known oddities of Leśniewski’s system are shown not to be odd at all when his system is so interpreted. Finally, we show how the pluralities, or groups, of the logic of classes as many can be used as the semantic basis of plural reference and predication. We explain in this way Russell’s "fundamental doctrine upon which all rests", i.e., "the doctrine that the subject of a proposition may be plural, and that such plural subjects are what is meant by classes [as many] which have more than one term" (Russell 1938, p. 517). (shrink)

Achille Varzi è uno dei maggiori metafisici viventi. Nel corso degli anni ha scritto testi fondamentali di logica, metafisica, mereologia, filosofia del linguaggio. Ha sconfinato nella topologia, nella geografia, nella matematica, ha ragionato di mostri e confini, percezione e buchi, viaggi nel tempo, nicchie, eventi e ciambelle; e non ha disdegnato di dialogare con gli abitanti di Flatlandia, con Neo e con Terminator. Tra le sue opere principali: Holes and Other Superficialities e Parts and Places. The Structures of Spatial Representation, (...) entrambi scritti insieme a R. Casati per MIT Press; Il mondo messo a fuoco, Laterza; e il suo libro più recente: Le tribolazioni del filosofare, con C. Calosi, per Laterza. -/- Da una giornata all’Università di Urbino nasce questa conversazione a molte voci sulla e con la filosofia di Achille C. Varzi. In un dialogo critico al quale l’Autore si presta con generosità e onestà intellettuale, Andrea Borghini, Francesco Calemi, Claudio Calosi, Elena Casetta, Valeria Giardino, Pierluigi Graziani, Patrizia Pedrini, Daniele Santoro e Giuliano Torrengo lo interrogano e mettono alla prova sui temi affrontati, nel corso degli anni, in campi diversi. Il risultato è un percorso che si snoda attraverso molti mondi, dalla logica alla metafisica, dalla filosofia del linguaggio alla filosofia della matematica, dalla mereologia alla filosofia del tempo, spingendosi in qualche caso oltre i confini del saggio filosofico. (shrink)

2020 update of the entry "Properties".

Se leggiamo tra le righe del suo lavoro, possiamo scoprire che Varzi prende i mostri molto sul serio. Troviamo, per esempio, mostri mereologici frutto della composizione non ristretta, come l’entità costituita dalla metà sinistra di questa mela e dal bracciolo di quella poltrona.10 Oppure mostri topologici dai quali una teoria mereotopologica delle nicche deve rifuggire, come le curve riempispazio di Peano e Hilbert.11 O, ancora, mostri ontologici come l’antimateria;12 le entità “inesistenti” che, come si sa, non possono esistere, dato che (...) non ci sono cose che non esistono; e le entità “negative”: buchi, mancanze e omissioni, conferenze non date.13 In questo contributo, seguendo il suggerimento di Varzi, parlerò, appunto, di mostri, prendendo l’avvio da alcune creature che popolano il regno della finzione, per poi passare a trattare dei mostri che popolano il nostro mondo. Essendo poco lo spazio e molti i mostri, procederò dapprima proponendone una tassonomia – punto di partenza per ogni generalizzazione che si rispetti – e in seguito cercando di illustrare perché i mostri vadano presi sul serio in metafisica. È d’obbligo precisare che si tratterà di una tassonomia parziale e provvisoria, ma lo è altrettanto ricordare che le tassonomie, quelle biologiche in particolare, lo sono sempre, per due ragioni. In parte, perché la vita è in costante evoluzione, in parte perché le nostre conoscenze e decisioni condizionano la struttura e i contenuti dei nostri sistemi di categorie: basti pensare che la prima edizione del Systema naturae di Linneo contava undici pagine, mentre la tredicesima ben tremila, ripartite in sei volumi. Quando un tassonomo scopre un organismo che ritiene – dopo accurati esami comparativi – essere appartenente a una specie fino ad allora sconosciuta, ne deposita nella letteratura scientifica, insieme al nome binomiale (cioè il nome specifico, composto dall’indicazione del genere e della specie, come Homo sapiens), una descrizione in termini di caratteri fenetici. Quel token è chiamato tipo nomenclaturale, o esemplare-tipo, ed è il portatore del nome della specie di cui viene considerato tipo. Sulla falsariga della procedura appena descritta, riporterò la descrizione di alcuni tipi nomenclaturali per una tassonomia mostruosa che si baserà su tre criteri principali: (1) l’origine, (2) la costituzione genetica, (3) l’aspetto fenotipico. Prima di procedere, vorrei però sottolineare tre rispetti sotto i quali classificare mostri mitologici differisce dal classificare individui “ordinari”. Innanzitutto, nel caso dei mostri mitologici non è possibile, a causa del frequente intervento divino, ricorrere al criterio dell’interfecondità per stabilire se due mostri appartengono alla medesima specie. Ma d’altro canto, tale criterio, benché sia abbastanza affidabile per gli animali, non lo è affatto, per ragioni diverse dai mostri, per molte piante, alghe e funghi. Un’altra peculiarità da segnalare – di cui però non avremo modo di occuparci oltre – è che le entità mitologiche sono frequentemente soggette a trasformazioni sostanziali, mentre la nostra biologia sembra, aristotelicamente, escluderne la possibilità: una tigre non può trasformarsi in un canguro, pena la sua uscita dall’esistenza. Meno paradossalmente, una larva di mosca e la mosca adulta saranno considerate appartenenti alla medesima sorta – la mosca, appunto – benché dall’una all’altra non vi sia praticamente alcuna continuità materiale (nella metamorfosi la larva viene distrutta quasi completamente e l’adulto si genera a partire da pochi aggregati cellulari indifferenziati). Infine, nel caso dei mostri mitologici, parlerò più genericamente di “gruppo tassonomico” anziché di “specie” (e dunque il nome dei tipi nomenclaturali non sarà un nome binomiale) dal momento che, come diverrà chiaro nel corso della lettura, è proprio il concetto di “specie” come diverrà chiaro nel corso della lettura, è proprio il concetto di “specie” come articolazione naturale non oltrepassabile che i mostri che andiamo a classificare ci chiedono di mettere in discussione. (shrink)

La storia della nascita, utilizzo e declino delle notazioni scientifiche costituisce un’area di indagine importante che può aiutare le nostre analisi del pensiero scientifico e la sua evoluzione. […] this history constitutes a mirror of past and present conditions in mathematics which can be made to bear on the notational problems now confronting mathematics. The successes and failures of the past will contribute to a more speedy solutions of the notational problems of the present times.Questa storia, ovviamente, coinvolge anche le (...) notazioni della logica. Il presente contributo intende proporre un nuovo insieme di simboli per una particolare teoria logica: la Mereologia Formale, in considerazione del fatto che questa teoria, pur avendo avuto trattazioni sistematiche, non ha allo stato attuale ancora raggiunto un sistema di notazioni condiviso dagli studiosi. Tale stato dell’arte è espressione, da un lato, di un legame della teoria al suo nascere con la notazione polacca, e del suo confronto con la Teoria Assiomatica degli Insiemi; dall’altro, del fatto che essa ha ricevuto solo in tempi recenti sistematiche applicazioni alle scienze.94 In tale prospettiva ho ritenuto necessario definire in primo luogo dei criteri attraverso cui procedere alla costruzione del sistema di simboli. Criteri desunti in parte dalla storia delle notazioni scientifiche nella loro evoluzione, in parte dalla pratica personale nell’uso di strumenti formali. (shrink)

Anselm's argument for the existence of God in Proslogion Chap.II starts from the contention that `lq when a Fool hears `something-than-which-nothing-greater-can-be-thought', he understands what he hears, and what he understands is in his mind. This is a special feature of the Pros.II argument which distinguishes the argument from other ontological arguments set up by, for example, Descartes and Leibniz. This is also the context which makes semantics necessary for evaluation of the argument. It is quite natural to ask `lq What (...) is understood by the Fool, and what is in his mind? It is essential for a proper consideration of the argument to identify the object which is understood by the Fool, and so, is in his mind. A semantics gives answers to the questions of `lq What the Fool understands? and `lq What is in the Fool's mind? If we choose a semantics as a meta-theory to interpret the Pros.II argument, it makes an effective guide to identify the object. It is a necessary condition for a proper evaluation of the Pros.II argument to fix our universe of discourse, especially since, in the argument, we are involved in such talk about existing objects as Anselm's contention that `when a Fool hears `something-than-which-nothing-greater-can-be-thought', he understands what he hears, and what he understands is in his mind. The ontology to which a semantic theory commits us will be accepted as our scope of objects when we introduce our semantic theory to interpret the Pros.II argument, and this ontological boundary constrains us to identify the object in a certain way. Consistent application of an ontology, most of all, is needed for the evaluation of the logical validity of an argument. If we take Frege's three-level semantics, we are ontologically committed to intensional entities, like meaning, as well as extensional entities. Sluga contends that Frege's anti-psychologism for meanings should not be interpreted as vindicating reification of intensional entities in relation to Frege's contextualism, that Frege's anti-psychologism with his contextualism is nothing but a linguistic version of Kantian philosophy for the transcendental unity of a judgement. There is, however, another possible interpretation of Frege's contextualism. According to Dummett, the significance of Frege's contextualism must be understood as a way of explanation for a word's having meaning. If Dummett's view is cogent, we could say that Frege's contextualism does not prevent our interpreting his semantics as being committed to intensional entities. We need not worry that Frege's over all semantics, especially with his contextualism, would internally deny the ontological interpretation of his theory. We see Anselm's argument for the existence of God in Pros.II is an invalid argument if we introduce Frege's three-level semantics, i.e. if we acknowledge meanings of words as entities in our universe of discourse. We can also employ extensional semantics for the interpretation of the Pros.II argument. According to extensionalists, like Quine and Kripke, we need not assume intensional entities, like meaning, to be part of our ontological domain. They argue that we can employ our language well enough without assuming intensional entities. If we choose extensional semantics as a meta-theory to interpret the Pros.II argument, it commits us only to extensional entities as objects in the Universe of our interpretation. In Sections 1.4 and 1.5, I show that extensional semantics makes the Pros.II argument a valid argument for the existence of God. `lq Necessary existence is the central concept of Anselm's argument for the existence of God in Proslogion Chap.III. It has been said that, even if the argument is formally valid, it cannot stand as a valid argument for the existence of God, since `lq necessary existence is an absurd concept like `lq round square. And further that even if there is a meaningful combination of concepts for `lq necessary existence, it cannot quality as a subject of an a priori argument. As objections to the interpretations which make the Pros.III argument valid, it has been argued that even if there is a concept of `lq necessary existence which is meaningful and there is another concept of `lq necessary existence which is suitable as a subject of an a priori argument, there is no concept of `lq necessary existence which is meaningful and at the same time suitable as a subject of an a priori argument. In Chap.2 and Chap.3, I try to show that there can be concepts of `lq necessary existence which are proof against these objections. Anselm's arguments for the existence of God in Proslogian Chap.II and Chap.III are logically valid arguments on some logical principles. Some fideists, K. Barth, for example, argue that Anselm's arguments for the existence of God in Proslogion are not proofs for the existence of God even if they are logically valid arguments. I raise the question how this attitude could be possible, in Chap.4 and Chap.5. Barth's fideistic interpretation of Anselm's Proslogion arguments does not find any flaw in the validity of the arguments, and it accepts the meaningfulness and truth of the premises even to the fool in Proslogion. If this is the case, i.e. if Barth's interpretation accepts the validity of the arguments and the truth of the premises, I raise the question, how can the arguments not be interpreted as proofs for the existence of God? How is it possible that the function of the arguments is not that of proving the existence of God? According to Wittgensteinian fideism, premises in the arguments should not be intelligible to those who do not believe in God's existence already, and so the real function of the arguments is the elucidation, the understanding of believer's belief, rather than proving articles of belief to unbelievers. Barth's fideistic interpretation of the arguments, however, fully recognizes the meaningfulness and truth of the premises in the arguments as well as the validity of the arguments. I argue that there could be a justification for the Barthian fideism. As Malcolm notices, there are still atheists who understand Anselm's arguments as valid, but the only possibility for the people who recognize the validity of Anselm's arguments still to remain atheists has been thought to be to challenge the truth of premises employed in the arguments. Now, of the atheistic possibility, we can change the direction of our attention, that is, to the question about the function of a logically valid argument itself. What has not been thought of in relation to Anselm's arguments is the significance of logical truth or the logical validity of an argument. We have not asked such questions as `lq What does a logical truth say? and `lq What does a logically valid argument guarantee with true premises? Let us assume that even the premises are accepted by atheists. Do they all convert to theism? If that were so, the disagreement between atheist and believer over the ontological arguments should turn only on the truth of premises. If that is not so, there is some point in raising this other question. If there are people who, recognizing the premises and validity of an argument, are still reluctant to accept the conclusion, we have reason to question the function of a valid argument. I argue that there is a way of being consistently reasonable while accepting the premises and the validity of the ontological arguments and yet remaining an atheist or an agnostic. (shrink)

In «Mancanze, omissioni, e descrizioni negative»,55 Achille Varzi esplora le conseguenze di una forma comune di ragionamento causale, quella in cui citiamo mancanze od omissioni nel fornire una spiegazione delle cause degli eventi. Tale forma appare di comune uso nei contesti normativi del diritto, nelle spiegazioni tipiche delle scienze sociali e, più in generale, nel ragionamento ordinario. Ciò che accomuna questi casi è l’idea intuitiva secondo cui le cause possono anche consistere in eventi negativi. L’intuizione non è però metafisicamente innocua, (...) poiché per affermare che una spiegazione come "C’è stata un’esplosione perché Gianni non ha spento il gas" sia una buona spiegazione, occorre assumere che gli eventi negativi come “il non aver spento il gas da parte di Gianni” esistano al pari di eventi come l’esplosione e dal momento che, solo se sono entrambi eventi, può tra questi sussistere una relazione casuale. Dovremmo pertanto concludere che (1) è perfettamente intellegibile e rispecchia le nostre pratiche linguistiche. Spesso parliamo assumendo che ci siano cose che le persone non fanno: il gas che Gianni non ha spento, la passeggiata che non abbiamo fatto, il treno che non è arrivato, ecc. La sensatezza di questi usi esige pertanto il dover riconoscere una certa legittimità al vocabolario delle omissioni e delle descrizioni negative. Varzi sostiene che questo modo di parlare solleva tuttavia degli scrupoli ontologici,56 poiché non è possibile assumersi alcun serio impegno ontologico nei confronti di eventi negativi, ancor meno quando le nostre asserzioni richiedono di quantificare su eventi “inesistenti”. Una strategia per ovviare a questo scrupolo è sostenere che queste pratiche linguistiche sono analoghe a quelle in cui parliamo di oggetti “inesistenti”, ossia di oggetti che è come se ci fossero, ma che riconosciamo esistere soltanto in un contesto finzionale. Dunque l’analogia con gli oggetti finzionali può rendere in qualche modo espliciti i vincoli ontologici, giustificando quegli usi linguistici. Sebbene questo argomento abbia la sua plausibilità, Varzi nota che «ad un esame più attento, gli eventi non accaduti si rivelano ben più resistenti al rasoio di Occam di quanto l’analogia con gli oggetti non esistenti suggerisca » poiché il nostro linguaggio causale ci induce spesso a ritenere che «il riferimento o la quantificazione nei confronti di eventi non accaduti sia da intendersi in senso stretto e letterale»,57 in contrasto con quanto suggerisce l’analogia con gli oggetti finzionali. La difficoltà nasce dall’argomento per cui, se la causazione è una relazione tra eventi, occorre prendere sul serio l’idea che gli eventi negativi siano negativi stricto sensu. La tesi di Varzi è che questa tesi sia una contraddizione genuina e che l’unico modo di risolverla sia di rinunciare all’idea che gli eventi negativi esistano in un qualsiasi senso. In questo articolo intendo analizzare un aspetto di questa forma di parsimonia ontologica. Il mio intento è di valutare le conseguenze della tesi di Varzi dal punto di vista della spiegazione causale in contesti controfattuali e nei casi di omissione del diritto. (shrink)

Poiché i miei interessi di ricerca si concentrano sul rapporto tra spazio e rappresentazione, nel presente articolo commenterò un lavoro di Achille C. Varzi pubblicato nel 2008 e intitolato, nella sua versione italiana, «Configurazioni, regole e inferenze». Accennerò anche a un secondo articolo scritto da Varzi e Massimo Warglien e pubblicato nel 2003, intitolato «The Geometry of Negation». Mi rivolgerò poi alla psicologia sperimentale, collegando alcuni aspetti delle osservazioni di Varzi a un articolo di Johnson- Laird del 2005 intitolato «The (...) Shape of Problems». Nelle conclusioni, farò un ultimo riferimento a un articolo di Varzi pubblicato nel 2000, scritto con Philip Kitcher e intitolato «Some Pictures Are Worth 2 אo Sentences». Le parole configurazioni, geometry, shape e picture nei titoli degli articoli di cui mi occuperò sono dei buoni indizi per capire quale sia il filo rosso che lega a mio avviso tutti questi lavori. (shrink)