Is Vivaldi smooth and takete? Non-verbal sensory scales for describing music qualities

Studies on the perception of music qualities (such as induced or perceived emotions, performance styles, or timbre nuances) make a large use of verbal descriptors. Although many authors noted that particular music qualities can hardly be described by means of verbal labels, few studies have tried alternatives. This paper aims at exploring the use of non-verbal sensory scales, in order to represent different perceived qualities in Western classical music. Musically trained and untrained listeners were required to listen to six musical excerpts in major key and to evaluate them from a sensorial and semantic point of view (Experiment 1). The same design (Experiment 2) was conducted using musically trained and untrained listeners who were required to listen to six musical excerpts in minor key. The overall findings indicate that subjects\u2019 ratings on non-verbal sensory scales are consistent throughout and the results support the hypothesis that sensory scales can convey some specific sensations that cannot be described verbally, offering interesting insights to deepen our knowledge on the relationship between music and other sensorial experiences. Such research can foster interesting applications in the field of music information retrieval and timbre spaces explorations together with experiments applied to different musical cultures and contexts

Logics of formal inconsistency

Orientadores: Walter Alexandre Carnielli, Carlos M. C. L. CaleiroTexto em ingles e portuguesTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasTese (doutorado) - Universidade Tecnica de Lisboa, Instituto Superior TecnicoResumo: Segundo a pressuposição de consistência clássica, as contradições têm um cará[c]ter explosivo; uma vez que estejam presentes em uma teoria, tudo vale, e nenhum raciocínio sensato pode então ter lugar. Uma lógica é paraconsistente se ela rejeita uma tal pressuposição, e aceita ao invés que algumas teorias inconsistentes conquanto não-triviais façam perfeito sentido. A? Lógicas da Inconsistência Formal, LIFs, formam uma classe de lógicas paraconsistentes particularmente expressivas nas quais a noção meta-teónca de consistência pode ser internalizada ao nível da linguagem obje[c]to. Como consequência, as LIFs são capazes de recapturar o raciocínio consistente pelo acréscimo de assunções de consistência apropriadas. Assim, por exemplo, enquanto regras clássicas tais como o silogismo disjuntivo (de A e {não-,4)-ou-13, infira B) estão fadadas a falhar numa lógica paraconsistente (pois A e (nao-A) poderiam ambas ser verdadeiras para algum A, independentemente de B), elas podem ser recuperadas por uma LIF se o conjunto das premissas for ampliado pela presunção de que estamos raciocinando em um ambiente consistente (neste caso, pelo acréscimo de (consistente-.A) como uma hipótese adicional da regra). A presente monografia introduz as LIFs e apresenta diversas ilustrações destas lógicas e de suas propriedades, mostrando que tais lógicas constituem com efeito a maior parte dos sistemas paraconsistentes da literatura. Diversas formas de se efe[c]tuar a recaptura do raciocínio consistente dentro de tais sistemas inconsistentes são também ilustradas Em cada caso, interpretações em termos de semânticas polivalentes, de traduções possíveis ou modais são fornecidas, e os problemas relacionados à provisão de contrapartidas algébricas para tais lógicas são examinados. Uma abordagem formal abstra[cjta é proposta para todas as definições relacionadas e uma extensa investigação é feita sobre os princípios lógicos e as propriedades positivas e negativas da negação.Abstract: According to the classical consistency presupposition, contradictions have an explosive character: Whenever they are present in a theory, anything goes, and no sensible reasoning can thus take place. A logic is paraconsistent if it disallows such presupposition, and allows instead for some inconsistent yet non-trivial theories to make perfect sense. The Logics of Formal Inconsistency, LFIs, form a particularly expressive class of paraconsistent logics in which the metatheoretical notion of consistency can be internalized at the object-language level. As a consequence, the LFIs are able to recapture consistent reasoning by the addition of appropriate consistency assumptions. So, for instance, while classical rules such as disjunctive syllogism (from A and (not-A)-or-B, infer B) are bound to fail in a paraconsistent logic (because A and (not-.4) could both be true for some A, independently of B), they can be recovered by an LFI if the set of premises is enlarged by the presumption that we are reasoning in a consistent environment (in this case, by the addition of (consistent-/!) as an extra hypothesis of the rule). The present monograph introduces the LFIs and provides several illustrations of them and of their properties, showing that such logics constitute in fact the majority of interesting paraconsistent systems from the literature. Several ways of performing the recapture of consistent reasoning inside such inconsistent systems are also illustrated. In each case, interpretations in terms of many-valued, possible-translations, or modal semantics are provided, and the problems related to providing algebraic counterparts to such logics are surveyed. A formal abstract approach is proposed to all related definitions and an extended investigation is carried out into the logical principles and the positive and negative properties of negation.DoutoradoFilosofiaDoutor em Filosofia e Matemátic

Hegel’s Theory of Measure

The final segment in Hegel\u27s analysis of being is measure - the unity of quality and quantity. At stake in these chapters is the difference between quantitative and qualitative change. A being or thing is indifferent to quantitative change, which comes from the outside. For instance, a legislature can increase the stringency of zoning regulations, and yet the legislation is still constitutional zoning. But there comes a point at which quantitative change effects a qualitative change - zoning becomes an uncompensated taking of property. This paper analyzes how Hegel, in the Science of Logic, derives measure from the categories of quality and quantity, and how essence - the beyond of being/appearance is in turn derived. The paper is the third installment on a complete analysis of Hegel\u27s most important (and least read) work - the Science of Logic (1831)

Wert, Rechtheit and Gut. Adolf Reinach’s Contribution to Early Phenomenological Ethics

Adolf Reinach (1883-1917) is most often remembered for his role as a teacher of phenomenology or as a philosopher of law, yet the range of subjects covered in his surviving published and unpublished works is diverse. As scholars such as Kimberley Baltzer-Jaray have argued, Reinach's contributions to philosophy, and in particular his influence on the early phenomena logical movement, have been underestimated in the past. It is of both historical and philosophical importance, therefore, to identify and recognise the contributions that Reinach made across the many fields his works touch upon, including that of ethics. This thesis argues that Reinach made a number of significant contributions towards the development of early phenomenological ethics, and although his works contain neither a complete nor a comprehensive systematic theory of ethics, this is no reason to overlook or dismiss the importance of his work in this field . The thesis demonstrates that Reinach's works on ethics were original; that they influenced other early phenomenologists in the development of their ethical theories; and, ultimately, that they were and remain valuable additions to the field, discussing value-theory, the problem ofnormativity, motivation, freedom and responsibility, and more. This thesis comprises two parts. Part one examines and assesses Reinach's contribution against his immediate philosophical background incorporating a discussion of how Reinach's works on ethics fit into his body of work as well in relation to other contemporary philosophers (e.g., Brentano, Husserl, Scheler, Stein) who advanced the development of early phenomenological ethics. To support the interpretation, part two of the thesis contains appendices of three relevant extracts from Reinach 's published and unpublished works, translated for the first time into English (with original German text supplied). These translations are also intended to be ofvalue in making Reinach's works on ethics more accessible to English-speaking scholarship in the future

Analysing accident reports using structured and formal methods

Formal methods are proposed as a means to improve accident reports, such as the report into the 1996 fire in the Channel Tunnel between the UK and France. The size and complexity of accident reports create difficulties for formal methods, which traditionally suffer from problems of scalability and poor readability. This thesis demonstrates that features of an engineering-style formal modelling process, particularly the structuring of activity and management of information, reduce the impact of these problems and improve the accuracy of formal models of accident reports. This thesis also contributes a detailed analysis of the methodological requirements for constructing accident report models. Structured, methodical construction and mathematical analysis of the models elicits significant problems in the content and argumentation of the reports. Once elicited, these problems can be addressed. This thesis demonstrates the benefits and limitations of taking a wider scope in the modelling process than is commonly adopted for formal accident analysis. We present a deontic action logic as a language for constructing models of accident reports. Deontic action models offer a novel view of the report, which highlights both the expected and actual behaviour in the report, and facilitates examination of the conflict between the two. This thesis contributes an objective analysis of the utility of both deontic and action logic operators to the application of modelling accident reports. A tool is also presented that executes a subset of the logic, including these deontic and action logic operators