Solving numeric, logic and language puzzles and paradoxes is common within a wide community of high school and university students, fact witnessed by the increasing number of books published by mathematicians such as Martin Gardner, Douglas Hofstadter [in one of the best popular science books on paradoxes ], inspired by Gödel’s incompleteness theorems), Patrick Hughes and George Brecht and Raymond M. Smullyan, inter alia. Books by Smullyan are, however, much more involved, since they introduce learning trajectories and strategies across several (...) subjects of mathematical logic, as difficult as combinatorial logic, computability theory, and proof theory. These books provide solutions to their suggested exercises. Both statements and their solutions are written in the natural language, introducing some informal algorithms. As an exercise in Mathematics we wonder if an easy proof system could be devised to solve the amusing equations proposed by Smullyan in his books. Moreover, university students of logic could well train themselves in constructing deductive systems to solve puzzles instead of a non-uniform treatment one by one. In this paper, addressing students, we introduce one such formal systems, a tableaux approach able to provide the solutions to the puzzles involving either propositional logic, first order logic, or aspect logic. Let the reader amuse herself or himself! (shrink)

Sumário Mostramos que, em virtude dos limites teóricos da computação, nem toda a ciência formulada com carácter preditivo pode ser simulada. Em particular, evidencia- se que a Fisica Clássica, nomeadamente a Físíca Newtoniana, padece deste mal, encerrando processos de Zenão.

The class of recursive functions over the reals, denoted by , was introduced by Cristopher Moore in his seminal paper written in 1995. Since then many subsequent investigations brought new results: the class was put in relation with the class of functions generated by the General Purpose Analogue Computer of Claude Shannon; classical digital computation was embedded in several ways into the new model of computation; restrictions of were proved to represent different classes of recursive functions, e.g., recursive, primitive recursive (...) and elementary functions, and structures such as the Ritchie and the Grzergorczyk hierarchies.The class of real recursive functions was then stratified in a natural way, and and the analytic hierarchy were recently recognised as two faces of the same mathematical concept.In this new article, we bring a strong foundational support to the Real Recursive Function Theory, rooted in Mathematical Analysis, in a way that the reader can easily recognise both its intrinsic mathematical beauty and its extreme simplicity. The new paradigm is now robust and smooth enough to be taught. To achieve such a result some concepts had to change and some new results were added. (shrink)

Earlier, we have studied computations possible by physical systems and by algorithms combined with physical systems. In particular, we have analysed the idea of using an experiment as an oracle to an abstract computational device, such as the Turing machine. The theory of composite machines of this kind can be used to understand (a) a Turing machine receiving extra computational power from a physical process, or (b) an experimenter modelled as a Turing machine performing a test of a known physical (...) theory T.Our earlier work was based upon experiments in Newtonian mechanics. Here we extend the scope of the theory of experimental oracles beyond Newtonian mechanics to electrical theory. First, we specify an experiment that measures resistance using a Wheatstone bridge and start to classify the computational power of this experimental oracle using non-uniform complexity classes. Secondly, we show that modelling an experimenter and experimental procedure algorithmically imposes a limit on our ability to measure resistance by the Wheatstone bridge.The connection between the algorithm and physical test is mediated by a protocol controlling each query, especially the physical time taken by the experimenter. In our studies we find that physical experiments have an exponential time protocol; this we formulate as a general conjecture. Our theory proposes that measurability in Physics is subject to laws which are co-lateral effects of the limits of computability and computational complexity. (shrink)

Earlier, we have studied computations possible by physical systems and by algorithms combined with physical systems. In particular, we have analysed the idea of using an experiment as an oracle to an abstract computational device, such as the Turing machine. The theory of composite machines of this kind can be used to understand (a) a Turing machine receiving extra computational power from a physical process, or (b) an experimenter modelled as a Turing machine performing a test of a known physical (...) theory T. Our earlier work was based upon experiments in Newtonian mechanics. Here we extend the scope of the theory of experimental oracles beyond Newtonian mechanics to electrical theory. First, we specify an experiment that measures resistance using a Wheatstone bridge and start to classify the computational power of this experimental oracle using non-uniform complexity classes. Secondly, we show that modelling an experimenter and experimental procedure algorithmically imposes a limit on our ability to measure resistance by the Wheatstone bridge. The connection between the algorithm and physical test is mediated by a protocol controlling each query, especially the physical time taken by the experimenter. In our studies we find that physical experiments have an exponential time protocol, this we formulate as a general conjecture. Our theory proposes that measurability in Physics is subject to laws which are co-lateral effects of the limits of computability and computational complexity. (shrink)

We have begun a theory of measurement in which an experimenter and his or her experimental procedure are modeled by algorithms that interact with physical equipment through a simple abstract interface. The theory is based upon using models of physical equipment as oracles to Turing machines. This allows us to investigate the computability and computational complexity of measurement processes. We examine eight different experiments that make measurements and, by introducing the idea of an observable indicator, we identify three distinct forms (...) of measurement process and three types of measurement algorithm. We give axiomatic specifications of three forms of interfaces that enable the three types of experiment to be used as oracles to Turing machines, and lemmas that help certify an experiment satisfies the axiomatic specifications. For experiments that satisfy our axiomatic specifications, we give lower bounds on the computational power of Turing machines in polynomial time using nonuniform complexity classes. These lower bounds break the barrier defined by the Church-Turing Thesis. (shrink)

The current economic crisis is forcing us to reflect on where we have gone wrong in recent years. In the search for responsibilities some have looked to Business Schools and Administration Departments. It is surprising that this situation has come about despite the fact that Business Ethics and Social Corporate Responsibility have been taught in business schools for years. Without wanting to place all the blame on higher education institutions, but from a critical perspective and assuming responsibility, we believe it (...) is necessary to reflect rigorously on how to train leaders for the future and how we can best educate responsible Managers. In this article our objective is to reflect on the two factors which influence the training of responsible Managers: management discourse theory and the ethos of the institutions training future Managers. The central point of our article will be to argue for the need to develop an institutional ethos in Administration Faculties and business schools which is consistent with the responsibility discourse we propose and with the aim of providing high quality technical and moral training. Our central argument is that institutional ethos has enormous educational power and that the moral climate of an institution has a major influence on students' ideas, values and behaviours. The second argument for this main point is that corporate ethos can be managed and modulated. It is a process of cultural change which requires time and the setting up of specific initiatives to achieve the organisation that we want. (shrink)

El presente trabajo intenta reflexionar sobre la importancia pedagógica del afecto y del cuidado, no sólo en tiempos de pandemia, sino como elemento clave, aunque olvidado, del proceso educativo. Para ello, se expondrán las consecuencias de la pandemia y el confinamiento para la salud de la ciudadanía, en un contexto dominado por el Global Educational Reform Movement. A continuación, señalamos que las preocupaciones de las administraciones y organizaciones internacionales durante el confinamiento han estado centradas en la ‘mantener’ la presión sobre (...) el aprendizaje, mantener la máquina del aprendizaje, intentando mejorar el acceso y la conectividad online, y olvidando otras cuestiones como la situación de las familias y el alumnado. En este sentido, mostramos cómo la preocupación por el otro (familias y alumnado) ha sido una preocupación constante en muchos docentes, por encima incluso del curriculum establecido y del aprendizaje. Por último, y como complemento de las mejores prácticas educativas, analizamos qué supone el cuidado y el afecto para el proceso pedagógico, indicando que no se puede volver a la antigua normalidad, sino recrear una _nueva normalidad _basada en la ética del cuidado y en la justicia afectiva. (shrink)

La sobre-tecnificación inhumana ha promovido una visión reduc- cionista que afecta la forma en que se ejerce la medicina, dañando gravemente la relación médico-paciente. La carencia de formación en competencias humanísticas determina una visión utilitarista y sociobiologista. La deficiencia en la comprensión con respecto a las emociones individuales y ajenas es determinante en las habilidades sociales que, como médicos, debemos promover en las próximas generaciones, de modo que logremos recentrar la atención médica y científica en una visión antropocentrista. La Inteligencia (...) Emocional (IE) es definida como la habilidad para percibir e identificar las emociones ajenas y propias, para discriminar entre ellas y utilizar dicha información para guiar el pensamiento, actuando en consecuencia. Es necesario estructurar la educación médica de las competencias humanísticas en beneficio del ejercicio profesional, fundado en habilidades de comunicación que reflejen una visión integral del ser humano. Se llevó a cabo una revisión de 83 artículos, con la finalidad de identificar la relación existente entre la Inteligencia Emocional y la relación médicop-paciente, presentando un panorama integral sobre la relevancia que la enseñanza de dichas competencias tiene en la educación médica del siglo XXI. (shrink)

Social science research, whether observational or interventional, is confronted with situations where the dignity of participants and respect for cultural practices can be seriously affected. The aim of this article is twofold. Firstly, we will reflect on the ethical challenges facing social science research with special consideration of research in contexts of vulnerability. Secondly, we will propose the Kantian sense of respect as a normative framework to guide social science research.

A comunicação apresenta a síntese de alguns verbetes do Dicionário da Escravidão e Liberdade, lançado em 2018 pela editora Companhia das Letras com a intenção de dar a conhecer um pouco do seu rico conteúdo. Duas atitudes são exigidas diante de uma obra deste nível: a coragem de conhecê-la e a disposição de difundi-la.

The first great Brazilian social movement: the abolitionist campaign.

Esta Comunicação objetiva apresentar dois trabalhos acadêmicos de Luis Cláudio Cardoso Bandeira. A dissertação de mestrado, intitulada Entidades africanas em “troca de águas”: diásporas religiosas desde o Ceará, apresenta a pesquisa sobre tradições africanas no Ceará. No doutorado, Bandeira trata de Rotas e raízes itinerantes e destaca veredas desafiadoras do diálogo entre história e religião. Participando das duas bancas, tive a oportunidade de perceber as nuances do caminho acadêmico percorrido por ele. Neste texto , faço memória dessas duas participações, sintetizando (...) brevemente esses trabalhos realizados. Começo destacando, brevemente, uma das fontes importantes de Bandeira no doutorado: as pesquisas que Agenor Sarraf Pacheco tem realizado sobre Memórias, Identidades, Saberes, Religiosidades letradas e de matrizes orais afroindigenas em circuitos da Amazônia . Segundo Pacheco, para se conhecer a presença dos negros na Amazônia é fundamental investigar essa relação com as culturas e sabedorias indígenas. Palavras-chave : Tradições africanas. Diásporas religiosas. Estudos culturais. História da África. Pensamento pós-colonial. (shrink)

RESENHA: DOMEZI, Maria Cecilia. Deus em guerra e pacto na América Latina colonial. São Paulo: Idéias & Letras, 2015. A autora revisita a Conquista Espiritual sob a ótica da luta dos deuses no continente Latino Americana.

Within a sequence of studies on slavery in Brazil in 50 years, we have the original study on the political dimension of this slavery from original documentation (Annals and Archives) carried forward by Tamis Parron. In the nineteenth century occurred, according to the author, a politicization of slaveholding issues rather than the development of a policy of slavery. The smuggling of slaves and the defense of slavery are too significant to be set aside by historiography events. To Parron, external aspects (...) such as change in American policy slavery and the position of England clearly interfered in the internal politics of Brazil. However, to the author, what existed was not only the defense of slavery with the clear involvement of the state, but also political game scenes by those who had different opinions. Some indirect events such as the Land Law and the domestic slave trade were part of a politicization of the issue of slavery and consequently, the maintenance of the slave society. (shrink)

Court rulings are among the most important documents in all legal systems. This article describes a study in which natural language processing is used for the automatic characterization of Spanish judgments that deal with the physical custody (joint or individual) of minors. The model was trained to identify a set of elements: the type of custody requested by the plaintiff, the type of custody decided on by the court, and eight of the most commonly used arguments in this type of (...) judgment. Two jurists independently annotated more than 3000 judgments, which were used to train a model based on transformers. The main difficulties encountered in this task were the complexity of the judicial language and the need to work with appellate court rulings that have a more complicated structure than decisions at first instance. For the complete court rulings, the F1 score of the inter-annotator agreement ranged from 0.60 to 0.86 and the Kappa index from 0.33 to 0.73. The F1 score of the agreement between the model and the annotators ranged from 0.66 to 0.93 and the Kappa index from 0.57 to 0.80. These results in which the model performance exceeds even the inter-annotator agreement show the high ability of transformers to identify abstract entities in legal texts. (shrink)

This article introduces the important issue of communicating with small firms about ethical issues. Evidence from two research projects from the U.K. and Spain are used to indicate some of the important issues and how small firms may differ from large firms in this area. The importance of informal mechanisms such as the influence of friends, family and employees are highlighted, and the likely ineffectiveness of formal tools such as Codes and Social and Ethical Standards suggested. Further resarch in the (...) area of small firms and ethics is essential. (shrink)

The central aim of this paper is to explain how protocol sentences establish a specific space for scientific discussion at the level of observation in the social sciences. In this space, the four levels of the theory of protocol sentences work as a coordinate system that allows to specify the degree of quality of data production. To do so, we elaborate upon Jean-Claude Passeron’s epistemology by combining it with Otto Neurath’s theory of protocol sentences. We start by discussing Passeron’s interpretation (...) of Neurath’s work in Le raissonnement sociologique and then present Neurath’s theory, following Thomas Uebel’s interpretation, with the purpose of developing the potential of Passeron’s epistemology in this regard. (shrink)

Far from being neutral, Spain, today as in the past, is truly international-minded, one with America and all the free nations of the world.

Traditionally, liberals have confined religion to the sphere of the ‘private’ or ‘non-political’. However, recent debates over the place of religious symbols in public spaces, state financing of faith schools, and tax relief for religious organisations suggest that this distinction is not particularly useful in easing the tension between liberal commitments to equality on the one hand, and freedom of religion on the other. This article deals with one aspect of this debate, which concerns whether members of religious communities should (...) receive exemptions from regulations that place a distinctively heavy burden on them. Drawing on Habermas’ understanding of churches as ‘communities of interpretation’, we explore possible alternatives to both the ‘rule-and-exemption’ approach and the ‘neutralist’ approach. Our proposal rests on the idea of mutual learning between secular and religious perspectives. On this interpretation, what is required is (i) the generation and maintenance of public spaces in which there could be discussion and dialogue about particular cases, and (ii) evaluation of whether the basic conditions of moral discourse are present in these spaces. Thus deliberation becomes a touchstone for the building of a shared democratic ethos. (shrink)

El objetivo de este artículo es analizar las aportaciones que los avances en neuroética tienen en la toma de decisiones en las empresas. Empezaremos por cuestionar el paradigma dominante de la toma de decisiones empresariales desde el análisis crítico de los presupuestos epistemológicos de la teoría económica liberal, así como desde las perspectivas de las ciencias cognitivas y sus aportaciones al análisis del comportamiento humano. Continuaremos presentando dos grandes modelos de toma de decisiones éticas que se basan en la creación (...) de sentido intuitivo y que tienen sus fundamentos en los avances de las neurociencias. Concluiremos con breves observaciones críticas. (shrink)

En este volumen José de Faria ofrece una muestra de los fundamentos que brindan una forma propia de pensar en cuanto pensamiento pensado, pero también en tanto que pensamiento pensante, con todo lo que esto acarrea de frágil, de nuevo, e incluso de ruptura a la filosofía del derecho a partir de un étimo onto-antropológico. -- En esta perspectiva es donde el derecho, en cuanto orden sumergido en la historia, se concibe como un enorme y genuino pedazo de lo (...) real construido que pertenece a la galaxia de la razón práctica.No se trata simplemente de un (válido) deber-ser que es. -- En realidad, y sobre todo, se trata de un válido es que debe ser. -- A lo largo del texto, el lector podrá encontrar reflexiones actuales e importantes, no sólo sobre el problema de la obediencia al derecho, con la búsqueda de una respuesta posible de nuestro tiempo, sino que también podrá indagar sobre aspectos más analíticos de la normatividad jurídica, especialmente en lo referente a la dimensión del derecho como categoría del pensamiento, realizado en el horizonte de una lógica comprensiva.Todo eso sin perder de vista la necesidad de analizar una vertiente crucial para la fundamentación antropológica del Derecho: su dimensión temporal, críticamente reflejada en la temporalidad de lo justo. (shrink)

O principal objectivo deste artigo é comparar uma figura da história da filosofia contemporânea que poderíamos considerar relativamente distante de nós – Edmund Husserl (1859-1938) – com um autor vivo – John Searle (1932-). Parte-se da filosofia da mente de John Searle, nomeadamente no que diz respeito à intencionalidade e à filosofia da linguagem e explora-se a possível relação com Husserl, tendo por chave o fenómeno da intencionalidade. Outros aspectos analisados são a consciência e a percepção. O artigo termina com (...) uma comparação das teorias do conhecimento dos dois filósofos. (shrink)

O presente artigo analisa a compatibilidade das leis de iniciativa parlamentar que instituem isenções tributárias em face da Constituição da República de 1988 e da Lei de Responsabilidade Fiscal, no contexto de crise econômica. Em conclusão, observou-se o risco de consequências prejudiciais ao Estado se não for enfrentado o problema da legalidade das leis tributárias de iniciativa parlamentar. O método de abordagem utilizado na pesquisa foi o dialético jurídico, notadamente à confrontação dos modelos econômicos de John Maynard Keynes e Friedrich (...) Hayek em relação ao Estado brasileiro, paralelamente ao método de pesquisa bibliográfico. (shrink)

One of the objectives in the field of artificial intelligence for some decades has been the development of artificial agents capable of coexisting in harmony with people and other systems. The computing research community has made efforts to design artificial agents capable of doing tasks the way people do, tasks requiring cognitive mechanisms such as planning, decision-making, and learning. The application domains of such software agents are evident nowadays. Humans are experiencing the inclusion of artificial agents in their environment as (...) unmanned vehicles, intelligent houses, and humanoid robots capable of caring for people. In this context, research in the field of machine ethics has become more than a hot topic. Machine ethics focuses on developing ethical mechanisms for artificial agents to be capable of engaging in moral behavior. However, there are still crucial challenges in the development of truly Artificial Moral Agents. This paper aims to show the current status of Artificial Moral Agents by analyzing models proposed over the past two decades. As a result of this review, a taxonomy to classify Artificial Moral Agents according to the strategies and criteria used to deal with ethical problems is proposed. The presented review aims to illustrate (1) the complexity of designing and developing ethical mechanisms for this type of agent, and (2) that there is a long way to go (from a technological perspective) before this type of artificial agent can replace human judgment in difficult, surprising or ambiguous moral situations. (shrink)

This paper is a critic analysis of a doctorate thesis and a master dissertation, which subjects are the samba and the afro religions in the city of São Paulo. Both consider the samba and the religion as manifestations and cultural expressions through which the black population in afro-diaspora rebuilded and reupdated memories via religiosity, rythm, dance and performan.

This paper studies, with techniques ofAlgebraic Logic, the effects of putting a bound on the cardinality of the set of side formulas in the Deduction Theorem, viewed as a Gentzen-style rule, and of adding additional assumptions inside the formulas present in Modus Ponens, viewed as a Hilbert-style rule. As a result, a denumerable collection of new Gentzen systems and two new sentential logics have been isolated. These logics are weaker than the positive implicative logic. We have determined their algebraic models (...) and the relationships between them, and have classified them according to several standard criteria of Abstract Algebraic Logic. One of the logics is protoalgebraic but neither equivalential nor weakly algebraizable, a rare situation where very few natural examples were hitherto known. In passing we have found new, alternative presentations of positive implicative logic, both in Hilbert style and in Gentzen style, and have characterized it in terms of the restricted Deduction Theorem: it is the weakest logic satisfying Modus Ponens and the Deduction Theorem restricted to at most 2 side formulas. The algebraic part of the work has lead to the class of quasi-Hilbert algebras, a quasi-variety of implicative algebras introduced by Pla and Verdú in 1980, which is larger than the variety of Hilbert algebras. Its algebraic properties reflect those of the corresponding logics and Gentzen systems. (shrink)

O presente trabalho visa refletir sobre a experiência vivenciada durante os Estágios Supervisionados em Filosofia III e IV, as dificuldades encontradas, as descobertas no contato direto com a sala de aula e os aprendizados proporcionados ao graduando, de fundamental importancia para a constituição de sua identidade profissional.

O presente ensaio com metodologia de pesquisa reconstrutiva questiona como a interação entre democracia, direitos humanos, justiça e imperativos globais é disposta no pensamento de Habermas. Seu objetivo é a explicitação racional de seus nexos internos. Expõe como Habermas, a partir da reconstrução da esfera pública e agir comunicativo aborda a justiça e o direito. A dialética entre facticidade e validade, entrelaça filosofia e sociologia para desenvolver sua abordagem normativa do direito e do Estado, conectando direito e democracia através do (...) paradigma discursivo do direito. Conecta jurisdição constitucional, direito, política, sociedade civil e esfera pública. (shrink)