This article presents an analysis of Gödel's dialectica interpretation via a refinement of intuitionistic logic known as linear logic. Linear logic comes naturally into the picture once one observes that the structural rule of contraction is the main cause of the lack of symmetry in Gödel's interpretation. We use the fact that the dialectica interpretation of intuitionistic logic can be viewed as a composition of Girard's embedding of intuitionistic logic into linear logic followed by de Paiva's dialectica interpretation of linear (...) logic. We then investigate the various properties of the dialectica interpretation, such as the characterisation theorem, and variants of Gödel's interpretation within the linear logic context. The role of contraction in extensions to classical logic, arithmetic and analysis is also discussed. (shrink)

This article presents a parametrized functional interpretation. Depending on the choice of two parameters one obtains well-known functional interpretations such as Gödel's Dialectica interpretation, Diller-Nahm's variant of the Dialectica interpretation, Kohlenbach's monotone interpretations, Kreisel's modified realizability, and Stein's family of functional interpretations. A functional interpretation consists of a formula interpretation and a soundness proof. I show that all these interpretations differ only on two design choices: first, on the number of counterexamples for A which became witnesses for ¬A when defining (...) the formula interpretation and, second, the inductive information about the witnesses of A which is considered in the proof of soundness. Sufficient conditions on the parameters are also given which ensure the soundness of the resulting functional interpretation. The relation between the parametrized interpretation and the recent bounded functional interpretation is also discussed. (shrink)

The Perfection of the Universe gives an account of the idea of the universe and its perfection in Aquinas's philosophy, but at the same time it provides an example of how a cosmology can be developed in a teleological framework. Although this is the cosmology of one who was first and foremost a theologian, the book tries to show how it was articulated philosophically and in relation to a particular model of the universe. As a contribution to the history of (...) philosophy, and Thomistic studies in particular, it seeks to draw more attention to Aquinas's view of the world, which has been relatively neglected in favor of emphasis on his theory of knowledge and theory of being, and at the same time to show how it is integral to his very understanding of being. The book thereby brings out a dimension of rationality in Aquinas's philosophy that is often ignored, especially as it concerns creation as a whole and what Aquinas refers to as convenientia in this whole. The systematic nature of Aquinas's conception of the universe is highlighted by the author's attempt to reconstruct the movement of his thought. Thus Oliva Blanchette focuses not just on the universe or on perfection but on the perfection of the universe as a unified idea that recurs frequently in both the philosophy and the theology of Aquinas and that has its own philosophical dynamic both as a logic and as an actuality. In doing so, he endeavors to correct misconceptions about Aquinas's idea of the universe, such as that found in Lovejoy's Great Chain of Being, and to show how the idea stands up philosophically even while being connected with a scientific model of the universe now viewed as obsolete. (shrink)

Este artículo se adentra en los temas y tópicos vitales de la obra literaria de Eliacer Cansino, escritor dedicado a la literatura juvenil, e invita a reflexionar sobre cómo su lectura puede desarrollar el pensamiento crítico de los jóvenes lectores del siglo XXI. Para abordar esta investigación, se ha recurrido a una metodología de corte cualitativo, con especial atención a la narrativa biográfica. De esta manera, dado que literatura y realidad constituyen dos caras de una moneda al forjar lectores, se (...) analizó el perimundo literario de Eliacer Cansino. Los resultados justifican que la lectura de la obra de este autor es un referente literario para el desarrollo del pensamiento crítico desde la experiencia lectora de los adolescentes. (shrink)

Pt. 1. The journey inward. Breaking into the intellectual scene -- Awakening to the divine light in human action -- The original philosophy of the supernatural -- The vocation to philosophy -- Discourse on method for philosophy of religion -- Crisis of modernity for Catholic apologetics -- The broader social involvement -- The philosopher of Aix -- The philosophical itinerary -- The question of a Catholic philosophy -- Pt. 2. The systematic summation. The question of thought -- The responsibilities of (...) thought -- Ontology of consolidation in being in, through, and of itself -- Action as cooperation with the first cause -- The original philosophy of action revisited -- The expanded philosophy of the supernatural -- Symbiosis of the human and the divine in history -- Christian spirit and historical civilization. (shrink)

The purpose of this article is to analyze Spanish first-person plural subjects as a cognitively grounded grammatical choice serving various discursive functions. Both the expressed and omitted variants of the subject will be considered, even if omission is by far the more frequent choice in Spanish and the more communicatively versatile one. The particularly vague reference of omitted nosotros ‘we’ – always involving an extension of the self towards a wider notional scope – results in a remarkable variety of possible (...) contextual projections. It can be used to signal speaker identities as well as manage interpersonal relationships through the iconic suggestion of viewpoint coincidence. First-person plural clauses are quantitatively and qualitatively investigated across two corpora of contemporary Spanish comprising a variety of spoken and written genres. It is found that, aside from the basic distinction between hearer-exclusive and hearer-inclusive first persons, a third, intermediate variant can be considered, that of empathic hearer-exclusive uses. These are typical of interactions where involvement of the audience is sought even if they are not referentially included in the subject, as is usual in some varieties of spoken mass-media discourse. Each one of the referential variants is used with different frequencies and contextual repercussions, depending on the socio-functional demands and goals of particular textual genres. (shrink)

IN THE FOREWORD of Zur Seinsfrage Heidegger distinguishes two questions of being. One he speaks of in the form of the participle, die Frage nach dem Seiendem als Seiendem, the question about being as being. This he identifies with the tradition of metaphysics which he repudiates as forgetful of the real question of being. "The answering of this question," he adds, "refers at the same time to an interpretation of be [des Seins] which remains in what is unasked [im Fraglosen] (...) and provides the ground and the basis for metaphysics." What is unasked in this first question of metaphysics has to be thought of as a second question which is spoken of in the form of the infinitive: die Frage nach dem Sein als Sein, the question about be as be. This is the question which Heidegger tried to raise at the beginning of Sein und Zeit and which remains for him as the task of thinking at the end of philosophy. It is a question which Heidegger was ultimately unable to answer but which he was also unable to put to rest. It is a question in which we are still floundering, caught up in what remains for us the question of metaphysics. It is time perhaps to see if the question has been rightly framed. (shrink)

Este artigo aborda uma das contribuições mais relevantes do livro A Nervura do Real, vol. 2, de Marilena Chaui: sua análise da noção de modelo da natureza humana apresentada no Prefácio da parte iv da Ética de Espinosa. Chaui entende este conceito como uma noção comum, afastando-se tanto dos intérpretes que o veem como uma construção puramente imaginária, quanto daqueles que o veem como um exemplo de racionalidade normativa.

L’obiettivo di questo articolo è di proporre una considerazione del fenomeno musicale non come oggetto ma come evento. La musica si allontana dall’ambito degli oggetti a partire dall’immissione del suono nel contesto musicale, in cui l’origine fisica delle vibrazioni perde rilevanza (Roger Scruton). La musica si presenta infatti come una concatenazione di eventi sonori retti da una logica autonoma; i nessi causali in base a cui i suoni trovano il proprio ordine costituiscono un mondo ideale, distinto dal mondo fisico, in (...) cui trovano spazio processi dinamici privi di qualunque polo oggettuale (Francis Wolff). A partire da un’idea di suono autonomo rispetto all’oggetto d’origine e dalla concezione dell’ambito musicale come un mondo di puri eventi sonori, si prende in esame la concezione del processo musicale come insieme di qualità sonore prive di sostrato, vale a dire di qualia senza sostanza (Antonia Soulez). In questa prospettiva è possibile proporre una desostanzializzazione dell’oggetto musicale che non implichi una posizione di scetticismo nei confronti della realtà del processo sonoro. L’evento musicale nasce piuttosto dalla complessa interazione tra materiale sonoro e forze provenienti dal mondo esterno (Pascale Criton). Considerato come evento e non come oggetto, il fenomeno musicale si sottrae all’indagine intorno al suo significato, pur mantenendo un profilo enigmatico dovuto alla duplice provenienza, umana e “mondana”, del suono. (shrink)

In this paper, we present another case study in the general project of proof mining which means the logical analysis of prima facie non-effective proofs with the aim of extracting new computationally relevant data. We use techniques based on monotone functional interpretation developed in Kohlenbach , Oxford University Press, Oxford, 1996, pp. 225–260) to analyze Cheney's simplification 189) of Jackson's original proof 320) of the uniqueness of the best L1-approximation of continuous functions fC[0,1] by polynomials pPn of degree n. Cheney's (...) proof is non-effective in the sense that it is based on classical logic and on the non-computational principle WKL . The result of our analysis provides the first effective uniform modulus of uniqueness . Moreover, the extracted modulus has the optimal ε-dependency as follows from Kroó 331). The paper also describes how the uniform modulus of uniqueness can be used to compute the best L1-approximations of a fixed fC[0,1] with arbitrary precision. The second author uses this result to give a complexity upper bound on the computation of the best L1-approximation in Oliva 66–77). (shrink)

La observación del cinismo antiguo como precursor filosófico del anarquismo ha sido abordada por un gran número de estudiosos y especialistas de ambos campos. El siguiente trabajo se propone aportar nuevos puntos de vista a la relación cinismo-anarquismo. Nuestro punto de partida es la figura del protocínico Diógenes de Sinope [412-402 /325-321], cuya heterodoxa filosofía, de la que no conservamos escritos, ha sido objeto de ambivalentes recepciones a lo largo de la historia. Veremos por qué ha sido reivindicado como un (...) miembro ilustre de la prehistoria del anarquismo y qué nuevas perspectivas podemos añadir a esos estudios. (shrink)

This is a study of Blondel's philosophy of the supernatural as it appeared only in the dissertation on Action of 1893. First, it reviews how Blondel brought philosophy to focus concretely on human action and what he focuses on in this action as the principle for its dialectical unfolding. Second, it shows how this focus brings him to a radical critique of superstition and any idea of natural religion, since even the latter is viewed as a kind of superstition. Third, (...) it examines how he proceeds to the affirmation of God as the necessary being of action and how this affirmation places the human being in a position of having to choose between saying yes or no to God at the core of his action. Fourth, it shows how Blondel argues from this existential exigency that the thought of the supernatural necessarily arises with regard to the question of human destiny and that such a thought, if it actualized in human action through a gratuitous initiative on the part of God, necessarily entails a revelation, a mediation, and a religious practice on the part of man. In conclusion it reflects on how this science of practice remains a philosophy, as distinct from theology, even though it has to do with religious practice in the most supernatural sense. /// O presente artigo constitui urn estudo sobre o problema do sobrenatural, tal como Blondel comeca por o tratar em sua tese de doutoramento sobre a Ácção, publicada em 1893. Em primeiro lugar, passa-se em revista não só o modo concreto como Blondel fez do problema da acção assunto para a filosofia, mas também se procura discernir aquilo que, segundo ele, na acção mesma constitui o princípio do seu desdobramento dialéctico. Em segundo lugar, mostra-se como a partir deste ponto de focagem Blondel procede a uma critica radical da superstição bem como de toda e qualquer ideia de religião natural, por ele igualmente vista como uma espécie de superstição. Em terceiro lugar, examina-se o modo como Blondel avança em direcção a uma afirmação de Deus como o ser necessário da acção e como esta mesma afirmação coloca o ser humano numa posicjio de, no fulcro do seu agir, ter de optar entre o dizer sim ou não a Deus. Em quarto lugar, mostra-se o modo como Blondel, partindo desta exigência existencial, argumenta no sentido de que o pensamento do sobrenatural necessariamente se dá em conexão com a questão do destino humano e de como tal pensamento, actualizado na acção humana graças a uma iniciativa gratuita da parte de Deus, necessariamente implica a ideia de revelação, mediação, e prática religiosa da parte do homem. Finalmente, em conclusão, reflecte-se sobre o modo como esta ciência da prática permanece filosofia, distinta da teologia, mesmo quando, enquanto tal, ela tern a ver com uma prática religiosa no sentido mais sobrenatural do termo /// Ceci est une étude de la philosophie du surnaturel de Blondel telle qu'elle parut uniquement dans la thèse sur L'Action de 1893. Premièrement, elle revoit comment Blondel a amené la philosophie à réfléchir concrétement sur l'action humaine et ce sur quoi cette réflexion s'appuie comme principe du déploiement dialectique de cette action. Deuxièmement, elle montre comment ce déploiement amène Blondel à une critique radicale de la superstition et de toute idée de religion naturelle, puisque cette dernière est vue comme une sorte de superstition. Troisièmement, elle examine comment Blondel avance vers une affirmation de Dieu comme Fetre necessaire de l'action et comment cette affirmation amène l'être humain à devoir choisir entre dire oui ou non face à Dieu au plus profond de son action. Quatrièmement, elle montre comment Blondel, à partir de cette exigence existentielle, arrive à poser que la pensée du surnaturel surgit nécessairement par rapport à la question du destin de l'être humain et comment une telle pensée, si elle devient réalite dans l'action humaine par une initiative gratuite du côté de Dieu. entraine du côté de l'homme la nécessité d'une révélation, une médiation et une pratique religieuse. En conclusion, l'étude se demande comment cette science de la pratique reste une philosophie, distincte de toute théologie, même si elle traite de la pratique religieuse dans son sens le plus surnaturel. (shrink)

O objetivo deste artigo é comparar a maneira como Pascal trata das relações entre ceticismo e dogmatismo em duas de suas principais obras, os Pensamentos e Conversa com o Senhor de Sacy, as quais, embora não conflitantes, trazem uma relevante mudança de pontos de vista. A Conversa aborda o debate ceticismo/dogmatismo diretamente pelo ângulo moral, de modo que os riscos morais para os leitores serão o critério fundamental de avaliação das duas filosofias. É igualmente do ponto de vista moral que (...) Epiteto e Montaigne, representantes do dogmatismo e do ceticismo, serão considerados inconciliáveis, visto que a aniquilação recíproca de vícios e virtudes impossibilita a constituição de uma moral perfeita. Nos Pensamentos, o ponto de vista assumido é o da teoria do conhecimento, ainda que se termine o embate no mesmo impasse moral da Conversa. A diferença mais importante, porém, é que os Pensamentos trazem o embate para o interior da natureza humana. Ambas as obras concordam em apontar ao apontar a religião cristã como fonte de explicação para os paradoxos da condição humana. (shrink)

Given the difficulties in Business & Society research to establish causality, one of the crucial tasks in the sciences, a Quasi-Experimental Approach (QEA) is suggested as a research design suitable to a variety of questions in the field. Triangulation is also suggested as a complement to the QEA way to tease out plausible alternative explanations. A recently published study is used as an illustrative example.

Medical Genetics is a relatively new field of scientific work that involves a lot of enthusiastic professionals, both in routine (clinical) and research (scientific projects). In either field, different geneticists feel different responsibilities for their work, either because they are different people (personal responsibility) or because they have a different rank in the respective departments (professional responsibility). This paper presents the philosophical views of several authors on the sense of responsibility from the Classical times until the present and reveals the (...) practical, daily responsibilities that are met by these professionals, in four areas of responsibility: personal, professional, scientific and sociatal framework. (shrink)

Moral subjectivism is commonly associated with out-of-favour theories like, e.g., Alfred Ayer’s emotivism or John Mackie’s error theory. This paper approaches the field against the background of the attitudinal character of morality and religion. The possibility of a brand of moral subjectivism is established which is common to Ayer’s and Mackie’s theories in name only yet still has significant merits. The perspective from action theory and the philosophy of mind suggests that the problem of moral obligation, central to moral philosophy, (...) is more convincingly dealt with by subjectivism than by its rivals: In contrast to realism or even relativism (with which subjectivism is often confused), subjectivism can help to explain the peculiarities of obligation without forcing us to disregard the parallel problem in the field of religion. This finding calls into question the rationale for, as well as the success of, central assumptions in ontology and semantics which the realist so freely hands out in order to make his point: If religious facts and the truth-aptness of religious judgements will not explain religious obligation, moral facts and the truth-aptness of moral judgements will not help the moral realist either. So unless we do not wish to simply cast the problem of moral obligation aside, in future, moral subjectivism must be seriously considered as a worthwhile position in its own right. [in German] **************************************************************************************************** ********** Moralischer Subjektivismus ist ein Oberbegriff für Theorien wie Alfred Ayers „Emotivismus“ und John Mackies „Irrtumstheorie“, die heute kaum noch Vertreter finden. In diesem Aufsatz beleuchte ich das Feld vom Einstellungscharakter von Moral und Religion her. Ich lege so die Möglichkeit eines anderen moralischen Subjektivismus dar, der mit Ayers oder Mackies Theorie nur das Rubrum gemein hätte und doch gewichtige Vorzüge aufweist. Die handlungstheoretische Betrachtung von Moral und Religion mit Hilfe der Philosophie des Geistes legt nahe, dass dieser moralische Subjektivismus mit dem für die Moralphilosophie zentralen Problem des moralischen Sollens besser umgehen kann als seine Rivalen: Anders als der Realismus oder gar der Relativismus (mit dem der Subjektivismus oft verwechselt wird), kann der hier ausgeleuchtete Subjektivismus mit der besonderen Verbindlichkeit moralischer Forderungen umgehen, ohne die Parallele zur besonderen Verbindlichkeit religiöser Forderungen in Abrede stellen zu müssen. Die Rolle und Durchschlagkraft der vom Realisten so freigiebig gespendeten ontologischen oder semantischen Zusatzannahmen er- scheint vor diesem Hintergrund fragwürdig. Dem religiösen Realisten wird man vergleichbare Annahmen nicht zugeben wollen und muss es auch nicht. Dann aber können wir die Erklärung besonderer Verbindlichkeit generell nicht auf Ontologie oder Semantik gründen. Der verbreitete Appell an sogenannte moralische Tatsachen oder die behauptete Wahrheitsfähigkeit moralischer Sätze erweist sich so als wirkungslos. Sofern wir das Problem des moralischen Sollens überhaupt weiter ernst nehmen wollen, muss der moralische Subjektivismus als Position künftig ernsthaft erwogen werden. (shrink)

Este artigo tem por objetivo mostrar que o naturalismo que apregoa a necessidade das ciências sociais imitarem os procedimentos metodológicos empregados pelas ciências naturais se revela contraproducente por não levar em conta que as teorias sociais, em muitos casos, lidam com fatos pré-interpretados. E que esse tipo de “material empírico” demanda a elaboração de uma metodologia capaz, indo além das meras intenções programáticas, de efetivamente apreender a significatividade presente nos fatos da vida societária. Para tanto, desponta como imperioso construir teorias (...) sobre “teorias” que possam ser avaliadas em termos de seu poder de compreender, de modo elucidativo ou crítico, a natureza do significado inerente aos “objetos” estudados.This article aims at demonstrating that naturalism, in so far as it defends the thesis that social sciences must imitate the methodological procedures employed by natural sciences in order to produce well-grounded explanations, turns out to be useless. The main reason for naturalism’s failure is that social theories deal with preinterpreted facts. And such a kind of “empirical stuff” demands the creation of a methodology able to capture, beyond mere programmatic intentions, the intrinsic meaning exhibited by several kinds of social facts. In order to attain this aim social research has to construct theories about “theories”, that is, explanations capable of being evaluated by their power of clarifying, through an analytical or a critical approach, the kind of meaning embeded in the “objects” investigated. (shrink)

Metaphysics is not often spoken of as a venue for dialogue about anything, let alone culture or religion, which are more readily associated with phenomenology or hermeneutics in contemporary thinking. This collection of essays, however, by the late Boston College philosopher Oliva Blanchette, maintains the absolute necessity of metaphysics as a prerequisite for examining any particular 'realm of being,' in all areas of human inquiry, from the particular sciences to historical cultures and religions. Blanchette proposes metaphysics as a fundamental (...) and necessary level of intelligence presupposed in any exercise of judgment, discourse, or dialogue, among rational beings. At the same time, he defends the idea that dialogue is the first and most fundamental form in which such reasoning takes place in human experience, on a radically intersubjective level through language. (shrink)