In Scotus the person is treated in an intelectual atmosphere in which has already been enhanced a considerable effort intelectual in views to an understanding and clarification of what is the person. The author of this work on Scotus, professor emeritus of Antonianum of Rome, intends to make understand the originality of the grief escotista on the person. For it, it is about creating the place in which makes sense speak of person, as Escoto. This place is not other but (...) that in the one that the ontological language is overcome. The person, indeed, indicates and she says something that surpasses and she is added the intellectual constituted individual or the individual of rational nature. In consequence, Prof. Manzano pursues and it indicates the roads from Scotus to this original reality that is the one of being person. These roads are, in short, the road toward the person’s understanding like «an absolute event that happens», the road of the person’s understanding like «absolute independence» and the road of the person’s understanding like «incommunicable existence». At the end, the author treats the scotish dialectic on the question of if the person is carácter of being something positive real, although not ontological, or she is merely somethig relational. In this lasta case, it will be abolut a «relationship» extremely original and diverse of the nature of the relationship as predicament. (shrink)

One year later of Duns Scotus Centenary, this paper wants honouring two important medieval philosophy thinkers and specialist in Duns Scotus thought: Antonio Pérez Estévez and Isidoro Guzmán Manzano. Both scotists philosophers checked in their works the concept of freedom from different, but complementary perspectives, and they recover the rationality of the freedom in Scotus form the self-determination fo the will. They answer to many simplistic or ill-disposed interpretations.

This paper is dedicated to Alonzo Church, who died in August 1995 after a long life devoted to logic. To Church we owe lambda calculus, the thesis bearing his name and the solution to the Entscheidungsproblem.His well-known book Introduction to Mathematical LogicI, defined the subject matter of mathematical logic, the approach to be taken and the basic topics addressed. Church was the creator of the Journal of Symbolic Logicthe best-known journal of the area, which he edited for several decades This (...) paper is in three sections. The first is written in journalistic style:the story of the life of AlonzoChurch is told, including some of the many anecdotes I have collected from different sources. The secondpart is devoted to his work, but is far from being exhaustive. The last part is more original; in it I attempto show that Church’s great discovery was lambda calculus and that his remaining contributions weremainly inspired afterthoughts in the sense that most of his contributions as well as some of his pupils derivefrom that initial achievement. Included are Kleene’s Recursion Theory and the completeness proof ofHenkin. I have added an appendix in which is presented the typed lambda calculus and a proof of theundecidability of first-order logic. (shrink)

In this article we define a logical system called Hybrid Partial Type Theory ( $\mathcal {HPTT}$ ). The system is obtained by combining William Farmer’s partial type theory with a strong form of hybrid logic. William Farmer’s system is a version of Church’s theory of types which allows terms to be non-denoting; hybrid logic is a version of modal logic in which it is possible to name worlds and evaluate expressions with respect to particular worlds. We motivate this combination of (...) ideas in the introduction, and devote the rest of the article to defining, axiomatising, and proving a completeness result for $\mathcal {HPTT}$. (shrink)

This article is an extended promenade strolling along the winding roads of identity, equality, nameability and completeness, looking for places where they converge. We have distinguished between identity and equality; the first is a binary relation between objects while the second is a symbolic relation between terms. Owing to the central role the notion of identity plays in logic, you can be interested either in how to define it using other logical concepts or in the opposite scheme. In the first (...) case, one investigates what kind of logic is required. In the second case, one is interested in the definition of the other logical concepts in terms of the identity relation, using also abstraction. The present paper investigates whether identity can be introduced by definition arriving to the conclusion that only in full higher-order logic a reliable definition of identity is possible. However, the definition needs the standard semantics and we know that with this semantics completeness is lost. We have also studied the relationship of equality with comprehension and extensionality and pointed out the relevant role played by these two axioms in Henkin’s completeness method. We finish our paper with a section devoted to general semantics, where the role played by the nameable hierarchy of types is the key in Henkin’s completeness method. (shrink)

Given some links between Lyndon’s Interpolation Theorem, term distribution, and Sommers and Englebretsen’s logic, in this contribution we attempt to capture a sense of interpolation for Sommers and Englebretsen’s Term Functor Logic. In order to reach this goal we first expound the basics of Term Functor Logic, together with a sense of term distribution, and then we offer a proof of our main contribution.

Diferentes investigaciones han abordado el fenómeno de cómo el jugador de ajedrez alcanza un nivel alto de experticia; sin embargo, la gran mayoría se han llevado a cabo desde una perspectiva en tercera persona, es decir, sin tomar en cuenta la experiencia subjetiva del ajedrecista. El presente trabajo tiene como objetivos: 1) analizar la experticia de ajedrecistas de nivel proficiente desde una perspectiva fenomenológica, esto es, desde la experiencia subjetiva del jugador; 2) señalar los estados internos que parecen ser cognitivamente (...) relevantes en las acciones de los ajedrecistas; 3) teorizar sobre el eventual papel que juega la intuición en las acciones de los jugadores de ajedrez. Para ello se realizó un estudio exploratorio con cinco jugadores de ajedrez durante una competencia de corte nacional en México, utilizando como método la entrevista microfenomenológica propuesta por Claire Petitmengin. Los resultados indican que hay regularidades en los estados internos de los jugadores a nivel intra e interpersonal asociadas implícitamente a momentos críticos de las partidas. Lo anterior permite ofrecer una definición operacional de la intuición y afirmar que esta, en efecto, forma parte de los procesos cognitivamente relevantes de los ajedrecistas de nivel proficiente, aunque las acciones de estos aún dependen, en buena medida, de los cálculos explícitos que realizan durante los momentos críticos. (shrink)

Resumen En esta contribución ofrecemos una interpretación del pons asinorum que se basa en una lógica de términos contemporánea. Esto nos permite revitalizar la idea del pons asinorum para generar el -políticamente correcto- pons scholasticorum, una versión terminística del pons asinorum que conecta la inventio medii con el dictum de omni et nullo.In this contribution we offer an interpretation of the pons asinorum by using a contemporary term logic. This interpretation allows us to revitalize the concept of the pons asinorum (...) in order to produce the -politically correct- pons scholasticorum, a terministic version of the pons asinorum that relates the inventio medii with the dictum de omni et nullo. (shrink)

Un análisis de la situación actual del estado de salud mental de un alto número de la población global basta para dar cuenta de la gravedad del asunto y plantear diversas posibles soluciones. El transhumanismopropone mejorar al ser humano mediante innovación tecnológica. En este trabajo se explica cómo esa innovación pude mejorar el bienestar del ser humano, analizando las consecuencias éticas y sociales de la propuesta del superbienestar y discutiendo también las críticas al transhumanismo por parte de los bioconservadores.

Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...) and Completeness in propositional type theory. More precisely, from and we take the idea of building the model described by the maximal consistent set; in our case the maximal consistent set has to be named, \-saturated and extensionally algebraic-saturated due to the hybrid and equational nature of \. From, we use the result that any element in the hierarchy has a name. The challenge was to deal with all the heterogeneous components in an integrated system. (shrink)

Equational hybrid propositional type theory ) is a combination of propositional type theory, equational logic and hybrid modal logic. The structures used to interpret the language contain a hierarchy of propositional types, an algebra and a Kripke frame. The main result in this paper is the proof of completeness of a calculus specifically defined for this logic. The completeness proof is based on the three proofs Henkin published last century: Completeness in type theory, The completeness of the first-order functional calculus (...) and Completeness in propositional type theory. More precisely, from and we take the idea of building the model described by the maximal consistent set; in our case the maximal consistent set has to be named, \-saturated and extensionally algebraic-saturated due to the hybrid and equational nature of \. From, we use the result that any element in the hierarchy has a name. The challenge was to deal with all the heterogeneous components in an integrated system. (shrink)

The present study aims to apply a program based on Hellison’s Teaching Personal and Social Responsibility Model (TPSR), traditionally used in Physical Education, to other educational subjects and examine the assessment of the teachers who carried it out during the 2018-2019 school year. The program was applied over eight months of one academic year and during at least 60% of the weekly class hours. Initially, 586 students participated, 429 being experimental subjects with 30 teachers, of whom 16 participated in the (...) interviews carried out, all of them being Secondary Education teachers. We used qualitative methodology through content analysis carried out with ATLAS.ti 7.1.3. The instruments used to collect information were semi-structured recorded group interviews. The conclusion is that the Personal and Social Responsibility Model can be applied to all subjects in the curriculum and is adaptable to any content and type of student body. As a basis for future research, we suggest the application of the model by all teachers involved in the same school year and the participation of students’ families. (shrink)

Partimos de que en sociedades políticas complejas, aun siendo el Estado un artificio necesario para evitar situaciones de dominación, su entramado institucional no está exento de reproducir análogas situaciones a aquellas cuya eliminación justificaba su existencia. Analizaremos desde esta óptica las críticas de Rawls y Nozick al utilitarismo, al que acusan de amparar actuaciones injustas por parte del colectivo hacia los individuos. En concreto, abordaremos el problema de los derechos inviolables desde estas tres líneas de pensamiento para concluir que, a (...) pesar de que existen marcadas diferencias en sus respectivos planteamientos metodológicos, hay en las tres líneas de convergencia en lo sustantivo. Concluiremos con una réplica a las objeciones antiutilitaristas y una defensa, siguiendo a John Stuart Mill de la mayor adecuación de esta escuela a la hora de defender la inviolabilidad de ciertos derechos fundamentales. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:On the Trinity:An Ecumenical ConversationIsidoros C. KatsosIntroductionThis paper explores the potential impact of Fr. Thomas Joseph White's impressive new book on the Trinity for the ecumenical dialogue between the Roman Catholic and the Orthodox Churches.1 In doing so, the paper responds to the editors' kind request for an explicitly ecumenical approach to the book. Therefore, this paper concentrates on the issue of the Trinity from an ecumenical perspective. But (...) this is not a simple task. Before reading the book, the reader might have thought that Eastern and Western theologians had somehow reached a gentlemen's agreement that the insertion of the Filioque clause in the Nicene-Constantinopolitan Creed had happened sometime somewhere in the Wild West (namely, at the local Council of Toledo in 589). Building on an honest misunderstanding, the Latin Church gradually added to the initial statement of the Nicene-Constantinopolitan Creed, according to which the Spirit proceeds "from the Father" (ek tou patros), that the Spirit proceeds "from the Father and the Son" (ex Patre Filioque).2 In the absence of an ecumenical council that would have settled the issue, the creedal addition became the thorniest issue of theological contention between East and West, leading to the "Great Schism." Things took a new [End Page 493] turn during the twentieth century when Pope Paul VI and the Ecumenical Patriarch Athenagoras decided that a new rapprochement was desirable and possible.3 Since then, Eastern theologians have showed willingness, for the first time in centuries, to quiet down their concerns about the Filioque as unwarranted speculation, if not falsification, of the Trinitarian doctrine of the Church Fathers.4 In exchange, they saw their Western colleagues quieting down their own normative claims about the theological necessity of the Filioque.5 The general sentiment in the theological schools, in the East at least, was that the true reasons of the Schism had relocated from the sphere of theology to the sphere of terminology, history, and culture.6 The controversy over the Filioque could be seen as an infelix culpa that shaped Eastern and Western Christianity as religious communities, a historic misunderstanding of historical proportions. Contextual rather than doctrinal—that seemed to [End Page 494] be the shift achieved in the last century.7 After reading the book, however, the reader might think that we are about to return to the previous state. For White now argues that the Filioque is not "just" an accident of language, history, and culture, something that could have happened or not, but the only correct interpretation of the Nicene faith:When the Father spirates the Spirit from all eternity, he necessarily does so as Father of the Son and so also in the Son and with the Son.(108; emphasis mine)As to the historically contested question of the Filioque, there are … many scriptural and traditional bases in favor of its affirmation. In addition, Aquinas affirms it as a necessary component of Trinitarian theology.(504; emphasis mine)If White's argument is correct, it has serious impact on the ecumenical dialogue: it suggests that, regardless of what happened in Toledo in the sixth century, Christian theologians in East and West ought to understand the Nicene-Constantinopolitan Creed as entailing that the third person of the Trinity always proceeds from the other two together. To put it more pointedly: if the argument of the book is correct, the Orthodox rejection of the Filioque must betoken a failure to grasp something true and important about the life of the Trinity.Clearly, the resurgence of the Filioque as a normative claim poses a genuine challenge for the Orthodox reader. If the Filioque is the correct Trinitarian doctrine, what room is there left for the Orthodox contrary position? In situations like this in the past, an Orthodox theologian would consider whether to meet the argument head on by producing contrary readings of the same patristic sources or to entirely undermine it by softening its conclusions. I presume this would still be the instinctive reaction of the average Orthodox reader. I find this kind of response not conducive to ecumenical dialogue. Let me then probe here with something new. In what follows, I want to... (shrink)

It has often been asserted that burnout is primarily linked to occupational-context factors, and only secondarily to individual-level and non-work factors. We evaluated the validity of this view by examining the links between burnout and an array of 22 work-situated, work-unrelated, dispositional, and intersecting variables. The study involved schoolteachers from three different countries: France, Spain, and Switzerland. Burnout was assessed with the Maslach Burnout Inventory for Educators. Most of our predictors were assessed based on widely used measures. In order to (...) assess sentimental accomplishment and familial accomplishment, we created two self-reported measures, namely, the Sentimental Accomplishment Inventory and the Familial Accomplishment Inventory. The SAI and the FAI both showed strong reliability and high factorial validity. Exploratory structural equation modeling bifactor analysis and Mokken scaling suggested that both instruments could be considered essentially unidimensional. The study results showed that neuroticism, job strain, skill development, security in daily life, and work–non-work conflict were consistently associated with burnout across the three samples. Sample-specific predictors of burnout included sex, age, unreasonable work tasks, weekly working hours, job autonomy, support in work life, sentimental accomplishment, leisure activities, support in personal life, and non-work–work conflict. Relative weight analysis indicated that neuroticism was the best predictor of burnout in each sample. Our findings suggest that burnout’s nomological network may not be primarily job-related. We conclude that the tendency to de-emphasize individual-level and non-work factors in burnout research is unwise. This tendency may constitute a roadblock in the development of effective interventional strategies. The implications of our findings for burnout’s conceptual status are discussed. The neuroticism-burnout link should be further examined in longitudinal studies. (shrink)

El artículo explora algunos de los principales rasgos políticos de la época globalizada y defiende la necesidad de entidades políticas representativas que superen el marco del Estado nación. A continuación se pregunta bajo qué presupuestos ético-políticos podría defenderse un modelo político-jurídico global para un mundo axiológicamente diverso y qué concepciones políticas y valores podrían proponerse como referente normativo para una gobernanza global cuya meta habría de ser el ejercicio legítimo del poder. Teniendo en cuenta las dificultades de tal empresa, se (...) presentan posibles estrategias y razones que invitan a considerar que la posibilidad de un acuerdo global no es del todo implausible. (shrink)

El presente trabajo analiza el concepto de ciudadanía y algunas de sus implicaciones en el marco de las democracias occidentales actuales. Partiendo de la premisa de que ser ciudadano supone una determinada relación con un Estado, se revisan algunas de las fundamentaciones clásicas del concepto y se concluye que lo relevante es la variedad de derechos sustantivos que el Estado reconoce a sus sujetos políticos. La esencia de ser ciudadano se desvela revisando el repertorio de derechos a los que su (...) estatuto jurídico permite acceder. Se reflexiona desde ese punto de partida sobre el momento actual, advirtiendo que la pérdida de peso político de los Estados merma derechos ciudadanos y provoca la desafección hacia la política tradicional creando nuevas formas de participación política, cuyos riesgos y virtualidades son destacados. Finalmente, se señala la necesidad de generar estructuras de poder en las que los ciudadanos tengan la posibilidad de ejercer sus derechos políticos y cómo dicha pretensión está ligada al ideal del ciudadano cosmopolita y a instituciones internacionales que den cabida a la diversidad cultural. Se concluye apuntando el papel decisivo que juega la reflexión ética en el reconocimiento de valores mínimos que permitan alcanzar acuerdos que se traduzcan en derechos universalizables. (shrink)

Term Functor Logic is a term logic that recovers some important features of the traditional, Aristotelian logic; however, it turns out that it does not preserve all of the Aristotelian properties a valid inference should have insofar as the class of theorems of Term Functor Logic includes some inferences that may be considered irrelevant (e.g. ex falso, verum ad, and petitio principii). By following an Aristotelian or syllogistic notion of relevance, in this contribution we adapt a tableaux method for Term (...) Functor Logic in order to avoid irrelevance and we offer some sort of intuitive semantics in terms of traditional inferential situations (e.g. propter quid, quia, non causa ut causa, and non sequitur). (shrink)

Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to place, for example, second-order logic, type theory, modal and dynamic logics and MSL itself. The aim is two fold: only one theorem-prover is needed; proofs of the metaproperties of the different existing calculi can be avoided by borrowing them from (...) MSL. To make the book accessible to readers from different disciplines, whilst maintaining precision, the author has supplied detailed step-by-step proofs, avoiding difficult arguments, and continually motivating the material with examples. Consequently this can be used as a reference, for self-teaching or for first-year graduate courses. (shrink)