We present a new functional interpretation, based on a novel assignment of formulas. In contrast with Gödel’s functional “Dialectica” interpretation, the new interpretation does not care for precise witnesses of existential statements, but only for bounds for them. New principles are supported by our interpretation, including the FAN theorem, weak König’s lemma and the lesser limited principle of omniscience. Conspicuous among these principles are also refutations of some laws of classical logic. Notwithstanding, we end up discussing some applications of the (...) new interpretation to theories of classical arithmetic and analysis. (shrink)

As public administrations adopt artificial intelligence (AI), we see this transition has the potential to transform public service and public policies, by offering a rapid turnaround on decision making and service delivery. However, a recent series of criticisms have pointed to problematic aspects of mainstreaming AI systems in public administration, noting troubled outcomes in terms of justice and values. The argument supplied here is that any public administration adopting AI systems must consider and address ambiguities and uncertainties surrounding two key (...) dimensions: the algorithms’ results, and how public managers make decisions for and about AI systems’ design. The article is based on bibliographic research in institutional theory perspective that relates the design of AI systems and relevant literature on the decision-making process in public policy. The main finding is to explain why autonomous decision systems continue to reproduce ambiguities and uncertainties when applied in public administration and propose a reflection on AI governance in public administration. This article points to the need for design institutions that immerse themselves in understanding the nuances, details, and potential outcomes of AI governance for public administration. Such institutions would reconcile consequentialist logic with a logic of appropriateness to help navigate and mediate ambiguities and uncertainties. (shrink)

In this paper, chaotic dynamics of a mixed Rayleigh–Liénard oscillator driven by parametric periodic damping and external excitations is investigated analytically and numerically. The equilibrium points and their stability evolutions are analytically analyzed, and the transitions of dynamical behaviors are explored in detail. Furthermore, from the Melnikov method, the analytical criterion for the appearance of the homoclinic chaos is derived. Analytical prediction is tested against numerical simulations based on the basin of attraction of initial conditions. As a result, it is (...) found that for ω = ν, the chaotic region decreases and disappears when the amplitude of the parametric periodic damping excitation increases. Moreover, increasing of F 1 and F 0 provokes an erosion of the basin of attraction and a modification of the geometrical shape of the chaotic attractors. For ω ≠ ν and η = 0.8, the fractality of the basin of attraction increases as the amplitude of the external periodic excitation and constant term increase. Bifurcation structures of our system are performed through the fourth-order Runge–Kutta ode 45 algorithm. It is found that the system displays a remarkable route to chaos. It is also found that the system exhibits monostable and bistable oscillations as well as the phenomenon of coexistence of attractors. (shrink)

O presente texto é a tradução para o português brasileiro do artigo “Algorithmic Catastrophe — The Revenge of Contingency”, do filósofo chinês Yuk Hui (2015), professor na City University of Hong Kong, criador dos conceitos de “tecnodiversidade” e “cosmotécnica” e autor de livros como The Question Concerning Technology in China (2016) e Recursivity and Contingency (2019). O presente artigo, cedido generosamente pelo autor para tradução sob licença CC BY-NC-ND 4.0, originalmente fazia parte de uma edição especial da revista Parrhesia dedicada (...) ao filósofo francês Bernard Stiegler (in memoriam), antigo orientador de doutorado do autor e uma das peças centrais na composição deste texto. (shrink)

It is known that there is a sound and faithful translation of the full intuitionistic propositional calculus into the atomic polymorphic system F at, a predicative calculus with only two connectives: the conditional and the second-order universal quantifier. The faithfulness of the embedding was established quite recently via a model-theoretic argument based in Kripke structures. In this paper we present a purely proof-theoretic proof of faithfulness. As an application, we give a purely proof-theoretic proof of the disjunction property of the (...) intuitionistic propositional logic in which commuting conversions are not needed. (shrink)

Situations serving as partial worlds as well as events in natural language semantics are constructed from a type-theoretic interpretation of firstorder formulae and (after a type reduction) temporal formulae. Limitations of the Russell-Wiener-Kamp derivation of time from events are discussed and overcome to give a more widely applicable account of temporal granularity. Finite situations are formulated as strings of observations, conceptualized to persist inertially (in the absence of forces).

The main task of a critical theory of medicine should be to develop a perspectival, context-fair, and multidimensional science of actions which integrates both diversity and heterogeneity within medicine without eliminating either one. Such a theory should employ diversity in the following areas: (1) in systems, subsystems, and professions, because different medical professions embody different health-care subsystems, thereby influencing the way manpower is utilized, (2) in actors, (e.g., patients, health-care experts, and society), processes, and situations, because each actor potentially conceptualizes (...) health, illness, and desired outcomes differently; and (3) in models of medicine (i.e., as an object science versus an action science). Situational influences modify concepts and explanatory models; even the particular terms, such as illness, disease, and sickness, are not necessarily concordant with each other. (shrink)

This paper develops the very basic notions of analysis in a weak second-order theory of arithmetic BTFA whose provably total functions are the polynomial time computable functions. We formalize within BTFA the real number system and the notion of a continuous real function of a real variable. The theory BTFA is able to prove the intermediate value theorem, wherefore it follows that the system of real numbers is a real closed ordered field. In the last section of the paper, we (...) show how to interpret the theory BTFA in Robinson's theory of arithmetic Q. This fact entails that the elementary theory of the real closed ordered fields is interpretable in Q. (shrink)

Conservativity in generalized quantifiers is linked to presupposition filtering, under a propositions-as-types analysis extended with dependent quantifiers. That analysis is underpinned by modeltheoretically interpretable proofs which inhabit propositions they prove, thereby providing objects for quantification and hooks for anaphora.

The Brazilian Federal Senate created a Parliamentary Inquiry Commission (CPI) to investigate the Bolsonaro government's irregularities in the management of the COVID-19 pandemic. One of the cases that drew attention was the research conducted by Prevent Senior, a private health insurance company, on the early treatment of COVID-19. The article analyzes the scientific validity of the research and the ethical problems related to its implementation. It is based on analysis of Prevent Senior's report of the clinical study, the Brazilian and (...) USA clinical trial registries, the Senate's CPI report, and on the information reported by the media. This case of scientific fraud and political-ideological bias exemplifies how Prevent Senior, using a questionable protocol to enhance its reputation and gain government support, was instrumental in building the “early treatment” narrative for COVID-19, and shows how it served as a basis for a government public policy that promoted the use of ineffective drugs. (shrink)

The mental limit may be described as formal fullness of time in accordance with its conditional character in relation with intelligible essence. The metaphysic knowledge includes a methodic exclusion confining time under thematic position in order to its abandonment. The abandonment of formal fullness of time notices being. As a conditional antecedent of thought object, the limit is behind practical action and it is trespassed in it.

El texto de Martin Heidegger Was ist das - die Philosophie? es una de las obras claves para hacer una hermenéutica de su pensamiento. En ella se explica como lo que pretendía la filosofía en su origen no tiene un correlato con sus conquistas a lo largo de la tradición, que están más bien teñidas de un tinte racionalista que obvia los estados afectivos, tan necesarios para entender el pensar filosófico. De este modo, volvemos con Heidegger a remontarnos al inicio (...) de la filosofía, hasta Heráclito, para así poder establecer unas pautas que nos ayuden en nuestras disquisiciones dentro del filosofar. Para ello será necesario retomar el verdadero sentido griego de λὀγος tal y como fue planteado por Heráclito: como fluir y como lucha. (shrink)

Finite-state methods are applied to the Russell-Wiener notion of time (based on events) and developed into an account of interval relations and temporal propositions. Strings are formed and collected in regular languages and regular relations that are argued to embody temporal relations in their various underspecified guises. The regular relations include retractions that reduce computations by projecting strings down to an appropriate level of granularity, and non-deterministic relations defining notions of partiality within and across such levels.

The ability to manipulate embryonic stem cells for tissues and organs regeneration and the great expectation existing in cellular therapy have lead to drive the attention of not only scientists but also philosophers and theologists on the issue of >. In this paper this issue is delt with from a gnoseologic perspective.

The traditional presentation about historical time-passing consists in a linear succession of facts in which some aspects of the lifeworld evolve from others in anirreversible manner. The presentation of change is connected to the presentation of gradual or revolutionary linear changes that areirrevocable. I believe that this presentation could be considered correct for living organisms, but does not take account of some important aspects of demonstrative presentations about artefacts and technologies. For example, we can ontologically assume that “hammer-beating” evolved from (...) “stone-beating”. In this sense, the “hammer-beating-time” could be considered contemporary-time and the “stone-beating-time” could be considered past-time. However, we still beat things with stones and stone-like artefacts. The technology of the stone-beating is still been used. That means that relationship between the stone and the hammer cannot be seen as “evolutive” in the same sense that organisms “evolve” from each other. We must assume then, that the stone and the hammer must be interchangeable technologies which do not overshadow each other. This family of technologies and artefacts are contemporary to each other. Time-passing metaphors must then be substituted with metaphors of a “technological instability” that can be associated to a foundational cultural explosion. (shrink)

Resumen. En la presente investigación se describe el análisis de sentimiento realizado en comentarios publicados en la red social de Twitter. Los datos se obtuvieron al monitorear durante 36 días la evaluación del sentimiento de los comentarios que resultaron de hacer búsquedas de catorce diferentes sistemas operativos para celular; utilizando para dicha evaluación la herramienta Twitter-Sentiment. Se encontró que los comentarios positivos y negati¬vos presentan una correlación positiva para la mayoría de los sistemas operativos utilizados en la investigación.. The present (...) research describes the sentiment analysis carried on com¬ments published on the social network Twitter. The data were obtained by monitoring over 36 days of evaluation on the sentiment of the comments that resulted from querying four¬teen different mobile operating systems; using Twitter-Sentiment for the evaluation. It was found that the positive and negative comments have a positive correlation for most operating systems used in this research. (shrink)

It is possible today to observe in hindsight the epistemological landscape of the twentieth century, and the work of Albert Lautman in mathematical philosophy appears as a profound turning point, opening to a true under- standing of creativity in mathematics and its relation with the real. Little understood in its time or even today, Lautman’s work explores the difficult but exciting intersection where modern mathematics, advanced mathe- matical invention, the structural or unitary relations of mathematical knowledge and, finally, the metaphysical (...) and dialectical tensions underly- ing mathematical activity converge. Well beyond other better-known names in philosophy of mathematics – who are focused above all on ques- tions concerning the logical problem of foundations, important but frag- mentary studies in the vast panorama of modern mathematics – Lautman broaches the emergence of inventiveness in the very broad spectrum of the development of the mathematical real. Group theory, differential geome- try, algebraic topology, differential equations, functional analysis, functions of complex variables and number fields are some of the domains of his preferred examples. He detects in them methods of construction, structu- ration and unification of modern mathematics that he connects to a precise Platonic interpretation in which powerful pairs of ideas serve to organize the edifice of effective mathematics. (shrink)

The responses of 178 Latin dioceses in the United States Conference of Catholic Bishops (USCCB) to the Preparatory Document for the Synod on Synodality were synthesized in fourteen regional reports. From these reports, and a report of lay groups, the USCCB produced the US report, which was synthesized with 111 other national reports into the Working Document for the Continental Stage (DCS). The latter was provided to seven continental assemblies. North American participants discussed the DCS in virtual meetings, and a (...) writing team produced the North American report. The synthesized result of the continental assemblies’ reports was the synod’s 2023 Instrumentum laboris. This article discusses US diocesan participation and the North American response to the DCS as they contributed to the Instrumentum laboris’ statement relative to “the question of women’s inclusion in the diaconate.” It includes a table documenting US diocesan responses to questions of women’s participation in the Church. (shrink)

The free-energy principle (FEP) builds on an assumption that sensor–motor loops exhibit Markov blankets in stationary state. We argue that there is rarely reason to assume a system's internal and external states are conditionally independent given the sensorimotor states, and often reason to assume otherwise. However, under mild assumptions internal and external states are conditionally independent given the sensorimotor history.

Este artículo contrasta el método del abandono del límite con la analogía de Tomás de Aquino, ofreciendo una descripción global de esta última, en orden a la determinación del significado y el estatuto gnoseológico de la noción de ente. Examina en los respectivos planteamientos el valor y el alcance metafísico de la potencia, de la articulación abstracta del tiempo y de la “entelécheia”.

The control principle implies that people should not feel guilt for outcomes beyond their control. Yet, the so-called ‘agent and observer puzzles’ in philosophy demonstrate that people waver in their commitment to the control principle when reflecting on accidental outcomes. In the context of car accidents involving conventional or autonomous vehicles, Study 1 established that judgments of responsibility are most strongly associated with expressions of guilt–over and above other negative emotions, such as sadness, remorse or anger. Studies 2 and 3 (...) then confirmed that, while people generally endorse the control principle, and deny that occupants in an AV should feel guilt when involved in an accident, they nevertheless ascribe guilt to those same occupants. Study 3 also uncovered novel implications of the observer puzzle in the legal context: Passengers in an AV were seen as more legally liable than either passengers in a conventional vehicle, or even their drivers–especially when participants were prompted to reflect on the passengers’ affective experience of guilt. Our findings document an important conflict–in the context of AV accidents–between people’s prescriptive reasoning about responsibility and guilt on one hand, and their counter-normative experience of guilt on the other, with apparent implications for liability decisions. (shrink)

The connection between language and the body has become a significant topic of research over the last decades. On the one hand, those who hold that language has an embodied nature endorse a close link between linguistic and sensorimotor processing. As a result, language processing is understood as an online activity, i.e., as something that stands in relationship to the local environment and engages in here-and-now tasks. On the other hand, for those who contend that language is fundamentally disembodied, linguistic (...) processing is a matter of mental manipulation of amodal symbols according to a set of rules. On this view, language is an offline activity and is considered to be something that grants us interesting cognitive advantages due to its independence from sensorimotor contingencies. This paper [i] offers a comprehensive presentation of these two views; [ii] highlights a crucial challenge for each of them: the scaling phenomenon and the grounding problem, respectively; and [iii] argues that all attempts to overcome these two challenges have major shortcomings. (shrink)

Resumo Longe de pretender esgotar possíveis semelhanças entre Nietzsche e Quine, o texto que se segue tenciona mostrar, mediante comparações paradigmáticas e admissíveis convergências metodológicas, como ambos os autores, lançando mão de hipóteses naturalistas para interpretar o conhecimento e a estética, respectivamente, tornam possível pensar num naturalismo menos confinante e mais inventivo, livre dos prejuízos do cientificismo e mais condizente com a sensibilidade artística em geral.Far from intending to exhaust all the possible similarities between Nietzsche and Quine, the following text (...) aims at showing, through paradigmatic comparisons and admissible methodological convergences, how both authors - by making naturalistic assumptions to interpret knowledge and aesthetics respectively - allow us to think of a less confining and more creative naturalism, free from the prejudices of scientism and more compatible with the artistic sensibility in general. (shrink)

L’action est morale si elle est voulue en toute circonstance. Selon la Typique de la faculté de juger pratique, la loi fournit le modèle pour le passage à l’universel. Si ce modèle convient à la première formule del’impératif catégorique, il ne suffit à fonder ni la seconde, ni la troisième. On met en lumière les apories de la pensée kantienne pour indiquer ensuite que la position du problème de la « justice » par Rawls apporte peut-être un principe de solution.

The paper explains the application of a Social Innovation Based Transformative Learning (SIBTL) pedagogical approach in an undergraduate, final year business ethics course taught at an Australian university. Using social innovation as an enabling process to extend students’ cognitive, behavioural and managerial competencies in an integrated manner, the paper describes how the SIBTL approach helps ethics teachers to promote students’ ethical action.

O texto tem como objetivo apresentar a categoria de “biopolítica afirmativa” de Roberto Esposito. Para tanto, na primeira parte discute-se rapidamente o que se convencionou chamar de “a diferença italiana”. O segundo tópico do texto discute o significado de comunidade a partir do seu étimo originário munus. Na seção seguinte aborda-se o “dispositivo imunitário” onipresente em nossas sociedades. A partir dessas considerações pode-se, na última parte, discutir o problema central proposto, isto é, a biopolítica afirmativa.

El existenciario del cuidado (Sorge) es uno de los elementos de mayor importancia en el entramado filosófico de Martin Heidegger. El cometido de mi trabajo es profundizar en la relación que tiene ese existenciario con otros tres que consideramos fundamentales: ser-en-el-mundo (In-der-Welt-sein), ser-con (Mit-sein) y el Uno impersonal (das Man). Una panorámica propedéutica de la relación con ellos puede elucidarse a partir de la conferencia que Heidegger impartió en Marburgo en 1924: Der Begriff der Zeit, uno de los textos clave (...) de los que allanan el camino a Sein und Zeit, considerada su obra magna. (shrink)

On the path of the continued application of the Second Vatican Council’s Document Nostra Aetate, which turns 50, presenting a deepening biblical material based on written and oral tradition of the Jews and the Church's teaching from the same Vatican II up to the present days, by confirming the teaching of the last Popes, narrowing the route of mutual regard and friendship in dialogue with Judaism and the common heritage present in the Pentateuch and in all the Holy Scriptures.

Com o Sensualismo criam-se condições para uma nova estética, sensível e sensacionalista, que vai transformar as diversas artes (Literatura, Pintura, Escultura) e trazer consigo novas formas de espectáculo: o panorama, a fantasmagoria e o diorama (este, já no início do século XIX). O Eidophusikon, dispositivo de criação e ampliação (sensurround) de novas imagens – um híbrido de teatro e pintura, criado por Philippe de Loutherbourg entre 1781 e 1782 –, insere-se nesse processo e, com a fantasmagoria de Robertson (no final (...) do século XVIII, em França), constitui uma das modalidades do que hoje designamos por pré-cinema. No entanto, apropriando-se das novas condições de representação e de percepção do teatro introduzidas por David Garrick em Drury Lane – que promovem a “absorção” do espectador naquilo que vê em palco –, o Eidophusikon de Loutherbourg (ele próprio, pintor) pode ser considerado um elo em processo da nova concepção de pintura de Diderot – da qual a “promenade Vernet” do Salon de 1767 constitui como que a actualização por escrito. (shrink)