Symmetry is not an inherent characteristic of mathematical proofs; instead, it is a property that arbitrarily manifests in different modes of presentation. This arbitrariness leads to the conclusion that symmetry cannot be part of the defining or essential properties that characterize proofs. Consequently, contrary to some authors’ claims, symmetry does not significantly contribute to the validity, accuracy, or soundness of mathematical proofs. What is more, it does not even play any critical role in heuristic aspects such as explanatory power. The (...) examples developed in this paper constitute compelling evidence supporting these claims. (shrink)

Este es un libro que nace de nuestro compromiso por señalar las contribuciones de las filósofas a partir de la pregunta vital: ¿Quiénes nos formaron? Como resultado, se presenta este diálogo a doce voces; reunidas para dialogar, desde distintos lugares en América Latina, sobre nuestra formación teórica, profesional y humana desde una plataforma equitativa y franca. Concebido, en medio de la pandemia por SARS-CoV-2, queremos construir un espacio abierto a nuevas ideas, propuestas e identidades en la Filosofía. Más aún, queremos (...) invitar a nuestros alumnxs a vislumbrar las posibilidades de un cambio radical en la forma en que concebimos y hacemos filosofía. (shrink)

In this paper, we examine two conceptions of the application of logic and assess their comparative merits. The first is a platonist monist conception that characterizes the logical consequence relation as an abstract relation among propositions. We argue that this proposal, which insists on logic’s topic neutrality, accommodates very well the objectivity of logic. From this perspective, there are no constraints on particular topics. As a result, we have the universality that allows us to go through a wide scope of (...) contexts where logic is applied. In contrast, a non-platonist pluralist conception is examined, and it characterizes the variety of logical consequence relations as concrete, context-dependent in particular cases, and topic-dependent. As will become clear, this conception is particularly well suited to make room for the applications of logic. We conclude that, in order to solve the ontological debate about logic, we need to go beyond its applications. (shrink)

José Ferreirós y Abel Lasalle Casanave, El árbol de los números: cognición, lógica y práctica matemática, Editorial Universidad de Sevilla, Sevilla, 2015, 256 pp.

This book serves as a comprehensive guide for students across various disciplines, aiming to bridge the gap between science, technology, engineering, mathematics (STEM), and liberal arts. It has a dual purpose: firstly, to provide STEM students with essential philosophical knowledge to navigate ethical and social dilemmas related to technology, and secondly, to introduce liberal arts students to the formal structures underpinning technological advancement. Divided into three parts, the book offers a structured approach to understanding the intersection of technology, ethics, and (...) society. (shrink)

The study was conducted to explore teachers’ experiences in the delivery of science subjects during the first school year of implementation of distance learning. The teachers’ experiences in the delivery of science subjects served as a reference for formulating innovation to make learning effective in distance learning modality. The data for this study were collected through an interview schedule. It was done through one-on-one in-depth interviews with each participant with the observance of COVID-19 safety protocols. The interviews with all participants (...) were audio-recorded. The data were transcribed verbatim by repeatedly listening to the recorded audio recording. Transcribed verbatim responses were then translated into English. After that, significant statements were determined from all participants’ responses. Lastly, themes and sub-themes were generated from the participants’ significant statements. Based on the result of this study, the following themes have been generated: preparation experiences, adjustment experiences, and unpleasant experiences. Preparations experienced by the participants were professional development, learning resource preparations, and aligning lessons to MELCs. The participants also had adjustment experiences, including content modification and ICT utilization. Also, unpleasant experiences by the participants were an overwhelming workload, complex communication, problems with assessment, and poor student learning. All the teachers’ experiences identified by the Hilongos National Vocational School junior high school teachers serve as the basis for formulating an innovation project. An innovation project for the new normal will address the unpleasant experiences of the teachers. Hence, the innovation project on improving students’ learning for science subjects in a distance learning modality must be utilized to cater to the needs of the school’s clients, the learners. The study concluded that an innovation project on improving students’ learning of science subjects is necessary to equip the Science Teachers of Hilongos National Vocational School with skills to improve the delivery of science subjects in the new normal. It is also recommended to alleviate teachers’ workload, strengthen communications, address problems in assessment, and improve students’ learning. (shrink)

This paper examines two alleged limitations in the use of formal languages: on the one hand, the trade-offs between expressive and inferential power, and on the other, the phenomenon of system imprisonment. After reconceptualizing the issue, we consider the role played by modality in the understanding of certain aspects of mathematical structures and argue for its centrality.

Color-motion asynchrony (CMA) refers to an apparent lag of direction of motion when a dynamic stimulus changes both color and direction at the same time. The subjective order of simultaneous events, however, is not only perceptual but also subject to illusions during voluntary actions. Self-initiated actions, for example, seem to precede their sensory outcomes following an adaptation to a delay between the action and the sensory feedback. Here, we demonstrate that the extent of the apparent asynchrony can be substantially reduced (...) when direction change is induced by a voluntary key press following a delay adaptation regime. We also show that the reduced color-motion asynchrony effect size following a motor-sensory recalibration is not a result of a change in the onset of perceived direction change relative to that of the color. This is particularly important as it implies, for the first time in the literature, that voluntary action is not only important in forming action-sensory outcome associations but may also act as a binding factor between the two perceptual features of a sensory event. (shrink)

Endocrinologists apply the idea of feedback loops to explain how hormones regulate certain bodily functions such as glucose metabolism. In particular, feedback loops focus on the maintenance of the plasma concentrations of glucose within a narrow range. Here, we put forward a different, organicist perspective on the endocrine regulation of glycaemia, by relying on the pivotal concept of closure of constraints. From this perspective, biological systems are understood as organized ones, which means that they are constituted of a set of (...) mutually dependent functional structures acting as constraints, whose maintenance depends on their reciprocal interactions. Closure refers specifically to the mutual dependence among functional constraints in an organism. We show that, when compared to feedback loops, organizational closure can generate much richer descriptions of the processes and constraints at play in the metabolism and regulation of glycaemia, by making explicit the different hierarchical orders involved. We expect that the proposed theoretical framework will open the way to the construction of original mathematical models, which would provide a better understanding of endocrine regulation from an organicist perspective. (shrink)

The complete arithmetization of the bivalued propositional logic is here presented and extended with original functions not hitherto included in other interpretations of propositional logic, as the algebraic logic or sets theory. An historical review of the former attempts of arithmetical representation of the propositional logic is presented.

Der vorliegende Aufsatz stellt das Erbe der Kantischen Theorie der Konstitutions- und Regulationsleistung der Erfahrung – die Analytik der Grundsätze – dar, das unserer Auffassung nach zur Begründung der rein spekulativen Philosophie Hegels führt. In diesem Zusammenhang werden einerseits die transzendental-konstitutiven Grundsätze – Axiome der Anschauung und Antizipationen der Wahrnehmung – und andererseits die transzendental-regulativen Grundsätze – Analogien der Erfahrung und Postulate des empirischen Denkens überhaupt – als grundlegendes Material der Exegese benutzt. Als Resultat der Deutung erscheint das Problem des (...) Doppel-Verhältnisses zwischen Erfahrung und Verstandesgrundsätzen. Ein solches Verhältnis entfaltet sich nicht nur als die erfahrungsmäßige Verwirklichung der Grundsätze, sondern auch als die grundsätzliche Ermöglichung der Erfahrung. Der notwendige Charakter der Wahrheit in transzendentaler Hinsicht begründet sich dabei durch die allgemeine Beziehung der transzendentalen Grundsätze des reinen Verstandes zur Gesamtheit der Erfahrung. Es wird die These vertreten, dass die Auffassung der Natur – d.h. die das Dasein der Erscheinungen in der Zeit ermöglichende Einheit – das Hauptvermächtnis Kants für den Deutschen Idealismus im Allgemeinen und für Hegels Philosophie im Besonderen darstellt. (shrink)

Algorithmical procedure within a logical system to generate DNA chains through a formal rule up to the generation of a STOP codon's signal. Work developped under the direction of the Mexican Professor Hugo Padilla Chacón.

Proceeding of the first public presentation of the work of the mexican logical group "Deduktor" under the direction of the mexican professor Hugo Padilla Chacón. This work was in fact the first whole and stand alone arithmetization of logics.

En este documento se despliega todas las distributividades y asociatividades posibles de construir en el formato tradicional de la lógica bivaluada, asimismo se presenta el valor que resulta de efectuar dichas operaciones de distributividad y asociatividad, sean o no tautológicas a través del operador de la equivalencia lógica. El valor resultante de realizar una operación de distributividad o asociatividad se expresa como el código binario de su columna veritativo-funcional, presentado en base decimal.

Proceeding of the work in trivalent logic developped under the direction of the professor Hugo Padilla Chacón at the 90's at the National Autonome University of México. Program in RLisp.

In this fragment of Opuscula Logica it is displayed an arithmetical treatment of the aristotelic syllogisms upon the previous interpretations of Christine Ladd-Franklin and Jean Piaget. For the first time, the whole deductive corpus for each syllogism is presented in the two innovative modalities first proposed by Hugo Padilla Chacón. A. The Projection method (all the possible expressions that can be deduced through the conditional from a logical expression) and B. The Retrojection method (all the possible valid antecedents or premises (...) conjunction for an expression proposed as a conclusion). The results are numerically expressed, with their equivalents in the propositional language of bivalent logic. (shrink)

Proceeding on the Automatic Deduction System developped at the Philosophy Faculty of the UNAM at Mexico City. (Deduktor Mexican Group of Logics work under the direction of the professor Hugo Padilla Chacón). Conference presented at the mexican City of Guadalajara at the Universidad de Guadalajara, Jalisco, by invitation of the latinoamerican association of philosophy SOPHIA. Early stage of the deductional systems at 2-valued logic. This work embodies the implementation of the first whole and standalone arithmetization of bivalent Logic, the theoretical (...) framework of Hugo Padilla Chacón published in 1984. (shrink)

Constructivism is frequently met with objections, criticism and often equated with nihilism or relativism. Sometimes even blamed for what some would randomly picture as unwanted side effects of radicalism or of a progressivist era: such misconceptions are not only due to an imprecise grasp of the premises shared by the constructivist family of systems. The structure of media, political systems, and economic models, still up today impel societal understandings of knowledge on neo-positivistic grounds. The first part of this essay outlines (...) such pressures while sketching how language and worldviews play critical roles in our knowledge construction. Focusing on recent mediatic events, this work advances displaying some essential limits regarding the construction of human knowledge. Though unavoidable, some of the distinguishing aspects regarding the nature of our narratives are then critically reviewed. Later, it is shown how a special kind of self-denial that certain sub-stories implicitly hold about their own narrative nature leaves us with clashing worldviews that eventually collide onto crisis. Finally, it’ll be argued that it’s precisely in this scenario where a constructivist depiction of social discourses may move us away from any adolescent intent of elucidating absolutes within mere heuristics, to the pragmatic need of arriving on satisfactory agreements between parties (DOI: 10.4236/ojpp.2022). (shrink)

Using semi-structured interviews and an analytic approach based on the grounded theory, this research took on constructing an understanding of the socio-emotional relevance, and the meaning that a group of elder participants of CIAM «Lucía Salas Romo» of Quilicura (Santiago, Chile) ascribe to social discourses regarding aging. Findings showed that, mobilizing the semantic dissonance between what society promotes and the effective opportunities it allows for the elderly, there are two crucial components of the social discourse: social injustice and fear of (...) dependency. In turn, these play a central role in elder affectivity and the reformulation of identity during this developmental stage for this group (DOI: 10.33264/rpa.202101). (shrink)

Developments in the realm of formal sciences and math foundations during the twentieth century were marked by important methodological advances. Such new approaches partialy owe their appearance to the abandonment of the previous paradigm. To identify how this transition occured, in this essay we observe some aspects regarding the works of Gödel and Tarski, who, under a certain interpretations, restructure epistemological bases of math's formalisms. It'll be argued that the theoretical variabilities produced in abstract sciences upon weakening previous viewpoints forced (...) to abandon some of the components of hegemonic programs. (shrink)

This overview opens with a discussion of human holistic and analytic kinds of understanding, comparing eastern and western viewpoints, focusing on their impact for usability studies. Then, the understanding of human groups and the ability to reach group agreements are briefly addressed moving on to a comparative detail regarding their impact on commercial relations. Further on, this allows approaching systems’ design while focusing on culture, moving on to a cross-country research review. Finally, based on a folkloric sketch for Chile, a (...) comparison of some defining characteristics to build a chilean user persona is presented. The text closes with a comparative review that seeks to promote the combination of qualitative and quantitative studies. (shrink)

Abbreviating Kantian and Aristotelian outlooks' evolution, recomposition and differentiation, this brief sketches some effects and outlines such viewpoints have had upon behaviorism, finally delineating emerging approaches on to knowledge and reality.

Critical view of images regarding how we usually see, understand, and how we experience, outlining analytical alternatives inviting to investigate philosophically around the socioeconomic ordering, speech, religion, science and democracy, among others. More than laying down each one of the difficulties inherent to every ontological sphere, the book looks at how we usually construct speech and realities to board them (ISBN: 978-1-326-51369-6).

Consider a game of blind chess between two chess masters that is recorded in some standard chess notation. The recording is a representation of the game. But what is the game itself? This question is, we believe, central to the entire domain of social ontology. We argue that the recorded game is a special sort of quasi-abstract pattern, something that is: (i) like abstract entities such as numbers or forms, in that it is both nonphysical and nonpsychological; but at the (...) same time, (ii) through its association with specific players and a specific occasion, tied to time and history. We discover other abstract patterns of this sort especially in the domains of law and commerce. This essay draws on the work in social ontology, we of Hernando de Soto and of John Searle to develop an ontology of the social world based on an analysis of the peculiar interdependence between quasi-abstract patterns and their representations in documents of different sorts. (shrink)

This essay is a contribution to social ontology, drawing on the work of John Searle and of Hernando de Soto. At the center of the argument is the proposition advanced by de Soto in his Mystery of Capital to the effect that many of the entities which structure our contemporary social reality are entities which exist in virtue of the fact that there are (paper or digital) documents which support their existence. I here develop de Soto’s argument (...) further, focusing specifically on the ontological problems raised by a family of new types of social phenomena – exemplified most dramatically in the domain of finance for example in the form of what are called ‘structured investment vehicles’ – made possible as a result of the employment of computer technology in entity creation. I address also Searle’s most recent work on social ontology, and conclude with an appendix on the theory of documentality advanced by Maurizio Ferraris. (shrink)

Iskra Pavez Soto Editorial Forja Agosto 2015, 238 pp. ISBN: 978-956-338-184-9.

Dōgen has been described as a social reformer based on his more “enlightened” attitude towards women, inviting women students into his sangha and advocating for more egalitarian views of gender (Eido Frances Carney, Receiving the Marrow: Teachings on Dōgen by Soto Zen Women Priests (2012), p. xi). In this chapter, I describe how contemporary Western Zen women and their allies have understood Dōgen’s texts as a tool of personal and social transformation through examination of work by Zen practitioners such (...) as Greenwood’s Bow First (2018), Carney’s Receiving the Marrow (2012), Schireson’s Zen Women (2009), and Glassman and Fields’ Instructions to the Cook (1996). In particular, I posit that Zen women have expressed the practical nature of Dōgen’s philosophy for contemporary non-monastics, showing how to de-center oneself through full participation in the activity of the world. This is in contrast to self-centered preoccupation with individual enlightenment or spiritual attainment. Paradoxically, it is the fact that women have often been confined to social roles that prevent their separation from the minutiae of everyday life that allows them to embody Dōgen’s dictum to “forget the self and be actualized by myriad things.”. (shrink)

The parceling of land into real estate is more than a simple geometrical affair. Real estate is a historical product of interaction between human beings, political, legal and economic institutions, and the physical environment. And while many authors, from Jeremy Bentham to Hernando de Soto, have drawn attention to the ontological (metaphysical) aspect of property in general, no comprehensive analysis of landed property has been attempted. The paper presents such an analysis and shows how landed property differs from other (...) types of property in a way which implies a special role for political and economic philosophy of property rights in land. This is the Chinese translation of "The Metaphysics of Real Estate", Topoi, 20: 2 (September 2001), 161–172. (shrink)

Many researchers consider cancer to have molecular causes, namely mutated genes that result in abnormal cell proliferation (e.g. Weinberg 1998). For others, the causes of cancer are to be found not at the molecular level but at the tissue level where carcinogenesis consists of disrupted tissue organization with downward causation effects on cells and cellular components (e.g. Sonnenschein and Soto 2008). In this contribution, I ponder how to make sense of such downward causation claims. Adopting a manipulationist account of (...) causation (Woodward 2003), I propose a formal definition of downward causation and discuss further requirements (in light of Baumgartner 2009). I then show that such an account cannot be mobilized in support of non-reductive physicalism (contrary to Raatikainen 2010). However, I also argue that such downward causation claims might point at particularly interesting dynamic properties of causal relationships that might prove salient in characterizing causal relationships (following Woodward 2010). (shrink)

Development economist Hernando de Soto Polar has effectively advocated for property rights in the Third World, as his ideas have influenced the policies of the World Bank, International Monetary Fund and United Nations Development Programme. He envisions land titling as a means of lifting the poor out of poverty. I argue that his classical liberal interpretations of property and the good life are dangerously naive. One can see the dangers of de Soto’s imperialist and one-dimensional vision after considering (...) the cultural destruction that results from his brand of development in pastoral Kenya. Also, this article demands a reframing of standardized development approaches. It argues that the conventional view is prone to creating unstable, culturally hegemonic relationships between the government and entrepreneurs, and the people of the land. Asymmetrical lawfare is another nondemocratic feature of de Soto’s development. This article emphasizes that Kenyan pastoralists are not inherently vulnerable people but that they have been rendered vulnerable by society. Lastly, the United Nations Declaration on the Rights of Indigenous Peoples (UNDRIP) is the basis for an alternative to de Soto’s development design. UNDRIP was a hard-fought legal protection for the world’s indigenous peoples that makes human dignity central to development. The Global North and Global South produce differing visions of development. This article points to Kenya as an example of how the Global North’s vision has fundamentally failed because it disenfranchises pastoralists—the very people policymakers and policy supporters claim it is intended to benefit. (shrink)

Aristotle divided arguments that persuade into the rhetorical (which happen to persuade), the dialectical (which are strong so ought to persuade to some degree) and the demonstrative (which must persuade if rightly understood). Dialectical arguments were long neglected, partly because Aristotle did not write a book about them. But in the sixteenth and seventeenth century late scholastic authors such as Medina, Cano and Soto developed a sound theory of probable arguments, those that have logical and not merely psychological force (...) but fall short of demonstration. Informed by late medieval treatments of the law of evidence and problems in moral theology and aleatory contracts, they considered the reasons that could render legal, moral, theological, commercial and historical arguments strong though not demonstrative. At the same time, demonstrative arguments became better understood as Galileo and other figures of the Scientific Revolution used mathematical proof in arguments in physics. Galileo moved both dialectical and demonstrative arguments into mathematical territory. (shrink)

John Searle’s The Construction of Social Reality and Hernando de Soto’s The Mystery of Capital shifted the focus of current thought on capital and economic development to the cultural and conceptual ideas that underpin market economies and that are taken for granted in developed nations. This collection of essays assembles 21 philosophers, economists, and political scientists to help readers understand these exciting new theories.

The Dominican Pedro de Ledesma was educated at the University of Salamanca, where he became a professor. He is considered one of the last members of the famous School of Salamanca. This work studies his contribution to economic thought as regards tax doctrine. In Ledesma’s thought almost a century of moral reflections developed by the Salamanca professors (such as Vitoria, Azpilcueta, Soto…) crystallises, who were echoed by other Spanish authors. Ledesma recapitulates this reflection by providing his personal point of (...) view on the subject in a historical period in which the Spanish influence had reached global dimensions. (shrink)

Pedro de Ledesma is one of the Dominican theologians of the School of Salamanca involved in the De Auxiliis controversy, i.e., the disputes around a famous book by Luis de Molina on the relation between divine foreknowledge and providence and our free will. Studying an unpublished manuscript by Ledesma and his 1611 book on this subject, the article shows that he opposed Molina with a Thomistic position that we call deflationary. According to this interpretation, God, in moving the created will (...) to do good actions, does not bring about an entity distinct from volition itself. Contrary to other Thomists, he does not think that the immediate effect of the divine motion of the will is an intermediary entity used by God to produce, with the will, the created free act. Ledesma defends his thesis by using some elements of Aristotelian-Thomistic metaphysics, in particular, a minimalist interpretation of the relation between action and passion already present in Domingo de Soto and the specific causality of immanent acts. (shrink)

This article exposes the concept of "second" Salamanca's School, i.e. the followers of Vitoria in a second generation that teach in Salamanca during the last years of the sixteenth century and the first years of the seventeenth. The author shows that there is an important continuity among the first and the second School and revisits the aspects which have been seen as negative for the School: the developing of metaphysics and the De Auxiliis controversy. The metaphysics as such cannot be (...) considered as a negative aspect and the De Auxiliis controversy has also some positive aspects, although it supposed a fatal tendency which determined the end of the School. (shrink)

Polish translation of "John Searle: From Speech Acts to Social Reality", -/- We provide an overview of Searle's contributions to speech act theory and the ontology of social reality, focusing on his theory of constitutive rules. In early versions of this theory, Searle proposed that all such rules have the form 'X counts as Y in context C' formula – as for example when Barack Obama (X) counts as President of the United States (Y) in the context of US political (...) affairs. Crucially, the X and the Y terms are here identical. A problem arises for this theory for cases involving 'free-standing Y terms', as for example in the case of money in a computerized bank account. Here there is no physical X to which a status function might be attached. We conclude by arguing that Searle's response to this problem creates difficulties for his naturalistic framework. (shrink)