The American Journal of Bioethics, Volume 12, Issue 7, Page 25-27, July 2012.

This chapter contains sections titled: Intellectual Biography Influences Art and Aesthetics Professional Neglect.

Everyday artistic creativity is downplayed in our schools, our lives, our culture. Yet here is an essential language of our lives, opening us to important ways of knowing, truth, beauty, and means for creative coping, as individuals and as cultures. Views of John Dewey and Suzanne Langer are each considered. A devaluation of artistic creativity may also reflect unacknowledged biases related to emotional "versus" intellectual knowing, gender stereotyping, science "versus" art, individualism "versus" interdependence, false stereotypes of creative "unhealth," and (...) eminent "versus" everyday creativity. Addressing these holds promise for our personal well-being and development, and our greater health as cultures. (shrink)

This book presents a study of human intelligence beginning with a semantic theory and leading into a critique of music.

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies the development of type systems for programming languages. This fact suggests a potential importance of the result for a philosophy of code.

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Autora: Susanne Katherina Langer Tradução: Clovis Salgado Gontijo Oliveira Obra: LANGER, Susanne Katherina. The Lord of Creation. Fortune Magazine, v. 30. P. 127-154. 1944. O senhor da Criação Resumo: Neste artigo, publicado pela revista Fortune em 1944, a filósofa estadunidense Susanne K. Langer retoma temas fundamentais de sua obra mais célebre, Filosofia em nova chave, cuja primeira edição data de 1942. Em linguagem acessível destinada a público não especializado, a autora sintetiza sua concepção antropológica, visitando questões como (...) a especificidade de nossa mentalidade; a distinção entre os signos e os símbolos, assim como entre as esferas do real e do possível; a transformação simbólica; a essência da linguagem; a relevância de formas articuladas não discursivas para a expressão e a cognição humanas; a conexão entre a razão e a loucura. Para além de uma mera síntese, Langer relaciona, de modo sagaz e oportuno, tais aspectos ao período de guerra no qual escreveu este artigo, ao observar, como sintoma da crise cultural de então, a perda de referências simbólicas e a substituição dos antigos símbolos (míticos e religiosos) por aquele do nacionalismo. Palavras-chave: Expressão; Signo; Símbolo; Linguagem; Crise da Cultura The Lord of Creation Abstract: The American philosopher Susanne K. Langer reviews, in this article, published by Fortune Magazine in 1944, some fundamental themes of her most renowned work, Philosophy in a New Key, firstly edited in 1942. The author sums up her anthropological conception, through an accessible language intended to a general public, examining topics such as the specific trait of our mentality; the distinction between signs and symbols, as well as between the domains of the real and the possible; symbolic transformation; the essence of language; the importance of non-discursive articulate forms for human expression and cognition; the relationship between reason and lunacy. In addition to that synthesis, Langer relates those aspects, in an insightful and opportune way, to the war period when this article was written, observing, as a symptom of the cultural crisis of that time, the loss of symbolic references and the substitution of the old symbols (mythical and religious) for the one of nationalism. Keywords: Expression; Sign; Symbol; Language; Crisis of Culture El Señor de la Creación Resumen: En este artículo, publicado por la revista Fortune en 1944, la filósofa estadounidense Susanne K. Langer reanuda temas fundamentales de su más célebre obra, Nueva clave de la filosofía, cuya primera edición data de 1942. Por medio de un lenguaje accesible destinado a un público no especializado, la autora sintetiza su concepción antropológica, examinando cuestiones como la especificidad de nuestra mentalidad; la distinción entre los signos y los símbolos, así como entre los campos de lo real y de lo posible; la transformación simbólica; la esencia del lenguaje; el importante rol de las formas articuladas no discursivas para la expresión y la cognición humanas; la conexión entre razón y locura. Más que una mera síntesis, Langer relaciona esos aspectos de modo agudo y oportuno, al período de guerra en el cual escribió este artículo, al observar, como síntoma de la crisis cultural de entonces, la pérdida de referencias simbólicas y la sustitución de los antiguos símbolos (míticos y religiosos) por aquel del nacionalismo. Palabras clave: Expresión; Signo; Símbolo; Lenguaje; Crisis de la Cultura Data de registro: 28/10/2022 Data de aceite: 01/02/2023. (shrink)

Previous research in Explainable Artificial Intelligence (XAI) suggests that a main aim of explainability approaches is to satisfy specific interests, goals, expectations, needs, and demands regarding artificial systems (we call these “stakeholders' desiderata”) in a variety of contexts. However, the literature on XAI is vast, spreads out across multiple largely disconnected disciplines, and it often remains unclear how explainability approaches are supposed to achieve the goal of satisfying stakeholders' desiderata. This paper discusses the main classes of stakeholders calling for explainability (...) of artificial systems and reviews their desiderata. We provide a model that explicitly spells out the main concepts and relations necessary to consider and investigate when evaluating, adjusting, choosing, and developing explainability approaches that aim to satisfy stakeholders' desiderata. This model can serve researchers from the variety of different disciplines involved in XAI as a common ground. It emphasizes where there is interdisciplinary potential in the evaluation and the development of explainability approaches. (shrink)

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Written by a former student of Heidegger, this book examines the relationship between the philosophy and the politics of a celebrated teacher and the allure that Nazism held out for scholars committed to revolutionary nihilism.

This book gives a descriptive analysis of specific Madhyamika texts. It compares the ideology of Kumarajiva (a translator of the four Madhyamika treatises 400 A.D.) with the ideologies of the three Chinese contemporaries - HuiYuan, Seng-Jui and Seng-Chao. It envisages an intercultural transmission of religious and philosophical ideas from India to China.

Early in the first volume of his Ideen zu einer reinen Phiinomeno logie und phiinomenologischen Philosophie, Edmund Husserl stated concisely the significance and scope of the problem with which this present study is concerned. When we reflect on how it is that consciousness, which is itself absolute in relation to the world, can yet take on the character of transcendence, how it can become mundanized, We see straightaway that it can do that only by means of a certain participation in (...) transcendence in the first, originary sense, which is manifestly the transcendence of material Nature. Only by means of the experiential relation to the animate organism does consciousness become really human and animal (tierischen), and only thereby does it achieve a place in the space and in the time of Nature. l Consciousness can become "worldly" only by being embodied within the world as part of it. In so far as the world is material Nature, consciousness must partake of the transcendence of material Nature. That is to say, its transcendence is manifestly an embodiment in a material, corporeal body. Consciousness, thus, takes on the characteristic of being "here and now" (ecceity) by means of experiential (or, more accurately, its intentive) relation to that corporeal being which embodies it. Accordingly, that there is a world for consciousness is a conse quence in the first instance of its embodiment by 2 that corporeal body which is for it its own animate organism. (shrink)

Drawing on case studies from around the world - including Iran, Guatemala, USA and Mexico - this collection documents how transnational human rights discourses and legal institutions are materialised, imposed, resisted and transformed in a variety of contexts.

Bringing together diverse theoretical and empirical contributions from the fields of social and cognitive psychology, philosophy, and science education, this volume explores representational pluralism as a phenomenon characteristic of human cognition. Building on these disciplines' shared interest in understanding human thought, perception, and conceptual change, the volume illustrates how representational plurality can be conducive to research and practice in varied fields. Particular care is taken to emphasize points of convergence and the value of sharing discourses, models, justifications, and theories of (...) pluralism across disciplines. The editors give ample space for philosophers, cognitive scientists and educators to explicate the history and current status of representational pluralism in their own disciplines. Using multiple forms of research from the relational perspective, this volume will be of interest to students, scholars and researchers with an interest in cognitive psychology, as well as educational psychology and philosophy of science. (shrink)

Je me propose de réfléchir ici sur une éthique pour notre temps, un temps où l'on reconnaît à chacun de nous la liberté de trouver sa propre voie, ses propres sources d'épanouissement, de choisir la forme d'existence qui lui convient. Il importe, m'a-t-il semblé, de déterminer et de s'approprier dès lors une éthique véritablement compatible avec des existences faites sur mesure, une éthique à laquelle chacun, malgré sa singularité, peut s'identifier. Où est le droit chemin quand tant de parcours différents (...) sont possibles? Quels jugements moraux porter sur ses semblables quand ils se comportent de manière si dissemblable? Quelle éthique convient-il de se donner pour vivre de manière constructive dans un monde en constante évolution sociale, technologique et scientifique? Comment surmonter la crise des valeurs que plusieurs considèrent comme caractéristique de notre époque? La réponse réside dans ce que j'appellerai une éthique de la coexistence. L'idée centrale en est la suivante : ce qui compte moralement, ce n'est pas la manière dont on existe (individuellement), mais la manière dont on coexiste. A mon sens, une éthique nous parlera d'autant plus aujourd'hui qu'elle ambitionnera d'en dire le moins sur ce que c'est que d'être homme ou femme, qu'elle spéculera le moins possible au niveau métaphysique, pour porter toute son attention sur la relation entre les humains et sur leur diversité. C'est à ce prix qu'il est possible de donner véritablement un sens concret à la liberté individuelle et au principe d'égalité sans rien enlever à la solidarité humaine. (shrink)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

The standard adaptationist explanation of the presence of a sensory mechanism in an organism—that it detects properties useful to the organism—cannot be given for color vision. This is because colors do not exist. After arguing for this latter claim, I consider, but reject, nonadaptationist explanations. I conclude by proposing an explanation of how color vision could have adaptive value even though it does not detect properties in the environment.