Femtosecond laser microfabrication has emerged in the last decade as a powerful technique for direct inscription of low loss optical waveguides in practically any transparent dielectric substrate, showing outstanding versatility. Prototyping of new devices is made rapid, cheap and easy: optical circuits are written directly buried in the substrate, using the laser beam as an optical pen, without any need of costly masks as required by conventional photolithography. Many proof-of-principle demonstrations of integrated optics can be obtained, including splitters, directional couplers, (...) and Mach–Zehnder interferometers. Actually, the road towards applications has just been opened, and the unique capabilities of femtosecond laser micromachining will enable achievements inconceivable with other technologies. In this work, the femtosecond laser fabrication technique is discussed, together with its application to the realization of integrated photonic quantum circuits. (shrink)

The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmatic of infinites, and calculus were developed. Although many technical studies have been devoted to these innovations, Mancosu provides the first comprehensive account of the relationship between mathematical advances of the seventeenth century and the philosophy of mathematics of the period. Starting with (...) the Renaissance debates on the certainty of mathematics, Mancosu leads the reader through the foundational issues raised by the emergence of these new mathematical techniques, including the influence of the Aristotelian conception of science in Cavalieri and Guldin, the foundational relevance of Descartes' Geometrie, the relation between geometrical and epistemological theories of the infinite, and the Leibnizian calculus and the opposition to infinitesimalist procedures. In the process Mancosu draws a sophisticated picture of the subtle dependencies between technical development and philosophical reflection in seventeenth century mathematics. (shrink)

There is an urgent need in philosophy of mathematics for new approaches which pay closer attention to mathematical practice. This book will blaze the trail: it offers philosophical analyses of important characteristics of contemporary mathematics and of many aspects of mathematical activity which escape purely formal logical treatment.

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

Neuroeconomics, neuromarketing, neuroaesthetics, and neurotheology are just a few of the novel disciplines that have been inspired by a combination of ancient knowledge along with recent discoveries about how the human brain works.This fascinating and thought provoking new book critically questions our love affair with brain imaging.

Recently discovered correspondence from Oskar Becker to Hermann Weyl sheds new light on Weyl's engagement with Husserlian transcendental phenomenology in 1918-1927. Here the last two of these letters, dated July and August, 1926, dealing with issues in the philosophy of mathematics are presented, together with background and a detailed commentary. The letters provide an instructive context for re-assessing the connection between intuitionism and phenomenology in Weyl's foundational thought, and for understanding Weyl's term ‘symbolic construction’ as marking his own considered position (...) in the foundational controversy of the 1920s. In addition, they reveal Weyl's hitherto unknown objections to Becker's detailed attempt (Mathematische Existenz, 1927) to ground the transfinite phenomenologically. (shrink)

Social factors have so far been neglected in embodied theories of perception despite the wealth of phenomenological insights and empirical evidence indicating their importance. I examine evidence from developmental psychology and neuroscience and attempt an initial classification according to whether social factors play a contextual, enabling, or constitutive role in the ability to perceive objects in a detached manner, i.e. beyond their immediate instrumental use. While evidence of cross-cultural variations in perceptual styles and the influence of social cues on visual (...) attention could not be said to play more than a contextual role, other factors such as the intricate developmental links between dyadic and triadic interactions in infancy, as well as episodes of peer-learning in children, play enabling roles. A common element in these factors is the presence and resolution of interpersonal conflict. Detached object perception could not develop without these social factors. I argue, in addition, that social skills such as managing partial social acts which are addressed to and completed by others, linguistic mediation, makebelieve play, and the ability to control perspectival switches are constitutive -- i.e. are of the essence -- of the ability to see objects as present with a detached attitude. I discuss the prospects of incorporating such social elements into dynamical interpretations of the sensorimotor approach through the enactive notion of participatory sense-making. (shrink)

Quine is one of the most influential of contemporary philosophers, whose work has ranged broadly across a great number of topics and issues in a career spanning some fifty years. In this collection a group of distinguished philosophers offer a sustained critical evaluation of the full range of Quine's writings. Amongst the topics addressed are interpretation, epistemology, ontology, modality, and mathematical truth. This collection will certainly influence all future discussion of Quine. The contributors include: George Boolos, H-N. Castaneda, Donald Davidson, (...) Umberto Eco, Dagfinn Follesdal, James Higginbotham, Charles Parsons, Hilary Putnam, Barry Stroud, and Bas van Fraassen. However, Quine is given the last word, responding to the essays in the final contribution. (shrink)

Heinrich Behmann (1891-1970) obtained his Habilitation under David Hilbert in Göttingen in 1921 with a thesis on the decision problem. In his thesis, he solved - independently of Löwenheim and Skolem's earlier work - the decision problem for monadic second-order logic in a framework that combined elements of the algebra of logic and the newer axiomatic approach to logic then being developed in Göttingen. In a talk given in 1921, he outlined this solution, but also presented important programmatic remarks on (...) the significance of the decision problem and of decision procedures more generally. The text of this talk as well as a partial English translation are included. (shrink)

Pierre de Fermat is known as the inventor of modern number theory. He invented–improved many methods useful in this discipline. Fermat often claimed to have proved his most difficult theorems thanks to a method of his own invention: the infinite descent. He wrote of numerous applications of this procedure. Unfortunately, he left only one almost complete demonstration and an outline of another demonstration. The outline concerns the theorem that every prime number of the form 4n + 1 is the sum (...) of two squares. In this paper, we analyse a recent proof of this theorem. It is interesting because: it follows all the elements of which Fermat wrote in his outline; it represents a good introduction to all logical nuances and mathematical variants concerning this method of which Fermat spoke. The assertions by Fermat will also be framed inside their historical context. Therefore, the aims of this paper are related to the history of mathematics and to the logic of proof-methods. (shrink)

It is reported that in reply to John Wisdom’s request in 1944 to provide a dictionary entry describing his philosophy, Wittgenstein wrote only one sentence: “He has concerned himself principally with questions about the foundations of mathematics”. However, an understanding of his philosophy of mathematics has long been a desideratum. This was the case, in particular, for the period stretching from the Tractatus Logico-Philosophicus to the so-called transitional phase. Marion’s book represents a giant leap forward in this direction. In the (...) preface, Marion provides a diagnosis for why it has taken such a long time to obtain an accurate picture of Wittgenstein’s ideas in the foundations of mathematics. When the Remarks on the Foundations of Mathematics came out in 1956 the reception by specialists, such as Kreisel, was negative. This led many Wittgenstein scholars to set aside the issues in the foundations of mathematics and go on with the business of the day, focusing on Wittgenstein’s philosophy of language and psychology. However, these early negative appraisals were severely limited by two facts. First of all, the nature of the Remarks was a hindrance to an understanding of what Wittgenstein was up to. The book was edited by Wittgenstein’s literary executors by collating together passages from several manuscripts dating from 1937 to 1944, cutting, however, many passages in between remarks. Second, many of the original manuscripts and typescripts of the transitional phase were not available and thus it was virtually impossible to obtain a balanced picture of Wittgenstein’s development. Finally, a stark contraposition between the early and late Wittgenstein did not encourage people to work seriously on the development of Wittgenstein’s position from the Tractatus through the transitional period to the later writings. (shrink)

After giving a brief overview of the renewal of interest in logic and the foundations of mathematics in Göttingen in the period 1914-1921, I give a detailed presentation of the approach to the foundations of mathematics found in Behmann's doctoral dissertation of 1918, Die Antinomie der transfiniten Zahl und ihre Auflösung durch die Theorie von Russell und Whitehead. The dissertation was written under the guidance of David Hilbert and was primarily intended to give a clear exposition of the solution to (...) the antinomies as found in Principia Mathematica. In the process of explaining the theory of Principia, Behmann also presented an original approach to the foundations of mathematics which saw in sense perception of concrete individuals the Archimedean point for a secure foundation of mathematical knowledge. The last part of the paper points out an important numbers of connections between Behmann's work and Hilbert's foundational thought. (shrink)

_An examination of the philosophical notion of sacrifice from Kant to Nietzsche._.

At the same time, the book is a contribution to recent philosophical debates, in particular on the prospects for a successful nominalist reconstruction of .

Large Language Models (LLMs) are generative AI systems capable of producing original texts based on inputs about topic and style provided in the form of prompts or questions. The introduction of the outputs of these systems into human discursive practices poses unprecedented moral and political questions. The article articulates an analysis of the moral status of these systems and their interactions with human interlocutors based on the Habermasian theory of communicative action. The analysis explores, among other things, Habermas's inquiries into (...) the analogy between human minds and computers, and into the status of atypical participants in the linguistic community such as genetically modified subjects and animals. Major conclusions are the LLMs seem to qualify as authors that originally participate in discursive practices but do display only a structurally derivative form of communicative competence and fail to meet the status of communicative agents. In this sense, while the contribution of AI writing systems in public discourse and deliberation can support the process of mutual understanding within the community of speakers, the human actors involved in the development, use, and diffusion of these systems share a collective responsibility for the disclosure of AI authorship and verification and adjudication of validity claims. (shrink)

This article explores the concept of landscape through the lens of performativity, challenging the traditional visual-centric understanding rooted in Western art and culture but without denying the visual and representational character of landscape. It examines the evolution of landscape representation, from its origins in linear perspective and Cartesian dualism to contemporary approaches that integrate performative practices. The analysis highlights the dialectical tension between visual representation and immersive, multisensory experiences, arguing for a more integrated view that acknowledges the performative aspects of (...) the visual. By re-evaluating the role of distance, vision, and representation, the article advocates for a nuanced understanding of landscape that balances the visual with embodied practices, ultimately proposing that landscape should be seen as a dynamic interplay between seeing and performing. (shrink)

Recent developments in generalized probability theory have renewed a debate about whether regularity (i.e., the constraint that only logical contradictions get assigned probability 0) should be a necessary feature of both chances and credences. Crucial to this debate, however, are some mathematical facts regarding the interplay between the existence of regular generalized probability measures and various cardinality assumptions. We improve on several known results in the literature regarding the existence of regular generalized probability measures. In particular, we give necessary and (...) sufficient conditions for the existence of regular generalized probability measures defined on the whole powerset of any sample space. (shrink)

The aim of the paper is to discuss the influence exercised by Russell's thought inGöttingen in the period leading to the formulation of Hilbert's program in theearly twenties. I show that after a period of intense foundational work, culminatingwith the departure from Göttingen of Zermelo and Grelling in 1910 we witnessa reemergence of interest in foundations of mathematics towards the end of 1914. Itis this second period of foundational work that is my specific interest. Through theuse of unpublished archival sources (...) I will describe how Hilbert, Behmann, and Bernays,among others, were influenced by and reacted to the technical and philosophical thesespresented in Principia Mathematica. I also argue that there are some elements of continuity between Russell's approach and Hilbert's program as it was presented inthe early twenties. (shrink)

In European culture the sacred and the secular have existed in a dialectical relationship. Prodi sees the fifteenth-century crisis of Christianity as opening up three paths that eroded this dualism and tended towards modernity: civic-republican religion, sacred monarchy, and the territorial churches. Important counter-forces, which sought to maintain dualism, included the Roman-Tridentine Compromise, and those forms of Radical Christianity which rejected confessionalisation outright. During the Eighteenth Century, all these phenomena tended to contribute to one of two tendencies: towards civic religion, (...) or towards political religion. The former preserved a distinction between conscience and law; the latter comprised a state religion which sought to perfect all of human nature. It was civic religion which become embodied in the early USA, alienating God from worldly power, but leaving him as the guarantor of agreements between humans. Back in Europe, Prodi tracks the relationship between the Catholic Church and the new national states. He then turns to the political religions of the Twentieth Century. Prodi concludes by emphasising that this dualism of sacred and secular power lay at the centre of Western modernity, and expresses his fears about the collapse of civic religion into political religion, especially in the USA. (shrink)

In this paper I rely on recent literature that emphasises the importance of recognition in Hegel's philosophy in order to apply the recognition-theoretic approach to the notion of sacrifice in the Phenomenology of Spirit. Firstly, I conduct a preliminary analysis by examining the general meaning of sacrifice as a form of determinate negation. Secondly, I focus on two phenomenological moments (the struggle between ?faith? and ?pure insight?, and the cult) in order to answer the question, ?Is a real (effective and (...) unselfish) sacrifice possible?? Finally, I argue that sacrifice should be considered as a Darstellung, and I explain the twofold connection between sacrifice and recognition. I conclude that there is no sacrifice without recognition, and the process of recognition is intrinsically sacrificial. (shrink)

The aim of this article is to understand an important passage in the history of the sciences of the psyche: starting from the psychiatric problematization — and the consequent emergence — of the concept and the object called ‘sexuality’ in the second half of the 19th century, it attempts to show a series of continuities and discontinuities between this kind of reasoning and the birth of psychoanalysis in the first years of the 20th century. The particular focus is therefore directed (...) on two texts: Krafft-Ebing’s Psychopathia Sexualis and Freud’s Three Essays on the Theory of Sexuality. The argument runs along three intertwined axes: (1) an historico-epistemological analysis of the concepts and their transformations in the field of the science of sexuality; (2) an analysis of the power relationships between patients and physicians; and (3) an account of the psychiatric technologies of the self that have as an effect the emergence of new forms of ‘objective’ knowledge of the subject. The broader goal is to trace a map of the simultaneous and correlate coming into being and transformations both of new forms of objects and of new forms of subjects through the mediation of scientific concepts and techniques. (shrink)

A recent article of Chernikov, Hrushovski, Kruckman, Krupinski, Moconja, Pillay, and Ramsey finds the first examples of simple structures with formulas which do not fork over the empty set but are universally measure zero. In this article we give the first known simple $\omega $ -categorical counterexamples. These happen to be various $\omega $ -categorical Hrushovski constructions. Using a probabilistic independence theorem from Jahel and Tsankov, we show how simple $\omega $ -categorical structures where a formula forks over $\emptyset $ (...) if and only if it is universally measure zero must satisfy a stronger version of the independence theorem. (shrink)

It has often been claimed that (i) Aristotle's expression 'protasis' means 'premiss' in syllogistic contexts and (ii) cannot refer to the conclusion of a syllogism in the Prior Analytics. In this essay we produce and defend a counter-example to these two claims. We argue that (i) the basic meaning of the expression is 'proposition' and (ii) while it is often used to refer to the premisses of a syllogism, in Prior Analytics 1.29, 45b4-8 it is used to refer to the (...) conclusion of a syllogism. In our view, the best explanation of Aristotle's use of the expression 'protasis' is that it means proposition throughout but is frequently used without change of meaning (in certain specific contexts) to refer to the premisses from which a conclusion follows. In Prior Analytics 1.29, 45b4-8 he uses 'protasis' to refer to the conclusion when he needs a single expression to refer to both the conclusion and one of the premisses of the syllogism that constitutes the core of a syllogism through the impossible. If we are correct, we have shown that the view that the expression 'the final protasis' in EN 7.3, 1147b9ff must mean 'the final premiss' and so cannot refer to the conclusion of the relevant syllogism is mistaken. (shrink)

Chapter Θ10 of Aristotle's Metaphysics is traditionally taken to be about the truth of intuitions, namely episodes of an immediate and sub-propositional grasp of entities. This exegesis however saddles Aristotle with a broken-backed theory of truth because in other passages of his works he claims that truth and falsehood apply only to items of a propositional nature and denies that sub-propositional items can be true or false. An alternative exegesis is preferable which takes Θ10 to be about the truth of (...) existential statements and judgements concerning simple items. (shrink)

During the 1930s the fascist government launched a programme for the reclamation of the Pontine Marshes, one of the largest forested wetlands in Italy. In less than a few years the muddy and uneven ground of the forest was transformed into flat land to be cultivated and into solid surface where three new towns were built. Hegemonic narratives describe the fascist reclamation as a process that imposed a solid form upon the raw materials of nature, thereby establishing an unbridgeable divide (...) between nature and culture, natural and built environment. The article challenges this dualism, drawing on ethnographic and historical materials to explore spatial and temporal zones in-between fluidity and solidity. It suggests an approach in which fluidity and solidity are understood as patterns of social and ecological relations rather than mutually exclusive properties of matter, thus exposing the continuity between them. (shrink)

In the sentence “Tom sits,” the name distinguishes Tom from anyone else, whereas the predicate assimilates Tom, Theaetetus, and anyone else to whom the predicate applies. The name marks out its bearer and the predicate groups together what it applies to. On that ground, his name is used to trace back Tom, and the predi- cate is used to describe and classify what it applies to. In both cases, the semantic link is a direct link between expressions and particulars. Here, (...) I will explore the workings of predicative names along the direction just hinted at. The analysis of predication has been less central to philosophical investigation than that of referen- tial expressions. Some problems have concerned the unity of the sentence—what makes us understand “The baby cries” as a sentence rather than a list of words? Other problems have been what a predicate was taken to stand for, properties and relations, and the understanding of either at the ontological level. If a predicate refers to a property or a relation, yet predication, which is central to our understand- ing of predicates, applies it to one or more particulars. On the background hinted at, these problems might be differently viewed. (shrink)

We review several of de Finetti’s fundamental contributions where these have played and continue to play an important role in the development of imprecise probability research. Also, we discuss de Finetti’s few, but mostly critical remarks about the prospects for a theory of imprecise probabilities, given the limited development of imprecise probability theory as that was known to him.

We will discuss a mathematical proof found in Wittgenstein’s Nachlass, a constructive version of Euler’s proof of the infinity of prime numbers. Although it does not amount to much, this proof allows us to see that Wittgenstein had at least some mathematical skills. At the very last, the proof shows that Wittgenstein was concerned with mathematical practice and it also gives further evidence in support of the claim that, after all, he held a constructivist stance, at least during the transitional (...) period of his thought (1929-33). (shrink)

The aim of this article is to shed light on an understudied aspect of Giordano Bruno's intellectual biography, namely, his career as a mathematical practitioner. Early interpreters, especially, have criticized Bruno's mathematics for being “outdated” or too “concrete”. However, thanks to developments in the study of early modern mathematics and the rediscovery of Bruno's first mathematical writings (four dialogues on Fabrizio's Mordente proportional compass), we are in a position to better understand Bruno's mathematics. In particular, this article aims to reopen (...) the question of whether Bruno anticipated the concept of infinitesimal quantity. It does so by providing an analysis of the dialogues on Mordente's compass and of the historical circumstances under which those dialogues were written. (shrink)

The intent we propose will be to retrace a few fundamental passages of the philosophical and metaphysical though of the Spanish philosopher, considering two conceptual pairs that refer to the question of res-realitas: constitutive respective / remittent respective, cosa-realidad / cosa-sentido.

In Umberto Eco's semiotics, the encyclopedia is a multidimensional space of semiosis. It is a complex system of shared knowledge that governs the production and interpretation of signs inside communicative contexts. Every semiotic act involves the elements that form the encyclopedia. By means of several examples and comparisons with different semiotic theories, my paper aims to show how semiosis is governed by semantic categorizations, pragmatic rules, and narrative frames that the encyclopedia articulates and makes operative for interpreters and producers of (...) signs. (shrink)

In 1959, the Charles Darwin Station and the Galápagos National Park were established, formally inaugurating conservation on the archipelago. In the same year, a utopian colony from the United States arrived. Whereas scholars have dismissed the latter and focused on the former, this essay unveils the science-inspired utopianism common to both enterprises. Investing science with the exclusive role of producing all knowledge and steering politics, leaders of the two initiatives aspired not only to protect nature but also to forge a (...) new humanity. Describing how such ambitions burst along lines of race, class, and nationality, I argue that these enterprises consolidated the current understanding of the Galápagos as “pristine”: a site fit for research and tourism but unhospitable to people. Drawing on archival and historical documents, this essay aims to reinvigorate two conversations: one between science and technology studies and conservation, and the other between STS and utopian studies. If recent attempts at bridging the divide between science and imagination have emphasized how powerful actors shape human society, this essay considers the long-lasting effects of scientific imaginaries on a politics of nature. (shrink)

We recorded Event-Related Potentials to investigate differences in the use of gender information during the processing of reflexive pronouns. Pronouns either matched the gender provided by role nouns (such as “king” or “engineer”) or did not. We compared two types of gender information, definitional information, which is semantic in nature (a mother is female), or stereotypical (a nurse is likely to be female). When they followed definitional role-nouns, gender-mismatching pronouns elicited a P600 effect reflecting a failure in the agreement process. (...) When instead the gender violation occurred after stereotypical role-nouns the Event Related Potential response was biphasic, being positive in parietal electrodes and negative in anterior left electrodes. The use of a correlational approach showed that those participants with more “feminine” or “expressive” self sex-role descriptions showed a P600 response for stereotype violations, suggesting that they experienced the mismatch as an agreement violation; whereas less “expressive” participants showed an Nref effect, indicating more effort spent in linking the pronouns with the possible, although less likely, counter-stereotypical referent. (shrink)

The study of the neuroscience and genomics of mental illness are increasingly intertwined. This is mostly due to the translation of medical technologies into psychiatry and to technological convergence. This article focuses on psychosis. I argue that the convergence of neuroscience and genomics in the context of psychosis is morally problematic, and that ethics scholarship should go beyond the identification of a number of ethical, legal, and social issues. My argument is composed of two strands. First, I argue that we (...) should respond to technological convergence by developing an integrated, patient-centred approach focused on the assessment of individual vulnerabilities. Responding to technological convergence requires that we integrate insights from several areas of ethics, translate bioethical principles into the mental health context, and proactively try to anticipate future ethical concerns. Second, I argue that a nuanced understanding of the concept of vulnerability might help us to accomplish this task. I borrow Florencia Luna’s notion of ‘layers of vulnerability’ to show how potential harms or wrongs to individuals who experience psychosis can be conceptualised as stemming from different sources, or layers, of vulnerability. I argue that a layered notion of vulnerability might serve as a common ground to achieve the ethical integration needed to ensure that biomedical innovation can truly benefit, and not harm, individuals who suffer from psychosis. (shrink)

This paper aims to foster an interdisciplinary dialogue between Ricoeur’s phenomenological- hermeneutical thought and human geography, in particular with respect to the issue of landscape interpretation. The connection draws on the idea that landscapes and lived spaces can be read as texts, not unfamiliar to human geography and semiotics from 1980s onward. In the first part of the paper I will briefly expound some theories of landscape which make use of the metaphors “landscape as cultural image” and “landscape as text” (...) in human and cultural geography. Then, I will discuss the main contribution of Ricoeur to the issue of space. The philosopher already envisioned a possible application of his “threefold mimesis” of Time and Narrative to architectural spaces. In the conclusion, I will propose to rejuvenate the geographical metaphor of “landscape as text” by introducing a possible application of the Ricoeurian notion of “meaningful action as text” to landscape. (shrink)

In many countries, life expectancy has increased considerably in past years, and the importance of finding ways to ensure good levels of wellbeing through aging has become more important than ever. Arts based interventions are promising in this respect, and the literature suggests that musical activities can reduce isolation and anxiety and foster feelings of achievement and self-confidence. The present study examined the effects of group music making programs on the health and wellbeing of nursing home residents in Southern Switzerland. (...) A team of professional and student musicians delivered 10 weekly music sessions in four nursing homes, focusing on singing, rhythm-based activities with percussion instruments, and listening to short, live performances. 22 participants (16 women and 6 men, aged 72-95 years, mean 83.6, SD ± 6.9) were recruited to take part in the study and were interviewed after the last music session. The data were analyzed with thematic analysis to investigate how residents experienced group music making and its effects. The findings show that the music programs were beneficial for residents’ wellbeing. Music plays an important role in their lives, both in their pasts and presently, and being involved in musical activities offers engagement and novelty in daily life, providing learning opportunities and facilitating interpersonal relationships. Moreover, these results were due to interactions with the musicians involved. Residents particularly appreciated the opportunity to listen to live performances as part of the sessions. This study suggests that nursing home residents value music and that music based interventions play an important and direct role in enhancing their wellbeing. (shrink)