According to the received view, genuine mathematical justification derives from proofs. In this article, I challenge this view. First, I sketch a notion of proof that cannot be reduced to deduction from the axioms but rather is tailored to human agents. Secondly, I identify a tension between the received view and mathematical practice. In some cases, cognitively diligent, well-functioning mathematicians go wrong. In these cases, it is plausible to think that proof sets the bar for justification too high. I then (...) propose a fallibilist account of mathematical justification. I show that the main function of mathematical justification is to guarantee that the mathematical community can correct the errors that inevitably arise from our fallible practices. (shrink)

This paper seeks to determine the intuitive meaning of the concept of information by indicating its essential (definitional) features and relations with other concepts, such as that of knowledge. The term “information” – as with many other concepts, such as “process”, “force”, “energy” and “matter” – has a certain established meaning in natural languages, which allows it to be used, in science as well as in everyday life, without our possessing any somewhat stricter definition of it. The basic aim here (...) is thus to explicate what it amounts to in the context of its intuitive meaning as encountered in natural languages, what the subject of cognition implicitly presumes when using the term, and to which ontological situations it can be applied. I demonstrate that the essential features of the notion of information include the presence of a material medium, its transformation, the recording and reading of information encoded in the medium, and the grasp of what is recorded, coded and transmitted as an intentional object, where the latter is construed in terms broadly in line with the ontologies of Husserl and Ingarden. Along the way, a number of issues relating to the notion of information are also pointed out: the problem of informational identity, of the existence of virtual objects, and of the choice of an adequate information carrier, as well as formal-ontological problems, including those which concern relations between information carriers and intentional objects. (shrink)

Criteria of acceptability for mathematical proofs are field-dependent. In topology, though not in most other domains, it is sometimes acceptable to appeal to visual intuition to support inferential steps. In previous work :829–842, 2014; Lolli, Panza, Venturi From logic to practice, Springer, Berlin, 2015; Larvor Mathematical cultures, Springer, Berlin, 2016) my co-author and I aimed at spelling out how topological proofs work on their own terms, without appealing to formal proofs which might be associated with them. In this article, I (...) address two criticisms that have been raised in Tatton-Brown against our approach: that it leads to a form of relativism according to which validity is equated with social agreement and that it implies an antiformalizability thesis according to which it is not the case that all rigorous mathematical proofs can be formalized. I reject both criticisms and suggest that our previous case studies provide insight into the plausibility of two related but quite different theses. (shrink)

Argumentation is important for sharing knowledge and information. Given that the receiver of an argument purportedly engages first and foremost with its content, one might expect trust to play a negligible epistemic role, as opposed to its crucial role in testimony. I argue on the contrary that trust plays a fundamental role in argumentative engagement. I present a realistic social epistemological account of argumentation inspired by social exchange theory. Here, argumentation is a form of epistemic exchange. I illustrate my argument (...) with two real-life examples: vaccination hesitancy, and the undermining of the credibility of traditional sources of information by authoritarian politicians. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)

ABSTRACTIn this paper I investigate how conceptual engineering applies to mathematical concepts in particular. I begin with a discussion of Waismann’s notion of open texture, and compare it to Shapiro’s modern usage of the term. Next I set out the position taken by Lakatos which sees mathematical concepts as dynamic and open to improvement and development, arguing that Waismann’s open texture applies to mathematical concepts too. With the perspective of mathematics as open-textured, I make the case that this allows us (...) to deploy the tools of conceptual engineering in mathematics. I will examine Cappelen’s recent argument that there are no conceptual safe spaces and consider whether mathematics constitutes a counterexample. I argue that it does not, drawing on Haslanger’s distinction between manifest and operative concepts, and applying this in a novel way to set-theoretic foundations. I then set out some of the questions that need to be engaged with to establish mathematics as involving a kind of conceptual engineering. I finish with a case study of how the tools of conceptual engineering will give us a way to progress in the debate between advocates of the Universe view and the Multiverse view in set theory. (shrink)

This book reports on the results of the third edition of the premier conference in the field of philosophy of artificial intelligence, PT-AI 2017, held on November 4 - 5, 2017 at the University of Leeds, UK. It covers: advanced knowledge on key AI concepts, including complexity, computation, creativity, embodiment, representation and superintelligence; cutting-edge ethical issues, such as the AI impact on human dignity and society, responsibilities and rights of machines, as well as AI threats to humanity and AI safety; (...) and cutting-edge developments in techniques to achieve AI, including machine learning, neural networks, dynamical systems. The book also discusses important applications of AI, including big data analytics, expert systems, cognitive architectures, and robotics. It offers a timely, yet very comprehensive snapshot of what is going on in the field of AI, especially at the interfaces between philosophy, cognitive science, ethics and computing. (shrink)

This chapter tries to answer the following question: How should we conceive of the method of mathematics, if we take a naturalist stance? The problem arises since mathematical knowledge is regarded as the paradigm of certain knowledge, because mathematics is based on the axiomatic method. Moreover, natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some authors tried to naturalize (...) mathematics by relying on evolutionism. But several difficulties arise when we try to do this. This chapter suggests that, in order to naturalize mathematics, it is better to take the method of mathematics to be the analytic method, rather than the axiomatic method, and thus conceive of mathematical knowledge as plausible knowledge. (shrink)

This paper explores early Australasian philosophy in some detail. Two approaches have dominated Western philosophy in Australia: idealism and materialism. Idealism was prevalent between the 1880s and the 1930s, but dissipated thereafter. Idealism in Australia often reflected Kantian themes, but it also reflected the revival of interest in Hegel through the work of ‘absolute idealists’ such as T. H. Green, F. H. Bradley, and Henry Jones. A number of the early New Zealand philosophers were also educated in the idealist tradition (...) and were influential in their communities, but produced relatively little. In Australia, materialism gained prominence through the work of John Anderson, who arrived in Australia in 1927, and continues to be influential. John Anderson had been a student of Henry Jones, who might therefore be said to have influenced both main strands of Australian philosophical thought. (shrink)

What is the definition of 'type'? Having a clear and precise answer to this question would avoid many misunderstandings and prevent meaningless discussions that arise from them. But having such clear and precise answer to this question would also hurt science, "hamper the growth of knowledge" and "deflect the course of investigation into narrow channels of things already understood". In this essay, I argue that not everything we work with needs to be precisely defined. There are many definitions used by (...) different communities, but none of them applies universally. A brief excursion into philosophy of science shows that this is not just tolerable, but necessary for progress. Philosophy also suggests how we can think about this imprecise notion of type. (shrink)

This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course designed to introduce proofs and mathematical reasoning. We discuss this data from a perspective that extends the notion of concept image to that of statement image and introduces the notion of proof framework to indicate the top-level logical structure of a proof. For simplified informal (...) calculus statements, just 8.5% of unpacking attempts were successful; for actual statements from calculus texts, this dropped to 5%. We infer that these students would be unable to reliably relate informally stated theorems with the top-level logical structure of their proofs and hence could not be expected to construct proofs or evaluate their validity. (shrink)

-/- Les agents artificiels et les nouvelles technologies de l’information, de par leur capacité à établir de nouvelles dynamiques de transfert d’information, ont des effets perturbateurs sur les écosystèmes épistémiques. Se représenter la responsabilité pour ces chambardements représente un défi considérable : comment ce concept peut-il rendre compte de son objet dans des systèmes complexes dans lesquels il est difficile de rattacher l’action à un agent ou à une agente ? Cet article présente un aperçu du concept d’écosystème épistémique et (...) de la force de changement que représentent les nouvelles technologies pour celui-ci, puis illustre les difficultés rencontrées avec la notion classique de responsabilité dans les écosystèmes épistémiques. -/- Artificial agents and new information technologies, through their capacity to foster new information dynamics, have disruptive effects on epistemic ecosystems. Making sense of responsibility for these changes represent a challenge: the notion of responsibility struggles in complex systems, where actions are often hard to connect to an agent. This paper presents an overview of the concept of epistemic ecosystem and of the potential for disruption in new technologies, and then illustrates the difficulties with the classical notion of responsibility in such cases. (shrink)

This monograph offers a fresh perspective on the applicability of mathematics in science. It explores what mathematics must be so that its applications to the empirical world do not constitute a mystery. In the process, readers are presented with a new version of mathematical structuralism. The author details a philosophy of mathematics in which the problem of its applicability, particularly in physics, in all its forms can be explained and justified. Chapters cover: mathematics as a formal science, mathematical ontology: what (...) does it mean to exist, mathematical structures: what are they and how do we know them, how different layers of mathematical structuring relate to each other and to perceptual structures, and how to use mathematics to find out how the world is. The book simultaneously develops along two lines, both inspired and enlightened by Edmund Husserl’s phenomenological philosophy. One line leads to the establishment of a particular version of mathematical structuralism, free of “naturalist” and empiricist bias. The other leads to a logical-epistemological explanation and justification of the applicability of mathematics carried out within a unique structuralist perspective. This second line points to the “unreasonable” effectiveness of mathematics in physics as a means of representation, a tool, and a source of not always logically justified but useful and effective heuristic strategies. (shrink)

The objective of this article is twofold. First, a methodological issue is addressed. It is pointed out that even if philosophers of mathematics have been recently more and more concerned with the practice of mathematics, there is still a need for a sharp definition of what the targets of a philosophy of mathematical practice should be. Three possible objects of inquiry are put forward: (1) the collective dimension of the practice of mathematics; (2) the cognitives capacities requested to the practitioners; (...) and (3) the specific forms of representation and notation shared and selected by the practitioners. Moreover, it is claimed that a broadening of the notion of ‘permissible action’ as introduced by Larvor (2012) with respect to mathematical arguments, allows for a consideration of all these three elements simultaneously. Second, a case from topology – the proof of Alexander’s theorem – is presented to illustrate a concrete analysis of a mathematical practice and to exemplify the proposed method. It is discussed that the attention to the three elements of the practice identified above brings to the emergence of philosophically relevant features in the practice of topology: the need for a revision in the definition of criteria of validity, the interest in tracking the operations that are performed on the notation, and the constant and fruitful back-and-forth from one representation to another in dealing with mathematical content. Finally, some suggestions for further research are given in the conclusions. (shrink)

This work takes a stand on whether Wallace should be regarded as co-author of the theory of natural selection alongside Darwin as he is usually considered on behalf of his alleged essential contribution to the conception of the theory. It does so from a perspective unexplored thus far: we will argue for Darwin’s priority based on a rational reconstruction of the theory of natural selection as it appears in the writings of both authors. We show that the theory does not (...) appear in exactly the same manner in the writings of each of its alleged co-discoverers: tough we find the same fundamental elements in both works, even in Darwin’s early texts, we discern a more complex unifying and ramified structure than the one we find in Wallace’s Ternate manuscript. Even when we think the badge of the “Darwin–Wallace” theory is well deserved, the unifying force of Darwin’s version has proved to be one of the keys for the ulterior success of the so-called Darwinian revolution in Biology. (shrink)

The Argument Web is maturing as both a platform built upon a synthesis of many contemporary theories of argumentation in philosophy and also as an ecosystem in which various applications and application components are contributed by different research groups around the world. It already hosts the largest publicly accessible corpora of argumentation and has the largest number of interoperable and cross compatible tools for the analysis, navigation and evaluation of arguments across a broad range of domains, languages and activity types. (...) Such interoperability is key in allowing innovative combinations of tool and data reuse that can further catalyse the development of the field of computational argumentation. The aim of this paper is to summarise the key foundations, the recent advances and the goals of the Argument Web, with a particular focus on demonstrating the relevance to, and roots in, philosophical argumentation theory. (shrink)

Jim Mackenzie; Evers & Walker and Forms of Knowledge, Journal of Philosophy of Education, Volume 19, Issue 2, 30 May 2006, Pages 199–209, https://doi.org/10.

open journal of Philosophical Investigations (PI) is an international journal dedicated to the latest advancements in philosophy. The goal of this journal is to provide a platform for academicians all over the world to promote, share, and discuss various new issues and developments in different areas of philosophy. -/- All manuscripts to be prepared in English or Persian and are subject to a rigorous and fair peer-review process. Generally, accepted papers will appear online. The journal publishes papers including the following (...) fields: -/- · Analytic Philosophy · Ancient Greek and Roman Philosophy · Art Aesthetics · Comparative Philosophy West and Chinese · Eastern Philosophy . Islamic philosophy · Epistemology · Ethics · Hermeneutics · History of Religious Thought · History of Western Philosophy · Language Logic . (shrink)

This paper investigates an important aspect of mathematical practice: that proof is required for a finished piece of mathematics. If follows that non-deductive arguments — however convincing — are never sufficient. I explore four aspects of mathematical research that have facilitated the impressive success of the discipline. These I call the Practical Virtues: Permanence, Reliability, Autonomy, and Consensus. I then argue that permitting results to become established on the basis of non-deductive evidence alone would lead to their deterioration. This furnishes (...) us with a partial rational justification for mathematicians strict insistence on proof. (shrink)

Imre Lakatos' views on the philosophy of mathematics are important and they have often been underappreciated. The most obvious lacuna in this respect is the lack of detailed discussion and analysis of his 1976a paper and its implications for the methodology of mathematics, particularly its implications with respect to argumentation and the matter of how truths are established in mathematics. The most important themes that run through his work on the philosophy of mathematics and which culminate in the 1976a paper (...) are (1) the (quasi-)empirical character of mathematics and (2) the rejection of axiomatic deductivism as the basis of mathematical knowledge. In this paper Lakatos' later views on the quasi-empirical nature of mathematical theories and methodology are examined and specific attention is paid to what this view implies about the nature of mathematical argumentation and its relation to the empirical sciences. (shrink)

It is well known that reductio ad absurdum arguments raise a number of interesting philosophical questions. What does it mean to assert something with the precise goal of then showing it to be false, i.e. because it leads to absurd conclusions? What kind of absurdity do we obtain? Moreover, in the mathematics education literature number of studies have shown that students find it difficult to truly comprehend the idea of reductio proofs, which indicates the cognitive complexity of these constructions. In (...) this paper, I start by discussing four philosophical issues pertaining to reductio arguments. I then briefly present a dialogical conceptualization of deductive arguments, according to which such arguments are best understood as a dialogue between two participants—Prover and Skeptic. Finally, I argue that many of the philosophical and cognitive difficulties surrounding reductio arguments are dispelled or at least further clarified once one adopts a dialogical perspective. (shrink)

Over the past few decades the notion of symmetry has played a major role in physics and in the philosophy of physics. Philosophers have used symmetry to discuss the ontology and seeming objectivity of the laws of physics. We introduce several notions of symmetry in mathematics and explain how they can also be used in resolving different problems in the philosophy of mathematics. We use symmetry to discuss the objectivity of mathematics, the role of mathematical objects, the unreasonable effectiveness of (...) mathematics and the relationship of mathematics to physics. (shrink)

Methodological reductionists practice ‘wannabe reductionism’. They claim that one should pursue reductionism, but never propose how. I integrate two strains in prior work to do so. Three kinds of activities are pursued as “reductionist”. “Successional reduction” and inter-level mechanistic explanation are legitimate and powerful strategies. Eliminativism is generally ill-conceived. Specific problem-solving heuristics for constructing inter-level mechanistic explanations show why and when they can provide powerful and fruitful tools and insights, but sometimes lead to erroneous results. I show how traditional metaphysical (...) approaches fail to engage how science is done. The methods used do so, and support a pragmatic and non-eliminativist realism. (shrink)

In this introductory paper I sketch the tradition, several early aspects of which are discussed in the following essays and reviews. I introduce the main figures whose work initiated and maintained the sociological orientation in Hungarian philosophy thereby tracing its evolution. I suggest that its sociological outlook, if taken to be a characteristic tendency that gives Hungarian philosophy its distinctive flavour, provides us with the framework of a possible narrative about the history of Hungarian philosophy in the broader context of (...) Central European philosophy. This narrative, in turn, suggests a way of integrating the latter into the history of Western philosophy rather than restricting its scope to a handful of canonical works only. (shrink)

Philosophical conceptual analysis is an experimental method. Focusing on this helps to justify it from the skepticism of experimental philosophers who follow Weinberg, Nichols & Stich. To explore the experimental aspect of philosophical conceptual analysis, I consider a simpler instance of the same activity: everyday linguistic interpretation. I argue that this, too, is experimental in nature. And in both conceptual analysis and linguistic interpretation, the intuitions considered problematic by experimental philosophers are necessary but epistemically irrelevant. They are like variables introduced (...) into mathematical proofs which drop out before the solution. Or better, they are like the hypotheses that drive science, which do not themselves need to be true. In other words, it does not matter whether or not intuitions are accurate as descriptions of the natural kinds that undergird philosophical concepts; the aims of conceptual analysis can still be met. (shrink)

In the methodology of scientific research programs (MSRP) there are important features on the problem of prediction, especially regarding novel facts. In his approach, Imre Lakatos proposed three different levels on prediction: aim, process, and assessment. Chapter 5 pays attention to the characterization of prediction in the methodology of research programs. Thus, it takes into account several features: (1) its pragmatic characterization, (2) the logical perspective as a proposition, (3) the epistemological component, (4) its role in the appraisal of research (...) programs, and (5) its place as a value for scientific research. -/- The notion of “novel facts” is highly relevant in his conception, where several aspects are involved: the directions of novel facts, the different kinds of novelty, and the transition from six possible options of “novel facts” to four choices. Thereafter, the prediction of novel facts as the criterion of appraisal is considered. On the one hand, this requires analyzing the theoretical, empirical, and heuristic possibilities of appraisal; and, on the other, whether there is an overemphasis on the role of prediction in methodology of scientific research programs. As a consequence, there is an analysis of Lakatos’ criterion of appraisal in MSRP and economics. (shrink)

This paper is an exposition and evaluation of the Agustín Rayo's views about the epistemology and metaphysics of mathematics, as they are presented in his book The Construction of Logical Space.

Derivationists, those wishing to explain the correctness and rigour of informal proofs in terms of associated formal proofs, are generally held to be supported by the success of the project of translating informal proofs into computer-checkable formal counterparts. I argue, however, that this project is a false friend for the derivationists because there are too many different associated formal proofs for each informal proof, leading to a serious worry of overgeneration. I press this worry primarily against Azzouni's derivation-indicator account, but (...) conclude that overgeneration is a major obstacle to a successful account of informal proofs in this direction. (shrink)

The term ‘continuous’ in real analysis wasn’t given an adequate formal definition until 1817. However, important theorems about continuity were proven long before that. How was this possible? In this paper, I introduce and refine a proposed answer to this question, derived from the work of Frank Jackson, David Lewis and other proponents of the ‘Canberra plan’. In brief, the proposal is that before 1817 the meaning of the term ‘continuous’ was determined by a number of ‘platitudes’ which had some (...) special epistemic status. (shrink)

Engineering deals with different problem situations than science, and theories in engineering are different to theories in science. So, the growth of knowledge in engineering is also different to that in science. Nonetheless, methodological issues in engineering epistemology can be explored by adapting frameworks already established in the philosophy of science. In this paper I use critical rationalism and Popper’s three worlds framework to investigate error elimination and the growth of knowledge in engineering. I discuss engineering failure arising from the (...) falsification of engineering theories, and present taxonomies of the sources of falsification and responses to falsification in engineering. From this I discuss contexts of research and design in engineering, ad hoc rescue of engineering theories, and engineering assurance. (shrink)

This article addresses the question of the coherence of enactivism as a research perspective by making a case study of enactivism in mathematics education research. Main theoretical directions in mathematics education are reviewed and the history of adoption of concepts from enactivism is described. It is concluded that enactivism offers a ‘grand theory’ that can be brought to bear on most of the phenomena of interest in mathematics education research, and so it provides a sufficient theoretical framework. It has particular (...) strength in describing interactions between cognitive systems, including human beings, human conversations and larger human social systems. Some apparent incoherencies of enactivism in mathematics education and in other fields come from the adoption of parts of enactivism that are then grafted onto incompatible theories. However, another significant source of incoherence is the inadequacy of Maturana’s definition of a social system and the lack of a generally agreed upon alternative. (shrink)

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)

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)

This inaugural handbook documents the distinctive research field that utilizes history and philosophy in investigation of theoretical, curricular and pedagogical issues in the teaching of science and mathematics. It is contributed to by 130 researchers from 30 countries; it provides a logically structured, fully referenced guide to the ways in which science and mathematics education is, informed by the history and philosophy of these disciplines, as well as by the philosophy of education more generally. The first handbook to cover the (...) field, it lays down a much-needed marker of progress to date and provides a platform for informed and coherent future analysis and research of the subject. -/- The publication comes at a time of heightened worldwide concern over the standard of science and mathematics education, attended by fierce debate over how best to reform curricula and enliven student engagement in the subjects There is a growing recognition among educators and policy makers that the learning of science must dovetail with learning about science; this handbook is uniquely positioned as a locus for the discussion. -/- The handbook features sections on pedagogical, theoretical, national, and biographical research, setting the literature of each tradition in its historical context. Each chapter engages in an assessment of the strengths and weakness of the research addressed, and suggests potentially fruitful avenues of future research. A key element of the handbook’s broader analytical framework is its identification and examination of unnoticed philosophical assumptions in science and mathematics research. It reminds readers at a crucial juncture that there has been a long and rich tradition of historical and philosophical engagements with science and mathematics teaching, and that lessons can be learnt from these engagements for the resolution of current theoretical, curricular and pedagogical questions that face teachers and administrators. (shrink)

I argue that we find the articulation of a problem concerning bodily agency in the early works of the Merleau-Ponty which he explicates as analogous to what he explicitly calls the problem of perception. The problem of perception is the problem of seeing how we can have the object given in person through it perspectival appearances. The problem concerning bodily agency is the problem of seeing how our bodily movements can be the direct manifestation of a person’s intentions in the (...) world. In both cases what, according to Merleau-Ponty, obscures a recognition of the phenomenon in question is a conception of our bodily capacities, i.e. our sensibility and our motility, which reduces these to the workings of mechanisms that are blind to meaning. I argue that both the problem concerning perception and the problem concerning bodily agency can be properly called transcendental. The problem of perception is transcendental because it concerns the very intelligibility of appearances and judgements with empirical content. The problem of bodily agency is transcendental in the sense that it concerns the very intelligibility of our bodily capacity to carry out intentions and by implication the intelligibility of our intentions as such. (shrink)

A survey of contemporary philosophical and scientific literatures reveals that different authors employ the term ‘heuristic’ in ways that deviate from, and are sometimes inconsistent with, one another. Given its widespread use in philosophy and cognitive science generally, it is striking that there appears to be little concern for a clear account of what phenomena heuristics pick out or refer to. In response, I consider several accounts of ‘heuristic’, and I draw a number of distinctions between different sorts of heuristics (...) in order to make sense of various research programmes. I then develop a working characterization of ‘heuristic’ which is shown to be coherent and robust enough to serve as a kind within philosophy and cognitive science broadly. My intent is not to pursue a unified account of ‘heuristic’, but to highlight some features of certain kinds of heuristics that are important for theorizing about cognition in order to proceed with a science of the mind/brain. 1 Why We Need an Appropriate Characterization of ‘Heuristic’2 Inadequate Definitions2.1 A positive attempt2.2 Heuristics versus guaranteed correct outcomes3 A Taxonomy of Heuristics3.1 Stimulus-driven versus heuristic3.2 Perceptual versus cognitive heuristics3.3 Computational versus cognitive heuristics3.4 Methodological versus inferential heuristics3.5 Summary of distinctions4 Characterizing Cognitive Heuristics4.1 Heuristics as rules of thumb4.2 Beyond rules of thumb: exploiting information5 Concluding Remarks. (shrink)

In this paper I investigate two notions of concepts that have played a dominant role in 20th century philosophy of mathematics. According to the first, concepts are definite and fixed; in contrast, according to the second notion concepts are open and subject to modifications. The motivations behind these two incompatible notions and how they can be used to account for conceptual change are presented and discussed. On the basis of historical developments in mathematics I argue that both notions of concepts (...) capture important aspects of mathematical and scientific reasoning, and, consequently, that a pluralistic approach that allows for representing both of these aspects is most useful for an adequate account of investigative practices. (shrink)

This thesis offers a naturalist revision of Alain Badiou’s philosophy. This goal is pursued through an encounter of Badiou’s mathematical ontology and theory of truth with contemporary trends in philosophy of mathematics and philosophy of science. I take issue with Badiou’s inability to elucidate the link between the empirical and the ontological, and his residual reliance on a Heideggerian project of fundamental ontology, which undermines his own immanentist principles. I will argue for both a bottom-up naturalisation of Badiou’s philosophical approach (...) to mathematics and a top-down naturalisation. Articulating my particular understanding of what realism and naturalism should commit us to, I propose a creative fusion of Badiou’s attention to metamathematical results with a structural-informational metaphysics, proposing a ‘matherialism’ uniting the more daring speculative insights of the former with the naturalist and empiricist commitments motivating the latter. (shrink)

From the perspective of distributed cognition I will stress how abduction is essentially multimodal, in that both data and hypotheses can have a full range of verbal and sensory representations, involving words, sights, images, smells, etc., but also kinesthetic – related to the ability to sense the position and location and orientation and movement of the body and its parts – and motor experiences and other feelings such as pain, and thus all sensory modalities. The presence of kinesthetic and motor (...) aspects demonstrates that abductive reasoning can be manipulative. We can also see, in this regard, how implicit factors take part in the abductive procedure, which consequently acquires the character of a kind of “thinking through doing”. This paper further describes 1) the fact that hypotheses in science can be built through different cognitive mediators and so they can also model the same cognitive aspect in different ways; how they can be carriers/ producers of knowledge in a multimodal way; 2) the problem of the possible non-explanatory and instrumental nature of abductive reasoning and the analysis of the consequences for induction; 3) the role of manipulative abduction in building new evidence/ experiments and how they trigger smart inductive inferences. (shrink)

We all know that ships are safest in the harbor; but alas, that is not what ships are built for. They are destined to leave the harbor and to confront the challenges that are waiting beyond the harbor mole. A similar challenge confronts the practice of research. Research at work cannot play it safe and stay in whatever theoretical and methodological harbors in which it may have found shelter in the past. Still less can it examine and maintain its foundations (...) in the dry dock. Research is more like a ship that must be repaired on the open sea. Yet foundationalist ideas persist in the practice of research. Counter to what is often assumed, today’s dominating model for research--the fallibilist model of critical rationalism--has not really overcome the empirical foundationalism of earlier, positivist research practices. This paper analyses two major foundationalist traps that are currently in the upswing and work against reflective research practice. (shrink)

The original publication is available at JAIST Press http://www.jaist.ac.jp/library/jaist-press/index.html.