This collection of essays explores the history of the book in pre-modern South Asia looking at the production, circulation, fruition and preservation of manuscripts in different areas and across time. Edited by the team of the Cambridge-based Sanskrit Manuscripts Project and including contributions of the researchers who collaborated with it, it covers a wide range of topics related to South Asian manuscript culture: from the material dimension and the complicated interactions of manuscripts with printing in late medieval Tibet and in (...) modern Tamil Nadu, to reading, writing, editing and educational practices, from manuscripts as sources for the study of religious, literary and intellectual traditions, to the creation of collections in medieval India and Cambodia, and the formation of the Cambridge collections in the colonial period. The contributions reflect the variety of idioms, literary genres, religious movements, and social actors of ancient South Asia, as well as the variety of approaches, interests and specialisms of the authors, and their impassionate engagement with manuscripts. (shrink)

The article presents a preliminary survey of textual reuse in Nepalese collections of j?takas and avad?nas, focusing in particular on three works: the Avad?na?ataka, the Divy?vad?na, and the Dv?vi??atyavad?nakath?. The reassessment of the manuscript tradition of these three Sanskrit collections, based on Nepalese manuscripts and Tibetan translations, sheds more light on the role of scribes in the creation of these collections and of the Nepalese avad?nam?l? literature. In particular, the great role played in the 17th century by the Nepalese scribe (...) and scholar Jayamuni in shaping the text of the Avad?na?ataka, the Divy?vad?na, and many other Buddhist narrative works is brought to light. The result of this preliminary survey shows that a study of this type of collections based on the available critical editions should be rethought in the light of the specific character of their manuscript and textual transmission in medieval and early modern Nepal. (shrink)

An old and well-known objection to non-classical logics is that they are too weak; in particular, they cannot prove a number of important mathematical results. A promising strategy to deal with this objection consists in proving so-called recapture results. Roughly, these results show that classical logic can be used in mathematics and other unproblematic contexts. However, the strategy faces some potential problems. First, typical recapture results are formulated in a purely logical language, and do not generalize nicely to languages containing (...) the kind of vocabulary that usually motivates non-classical theories—for example, a language containing a naïve truth predicate. Second, proofs of recapture results typically employ classical principles that are not valid in the targeted non-classical system; hence, non-classical theorists do not seem entitled to those results. In this paper, we analyze these problems and provide solutions on behalf of non-classical theorists. To address the first problem, we provide a novel kind of recapture result, which generalizes nicely to a truth-theoretic language. As for the second problem, we argue that it relies on an ambiguity and that, once the ambiguity is removed, there are no reasons to think that non-classical logicians are not entitled to their recapture results. (shrink)

In an effort to produce new and more sustainable technologies, designers have turned to nature in search of inspiration and innovation. Biomimetic design (from the Greek bios, life, mimesis, imitation) is the conscious imitation of biological models to solve today's technical and ecological challenges. Nowadays numerous different approaches exist that take inspiration from nature as a model for design, such as biomimicry, biomimetics, bionics, permaculture, ecological engineering, etc. This variety of practices comes in turn with a wide range of different (...) promises, including sustainability, increased resilience, multi-functionality, and a lower degree of risk. How are we to make sense of this heterogeneous amalgam of existing practices and technologies, and of the numerous promises attached to them? We suggest that a typology of biomimetic approaches would provide a useful hermeneutic framework to understand the different tensions that pull this variegated landscape in different directions. This is achieved through a critical analysis of the literature in different fields of biomimetic design and the philosophy of biomimicry, in order to derive conceptual and normative assumptions concerning the meaning and value of the imitation of nature. These two dimensions are then intersected to derive an analytical grid composed of six different biomimetic types, which enable the classification of existing and possible biomimetic approaches, practices, and technologies according to their specific conceptual assumptions and guiding norms. (shrink)

Whereas geometrical oppositions (logical squares and hexagons) have been so far investigated in many fields of modal logic (both abstract and applied), the oppositional geometrical side of “deontic logic” (the logic of “obligatory”, “forbidden”, “permitted”, . . .) has rather been neglected. Besides the classical “deontic square” (the deontic counterpart of Aristotle’s “logical square”), some interesting attempts have nevertheless been made to deepen the geometrical investigation of the deontic oppositions: Kalinowski (La logique des normes, PUF, Paris, 1972) has proposed a (...) “deontic hexagon” as being the geometrical representation of standard deontic logic, whereas Joerden (jointly with Hruschka, in Archiv für Rechtsund Sozialphilosophie 73:1, 1987), McNamara (Mind 105:419, 1996) and Wessels (Die gute Samariterin. Zur Struktur der Supererogation, Walter de Gruyter, Berlin, 2002) have proposed some new “deontic polygons” for dealing with conservative extensions of standard deontic logic internalising the concept of “supererogation”. Since 2004 a new formal science of the geometrical oppositions inside logic has appeared, that is “ n -opposition theory”, or “NOT”, which relies on the notion of “logical bi-simplex of dimension m ” ( m = n − 1). This theory has received a complete mathematical foundation in 2008, and since then several extensions. In this paper, by using it, we show that in standard deontic logic there are in fact many more oppositional deontic figures than Kalinowski’s unique “hexagon of norms” (more ones, and more complex ones, geometrically speaking: “deontic squares”, “deontic hexagons”, “deontic cubes”, . . ., “deontic tetraicosahedra”, . . .): the real geometry of the oppositions between deontic modalities is composed by the aforementioned structures (squares, hexagons, cubes, . . ., tetraicosahedra and hyper-tetraicosahedra), whose complete mathematical closure happens in fact to be a “deontic 5-dimensional hyper-tetraicosahedron” (an oppositional very regular solid). (shrink)

We investigate an extension of the formalism of interpreted systems by Halpern and colleagues to model the correct behaviour of agents. The semantical model allows for the representation and reasoning about states of correct and incorrect functioning behaviour of the agents, and of the system as a whole. We axiomatise this semantic class by mapping it into a suitable class of Kripke models. The resulting logic, KD45n i-j, is a stronger version of KD, the system often referred to as Standard (...) Deontic Logic. We extend this formal framework to include the standard epistemic notions defined on interpreted systems, and introduce a new doubly-indexed operator representing the knowledge that an agent would have if it operates under the assumption that a group of agents is functioning correctly. We discuss these issues both theoretically and in terms of applications, and present further directions of work. (shrink)

According to an influential line of thought, from the assumption that indeterminism makes future contingents neither true nor false, one can conclude that assertions of future contingents are never permissible. This conclusion, however, fails to recognize that we ordinarily assert future contingents even when we take the future to be unsettled. Several attempts have been made to solve this puzzle, either by arguing that, albeit truth-valueless, future contingents can be correctly assertable, or by rejecting the claim that future contingents are (...) truth-valueless. The paper examines three of most representative accounts in line with the first attempt, and concludes that none of them succeed in providing a persuasive answer as to why we felicitously assert future contingents. (shrink)

There are excellent research papers in the field of visual studies that examine the relationship between war and images. This paper has other and additional aims. The first is to examine not so much how war is transferred from the ground to image production, but how war, as intrusion of the real, forces a general reflection on image techniques. The second is to examine whether there is an instance of art that is somehow different from the instance of the mere (...) image, which is always related to something that manifests itself in war, and which, especially on the occasion of a war, invites a broader reflection on existence, judgement and the world. The paths taken for these investigations are rooted in the idea that a (political) theory of art cannot be reduced to an internal classification of image theory, since it investigates aspects that go beyond the definition of the image itself. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Three Poems on MemoryAlessio ZanelliMICROCHIMERISMI feel them,the way I feel the stardust seeping through my skin.I feel them in the light and in the dark,in absolute silence and in deafening noise,in peaceful days and in gloomy days,while awake and while asleep.They whisper to me who I am,where I came from and where I'm headed.They uphold mewhen my body falters or my mind breaks down.I feel them loud and cleareven (...) though turmoil surrounds me,and I wonder whether she can feel them in turn,wherever she is now.And if our swapped cells don't do the job,I'm sure we'll join anewas waves afloat in spacetime,liminal ripples invisibly entwinedthat eternally propagate within the whole,within the cosmic womb astir with zillions more. [End Page 465]TIMEHanging on in quiet desperation—Roger Waters1They were right. We would get to know the hoax.They had ridden the carousel before.The swallows have always been returning,only fewer with every passing year,though they have never really gone away.Now they speak to me in dreams, one by one.The time has come. To regret time. And all.We are drops off the stalactites of time,settling the concretions of memory.And the sun burns on. Up and down around. [End Page 466]WHIFFSLight has no edge, darkness has no center, both have shape.They visit with me briefly, quick life whiffs,between a misty trip into nowhere and the next.They speak a few words, terse phrases,neat like scratches of diamond over limestone,in a forgotten lively voice,from a time long before they left.I gather nothing, mostly, no real sense.I retrieve a very distant memory, every so often,as if arising from yesterday.They hardly show themselves while speaking,and when they do I can but have a fleeting glance.Their face shines upon an invisible body,illuminates the whole ambience,belongs in an older past,not the last I have known with them.It is a face from youth,one I am allowed to recall only when they appear.Why do they come if they cannot stay?How is it they take the long way around?What do they mean?Maybe youth is the message.Maybe they just want me to thinkI have been young, we all have, together.There could be more I miss, I must still realize.I may do one day, or never, but it is already enough.A few words and a face.A darting glow.Whiffs.Edge has light, center has darkness, both have no shape.Cremona, ItalyAlessio ZanelliCremona, ItalyFootnotes1. Pink Floyd, "Time," by Roger Waters, on The Dark Side of the Moon, Abbey Road Studios, originally released 1973.Copyright © 2023 Johns Hopkins University Press... (shrink)

The primacy of the act of observation, one of the hallmarks of empiricism, found new life in the centrality of the distinction, made in Bas van Fraassen's constructive empiricism, between observable and unobservable. As Elliott Sober have pointed out, however, it is not clear what van Fraassen understands by observing an object. Worse, the Dutch philosopher does not seem to consider that a clarification of this point is necessary. This, of course, represents an important lacuna in a position generally considered (...) as the main reference for modern empiricism. My goal is to take up again the counterfactual conditionals characterizing perception that Otávio Bueno presented in 2011 in this journal, and also to consider the observability and the existence criteria proposed by Filip Buekens and Michel Ghins, in order to get to a definition of observation that should give van Fraassen's observability concept the support it actually lacks, but without presenting itself as an ad hoc solution. (shrink)

the scholion to Lucan, “Bellum Civile” 8, 618 that is found in the “Adnotationes super Lucanum” is at first sight pointless, but it becomes immediately meaningful if we accept the idea that the scholiast commented the text by systematically comparing it with Livy’s narrative on those same events. This approach casts a new light on how these ancient commentators read Lucan and can be also useful to solve exegetical issues.

The logical hexagon (or hexagon of opposition) is a strange, yet beautiful, highly symmetrical mathematical figure, mysteriously intertwining fundamental logical and geometrical features. It was discovered more or less at the same time (i.e. around 1950), independently, by a few scholars. It is the successor of an equally strange (but mathematically less impressive) structure, the “logical square” (or “square of opposition”), of which it is a much more general and powerful “relative”. The discovery of the former did not raise interest, (...) neither among logicians, nor among philosophers of logic, whereas the latter played a very important theoretical role (both for logic and philosophy) for nearly two thousand years, before falling in disgrace in the first half of the twentieth century: it was, so to say, “sentenced to death” by the so-called analytical philosophers and logicians. Contrary to this, since 2004 a new, unexpected promising branch of mathematics (dealing with “oppositions”) has appeared, “oppositional geometry” (also called “n-opposition theory”, “NOT”), inside which the logical hexagon (as well as its predecessor, the logical square) is only one term of an infinite series of “logical bi-simplexes of dimension m”, itself just one term of the more general infinite series (of series) of the “logical poly-simplexes of dimension m”. In this paper we recall the main historical and the main theoretical elements of these neglected recent discoveries. After proposing some new results, among which the notion of “hybrid logical hexagon”, we show which strong reasons, inside oppositional geometry, make understand that the logical hexagon is in fact a very important and profound mathematical structure, destined to many future fruitful developments and probably bearer of a major epistemological paradigm change. (shrink)

This paper portrays the later Wittgenstein’s conception of contradictions and his therapeutic approach to them. I will focus on and give relevance to the Lectures on the Foundations of Mathematics, plus the Remarks on the Foundations of Mathematics. First, I will explain why Wittgenstein’s attitude towards contradictions is rooted in: a rejection of the debate about realism and anti-realism in mathematics; and Wittgenstein’s endorsement of logical pluralism. Then, I will explain Wittgenstein’s therapeutic approach towards contradictions, and why it means that (...) a contradiction is not a problem for logic and mathematics. Rather, contradictions are problematic when we do not know what to infer from them. Once a meaning is established through a new rule of inference, the contradiction becomes a usable expression like many others in our inferential apparatus. Thus, the apparent problem is dissolved. Finally, I will take three examples of dissolved contradictions from Wittgenstein to clarify further his notion. I will conclude considering why his position on contradictions led him to clash with Alan Turing, and whether the latter was convinced by the Wittgensteinian proposal. (shrink)

Based on a gambling formulation of quantum mechanics, we derive a Gleason-type theorem that holds for any dimension n of a quantum system, and in particular for \. The theorem states that the only logically consistent probability assignments are exactly the ones that are definable as the trace of the product of a projector and a density matrix operator. In addition, we detail the reason why dispersion-free probabilities are actually not valid, or rational, probabilities for quantum mechanics, and hence should (...) be excluded from consideration. (shrink)

When logicians work with multiple-conclusion systems, they use a metalinguistic comma ‘,’ to aggregate premises and/or conclusions. In this note, I present an analogy between this comma and Prior’s infamous connective tonk. The analogy reveals that these expressions have much in common. I argue that, indeed, the comma can be seen as a structural incarnation of tonk. The upshot is that, whatever story one has to tell about tonk, there are good reasons to tell a similar story about the comma (...) in typical multiple-conclusion systems, and vice versa. (shrink)

This book explores a radically integrative phenomenology of nature through the work of Maurice Merleau-Ponty. By revisiting novel empirical findings in the sciences and advances in scientific methods and concepts, Merleau-Ponty leads us to rediscover a first nature right at the heart of the subject. Alessio Rotundo traces and documents the presence of a double meaning of nature affecting Merleau-Ponty's analyses across foundational aspects of human experience: sense perception, organic development and behavior, cognition, language, and history. Physical, biological, and (...) psychological processes in nature are not merely scientific data; they provide the evidence for another, more primordial sense of nature. (shrink)

From epileptic seizures to depressive symptoms, predictive neurotechnologies are used for a large range of applications. In this article we focus on advisory devices; namely, predictive neurotechnology programmed to detect specific neural events (e.g., epileptic seizure) and advise users to take necessary steps to reduce or avoid the impact of the forecasted neuroevent. Receiving advise from a predictive device is not without ethical concerns. The problem with predictive neural devices, in particular advisory ones, is the risk of seeing one’s autonomous (...) choice supplanted by the predictions instead of being supplemented by it. For users, there is a potential shift from being assisted by the system to being over-dependent on the technology. In other terms, it introduces ethical issues associated with epistemic dependency. In this article, we examine the notion of epistemic authority in relation to predictive neurotechnologies. Section 1 of our article explores and defines the concept of epistemic authority. In section 2, we illustrate how predictive devices are best conceived of as epistemic authorities and we explore the subject-device epistemic relationship. In section 3, we spell out the risk of harms interconnected with epistemic deferral. We conclude by stressing a set of preliminary measures to prepare users for the authoritative nature of predictive devices. (shrink)

Théophile De Donder, a Belgian mathematician born in Brussels, elaborated two important ideas that created a bridge between thermodynamics and chemical kinetics. He invented the concept of the degree of advancement of a reaction, and, in 1922, he provided a precise mathematical form to the already known chemical affinity by translating Clausius’s uncompensated heat into formal language. These concepts merge in an important inequality that was the starting point for the formalization of non-equilibrium thermodynamics. The present article aims to reconstruct (...) how De Donder elaborated his ideas and developed them by exploring his teaching activity and its connection with his scientific production. Furthermore, it emphasizes the role played by the discussions with his disciples who became his collaborators. The paper analyzes De Donder’s efforts in participating in the second Solvay Chemistry Council in 1925 to call the attention of chemists to his mathematical approach. We explain why his work did not receive much attention at the time, and how, despite this, his formalization of chemical affinity became the basis for the birth of the so-called Brussels school of thermodynamics. (shrink)

In 1995 Slater argued both against Priest’s paraconsistent system LP (1979) and against paraconsistency in general, invoking the fundamental opposition relations ruling the classical logical square. Around 2002 Béziau constructed a double defence of paraconsistency (logical and philosophical), relying, in its philosophical part, on Sesmat’s (1951) and Blanche’s (1953) “logical hexagon”, a geometrical, conservative extension of the logical square, and proposing a new (tridimensional) “solid of opposition”, meant to shed new light on the point raised by Slater. By using n-opposition (...) theory (NOT) we analyse Beziau’s anti-Slater move and show both its right intuitions and its technical limits. Moreover, we suggest that Slater’s criticism is much akin to a well-known one by Suszko (1975) against the conceivability of many-valued logics. This last criticism has been addressed by Malinowski (1990) and Shramko and Wansing (2005), who developed a family of tenable logical counter-examples to it: trans-Suszkian systems are radically many-valued. This family of new logics has some strange logical features, essentially: each system has more than one consequence operator. We show that a new, deeper part of the aforementioned geometry of logical oppositions (NOT), the “logical poly-simplexes of dimension m”, generates new logical-geometrical structures, essentially many-valued, which could be a very natural (and intuitive) geometrical counterpart to the “strange”, new, non-Suszkian logics of Malinowski, Shramko and Wansing. By a similar move, the geometry of opposition therefore sheds light both on the foundations of paraconsistent logics and on those of many-valued logics. (shrink)

We argue that there is a simple, unique, reason for all quantum paradoxes, and that such a reason is not uniquely related to quantum theory. It is rather a mathematical question that arises at the intersection of logic, probability, and computation. We give our ‘weirdness theorem’ that characterises the conditions under which the weirdness will show up. It shows that whenever logic has bounds due to the algorithmic nature of its tasks, then weirdness arises in the special form of negative (...) probabilities or non-classical evaluation functionals. Weirdness is not logical inconsistency, however. It is only the expression of the clash between an unbounded and a bounded view of computation in logic. We discuss the implication of these results for quantum mechanics, arguing in particular that its interpretation should ultimately be computational rather than exclusively physical. We develop in addition a probabilistic theory in the real numbers that exhibits the phenomenon of entanglement, thus concretely showing that the latter is not specific to quantum mechanics. (shrink)

ENG: In this brief commentary on Sara Palermo’s article, I highlight several methodological criticisms of the data analysis and hypotheses proposed by the author. I then focus on the relevance of nocebo/placebo studies for the contemporary debate on the mind/body problem. In particular, I show how these phenomena raise questions for dualistic and neurocentric approaches that are still prevalent in philosophy. Finally, I stress the role of expectations in nocebo/placebo models, with reference to a promising theoretical framework: the predictive brain. (...) -/- ITA: In questo breve commento all’articolo di Sara Palermo mi propongo di rilevare alcune criticità relative al metodo di indagine e alla solidità dell’ipotesi suggerita dall’autrice. In seguito mi concentrerò sulla rilevanza dello studio del nocebo/placebo nell’ambito del dibattito sul rapporto mente/corpo e su come questi fenomeni mettano in discussione approcci dualisti e neurocentrici ancora pervasivi soprattutto in campo filosofico. In conclusione, mi soffermerò sul ruolo delle aspettative nella costruzione del modello del nocebo/placebo, riprendendo un contesto particolarmente promettente per l’inquadramento teorico del fenomeno: il cervello predittivo. Parole chiave: Placebo; Nocebo; Meta-analisi; Cervello bayesiano; Elaborazione predittiva. (shrink)

Este artigo tem como objetivo rever a crítica que Peirce faz a uma definição de abdução como uma relação de probabilidade a partir das características. Parece consensual entre seus comentadores que, de fato, essa definição não se adequa ao conceito peirciano. Contudo, este artigo defende que não há uma desarmonia entre abdução e uma relação de probabilidade. Ao contrário, será defendido que, sendo a abdução composta de formação e seleção de hipóteses, essa relação de probabilidade poderia ter uma função na (...) parte de seleção de hipóteses. Para isso, será apresentada uma definição básica de abdução, seguida da proposta de relação de probabilidade entre características. As críticas a essa proposta serão apresentadas e será evidenciado que não se sustentam, abrindo, assim, a possibilidade da permanência dessa característica no conceito de abdução peirciana. (shrink)

v. 1. Presentazione de Biagia Catanzaro Gligora -- v. 2. Logica, totalità-reale e realtà -- v. 3. Anima e coscienza.

The evaluation of the quality of the processes of educational and social inclusion of people with disabilities is considered a key element in the improvement of their living conditions. The research presented here is part of the analyses carried out in Italy and abroad on the identification of indicators and categories able to provide a representative picture of the processes of school inclusion by assessing the strengths and weaknesses of the system in local contexts. Assessing the quality of inclusive education (...) is complex because the contextual aspects of educational interventions cannot be ignored. In a research-action approach, the study analyses the Italian situation in the regions of Lazio and Campania through the point of view of 291 specialized teachers or in the process of specialization in the support of pupils with special educational needs Their evaluations, based on a scale from 1 (insufficient) to 5 (excellent), were obtained through a structured questionnaire that collects their opinions on cultural and educational aspects, on management, organisational and collaborative activities between teachers, school directors, local authorities and families, and finally on elements of a pedagogical and didactic nature necessary for quality school inclusion. The descriptive and inferential statistical analysis of the aggregate data sketches a school whose strength in terms of inclusion lies in pedagogical and didactic planning. On the other hand, collaborative aspects, especially synergies between schools and local authorities, are pointed out and hinder effective co-planning of different types of support. These results therefore argue in favour of a systematization of integrated networks of support services for all pupils with special educational needs Regarding training, teachers generally have a negative view of in-service training, which should be deepened and extended to all categories of teachers. The article concludes on the need to promote the development and systematization of qualitative research and documentary collections on good practices of inclusive education in schools. (shrink)

In [8] it is proved that all the intermediate logics axiomatizable by formulas in one variable, except four of them, are not strongly complete. We considerably improve this result by showing that all the intermediate logics axiomatizable by formulas in one variable, except eight of them, are not strongly ω-complete. Thus, a definitive classification of such logics with respect to the notions of canonicity, strong completeness, ω-canonicity and strong ω-completeness is given.

The notion of epistemic community is crucial for the characterization of observability, a cornerstone for Bas van Fraassen’s constructive empiricism. As a matter of fact, observable is, to him, a short for observable-by-us. In this work, it will be shown that the alleged rigidity of the author of The Scientific Image, apparently not very keen to admitting changes in the epistemic community (constituted – according to him – by the human race), is actually an assumption of modesty and good judgment; (...) it means recognizing that scientific enterprise is just a human activity, among many others. (shrink)

Nature is a key theme of philosophical concerns today. This book examines Merleau-Ponty’s investigations on nature and provides a timely guide to his remarkable approach to scientific advances and their implications for our understanding of nature.

Volume 97, Issue 2, June 2019, Page 419-420.

Connexive logics are based on two ideas: that no statement entails or is entailed by its own negation (this is Aristotle’s thesis) and that no statement entails both something and the negation of this very thing (this is Boethius' thesis). Usually, connexive logics are contra-classical. In this note, I introduce a reading of the connexive theses that makes them compatible with classical logic. According to this reading, the theses in question do not talk about validity alone; rather, they talk in (...) part about (a property related to) the soundness of arguments. (shrink)