The present paper has three objectives: Presenting an actualization of a proof of the decidability of monadic predicates logic in the contemporary model theory context; Show examples of decidable and undecidable fragments inside First order logic, offering an original proof of the following theorem: Any formula of First of order logic is decidable if its prenex normal form is in the following form: ∀x1,…,∀xn∃y1,…,∃ymφ; Presenting a theorem that characterizes the validity of First order logic by the tautologicity of Propositional logic, (...) said result is interesting since immediately arises the doubt of how to conciliate said characterization with Alonzo Church’s Undecidability Theorem for First Order Logic. (shrink)

En este artículo realizamos una reconstrucción del Programa original de Hilbert antes del surgimiento de los teoremas limitativos de la tercera década del siglo pasado. Para tal reconstrucción empezaremos por mostrar lo que Torretti llama los primeros titubeos formales de Hilbert, es decir, la defensa por el método axiomático como enfoque fundamentante. Seguidamente, mostraremos como estos titubeos formales se establecen como un verdadero programa de investigación lógico-matemático y como dentro de dicho programa la inquietud por la decidibilidad de los problemas (...) matemáticos y en específico la decidibilidad de la Lógica de primer orden cobra peso. Luego pasamos a analizar como la inquietud por la decibilidad toma lugar dentro del pensamiento filosófico-matemático de Hilbert presentándose como uno de los grandes problemas a los cuales la metamatemática debe encontrar una solución, esto lo hacemos mostrando un contraste con autores, como John von Neumann y Roberto Torretti, quienes de alguna u otra manera no interpretan el problema de la decidibilidad de la Lógica de primer orden como un problema de peso dentro del programa original de Hilbert. Finalmente argumentamos que el resultado meta-teórico de Church puede entenderse como una refutación del optimismo intelectual que permea a todo el programa original de Hilbert. (shrink)

Church's Undecidability Theorem is one of the meta-theoretical results of the mid-third decade of the last century, which along with other limiting theorems such as those of Gödel and Tarski have generated endless reflections and analyzes, both within the framework of the formal sciences, that is, mathematics, logic and theoretical computation, as well as outside them, especially the philosophy of mathematics, philosophy of logic and philosophy of mind. We propose, as a general purpose of this article, to formulate Church's Undecidability (...) Theorem and present the main ideas of its demonstration. In order to carry out the first objective, we need to introduce and explain the notions of recursive function and numbering used by Gödel, which will allow to formally and rigorously enunciate Church's Theorem. After we enunciate Church's Theorem of Unspeakability in a formal and rigorous manner, we will present the main ideas of the proof of Church's Undecidability Theorem for First Order Logic, which uses Robinson's axiomatic system for arithmetic and four facts about himself: In Robinson's system for arithmetic recursive functions are representable Robinson's system is undecidable, The number of axioms proper to the Robinson system is finite and The logical calculation of the Robinson system is equal to the calculation of the first-order logic. (shrink)

O presente texto procura acompanhar alguns aspectos da reconstrução sartreana das relações entre indivíduo e história, tentando mostrar que a fenomenologia e o materialismo dialético comparecem nessa proposta de conhecimento e que é a convergência das duas perspectivas que permite, contemplando adequadamente a universalidade e a singularidade, descrever e compreender dialeticamente o modo histórico de produção da identidade individual.

É bem conhecida a oposição estabelecida por Kant entre experiência possível e dialética, na medida em que esta última é caracterizada como a “lógica da ilusão”. Ao mesmo tempo, o modo de pensar metafísico, que ocorre dialeticamente, em sentido kantiano, é uma tendência inevitável da razão, expressa na exigência formal de completude das categorias. Como o pensar, enquanto exercício livre da razão, é em si mesmo mais amplo do que a atividade de conhecer, própria do entendimento, o pensar contém o (...) conhecimento, embora este se qualifique pelas regras e pelos limites determinantes da objetividade. A pergunta que tentaremos formular é se essa relação continente-conteúdo não poderia configurar também uma dependência da experiência em relação ao raciocínio dialético, que estaria de algum modo indicada na função reguladora das idéias da razão. Nesse caso, a oposição formal entre conhecer e pensar seria inseparável da inclusão estrutural (dependência) da experiência no âmbito da razão. Na raiz do problema estaria talvez a tensão (dialética) entre a aspiração subjetiva de totalidade e as exigências objetivas de limitação e segmentação da experiência e a forma da experiência teria de ser finalmente concebida a partir de um fundo de inteligibilidade problemática. Dialectics and experienceThe separation of possible experience as objective knowledge and dialetics as a non-objective or non-theoretical knowledge is one of the most important aspects of kantian critical philosophy. But Kant also says that the activity of reason, as a pure thinking, has more amplitude than understanding knowledge. So we could say that theoric knowledge would depend on rational ( and non-theoretical) knowledge, as something contained in it. If we accept that, the consequence would be a relation of dependence between the form of objective knowledge and the background of a problematic – even doubtful – inteligible knowledge. (shrink)

The paper intends to explain some views of the sartrian reconstruction of relations between individual and history, in order to understand how phenomenology and dialectical materialism go together in a certain conception of knowledge, converging to describe and understand the dialectical production of historical identity, by an appropriate vision of the relations between universality an singularity.O presente texto procura acompanhar alguns aspectos da reconstrução sartreana das relações entre indivíduo e história, tentando mostrar que a fenomenologia e o materialismo dialético comparecem (...) nessa proposta de conhecimento e que é a convergência das duas perspectivas que permite, contemplando adequadamente a universalidade e a singularidade, descrever e compreender dialeticamente o modo histórico de produção da identidade individual. (shrink)

Este texto procura explicitar alguns aspectos da interpretação bergsoniana de Aristóteles, sobretudo aqueles que fazem de Aristóteles um eminente representante do que Bergson denomina Filosofia das formas. A leitura bergsoniana procura mostrar que não há diferença significativa entre Aristóteles e Platão, na medida em que ambos comprometem-se com a fundação do conhecimento a partir da ontologia de Parmênides. Desta maneira, o quadro categorial aristotélico e o princípio ontológico da Forma da Formas, ou Forma Pura, tentam solucionar a aporia parmenídica remetendo (...) a imobilidade ao estranho lógico do conhecimento, ou a objetividade ao conhecimento das existências em seu caráter lógico. (shrink)

This paper discuss the relations between the transcendental analysis of Kantian's Ideas of Reason and the traditional Metaphysical heritage. We try to understand the first Part of the Apendix Transcendental Dialectics under the light of critical remaking of the metaphysical themes, with special accent on the scholastic notion of "Transcendental atribute of Being".O presente artigo discute as relações entre a perspectiva transcendental inscrita na análise Kantiana das Idéias da Razão e a herança metafísica tradicional. Para tanto ensaia-se uma leitura da (...) 1ª parte do Apêndice da Dialética Transcendental à luz da reelaboração critica do temário metafísico, com especial ênfase na noção escolástica de atributo transcendental do Ser. (shrink)

Resenha do livro "A Escola de Frankfurt" do autor Paul-Laurent Assoun, obra complememtar sobre a formação e estruturação teórica sobre a Escola de Frankfut, sua história e seus principais autores.

A questão que se tenta construir neste texto é a da convergência entre filosofia, história da filosofia e formação. Tal pergunta se desdobra primeiramente na elucidação das relações entre história e historicidade da filosofia, que remonta à constatação óbvia, mas nem sempre lembrada, de que o fundamento da história da filosofia é o caráter histórico da própria filosofia. A idéia de formação está presente em toda filosofia, já que, antes de ser sistema ou concepção cristalizada da realidade, cada filosofia é (...) sempre um exercício de síntese das possibilidades e das circunstâncias da vida humana, inclusive sob o aspecto do trabalho da reflexão. Nesse sentido, o texto remete a algumas idéias de Bergson acerca de formação e processo, e à noção sartriana de práxis como formação e superação contínua dos momentos estruturais do curso da história. Assim compreendida, a relação entre história da filosofia e filosofia contém inevitavelmente o compromisso com a atualidade, isto é, com a formação atual do pensamento. (shrink)

The text intends to examine the question about the relationship between history of philosophy, philosophy and formation as a liberation of conscience. The starting point is an obvious idea, thought not always remembered: history of philosophy founds its legitimation on philosophy as historical cultural fact. The idea of formation is implicated in every system, which, before being a specific conception of reality, is a synthesis of real conditions that have influenced all aspects of human life, includingly reflexive work. Some of (...) Bergson's and Sartre's ideas about process, form and praxis can help us to elucidate the engagement in the present included in the relationship between philosophy and history of philosophy.A questão que se tenta construir neste texto é a da convergência entre filosofia, história da filosofia e formação. Tal pergunta se desdobra primeiramente na elucidação das relações entre história e historicidade da filosofia, que remonta à constatação óbvia, mas nem sempre lembrada, de que o fundamento da história da filosofia é o caráter histórico da própria filosofia. A idéia de formação está presente em toda filosofia, já que, antes de ser sistema ou concepção cristalizada da realidade, cada filosofia é sempre um exercício de síntese das possibilidades e das circunstâncias da vida humana, inclusive sob o aspecto do trabalho da reflexão. Nesse sentido, o texto remete a algumas idéias de Bergson acerca de formação e processo, e à noção sartriana de práxis como formação e superação contínua dos momentos estruturais do curso da história. Assim compreendida, a relação entre história da filosofia e filosofia contém inevitavelmente o compromisso com a atualidade, isto é, com a formação atual do pensamento. (shrink)

Esse texto pretende indicar um modo de aproximação da noção d e subjetividade tal como ela aparece especificamente na Critica do Juízo : a especificidade do juízo refle xionant e como ato subjetivo. A fu nção de ajuizar, no seu estrato pre-cate gorial, pode nos fornecer a i ndicação de uma possibilidade interpretativa fundada na conjunção entre mundo natural e mundo prático como o universo da nova fo rm a de juizo.

Este texto pretende indicar alguns aspectos da trajetória da noção de beatitude, de Agostinho a Descartes. Através da transformação semântico-conceitual da expressão homo capax Dei, podemos observar que, de Agostinho a Tomás de Aquino e deste a Suarez e a Descartes, a beatitude vai progressivamente deixando de ser entendida como capacidade de “conter” Deus e torna-se cada vez mais a capacidade racional - “natural” - de “pensar” Deus.

A partir da concepção de um racionalismo integral, em que vigora o ideal da plena demonstrabilidade segundo o paradigma identitário da verdade, configura-se em Leibniz a questão da universalidade, que seria enunciada com mais pertinência como a do determinismo universal. São dois aspectos de uma mesma questão: em primeiro lugar, a universalidade no sentido arquitetônico, correspondente à totalidade; em segundo lugar, a determinação absoluta do indivíduo singular. Tanto num caso quanto no outro, a plena determinação é inalcançável para a mente (...) humana. Mas as operações simbólicas de determinação, permitem, de alguma maneira, contornar a impossibilidade de uma visão simultânea e articulada de todos os elementos de um composto e, assim, nos encaminham na direção de uma universalidade determinante. Os fundamentos, os procedimentos e os riscos aí envolvidos constituem o tema desse texto. (shrink)

O autor do livro, Rossano Pecoraro, é formado em filosofia pela Universidade de Salerno na Itália e mestre e doutor em filosofia pela Pontifícia Universidade Católica do Rio de Janeiro. É autor de diversas publicações, atuando como pesquisador em áreas como pensamento contemporâneo, estética, filosofia e teatro, teoria política, comunicação e cultura.

Whether or not quantum physics can account for molecular structure is a matter of considerable controversy. Three of the problems raised in this regard are the problems of molecular structure. We argue that these problems are just special cases of the measurement problem of quantum mechanics: insofar as the measurement problem is solved, the problems of molecular structure are resolved as well. In addition, we explore one consequence of our argument: that claims about the reduction or emergence of molecular structure (...) cannot be settled independently of the choice of a particular resolution to the measurement problem. Specifically, we consider how three standard putative solutions to the measurement problem inform our under- standing of a molecule in isolation, as well as of chemistry’s relation to quantum physics. (shrink)

A polemical account of Australian philosophy up to 2003, emphasising its unique aspects (such as commitment to realism) and the connections between philosophers' views and their lives. Topics include early idealism, the dominance of John Anderson in Sydney, the Orr case, Catholic scholasticism, Melbourne Wittgensteinianism, philosophy of science, the Sydney disturbances of the 1970s, Francofeminism, environmental philosophy, the philosophy of law and Mabo, ethics and Peter Singer. Realist theories especially praised are David Armstrong's on universals, David Stove's on logical probability (...) and the ethical realism of Rai Gaita and Catholic philosophers. In addition to strict philosophy, the book treats non-religious moral traditions to train virtue, such as Freemasonry, civics education and the Greek and Roman classics. (shrink)

Discussion about a dignified death has almost exclusively been applied to palliative care and people dying of cancer. As populations are getting older in the western world and living with chronic illnesses affecting their everyday lives, it is relevant to broaden the definition of palliative care to include other groups of people. The aim of the study was to explore the views on dignity at the end of life of 12 elderly people living in two nursing homes in Sweden. A (...) hermeneutic approach was used to interpret the material, which was gathered during semi-structured interviews. A total of 39 interviews were transcribed. The analysis revealed three themes: (1) the unrecognizable body; (2) fragility and dependency; and (3) inner strength and a sense of coherence. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:The Incoherence of Determining Death by Neurological Criteria: A Commentary on Controversies in the Determination of Death, A White Paper by the President’s Council on Bioethics*Franklin G. Miller** (bio) and Robert D. Truog (bio)Traditionally the cessation of breathing and heart beat has marked the passage from life to death. Shortly after death was determined, the body became a cold corpse, suitable for burial or cremation. Two technological changes (...) in the second half of the twentieth century prompted calls for a new, or at least expanded, definition of death: the development of intensive care medicine, especially the use of mechanical ventilators, and the advent of successful transplantation of vital organs. Patients with profound neurological damage, leaving them incapable of breathing on their own and in an irreversible coma, could be maintained for some period of time with the aid of mechanical ventilation. The situation of these patients posed two ethical questions. Is it appropriate to stop life-sustaining treatment? If so, is it acceptable to retrieve vital organs for transplantation to save the lives of others before stopping treatment?In 1968, the Ad Hoc Committee of the Harvard Medical School to Examine the Definition of Brain Death proposed that death could be determined on the basis of neurological criteria, thus providing a positive answer to these two questions (Ad Hoc Committee 1968). According to the position of this committee, patients diagnosed with the cessation of brain function are dead, despite the fact that they breathe and circulate blood with the aid of mechanical ventilation. [End Page 185] Because they are dead, it is appropriate, indeed imperative, to stop mechanical ventilation. And because they are dead, it becomes ethical to procure vital organs for transplantation before stopping what otherwise would be life-sustaining treatment. Remarkably, this innovative neurological determination of death became, with little debate or controversy, the established position in medical ethics and the law throughout the United States.The Harvard Committee articulated the diagnosis of “irreversible coma,” but merely asserted that this condition constituted death. No explanatory rationale was provided. It fell to the President’s Commission for the Study of Ethical Problems in Medicine and Biomedical and Behavioral Research to provide an authoritative rationale in its 1981 report, Defining Death. The second paragraph of the report set the stage as follows: “The question addressed here is not inherently difficult or complicated. Simply, it is whether the law ought to recognize new means for establishing that the death of a human being has occurred” (President’s Commission 1981, p. 3). The Commission claimed that “death is a unitary phenomenon” (p. 7) and that the determination of death by neurological criteria, in terms of the absence of all brain function, is consistent with the traditional conception of death as the cessation of vital functioning of the organism as a whole. The key issue is the integrative functioning of the human organism, which ceases to exist, according to the Commission, when the whole brain, including higher cortical areas and the brain stem, fails to function. Although “brain-dead” patients do not appear to be dead—i.e., the reality of their death is “masked” by the activity of mechanical ventilation—the patient’s body has irreversibly lost all capacity for integrative functioning. In the words of the Commission: “When artificial means of support mask this loss of integration as measured by the old methods [cessation of respiration and heart beat], brain-oriented criteria and tests provide a new window on the same phenomenon” (p. 33). The President’s Commission was instrumental in developing and establishing “The Uniform Definition of Death Act”: “An individual who has sustained either (1) irreversible cessation of circulatory and respiratory functions, or (2) irreversible cessation of all functions of the entire brain, including the brain stem, is dead” (p. 2).Although the question posed by the President’s Commission was easy to articulate, the answer, over time, has proved complicated and controversial. The coherence and cogency of determining death by neurological criteria has been challenged. Various experts have demonstrated that “brain-dead” patients maintained on mechanical ventilation display a range of vital, integrative, functioning, which conflicts with the judgment that they are dead (Truog and... (shrink)

A predominant ethical view holds that physician‐investigators should conduct their research with therapeutic intent. And since a physician offering a therapy wouldn't prescribe second‐rate treatments, the experimental intervention and the best proven therapy should appear equally effective. "Clinical equipoise" is necessary. But this perspective is flawed. The ethics of research and of therapy are fundamentally different, and clinical equipoise should be abandoned.

The ability to combine words into novel sentences has been used to argue that humans have symbolic language production abilities. Critiques of connectionist models of language often center on the inability of these models to generalize symbolically (Fodor & Pylyshyn, 1988; Marcus, 1998). To address these issues, a connectionist model of sentence production was developed. The model had variables (role‐concept bindings) that were inspired by spatial representations (Landau & Jackendoff, 1993). In order to take advantage of these variables, a novel (...) dual‐pathway architecture with event semantics is proposed and shown to be better at symbolic generalization than several variants. This architecture has one pathway for mapping message content to words and a separate pathway that enforces sequencing constraints. Analysis of the model's hidden units demonstrated that the model learned different types of information in each pathway, and that the model's compositional behavior arose from the combination of these two pathways. The model's ability to balance symbolic and statistical behavior in syntax acquisition and to model aphasic double dissociations provided independent support for the dual‐pathway architecture. (shrink)

Tem-se por objetivo, (a) caracterizar comportamentos de 47 cuidadores primários e de seus filhos que buscaram atendimento, (b) comparar grupos, abandono x participantes, menino x menina. Os participantes responderam à entrevista (RE-HSE-P), inventário (IHS-Del Prette) e escalas (Escala de Assertivid..

Prevailing ethical thinking about informed consent to clinical research is characterized by theoretical confidence and practical disquiet. On the one hand, bioethicists are confident that informed consent is a fundamental norm. And, for the most part, they are confident that what makes consent to research valid is that it constitutes an autonomous authorization by the research participant. On the other hand, bioethicists are uneasy about the quality of consent in practice. One major source of this disquiet is substantial evidence of (...) the “therapeutic misconception”—the tendency of patient-subjects in clinical trials to confuse participating in research with receiving personalized medical care. This .. (shrink)