This paper concludes a special feature of Sustainability Science that explores a broad range of social value theoretical traditions, such as religious studies, social psychology, indigenous knowledge, economics, sociology, and philosophy. We introduce a novel transdisciplinary conceptual framework that revolves around concepts of 'lenses' and 'tensions' to help navigate value diversity. First, we consider the notion of lenses: perspectives on value and valuation along diverse dimensions that describe what values focus on, how their sociality is envisioned, and what epistemic and (...) procedural assumptions are made. We characterise fourteen of such dimensions. This provides a foundation for exploration of seven areas of tension, between: (1) the values of individuals vs collectives; (2) values as discrete and held vs embedded and constructed; (3) value as static or changeable; (4) valuation as descriptive vs normative and transformative; (5) social vs relational values; (6) different rationalities and their relation to value integration; (7) degrees of acknowledgment of the role of power in navigating value conflicts. In doing so, we embrace the 'mess' of diversity, yet also provide a framework to organise this mess and support and encourage active transdisciplinary collaboration. We identify key research areas where such collaborations can be harnessed for sustainability transformation. Here it is crucial to understand how certain social value lenses are privileged over others and build capacity in decision-making for understanding and drawing on multiple value, epistemic and procedural lenses. (shrink)

This paper concludes a special feature of Sustainability Science that explores a broad range of social value theoretical traditions, such as religious studies, social psychology, indigenous knowledge, economics, sociology, and philosophy. We introduce a novel transdisciplinary conceptual framework that revolves around concepts of ‘lenses’ and ‘tensions’ to help navigate value diversity. First, we consider the notion of lenses: perspectives on value and valuation along diverse dimensions that describe what values focus on, how their sociality is envisioned, and what epistemic and (...) procedural assumptions are made. We characterise fourteen of such dimensions. This provides a foundation for exploration of seven areas of tension, between: (1) the values of individuals vs collectives; (2) values as discrete and held vs embedded and constructed; (3) value as static or changeable; (4) valuation as descriptive vs normative and transformative; (5) social vs relational values; (6) different rationalities and their relation to value integration; (7) degrees of acknowledgment of the role of power in navigating value conflicts. In doing so, we embrace the ‘mess’ of diversity, yet also provide a framework to organise this mess and support and encourage active transdisciplinary collaboration. We identify key research areas where such collaborations can be harnessed for sustainability transformation. Here it is crucial to understand how certain social value lenses are privileged over others and build capacity in decision-making for understanding and drawing on multiple value, epistemic and procedural lenses. (shrink)

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

This study explores the efficacy of a specific tool – the articulation of the ideal self – in job engagement, psychological well-being, and organizational citizenship behavior. We hypothesized that employees who can visualize their jobs as part of their ideal self – in particular how it helps in its development and realization – would feel higher levels of engagement and fulfillment in their lives, as well as engage in greater amounts of helping and voice OCB. A total of 239 full (...) time employees from five companies in Costa Rica filled out the ideal self questionnaire, the job engagement, and psychological well-being surveys, and were evaluated by their peers on task behavior and helping and voice OCB. Results of the SEM model showed that the ideal self was positively related to job engagement, psychological well-being and helping and voice. These findings contribute to the research on the impact and importance for organizations to help employees find meaningfulness in their work. (shrink)

This article aims to adapt to Spanish the Relational Needs Satisfaction Scale and to test the factor structure with a clinical and a non-clinical sample. A total of 459 individuals completed the RNSS, a measure of life satisfaction and of psychological wellbeing. Results showed that the translation was adequate. An exploratory and confirmatory factor analysis was conducted followed by the test of three models that confirmed the five-factor structure and the second-order global factor proposed in the original study, and in (...) adaptations to other languages. The advantages and disadvantages of these models are discussed. Correlations of the RNSS with life satisfaction and psychological wellbeing measures were in the expected direction, providing evidence of convergent validity. The Spanish version of the RNSS is a valid and reliable measure of the construct it was intended to measure, though some improvements in item wording could be incorporated and tested. (shrink)

En este artículo, partiendo de la crítica que hace Gadamer en Verdad y Método al concepto de autosignificatividad de la percepción de Richard Hamann, queremos mostrar lo abstracto de la pretensión de una percepción pura y cómo ella siempre remite a generalidades más amplias. Para reforzar esta perspectiva recurrimos a Martin Heidegger en Ser y tiempo con el fin de entender el concepto de ser-a-la-mano y todo el conjunto de remisiones que lo conforman. Con éste concluiremos sobre la necesidad (...) de suponer contextos relacionales más amplios y fundamentales como base de abstracciones particulares como la obra de arte y el dato empírico en la ciencia. Critique of pure perception. A phenomenological and hermeneutic approach In this article, based on the critique of Gadamer in Truth and Method to Richard Hamman’s concept of “autosignificance” of perception, we want show how abstract the assertion of a pure perception is and how it always refers to broader generalities. To reinforce this perspective we turn to Martin Heidegger’s Being and time in order to understand the concept of ready-to-hand and the whole set of remissions it comprises. With this we conclude on the need to assume broader, more fundamental relational contexts as the basis of particular abstractions such as works of art and the empirical datum in science. (shrink)

In this study the authors follow with extreme clarity what could be understood as the political ideology and the philosophy of language of Richard Rorty, from the perspective of the understanding assumed by this North American philosopher as to public democratic practices. His philosophy is es..

This is an excerpt from the contentIn his latest book, David A. J. Richards extends his analysis of patriarchy and resistance, two of his most cherished themes, to the sphere of historical analysis. The Edwin D. Webb Professor of Law at New York University School of Law here attempts to explore the relationship between these two ideas and the Western history of imperialism. He tries to show that one cannot fully understand the fall of legitimacy of the imperial ideal in (...) the twentieth century without taking into account the opposition against patriarchy that emerged out of a specific movement of resistance, the Bloosmbury Group.Richards devotes the first chapter of his book to demonstrate the thesis that the main feature of imperialism is its patriarchal nature. He does so by exposing the centrality of patriarchy in the Roman and British imperial models. While in the former the patriarchal culture structured both private and public life so as to render men profoundly violent and therefore unable to sustain its hegemonic. (shrink)

This ar ti cle has as ob jec ti ve for mu la tes a cri tic to Ri chard Rorty`s an ti mar xism and his de fen se of the po li ti cal li be ra lism. The ar ti cle tries to do it, in first pla ce, des cri bing the phi lo sop hi cal cri tic of Rorty to Marx; in se cond pla ce iden tif ying two in t..

From its inception with the first number of the magazine of opinion National Review and up to the advent of the Presidency of Richard Nixon the early American conservative movement struggled with the rising tide of civil rights protest and reform. This article examines the correspondence and published primary sources penned by leading members of the American conservative movement so as to offer a comprehensive, chronologically ordered assessment of the evolution of the views on racial inequality offered by the (...) key constituent ideological subcommunities within the American conservative movement: the traditionalists gathered around the pages of National Review, the “neoliberals” led by Milton Friedman y Friedrich von Hayek, the Southern, white conservatives and, lastly, the neoconservatives, which headed by Irving Kristol and Norman Podhoretz articulated much of such views in a manner palatable to a significant segment of the American political mainstream. (shrink)

In this chapter I shall reply to a pair of articles in which the main contention of my “Why truthmakers” – namely, that an important class of synthetic true propositions have entities as truth-makers – is rejected. In §§1–5 I reply to Jennifer Hornsby’s “Truth without Truthmaking Entities” (2005) and in §§6–7 I reply to Julian Dodd’s “Negative Truths and Truthmaker Principles” (2007).

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.

Dialogamos con Cintia Rodríguez Garat, quien obtuvo el Primer Premio Bioética 2023 de la Fundación Jaime Roca por su trabajo “Resiliencia y salud pública de las mujeres mapuce ante el cambio climático. Un análisis desde una perspectiva intercultural, participativa y de derechos humanos”.

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)

The dialogue Bruno of 1802 is arguably the natural starting point for any investigation on the concepts of finitude, evil and human freedom in Schelling’s middle metaphysics. In this dialogue the author elaborates for the first time in his system a concept of freedom and independence of the finite, which extends via his reformulation in Philosophy and Religion of 1804 to the Freedom Essay of 1809 and beyond to the works of 1810 and 1811 – Stuttgart Private Lectures and The (...) Ages of the World. The central ontological problem of the dialogue relates to the possibility of a separation between the absolute and the world as space of finite beings, which, according to the system of identity first presented in 1801, cannot exist as such. The question we will then address concerns the status of the finite as such and how would it be possible to admit both its existence for consciousness and the positing of an absolute and infinite principle of philosophy. We will show how Schelling’s interest shifts, almost unintentionally, from the infinite principle to the finite as such, as a principle of freedom and self-initiation independent of the real. (shrink)

La técnica no es un fenómeno más de nuestra época, sino que ha llegado a convertirse en la figura metafísica que la define. El estudio analiza el alcance de esta tesis planteada por Jaspers y Heidegger. Para ello ofrecemos, en un primer momento, una tematización del elemento innovador que caracteriza a la técnica moderna respecto de épocas anteriores, atendiendo especialmente a su carácter totalizador y a la inversión antropológica que supone. A continuación, discutiremos algunas de las consecuencias antropológicas del estatuto (...) ontológico de la técnica. Un fenómeno sin precedentes en la historia de la humanidad, por cuanto la técnica ha dejado de ser un medio o instrumento al servicio de las necesidades y fines humanos para convertirse en un fenómeno capaz de producirlos, estableciendo posibilidades de sentido. Una inversión onto-antropológica que provoca una alienación de la existencia misma. (shrink)

Descartes maintained substance dualism, the thesis that no substance has both mental and material properties. His main argument for this thesis, the so-called separability argument from the Sixth Meditation (AT VII: 78) has long puzzled readers. In this paper I argue that Descartes’ independence conception of substance (which Descartes presents in article 51 of the Principles) is crucial for the success of the separability argument and that Descartes used this conception of substance to defend his argument for substance dualism from (...) an important objection. (shrink)

Este trabajo tiene el objetivo de mostrar que actualmente la bioética, si bien requiere de la aplicación de conocimientos de disciplinas heterogéneas, afronta diversas polémicas que tienen una estructura filosófica. Para sustentar una perspectiva filosófica como problema central, el método de abordaje de la presente propuesta contempla un análisis acerca del tipo de indagaciones que caracterizan a la bioética, la delimitación del objeto que estudia, las propuestas metodológicas más relevantes y aquellas alternativas de búsqueda que pretenden tomar distancia de la (...) reflexión filosófica, paralelamente a las variadas conceptualizaciones que parten de la moral y desembocan en la casuística. El argumento central es que la bioética atiende a incertidumbres morales que surgen en la interacción con la vida, estas son el objeto sobre el que reflexiona la ética, y si la ética es una disciplina que se resuelve apelando a los métodos de la filosofía, con este trabajo se pretende concluir que la bioética necesariamente ha de tener una estructura filosófica. (shrink)

In 1906, Frigyes Riesz introduced a preliminary version of the notion of a topological space. He called it a mathematical continuum. This development can be traced back to the end of 1904 when, genuinely interested in taking up Hilbert’s foundations of geometry from 1902, Riesz aimed to extend Hilbert’s notion of a two-dimensional manifold to the three-dimensional case. Starting with the plane as an abstract point-set, Hilbert had postulated the existence of a system of neighbourhoods, thereby introducing the notion of (...) an accumulation point for the point-sets of the plane. Inspired by Hilbert’s technical approach, as well as by recent developments in analysis and point-set topology in France, Riesz defined the concept of a mathematical continuum as an abstract set provided with a notion of an accumulation point. In addition, he developed further elementary concepts in abstract point-set topology. Taking an abstract topological approach, he formulated a concept of three-dimensional continuous space that resembles the modern concept of a three-dimensional topological manifold. In 1908, Riesz presented his concept of mathematical continuum at the International Congress of Mathematicians in Rome. His lecture immediately won the attention of people interested in carrying on his research. They promoted his ideas, thus assuring their gradual reception by several future founders of general topology. In this way, Riesz’s work contributed significantly to the emergence of this discipline. (shrink)

Sophists were active participants in ancient discussions about being or what-is at the most general level. This chapter discusses the contributions of Gorgias, Protagoras, Xeniades, and Lycophron in the context of the Eleatic philosophers Parmenides, Zeno, and Melissus. All of these figures share a serious commitment to ontological inquiry as well as a concern with the problems that arise when discussing being or what-is. They also share an approach to these problems that is at times paradoxical and self-undermining. -/- The (...) chapter begins with a brief discussion of Parmenides’ poem, a work that serves as an important backdrop for later ontology. It then covers Gorgias’ On Not-Being, a response to the Eleatics and a unique contribution in its own right. Gorgias’ work is then compared with that of Zeno and Melissus. Finally, the more limited evidence we have of Protagoras, Xeniades, and Lycophron’s ontological theorizing is discussed. (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.

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)

1. The Bundle Theory I shall discuss is a theory about the nature of substances or concrete particulars, like apples, chairs, atoms, stars and people. The point of the Bundle Theory is to avoid undesirable entities like substrata that allegedly constitute particulars. The version of the Bundle Theory I shall discuss takes particulars to be entirely constituted by the universals they instantiate.' Thus particulars are said to be just bundles of universals. Together with the claim that it is necessary that (...) particulars have constituents, the fundamental claim of the Bundle Theory is: (BT) Necessarily, for every particular x and every entity y, y constitutes x if and only ify is a universal and x instantiates y. 2 The standard and supposedly devastating objection to the Bundle Theory is that it entails or is committed to a false version of the Principle of Identity of Indiscernibles (Armstrong 1978: 91, Loux 1998: 107), namely: (Pll) Necessarily, for all particulars x and y and every universal z, if z is instantiated by x if and only if z is instantiated byy, then x is numerically identical with y. The most famous counterexample to the Identity of Indiscernibles is that put forward by Max Black, consisting of a world where there are only two iron spheres two miles apart from each other, having the same diameter, temperature, colour, shape, size, etc (Black 1952: 156). Let us from now on think of the properties of the spheres in this world as universals. The possibility of this world, which I shall hereafter refer to as 'Black's world', makes (Pll) false.' And according to common philosophical opinion this means that the Bundle Theory is false.. (shrink)

Mellor´s theory of causation has two components, one according to which causes raise their effects´ chances, and one according to which causation links facts. I argue that these two components are not independent from each other and, in particular, that Mellor´s thesis that causation links facts requires his thesis that causes raise their effects´ chances, since without the latter thesis Mellor cannot stop the slingshot argument, an argument that is a threat to any theory postulating facts as the relata of (...) causation. (shrink)