A Pragmatic Interpretation of Quantum Logic

Scholars have wondered for a long time whether the language of quantum mechanics introduces a quantum notion of truth which is formalized by quantum logic (QL) and is incompatible with the classical (Tarskian) notion. We show that QL can be interpreted as a pragmatic language of assertive formulas which formalize statements about physical systems that are empirically justified or unjustified in the framework of quantum mechanics. According to this interpretation, QL formalizes properties of the metalinguistic notion of empirical justification within quantum mechanics rather than properties of a quantum notion of truth. This conclusion agrees with a general integrationist perspective that interprets nonstandard logics as theories of metalinguistic notions different from truth, thus avoiding incompatibility with classical notions and preserving the globality of logic. By the way, some elucidations of the standard notion of quantum truth are also obtained. Key words: pragmatics, quantum logic, quantum mechanics, justifiability, global pluralism.Comment: Third version: 20 pages. Sects. 1, 2, and 4 rewritten and improved. Explanations adde

Preserving today for tomorrow: A case study of an archive of Interactive Music Installations

This work presents the problems addressed and the first results obtained by a project aimed at the preservation of Interactive Music Installations (IMI). Preservation requires that besides all the necessary components for the (re)production of a performance, also the knowledge about these components is kept, so that the original process can be repeated at any given time. This work proposes a multilevel approach for the preservation of IMI. As case studies, the Pinocchio Square (installed in EXPO 2002) and the Il Caos delle Sfere are considered

The modal logic of Reverse Mathematics

The implication relationship between subsystems in Reverse Mathematics has an underlying logic, which can be used to deduce certain new Reverse Mathematics results from existing ones in a routine way. We use techniques of modal logic to formalize the logic of Reverse Mathematics into a system that we name s-logic. We argue that s-logic captures precisely the "logical" content of the implication and nonimplication relations between subsystems in Reverse Mathematics. We present a sound, complete, decidable, and compact tableau-style deductive system for s-logic, and explore in detail two fragments that are particularly relevant to Reverse Mathematics practice and automated theorem proving of Reverse Mathematics results

Shape interpretation with design computing

How information is interpreted has significant impact on how it can be used. This is particularly important in design where information from a wide variety of sources is used in a wide variety of contexts and in a wide variety of ways. This paper is concerned with the information that is created, modified and analysed during design processes, specifically with the information that is represented in shapes. It investigates how design computing seeks to support these processes, and the difficulties that arise when it is necessary to consider alternative interpretations of shape. The aim is to establish the problem of shape interpretation as a general challenge for research in design computing, rather than a difficulty that is to be overcome within specific processes. Shape interpretations are common characteristics of several areas of enquiry in design computing. This paper reviews these, brings an integrated perspective and draws conclusions about how this underlying process can be supported

Title redacted for blind review

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the axioms of a dynamic provability logic, which embeds GL within the modal $\mu$-calculus. Via correspondence results between modal logic and the bisimulation-invariant fragment of second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via four models, without a decision as to which model is to be preferred. The first model makes intuition sensitive to hyperintensional topics, i.e. subject matters. The second model is a hyperintensional truthmaker semantics, in particular a novel epistemic two-dimensional truthmaker semantics. The third model is a topic-sensitive non-truthmaker epistemic two-dimensional semantics. The fourth model is a topic-sensitive epistemic two-dimensional truthmaker semantics

Translation and Réécriture in the Middle Ages: Rewriting Merlin in the French and Italian Vernacular Traditions

This thesis will investigate the processes of translation and rewriting (réécriture) in the thirteenth and fourteenth centuries, through a study of the French and Italian Merlin corpus. In particular, it will focus upon the products of translation between vernacular languages, which, as a practice, displays a greater degree of heterogeneity than translations into the vernacular from Latin. Medieval translation will be studied through a comparative analysis of the story of Merlin’s conception in Robert de Boron’s Merlin and Paulino Pieri’s La Storia di Merlino, in addition to an examination of the translation of Merlin’s prophecies as recounted in the Prophecies de Merlin, the Storia and the Vita di Merlino. These instances of translation will be compared to and studied alongside the processes of intralingual réécriture. Rewriting within the French tradition will be investigated through an analysis of the interpretative transition from the Vulgate Estoire de Merlin to the Post-Vulgate Suite du Merlin; in particular, the reinterpretations of Merlin’s prophetic discourse and the character of Merlin’s lover, Viviane, will be examined. The study will take as its methodological basis the semiotic theory of Charles Sanders Peirce, particularly the concept of semiosis; this defines interpretation as an exchange of signs, through which meaning is transmitted and developed. In this way, the Merlin corpus will be regarded as a continuum of interpretation, through which the meaning of narratives is interpreted by other signs, thought patterns and extra-textual cultural discourses; more broadly, the whole medieval tradition of translation and réécriture will also be regarded as a part of this same continuum, displaying the same interpretative patterns

Narrativization of Religious Conversion Experience in the Environment of Evangelical Protestantism in Ukraine

In the context of this article and in the perspective of interpretational approach we have considered possibilities of sociological analysis of a religious conversion. Based on examples of Evangelical Protestantism communities functioning on the territory of Ukraine the author analyzes peculiarities of building and structuring conversion narratives, a strategy of representation of the religious experience, linguistic means and tools used in this process. A religious conversion is considered as a particular discursive practice or a religious communication related to producing a narrative, which on the one hand reflects changes occurring to a person who passed through a conversion experience, and on the other hand the narrative itself preconditions such changes by means of adaptation of a canonic language of the religious group. Conversion cases considered by the author allow making a conclusion about existence of steady communicative conversion models at the level of Evangelical Protestantism which determinative distinction is reconstruction of the biographical experience in compliance with the “plot” predetermined by a canonic discourse of the considered communities