A type analysable in one-based types in a simple theory is itself one-based.

In this paper, the relationship between the e-value of a complex hypothesis, H, and those of its constituent elementary hypotheses, Hj, j = 1… k, is analyzed, in the independent setup. The e-value of a hypothesis H, ev, is a Bayesian epistemic, credibility or truth value defined under the Full Bayesian Significance Testing mathematical apparatus. The questions addressed concern the important issue of how the truth value of H, and the truth function of the corresponding FBST structure M, relate to (...) the truth values of its elementary constituents, Hj, and to the truth functions of their corresponding FBST structures Mj, respectively. (shrink)

The inversion principle for logical rules expresses a relationship between introduction and elimination rules for logical constants. Hallnäs & Schroeder-Heister proposed the principle of definitional reflection, which embodies basic ideas of inversion in the more general context of clausal definitions. For the context of admissibility statements, this has been further elaborated by Schroeder-Heister. Using the framework of definitional reflection and its admissibility interpretation, we show that, in the sequent calculus of minimal propositional logic, the left introduction rules are admissible when (...) the right introduction rules are taken as the definitions of the logical constants and vice versa. This generalizes the well-known relationship between introduction and elimination rules in natural deduction to the framework of the sequent calculus. (shrink)

The inversion principle for logical rules expresses a relationship between introduction and elimination rules for logical constants. Hallnäs & Schroeder-Heister proposed the principle of definitional reflection, which embodies basic ideas of inversion in the more general context of clausal definitions. For the context of admissibility statements, this has been further elaborated by Schroeder-Heister . Using the framework of definitional reflection and its admissibility interpretation, we show that, in the sequent calculus of minimal propositional logic, the left introduction rules are admissible (...) when the right introduction rules are taken as the definitions of the logical constants and vice versa. This generalizes the well-known relationship between introduction and elimination rules in natural deduction to the framework of the sequent calculus. (shrink)

Tendo como pano de fundo a concepção de filosofia, explora-se os diferentes tratamentos do tema da subjetividade conferidos pelo Tractatus e pela obra do que se convencionou chamar de “II Wittgenstein”. A concepção prática do significado inaugurada por esta, a despeito de significar uma drástica ruptura com o espírito do Tractatus, funda-se na preservação do antipsicologismo. Tem-se, portanto, a conciliação entre a concepção prática de significado e o antipsicologismo característico da lógica sublime do Tractatus, da qual o II Wittgenstein se (...) desfaz.AbstractHaving a conception of philosophy in the backgound, I investigate different approaches concerning the topic of subjectivism in the Tractatus and thoughout the writings of what is commonly called as “II Wittgenstein”. The practical conception of meaning that steam from those writings, in spite of being a shift with regards to that of the Tractatus, is based on the preservation of the anti-psychologism. Therefore, there is a conciliation between the practical conception of meaning and the anti-psychologism, by means of which, in the Tractatus, logic is something sublime, which is discarded by the II Wittgenstein. (shrink)

Matthew Walker's model overcomes the unrefined classical concept of consolidation as a unitary process. Presently still confined in its scope to selective data mainly referring to procedural motor learning, the model nonetheless provides a valuable starting point for further refinements, which would be required for a more comprehensive account of different types and aspects of human memory consolidation.

We generalize Frécon’s construction of the inevitable radical to groups in stable and even simple theories.

We examine the proof-theoretic verificationist justification procedure proposed by Dummett. After some scrutiny, two distinct interpretations with respect to bases are advanced: the independent and the dependent interpretation. We argue that both are unacceptable as a semantics for propositional intuitionistic logic.

BackgroundFigure-disembedding is one of the most discussed visuo-cognitive functions, in which individuals with Autism Spectrum Disorder have been reported to outperform non-autistic individuals. A local processing bias has been assumed to underlie such superior performance patterns. The aim of the current study is to investigate whether processing preferences can be modified by procedural priming.MethodThe current study used a procedural priming task to induce more local or global processing in 25 autistic and 21 typically developing control participants, using hierarchical figures preceding (...) the figure-disembedding task.ResultsParticipants with ASD outperformed non-autistic individuals in the unprimed baseline task version. The performance was not modulated by priming in either direction in both groups. However, the performance of TD control participants was improved by training to the same level as that observed in the ASD group.ConclusionFigure-disembedding performance in ASD is superior to that in TD control participants and robust against procedural priming or training. In contrast, performance in the TD control group can be improved up to the level of the ASD group. Any studies reporting superiority in individuals with ASD in figure-disembedding should consider training effects when evaluating group differences. (shrink)

Propomos neste texto examinar o papel das disposições (Stimmungen), e, particularmente, das chamadas “disposições fundamentais” na construção da pergunta heideggeriana pela historicidade da história. Nós partimos da pergunta pela historicidade da história da filosofia para a análise do papel hermenêutico cumprido pela angústia na analítica da cotidianidade em Ser e Tempo, procurando esclarecer a conexão dessa disposição com o conceito de historicidade tal como tratado nessa obra. Em seguida, tratamos da maneira como são pensadas as disposições em Conceitos fundamentais da (...) metafísica, obra na qual Heidegger explicitamente pensa a disposição do tédio como característica de uma época. Uma vez que mostramos como podemos entender as disposições em geral em sentido historial, retomamos a análise da angústia, e, a partir da discussão de sua estrutura tal como apresentada em Ser e Tempo, perguntamos pela relação específica da angústia com a questão da historicidade, no que ela significa para o projeto de Ser e Tempo e para a obra posterior de Heidegger. (shrink)

O propósito deste artigo é a exposição de momentos chave da crítica schellingiana à filosofia idealista como forma de compreender o estatuto da filosofia positiva buscada por Schelling em sua obra madura. A crítica de Schelling, dirigida aos resultados negativos da filosofia formal de seus contemporâneos, é contraposta à busca pela positividade na natureza, na mitologia, na história, na religião, em vista da “natureza extralógica da existência”, que se rebela contra a conformação da totalidade do que pode ser conhecido a (...) uma ordem necessária. Embora o projeto da filosofia positiva seja elaborado a partir da década de 1820, já em suas primeiras obras encontramos elementos de sua crítica à pretensão de subsumir em um sistema filosófico a totalidade da realidade.Palavras-chave: Schelling. Idealismo alemão. Filosofia positiva. Sistema da filosofia. (shrink)

Este relato pretende partilhar e refletir sobre o que pode significar o início da mudança e os limites das novas aprendizagens, bem como os seus momentos de crise na prática, a serviço de um futuro decolonial. O projeto Trilha Jovem nasce da intersecção de duas questões socioeconômicas articuladas: a busca pela inserção social e profissional de jovens, especialmente aqueles oriundos de famílias em situação de vulnerabilidade e risco; e projetos na área de sustentabilidade. Criamos oportunidades de aprendizado ancoradas a projetos (...) realizados com temas sustentáveis. Nesse cenário, é possível desenvolver pequenos e grandes movimentos sociais juvenis, baseados em programas e redes de aprendizagem. Desta maneira, buscamos desenvolver temas de projeto que reflitam práticas de empatia e cuidado, abrangendo contextos sociais negligenciados pela sociedade de modo a incentivar e/ou estimular um olhar significativo ao meio ambiente. (shrink)

This article searches in this pages that follow to reflect on the uptake of symbols and meanings of texts from the perspective of the French philosopher Paul Ricoeur. For this, as foundation brings up the discussion of the elements that make up its hermeneutic phenomenology of associative manner, aiming, in turn, to go beyond the task of capturing the meaning of texts and symbols. Thus, the research notes that the philosopher seems to want to apply a legitimate effort in understanding (...) ourselves and, above all, in the world. However, this perspective, it is not easy to see relations between understanding and explanation, since his own notion of text has a certain recovery of the meeting remain regarding how to cope with such relationships. Finally, this article argues through existential notions, the ricouerian hermeneutical defense of philosophy as enlightening function, then going to be an attempt at expression and proclamation of the sense of the unsaid. (shrink)

Na perspectiva de que nosso presente está construído sobre muitas injustiças, a pesquisa busca por meio de uma releitura da obra “Memórias de Auschwitz”: atualidade moral e política , de Reyes Mate, resgatar questões ligadas diretamente aos relatos dos sobreviventes, feitos a partir de um roteiro previamente estabelecido, cuja natureza, intenção e resultados são induzidos a questionamentos e reflexões. No limiar do trabalho há também um levante sobre a luz da ética e moral dentro das considerações a respeito das características (...) intrínsecas ao testemunho , e a de seu proferidor fundamentado nos testemunhos dos sobreviventes, não só pela veracidade da narrativa, mas principalmente sob a ótica e perspectiva sobre o quanto vale a sobrevivência, em razão da ideia de o que está em jogo é a humanidade. (shrink)

In this paper we are going to examine intuitionistic sequent calculus and its negation rules. We state new negation rules defining, in this way, a new sequent system. It will be used to clarify Gentzen's NJ and LJ systems isomorphism. These new negation rules are a direct reading of new natural deduction negation rules obtained by a slight modification of NJ rules. We also show that the new system is equivalent to LJ and that the Hauptsatz holds for it.

Após uma breve análise do problema da relação de relevancia entre o antecedente e o consequente de um condicional, fazemos uma análise de qual deve ser a estrutura de um critério de adequação para uma definição de relevancia em uma demonstração.

In the present paper we analyse how intuitionist negation relates to the concept of triviality. A proposition is trivial if it implies every other proposition. We claim that for natural deduction intuitionist logic such concept affords us a negation introduction rule schema that corresponds by the inversion principle to the usual negation elimination shcema, ex contradictionerm quodlibet.1.

A utilização das plantas pela espécie humana ocorre das mais variadas maneiras, principalmente, na alimentação, vestimenta, no tratamento e cura de doenças. Dentre os grupos culturais que usam as plantas medicinais, encontram-se os povos remanescentes dos quilombos. O conhecimento que os quilombolas possuem é baseado em valores, símbolos, crenças e mitos. Hábitos e costumes estão diretamente envolvidos com o ambiente e esta relação permitiu que estas comunidades acumulassem conhecimentos. Deste modo, a Lei nº 10.639/2003 tornou obrigatório o ensino sobre História (...) e Cultura Afro-Brasileira em instituições de ensino. Assim, o presente relato de experiência foi realizado por intermédio de uma intervenção, desenvolvida em três encontros e uma visita à UESB, sendo um conjunto de atividades mediadas pelo professor, que permite aos discentes questionar, sanar dúvidas e realizar ações. Assim, as visitas ao HUESB e ao LPN contribuíram para que os estudantes fizessem uma associação entre o conhecimento popular e o conhecimento científico e entendessem como esses estão entrelaçados, bem como perceber a relevância de ambos os conhecimentos para a história da Ciência. Palavras-chave: Educação informal; Pedagogia crítica; Educação Quilombola. (shrink)

Several proof-theoretic notions of validity have been proposed in the literature, for which completeness of intuitionistic logic has been conjectured. We define validity for intuitionistic propositional logic in a way which is common to many of these notions, emphasizing that an appropriate notion of validity must be closed under substitution. In this definition we consider atomic systems whose rules are not only production rules, but may include rules that allow one to discharge assumptions. Our central result shows that Harrop’s rule (...) is valid under substitution, which refutes the completeness conjecture for intuitionistic logic. (shrink)

A beneficial effect of gesture on learning has been demonstrated in multiple domains, including mathematics, science, and foreign language vocabulary. However, because gesture is known to co‐vary with other non‐verbal behaviors, including eye gaze and prosody along with face, lip, and body movements, it is possible the beneficial effect of gesture is instead attributable to these other behaviors. We used a computer‐generated animated pedagogical agent to control both verbal and non‐verbal behavior. Children viewed lessons on mathematical equivalence in which an (...) avatar either gestured or did not gesture, while eye gaze, head position, and lip movements remained identical across gesture conditions. Children who observed the gesturing avatar learned more, and they solved problems more quickly. Moreover, those children who learned were more likely to transfer and generalize their knowledge. These findings provide converging evidence that gesture facilitates math learning, and they reveal the potential for using technology to study non‐verbal behavior in controlled experiments. (shrink)

A beneficial effect of gesture on learning has been demonstrated in multiple domains, including mathematics, science, and foreign language vocabulary. However, because gesture is known to co-vary with other non-verbal behaviors, including eye gaze and prosody along with face, lip, and body movements, it is possible the beneficial effect of gesture is instead attributable to these other behaviors. We used a computer-generated animated pedagogical agent to control both verbal and non-verbal behavior. Children viewed lessons on mathematical equivalence in which an (...) avatar either gestured or did not gesture, while eye gaze, head position, and lip movements remained identical across gesture conditions. Children who observed the gesturing avatar learned more, and they solved problems more quickly. Moreover, those children who learned were more likely to transfer and generalize their knowledge. These findings provide converging evidence that gesture facilitates math learning, and they reveal the potential for using technology to study non-verbal behavior in controlled experiments. (shrink)

Following several earlier, relatively obscure occurrences of the term in Latin and French sources, the concept of nihilism first enters the broader philosophical discussion in Europe toward the end of the eighteenth century as a critique of German idealism, above all that of Kant and Fichte. Although essential scholarship on this early history has long been available in German, it has remained largely neglected by discussions of nihilism in English. Olson’s contribution on “nihilism” in Edwards’ standard Encyclopedia of Philosophy, though (...) certainly dated, is perhaps typical. Nietzsche, of course, is presented as the most prominent historical figure, with brief mention given to Russian origins and to nineteenth-century uses of the term as a condemnation of atheism. Yet the fundamental philosophical development of nihilism in the context of German idealism receives no attention whatsoever. At least as early as 1900, German scholars had already traced the first use of the concept back to Jacobi, specifically to his influential “Circular Letter to Fichte” of 1799. However, only the most recent studies in English even begin to acknowledge this crucial early development. (shrink)

This article discusses the process of universalization of education in Brazil the count from a specific spatiality - the places on the edge of the Transmazonica highway. There being no need toquestion the scope and effectiveness of expanding access to basic education, given its wide acceptance in the country - we start from the principle of geographical connectivity/connection to problematize such educational universalization. We aim to reflect on the scope of basic education, its conditions and ability to potentiate or not (...) the diversity of the territory. Methodologically grounded in a dialogue between phenomenology and existentialism, we conduct a literature review taking as starting point the preliminary empirical research data. We conclude that the universalization of education is configured as extermination argument that effective the urbanocentric vision and one connectedness between places and territory, produces disconnection of the places themselves, removing their ability to communicative action that jeopardizes not only education the local, but regional and national. (shrink)

Although children learn more when teachers gesture, it is not clear how gesture supports learning. Here, we sought to investigate the nature of the memory processes that underlie the observed benefits of gesture on lasting learning. We hypothesized that instruction with gesture might create memory representations that are particularly resistant to interference. We investigated this possibility in a classroom study with 402 second‐ and third‐grade children. Participants received classroom‐level instruction in mathematical equivalence using videos with or without accompanying gesture. After (...) instruction, children solved problems that were either visually similar to the problems that were taught, and consistent with an operational interpretation of the equal sign (interference), or visually distinct from equivalence problems and without an equal sign (control) in order to assess the role of gesture in resisting interference after learning. Gesture facilitated learning, but the effects of gesture and interference varied depending on type of problem being solved and the strategies that children used to solve problems prior to instruction. Some children benefitted from gesture, while others did not. These findings have implications for understanding the mechanisms underlying the beneficial effect of gesture on mathematical learning, revealing that gesture does not work via a general mechanism like enhancing attention or engagement that would apply to children with all forms of prior knowledge. (shrink)

This text is part of an on going research. It deals with the relationship between the production and experience of the places on the edge of the Trans-Amazon Highway (BR 230), which cuts the North and a Northeast portion in the East-West direction. Considering its programmatic sense of occupation of the territory, as opposed to the explanation already accepted, which expresses the road as an engineering system, therefore, means to flow, is that I propose to think the road as an (...) everyday living space, emphasizing the educational dimension to understand the existence of places. My purpose is to analyze the spatial imagination underlying the external understanding to the Trans-Amazon, in the educational plan, regarding the unique geographicity produced by local groups living near the road. Methodologically, I seek a dialogue between a phenomenological design and the existentialism, developing field of research procedures, literature review that supports the concepts of spatial imaginations, place and field education, critical reading of official documents in the MEC sites imagery record in dialogue with the representation of those that live on the edge of “Strip”. As an indication of preliminary findings point out: 1. The denial of places as a geopolitical strategy which is materialized in the educational process and planning politics; 2. The inescapable geographicity of groups that self recognize and are related contradictorily to the Trans-Amazon Highway; 3. The Countryside Education as opening or denial of the place, both for those who live it, and for those who do not live it, which can be ignorance widespread factor in terms of knowledge of the Amazon spatiality or coping and creation of a new geographic and cartographic knowledge about the places cut by “Strip”. (shrink)

Despite the growing debate about scholarly impact, an analysis of the onto-epistemic grammar underlying impact has remained absent. By taking a different analytical approach to examining impact, we interrogate the concept through the lens of decolonial thought. We offer an empathetic review of the impact scholarship and illuminate the limits of the modern imaginary that circumscribe critiques of impact in the literature, making visible the Eurocentric and provincial horizons of modern reason underlying these critiques and impact in general. Drawing on (...) Śūnyatā ontological perspective, we seek to articulate from modernity imaginary’s edges and suggest imagining and being otherwise. We argue that the question of scholarly impact is intimately structured by and connected to the modern subject’s desire for ontological security. (shrink)

JOHN CORCORAN AND WAGNER SANZ, Disbelief Logic Complements Belief Logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 USA E-mail: [email protected] Filosofia, Universidade Federal de Goiás, Goiás, GO 74001-970 Brazil E-mail: [email protected] -/- Consider two doxastic states belief and disbelief. Belief is taking a proposition to be true and disbelief taking it to be false. Judging also dichotomizes: accepting a proposition results in belief and rejecting in disbelief. Stating follows suit: asserting a proposition conveys belief and denying conveys disbelief. Traditional (...) logic implicitly focused on logical relations and processes needed in expanding and organizing systems of beliefs. Deducing a conclusion from beliefs results in belief of the conclusion. Deduction presupposes consequence: one proposition is a consequence of a set of a propositions if the latter logically implies the former. The role of consequence depends on its being truth-preserving: every consequence of a set of truths is true. This paper, which builds on previous work by the second author, explores roles of logic in expanding and organizing systems of disbeliefs. Aducing a conclusion from disbeliefs results in disbelief of the conclusion. Aduction presupposes contrequence: one proposition is a contrequence of a set of propositions if the set of negations or contradictory opposites of the latter logically implies that of the former. The role of contrequence depends on its being falsity-preserving: every contrequence of a set of falsehoods is false. A system of aductions that includes, for every contrequence of a given set, an aduction of the contrequence from the set is said to be complete. Historical and philosophical discussion is illustrated and enriched by presenting complete systems of aductions constructed by the second author. One such, a natural aduction system for Aristotelian categorical propositions, is based on a natural deduction system attributed to Aristotle by the first author and others. ADDED NOTE: Wagner Sanz reconstructed Aristotle’s logic the way it would have been had Aristole focused on constructing “anti-sciences” instead of sciences: more generally, on systems of disbeliefs. (shrink)

Tradução do texto apresentado por Paul B. Preciado a Sociedade Psicanalitica.

Religions today, actively participate in the daily life of most people on the planet, producing different relationships and conflicts too, from a reference to the transcendent existence, so the construction of their space of action - their territories - cut out ways different society, especially in big cities, where the clash of different world views imply different ways of living and feeling the city and others in this city. We propose here the discussion about territory and identity of the Church (...) of Jesus Christ of Latter Day Saints, more popularly known as Mormons, in Belem, from the phenomenological method, highlighting the experience of church members as central to relational and hierarchical production that territory, so that it becomes a source of affirmation geo-symbolic group in the city and the world. Clarifying the designation of territorial identity and explaining their sacred ways of acting and conceiving the world contributed to deepen the debate in key categories to suit the social sciences in general: space and culture, and also debating and rethinking of the specific concepts geography in their culture perspective. (shrink)

Prior generations’ electoral crises (e.g., gerrymandering) have dealt mainly with political maneuverings around geographical shifts. We analyze four recent (1998–2003) American electoral crises: the Clinton impeachment controversy, the 2000 Florida presidential election, the Texas legislators’ flight to Oklahoma and New Mexico, and the California gubernatorial recall. We show that in each case temporal manipulation was at least as important as geographical. We highlight emergent electoral practices surrounding the manipulation of time, which we dub “temporal gerrymandering.” We suggest a theory of (...) postmodern electoral crises, in which the rules of time and space are simultaneously in flux. These crises expose concerns with early American democratic theory, which was based on an understanding of “the people” as geographically and temporally unidimensional. Representative systems, therefore, were designed largely without reference to geographic and temporal complexity. (shrink)