Este escrito supone una defensa y un argumento en favor de la filosofía científica. Conceptos como naturalismo y cientificismo serán contrastados a la luz de la investigación filosófica, defendiendo un cientificismo crítico que, más que sostener que la ciencia es la única fuente de conocimiento fiable, sostiene que la actividad científica es una excelente creación cultural humana para adquirir conocimiento y que la filosofía que la desprecia o ignora, no es productiva. Se defiende que el diálogo entre la ciencia y (...) la filosofía es fructífero y necesario si es que la meta es una reflexión filosófica consistente, informada y crítica. (shrink)

RESUMEN:Michael Tomasello considera que, aunque todos los animales son el resultado (no acabado) de la evolución biológica y aunque en muchos animales no humanos la utilización de herramientas es latente (uno de los principales signos de rasgos culturales), solo en los humanos se produce la evolución cultural acumulativa y el efecto trinquete, esto es, la acumulación progresiva (e innovadora) de mejoras a lo largo de la historia sobre los artefactos creados. Contrario a esto, se sugiere em este artículo que algunos (...) estudios recientes pueden utilizarse para, también en este aspecto, reafirmar el continuum animal-humano y extender la cultura acumulativa a otros animales. PALABRAS CLAVE: EVOLUCIÓN CULTURAL ACUMULATIVA, EFECTO TRINQUETE, IMITACIÓN, INNOVACIÓN.ABSTRACTMichael Tomasello believes that although all animals are the result (not finished) of biological evolution, and in many nonhuman animals using tools is latent (one of the main signs of culturaltraits), the cumulative cultural evolution and ratchet effect, i.e., progressive (and innovative) accumulation of improvements over history about the artifacts created, occur only in humans. Contrary to this, I believe that some recent studies can be used with the purpose of, also in this regard, reaffirming the animal-human continuum and extend the cumulative culture to other animals.KEYWORDS: CUMULATIVE CULTURAL EVOLUTION, RATCHET EFFECT, IMITATION, INNOVATION. (shrink)

Naturalizar ciertos problemas filosóficos no es tan problemático hoy como lo fue hace décadas. La excesiva especulación a la hora de reflexionar sobre ciertos temas, ha dado paso, paulatinamente, a una filosofía informada científicamente. En este artículo se intenta presentar un enfoque biologizado de la ética, teniendo en cuenta la información procedente de la etología, las ciencias cognitivas y las neurociencias. Interrogantes como ¿por qué somos buenos?, ¿por qué somos egoístas? o ¿por qué cooperamos?, preguntas todas ellas procedentes de la (...) ética, serán analizadas desde la perspectiva de la filosofía de la biología y la neurofilosofía. (shrink)

Los debates sobre el conocimiento, la realidad y la verdad han estado en el centro de la discusión filosófica desde hace décadas. El advenimiento de la Teoría Evolucionista del Conocimiento le ha revestido, no solo de hipótesis interesantes sobre los procesos que subyacen a las capacidades cognitivas en la tarea de conocer el mundo, sino que ha traído consigo nuevos problemas. En este artículo se intenta ofrecer una perspectiva naturalizada del problema del conocimiento, adentrándonos en los debates suscitados desde el (...) realismo y los conceptos de verdad y error a la hora de determinar si el éxito biológico está íntimamente relacionado o no con ambos conceptos, no solo en la especie humana sino también en otras especies animales. (shrink)

In this paper we consider the modal logic with both $$\Box $$ and $$\Diamond $$ arising from Kripke models with a crisp accessibility and whose propositions are valued over the standard Gödel algebra $$[0,1]_G$$. We provide an axiomatic system extending the one from Caicedo and Rodriguez (J Logic Comput 25(1):37–55, 2015) for models with a valued accessibility with Dunn axiom from positive modal logics, and show it is strongly complete with respect to the intended semantics. The axiomatizations of the (...) most usual frame restrictions are given too. We also prove that in the studied logic it is not possible to get $$\Diamond $$ as an abbreviation of $$\Box $$, nor vice-versa, showing that indeed the axiomatic system we present does not coincide with any of the mono-modal fragments previously axiomatized in the literature. (shrink)

Background: Most older people wish to live in the familiar surroundings of their own home until they die. Knowledge concerning dignity and dignity loss of home-dwelling older women living with incurable cancer should be a foundation for quality of care within municipal healthcare services. The informal caregivers of these women can help increase the understanding of sources related to dignity and dignity loss Aim: The aim of this study was to explore informal caregivers’ perceptions of sources related to dignity and (...) dignity loss in end-of-life of older home-dwelling women with incurable cancer. Research design and method: The study was founded upon Gadamer’s philosophical hermeneutics. In-depth interviews with 13 informal caregivers were carried out, and four participant observations were performed during home meetings. Ethical consideration: The study was based on voluntary participation, informed consent, confidentiality and the opportunity to withdraw at any time. The Norwegian Social Science Data Services approved the study. Results: Three main sources important in preserving the older women’s dignity were identified: maintaining one’s self-concept, remaining hopeful and sustaining freedom of choice. We also identified three main sources that lead to dignity loss: Sensing loss of human value, experiencing absence of gentleness and feelings of being treated as an object. Discussion and final considerations: On the individual level, the opportunity to maintain one’s self-concept and control in life, preserved dignity, while feelings of existential loneliness led to dignity loss. On the relational level, being confirmed as worthy human beings promoted the women’s dignity, whereas dignity loss was related to uncaring behaviours from healthcare professionals. On the societal level, individual decisions concerning travel situations and the place to stay when nearing end-of-life were of crucial importance. Constituting these women’s living space, these perspectives should be emphasized in healthcare professionals’ educational training and in the municipal end-of-life care of these patients. (shrink)

Bacteria have developed an impressive ability to survive and propagate in highly diverse and changing environments by evolving phenotypic heterogeneity. Phenotypic heterogeneity ensures that a subpopulation is well prepared for environmental changes. The expression bet hedging is commonly (but often incorrectly) used by molecular biologists to describe any observed phenotypic heterogeneity. In evolutionary biology, however, bet hedging denotes a risk‐spreading strategy displayed by isogenic populations that evolved in unpredictably changing environments. Opposed to other survival strategies, bet hedging evolves because the (...) selection environment changes and favours different phenotypes at different times. Consequently, in bet hedging populations all phenotypes perform differently well at any time, depending on the selection pressures present. Moreover, bet hedging is the only strategy in which temporal variance of offspring numbers per individual is minimized. Our paper aims to provide a guide for the correct use of the term bet hedging in molecular biology. (shrink)

Oscar Masotta (Buenos Aires, 1930- Barcelona, 1979) is all but forgotten now, except perhapsin the field of Lacanian studies. This is because in the 1970s,Masotta would challenge the master psychoanalyst on hisown turf, creating his own post-Lacanian school of psychoanalysisin Barcelona. But in 1965, aged just 27, Masottataught at the University of Buenos Aires, lectured at theDi Tella, and edited a book series on communication andmedia. A product of the newly open post-Perón era." Page 91.. This is the first (...) exhibition organized with materials from the archive Juan Acha, and includes reactivations of non-object-based art and artistic documentation. (shrink)

War and Border Crossings brings together renowned scholars to address some of the most pressing problems in public policy, international affairs, and the intercultural issues of our day. Contributors from widely varying disciplines discuss cross-cultural ethical issues and international topics ranging from American international policy and the invasion and occupation of Iraq to domestic topics such as immigration, the war on drugs, cross-cultural bioethics and ethical issues involving American Indian tribes. The culture clashes discussed in these essays raise serious questions (...) about what principles ought to inform the negotiating of conflicts in order to achieve, or at least approach, outcomes that are fundamentally just, fair, responsible, and ethical. (shrink)

This study explored LaRose and Eastin's model of media attendance, within a European context. It extended the uses and gratifications paradigm within the framework of social cognitive theory by instituting new operational measures of gratifications sought, reconstructed as outcome expectations. Although the model of media attendance offers some promising steps forward in measuring media selectivity and usage, and to some extent is applicable to another context of media use, the relative importance of outcome expectancies in explaining media usage and selectivity (...) is not fully supported. (shrink)

América Latina es un concepto, una construcción intelectual que intenta dar cuenta de un grupo de estados nacionales, variable en su composición pero con un núcleo estable, las ex colonias españolas y portuguesas del continente americano. Hoy no hay en América Latina un programa de desarrollo nacional alternativo a la integración al mundo capitalista global. Las experiencias nacionales que la izquierda dirige no constituyen una imagen como la que representó Cuba en los años sesenta, ni desde el punto de vista (...) de los programas ni desde el liderazgo. Lo que se construyó en las décadas de los cincuentas y sesentas fue una conciencia de la relevancia de un proyecto continental que merecía ser respaldado por una teorización del conjunto, la construcción de un objeto de conocimiento al mismo tiempo que un actor político colectivo. Como quiera que sea, esta conciencia se desarrolló alrededor de las instituciones internacionales y nacionales residentes en Santiago de Chile y comenzó a desvanecerse junto con el proyecto de Allende y la Unidad Popular. (shrink)

El presente ensayo intenta aportar algunos elementos para repensar la "cientificidad", los criterios de validación o validez de distintas prácticas y teorías en relación al hombre. Nuestro punto de perspectiva está influenciado por los problemas epistemológicos y metodológicos que se nos han apareci..

International large-scale assessments have gained much attention since the beginning of the twenty-first century, influencing education legislation in many countries. This includes Spain, where they have been used by successive governments to justify education policy change. Unfortunately, there was a problem with the PISA 2018 reading scores for this country, meaning the OECD refused to initially release the results. Therefore, in this paper we attempt to estimate the likely PISA 2018 reading scores for Spain, and for each region within. The (...) figure finally published by the OECD for Spain – in terms of reading scores – was 476.5 points, which is between the lower and upper bound of the interval we find (475 to 483 test points in 2018). Additionally, we report some robustness checks for the OCED countries participating in PISA 2018, which show that the difference between the actual scores and the ones we found with the imputation methods are quite close. (shrink)

In this paper, we present a prenex form theorem for a version of Independence Friendly logic, a logic with imperfect information. Lifting classical results to such logics turns out not to be straightforward, because independence conditions make the formulas sensitive to signalling phenomena. In particular, nested quantification over the same variable is shown to cause problems. For instance, renaming of bound variables may change the interpretations of a formula, there are only restricted quantifier extraction theorems, and slashed connectives cannot be (...) so easily removed. Thus we correct some claims from Hintikka [8], Caicedo & Krynicki [3] and Hodges [11]. We refine definitions, in particular the notion of equivalence, and sharpen preconditions, allowing us to restore those claims, including the prenex form theorem of Caicedo & Krynicki [3], and, as a side result, we obtain an application to Skolem forms of classical formulas. It is a known fact that a complete calculus for IF-logic is impossible, but with our results we establish several quantifier rules that form a partial calculus of equivalence for a general version of IF-logic reflecting general properties of information flow in games. (shrink)

Resumen: Vivimos tiempos en los que se ha pasado de concebir un acto de educar que proponía una relación medial a un acto de educar inscrito en una globalización que dicta la disolución del sujeto en una esfera vasta e impersonal. Esto nos ha portado a analizar el yo del alumnado que hoy acude a las aulas. A partir de una revisión teórica basada en el análisis hermenéutico de contenido y confrontación con la literatura sobre el tema, los resultados principales (...) se centran en una reformulación del yo que pasa por la revalorización de la complementariedad latente entre la subjetividad heredada y la subjetividad del hiperindividualismo. A pesar de encontrarnos en la era de la globalización, el artículo explicita que la educación no dispondría de muchas ejecuciones prácticas si en ella no se desarrollara un cierto grado de tropismo hacia la individualidad. En consecuencia, el yo, a pesar de ser habitante de colectividades atomizadas, concluimos que debe consolidarse como un antídoto, adaptado a la segmentación de las formas de vida de cada contexto, aunque este se encuentre condicionado por el consumismo y por las necesidades que dicta la civilización tecnológica.: We live in times when we have passed from conceiving an act of educating that proposed a medial relationship to an act of globalized education that dictates the dissolution of the subject in a vast and impersonal sphere. This has led us to analyse the self of the students who attend the classrooms today. Theoretical revision based on the hermeneutic analysis of content and confrontation with literature on the topic, the main results focus on a reformulation of the self that goes through the revaluation of the latent complementarity between the inherited subjectivity and the subjectivity of hyper-individualism. Despite being in the era of globalization, the article explicates that education would not have many practical executions if it did not develop a certain degree of tropism towards individuality. Consequently, the self, despite being an inhabitant of atomized collectivities, must be consolidated as an antidote, adapted to the segmentation of the ways of life of each context, although this is conditioned by consumerism and by the needs dictated by the technological civilization. (shrink)

It is shown that axiomatic extensions of intuitionistic propositional calculus defining univocally new connectives, including those proposed by Gabbay, are strongly complete with respect to valuations in Heyting algebras with additional operations. In all cases, the double negation of such a connective is equivalent to a formula of intuitionistic calculus. Thus, under the excluded third law it collapses to a classical formula, showing that this condition in Gabbay's definition is redundant. Moreover, such connectives can not be interpreted in all Heyting (...) algebras, unless they are already equivalent to a formula of intuitionistic calculus. These facts relativize to connectives over intermediate logics. In particular, the intermediate logic with values in the chain of length n may be "completed" conservatively by adding a single unary connective, so that the expanded system does not allow further axiomatic extensions by new connectives. (shrink)

We study a class of [0,1][0,1]-valued logics. The main result of the paper is a maximality theorem that characterizes these logics in terms of a model-theoretic property, namely, an extension of the omitting types theorem to uncountable languages.

An extensions by new axioms and rules of an algebraizable logic in the sense of Blok and Pigozzi is not necessarily algebraizable if it involves new connective symbols, or it may be algebraizable in an essentially different way than the original logic. However, extension whose axioms and rules define implicitly the new connectives are algebraizable, via the same equivalence formulas and defining equations of the original logic, by enriched algebras of its equivalente quasivariety semantics. For certain strongly algebraizable logics, all (...) connectives defined implicitly by axiomatic extensions of the logic are explicitly definable. (shrink)

We prove strong completeness of the □-version and the ◊-version of a Gödel modal logic based on Kripke models where propositions at each world and the accessibility relation are both infinitely valued in the standard Gödel algebra [0,1]. Some asymmetries are revealed: validity in the first logic is reducible to the class of frames having two-valued accessibility relation and this logic does not enjoy the finite model property, while validity in the second logic requires truly fuzzy accessibility relations and this (...) logic has the finite model property. Analogues of the classical modal systems D, T, S4 and S5 are considered also, and the completeness results are extended to languages enriched with a discrete well ordered set of truth constants. (shrink)

In the absence of Woodin cardinals, fine structural inner models for mild large cardinal hypotheses admit forcing extensions where bounded forcing axioms hold and yet the reals are projectively well-ordered.

Este artículo tiene como propósito presentar los resultados de la investigación realizada a partir de la sistematización de la experiencia significativa de Ambulua. Su objetivo es reconocer en la espiritualidad de la mujer afrodescendiente aportes significativos que contribuyen a la sanación como construcción de paz en el territorio. La sistematización de la experiencia se realizó a partir de talleres participativos y análisis documental; esta permitió la reconstrucción de «un camino andado» e identificar aprendizajes significativos en la búsqueda de la esencia (...) espiritual ligada a la Tierra Madre, que ayuda aflorar la esencia, fuerza y espiritualidad liberadora en comunidades afrodescendientes, donde las mujeres tienen un papel importante en la transmisión de valores culturales. Posibilita abrir caminos para la construcción del tejido de paz, donde no hay supremacía existe el otro, la otra que es diferente y piensa diferente pero que es posible caminar juntos en la vida. Experiencias y aprendizajes que dialogan con la música, el canto, la danza, manos que con el uso de las plantas ritualizan en la cotidianidad, generando paz y bienestar. (shrink)

If the bounded proper forcing axiom BPFA holds and ω 1 = ${\mathrm{\omega }}_{1}^{\mathrm{L}}$ , then there is a lightface ${\mathrm{\Sigma }}_{3}^{1}$ well-ordering of the reals. The argument combines a well-ordering due to Caicedo-Veličković with an absoluteness result for models of MA in the spirit of "David's trick." We also present a general coding scheme that allows us to show that BPFA is equiconsistent with R being lightface ${\mathrm{\Sigma }}_{4}^{1}$ , for many "consistently locally certified" relations R on $\mathrm{\mathbb{R}}$ (...) . This is accomplished through a use of David's trick and a coding through the ∑ 2 stable ordinals of L. (shrink)

If there is no inner model with ω many strong cardinals, then there is a set forcing extension of the universe with a projective well-ordering of the reals.

Desde su descolonización en los años sesenta, África ha sido entendida en el imaginario global como un lugar de conflictos armados, inestabilidad política y pobreza. Sin embargo, durante las últimas décadas, el continente ha atravesado un importante proceso de estabilización, democratización y pacificación. Desde el liderazgo de Mandela en África en la década de 1990 hasta la creación y consolidación de la Unión Africana (UA) desde 2002, los esfuerzos pacificadores han transformado radicalmente el continente. En este proceso han participado numerosos (...) actores internacionales, continentales y regionales como las Naciones Unidas (ONU), la UA y organizaciones regionales como la Comunidad para el Desarrollo del África Meridional (SADC), que, en conjunto, han implementado diferentes enfoques para la consolidación de la paz en el continente. Uno de ellos es la puesta en marcha de una activa iniciativa de "Diplomacia Preventiva" destinada a hacer frente a las tensiones antes de que se conviertan en conflictos armados. Algunos de los ejemplos más importantes son la disputa entre Malawi y Tanzania por la demarcación de las fronteras nacionales en el lago Malawi y la participación continental en la resolución de las crisis políticas de Lesoto y Gambia. Este capítulo destaca los esfuerzos para prevenir los conflictos en África, a nivel estatal y desde las organizaciones regionales. También se analiza la forma en que África se ha convertido en un punto de referencia en las iniciativas internacionales de diplomacia preventiva, al tiempo que se asumen las carencias y dificultades a las que todavía se enfrenta el aparato de consolidación de la paz del continente. (shrink)

Research indicates the essentiality of dignity as a vital component for quality of life, reconfirming the emphasis on dignity preservation in the international code of nursing ethics. Applying Noblit and Hare’s meta-ethnography, the aim of the study was to develop a theory model by synthesizing 10 qualitative articles from various cultural contexts, exploring nurse and allied healthcare professional perception/practice concerning dignity-preserving dementia care. “Advocating the person’s autonomy and integrity,” which involves “having compassion for the person,” “confirming the person’s worthiness and (...) sense of self,” and “creating a humane and purposeful environment,” was identified as a primary foundation for dignity-preserving dementia care. “Balancing individual choices among persons no longer able to make sound decisions, against the duty of making choices on behalf of the person,” which involves “persuasion” and/or “mild restraint,” was considered a crucial aspect in certain situations. “Sheltering human worth—remembering those who forget” was identified as a comprehensive motive and core value within dignity-preserving dementia care. (shrink)

Background: Dignity experience in the daily lives of people living with dementia is influenced by their relational interactions with others. However, literature reviews show that knowledge concerning crucial interactional qualities, preserving their sense of dignity, is limited. Aim: The aim of this study was to explore and describe crucial qualities of relational interactions preserving dignity experience among people with dementia, while interacting with family, social network, and healthcare professionals. Methodology: The study was founded upon Gadamer’s philosophical hermeneutics, and an exploratory (...) design employing qualitative research interviews was conducted. Participants and research context: A total of 11 individuals diagnosed with mild to moderate dementia, living in their own homes, were recruited from two Hospital Memory Clinics in Norway. Ethical considerations: In recruiting persons with dementia as study participants, sensitivity toward their life history, autonomy, integrity, relationships, and dignity is essential. These standards, and the ethical principles of moral sensitivity to their vulnerability, doing no harm, showing justice, and respecting their personal utility, guided our research. Results: Three main interactional qualities preserving the participants’ dignity experience were found: Experiencing love and confirmation; experiencing social inclusion and fellowship; experiencing humane warmth and understanding within a caring culture, while being met as an equal human being. A total of 10 sub-qualities were identified within these 3 main qualities. Discussion and final considerations: Dignity experience among the participants was preserved when certain interactional qualities were present in their interactions with family, social network, and healthcare professionals. While supporting some of the findings of previous studies, this study adds new knowledge on the subject. Knowledge of relational interactions toward preserving dignity experience should be a fundamental part of future dementia care practice. Based on the results of this study, an empirical–theoretical model was developed for this purpose. (shrink)

Dorian Gray pays a hefty price for years of sin and vice in this completely unabridged edition of The Picture of Dorian Gray.

In spite of the considerable literature nowadays existing on the issue of the moral exclusion of nonhuman animals, there is still work to be done concerning the characterization of the conceptual framework with which this question can be appraised. This paper intends to tackle this task. It starts by defining speciesism as the unjustified disadvantageous consideration or treatment of those who are not classified as belonging to a certain species. It then clarifies some common misunderstandings concerning what this means. Next, (...) it rejects the idea that there are different kinds of speciesism. Such an idea may result from confusion because there are (1) different ways in which speciesism can be defended; and (2) different speciesist positions, that is, different positions that assume speciesism among their premises. Depending on whether or not these views assume other criteria for moral consideration apart from speciesism, they can be combined or simple speciesist positions. But speciesism remains in all cases the same idea. Finally, the paper examines the concept of anthropocentrism, the disadvantageous treatment or consideration of those who are not members of the human species. This notion must be conceptually distinguished from speciesism and from misothery (aversion to nonhuman animals). Anthropocentrism is shown to be refuted because it either commits a petitio principia fallacy or it falls prey to two arguments: the argument from species overlap (widely but misleadingly known as “argument from marginal cases”) and the argument from relevance. This rebuttal identifies anthropocentrism as a speciesist view. (shrink)

We generalize a theorem of Mundici relating compactness of a regular logic L to a strong form of normality of the associated spaces of models. Moreover, it is shown that compactness is in fact equivalent to ordinary normality of the model spaces when L has uniform reduction for infinite disjoint sums of structures. Some applications follow. For example, a countably generated logic is countably compact if and only if every clopen class in the model spaces is elementary. The model spaces (...) of L are not normal for vocabularies of uncountable power ωα. It also follows that first-order logic is the only finite-dependence logic having normal model spaces and satisfying at the same time the downward Löwenheim-Skolem theorem and uniform reduction for pairs. (shrink)

Insofar as development implies economic growth, the term ‘sustainable development’ appears to some as a contradiction in terms. However, such conclusions still lack a thorough examination of the conceptual structure of the two terms between which there is a purported contradiction. In order to address this issue, the present paper scrutinises some of the assumptions which underwrite the ideologies of sustainability and of development. It is argued that there are key assumptions which both ideas have in common, and that sustainable (...) development is thus perfectly coherent on a conceptual level. It is alternatives which retain either term (such as ‘sustainable degrowth') that are embroiled in paradox. The paper then examines two concepts for criticising the ideology of economic growth in other terms: dépense and conviviality. It is argued that the latter is preferable to the former for the purpose of developing post-sustainable critiques of growth. (shrink)

It is shown that Friedman's problem, whether there exists a proper extension of first order logic satisfying the compactness and interpolation theorems, has extremely simple positive solutions if one considers extensions by generalized (finitary) propositional connectives. This does not solve, however, the problem of whether such extensions exist which are also closed under relativization of formulas.

Este trabajo se encuadra dentro de una nueva visión de la lógica de Leibniz, la cual pretende mostrar que sus escritos fueron ricos no solamente en proyectos ambiciosos sino también en desarrollos lógico-matematicos concretos. Se demuestra que su “Caracteristica Numerica” que asigna pares de números a las proposiciones categóricas es una semántiea para la cual la silogística aristotélica es correcta y completa, y que el sistema algebraico presentado en Fundamentos de un Cálculo Lógico es una lógica algebraica similar a la (...) de Boole.This work is a contribution to a new view of Leibniz’s logic, pretending to show that his writings were not only rich in projects, but also in concrete logico-mathematical developments. We prove that his “Numerical Characteristic” assigning pairs of numbers to terms of categorical propositions, is a complete and correct semantics for aristotelian syllogistic, and the algebraic system presented in Fundamentals of Logical Calculus is essentially a complete version of boolean algebraic logic. (shrink)

In any model theoretic logic, Beth’s definability property together with Feferman-Vaught’s uniform reduction property for pairs imply recursive compactness, and the existence of models with infinitely many automorphisms for sentences having infinite models. The stronger Craig’s interpolation property plus the uniform reduction property for pairs yield a recursive version of Ehrenfeucht-Mostowski’s theorem. Adding compactness, we obtain the full version of this theorem. Various combinations of definability and uniform reduction relative to other logics yield corresponding results on the existence of non-rigid (...) models. (shrink)

This volume contains the proceedings of the Logic at Harvard conference in honor of W. Hugh Woodin's 60th birthday, held March 27–29, 2015, at Harvard University. It presents a collection of papers related to the work of Woodin, who has been one of the leading figures in set theory since the early 1980s. The topics cover many of the areas central to Woodin's work, including large cardinals, determinacy, descriptive set theory and the continuum problem, as well as connections between set (...) theory and Banach spaces, recursion theory, and philosophy, each reflecting a period of Woodin's career. Other topics covered are forcing axioms, inner model theory, the partition calculus, and the theory of ultrafilters. This volume should make a suitable introduction to Woodin's work and the concerns which motivate it. The papers should be of interest to graduate students and researchers in both mathematics and philosophy of mathematics, particularly in set theory, foundations and related areas. (shrink)