The standard inferentialist approaches to modal logic tend to suffer from not being able to uniquely characterize the modal operators, require that introduction and elimination rules be interdefined, or rely on the introduction of possible-world like indexes into the object language itself. In this paper I introduce a hypersequent calculus that is flexible enough to capture many of the standard modal logics and does not suffer from the above problems. It is therefore an ideal candidate to underwrite an inferentialist theory (...) of meaning for modal operators. Here I treat specifically the modal logics K, D, T, S4, B, and S5. I show that the calculi are adequate for each set of models, and show that they meet a large set of criteria that are generally thought necessary for a calculus to underwrite a theory of meaning. (shrink)

The dissertation introduces new sequent-calculi for free first- and second-order logic, and a hyper-sequent calculus for modal logics K, D, T, B, S4, and S5; to attain the calculi for the stronger modal logics, only external structural rules need to be added to the calculus for K, while operational and internal structural rules remain the same. Completeness and cut-elimination are proved for all calculi presented.Philosophically, the dissertation develops an inferentialist, or proof-theoretic, theory of meaning. It takes as a starting point (...) that the sense of a sentence is determined by the rules governing its use. In particular, there are two features of the use of a sentence that jointly determine its sense, the conditions under which it is coherent to assert that sentence and the conditions under which it is coherent to deny that sentence. The dissertation develops a theory of quantification as marking coherent ways a language can be expanded and modality as the means by which we can reflect on the norms governing the assertion and denial conditions of our language. If the view of quantification that is argued for is correct, then there is no tension between second-order quantification and nominalism. In particular, the ontological commitments one can incur through the use of a quantifier depend wholly on the ontological commitments one can incur through the use of atomic sentences. The dissertation concludes by applying the developed theory of meaning to the metaphysical issue of necessitism and contingentism. Two objections to a logic of contingentism are raised and addressed. The resulting logic is shown to meet all the requirement that the dissertation lays out for a theory of meaning for quantifiers and modal operators.Abstract prepared by Andrew ParisiE-mail: andrew.p.parisi@gmail.comURL: https://opencommons.uconn.edu/dissertations/1480/. (shrink)

INDICE -/- Note biografiche Introduzione, di Riccardo Faucci -/- Parte I - Da Verri a Toniolo 1. Jeremy Bentham: Contemporary Interpretations, di M.D.A. Freeman 2. Su Helvétius, Beccaria e Bentham, di Letizia Gianformaggio 3. L'etica utilitaristica di Pietro Veti, di Vincenzo Polignano 4. ll liberismo interventista di Vincenzo Emanuele Sergio, di Anna Li Donni 5. Il concetto di " felicità pubblica, nella << Genesi del diritto penale » di Romagnosi, e il rapporto Romagnosi-Bentham, di Robertino Ghiringhelli 6. « La più (...) grande felicità per il maggior numero » all'Accademia dei Georgofili ( 18)0-1850), di Gabriella Gioli 7. Una nota su Manzoni critico dell'utilitarismo, di Maurizio Mori 8. Sul concetto di utile in Francesco Ferrara e in Maffeo Pantaleoni, di Daniela Parisi Acquaviva 9. Sul pensiero sociale cristiano di fronte all'edonismo, di Luciano Avagliano 10. Giuseppe Toniolo e il recupero cattolico dell'utile e del valore, di Anna Camaiti -/- Parte II Aspetti di storia del pensiero economico nell’età classica -/- 1. La filosofia economica di Thomas Hobbes, di Marco Bertozzi 2. Ordinamento del sapere, modelli metodologici ed economia politica in Adam Smith, di Sergio Cremaschi 3. Elementi classici nel pensiero di Adam Smith: giurisprudenza romana e morale stoica, di Gloria Vivenza 4. Il “lusso” negli economisti italiani del Settecento, di Cosimo Perrotta 5. Prezzi naturali, prezzi di mercato e legge degli sbocchi nel dibattito fra Malthus e Ricardo, di Lilia Costabile 6. Marx e la moneta, di Roberto Petrini -/- . (shrink)

Background:Women's health has received renewed attention in the last few years including health rehabilitation options for women affected by breast cancer. Dancing has often been regarded as one attractive option for supporting women's well-being and health, but research with women recovering from breast cancer is still in its infancy. Dancing with Health is multi-site pilot study that aimed to evaluate a dance programme for women in recovery from breast cancer across five European countries.Methods:A standardized 32 h dance protocol introduced a (...) range of Latin American dances presented within a sports and exercise framework with influences from dance movement therapy. Fifty-four women (M age 53.51; SD 7.99) participated in the study who had a breast cancer diagnosis 6 weeks, no indication of metastasis, or scheduled surgery/chemotherapy/radiation treatment for the duration of the intervention. Primary outcome data was collected for anthropometric and fitness measures next to cancer-related quality of life.T-tests and Wilcoxon signed ranked tests were used to establish differences pre and post intervention. Cohen's d was also calculated to determine the effect size of the intervention.Results:Statistically significant changes were found for: (i) weight, right and left forearm circumference and hip; (ii) 6 min walking, right and left handgrip, sit-to-stand and sit-and-reach; (iii) the EORTC-QLQ C30 summary score as well as the subscales of emotional and social functioning and symptoms. In all cases the direction of change was positive, while Cohen's d calculated showed that the effect of the intervention for these parameters ranged from intermediate to large.Conclusion:Changes on the above anthropometric, fitness and quality of life measures suggest that the intervention was of value to the participating women recovering from breast cancer. Results also advocate collaborative efforts across countries to further research. (shrink)

There is some complementarity of models for the origin of the electroencephalogram (EEG) and neural network models for information storage in brainlike systems. From the EEG models of Freeman, of Nunez, and of the authors' group we argue that the wavelike processes revealed in the EEG exhibit linear and near-equilibrium dynamics at macroscopic scale, despite extremely nonlinear – probably chaotic – dynamics at microscopic scale. Simulations of cortical neuronal interactions at global and microscopic scales are then presented. The simulations depend (...) on anatomical and physiological estimates of synaptic densities, coupling symmetries, synaptic gain, dendritic time constants, and axonal delays. It is shown that the frequency content, wave velocities, frequency/wavenumber spectra and response to cortical activation of the electrocorticogram (ECoG) can be reproduced by a “lumped” simulation treating small cortical areas as single-function units. The corresponding cellular neural network simulation has properties that include those of attractor neural networks proposed by Amit and by Parisi. Within the simulations at both scales, sharp transitions occur between low and high cell firing rates. These transitions may form a basis for neural interactions across scale. To maintain overall cortical dynamics in the normal low firing-rate range, interactions between the cortex and the subcortical systems are required to prevent runaway global excitation. Thus, the interaction of cortex and subcortex via corticostriatal and related pathways may partly regulate global dynamics by a principle analogous to adiabatic control of artificial neural networks. (shrink)

From the 2021 Nobel Prize winner in Physics, an enlightening and personal journey into the practice of groundbreaking science In In a Flight of Starlings, already a #1 bestseller in his native Italy, celebrated physicist Giorgio Parisi guides us through his unorthodox yet exhilarating work: investigating the principles of physics by observing the flight of flocks of birds. Studying the movements of these communities, he has realized, proves an illuminating way into understanding complex systems of all kinds-collections of everything (...) from atoms and planets to other animals like ourselves. Along the way, he reflects on the lessons he's taken from a life in pursuit of scientific truth: the importance of serendipity to the discovery of new ideas, the surprising kinship between physics and other disciplines, and the value of science to a thriving society. In so doing, he removes the practice of science from the confines of the laboratory and into the real world. Part elegant scientific treatise, part thrilling journey of discovery, In a Flight of Starlings is an invitation to find wonder in the world around us. (shrink)

In this short text, a distinguished philosopher turns his attention to one of the oldest and most fundamental philosophical problems of all: How it is that we are able to sort and classify different things as being of the same natural class? Professor Armstrong carefully sets out six major theories—ancient, modern, and contemporary—and assesses the strengths and weaknesses of each. Recognizing that there are no final victories or defeats in metaphysics, Armstrong nonetheless defends a traditional account of universals as the (...) most satisfactory theory we have.This study is written for advanced students, but as Armstrong goes considerably beyond his earlier work on this topic, it will interest professional scholars as well. Carefully plotted and clearly written, Universals is both a paradigm of exposition and a case study on the value of careful analysis of fundamental issues in philosophy. (shrink)

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

In social and cultural theory, topology has been used to articulate changes in structures and spaces of power. In this introduction, we argue that culture itself is becoming topological. In particular, this ‘becoming topological’ can be identified in the significance of a new order of spatio-temporal continuity for forms of economic, political and cultural life today. This ordering emerges, sometimes without explicit coordination, in practices of sorting, naming, numbering, comparing, listing, and calculating. We show that the effect of these practices (...) is both to introduce new continuities into a discontinuous world by establishing equivalences or similitudes, and to make and mark discontinuities through repeated contrasts. In this multiplication of relations, topological change is established as being constant, normal and immanent, rather than being an exceptional form, which is externally produced; that is, forms of economic, political and cultural life are identified and made legible in terms of their capacities for continuous change. Outlining the contributions to this Special Issue, the introduction discusses the meaning of topological culture and provides an analytic framework through which to understand its implications. (shrink)

This chapter explores the debate between contemporary projectivists or expressivists, and the advocates of sensibility theory. Both positions are best viewed as forms of sentimentalism — the theory that evaluative concepts must be explicated by appeal to the sentiments. It argues that the sophisticated interpretation of such notions as “true” and “objective” that are offered by defenders of these competing views ultimately undermines the significance of their meta-ethical disputes over “cognitivism” and “realism” about value. Their fundamental disagreement lies in moral (...) psychology; it concerns how best to understand the emotions to which sentimentalist theories must appeal. (shrink)

What has philosophy become after computation? Critical positions about what counts as intelligence, reason, and thinking have addressed this question by reenvisioning and pushing debates about the modern question of technology towards new radical visions. Artificial intelligence, it is argued, is replacing transcendental metaphysics with aggregates of data resulting in predictive modes of decision-making, replacing conceptual reflection with probabilities. This article discusses two main positions. While on the one hand, it is feared that philosophy has been replaced by cybernetic metaphysics, (...) on the other hand it is claimed that only the coconstitution of philosophy and automation challenges modern transcendental reason and colonial capital. As Donna Haraway pointed out, cybernetic circuits of communication have constructed counterfactual ontologies against the master narrative of the human. This article addresses recent attempts at redeveloping a critique of natural philosophy that explains cybernetic metaphysics beyond the universal master narratives of mechanicism and vitalism. This article suggests that the recursive system of nature and technology also needs to account for the problem of philosophical decision, which will be explored in terms of mediatic thinking, instrumentality, and automation. This article follows insights from the movie Get Out (2017) to argue that the model of philosophical decision relies on a servomechanic understanding of the medium of thought, based on the colonial abstraction of value in the prosthetic extension of the slave-machine. It explores the nonphilosophical envisioning of automation in terms of a counterfactual theorisation of the negative negation of the medium and argues for a nonoptical darkness entering the space of thinking. Philosophy and automation are neither coupled nor set in opposition as if in a ceaseless mirroring. Instead, both philosophy and automation must transform their self-determining axiomatics in order to host the heretic activities of machine propositions. (shrink)

Human beings possess external stores in which they put all sorts of goods to use them at some later time. In this paper we investigate this typically human adaptation using agent-based simulations. We show that the use of external stores explains many aspects of human life, allowing the agents to reduce their dependence on both the environment and the current state of their body and to be more efficient in extracting the energy contained in the environment. We analyse the spatial (...) behaviour of agents with external stores located in specific positions of the environment and we find that these agents tend to develop a sedentary life. We discuss how stores can be at the origin of many human mental and social phenomena such as the acquisition of a more extended temporal perspective, specialisation in producing different types of goods, and exchange of goods. (shrink)

This Article analyzes the interaction between the burden of proof and evidentiary discovery rules. Both sets of rules can affect incentives for prospective injurers to invest in evidence technology. This interaction becomes acutely important in the private international law setting, where jurisdictions are split on the question whether the burden of proof should be treated as a substantive or procedural matter. When a tort occurs in Europe, but the case is litigated in American courts, treating the burden of proof as (...) a procedural matter preserves the complementarity of incentives created by the burden of proof and evidentiary rules. Conversely, treating the burden of proof as a substantive matter creates a mismatch in incentives created by the burden of proof and evidentiary rules. (shrink)

As machines have become increasingly smart and have entangled human thinking with artificial intelligences, it seems no longer possible to distinguish among levels of decision-making that occur in the newly formed space between critical reasoning, logical inference and sheer calculation. Since the 1980s, computational systems of information processing have evolved to include not only deductive methods of decision, whereby results are already implicated in their premises, but have crucially shifted towards an adaptive practice of learning from data, an inductive method (...) of retrieving information from the environment and establishing general premises. This shift in logical methods of decision-making does not simply concern technical apparatuses, but is a symptom of a transformation in logical thinking activated with and through machines. This article discusses the pioneering work of Katherine Hayles, whose study of the cybernetic and computational infrastructures of our culture particularly clarifies this epistemological transformation of thinking in relation to machines. (shrink)

In Contagious Architecture, Luciana Parisi offers a philosophicalinquiry into the status of the algorithm in architectural and interaction design.

At the turn of the 21st century, topology, the mathematical study of spatial properties that remain the same under the continuous deformation of objects, has come to invest all fields of aesthetics and culture. In particular, the algebraic topology of continuity has added to the digital realm of binary information, the on and off states of 0s and 1s, an invariant property, which now governs the relation between different forms of data. As this invariant function of continual transformation has entered (...) the field of automated computation, the culture of binary digits has shifted towards a new level of calculation derived from the introduction of temporal quantities into finite sets of algorithmic instructions and parameters. This new level of topological computation, it will be argued, defines new operative procedures of control, constantly adding axioms at the limit of calculation through an invariant function that establishes a smooth or uninterrupted connectivity between distinct data. The establishment of a continual function between distinct forms of data is based on homeomorphism or topological isomorphism between data objects, of which parametricism, as the new global style for architecture and design, is a perfect example. (shrink)

Affiliation is both an antecedent and a consequence of emotional mimicry (i.e. imitating a counterpart’s emotional expression). Thus, interacting with a disliked partner can decrease emotional mimicry, which in turn can further decrease liking. This perpetuating circle has not been investigated in the context of mental health stigma yet. The present study tested the influence of the label “schizophrenia” on liking, interpersonal closeness, and emotional mimicry. In an online experiment (n = 201), participants recruited from the general population saw several (...) videos of actors displaying emotional expressions. Actors were described with one of four labels: “schizophrenia”, “healthy”, “diabetes”, and a negative adjective (e.g. “hot-tempered”). Emotional mimicry was measured using OpenFace 2.2. Liking and interpersonal closeness were assessed with questionnaires. Overall, compared to other labels, participants reported less liking and interpersonal closeness to the actor with the schizophrenia label. However, no effect on emotional mimicry was found. The decreased liking of the schizophrenia actors was explained by a lack of knowledge about schizophrenia and the explicit stigma of schizophrenia. Our study contributes to the literature by highlighting the need to reduce the stigma of schizophrenia. (shrink)

Law and economics scholarship has traditionally analyzed efficient breach cases monolithically. By grouping efficient breach cases together, this literature treats the subjective motives and the distributive effects of the breach as immaterial. The Restatement (Third) of Restitution and Unjust Enrichment introduced a distinction based on the intent and the effects of the breach, allowing courts to use disgorgement remedies in cases of ‘opportunistic’ breach of contract (i.e., ‘deliberate and profitable’ breaches). In this article, we evaluate this approach, focusing on the (...) effects of disgorgement remedies on allocative and productive efficiency, information-forcing and competitive effects, and restraint of breach-searching incentives. We show that, even from a purely consequentialist perspective, disgorgement remedies may be normatively warranted, especially when involving sellers’ breach. Recent experimental evidence revealed that the preferences and reactions of ordinary people are in line with our evaluation of the effects of opportunistic breach. (shrink)

The article examines the question of how learning multiple tasks interacts with neural architectures and the flow of information through those architectures. It approaches the question by using the idealization of an artificial neural network where it is possible to ask more precise questions about the effects of modular versus nonmodular architectures as well as the effects of sequential versus simultaneous learning of tasks. A prior work has demonstrated a clear advantage of modular architectures when the two tasks must be (...) learned at the same time from the start, but this advantage may disappear when one task is first learned to a criterion before the second task is undertaken. Indeed, in some cases of sequential learning, nonmodular networks achieve success levels comparable to those of modular networks. In particular, if a nonmodular network is to learn two tasks of different difficulty and the more difficult task is presented first and learned to a criterion, then the network will learn the second, easier one without permanent degradation of the first one. In contrast, if the easier task is learned first, a nonmodular task may perform significantly less well than a modular one. It seems that the reason for this difference has to do with the fact that the sequential presentation of the more difficult task first minimizes interference between the two tasks. More broadly, the studies summarized in this article seem to imply that no single learning architecture is optimal for all situations. (shrink)

A substantial guide providing an overview of both physicalism and metaphysical naturalism, reviewing both questions of formulation and justification for both doctrines. Includes a diagnostic strategy for understanding talk of naturalism as a metaphysical thesis.

This paper offers a response to Ramsey's famous challenge to draw a logical, as opposed to merely syntactical, distinction between names and predicates. Three attempts to meet this challenge are considered, one from Dummett, one from Geach, and one from Brandom. It is shown that none of these adequately addresses Ramsey's challenge. The paper concludes with a response to Ramsey that avoids the pitfalls of the other three replies. The advantage of the view proposed is that there is nothing preventing (...) the set of sentences in consideration from consisting only of atomic sentences. The upshot of my solution is that the distinction between names and properties rests on the presence of relational predicates in a language and the validity of the structural rules of identity, contraction, and cut. (shrink)

This essay is an occasion to discuss the critical trajectories of a now common field of enquiry concerned with the impact of biomediatic technologies on politics and culture. Thacker's book The Global Genome importantly sits between debates about biopower as the governance of life and biopolitics as the transformation of what life can be. In particular, the book advances the hypothesis that as information produces `life itself', so it has become central to a political economy of excess and surplus value. (...) In other words, information does not dematerialize biology. Bioinformatics and biotech informationalize the living and rematerialize biology. As biotech becomes central to biopower, the global genome comes to reigning profit, labour, racism, biocolonialism, biosecurity, and bioart. However, Thacker's reliance on a bio-ontology of life grounding all relations of power leaves no space for process-events to break the chain of life's perpetual reproduction. (shrink)

Simulations with neural networks living in a virtual environment can be used to explore and test hypotheses concerning concepts and language. The advantages that result from this approach include (1) the notion that a concept can be precisely defined and examined, (2) that concepts can be studied in both nonverbal and verbal artificial organisms, and (3) concepts have properties that depend on the environment as well as on the organism's adaptive behavior in response to the environment.

What is algorithmic thought? It is not possible to address this question without first reflecting on how the Universal Turing Machine transformed symbolic logic and brought to a halt the universality of mathematical formalism and the biocentric speciation of thought. The article draws on Sylvia Wynter’s discussion of the sociogenic principle to argue that both neurocognitive and formal models of automated cognition constitute the epistemological explanations of the origin of the human and of human sapience. Wynter’s argument will be related (...) to Gilbert Simondon’s reflections on ‘technical mentality’ to consider how socio-techno-genic assemblages can challenge the biocentricism and the formalism of modern epistemology. This article turns to ludic logic as one possible example of techno-semiotic languages as a speculative overturning of sociogenic programming. Algorithmic rules become technique-signs coinciding not with classic formalism but with interactive localities without re-originating the universality of colonial and patriarchal cosmogony. (shrink)

This dissertation develops an inferentialist theory of meaning. It takes as a starting point that the sense of a sentence is determined by the rules governing its use. In particular, there are two features of the use of a sentence that jointly determine its sense, the conditions under which it is coherent to assert that sentence and the conditions under which it is coherent to deny that sentence. From this starting point the dissertation develops a theory of quantification as marking (...) coherent ways a language can be expanded and modality as the means by which we can reflect on the norms governing the assertion and denial conditions of our language. If the view of quantification that is argued for is correct, then there is no tension between second-order quantification and nominalism. In particular, the ontological commitments one can incur through the use of a quantifier depend wholly on the ontological commitments one can incur through the use of atomic sentences. The dissertation concludes by applying the developed theory of meaning to the metaphysical issue of necessitism and contingentism. Two objections to a logic of contingentism are raised and addressed. The resulting logic is shown to meet all the requirement that the dissertation lays out for a theory of meaning for quantifiers and modal operators. (shrink)

In our everyday life, we have the genuine feeling that when something we use works very well, we forget that we are doing something that is mediated by something else. It happens when we read through our glasses, or when we drive home, or when we play guitar. In all those cases, it can be said that the device becomes an extension of our body, or that we have incorporated it. In this paper I want to discuss the extension/incorporation dichotomy (...) as presented in contemporary cognitive sciences. I will present the state of the art in the debate in order to promote a methodological shift, namely to adopt two concept borrowed from Material Engagement Theory developed by Lambros Malafouris. By advocating the concepts of temporality and metaplasticity, I will argue for two different but related things: 1) extension and incorporation don’t have to be conceived only spatially, but temporally. This shift leads to two distinctive implications: first, the sooner two entities establish a prosthetic contact, the higher the chances to reach incorporation; second, extension temporally precedes incorporation; the former being an early-staged phenomenon of – a condition of possibility for – the latter. 2) Such a temporal perspective is at the base of metaplasticity, which describes, in the context of MET, the constant, co-constitutive loop between humans and things: metaplasticity deflates the privileged role traditionally attributed to the subject in the making of phenomenal experience. Finally, I will discuss extension and incorporation in media theory, relying on the concept of radical mediation. (shrink)

Human beings possess external stores in which they put all sorts of goods to use them at some later time. In this paper we investigate this typically human adaptation using agent-based simulations. We show that the use of external stores explains many aspects of human life, allowing the agents to reduce their dependence on both the environment and the current state of their body and to be more efficient in extracting the energy contained in the environment. We analyse the spatial (...) behaviour of agents with external stores located in specific positions of the environment and we find that these agents tend to develop a sedentary life. We discuss how stores can be at the origin of many human mental and social phenomena such as the acquisition of a more extended temporal perspective, specialisation in producing different types of goods, and exchange of goods. (shrink)

Human beings possess external stores in which they put all sorts of goods to use them at some later time. In this paper we investigate this typically human adaptation using agent-based simulations. We show that the use of external stores explains many aspects of human life, allowing the agents to reduce their dependence on both the environment and the current state of their body and to be more efficient in extracting the energy contained in the environment. We analyse the spatial (...) behaviour of agents with external stores located in specific positions of the environment and we find that these agents tend to develop a sedentary life. We discuss how stores can be at the origin of many human mental and social phenomena such as the acquisition of a more extended temporal perspective, specialisation in producing different types of goods, and exchange of goods. (shrink)

This article aims at contributing to the discussion about the relationships between ICT, computer science and policy-making by focusing on agent-based social simulation. Enabled, from a technical point of view, by the developments of Distributed Artificial Intelligence in the 1990s and by the features of the object-oriented programming paradigm, agent-based social simulations are a tool for the analysis of social dynamics that can be used also to support the design and the evaluation of public policies. After a brief description of (...) social simulation paradigm and of its impact on social sciences, the paper presents a simple agent-based model devised to analyze, even if in a very abstract way, a phenomenon that can rouse the interest of legal scientists: the interplay between damaging behaviors, punishment and social mechanisms of learning and imitation. Our goal is to show how agent-based simulation can be used not only to illuminate basic mechanisms underlying social phenomena but also to reflect, in an innovative way, on how society can deal with them. (shrink)

The aim of this article is to offer a method for determining the ontological commitments of a formalized theory. The second section shows that determining the consequence relation of a language model-theoretically entails that the ontology of a theory is tied very closely to the variables that feature in that theory. The third section develops an alternative way of determining the ontological commitments of a theory given a proof-theoretic account of the consequence relation for the language that theory is in. (...) It is shown that the proof-theoretic account of ontological commitment does not entail that the ontological commitments of a theory depend on the variables of that theory. The last section of the article discusses how this account of ontological commitment can be used in other philosophical projects such as Wright’s (Frege’s conception of numbers as objects, Aberdeen University Press, Aberdeen, 1983) abstractionism. The article concludes with a discussion of the upshots of adopting the proof-theoretic account of ontological commitment for ontology generally. (shrink)