For many philosophers not automatically inclined to Platonism, the indispensability argument for the existence of mathematical objectshas provided the best (and perhaps only) evidence for mathematicalrealism. Recently, however, this argument has been subject to attack, most notably by Penelope Maddy (1992, 1997),on the grounds that its conclusions do not sit well with mathematical practice. I offer a diagnosis of what has gone wrong with the indispensability argument (I claim that mathematics is indispensable in the wrong way), and, taking my cue (...) from Mark Colyvan''s (1998) attempt to provide a Quinean account of unapplied mathematics as `recreational'', suggest that, if one approaches the problem from a Quinean naturalist starting point, one must conclude that all mathematics is recreational in this way. (shrink)

Naturalism in Mathematics PENELOPE MADDY, 1997 Oxford, Oxford University Press viii + 254 pp., $CAN91, ISBN 0–19–823573–9 Bohmian Mechanics and Quantum Theory: an Appraisal JAMES T. CUSHING, ARTHUR FINE & SHELDON GOLDSTEIN, 1996 Dordrecht, Kluwer viii + 403, pp., US$159.00, ISBN 0–7923–4028–0 Pragmatism as a Principle and Method of Right Thinking: the 1903 Harvard Lectures on Pragmatism CHARLES SANDERS PEIRCE, 1997 Edited and introduced, with a commentary, by PATRICIA ANN TURRISI Albany, State University of New York Press xi + 305 (...) pp., $26.53 ISBN 0–7914–3265–3 ISBN 0–7914–3266–1. (shrink)

In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive or (...) localized a faculty to register them. We defend the perception of necessity against such Humeanism, drawing on examples from mathematics. (shrink)

I describe a new argument for the existence of God, and argue one of its steps. En route I criticize class-nominalist theories of attributes, and sketch an alternate theory involving God.

This paper argues that in mathematical practice, conjectures are sometimes confirmed by “Inference to the Best Explanation” as applied to some mathematical evidence. IBE operates in mathematics in the same way as IBE in science. When applied to empirical evidence, IBE sometimes helps to justify the expansion of scientists’ ontological commitments. Analogously, when applied to mathematical evidence, IBE sometimes helps to justify mathematicians' in expanding the range of their ontological commitments. IBE supplements other forms of non-deductive reasoning in mathematics, avoiding (...) obstacles sometimes faced by enumerative induction or hypothetico-deductive reasoning. Both platonist and non-platonist interpretations of mathematics ought to accommodate explanation in mathematics and ought to recognize IBE in mathematics, though these interpretations disagree on the ontological commitments that mathematicians ought to have. This paper offers an inductive account of why mathematical IBE tends to lead to mathematical truths. (shrink)

Hebbian cell-assembly theory and attractor networks are good starting points for modeling cortical processing. Detailed cell models can be useful in understanding the dynamics of attractor networks. Cell assemblies are likely to be distributed, with the cortical column as the local processing unit. Synaptic memory may be dominant in all but the first couple of seconds.

The need to distinguish between logical and extra-logical varieties of inference, entailment, validity, and consistency has played a prominent role in meta-ethical debates between expressivists and descriptivists. But, to date, the importance that matters of logical form play in these distinctions has been overlooked. That’s a mistake given the foundational place that logical form plays in our understanding of the difference between the logical and the extra-logical. This essay argues that descriptivists are better positioned than their expressivist rivals to provide (...) the needed account of logical form, and so better able to capture the needed distinctions. This finding is significant for several reasons: First, it provides a new argument against expressivism. Second, it reveals that descriptivists can make use of this new argument only if they are willing to take a controversial—but plausible—stand on claims about the nature and foundations of logic. (shrink)

Although mathematical philosophy is flourishing today, it remains subject to criticism, especially from non-analytical philosophers. The main concern is that even if formal tools serve to clarify reasoning, they themselves contribute nothing new or relevant to philosophy. We defend mathematical philosophy against such concerns here by appealing to its metaphysical foundations. Our thesis is that mathematical philosophy can be founded on the phenomenological theory of ideas as developed by Roman Ingarden. From this platonist perspective, the “unreasonable effectiveness of mathematics in (...) philosophy”—to adapt Wigner’s phrase—is analogous to that of mathematical explanations in science. As success-criteria for mathematical philosophy, we propose that it should be correct, responsive, illuminating, promising, relevant, and adequate. (shrink)

Hebbian mechanisms are justified according to their functional utility in an evolutionary sense. The selective advantage of correlating content-contingent stimuli reflects the putative common cause of temporally or spatially contiguous inputs. The selective consequences of such correlations are discussed by using examples from the evolution of signal form in sexual selection and model-mimic coevolution. We suggest that evolutionary justification might be considered in addition to neurophysiology plansibility when constructing representational models.

In a series of works, Jody Azzouni has defended deflationary nominalism, the view that certain sentences quantifying over mathematical objects are literally true, although such objects do not exist. One alleged attraction of this view is that it avoids various philosophical puzzles about mathematical objects. I argue that this thought is misguided. I first develop an ontologically neutral counterpart of Field’s reliability challenge and argue that deflationary nominalism offers no distinctive answer to it. I then show how this reasoning generalizes (...) to other philosophically problematic entities. The moral is that puzzle avoidance fails to motivate deflationary nominalism. (shrink)

Amit argues that the local neuronal spike rate that persists (reverberating) in the absence of the eliciting stimulus represents the code of the eliciting stimulus. Based on the general argument that the inferred functional meaning of reverberation depends in part on the type of representational assumptions, reverberations may only be important for the encoding of contextual information.

Abstract objects are standardly taken to be causally inert, however principled arguments for this claim are rarely given. As a result, a number of recent authors have claimed that abstract objects are causally efficacious. These authors take abstracta to be temporally located in order to enter into causal relations but lack a spatial location. In this paper, I argue that such a position is untenable by showing first that causation requires its relata to have a temporal location, but second, that (...) if an entity is temporally located then it is spatiotemporally located since this follows from the theory of Relativity. Since abstract objects lack a spatiotemporal location, then if something is causally efficacious, it is not abstract. (shrink)

This paper offers a defense of Charles Parsons’ appeal to mathematical intuition as a fundamental factor in solving Benacerraf’s problem for a non-eliminative structuralist version of Platonism. The literature is replete with challenges to his well-known argument that mathematical intuition justifies our knowledge of the infinitude of the natural numbers, in particular his demonstration that any member of a Hilbertian stroke string ω-sequence has a successor. On Parsons’ Kantian approach, this amounts to demonstrating that for an “arbitrary” or “vaguely represented” (...) string of strokes, we can always “add” one more stroke. Critics have contested the cogency of a notion of an arbitrary object, our capacity to vaguely represent a definite object, and the role of spatial and temporal representation in the demonstration that we can “add” one more. The bulk of this paper is devoted to demonstrating how to meet all extant criticisms of his key argument. Critics have also suggested that Parsons’ whole approach is misbegotten because the appeal to mathematical intuition inevitably falls short of providing a complete solution to Benacerraf’s problem. Since the natural numbers are essentially and exclusively characterized by their structural properties, they cannot be identified with any particular model of arithmetic, and thus a notion of intuition will fail to capture the universality of arithmetic, its applicability to all entities. This paper also explains why we should not reject appeal to mathematical intuition even though it is not itself sufficient to fully “close the gap” on Benacerraf’s challenge. (shrink)

The goal of the research programme I describe in this article is a realist epistemology for arithmetic which respects arithmetic's special epistemic status (the status usually described as a prioricity) yet accommodates naturalistic concerns by remaining fundamentally empiricist. I argue that the central claims which would allow us to develop such an epistemology are (i) that arithmetical truths are known through an examination of our arithmetical concepts; (ii) that (at least our basic) arithmetical concepts are accurate mental representations of elements (...) of the arithmetical structure of the independent world; (iii) that (ii) obtains in virtue of the normal functioning of our sensory apparatus. The first of these claims protects arithmetic's special epistemic status relative, for example, to the laws of physics, the second preserves the independence of arithmetical truth, and the third ensures that we remain empiricists. Preliminaries Justifying and grounding concepts Cameras and filters An epistemology for arithmetic Concluding remarks. (shrink)

Influenced by G. E. Moore, Russell broke with Idealism towards the end of 1898; but in later years he characterized his meeting Peano in August 1900 as ?the most important event? in ?the most important year in my intellectual life?. While Russell discovered his paradox during his post-Peano period, the question arises whether he was already committed, during his pre-Peano Moorean period, to assumptions from which his paradox may be derived. Peter Hylton has argued that the pre-Peano Russell was thus (...) vulnerable to (at least one version of) Russell's paradox and hence that the paradox exposes a pre-existing difficulty in Russell's Moorean philosophy. Contrary to Hylton, I argue that the Moorean Russell adhered to views which insulated him against the paradox. Further, I argue that Russell became vulnerable to his paradox as a result of changes in his Moorean position occasioned, first, by his acceptance of Cantor's theory of the transfinite, and, second, by his correspondence with Frege. I conclude with some general comments regarding Russell's acceptance of naïve set theory. (shrink)

Amit's efforts to provide stronger theoretical and empirical support for Hebb's cell-assembly concept is admirable, but we have serious reservations about the perspective presented in the target article. For Hebb, the cell assembly was a building block; by contrast, the framework proposed here eschews the need to fit the assembly into a broader picture of its function.

We say that each social group is identical to its members. The group just is them; they just are the group. This view of groups as pluralities has tended to be swiftly rejected by social metaphysicians, if considered at all, mainly on the basis of two objections. First, it is argued that groups can change in membership, while pluralities cannot. Second, it is argued that different groups can have exactly the same members, while different pluralities cannot. We rebut these objections, (...) and argue that our plural view is superior to alternative reductive proposals which would identify social groups with the sets or fusions of their members. Finally we deal with some further potential challenges for the view of groups as pluralities. Thus we aim to establish it as a serious contender in the metaphysics of groups. (shrink)

We aim to find a middle path between disease models of addiction, and those that treat addictive choices as choices like any other. We develop an account of the disease element by focussing on the idea that dopamine works primarily to lay down dispositional intrinsic desires. Addictive substances artifically boost the dopamine signal, and thereby lay down intrinsic desires for the substances that persist through withdrawal, and in the face of beliefs that they are worthless. The result is cravings that (...) are largely outside the control of the addict. But this does not mean that addicts are bound to act on such cravings, since they typically retain their faculty of self-control. The issue is one of difficulty not impossibility. Controlling an addictive craving is exceedingly demanding. (shrink)

Further tests of Amit's model are indicated. One strategy is to use the apparent coding sparseness of the model to make predictions about coding sparseness in Miyashita's network. A second approach is to use memory overload to induce false positive responses in modules and biological systems. In closing, the importance of temporal coding and timing requirements in developing biologically plausible attractor networks is mentioned.

The concept of an attractor in a mathematical dynamical system is reviewed. Emphasis is placed on the distinction between a cell assembly, the corresponding attractor, and the attractor dynamics. The biological significance of these entities is discussed, especially the question of whether the representation of the stimulus requires the full attractor dynamics, or merely the cell assembly as a set of reverberating neurons. Comparison is made to Freeman's study of dynamic patterns in olfaction.

In this paper, I argue that all expressions for abstract objects are meaningless. My argument closely follows David Lewis’ argument against the intelligibility of certain theories of possible worlds, but modifies it in order to yield a general conclusion about language pertaining to abstract objects. If my Lewisian argument is sound, not only can we not know that abstract objects exist, we cannot even refer to or think about them. However, while the Lewisian argument strongly motivates nominalism, it also undermines (...) certain nominalist theories. (shrink)

Probably there is no position in Goodman’s corpus that has generated greater perplexity and criticism than Goodman’s “nominalism”. As is abundantly clear from Goodman’s writings, it is not “abstract entities” generally that he questions—indeed, he takes sensory qualia as “basic” in his Carnap-inspired constructional system in Structure—but rather just those abstracta that are so crystal clear in their identity conditions, so fundamental to our thought, so prevalent and seemingly unavoidable in our discourse and theorizing that they have come to form (...) the generally accepted framework for the most time-honored, exact, sophisticated, refined, central, and secure branch of human knowledge yet devised, mathematics itself! Of all the abstracta to question, why sets? Of course, Goodman gave his “reasons”, the unintelligibility of “generating” an infinitude of “constructed objects” automatically from any given object or objects. But critics have been quick to point out that set theory is intended not as a theory of what can be “generated” or “constructed” from given objects in any literal sense but rather as a theory of a certain realm of objects independently existing in their own right. “Construction” is a metaphor. (shrink)

The question of how we can know anything about ideal entities to which we do not have access through our senses has been a major concern in the philosophical tradition since Plato's Phaedo. This article focuses on the paradigmatic case of mathematical knowledge. Following a suggestion by Gödel, we employ concepts and ideas from Husserlian phenomenology to argue that mathematical objects – and ideal entities in general – are recognized in a process very closely related to ordinary perception. Our analysis (...) combines Husserl's insights into the nature of perception and the phenomena of evidence and justification with case studies of the role of intuition in axiomatic set theory. (shrink)

Can institutional objects be identified with physical objects that have been ascribed status functions, as advocated by John Searle in The Construction of Social Reality (1995)? The paper argues that the prospects of this identification hinge on how objects persist – i.e., whether they endure, perdure or exdure through time. This important connection between reductive identification and mode of persistence has been largely ignored in the literature on social ontology thus far.

RESUMEN La fenomenología de Husserl está inmersa en un entramado de regresiones y revisiones conceptuales que dificultan la identificación de una estructura sistémica. Los conceptos característicos de la fenomenología carecen de univocidad y no son propios de algunas obras de Husserl. Philosophie der Arithmetik ilustra el problema referido. ¿Puede inscribirse esta obra dentro de la categoría de texto fenomenológico? ¿Es posible hablar de una fenomenología de la matemática en Husserl? y ¿qué sentido tendría esto? Los objetivos del presente ensayo son: (...) primero, analizar la dificultad que tiene Philosophie der Arithmetik para responder a las inquietudes de la filosofía de las matemáticas, y segundo, proponer la posibilidad de una fenomenología de la matemática condicionada a la clarificación conceptual y al estudio crítico de la influencia de la tradición analítica sobre la filosofía de las matemáticas. ABSTRACT Husserl's phenomenology is immersed in a network of regressions and conceptual revisions that hinder the identification of a systemic structure. The characteristic concepts of phenomenology fall short of uniqueness and are not appropriate for some of Husserl's works. Philosophie der Arithmetik illustrates the aforementioned problem. Can this work be classified under the category of phenomenological texts? Is it possible to talk about a phenomenology of mathematic in Husserl? And what would be the point of this? The objectives of the present essay are: first, to analyze the difficulty that Philosophie der Arithmetik has responding to the concerns of the philosophy of mathematics, and second, to propose the possibility of a phenomenology of mathematics, conditioned to conceptual clarification and critical study of the influence of the analytical tradition on the philosophy of mathematics. (shrink)

In this paper I will take into examination the relevance of the main indispensability arguments for the comprehension of the applicability of mathematics. I will conclude not only that none of these indispensability arguments are of any help for understanding mathematical applicability, but also that these arguments rather require a preliminary analysis of the problems raised by the applicability of mathematics in order to avoid some tricky difficulties in their formulations. As a consequence, we cannot any longer consider the applicability (...) problems as subordinate to ontological ones: no ontological stance on mathematical entities can offer an easy road to the comprehension of the applicability of mathematics. (shrink)

This commentary questions the target articles inferences from a limited set of empirical data to support this model and conceptual scheme. Especially questionable is the attribution of internal representation properties to an assembly of cells in a discrete cortical module firing at a discrete attractor frequency. Alternative inferences are drawn from cortical cooling and cell-firing data that point to the internal representation as a broad and specific cortical network defined by cortico-cortical connectivity. Active memory, it is proposed, consists in the (...) sustained activation of the component neuron populations of the network. (shrink)

Many philosophers think all abstract objects are causally inert. Here, focusing on novels, I argue that some abstracta are causally efficacious. First, I defend a straightforward argument for this view. Second, I outline an account of object causation—an account of how objects cause effects. This account further supports the view that some abstracta are causally efficacious.

Recurrent excitation is experimentally well documented in cortical populations. It provides for intracortical excitatory biases that linearize negative feedback interactions and induce macroscopic state transitions during perception. The concept of the local neighborhood should be expanded to spatial patterns as the basis for perception, in which large areas of cortex are bound into cooperative behavior with near-silent columns as important as active columns revealed by unit recording.

This paper is an attempt to convince anti-realists that their correct intuitions against the metaphysical inflationism derived from some versions of mathematical realism do not force them to embrace non-standard, epistemic approaches to truth and existence. It is also an attempt to convince mathematical realists that they do not need to implement their perfectly sound and judicious intuitions with the anti-intuitive developments that render full-blown mathematical realism into a view which even Gödel considered objectionable. I will argue for the following (...) two theses: that realism, in its standard characterization, is our default position, a position in agreement with our pre-theoretical intuitions and with the results of our best semantic theories, and that most of the metaphysical qualms usually related to it depends on a poor understanding of truth and existence as higher-order concepts. (shrink)

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out and compares these (...) options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (shrink)

This dissertation concerns the nature of spacetime. It is divided into two parts. The first part, which comprises chapters 1, 2, and 3, addresses ontological questions: does spacetime exist? And if so, are there any other spatiotemporal things? In chapter 1 I argue that spacetime does exist, and in chapter 2 I respond to modal arguments against this view. In chapter 3 I examine and defend supersubstantivalism—the claim that all concrete physical objects (tables, chairs, electrons and quarks) are regions of (...) spacetime. Four-dimensional spacetime, we are often told, ‘unifies’ space and time; if we believe in spacetime, then we do not believe that space and time are separately existing things. But that does not mean that there is no distinction between space and time: we still distinguish between the spatial aspects and the temporal aspects of spacetime. The second part of this dissertation, comprising chapter 4, looks at this distinction. How is it made? In virtue of what are the temporal aspects of spacetime temporal, rather than spatial? The standard view is that the temporal aspects of spacetime are temporal because they play a distinctive role in the geometry of spacetime. I argue that this view is false, and that the temporal aspects are temporal because they play a distinctive role in the geometry of spacetime and in the laws of nature. (shrink)

Kitcher and Aspray distinguish a mainstream tradition in the philosophy of mathematics concerned with foundationalist epistemology, and a ‘maverick’ or naturalistic tradition, originating with Lakatos. My claim is that if the consequences of Lakatos's contribution are fully worked out, no less than a radical reconceptualization of the philosophy of mathematics is necessitated, including history, methodology and a fallibilist epistemology as central to the field. In the paper an interpretation of Lakatos's philosophy of mathematics is offered, followed by some critical discussion, (...) and an extension to a social constructivist position (which might well have been unacceptable to Lakatos). (shrink)

If you are a realist about groups there are three main theories of what to identify groups with. I offer reasons for thinking that two of those theories fail to meet important desiderata. The third option is to identify groups with sets, which meets all of the desiderata if only we take care over which sets they are identified with. I then canvass some possible objections to that third theory, and explain how to avoid them.

This paper argues that, in light of certain scenarios involving time travel, Sider’s definition of ‘instantaneous temporal part’ cannot be accepted in conjunction with a semantic thesis that perdurantists often assume. I examine a rejoinder from Sider, as well as Thomson’s alternative definition of ‘instantaneous temporal part’, and show how neither helps. Given this, we should give up on the perdurantist semantic thesis. I end by recommending that, once we no longer accept such semantics, we should accept a new set (...) of definitions, which are superior in certain respects to Sider’s original set. (shrink)

A theory of representation is incomplete if it states “representations areX” whereXcan be symbols, cell assemblies, functional states, or the flock of birds fromTheaetetus, without explaining the nature of the link between the universe ofXs and the world. Amit's thesis, equating representations with reverberations in Hebbian cell assemblies, will only be considered a solution to the problem of representation when it is complemented by a theory of how a reverberation in the brain can be a representation of anything.

Benacerraf’s 1965 multiple-reductions argument depends on what I call ‘deferential logicism’: his necessary condition for number-set identity is most plausible against a background Quineanism that allows autonomy of the natural number concept. Steinhart’s ‘folkist’ sufficient condition on number-set identity, by contrast, puts that autonomy at the center — but fails for not taking the folk perspective seriously enough. Learning from both sides, we explore new conditions on number-set identity, elaborating a suggestion from Wright.

Objects appear to fall into different sorts, each with their own criteria for identity. This raises the question of whether sorts overlap. Abstractionists about numbers—those who think natural numbers are objects characterized by abstraction principles—face an acute version of this problem. Many abstraction principles appear to characterize the natural numbers. If each abstraction principle determines its own sort, then there is no single subject-matter of arithmetic—there are too many numbers. That is, unless objects can belong to more than one sort. (...) But if there are multi-sorted objects, there should be cross-sortal identity principles for identifying objects across sorts. The going cross-sortal identity principle, ECIA2 of Cook and Ebert (2005), solves the problem of too many numbers. But, I argue, it does so at a high cost. I therefore propose a novel cross-sortal identity principle, based on embeddings of the induced models of abstracts developed by Walsh (2012). The new criterion matches ECIA2’s success, but offers interestingly different answers to the more controversial identifications made by ECIA2. (shrink)

The sum of all objects of a science, the objects’ features and their mutual relations compose the reality described by that sense. The reality described by mathematics consists of objects such as sets, functions, algebraic structures, etc. Generally speaking, the use of terms reality and existence, in relation to describing various objects’ characteristics, usually implies an employment of physical and perceptible attributes. This is not the case in mathematics. Its reality and the existence of its objects, leaving aside its application, (...) are completely virtual and yet clearly organized. This organization can be recognized in the creation of axioms or in the arrival at new theorems and definitions. It results either from a formalization of an intuitive idea or from a combinatorics that has not been guided by intuition. In all four possible cases—therefore, also in the two in which there is no intuitive “lead”, we can plausibly talk about a discovery of mathematical facts and thus support the Platonist view. (shrink)

In this paper, I assume, perhaps controversially, that translation into a language of formal logic is not the method by which mathematicians assess mathematical reasoning. Instead, I argue that the actual practice of analyzing, evaluating and critiquing mathematical reasoning resembles, and perhaps equates with, the practice of informal logic or argumentation theory. It doesn’t matter whether the reasoning is a full-fledged mathematical proof or merely some non-deductive mathematical justification: in either case, the methodology of assessment overlaps to a large extent (...) with argument assessment in non-mathematical contexts. I demonstrate this claim by considering the assessment of axiomatic or deductive proofs, probabilistic evidence, computer-aided proofs, and the acceptance of axioms. I also consider Jody Azzouni’s ‘derivation indicator’ view of proofs because it places derivations—which may be thought to invoke formal logic—at the center of mathematical justificatory practice. However, when the notion of ‘derivation’ at work in Azzouni’s view is clarified, it is seen to accord with, rather than to count against, the informal logical view I support. Finally, I pose several open questions for the development of a theory of mathematical argument. (shrink)

Two of Hilary Putnam's model-theoretic arguments against metaphysical realism are examined in detail. One of them is developed as an extension of a model-theoretic argument against mathematical realism based on considerations concerning the so-called Skolem-Paradox in set theory. This argument against mathematical realism is also treated explicitly. The article concentrates on the fine structure of the arguments because most commentators have concentrated on the major premisses of Putnam's argument and especially on his treatment of metaphysical realism. It is shown that (...) the validity of Putnam's arguments is doubtful and that realists are by no means forced to accept the theses Putnam ascribes to them. It is concluded that Putnam fails to give convincing arguments for rejecting mathematical or metaphysical realism. Furthermore, Putnam's internal realism is discussed critically. (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)