O Argumento da Terra Gêmea Moral (ATGM) é o desafio semântico central para o Realismo Moral Naturalista (RMN). À fim de evitar tal problema, os defensores do RMN têm articulado uma série de réplicas ao ATGM. Neste artigo, abordo algumas dessas réplicas e defendo a tese de que elas não refutam o ATGM. Considero duas propostas em específico: o Argumento da Tradução, de D. Copp, e o Argumento do Fim da Investigação Moral, de A. Viggiano. Apresento essas objeções, mostro em (...) que sentido pretendem responder ao ATGM e argumento que cada uma delas é vulnerável a vários problemas. Concluo que os ataques de Copp e Viggiano ao ATGM devem ser recusados e que o desafio semântico ao RMN persiste. (shrink)

Resenha do livro: BAUM, Matthew L. The Neuroethics of Biomarkers: What the Development of Bioprediction Means for Moral Responsibility, Justice, and the Nature of Mental Disorder. Oxford: Oxford University Press, 2016, 206p. ISBN: 9780190236267.

By using some classical reasoning we show that any countably presented formal topology, namely, a formal topology with a countable axiom set, is spatial.

We investigate finitarity of unification types in locally finite varieties of Heyting algebras, giving both positive and negative results. We make essential use of finite dualities within a conceptualization for E-unification theory 733–752) relying on the algebraic notion of a projective object.

Vision is the main entrance for environmental input to the human brain. Even if vision is our most used sensory modality, its importance is not limited to environmental exploration. Rather it has strong links to motor competences, further extending to cognitive and social aspects of human life. These multifaceted relationships are particularly important in developmental age and become dramatically evident in presence of complex deficits originating from visual aberrancies. The present review summarizes the available neuropsychological evidence on the development of (...) visual competences, with a particular focus on the associated visuo-motor integration skills in health and disease. With the aim of supporting future research and interventional settings, the goal of the present review is to constitute a solid base to help the translation of neuropsychological hypotheses into straightforward empirical investigations and rehabilitation/training protocols. This approach will further increase the impact, ameliorate the acceptance, and ease the use and implementation of lab-derived intervention protocols in real-life situations. (shrink)

The quantified extension of a canonical prepositional intermediate logic is complete with respect to the generalization of Kripke semantics taking into consideration set-valued functors defined on a category.

A. M. Pitts in [Pi] proved that HA op fp is a bi-Heyting category satisfying the Lawrence condition. We show that the embedding $\Phi: HA^\mathrm{op}_\mathrm{fp} \longrightarrow Sh(\mathbf{P_0,J_0})$ into the topos of sheaves, (P 0 is the category of finite rooted posets and open maps, J 0 the canonical topology on P 0 ) given by $H \longmapsto HA(H,\mathscr{D}(-)): \mathbf{P_0} \longrightarrow \text{Set}$ preserves the structure mentioned above, finite coproducts, and subobject classifier, it is also conservative. This whole structure on HA op (...) fp can be derived from that of Sh(P 0 ,J 0 ) via the embedding Φ. We also show that the equivalence relations in HA op fp are not effective in general. On the way to these results we establish a new kind of duality between HA op fp and a category of sheaves equipped with certain structure defined in terms of Ehrenfeucht games. Our methods are model-theoretic and combinatorial as opposed to proof-theoretic as in [Pi]. (shrink)

We show that some common varieties of modal K4-algebras have finitary unification type, thus providing effective best solutions for equations in free algebras. Applications to admissible inference rules are immediate.

Heideggers Kritik am Nationalsozialismus ist vor allem ab 1963 greifbar in Vorträgen, Vorlesungen (zu Nietzsche) und den "Beiträgen zur Philosophie". Entgegen Thesen der jüngsten Heidegger-Kontroverse hat sich Heidegger nach einer Phase der falschen politischen Besetzung seiner Philosophie im Jahre 1933 vor allem ab 1936 von der Bewegung des Nationalsozialismus gelöst. Er begreift den Nationalsozialismus zunehmend klar als eine Erscheinungsform des Nihilismus, der "Seinsverlassenheit" und des Herrschaftsdenkens des reinen "Willens zur Macht". Dabei geht Heideggers subtile philosophische Kritik des Nationalsozialismus über in (...) eine Kritik der neuzeitlichen Technologie als einer sich fortsetzenden Form planetarischen Herrschaftsdenkens und der Ausbeutung der Erde durch den Menschen. (shrink)

Abstract.Formal topologies are today an established topic in the development of constructive mathematics. One of the main tools in formal topology is inductive generation since it allows to introduce inductive methods in topology. The problem of inductively generating formal topologies with a cover relation and a unary positivity predicate has been solved in [CSSV]. However, to deal both with open and closed subsets, a binary positivity predicate has to be considered. In this paper we will show how to adapt to (...) this framework the method used to generate inductively formal topologies with a unary positivity predicate; the main problem that one has to face in such a new setting is that, as a consequence of the lack of a complete formalization, both the cover relation and the positivity predicate can have proper axioms. (shrink)

Novalis and Nietzsche: Analogies and Differences Between Two Poetic Thinkers.There are several substantial similarities between Novalis and Nietzsche. Stylistically, they both present their arguments and ideas in the form of short and concise prose (Aphorismus,Fragment), but there is also considerable overlap in terms of the general orientation of their thinking: both exhibit a certain concern for earthly nature and show an interest in the figure of the extraordinary individual, but they also have a common interest in physiology, in the idea (...) of fiction, and in the night as a allowing for greater experiential depth. Moreover, Novalis and Nietzsche both warned of the rise of nationalism in Europe, to some extent anticipating a new form of war that eventually became a reality in the First World War. This essay, thus, seeks to outline a range of connections between early German romanticism and Nietzsche that would require further research. (shrink)

We show that the variety of Heyting algebras has finitary unification type. We also show that the subvariety obtained by adding it De Morgan law is the biggest variety of Heyting algebras having unitary unification type. Proofs make essential use of suitable characterizations (both from the semantic and the syntactic side) of finitely presented projective algebras.

According to Michael Dummett, deductive inference stands in need of justification which must be provided by the theory of meaning for natural language. Such a theory, he insists, should deliver an explanation for the two essential features of deduction: validity and fruitfulness. Dummett claims that only a molecularist theory of meaning could offer the desired justification. In this paper, I will consider and criticize his solution to the problem of the justification of deduction: the so-called molecular verificationist explanation. My aim (...) here will be to show that Dummett's solution does not succeed in reconciling the conflicting demands of the respective explanations of validity and fruitfulness. (shrink)

Werte sind kollektive Leitvorstellungen fur das Denken und Handeln. Unser menschliches Denken und Handeln wird von Werten bestimmt und gesteuert. Die Werte selbst sind Ergebnisse der jeweiligen Kulturgeschichte. Das Buch stellt zentrale Werte der europaischen Kulturgeschichte vor. Es sind vor allem drei Werte-Familien, die Europas Kulturgeschichte gepragt haben und nach wie vor pragen: Erstens die europaische Rationalitatskultur mit dem Leitwert des eigenstandigen Denkens, der Suche nach Wahrheit, Kritik und Kritikfahigkeit, Demokratie und Toleranz, Freiheit, Individualitat, Bildung, aber auch Rechtssicherheit, Wehrhaftigkeit, Technizitat, (...) Macht und Wohlstand. Die zweite Werte-Familie umfasst religiose Werte wie die Offenheit fur die religiose Erfahrung selbst sowie genuin christliche Werte wie Nachstenliebe, soziale Fursorge, Empathie, Solidaritat, Friedfertigkeit, Schutz der Schopfung, also Nachhaltigkeit. Die dritte Gruppe umfasst patriotische Werte wie Muttersprache, Heimat, Vaterland und den historisch eher spaten Wert der Nation. Menschen, politische Gruppen sowie historische Epochen werden gepragt durch die fur sie bedeutsamen Werte. Werte stehen somit im Konflikt miteinander und uberlagern sich auch. Politische Einstellungen und ganze Epochen konnen daher nach ihren Werte-Dominanzen unterschieden werden. In Zeiten des Werte-Zerfalls pladiert der Autor abschliessend fur eine Balance der Werte und einen europaischen Werte-Patriotismus. (shrink)

Este artigo descreve e comenta a criação, por parte de Allan Kardec, de um complexo arcabouço de divulgação de sua produção no novo campo de estudos a que denominou “Espiritismo”, ou “ciência espírita”. Embora não fazendo parte do mundo acadêmico, no sentido institucional do termo, o pesquisador francês efetivamente se aproximou, no desenvolvimento dessa interface com o público, daquilo que à época começava a se tornar padrão nas áreas mais maduras da ciência. Criou uma sociedade de estudos, a Sociedade Parisiense (...) de Estudos Espíritas, em que fatos, hipóteses e métodos eram apresentados e discutidos, antes de eventualmente serem incorporados em textos e divulgados mais amplamente. Para essa divulgação, conjugou a publicação de livros temáticos a uma revista de assuntos espíritas gerais, a Revista Espírita, para veicular ensaios e resultados preliminares, servindo também de via de mão dupla para a interação com assinantes e correspondentes, interessados em contribuir com a elaboração da teoria espírita. Dado, porém, que o Espiritismo não era, nem pretendia ser, uma disciplina científica inserida no meio acadêmico oficial, existem diversas diferenças entre essas duas instituições espíritas e suas análogas na academia. Estas diferenças são aqui apontadas, explicadas e justificadas, como aspectos típicos do programa kardequiano. (shrink)

The logicD-J of the weak exluded middle with constant domains is proved to be incomplete with respect to Kripke semantics, by introducing models in presheaves on an arbitrary category. Additional incompleteness results are obtained for the modal systems with nested domains extendingQ-S4.1.

This text through the direct use to Foucault’s work and using the concepts of ‘care of the self’ and biopolitics is questioning and analyzing resistance and practices of freedom. Mainly, from the Foucault’s courses at the College de France and the methodological tools found there, here I present a discussion about Gilles Deleuze’s contributions to Foucault’s thought and I develop a dialog where I try to explain the concepts of domination, power, ethics, esthetics and the relationship of the self with (...) himself. (shrink)

By means of models in toposes of C-sets (where C is a small category), necessary conditions are found for the minimum quantified extension of a propositional (intermediate, modal) logic to be complete with respect to Kripke semantics; in particular, many well-known systems turn out to be incomplete.

Sufficient syntactic conditions for canonicity in intermediate and intuitionistic modal logics are given. We present a new technique which does not require semantic first-order reduction and which is constructive in the sense that it works in an intuitionistic metatheory through a model without points which is classically isomorphic to the usual canonical model.

This article suggests developing the concept of spiritual ecology into that of balanced spiritual ecosystems. Philosophies, theologies, education systems, political parties, and gender-based and ethnic identity politics need to be critiqued both from within and without so that they can finally contribute to the creation, maintenance and flourishing of balanced spiritual ecosystems.Contribution: Spiritual ecology is a concept on which converge different worldviews. This article recommends using balanced spiritual ecosystems, instead. The new concept could provoke further reflection on how our -ontologies (...) and communities co-exist and whether they do it organically and spiritually. This article befits HTS’s interest in ‘theology and nature’. (shrink)

Formal topology is today an established topic in the development of constructive mathematics and constructive proofs for many classical results of general topology have been obtained by using this approach. Here we analyze one of the main concepts in formal topology, namely, the notion of formal point. We will contrast two classically equivalent definitions of formal points and we will see that from a constructive point of view they are completely different. Indeed, according to the first definition the formal points (...) of the formal topology of the real numbers can be indexed by a set whereas this is not possible according to the second one. (shrink)

We show that (contrary to the parallel case of intuitionistic logic, see [7], [4]) there does not exist a translation fromS42 (the propositional modal systemS4 enriched with propositional quantifiers) intoS4 that preserves provability and reduces to identity for Boolean connectives and.

We characterize (both from a syntactic and an algebraic point of view) the normal K4-logics for which unification is filtering. We also give a sufficient semantic criterion for existence of most general unifiers, covering natural extensions of K4.2⁺ (i.e., of the modal system obtained from K4 by adding to it, as a further axiom schemata, the modal translation of the weak excluded middle principle).

In the literature, the nature of the relationships between memory processes and summary evaluations is still a debate. According to some theoretical approaches (e.g., “two-memory hypothesis”; Anderson, 1989) retrospective evaluations are based on the impression formed while attending to the to-be-assessed stimuli(on-line judgment) – no functional dependence between information retrieval and judgment is implied. Conversely, several theories entail that judgment must depend, at least in part, on memory processes (e.g., Dougherty, Gettys, & Ogden, 1999; Schwarz, 1998; Tversky & Kahneman, 1973). (...) The present study contributes to this debate by addressing two important issues. First, it shows how more comprehensive memory measures than those used previously (e.g., Hastie & Park, 1986) are necessary in order to detect a relationship between memory and retrospective evaluations. Secondly, it demonstrates how memory strategies influence the relationship between memory and judgment. Participants recalled lists of words, after having assessed each of them for their pleasantness. Results showed a clear association between memory and judgment, which was mediated by the individual strategies participants used to recall the items. (shrink)

Name der Zeitschrift: Nietzscheforschung Jahrgang: 23 Heft: 1 Seiten: 325-327.

En el siglo XX, se ha intentado articular el convencionalismo lingüístico de maneras distintas. Uno de los enfoques más prometedores fue el que propuso David Lewis a finales de los años 60 e inicio de los 70. Lewis subsume las regularidades convencionales que subyacen a la actividad de hablar un lenguaje bajo los estados de equilibrio más generales que resultan de cualquier tipo de comportamiento cooperativo racional. En este artículo propongo que, pese a su atractivo, las convenciones lewisianas deberían ser (...) abandonadas a favor del convencionalismo lingüístico del segundo Wittgenstein. Mi motivación para recomendar tal giro es que la propuesta de Lewis no es capaz de ofrecer una respuesta satisfactoria a la objeción de Donald Davidson, de acuerdo con la cual la teoría convencionalista de Lewis no puede explicar la ocurrencia sistemática de malapropismos en nuestro uso ordinario del lenguaje. En las últimas secciones del artículo, me dedico a mostrar cómo las convenciones wittgensteinianas sí pueden explicar el fenómeno de los malapropismos. (shrink)

The philosophy of mathematics of the later Wittgenstein is normally not taken very seriously. According to a popular objection, it cannot account for mathematical necessity. Other critics have dismissed Wittgenstein's approach on the grounds that his anti-platonism is unable to explain mathematical objectivity. This latter objection would be endorsed by somebody who agreed with Paul Benacerraf that any anti-platonistic view fails to describe mathematical truth. This paper focuses on the problem proposed by Benacerraf of reconciling the semantics with the epistemology (...) for mathematics. It is claimed that there is a way of solving Benacerrafs problem along the lines suggested by Wittgenstein's later remarks on mathematics. This will require demonstrating that a satisfactory conception of mathematical objectivity can be extracted from his mature philosophy. (shrink)