Bernays' idea of the power-set is neither univocal nor ambiguous. according to its domain of application it has a different mathematical meaning in spite of its identical logical definition. in his last axiomatisation of set-theory bernays' introduced a very powerful axiom stating that every property of the universe of all sets is mirrored by some set. this is a most peculiar application of the general--philosophical and theological--principle of analogy as a key principle in the foundations of mathematics.

En este artículo analizo primero la significación de la filosofía matemática de Kant para la investigación de fundamentos; paso luego a mostrar su función en la Crítica de la Razón Pura; finalmente rastreo algunos antecedentes históricos.: In the first part of the paper the author describes the reception of the kantian philosophy of mathematics in the foundational research from Frege to Cohen. The second part deals with the question whether Kant has rejected or not the ideal of mathematizing philosophy. In (...) the third part a new interpretation of Descartes philosophy of mathematics is proposed. According to a very natural reading of the Regulae Descartes becomes a forerunner of Kant and the modern constructivists. (shrink)

El trabajo analiza las consecuencias que genera la mayor presencia de China en el eje estratégico argentino-brasileño. El análisis se centra en la década que transcurre entre el 2004 y el 2014. En esa etapa coincide la expansión de China con los cambios de gobierno en Argentina y Brasil. Los dos gobiernos fueron cuestionadores del modelo neoliberal y acordaron algunas líneas de acción. Se analizan las relaciones comerciales y los acuerdos de asociación estratégica con China y las consecuencias que se (...) han generado. El estudio señala que los cambios de gobierno fueron políticamente funcionales a las necesidades sistémicas planteadas por China. (shrink)

Gentzen writes in the published version of his doctoral thesis Untersuchungen über das logische Schliessen that he was able to prove the normalization theorem only for intuitionistic natural deduction, but not for classical. To cover the latter, he developed classical sequent calculus and proved a corresponding theorem, the famous cut elimination result. Its proof was organized so that a cut elimination result for an intuitionistic sequent calculus came out as a special case, namely the one in which the sequents have (...) at most one formula in the right, succedent part. Thus, there was no need for a direct proof of normalization for intuitionistic natural deduction. The only traces of such a proof in the published thesis are some convertibilities, such as when an implication introduction is followed by an implication elimination [1934–35, II.5.13]. It remained to Dag Prawitz in 1965 to work out a proof of normalization. Another, less known proof was given also in 1965 by Andres Raggio.We found in February 2005 an early handwritten version of Gentzen's thesis, with exactly the above title, but with rather different contents: Most remarkably, it contains a detailed proof of normalization for what became the standard system of natural deduction. The manuscript is located in the Paul Bernays collection at the ETH-Zurichwith the signum Hs. 974: 271. Bernays must have gotten it well before the time of his being expelled from Göttingen on the basis of the racial laws in April 1933. (shrink)

Gentzen writes in the published version of his doctoral thesis Untersuchungen über das logische Schliessen that he was able to prove the normalization theorem only for intuitionistic natural deduction, but not for classical. To cover the latter, he developed classical sequent calculus and proved a corresponding theorem, the famous cut elimination result. Its proof was organized so that a cut elimination result for an intuitionistic sequent calculus came out as a special case, namely the one in which the sequents have (...) at most one formula in the right, succedent part. Thus, there was no need for a direct proof of normalization for intuitionistic natural deduction. The only traces of such a proof in the published thesis are some convertibilities, such as when an implication introduction is followed by an implication elimination [1934–35, II.5.13]. It remained to Dag Prawitz in 1965 to work out a proof of normalization. Another, less known proof was given also in 1965 by Andres Raggio.We found in February 2005 an early handwritten version of Gentzen's thesis, with exactly the above title, but with rather different contents: Most remarkably, it contains a detailed proof of normalization for what became the standard system of natural deduction. The manuscript is located in the Paul Bernays collection at the ETH-Zurichwith the signum Hs. 974: 271. Bernays must have gotten it well before the time of his being expelled from Göttingen on the basis of the racial laws in April 1933. (shrink)

Gentzen writes in the published version of his doctoral thesis Untersuchungen über das logische Schliessen that he was able to prove the normalization theorem only for intuitionistic natural deduction, but not for classical. To cover the latter, he developed classical sequent calculus and proved a corresponding theorem, the famous cut elimination result. Its proof was organized so that a cut elimination result for an intuitionistic sequent calculus came out as a special case, namely the one in which the sequents have (...) at most one formula in the right, succedent part. Thus, there was no need for a direct proof of normalization for intuitionistic natural deduction. The only traces of such a proof in the published thesis are some convertibilities, such as when an implication introduction is followed by an implication elimination [1934–35, II.5.13]. It remained to Dag Prawitz in 1965 to work out a proof of normalization. Another, less known proof was given also in 1965 by Andres Raggio.We found in February 2005 an early handwritten version of Gentzen's thesis, with exactly the above title, but with rather different contents: Most remarkably, it contains a detailed proof of normalization for what became the standard system of natural deduction. The manuscript is located in the Paul Bernays collection at the ETH-Zurichwith the signum Hs. 974: 271. Bernays must have gotten it well before the time of his being expelled from Göttingen on the basis of the racial laws in April 1933. (shrink)

In this paper I argue that the search for explainable models and interpretable decisions in AI must be reformulated in terms of the broader project of offering a pragmatic and naturalistic account of understanding in AI. Intuitively, the purpose of providing an explanation of a model or a decision is to make it understandable to its stakeholders. But without a previous grasp of what it means to say that an agent understands a model or a decision, the explanatory strategies will (...) lack a well-defined goal. Aside from providing a clearer objective for XAI, focusing on understanding also allows us to relax the factivity condition on explanation, which is impossible to fulfill in many machine learning models, and to focus instead on the pragmatic conditions that determine the best fit between a model and the methods and devices deployed to understand it. After an examination of the different types of understanding discussed in the philosophical and psychological literature, I conclude that interpretative or approximation models not only provide the best way to achieve the objectual understanding of a machine learning model, but are also a necessary condition to achieve post hoc interpretability. This conclusion is partly based on the shortcomings of the purely functionalist approach to post hoc interpretability that seems to be predominant in most recent literature. (shrink)

In this paper I argue that the search for explainable models and interpretable decisions in AI must be reformulated in terms of the broader project of offering a pragmatic and naturalistic account of understanding in AI. Intuitively, the purpose of providing an explanation of a model or a decision is to make it understandable to its stakeholders. But without a previous grasp of what it means to say that an agent understands a model or a decision, the explanatory strategies will (...) lack a well-defined goal. Aside from providing a clearer objective for XAI, focusing on understanding also allows us to relax the factivity condition on explanation, which is impossible to fulfill in many machine learning models, and to focus instead on the pragmatic conditions that determine the best fit between a model and the methods and devices deployed to understand it. After an examination of the different types of understanding discussed in the philosophical and psychological literature, I conclude that interpretative or approximation models not only provide the best way to achieve the objectual understanding of a machine learning model, but are also a necessary condition to achieve post hoc interpretability. This conclusion is partly based on the shortcomings of the purely functionalist approach to post hoc interpretability that seems to be predominant in most recent literature. (shrink)

Plagiarism is a serious, yet widespread type of research misconduct, and is often neglected in developing countries. Despite its far-reaching implications, plagiarism is poorly acknowledged and discussed in the academic setting, and insufficient evidence exists in Latin America and developing countries to inform the development of preventive strategies. In this context, we present a longitudinal case study of seven instances of plagiarism and cheating arising in four consecutive classes of an Epidemiology Masters program in Lima, Peru, and describes the implementation (...) and outcomes of a multifaceted, “zero-tolerance” policy aimed at introducing research integrity. Two cases involved cheating in graded assignments, and five cases correspond to plagiarism in the thesis protocol. Cases revealed poor awareness of high tolerance to plagiarism, poor academic performance, and widespread writing deficiencies, compensated with patchwriting and copy-pasting. Depending on the events’ severity, penalties included course failure and separation from the program. Students at fault did not engage in further plagiarism. Between 2011 and 2013, the Masters program sequentially introduced a preventive policy consisting of: intensified research integrity and scientific writing education, a stepwise, cumulative writing process; honor codes; active search for plagiarism in all academic products; and a “zero-tolerance” policy in response to documented cases. No cases were detected in 2014. In conclusion, plagiarism seems to be widespread in resource-limited settings and a greater response with educational and zero-tolerance components is needed to prevent it. (shrink)

One of the strongest defences of free speech holds that autonomy requires the protection of speech. In this paper I examine five conditions that autonomy must satisfy. I survey recent research in social psychology regarding automatic behaviour, and a challenge to autonomy is articulated. I argue that a plausible strategy for neutralising some of the autonomy-threatening automatic responses consists in avoiding the exposure to the environmental features that trigger them. If this is so, we can good autonomy-based pro tanto reasons (...) for controlling exposure to certain forms of speech. (shrink)

In this paper I examine the notion of ‘artifact’ and related notions in the dominant version of extended cognition theory grounded on extended functionalism. Although the term is ubiquitous in the literature, it is far from clear what ECT means by it. How are artifacts conceptualized in ECT? Is ‘artifact’ a meaningful and useful category for ECT? If the answer to the previous question is negative, should we worry? Is it important for ECT to have a coherent theory of artifacts? (...) And what are the demands and constraints that ECT imposes on this theory? I distinguish between two aspects of ECT, one narrow, aligned with extended functionalism ; and one broad or pluralistic, in which EF is combined with other theoretical resources in the context of diverse research programs. I begin by determining the problems in conceptualizing artifacts from EF. Then I address the question of why a concept of artifact may be relevant to ECT. Next, I examine the efforts of Richard Heersmink to combine ECT with dominant theories of artifacts in the philosophy of technology. I argue that both approaches fail to yield a meaningful notion of artifact, let alone one of ‘cognitive’ artifact. Finally, I argue that narrow ECT places rather strong constraints on a theory of artifacts, since it locates the specificity of ‘artifact’ in material aspects of realization that are, by definition, outside its theoretical purview. I examine, then discard, the possibility that a materialist and objectivist theory of artifacts may be of help. And finally I briefly explore some ways in which a broad, pluralistic ECT may address some of these shortcomings. (shrink)

In this article I respond to Yuk Hui by revisiting the crossroads in the philosophy of technology as represented by the philosophies of Stiegler and Ihde. Whereas Hui proposes the concept of cosmotechnics as an integrating perspective, I conceive of the crossroads in other terms, namely from the perspective of substantivism. I characterize our present situation, what a philosophy of technology should address and then examine Hui’s notion of cosmotechnics from this alternative perspective. My main concern is to show future (...) paths of development for cosmotechnical thought. (shrink)

Variations in life history define key comparative and evolutionary biological questions, important for understanding the mechanisms of mammalian evolutionary divergence, developmental adaptability and plasticity. In this regard, the differences among predominantly altricial and precocial species represent a particularly significant, if still poorly understood and contested case. Here, it will be shown how the classical analysis of such ontogenetic variations, going back to the semantic biology of A. Portmann, can be expanded and synthesized with comparative physiological approaches, based on the negentropic (...) theory of ontogeny by I. A. Arshavsky and his school. In this little received but pioneering tradition, extensive comparative and experimental investigations were carried out on the role of musculoskeletal systems and stressors in driving life history variations, particularly in the altricial-precocial spectrum. As shown by Arshavsky and co-workers, by focusing on general allometric regularities, the approximations based on the classical energy rules of surface and mass offer valuable benchmarks, but also predictions that are frequently violated by the variability of physiological and metabolic scaling relationships among altricials and precocials, and thus, a complex and historical approach is needed to describe their local physiological mechanisms and systemic regularities. This paper shows how Arshavsky’s findings and framework can play an integrative role in this context, potentially helping to bridge the mainly descriptive approach of semantic morphology, as developed by Portmann’s school, with the more functional explanations predominating current ecology and life history theory. These problems can be important for biosemiotics by highlighting the contingent, activity-dependent, and surplus anabolic stress mechanisms underlying diversification in eutherian developmental systems and possibly, the epigenetic evolution of pace-of-life syndromes. (shrink)

In this essay, I deal with the problem of the attribution of psychological predicates to non-human animals. The first section illustrates three research topics where it has become scientifically legitimate to explain the conduct of non-human animals by means of the attribution of psychological predicates. The second section discusses several philosophical objections to the legitimacy of such attributions provided by central thinkers from the last decades. I try to show that these objections —which are related among other questions to the (...) holism of the mental, the indeterminacy of the attributions, and the strangeness of animal concepts— can be alleviated. In the third section, I propose to adopt a literalist view of the attributions in the sense articulated by Figdor. At the same time, I argue that one must draw limits to the conceptual change forwarded by her literalist view, taking into account holistic considerations and the fact that the psychological concepts must retain their core notes. (shrink)

This paper critically examines the forays into metaphysics of The Dual Nature of Technical Artifacts Program (henceforth, DNP). I argue that the work of DNP is a valuable contribution to the epistemology of certain aspects of artifact design and use, but that it fails to advance a persuasive metaphysic. A central problem is that DNP approaches ontology from within a functionalist framework that is mainly concerned with ascriptions and justified beliefs. Thus, the materiality of artifacts emerges only as the external (...) conditions of realizability of function ascription. The work of DNP has a strong programmatic aspect and much of its foray into metaphysics is tentative, so the intent of my argument is partly synthetic: to sum up these issues as they are presented in the literature and highlight some recognized problems. But I also go beyond that, suggesting that these problems are foundational, arising from the very way in which DNP poses the question of artifact metaphysics. Although it sets out to incorporate objective aspects of technology, DNP places a strong focus on the intentional side of the purported matter-mind duality, bracketing off materiality in an irretrievable manner. Thus, some of the advantages of dualism are lost. I claim that DNP is dualistic, not merely based on “duality”, but that its version of dualism does not appropriately account for the material “nature” of artifacts. The paper ends by suggesting some correctives and alternatives to Dual Nature theory. (shrink)

Large cardinals arising from the existence of arbitrarily long end elementary extension chains over models of set theory are studied here. In particular, we show that the large cardinals obtained in this fashion (`unfoldable cardinals') lie in the boundary of the propositions consistent with `V = L' and the existence of 0 ♯ . We also provide an `embedding characterisation' of the unfoldable cardinals and study their preservation and destruction by various forcing constructions.

This paper offers some insights and clarifications of the paramount role that Mexico has had in the forging of first-order cybernetics. Our account starts with Arturo Rosenblueth as a key intellectual figure in the foundation and formation of the field. After revisiting a historical context of people and places, we proceed to a cultural and media archeological investigation that helps us obtain new insights into the ongoing effort to intertwine the complex intellectual networks across different countries in Latin America, North (...) America, and Europe. We then present cases and first-hand interviews to discuss the legacy of cybernetics in Mexico around institutions where Rosenblueth was affiliated, mainly the Institute of Cardiology and, later on, the CINVESTAV at the Instituto Politécnico Nacional. We claim that subjective affinities are as important as common scientific goals to establish and keep connections alive, necessary to the development of a research field. As the active compound in spicy peppers, capsaicin represents a local component to the definition of cybernetics. Ultimately, the paper aims to contribute to the research on the importance of cybernetics in Latin America. (shrink)

The idea of inclusive collective decision-making is important in establishing democratic legitimacy, but it fails when citizens are excluded. Stated-preference methods of valuation, which are commonly used in economics, have been criticised because the principle of willingness to pay may exclude low-income earners who do not have the capacity to pay. Deliberative valuation has been advocated as a way to overcome this problem, but deliberation may also be exclusive. In this review, two deliberative valuation frameworks are compared. The first is (...) grounded on the idea of rational discourse that emphasises argument at the expense of other communicative strategies. It seeks to secure inclusion through procedural rules and prerequisites, but fails to address the underlying democratic limitation of argumentation. The second does not rely on the distinction between rational and rhetorical speech, and therefore admits alternative forms of communication. This approach recognises differences in the communicative capacities and practices of those who take part in deliberation, and so is better equipped to improve, though not to guarantee, inclusion. (shrink)

Since it implies a reduction in the quality and the quantity of the natural resources, environmental degradation is a present day problem that requires immediate solutions. This situation is driving firms to undertake an environmental transformation process with the purpose of reducing the negative externalities that come from their economic activities. Within this context, environmental marketing is an emerging business philosophy by which organizations can address sustainability issues. Moreover, environmental marketing and orientation are seen as valuable strategies to improve a (...) firm's competitiveness. However, the literature that has analyzed the link between environmental strategies and firms' results has been inconclusive and contradictory. In this study, we propose and test a model that analyses how the implementation of ecological issues within a firm's marketing strategy and orientation influences organizational results. Data were obtained through a survey sent to Spanish manufacturing firms. The results show that environmental marketing positively affects firms' operational and commercial performance and this improvement will influence their economic results. Moreover, environmental marketing is revealed as an excellent strategy to obtain competitive advantages in costs and in product differentiation. Thus, this study agrees with the researchers who affirm that environmental strategies positively affect firm's competitiveness while reducing environmental impact. (shrink)

Many word forms in natural language are polysemous, but only some of them allow for co-predication, that is, they allow for simultaneous predications selecting for two different meanings or senses of a nominal in a sentence. In this paper, we try to explain (i) why some groups of senses allow co-predication and others do not, and (ii) how we interpret co-predicative sentences. The paper focuses on those groups of senses that allow co-predication in an especially robust and stable way. We (...) argue, using these cases, but focusing particularly on the multiply polysemous word ‘school’, that the senses involved in co-predication form especially robust activation packages, which allow hearers and readers to access all the different senses in interpretation. (shrink)

Final value accrues to objects that are good for their own sakes, while instrumental value accrues to objects that are good for the sake of their effects. The following paper aims to show that this distinction cuts across some surprising areas of the evaluative domain. This means that there may be some unexpected types of value that can come in a final or instrumental form. The argument proceeds by looking at two prominent types of value, namely kind-value and personal value. (...) The former accrues to objects that are good as the kinds of things that they are, while the latter accrues to objects that are good for someone. Substantive examples are offered in support of the idea that these types of value can come in final or instrumental form. The substantive examples are then given additional support by considering the structure and behavior of fitting attitudes. (shrink)

Morally progressive social changes seem to have taken place with the onset of democratic governance, the abolition of slavery, the rise of gender equality, and other developments. This essay attempts to demonstrate that natural and objective moral facts are a plausible cause of some morally progressive social changes. Since this hypothesis is a version of naturalistic moral realism, I call it the Naturalist-Realist Hypothesis. To support the NRH, I argue that objective moral facts are natural facts pertaining to the impartial (...) promotion of well-being within a population of agents facing a social dilemma. I then describe a mechanism to explain how natural and objective moral facts so construed may cause some morally progressive social changes. I suggest that the NRH is a credible hypothesis because it is compatible with empirical findings from research on the evolution of moral cognition and on the sociology of mass political movements. (shrink)

We study notions of independence appropriate for a stability theory of metric abstract elementary classes (for short, MAECs). We build on previous notions used in the discrete case, and adapt definitions to the metric case. In particular, we study notions that behave well under superstability‐like assumptions. Also, under uniqueness of limit models, we study domination, orthogonality and parallelism of Galois types in MAECs.

The origin of Paraconsistent Logic is closely related with the argument that from the assertion of two mutually contradictory statements any other statement can be deduced, which can be referred to as ex contradict!one sequitur quodlibet (ECSQ). Despite its medieval origin, only in the 1930s did it become the main reason for the unfeasibility of having contradictions in a deductive system. The purpose of this paper is to study what happened before: from Principia Mathematica to that time, when it became (...) well established. The main historical claims that I am going to advance are the following: the first explicit use of ECSQ as the main argument for supporting the necessity of excluding any contradiction from deductive systems is to be found in the first edition (1928) of the book Grundzüge der theoretischen Logik by Hilbert and Ackermann. At the end, I will suggest that the aim of the 20th century usage of ECSQ was to change from the centuries long philosophical discussion about contradictions to a more "technical" one. But with Paraconsistent Logic viewed as a technical solution to this restriction, the philosophical problem revives, but now with an improved understanding of it at one's disposal. (shrink)

The origin of Paraconsistent Logic is closely related with the argument that from the assertion of two mutually contradictory statements any other statement can be deduced, which can be referred to as ex contradict!one sequitur quodlibet (ECSQ). Despite its medieval origin, only in the 1930s did it become the main reason for the unfeasibility of having contradictions in a deductive system. The purpose of this paper is to study what happened before: from Principia Mathematica to that time, when it became (...) well established. The main historical claims that I am going to advance are the following: the first explicit use of ECSQ as the main argument for supporting the necessity of excluding any contradiction from deductive systems is to be found in the first edition (1928) of the book Grundzüge der theoretischen Logik by Hilbert and Ackermann. At the end, I will suggest that the aim of the 20th century usage of ECSQ was to change from the centuries long philosophical discussion about contradictions to a more "technical" one. But with Paraconsistent Logic viewed as a technical solution to this restriction, the philosophical problem revives, but now with an improved understanding of it at one's disposal. (shrink)