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

Different realistic attitudes towards wavefunctions and quantum states are as old as quantum theory itself. Recently Pusey, Barret and Rudolph on the one hand, and Auletta and Tarozzi on the other, have proposed new interesting arguments in favor of a broad realistic interpretation of quantum mechanics that can be considered the modern heir to some views held by the fathers of quantum theory. In this paper we give a new and detailed presentation of such arguments, propose a new taxonomy of (...) different realistic positions in the foundations of quantum mechanics and assess the scope, within this new taxonomy, of these realistic arguments. (shrink)

The Dunning–Kruger effect focuses our attention on the notion of invisibility of ignorance, i.e., the ignorance of ignorance. Such a phenomenon is not only important for everyday life, but also, above all, for some philosophical disciplines, such as epistemology of sciences. When someone tries to understand formally the phenomenon of ignorance of ignorance, they usually end up with a nested epistemic operator highly resistant to proper regimentation. In this paper, we argue that to understand adequately the ignorance of ignorance phenomenon (...) we have to understand satisfactorily the concept of disbelief and, as we call it, the concept of “radical ignorance”. We propose also prerequisites that a notion of radical ignorance useful for the philosophy of science ought to fulfill, and we sketch a possible formalization of this notion. Finally, we propose some comments on the problem of propagation of ignorance proposed by Fine. (shrink)

The aim of this paper is to reconstruct the logical structure of Melissus philosophy, building on Laks Most’s translation and Barnes’ seminal work on the Samian. This will allow us to shed some light on the subtle argumentations of Melissus. On top of that, we frame Melissus’ metaphysics employing modern logical instruments. On one side, this reformulation makes clear a few assumptions hidden in the deductions made by the Samian; on the other side, our paper shows that contemporary analytic metaphysics (...) has forerunners dating back 2500 years. (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)

The enormous increasing of connections between people and the noteworthy enlargement of domains and methods in sciences have augmented extraordinarily the cardinality of the set of meaningful human symbols. We know that complexity is always on the way to become complication, i.e. a non-tractable topic. For this reason scholars engage themselves more and more in attempting to tame plurality and chaos. In this book distinguished scientists, philosophers and historians of science reflect on the topic from a multidisciplinary point of view. (...) Is it possible to dominate complexity through reductionism? Are there other conceptual instruments useful to take account of complexity? What is complexity in biology, mathematics, physics and philosophy of mind? These are some of the questions which are faced in this volume. (shrink)

This volume offers very selected papers from the 2014 conference of the “International Association for Computing and Philosophy” (IACAP) - a conference tradition of 28 years. - - - Table of Contents - 0 Vincent C. Müller: - Editorial - 1) Philosophy of computing - 1 Çem Bozsahin: - What is a computational constraint? - 2 Joe Dewhurst: - Computing Mechanisms and Autopoietic Systems - 3 Vincenzo Fano, Pierluigi Graziani, Roberto Macrelli and Gino Tarozzi: - Are Gandy Machines (...) really local? - 4 Doukas Kapantais: - A refutation of the Church-Turing thesis according to some interpretation of what the thesis says - 5 Paul Schweizer: - In What Sense Does the Brain Compute? - 2) Philosophy of computer science & discovery - 6 Mark Addis, Peter Sozou, Peter C R Lane and Fernand Gobet: - Computational Scientific Discovery and Cognitive Science Theories - 7 Nicola Angius and Petros Stefaneas: - Discovering Empirical Theories of Modular Software Systems. An Algebraic Approach. - 8 Selmer Bringsjord, John Licato, Daniel Arista, Naveen Sundar Govindarajulu and Paul Bello: - Introducing the Doxastically Centered Approach to Formalizing Relevance Bonds in Conditionals - 9 Orly Stettiner: - From Silico to Vitro: - Computational Models of Complex Biological Systems Reveal Real-world Emergent Phenomena - 3) Philosophy of cognition & intelligence - 10 Douglas Campbell: - Why We Shouldn’t Reason Classically, and the Implications for Artificial Intelligence - 11 Stefano Franchi: - Cognition as Higher Order Regulation - 12 Marcello Guarini: - Eliminativisms, Languages of Thought, & the Philosophy of Computational Cognitive Modeling - 13 Marcin Miłkowski: - A Mechanistic Account of Computational Explanation in Cognitive Science and Computational Neuroscience - 14 Alex Tillas: - Internal supervision & clustering: - A new lesson from ‘old’ findings? - 4) Computing & society - 15 Vasileios Galanos: - Floridi/Flusser: - Parallel Lives in Hyper/Posthistory - 16 Paul Bello: - Machine Ethics and Modal Psychology - 17 Marty J. Wolf and Nir Fresco: - My Liver Is Broken, Can You Print Me a New One? - 18 Marty J. Wolf, Frances Grodzinsky and Keith W. Miller: - Robots, Ethics and Software – FOSS vs. Proprietary Licenses. (shrink)

Whereas Western moral philosophy has mainly accounted for recurrent failed or irrational actions through the concept of weakness of will, many early Chinese texts on self-cultivation, notably the Zhuangzi, stand for a philosophical position that explains our frustrations and failures as an "excess of the will." Leaving aside external factors such as accidents or mistakes, this essay explores the sources of thwarted plans and frustrated expectations that are due to factors internal to the individual—more precisely, to the nature of intentional (...) conscience. Such a view was generally inadmissible in Western moral philosophy, which revolves around the paradigm of a causal agent endowed with a 'muscular ethics' for which all that is desired, and indeed all that is achieved, may only be a direct effect of the will. In striking contrast to this orientation, the Zhuangzi presents a variety of situations in which things do not happen as planned because we were too aware of the plan that guided us. Here, I will use Jon Elster's concept of by-product states in order to explore this contrast between two contending models of action that, far from being culturally rooted, express an inner criticism in both traditions, European and Chinese. (shrink)

The economics of happiness is an influential research programme, the aim of which is to change welfare economics radically. In this paper I set out to show that its foundations are unreliable. I shall maintain two basic theses: (a) the economics of happiness shows inconsistencies with the first person standpoint, contrary claims on the part of the economists of happiness notwithstanding, and (b) happiness is a dubious concept if it is understood as the goal of welfare policies. These two theses (...) are closely related and lead to a third thesis: (c) happiness should be replaced by autonomy as the fundamental goal of welfare economics. To defend my claims I shall show that a hedonic approach to happiness leads to an awkward trilemma. Furthermore, I shall clarify the meaning of and , along with their conceptual relationships. (shrink)

We introduce, in a general setting, an ‘‘analytic’’ version of standard equational calculi of combinatory logic. Analyticity lies on the one side in the fact that these calculi are characterized by the presence of combinatory introduction rules in place of combinatory axioms, and on the other side in that the transitivity rule proves to be eliminable. Apart from consistency, which follows immediately, we discuss other almost direct consequences of analyticity and the main transitivity elimination theorem; in particular the Church−Rosser and (...) the leftmostreduction theorems for the associated notions of reduction. The last two sections deal with analytic combinatory calculi with the extensionality rule added. Here, as far as the elimination of transitivity is concerned, we have only partial results, which unfortunately do not cover, at present, full CL + Ext. Yet, they are sufficient to prove the decidability of weaker combinatory calculi with extensionality, including e.g. BCK + Ext. (shrink)

More than many other Austrians, Mises tried to found aprioristic methodology on a well defined and developed epistemology. Although references to Kant are scattered rather unsystematically throughout his works, he nevertheless used an unequivocal Kantian terminology. He explicitly defended the existence of ‘a priori knowledge’, ‘synthetic a priori propositions’, ‘the category of action’, and so forth.

LetSKP be the intermediate prepositional logic obtained by adding toI (intuitionistic p.l.) the axiom schemes:S = (( ) ) (Scott), andKP = ()()() (Kreisel-Putnam). Using Kripke's semantics, we prove:1) SKP has the finite model property; 2) SKP has the disjunction property. In the last section of the paper we give some results about Scott's logic S = I+S.

The paper settles an open question concerning Negri-style labeled sequent calculi for modal logics and also, indirectly, other proof systems which make (more or less) explicit use of semantic parameters in the syntax and are thus subsumed by labeled calculi, like Brünnler’s deep sequent calculi, Poggiolesi’s tree-hypersequent calculi and Fitting’s prefixed tableau systems. Specifically, the main result we prove (through a semantic argument) is that labeled calculi for the modal logics K and D remain complete w.r.t. valid sequents whose relational (...) part encodes a tree-like structure, when the unique rule which contains an harmful implicit contraction—by which the condition that the premises be less complex than the conclusion is violated—is modified into a contraction-free one respecting the latter condition, thus making the proof-search space finite. (shrink)

In a series of essays published from the late 1920s up to the mid-1960s, Hans Kelsen carried out a radical critique of natural law theory. The present paper purports to provide an analytical reconstruction and critical assessment of such a critique. It contains two parts. Part one surveys the fundamentals of Kelsen’s argumentative strategy against natural law and its theorists. Part two considers, in turn, two critical reactions to Kelsen’s criticisms: by Edgar Bodenheimer, on behalf of traditional natural law theory; (...) by Robert P. George, on behalf of “the new natural law theory”. As the analysis suggests, Kelsen’s critique stands up to the criticisms. (shrink)

It has often been remarked that the metatheory of strong reduction $\succ$ , the combinatory analogue of βη-reduction ${\twoheadrightarrow_{\beta\eta}}$ in λ-calculus, is rather complicated. In particular, although the confluence of $\succ$ is an easy consequence of ${\twoheadrightarrow_{\beta\eta}}$ being confluent, no direct proof of this fact is known. Curry and Hindley’s problem, dating back to 1958, asks for a self-contained proof of the confluence of $\succ$ , one which makes no detour through λ-calculus. We answer positively to this question, by extending (...) and exploiting the technique of transitivity elimination for ‘analytic’ combinatory proof systems, which has been introduced in previous papers of ours. Indeed, a very short proof of the confluence of $\succ$ immediately follows from the main result of the present paper, namely that a certain analytic proof system G e [ $\mathbb {C}$ ] , which is equivalent to the standard proof system CL ext of Combinatory Logic with extensionality, admits effective transitivity elimination. In turn, the proof of transitivity elimination—which, by the way, we are able to provide not only for G e [ $\mathbb {C}$ ] but also, in full generality, for arbitrary analytic combinatory systems with extensionality—employs purely proof-theoretical techniques, and is entirely contained within the theory of combinators. (shrink)

Abstract. The paper argues for the following points: (1) Marmor's own understanding of "legal positivism" is different from the understanding defended, e.g., by Herbert Hart and Norberto Bobbio, and apparently misleads him into the wrong track of a theoretical inversion; (2) Marmor's two-stages model of (legal) interpretation—the understanding-interpretion model—provides no support for Marmor's own positivistic theory of law; (3) Marmor's concept of interpretation is at odds both with the basic tenets of Hartian and Continental methodological legal positivism, on the one (...) hand, and with the actual practice of legal interpretation in the Western world, on the other hand; (4) Marmor's concept of an easy case is likewise objectionable. (shrink)

We introduce new proof systems G[β] and G ext[β], which are equivalent to the standard equational calculi of λβ- and λβη- conversion, and which may be qualified as ‘analytic’ because it is possible to establish, by purely proof-theoretical methods, that in both of them the transitivity rule admits effective elimination. This key feature, besides its intrinsic conceptual significance, turns out to provide a common logical background to new and comparatively simple demonstrations—rooted in nice proof-theoretical properties of transitivity-free derivations—of a number (...) of well-known and central results concerning β- and βη-reduction. The latter include the Church–Rosser theorem for both reductions, the Standardization theorem for β- reduction, as well as the Normalization (Leftmost reduction) theorem and the Postponement of η-reduction theorem for βη-reduction. (shrink)

In mainstream economic theory money functions as an instrument for the circulation of commodities or for keeping a stock of liquid wealth. In neither case is it considered fundamental to the production of goods or the distribution of income. Augusto Graziani challenges traditional theories of monetary production, arguing that a modern economy based on credit cannot be understood without a focus on the administration of credit flows. He argues that market asset configuration depends not upon consumer preferences and available (...) technologies but on how money and credit are managed. A strong exponent of the circulation theory of monetary production, Graziani presents an original and perhaps controversial argument that will stimulate debate on the topic. (shrink)

Journal Name: Semiotica Issue: Ahead of print.

The paper analyses the development of some themes in the contemporary philosophy of science in Italy. Section 1 reviews the dabate on the legacy of neopositivism. The spread of the philosophy of Popper is outlined in Section 2, with particular regard to the problem of the vindication of induction. Section 3 deals with the debate on the incommensurability thesis, while Section 4 examines its consequences on the possible relationships between historical and epistemological studies of science. The last section is devoted (...) to one of the most recent trends in the Italian philosophy of science: the resumption of Aristotelian dialectics. (shrink)

La struttura e l’argomentazione del libro Lambda della Metafisica sono condizionate dalla questione della possibilità di stabilire se esista o no un unico principio comune a tutte quante le sostanze possibili, sensibili e sovrasensibili. La discussione del libro, non conclusiva, lascia indeciso il problema: un esito spiegabile riferendo la formulazione di questo - e l’origine del libro - alla situazione di Aristotele negli anni dell’Academia, dove l’accettazione di princìpi comuni a tutte le cose si accompagnava alla convinzione che ci fosse (...) un’unica scienza generale per tutte le sostanze. Nel libro Lambda la classica distinzione aristotelica tra la fisica e la filosofia prima non riesce perciò ad essere stabilita. (shrink)

We introduce a certain extension of -calculus, and show that it has the Church-Rosser property. The associated open-term extensional combinatory algebra is used as a basis to construct models for theories of Explict Mathematics (formulated in the language of "types and names") with positive stratified comprehension. In such models, types are interpreted as collections of solutions (of terms) w.r. to a set of numerals. Exploiting extensionality, we prove some consistency results for special ontological axioms which are refutable under elementary comprehension.

We give completeness results — with respect to Kripke's semantic — for the negation-free intermediate predicate calculi.

Les premières mythographies de l’Europe néo-latine, depuis la Genealogia deorum de Boccace, considèrent l’histoire des dieux sur le modèle des généalogies humaines, en cherchant à recomposer « la lignée de Saturne ». Les premiers historiens de la Grèce, comme les poètes, inventèrent des généalogies mythiques pour inscrire l’origine des hommes dans l’histoire de leur relation aux dieux. Que fondent les généalogies divines ? Non seulement des structures religieuses, non seulement la raison même des sociétés humaines, mais encore la préhistoire de (...) l’humanité. Mais si les engendrements divins donnent sens aux relations entre les hommes et les dieux, c’est l’histoire des commencements du monde que les mythographes cherchent à comprendre en interrogeant l’articulation des généalogies divines et humaines. Depuis que, dans le Timée, Platon a associé mythologia et genealogia comme deux modes de discours « archéologiques », les mythographes ont ouvertement revendiqué un savoir sur le monde qui se définit comme une synthèse des « sciences de la nature ».Mythologia, Genealogia, Archaiologia:A Paleontological Scope for Mythography. The first European mythographical treatises in the Middle Ages and Renaissance, since Boccaccio’s Genealogia deorum, were determined by a genealogical method, looking at the history of the gods with human patterns and seeking the reconstruction of “Saturn’s lineage”. The early Greek mythographers, like the poets, imagined various genealogies for seeking out the origins of humanity through their relationships with gods. What is founded on divine genealogies? Not only religious structures, nor only the true ratio of human sociability, but a human paleon­tology too. By interpreting filiations as a system of connexions between gods and humans, the mythographers aimed at understanding the protohistory of the universe. Since Plato’s Timaeus associated mythologia and genealogia as two modes of “archaeological” discourse, mythographers have wanted to assert their own “physical science” as a whole synthetic perception of the natural world. (shrink)

Temporal ontology is concerned with the ontological status of the past, the present and the future, with presentism and eternalism as main contenders since the second half of the last century. In recent years several philosophers have argued that the presentism/eternalism dispute is not substantial. They have embraced, one may say, deflationism. Denying or downplaying the meaningfulness of tenseless language and wielding the so-called triviality objection have been their main argumentative tools. Other philosophers have opposed this trend, thereby holding fast (...) to what could be named substantialism. Their leading defensive strategy has consisted in bringing to the fore tenselessness or unrestricted quantification in an attempt to resist the triviality objection. Despite this reaction, the past few years have hosted a new wave of deflationism, wherein the triviality objection and qualms about the legitimacy of tenselessness and unrestricted quantification still loom large. This paper counters this trend, by providing a new clarification of tenseless predication, unrestricted quantifiers and their role in rescuing substantialism from the triviality objection. A crucial ingredient is this: the appeal to unrestricted quantifiers and to tenseless predication are not alternative strategies, but rather two sides of the same coin, since substantialism requires quantifiers that are both tenseless and unrestricted. (shrink)